硬件设计验证 基于模拟与形式的方法

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

压力容器现代设计与安全技术

本书介绍了压力容器的特殊设计方法和现代设计技术，以及在运行中的安全管理方法。

新技术应用等级保护安全设计与实现

基于模型的列车运行控制系统设计与验证方法

本书结合列车运行控制系统开发过程的特点，介绍了基于模型的列控系统设计及验证方法、技术和工具，重点阐述了通过使用不同的模型，在开发过程中的不同阶段从不同的视角对系统进行建模，并通过模型为开发过程提供进...

典型飞机结构长寿命设计及试验技术

本书针对我国自行研制的飞机结构所暴露的问题，来研究其长寿命设计和相关试验技术。用现代飞机结构技术，深入分析了故障或失效机理，论述了设计改进依据，通过实施效果评价，提炼出值得借鉴的经验教训，内容涉及紧固.....

工业与民用电气工程设计图图形符号

计算机自适应语言测试模型设计与效度验证

本书为2010年国家社科基金项目研究成果（结题为优秀）。该研究不仅设计了一个采用多种题型、涉及听力与阅读测试的计算机自适应语言测试，而且在国内外语言测试领域中首次尝试对计算机自适应语言测试进行较为系统...

民用建筑电气标准实用表解 设计与施工必备

工业与民用建筑设计及预算编制规程

民用建筑设计常见技术问题释疑

近年来建筑设计规范变动较大，原有规范不断更新，新编规范不断涌现。为帮助建筑设计人员了解现行规范（特别是新规范）的重点内容，能使其在设计中正确解决各种各样的技术问题。作者本着“运用新规范、反映新技术、介...