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

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

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

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

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

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

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

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

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

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

基础化学 案例版 【数理化】

本书主要介绍无机化学基础理论、化学分析和基础仪器分析化学等基础化学的相关内容，特点是通过选编典型案例，激发学生的学习兴趣，凸显了化学知识在医学中应用。本书可供高等医药院校临床、麻醉、影像、口腔及全...

工科数学案例与练习 【数理化】

本书的编写以高职院校的人才培养目标为依据，针对工科高职学生学习的特点，结合编者多年的教学实践，紧紧围绕“数学为基，工程为用”的原则进行设计。共分为十二个单元，每个单元包括三个部分：一是案例分析，二是随......

高等数学应用案例集 【数理化】

全书内容包括：预备知识、函数、极限与连、导数与微分、不定积分、定积分及其应用、多元函数微积、常微分方、级数、行列式、矩阵与线性方程组、概率统计初步。每章节后配有A、B两类练习题，章末设有小结（包括主...

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

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