Martin-Lof类型论程序设计导论

创建世界高水平大学项目资助教材:本书包括多型集合、子集合、单型集合、例子四部分内容，从计算科学的角度描述了不同的类型论，适合对计算科学基础感兴趣的研究人员阅读。 ...

设计工程师丛书ANSYS 11.0基础与实例教程

本书首先介绍了ANSYS程序设计语言APDL、建模与网格规划、加载后处理，及工程应用分别介绍了ANSYS有限元分析、结构力学分析、热分析、电场分析等方面的应用。...

关于透平机械流体力设计程序的研究 4 离心透平机械的性能予测

实验设计与分析 原书第6版

本书是关于实验设计与分析的入门教材，是作者在亚利桑那州立大学、华盛顿大学和佐治亚理工学院三所大学近30年实验设计教学经验的基础上编写的。内容包括简单比较试验、 析因设计、分式析因设计、拟合回归模...

微分方程学习、设计与建模应用导引

本书以集成的方式、简明而综合地介绍了常微分方程和偏微分方程的学习、设计与建模应用指导，主要涉及常微分方程的基本概念、一阶微分方程的解法及解的存在唯一性订立、非线性微分方程的稳定性、常微分方程的...

上帝如何设计世界 爱因斯坦的困惑

上帝是如何设计这个世界的？这是爱因斯坦的困惑，也是对科学感兴趣的广大读者的困惑。本书带领读者从数学物理的角度来认识自然规律，探索大自然造物的秘密。启发广大读者对科学的兴趣和思考。探索物理学和数学的...

现代试验设计优化方法及应用

本书主要介绍科学研究、工程技术与管理中常用的现代试验设计、分析方法及其应用，包括误差理论、方差分析、回归分析、因子设计、正交试验设计、稳健设计、模式识别、分形、人工神经网络、蒙特卡洛模拟等内容...

高等应用数学 基于翻转课堂的项目化设计

本书以项目化的形式组织内容，主要介绍了函数与极限、导数与微分、中值定理与导数的应用、不定积分、定积分应用、多元函数微分学、重积分、曲线积分与曲面积分、级数等内容。全书考虑高职学生的实际，例题丰富...

回归分析与实验设计

本书作为心理学教材，内容涉及高级统计方面的内容，不同于一般高级统计的教材专著。普通的统计教材就像一本菜谱——先告诉读者有哪些章节和哪些统计程序，读者可以根据自己的数据样式和问题按图索骥，阅读有关的章...

结构优化及其在振动和声学设计的应用

本书主要由三部分构成，第一部分重点介绍结构优化的一般概念和理论、建模方法以及有代表性的求解方法；第二部分主要就大规模优化问题的模型近似方法、灵敏度分析方法以及复杂系统建摸和求解技术进行深入讨论；第...