互逆离散数学及其应用 【数理化】

本书介绍了作者所创立的互逆离散数学，包括互逆解析几何、互逆微积分、互逆主义逻辑、互逆主义集合论、互逆主义抽象代数、泛矩阵，及其在计算机、人工智能、自动化等学科的三十几个领域中的应用。...

传感器网络的拓扑特征提取方法及应用 【工业技术】

对传感器网络拓扑特征提取的现有算法，本书既有继承，又有创新。系统介绍了二维，三维传感器网络拓扑特征的概念及特征，介绍了二维，三维传感器网络拓扑特征提取的方法，以及这些算法在网络路由、定位、数据存储和导.....

金融市场风险传染非线性计量方法及应用研究 【经济】

以本领域国内外最新及教学设计研究成果为研究主题，借鉴其他学科教学设计优秀经验，紧密联系教学实践，运用数理统计分析、实证对比研究方法以及计算机技术，对本领域的基本理论、基本方法和基本技能做了全面、系统...

河南省科技厅鉴定项目：基于流变理论对应力解除法纠偏建筑物的数值模拟鉴定材料 【工业技术】

电磁场数值方法 【数理化】

本书在论述电磁场数值方法产生的历史、现状和发展趋势的基础上，系统地论述了求解电磁场问题的三大方法——差分法、有限元法和矩量法。本书阐明了各种计算方法的基本原理和实施步骤，并对现在常用的电磁场数值...

海洋工程数值计算方法 【天文地球】

本书共分13章，主要包括求解线形方程组的直接方法和迭代法、数值积分、非线性方程求根等，并结合数值计算，对港口工程项目比选的层次分析、年极值水位的灰色马尔科夫预测等10个海洋工程典型问题进行了介绍，还对一...

ITASCA软件技术丛书 FLAC3D、3DEC与有限元快速建模技术 【工业技术】

随着计算机技术的发展，数值仿真模拟进入了高效时代。从计算机辅助设计CAD到计算机辅助分析CAE，无疑是一大跨越，也是工程设计4.0的根本需要。传统的建模方式通常需要消耗大量工作时间，有些复杂模型的建立甚至需...

逻辑公式的可满足性判定 方法、工具及应用 【工业技术】

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

科学思维与科学方法的应用及范例 【文化科学教育体育】

科学思维与科学方法是人们认识世界、改造世界的基本手段，它对人们的工作和学习有着重要的指导意义。本书就科学思维和科学方法进行了初步研究探索，结合当前建设创新型国家的实际，指出了科学研究和实际工作中学...

块体非晶合金及其复合材料微观力学性能研究 【文化科学教育体育】