民用飞机复合材料结构设计与验证

本书分为十三章，系统地阐述了民机复合材料结构应用的技术实施方案及途径，包括材料选择、工艺控制、新型的结构设计、分析方法、制造与装配及试验验证，以及使用维护等全寿命的技术要求。同时给出如何按照适航的...

安全性设计分析与验证=safety design analysis and verification

信息安全仿真验证技术

本书介绍信息安全仿真、信息安全验证、信息安全测试、信息安全评估的基本概念；信息安全仿真验证的理论基础、技术基础和应用基础；信息安全仿真验证技术的国内外发展状况；信息安全仿真理论与方法、基于仿真的信...

幼儿素质教育课程资源整合研究理论假设与实践验证

本书是全国教育科学“十五”规划教育部重点课题的一项，本专集的理论研究成果展示了课题研究形成与发展的实践过程。共分两部分。

节能量测量和验证方法

本书介绍合同能源管理项目节能量测量计算和验证过程中涉及的基本概念以及节能量测量计算、验证的方法，系统分析了方法的基本原则、适用范围、影响因素、精度要求、验证程序和工作流程等。通过对典型合同能源...

化学分析方法验证程序及应用实例

验证是建立分析方法过程中的重要一环，目的是确证所建方法是否达到预期分析目标。本书稿分析了我国及国外标准化组织开展验证活动的情况，给出了方法具体性能参数的验证程序，并基于作者丰富的标准制定经验，列举实...

制药工艺验证实施手册

本书共22章，主要内容包括：本书编制的背景、范围及特点；从验证的基本概念、GMP法规及相关指南等对验证的要求及对完整的验证生命周期进行了阐述；制药企业厂房设施、工艺流等设计的GMP符合性审核。制药企业的验证...

国外食品安全化学分析方法验证指南

本书结合作者多年来在食品安全检测领域的实践经验，对国际组织、欧美日等发达国家以及区域组织等关于食品安全化学分析方法的验证和确认准则和指南文件进行了筛选和编译。全书共分两篇，包括食品安全分析方法（化...

安全协议操作语义与验证

安全协议作为信息安全的重要基础之一，其安全属性是否能达到设计者的初始目标成为一个重要研究内容，关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖以下两个部分：用形式化的语义定义协议的执行规...

Verilog HDL数字系统设计与验证

本书全面介绍如何使用Verilog HDL进行数字电路设计、仿真和验证。全书共分为Verilog HDL语法基础与基本电路单元设计、系统设计与验证和附录三个组成部分。本书以Verilog-1995和Verilog-2001标准为基础，重视...