HB 中华人民共和国航空行业标准 FL0112 HB20296-2016 基于模型的定义模型检查要求 Model based definition -Model checking 2016-01-19发布 2015-03-01实施 正版发行 国家国防科技工业局发布 HB20296-2016 目 次 前言 Ⅱ 1范围 1 2规范性引用文件 3术语和定义 4一般要求 4.1基本原则 4.2基本流程 5模型检查项目 2 5.1环境设置检查项目 2 5.2设计模型检查项目 2 5.3三维标注检查项目 3 5.4属性检查项目 4 5.5错误级别定义 5 6检查报告 5 附录A(资料性附录)模型检查流程 6 附录B(资料性附录)一级错误项目及说明 7 附录C(资料性附录)检查报告的基本格式. 8 HB20296-2016 前言 本标准的附录A、附录B、附录C均为资料性附录. 本标准由中国航空工业集团公司提出. 本标准由中国航空综合技术研究所归口. 本标准起草单位：中国航空综合技术研究所、中国直升机设计研究所. 本标准主要起草人：胡秦赣、吕翔、廖子祥、陈超、方挺立、张岩涛. ...
HB 20296-2016 基于模型的定义 模型检查要求.pdf
