SOFC 电堆的高温界面及其设计、验证与应用.pdf
本书围绕SOFC核心部件——电堆，介绍各个部件及其集成过程中相互连接的高温界面和物理与化学性能，并对电堆集成过程中遇到的若干问题展开讨论，主要包括：电堆密封的高温界面及其应用验证；电堆连接板的高温界面、防护及其应用；电堆中电池阴极高温界面及其特性的原位表征；电堆中电池阳极的高
验证
物联网系统动态性能半物理验证技术.pdf
半物理仿真是指将被仿真对象的一部分以实物（或物理模型）方式引入仿真回路，被仿真对象的其余部分以数学模型描述，进行实时数学仿真与物理仿真的联合实验。本书基于新颖的数学方法（Fisher矩阵、人工神经网络、热力学分析、支持向量机、图像处理算法等），将半物理仿真技术与物联网应用系统
2016司法鉴定能力验证鉴定文书评析.pdf
本书评析的鉴定文书取材于2016年度26项司法鉴定领域能力验证部分鉴定机构的反馈结果，覆盖法医类、物证类和声像资料（含电子物证）专业。评析中选用了同一个能力验证项目中不同层次水平的鉴定文书及相关反馈结果，依据各专业的要求从鉴定方法、鉴定过程、分析论述、标准适用、结果评判、结论表述
空间微波遥感数据验证理论与方法.pdf
本书总结了作者近十年来在空间微波遥感数据验证理论与方法的研究成果，全面论述空间微波遥感在数据验证与定量信息获取的理论与方法。
2014司法鉴定能力验证鉴定文书评析.pdf
本书评析的鉴定文书取材于2014年度23项司法鉴定领域能力验证部分鉴定机构的反馈结果，覆盖法医类、物证类和声像资料（含电子物证）专业。评析中选用了同一个能力验证项目中不同层次水平的鉴定文书及相关反馈结果，依据各专业的要求从鉴定方法、鉴定过程、分析论述、标准适用、结果评判、结论表述
2017司法鉴定能力验证鉴定文书评析.pdf
本书评析的鉴定文书取材于2017年度25项司法鉴定领域能力验证部分鉴定机构的反馈结果，分别是“尿液中滥用物质的定性分析”“血液中乙醇含量测定（限用气相色谱法）”“血液中常见毒物的定量分析”“个体识别（血斑与唾液斑）”“个体识别（血斑与精斑）”“亲权鉴定（血斑）”“亲权鉴定（二联体
集成电路验证.pdf
本书从集成电路验证领域存在的问题出发，详细介绍数字电路和模拟电路验证方法，主要包括设计验证语言基础、模拟仿真验证、覆盖率检验方法、电路的形式验证、物理验证、SPICE仿真、低功耗设计和验证方法、低功耗验证技术实例、硅后验证等方面。全书紧密围绕工业界集成电路验证流程进行阐述，尽可能
SystemVerilog验证 : 测试平台编写指南.pdf
本书讲解了SystemVerilog语言的工作原理，介绍了类、随机化和功能覆盖率等测试手段和概念，并且在创建测试平台方面提供了很多引导性的建议。
安全协议形式化分析与验证.pdf
《安全协议形式化分析与验证》是作者多年从事安全协议形式化分析与验证相关科研工作的总结，主要对两种形式化方法做了归纳：基于SPIN工具的模型检测和事件逻辑。 《安全协议形式化分析与验证》主要内容如下：介绍了安全协议形式化分析的研究现状、主要技术流派，以及协议描述语言Pro