验证

商业模式创新的系统动力分析与路径设计:中国制造企业的典型案例与经验证据.pdf

本书聚焦我国制造企业商业模式创新的典型案例与最佳实践,厘清了商业模式创新的系统架构和内在机理,并对“技术-管理”双核视角下的商业模式创新路径、系统动力作用下制造企业的转型升级,以及高管特质、商业模式选择与企业绩效之间关系等问题进行了实证研究。

飞机结构强度设计与验证:设计师/工程师指南 张立新 编著.pdf

本书主要介绍有关飞机结构强度设计、耐久性和损伤容限设计与验证的一些重要内容,总结了源于经典教科书/专著、成都飞机设计研究所设计实践以及欧美、俄罗斯等飞机设计实践的知识,这些是设计师/工程师应该具备的重要知识,其中一些也是容易忽视和错误应用的知识。书中还叙述了近年来飞机结构强度国际

安全协议形式化分析与验证.pdf

《安全协议形式化分析与验证》是作者多年从事安全协议形式化分析与验证相关科研工作的总结,主要对两种形式化方法做了归纳:基于SPIN工具的模型检测和事件逻辑。  《安全协议形式化分析与验证》主要内容如下:介绍了安全协议形式化分析的研究现状、主要技术流派,以及协议描述语言Pro

2011司法鉴定能力验证鉴定文书评析.pdf

本书评析的鉴定文书取材于2011年度14项司法鉴定领域能力验证部分鉴定机构的反馈结果,选用同一个能力验证项目中不同层次水平的鉴定文书及相关反馈结果,依据各专业的要求从鉴定方法、鉴定过程、分析论述、标准适用、结果评判,以及检测中内部质量控制和记录要求等方面进行点评和分析。

高超声速飞行器建模与模型验证.pdf

本书从高超声速飞行器的基本概念、研究历程、应用前景入手,深入研究了国际著名研究机构和实验室公开的典型模型,在此基础上分析了模型特性,给出了设计控制器的应用实例。采用CFD和机理方法建立了带有强非线性、强耦合及弹性特性的高超声速飞行器模型。给出了面向控制需求的数据拟合方法和线性/非