软件验证与确认的最佳管理方法

科学计算中的确认与验证

系统建模与仿真的校核、验证与确认 VV&A 技术

本书以导弹系统仿真为背景和实例，系统深入地研究仿真系统VV&A的理论、方法和算法。

核电站数字化仪控系统软件验证和确认实用手册

数字化仪控系统是核电站的中枢神经系统，相对于模拟仪控系统，它需要额外的设计和验证。两者之间主要的差别在于软件。为了达到对软件质量的高可信度，必须采用严格的技术规范和设计开发手段以保证一个高质量的软...

空间微波遥感数据验证理论与方法

沥青防水卷材性能与检验

计算机笔迹鉴别与验证的理论和方法

本书首先介绍了现有的各种笔迹识别方法，分析了计算机笔迹识别中的关键问题，然后重点介绍了作者研究团队在笔迹识别领域的研究工作和成果，最后对笔迹识别领域的研究进行了总结和展望。...

物联网系统动态性能半物理验证技术

半物理仿真验证是将物理仿真验证技术与数学仿真验证技术相结合，对实际系统中不存在或者不便于测试的部分直接用计算机软件模型进行替代，而剩下的部分仍用实际的系统设备。该方法充分考虑了计算机建模的有效性...

系统芯片 SoC 验证方法与技术

本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...

硬件设计验证 基于模拟与形式的方法

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...