验证
-
民用飞机结构强度刚度设计与验证指南 1
孙侠生主编2012 年出版638 页ISBN：9787516500545本书内容包括民用飞机结构强度刚度设计与验证的总体要求民用飞机结构精强度、动强度和耐久性/损伤容限设计与验证要求，飞机结构和系统的强度设计和验证技术等。...
-
基于模型的列车运行控制系统设计与验证方法
唐涛，赵林编2014 年出版205 页ISBN：9787113159290本书结合列车运行控制系统开发过程的特点，介绍了基于模型的列控系统设计及验证方法、技术和工具，重点阐述了通过使用不同的模型，在开发过程中的不同阶段从不同的视角对系统进行建模，并通过模型为开发过程提供进...
-
无人机遥感载荷综合验证系统技术
李传荣等编著2014 年出版350 页ISBN：9787030394774本书以国家863计划重点项目“无人机遥感载荷综合验证系统”研究成果为基础，系统介绍遥感载荷验证的无人机通用平台、高精度光学载荷、高精度合成孔径雷达的研制/改造的技术方法，全面阐述面向载荷性能分析的数...
-
-
奇经八脉与针灸临床 图考、组合、验证
梅健寒，杨玉华编著2006 年出版240 页ISBN：7117075341在经络体系中，奇经八脉部分是一个研究的难点，作者以五部经典著作为依据，对奇经八脉的循行路线、腧穴主治、病候分类以及奇经与经脉、奇经与脏腑的关系作了深入研究。...
-
-
-
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
-
-
-
物联网系统动态性能半物理验证技术
俞晓磊，汪东华，赵志敏著2017 年出版212 页ISBN：9787030540560半物理仿真验证是将物理仿真验证技术与数学仿真验证技术相结合，对实际系统中不存在或者不便于测试的部分直接用计算机软件模型进行替代，而剩下的部分仍用实际的系统设备。该方法充分考虑了计算机建模的有效性...
-
安全协议实施自动化生成与验证
孟博，王德军著2016 年出版318 页ISBN：9787030508676本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用...
-
SOFC电堆的高温界面及其设计、验证与应用
官万兵，王蔚国著2017 年出版215 页ISBN：9787030530851本书将围绕SOFC核心部件--电堆的集成为中心，介绍各个部件及其集成过程中相互连接的高温界面及其物理与化学性能，并对电堆集成中遇到的若干问题展开讨论，主要包括：电堆密封的高温界面及其应用验证；电堆连接板的高...
-
民用运输类飞机适航性验证技术
吴海桥，王华伟编著2017 年出版374 页ISBN：9787030510068本书介绍了民用航空器的适航性概念、适航验证技术的内涵、国内外适航审定规章与咨询通告；针对运输类飞机适航准，从总体性能、结构强度和机载系统等角度讲解了验证条款符合性所需技术.航空、民航类院校的高年...
-
民用固定翼飞机抗鸟撞设计、分析验证技术指南
李玉龙，孙秦等编著2016 年出版330 页ISBN：9787561252093本书对民用航空固定翼飞机的易遭鸟撞典型部位及其典型结构构型与应用材料，从应用技术基础、工程设计分析方法、软件工具手段以及地面模拟试验技术诸方面，开展了适航安全的技术探讨与工程化应用技术总结工作；比...
-
国家认监委实验室能力验证技术报告汇编 2013年
谢军主编2015 年出版763 页ISBN：9787506677400实验室能力验证是通过实验室间检验检测结果的比对，按照预先制定的准则评价实验室检测能力的一种技术手段。能力验证作为实验室资质认定管理和检测能力监督检查的辅助手段，一直受到国家认监委的高度重视。本汇...
-
会计信息质量与公司资金投向选择 理论逻辑、数据验证与sas实现
翟进步著2017 年出版338 页ISBN：9787514181128本著作基于会计信息具有治理功能的理论分析，主要研究了会计信息质量对公司资金投向选择的影响。研究结果表明：高质量会计信息对上市公司的资金投向选择起到了重要的保障和优化作用。这一结论具有理论基础和客...
-
-
组合服务建模、测试与验证
李必信，张鹏程编著2013 年出版365 页ISBN：9787030360397本书主要介绍在互联网环境下如何对组合服务进行行为建模、组合服务集成测试、回归测试和相关的属性验证。具体内容包括：从三个主要方面，即组合服务的建模理论，组合服务的测试方法和组合服务的属性验证方法，讨论...
-
硬件设计验证 基于模拟与形式的方法
（美）WilliamK.Lam著2013 年出版377 页ISBN：9787121195839本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...