大约有700项符合查询结果项。（搜索耗时：0.0189秒）
为您推荐： 现代测井技术应用典型实例 开发及实例 qt开发及实例 asp net应用开发实例教程 其他开发及实例 qt6开发及实例
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术 【数理化】
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
接触互动问题有限元建模 ADINA工程应用实例 【数理化】
朱庆杰，何岩峰著2015 年出版228 页ISBN：9787504668066《接触互动问题有限元建模——ADINA工程应用实例》针对工程中较为常见的地下结构与土体相互作用、流固耦合、多孔介质流固耦合、热力耦合与热流固耦合等接触互动问题，介绍了ADINA软件的有限元建模方法，摩擦接...
-
ANSYS/LS-DYNA动力分析方法与工程实例 第2版 【数理化】
尚晓江，苏建宇，王化锋等编著2008 年出版326 页ISBN：9787508456577LS-DYNA是功能齐全的显式动力分析软件，其算法特别适合于分析各类复杂动力学问题，如爆炸、结构冲击、金属加工成形等高度非线性的问题，同时还可以求解各种流体以及流固耦合问题。本书通过三篇15章系统地介绍了L...
-
耶鲁大学开发课程 基础物理 2 电磁学 光学和量子力学 【数理化】
（美）R.SHANKAR著2019 年出版408 页ISBN：7111608240：《耶鲁大学开放课程：基础物理》分上、下两卷，本书为下卷，内容包括电磁学、光学和量子力学等内容。本书可作为高等学校理工科专业学生的教材或参考书，也适用于优秀的高中生及自学人员。配合耶鲁大学视频公开课使...
-
智能优化的探索-开发权衡理论与方法 【数理化】
陈杰，辛斌著2013 年出版199 页ISBN：9787030369789智能优化方法是解决复杂优化问题、尤其是复杂系统中产生的各种困难优化问题的有效方法。智能优化方法采用启发方式实现问题的优化求解，具有不依赖于梯度、对优化问题的性质几乎没有要求、适用范围广、适于处...
-
MSC Adams多体动力学仿真基础与实例解析 【数理化】
汤涤军，张跃编著2017 年出版375 页ISBN：9787517057918Adams是用于机械产品虚拟样机开发设计的专业工具，也是一款经典的多体系统动力学仿真软件。本书以Adams 2016版本为基础，从刚体建模到柔体建模、约束添加，如包括各种常用铰接、驱动、力元、接触与摩擦等，对不同...
-
化学多媒体课件的设计、开发与制作 【数理化】
崔克宇，张伟娜，梁明慧著2018 年出版265 页ISBN：9787518043248随着计算机科学与技术的高速发展及其化学研究与化学教育的不断交叉、渗透和整合，现代计算机技术正在化学、化工专业的科研、生产、教学中起到日益重要的作用。本书主要论述了化学多媒体课件的设计、开发与制...
-
UG NX 8.5有限元分析与实例精读 第2版 【数理化】
沈春根，聂文武，裴宏杰等编著2015 年出版281 页ISBN：9787111496380本书以UG NX 8.5的高级仿真模块为平台，详细介绍在典型工程实例中采用有限元进行分析的解题思路、操作步骤和经验技巧，内容包括零件和组件的有限元分析入门实例、轴对称和对称约束分析专题实例、静力学多载荷...
-
ANSYS APDL参数化有限元分析技术及其应用实例 【数理化】
李占营，阚川等编著2017 年出版252 页ISBN：9787517057628本书主要分两大部分介绍和学习参数化设计语言APDL，1～15章主要介绍APDL语言的基本要素，16～19章重点介绍APDL的典型应用技术。基本要素包括支持APDL的菜单操作、变量、数组与表参数及其用法、数据文件的读写 、数...
-
化学综合创新实验 基于广西特色优质资源的开发利用 【数理化】
何英姿主编；盛家荣，刘红星副主编；梁利芳，莫羡忠，马建强等编2014 年出版145 页ISBN：9787564328504本书以广西特色优质资源的开发利用为编写基础，同时从教师的科研课题中筛选出适合本科生的综合创新性实验项目20到25个，包括矿产篇、水果篇、茶叶篇、中草药篇和特产篇。与国内其他同类教材相比，本实验教材注重...