ACM-ICPC程序设计系列 组合数学及应用 【数理化】

本书以程序设计思想和方法为主线，由浅入深地介绍组合数学的基础知识，并通过经典的ACM/ICPC竞赛题目为例题讲解组合数学在竞赛中的具体应用问题。...

高等边界元法 理论与程序 【数理化】

边界元法是在有限元法之后发展起来的一种精确高效的工程分析数值方法。经过近五十年的发展，它不仅在固体与结构分析领域成为有限元法最重要的一种补充，在机电系统电磁场分析和大型结构电磁波散射分析等领域也...

有限元法及ANSYS程序应用基础 【数理化】

本书内容分为两大部分：有限元法基础和ANSYS程序应用基础。有限元法基础的内容有绪论、有限元法的直接刚度法（直梁和平面刚架）、弹性力学基础知识、平面问题的有限元法（三角形单元和矩形单元）、等参数单元；ANSYS程...

流体动力学程序引论 【数理化】

本书系统阐述流体动力学程序的基本原理和知识，包括离散方法、动力学（拉格朗日、欧拉和耦合方法）、高应变率下材料行为和失效模型、人工粘性等，并重点介绍了拉格朗日程序的实际工作方式。还包括材料与结构动力学...

中国科学院大连化学物理研究所研究报告与资料 EHMO程序的充实与完善 【数理化】

中国科学院大连化学物理研究所研究报告与资料 群轨道EHMO通用计算程序 【数理化】

交互式定理证明与程序开发 Coq归纳构造演算的艺术 【数理化】

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

大型有限元程序的原理的结构与使用 【数理化】

本书针对各种大型有限元分析程序之间具有相同的分析原理和类似的模块结构这一特点，以国际流行的ANSYS多物理场有限元分析软件为背景，对大型有限元程序的分析原理、模块结构以及使用方法与准则进行了详细的介...

MATLAB程序设计及其数学建模应用 【数理化】

本书共分为14章。第一部分包含11章：第一章介绍了MATLAB2011b的简单环境；第二章介绍了MATLAB的基本功能；第三、四、五章介绍了基本程序结构和自定义函数；第六、七章介绍了MATLAB的其它数据类型；第八章介绍了输入...

通俗模糊数学与程序设计 【数理化】

本书的主要内容是模糊数学以及程序设计的相关知识。其中，模糊数学从模糊集合开始，依次介绍了模糊关系、模糊度量、模糊逻辑与模糊推理等基本知识。接着在上述知识点的基础上，又分别介绍了模糊模式识别、模糊聚...