混合信号设计方法学指导 : 模拟混合信号IP和SoC的设计、验证与实现的先进方法学.pdf
本书首先讨论了混合信号设计的趋势和挑战，然后分别介绍了用行为模型代表模拟功能的抽取方法、基于断言的指标驱动验证方法、混合信号设计中低功耗意向的验证方法等。
验证
高超声速飞行器建模与模型验证.pdf
本书从高超声速飞行器的基本概念、研究历程、应用前景入手，深入研究了国际著名研究机构和实验室公开的典型模型，在此基础上分析了模型特性，给出了设计控制器的应用实例。采用CFD和机理方法建立了带有强非线性、强耦合及弹性特性的高超声速飞行器模型。给出了面向控制需求的数据拟合方法和线性/非
2015司法鉴定能力验证鉴定文书评析.pdf
本书评析的鉴定文书取材于2015年度26项司法鉴定领域能力验证部分鉴定机构的反馈结果，覆盖法医类、物证类和声像资料（含电子物证）专业。评析中选用了同一个能力验证项目中不同层次水平的鉴定文书及相关反馈结果，依据各专业的要求从鉴定方法、鉴定过程、分析论述、标准适用、结果评判、结论表述
2011司法鉴定能力验证鉴定文书评析.pdf
本书评析的鉴定文书取材于2011年度14项司法鉴定领域能力验证部分鉴定机构的反馈结果，选用同一个能力验证项目中不同层次水平的鉴定文书及相关反馈结果，依据各专业的要求从鉴定方法、鉴定过程、分析论述、标准适用、结果评判，以及检测中内部质量控制和记录要求等方面进行点评和分析。
组合服务建模、测试与验证.pdf
本书从组合服务建模、测试和验证三个方面着手，介绍了与面向Web服务的软件开发和软件质量保证相关的理论和方法。全书共16章，主要包括Web服务概述、SOA简介、基于UML模型的Web服务组合建模、基于Petri网的Web服务建模等内容。
交互式马尔可夫链 : 并发系统的设计、验证与评价.pdf
本书主要研究了IMC的理论及其在并发系统层次设计以及功能验证与性能评价方面的应用，主要内容包括：IMC上的分支时间等价和前序关系、IMC的动作细化理论以及基于IMC的模型检验方法。
2019司法鉴定能力验证鉴定文书评析（下册）.pdf
本书评析的鉴定文书取材于2019年度33项司法鉴定领域能力验证部分鉴定机构的反馈结果，分别是“尿液中滥用物质的定性分析”“血液中乙醇含量测定（限用气相色谱法）”“血液中常见毒物的定性定量分析”“毛发中滥用物质的定性分析”“个体识别（血斑与唾液斑）”“个体识别（血斑与精斑）”“三联
2019司法鉴定能力验证鉴定文书评析（上册）.pdf
本书评析的鉴定文书取材于2019年度33项司法鉴定领域能力验证部分鉴定机构的反馈结果，分别是“尿液中滥用物质的定性分析”“血液中乙醇含量测定（限用气相色谱法）”“血液中常见毒物的定性定量分析”“毛发中滥用物质的定性分析”“个体识别（血斑与唾液斑）”“个体识别（血斑与精斑）”“三联
2018司法鉴定能力验证文书评析 （上）.pdf
《2018司法鉴定能力验证文书评析》评析的鉴定文书取材于2018年度30项司法鉴定领域能力验证部分鉴定机构的反馈结果，分别是“血液中乙醇含量测定（限用气相色谱法）”“尿液中滥用物质的定性分析”“血液中常见毒物的定性定量分析”“毛发中滥用物质的定性分析”“个体识别（血斑与唾液斑）”