高超声速飞行器建模与模型验证.pdf
本书从高超声速飞行器的基本概念、研究历程、应用前景入手，深入研究了国际著名研究机构和实验室公开的典型模型，在此基础上分析了模型特性，给出了设计控制器的应用实例。采用CFD和机理方法建立了带有强非线性、强耦合及弹性特性的高超声速飞行器模型。给出了面向控制需求的数据拟合方法和线性/非
验证
混合信号设计方法学指导 : 模拟混合信号IP和SoC的设计、验证与实现的先进方法学.pdf
本书首先讨论了混合信号设计的趋势和挑战，然后分别介绍了用行为模型代表模拟功能的抽取方法、基于断言的指标驱动验证方法、混合信号设计中低功耗意向的验证方法等。
2010司法鉴定能力验证鉴定文书评析.pdf
本书选用了同一个能力验证项目中不同层次水平的鉴定文书及相关反馈结果，依据各专业的要求从鉴定方法、鉴定过程、分析论述、标准适用、结果评判等，以及检测中内部质量控制和记录要求等方面进行点评和分析。
数字集成电路设计验证 : 量化评估、激励生成、形式化验证.pdf
本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证三大部分。
无人机遥感载荷综合验证系统技术.pdf
本书在深入分析系统设计集成与工程实现技术途径的同时，也融入了许多原创性算法模型和改进型技术思路，全方位展示了无人机遥感载荷综合验证的创新性方法和实践经验。
民用运输类飞机适航性验证技术.pdf
本书总结归纳适航性验证技术的范围与分类，简述国内外运输类飞机相关适航审定规章及FAA咨询通告体系；依据我国现行运输类飞机适航标准(CCAR-25-R4)，讲述总体性能、结构强度、机载系统等专业适航验证所需的部分典型分析计算与试验技术，以及安全性评估技术。
银行资产证券化的直接动因与作用效果 : 来自美国的经验证据.pdf
本书共六章，内容包括：资产证券化概述、银行资产证券化的直接动因、银行资产证券化的作用效果、银行资产证券化选择问题等。
商业模式创新的系统动力分析与路径设计：中国制造企业的典型案例与经验证据.pdf
本书聚焦我国制造企业商业模式创新的典型案例与最佳实践，厘清了商业模式创新的系统架构和内在机理，并对“技术-管理”双核视角下的商业模式创新路径、系统动力作用下制造企业的转型升级，以及高管特质、商业模式选择与企业绩效之间关系等问题进行了实证研究。
《源氏物语》翻译验证研究.pdf
本书区别于国内迄今为止有关《源氏物语》的译介研究。所谓译介研究实则包含两个维度：译介史研究与翻译验证研究。此前国内的研究大多偏重于译介史的研究，而本书的着力点在于翻译验证研究。所谓翻译验证，是指从译介学、文化学、接受美学等诸多方面，对《源氏物语》经典汉译文本—丰子恺译本、林文月译
空间非合作目标操控及地面验证.pdf
空间操控技术是航天器在轨服务、空间碎片清理等在轨任务的基础。本书总结了航天飞行动力学技术国家级重点实验室在空间操控与地面实验领域近十年来的科研成果。本书针对空间在轨故障航天器、失效卫星、空间碎片等空间非合作目标的在轨操控进行系统论述和深入研究；介绍空间非合作目标操控的核心技术，包