系统体系结构设计的一致性约束和检验

• 作者: 梁浩 王明哲
• 来源期刊: 兵工自动化
• 学科: 工学
• 关键词: 体系结构 设计产品 一致性 约束 检验
• 年，卷（期）: 2006,（6）
• 所属期刊栏目: 先进制造技术
• 页码范围: 31-33
• 页数: 3页
• 分类号: TP274.5
• 字数: 2650字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-1576.2006.06.016

摘要

应用层次着色Petri网建立的系统可执行模型,以静态数据约束为基础,以动态行为验证为主体.通过数据字典、数据关系、产品数据的约束实现静态数据一致性约束.再应用Petri网结构分析法和状态空间分析法确定模型的数据流、规则触发、状态转换、功能执行的行为,实现动态数据一致性检验.并以区域防空系统为例,通过拦截和执行功能的动态一致性检验,建立拦截和控制可执行模型,由仿真确定设计模型的动态一致性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梁浩	华中科技大学控制科学与工程系	1	4	1.0	1.0
2	王明哲	华中科技大学控制科学与工程系	82	834	16.0	24.0