ANSYS Workbench 15.0结构分析快速入门指南 【数理化】

本书是系统学习和运用ANSYS Workbench 15.0应用速成标准教程的书籍，全书共7章，内容包括ANSYS Workbench 15.0的基础操作、几何建模、载荷定义、约束定义、网格划分、求解与结果后处理和静态结构分析详解等，书...

ANSYS分析入门与上机应用 【数理化】

本书共八章，分两大部分。第一部分由前七章组成，讲授ANSYS操作的基础知识，包括ANSYS主要功能与模块、ANSYS界面介绍、ANSYS建模与网格划分、坐标系与工作平面，ANSYS单元属性，实体建模与网格划分，ANSYS加载与求解，AN...

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

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

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

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

ANSYS Workbench 19.0基础入门与工程实践 【数理化】

初识ANSYS workbench 19.0、材料库、几何建模、网格划分、后处理、静力学分析、接触分析、模态分析、谐响应分析、瞬态分析、响应谱分析、随机振动分析、显式动力学分析、刚体动力学分析、刚柔耦合分析、线...

LMS Virtual.Lab Motion入门与提高 【数理化】

本书介绍了虚拟样机技术和多体系统动力学理论背景，并以LMS Virtual．Lab Motion软件为蓝本，对软件主要功能和操作技巧进行了系统阐述。内容包括：虚拟样机技术、理论基础、LMS Virtual．Lab Motion界面及基本担任，多...

ABAQUS基础入门与案例精通 【数理化】

本书详细介绍了ABAQUS6.10在线性静力分析、接触分析、弹塑性分析、复合材料、断裂、疲劳分析、热应力分析、多体分析、显式动态分析等领域的分析方法，并结合大量实例详细讲解操作步骤。在讲解基本操作的同时...

ANSYS 12.0电磁学有限元分析从入门到精通 【数理化】

本书以ANSYS的最新版本ANSYS 12.0为依据，讲述了目前工程中普遍面临的各类电磁场分析问题，并通过丰富的实例介绍了用ANSYS解电磁场问题。

ANSYS 12.0多物理耦合场有限元分析从入门到精通 【数理化】

本书分为两个专题，第一专题为理论基础部分，全面介绍了ANSYS耦合场的基本概念、分析类型；第二专题为实例分析。