微分方程的数值解法与程序实现 【数理化】

本书从理论和实践出发，全面介绍求解微分方程的数值方法——有限差分法，并简单地介绍有限元法。全书共6章，主要内容包括：预备知识、常微分方程的数值解法、抛物型偏微分方程的有限差分法、双曲型偏微分方程的有...

结构分析有限元程序应用 【数理化】

本书是大学本科结构力学课程教材，根据当前有限元程序应用已经在建筑设计领域普及的实际情况，将结构概念分析与计算机程序应用相结合。全书共分为7章，内容包括结构分析的基本理论，有限元结构分析原理，结构分析中....

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

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

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

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

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

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

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

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

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

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

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

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

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

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