大约有25,179项符合查询结果项。（搜索耗时：0.1859秒）
为您推荐： title 2019司法鉴定能力验证鉴定文书评析 2018司法鉴定能力验证鉴定文书评析 正版图书2018司法鉴定能力验证文书评析 2012司法鉴定能力验证鉴定文书评析 司法鉴定能力验证鉴定文书评析 劳动能力鉴定
-
硬件设计验证 基于模拟与形式的方法
（美）WilliamK.Lam著2013 年出版377 页ISBN：9787121195839本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...
-
组织变革研究 基于知识图谱与实地调研的交互验证
高静美著2013 年出版187 页ISBN：9787030376428本书对该研究体系从研究视角、研究方法到研究主题等诸多方面所发生的嬗变、变化过程以及变化依据等问题做一个初步的梳理和评述。对组织变革研究的科学化与方法论问题进行了知识图谱分析。对本土中层管理者...
-
基于模型的列车运行控制系统设计与验证方法
唐涛，赵林编2014 年出版205 页ISBN：9787113159290本书结合列车运行控制系统开发过程的特点，介绍了基于模型的列控系统设计及验证方法、技术和工具，重点阐述了通过使用不同的模型，在开发过程中的不同阶段从不同的视角对系统进行建模，并通过模型为开发过程提供进...
-
计算机自适应语言测试模型设计与效度验证
何莲珍，闵尚超编著2016 年出版189 页ISBN：9787308163552本书为2010年国家社科基金项目研究成果（结题为优秀）。该研究不仅设计了一个采用多种题型、涉及听力与阅读测试的计算机自适应语言测试，而且在国内外语言测试领域中首次尝试对计算机自适应语言测试进行较为系统...
-
安全协议实施自动化生成与验证
孟博，王德军著2016 年出版318 页ISBN：9787030508676本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用...
-
英语读写结合写作试题效度验证 以广东省英语高考考题为例
张新玲著2009 年出版299 页ISBN：9787811183689本书依托Messick的效度整体观，从构念效度的实质和构念效率的外推力两方面入手为广东省高考英语读写结合写作题型收集效度。
-
传值CCS和∏－演算互模拟等价的验证理论和算法
曾淳主编；张春元，周珞晶副主编；李舟军著2005 年出版165 页ISBN：7810991523本书内容提出对转子系统中存在的复杂非线性行为展开研究，并对非线性行为的辨识方法以及基于混沌理论的转子故障时期诊断新方法进行了深入研究与探讨。本论文主要完成两个方面的研究工作；从碰摩转子实验系统中...
-
嵌入式实时系统 调度、分析和验证
（美）阿尔伯特陈著2015 年出版404 页ISBN：9787512418714本书面向嵌入式实时系统，较系统地论述了基本的实时调度算法、调度性分析方法，描述了引入形式化方法的必要性，并为实时系统设计提供一个清晰的形式化方法基础。其核心是面向实时系统的形式化分析（formal analysi...
-
施工图设计文件验证提纲
北京市建筑设计研究院有限公司编著2015 年出版92 页ISBN：9787112176229本书根据现行国家、行业、地方设计技术标准等要求，以通用性规范、常用专项规范为主，结合BIAD施工图质量抽查中遇到的常见问题，系统地汇集了民用建筑施工图阶段设计验证各环节各部位应注意的通用性要求。本施工...
-
复合材料飞机结构强度设计与验证概论
沈真，张晓晶编著2011 年出版288 页ISBN：9787313079602本书为“大飞机出版工程”之一。本书基于国内外飞机复合材料结构强度设计与验证方面的经验教训和作者30年来在该领域的研究成果和经验总结，特别是基于作者主持编写的军用飞机结构强度规范——复合材料结构和...