大约有20,000项符合查询结果项。（搜索耗时：0.0436秒）
为您推荐： 维修性设计分析与验证 保证正版 高速铁路轨道不平顺大数据分析与智能维修 制药设备与工艺验证 算法设计与分析 雷达系统分析与设计 试验优化设计与分析
-
网络安全协议的形式化分析与验证
张爱新，李建华著2010 年出版214 页ISBN：9787111297260本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。
-
-
数字集成电路设计验证 量化评估、激励生成、形式化验证
李晓维，吕涛，李华伟，李光辉著2010 年出版411 页ISBN：9787030276094本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...
-
沥青路面可靠性分析与维修
杨书祥，马士宾著2010 年出版192 页ISBN：9787802277793本书计算了典型沥青路面结构的可靠性，并针对路面使用性能综合评价的复杂性，以集对论为基础，结合局部惩罚-激励型全变函数，建立了单路段路面使用性能分析评价模型。...
-
变频器电路维修与故障实例分析
咸庆信著2010 年出版227 页ISBN：9787111283195本书根据变频器的实际电路测绘所得的电路图，结合作者10年来变频器的检修心得，给出电路原理解析、检修思路和检修方法。
-
柴油机维修技巧与故障案例分析
母忠林主编2010 年出版286 页ISBN：9787111284888本书较为系统地介绍了柴油机的基础知识，使用、保养与维修知识，故障分析、故障排除与预防等技术，有针对性地提出了柴油机故障排除。
-
实验设计原理 社会科学理论验证的一种路径
戴维·威勒亨利·沃克著2010 年出版148 页ISBN：9787562451877本书介绍了实验方法在社会科学研究领域中的应用，把实验方法区分为经验驱动型和理论驱动型。前者是帮助研究者从实验现象中归纳出规律，后者是对抽象理论的实证验证。这本书对多个典型的实验进行解析，并将自然科...
-
车身电气设备维修典型案例分析与解读
陈勇著2010 年出版257 页ISBN：9787534568336本书介绍了汽车车身电气设备维修的常见故障和诊断思路与维修案例，主要有汽车电源系统，空调系统，中控门锁与防盗系统，安全气囊，电动系统，照明与信号系统，电子组合仪表，车载网络系统，音响系统。...
-
福美来、普力马车系电路分析与维修安例集锦
李锡威编著2010 年出版87 页ISBN：9787111279860本书主要介绍福美来和普力马车系电路，包括充电、起动、发动机、自动变速器等控制系统。全书通过对各系统进行拆分分析，介绍了电路工作原理。...
-
SystemVerilog与功能验证
钟文枫编著2010 年出版209 页ISBN：9787111313731本书共11章，系统论述了基于SystemVerilog的功能验证理论与方法，全书详细阐述了以下三个方面的内容：功能验证在整个FPGA/ASIC设计流程中的作用及主要的验证技术和方法学。SystemVerilog在功能验证上的语法结构...