-
题名基于有限谓词追踪的民机系统需求一致性检查方法
- 1
-
-
作者
王鹏
岳舒婷
张帆
董磊
-
机构
中国民航大学民航航空器适航审定技术重点实验室
中国民航大学安全科学与工程学院
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2024年第1期205-218,共14页
-
基金
中央高校基本科研业务费(3122022094)资助课题。
-
文摘
针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。
-
关键词
需求一致性
定理证明
功能需求正确性
一阶逻辑
需求冲突
-
Keywords
requirements consistency
theorem proving
correctness of functional requirements
first-order logic(FOL)
requirements conflict
-
分类号
V37
[航空宇航科学与技术—航空宇航推进理论与工程]
-
-
题名基于语义的业务架构需求冲突验证研究
被引量：1
- 2
-
-
作者
朱岭
郭树行
-
机构
中央财经大学信息学院
-
出处
《计算机科学》
CSCD
北大核心
2013年第06A期115-119,共5页
-
文摘
为了解决企业信息化过程中经常出现的需求冲突问题,提出了一种基于语义的业务架构需求冲突验证方法。首先引入了企业架构和业务架构的概念,论述了企业业务架构需求冲突的定义与影响;其次基于传统的、业务架构视角下的语义模型,提出了信息化需求冲突的一种验证方法,并进行了案例研究,以验证方法的可行性;最后对TOGAF架构需求及其冲突验证方法进行了研究。
-
关键词
信息化
需求冲突
语义模型
企业架构
业务架构
TOGAF
-
Keywords
Project group, requirements conflict, Semantics model, Enterprise architecture, Business architecture, TOGAF
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名WTO与国际金融组织关系的协调与发展
- 3
-
-
作者
白艳
-
机构
中国政法大学
-
出处
《时代法学》
2003年第1期64-70,共7页
-
文摘
世界贸易组织(WTO)与国际金融组织(IMF和世界银行)之间在重叠的权限方面的协调与合作是维护世界经济健康平稳发展的基本要求。由于国内政策能够对贸易产生巨大和快速的影响,全球性的政策管理变得越来越重要,这要求WTO这个管理多边贸易体制的机构必须加强与国际金融机构的合作,共同维护国际经济秩序的稳定发展。为此,本文探讨了WTO与国际金融组织关系的协调与发展问题。
-
关键词
国际贸易组织
国际金融组织
国际经济秩序
交叉条件冲突
-
Keywords
international financial organization
international economic order
overlapping- requirement conflict
-
分类号
D9
[政治法律—法学]
-
