论辩系统 不一致情境中的推理

本书介绍一种适合于处理不完全/不一致/动态的信息的论辩系统理论与方法。本书的主要内容包括：（1）绪论；（2）论辩系统的知识表示；（3）论辩系统的构造；（4）论辩状态的评估；（5）论辩系统的动态性。...

信号、系统及推理

中压配电电压等级优化与改造 20kV电压等级的论证及实施

本书给出了国内外电压等级序列配置、配电网升压改造等大量资料及具体案例，提出了新的思路及有价值的结论和建议。本书的出版希望能够也为有志于配电网规划和改造的研究人员以及有关专业师生等提供一些创新性...

超限高层建筑工程抗震设计可行性论证指南及实例

本书基本涵盖了完成超限高层建筑工程抗震设计可行性报告所需开展的设计和研究工作，具体内容包括：超限高层建筑工程的判定、抗震性能目标的设定及实现、结构体系和基础形式的选择论证、超限高层建筑工程计算分...

Bayesian网推理及应用

本书是对Bayesian网的精确和不精确推理的方法及其应用进行研究。

自适应Fourier变换 一个贯穿复几何，调和分析及信号分析的数学方法

间断有限元方法是求解各类偏微分方程的主流数值方法之一。本书介绍间断有限元基本理论与方法。针对椭圆型方程、一阶双曲方程、一阶正对称双曲方程组、对流扩散方程、Stokes方程和椭圆型变分不等式等偏微分...

停用尾矿库上改建排土场工程风险论证及评估

本书是某公司停用尾矿库上改建排土场工程项目的一个重要研究成果。作者在现场调研的基础上，以国家相关法律法规、标准和技术规范为依据，参考国家相关规章制度和技术标准，借鉴国内其他尾矿库上建排土场工程的实...

有机及高分子化合物结构研究中的光谱方法

现代物理技术及大型分析仪器的迅速发展，为有机化合物及高分子化合物的结构研究提供了有利条件。为了帮助读者充分了解仪器的光学、电学、磁学等功能，并熟悉该领域的最新动态，本书着重介绍了有机、高分子化合物...

高速切削加工单元的实例推理机制及数据库系统

全书共分五章，16万字，户春影撰写（共10万字）第一、二、三、四章，哈尔滨理工大学王永忠撰写（共6万字）第五、六章。本书以基础理论研究为中心，针对性强，研究成果具有一定的实用性和理论参考价值，本书专著取材，......

工程中的边界元方法