大约有525,721项符合查询结果项。（搜索耗时：0.5380秒）
为您推荐： 维修性设计分析与验证 保证正版 高速铁路轨道不平顺大数据分析与智能维修 制药设备与工艺验证 算法设计与分析 雷达系统分析与设计 试验优化设计与分析
-
-
-
数字专用集成电路的设计与验证
杨宗凯等编著2004 年出版288 页ISBN：7121003783本书共分7章，详细地介绍了数字专用集成电路的开发流程。具体包括VerilogHDL硬件描述语言、ASIC前端设计、ASIC前端验证、逻辑综合、可测性技术和后端验证。本书的另一大特色就是将超大规模数字集成电路常用...
-
民用飞机复合材料结构设计与验证
郑晓玲编著2011 年出版283 页ISBN：9787313077165本书分为十三章，系统地阐述了民机复合材料结构应用的技术实施方案及途径，包括材料选择、工艺控制、新型的结构设计、分析方法、制造与装配及试验验证，以及使用维护等全寿命的技术要求。同时给出如何按照适航的...
-
Verilog HDL数字系统设计与验证
乔庐峰编著2009 年出版257 页ISBN：9787121082924本书全面介绍如何使用Verilog HDL进行数字电路设计、仿真和验证。全书共分为Verilog HDL语法基础与基本电路单元设计、系统设计与验证和附录三个组成部分。本书以Verilog-1995和Verilog-2001标准为基础，重视...
-
全球陆表特征参量 GLASS 产品 算法、验证与分析
梁顺林，张晓通，肖志旨等著2014 年出版204 页ISBN：9787040403299本书在简述全球陆表特征参量产品(简称“GLASS产品”)生成与应用研究的基础上，分章节着重介绍了叶面积指数、地表短波反照率、宽波段发射率、短波辐射和光合有效辐射5种GLASS产品，分别从产品生成的项目背景、...
-
交互式马尔可夫链 并发系统的设计、验证与评价
吴尽昭，王永祥，覃广平著2007 年出版109 页ISBN：7030188667本书主要研究了IMC的理论及其在性能评价与层次化分析方面的应用。主要包括三个方面的内容：1. IMC上的分支时间等价和前序关系；2. 基于IMC的模型检验；3. IMC上的动作细化理论。...
-
硬件设计验证 基于模拟与形式的方法
（美）WilliamK.Lam著2013 年出版377 页ISBN：9787121195839本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...
-
基于模型的列车运行控制系统设计与验证方法
唐涛，赵林编2014 年出版205 页ISBN：9787113159290本书结合列车运行控制系统开发过程的特点，介绍了基于模型的列控系统设计及验证方法、技术和工具，重点阐述了通过使用不同的模型，在开发过程中的不同阶段从不同的视角对系统进行建模，并通过模型为开发过程提供进...
-
计算机自适应语言测试模型设计与效度验证
何莲珍，闵尚超编著2016 年出版189 页ISBN：9787308163552本书为2010年国家社科基金项目研究成果（结题为优秀）。该研究不仅设计了一个采用多种题型、涉及听力与阅读测试的计算机自适应语言测试，而且在国内外语言测试领域中首次尝试对计算机自适应语言测试进行较为系统...