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

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

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

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

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

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

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

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

基于商空间的问题求解 粒度计算的理论基础 【数理化】

本书针对人类问题求解的特点建立一个基于商空间的数学模型，这个模型也是分层多粒度计算的理论基础。本书共分7章和2个附录。第1章，问题的描述方法；第2章，分层与多粒度计算；第3章，多粒度计算中信息合成的数学模型....

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

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

辐射物理研究中的基础科学问题 【数理化】

本书主要介绍辐射物理相关的辐射环境与模拟、辐射测量与诊断、辐射效应与加固技术研究的国内外现状、取得的成果以及现存的基础科学问题，涉及核技术及应用、宇航电子学、微电子学等多个学科交叉。主要包括引...

扩展有限单元法 理论、应用及程序 【数理化】

本书对扩展有限单元法的理论、应用和程序进行了较为详尽的论述。全书共分9章，包括4部分内容。第1部分（第1章～第3章）系统地综述了扩展有限单元法理论的研究进展和主要应用，简述了了解扩展有限单元法理论的基础知...

应用力学及机械设计基础 下 机械设计基础 【数理化】

本册主要介绍机械中常用机械的基本工作原理和运动特性