运载火箭飞行控制系统设计与验证

本书结合作者在航天飞行器控制系统仿真方面多年的工作经验，总结了数学仿真和半实物仿真一般方法。首先，介绍了基于蒙特卡洛法的航天飞行器控制系统数学仿真，包括蒙特卡洛仿真算法、系统不确定性分析、仿真结果...

计算机自适应英语语用能力测试系统设计与效度验证 以TEM4词汇与语法题为例

民机飞控系统适航性设计与验证

本书以民用飞机飞行控制系统为对象，介绍民用飞机飞行控制系统设计、开发、适航审定与论证过程。全书分为6章，第1章为民用飞机适航基础知识；第2章为民用飞机飞行控制系统适航要求及关键条款分析；第3章为民用飞机...

Altium Designer13.0电路设计、仿真与验证权威指南

本书首次全面系统的介绍了Altium Designer13.0软件完整的电子线路设计过程，包括：SPICE仿真、电子线路设计规则、原理图设计、PCB图设计和PCB图的仿真和验证、电路板工程文件的生成，以及电路板的制板工艺。与已...

热分析应用手册 热分析验证

本书是热分析应用手册系列书之一，理论与实践结合的非常好，对分析实验的实际操作起着指导作用。本书的第一部分从总体上阐述了计算系统的验证，第二部分阐述了方法开发和验证的议题。本书适合于对验证理论及法规...

Altium Designer 15.0电路仿真 设计 验证与工艺实现权威指南

本书首次全面系统地介绍了Altium Designer 15.0电子线路设计软件在电子线路仿真、设计和验证方面的应用。全书共分15章，以电子线路的SPICE仿真、电子元器件识别、电子线路信号完整性理论、电子元器件原理图...

产品设计质量保证理论与方法

本书共分为六章，前三章主要介绍产品、产品质量与产品设计、产品设计质量的形成过程和产品设计质量控制与保证的策略和方法；第四章介绍产品设计质量特性的表征、分类及其在产品设计过程各阶段的分解、配置、映...

SOFC电堆的高温界面及其设计、验证与应用

本书将围绕SOFC核心部件--电堆的集成为中心，介绍各个部件及其集成过程中相互连接的高温界面及其物理与化学性能，并对电堆集成中遇到的若干问题展开讨论，主要包括：电堆密封的高温界面及其应用验证；电堆连接板的高...

有证参考物质认定值与实验室能力验证结果的符合性评价 国际钢铁工业分析委员会研究报告

本书分为中文版和英文版两个部分。中文版包括ICASI CRM/PT0001-2010、ICASI CRM/PT 0002-2010、ICASI CRM/PT 0003-2010等三个研究报告的公告及报告内容；英文版为相对应的英文内容。...

硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。