装备测试性设计分析验证技术

介绍了测试性的基本概念，详细阐述了测试性工作通用要求和实施方法，以及测试性设计分析验证中关键技术。包含已有的测试性设计、分析验证中的常用方法和规则，以及在实际装备综合诊断中，针对装备保障中存在的测试...

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

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

高端车变速器诊断与维修 案例分析

构件化软件动态更新与验证技术

安全协议操作语义与验证

安全协议作为信息安全的重要基础之一，其安全属性是否能达到设计者的初始目标成为一个重要研究内容，关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖以下两个部分：用形式化的语义定义协议的执行规...

情感与信任关系结构方程模型的建构与验证

信任作为社会、经济和日常生活的一个重要现象，在近几十年来成为社会科学界的一个研究热点。本书通过对信任研究内在理路的回顾与梳理，力图呈现有关信任研究的多学科融合的状况。本书研究的对象是情感与信任关...

组织设计与工作分析

大规模集成电路片上供电网络仿真与验证算法研究

首先，针对早期供电网络仿真问题，提出基于泊松预条件快速迭代算法，提高非结构化供电网络仿真中迭代算法的收敛稳定性。第二，针对大规模供电网络静态仿真问题，提出接近线性复杂度的代数多重网格预条件共轭梯度迭代...

算法设计与分析

本书以算法设计策略为知识单元，系统地介绍计算机算法的设计方法与分析技巧，以期为计算机科学与技术学科的学生提供广泛而坚实的计算机算法基础知识。...

算法设计与分析

本书系统地介绍了各种常用的算法设计策略，包括穷举法、分治法、贪心法、动态规划法、回溯法、分枝限界法等，并详细讨论了各种图搜索算法和计算几何设计算法。...