中国科学院辐射技术研究与开发工作讨论会论文选编 1985 【数理化】

功能性多糖胶开发与应用 【数理化】

本书介绍了多糖胶的分类、生物学功能和生物合成、多糖胶的共性与应用，植物籽多糖胶、树木多糖胶、果胶、魔芋多糖胶、海藻多糖胶、微生物多糖胶和动物多糖胶的组成、结构和性质，并重点介绍了它们的生产技术、...

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

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

ANSYS 9.0经典产品高级分析技术与实例详解 【数理化】

在Ansys 9.0经典产品的分析技术中，除结构、热、流体、电磁和耦合场的主要分析技术之外，还有工程分析时经常需要的五达高级分析技术，即APDL、Optimization、PDS、Element Birth and Death和Submodeling。他们是...

智能优化的探索-开发权衡理论与方法 【数理化】

智能优化方法是解决复杂优化问题、尤其是复杂系统中产生的各种困难优化问题的有效方法。智能优化方法采用启发方式实现问题的优化求解，具有不依赖于梯度、对优化问题的性质几乎没有要求、适用范围广、适于处...

ANSYS-APDL级工程应用实例分析与二次开发 【数理化】

本书对ANSYS参数化设计语言，即APDL语言的编写结构、参数变量与数组的类型及定义、程序结构控制、宏命令等内容进行了详细的阐述；然后结合一定的实例，依照前处理器、加载与求解处理器、后处理器、后处理器、实...

ANSYS 9.0经典产品基础教程与实例详解 【数理化】

本书包含三大篇幅，每个篇幅有根据知识的系统性和方向划分为多个章节。第一篇是ANSYS基本知识与系统简介，本书主要介绍ANSYS公司、产品序列、ANSYS程序的启动、退出与图形环境、各种图形界面和菜单用法、、文...

均匀设计与均匀设计表 【数理化】

主要内容包括:试验设计和均匀设计、均匀设计的数据分析、均匀设计表的构造和运用、配方均匀设计等。

ANSYS高级工程应用实例分析与二次开发 【数理化】

本书以有限元分析法为基础，选用多个行业的典型工程实例，以作者使用和开发经验为根基，结合丰富工程实例，阐述工程背景，以专业化的语言和完善的理论体系，将ANSYS在各个专业领域的应用介绍给广大读者。全书首先以少....

MSC.Marc工程应用实例分析与二次开发 【数理化】

本书以有限单元法为基础，以MSC.Marc/Mentat为主线，以专业的语言和完善的理论体系，将MSC.Marc/Mentat在各个工程领域的应用展示给大家。各部分内容由浅入深，循序渐进，将会成为广大读者的良师益友。本书首先介绍了...