-
题名基于有限谓词追踪的民机系统需求一致性检查方法
- 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
[航空宇航科学与技术—航空宇航推进理论与工程]
-
-
题名周期性可定实时并行进程的进化代数分析
- 2
-
-
作者
梁平
-
机构
西南民族大学计算机科学学院
-
出处
《电脑知识与技术》
2006年第1期144-144,146,共2页
-
文摘
对应用进化代数(EA),即目前的抽象状态机(AbstractStateMachine–ASM),描述可定时实时并行进程进行了研究,进化代数采用第一顺序逻辑(First-OrderLogic)定义或解释计算机问题,描述不同的抽象等级并且逻辑地描述计算机算法,因此非常适合描述并行进程复杂的运行过程,并逻辑地精确推导进程调度。
-
关键词
进化代数(EA或ASM)
非正式语义
第一顺序逻辑(fol)
实时并行进程
-
Keywords
Evolving algebra
informal semantics
first-order logic（fol）
real time concurrency
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名使用本体和SWRL验证作战计划的方法
被引量：12
- 3
-
-
作者
钱猛
刘忠
都业宏
姚莉
-
机构
国防科技大学信息系统与管理学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2009年第8期208-212,245,共6页
-
基金
国家自然科学基金No.70271004
No.70771109~~
-
文摘
计划验证是计划编制过程的重要环节。从知识管理的角度,在已有计划表示和计划推理相关研究的基础上,提出了一种基于本体和规则的计划验证方法框架,通过对计划知识进行基于本体的表示、基于描述逻辑、一阶谓词逻辑的规则知识抽取和计划推理,以实现对计划的验证。并以某排雷作战计划的验证为例进行了实验。实验表明,该方法实现了对专家知识的扩展,提高了作战计划正确性检验的效率。
-
关键词
本体
规则
推理
作战计划验证
WEB本体语言
语义网规则语言
一阶逻辑
-
Keywords
ontology
rule
reasoning
Course of Aetion（COA） validation
Web Ontology Language（OWL）
Semantic Web Rule Language（SWRL）
first order logic（fol）
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名基于本体论的电子商务知识描述语言
被引量：7
- 4
-
-
作者
何坚
覃征
贾晓琳
-
机构
北京工业大学软件学院
西安交通大学电信学院电子商务研究所
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2005年第2期297-300,共4页
-
基金
国家 (8 63)项目 (No 2 0 0 3AA41 2 0 2 0 )
陕西省"十五"科技发展计划项目 (No 2 0 0 0K0 8 G1 2 )
-
文摘
应用本体论对电子商务知识建模 ,提出电子商务知识描述的分层框架 ,并结合描述逻辑、框架系统设计面向电子商务的知识描述语言 (KDL) .介绍了KDL的语法 ,从一阶逻辑的角度分析KDL的语义特征 ,提供KDL描述到一阶逻辑表达式的映射方法 .最后 ,通过实例证明KDL具有规范的语法、精确的语义和较强的逻辑推理能力 .
-
关键词
本体论
电子商务
描述逻辑
框架系统
一阶逻辑
-
Keywords
ontology
e-commerce
description logics
frame-based systems
first order logic(fol)
-
分类号
TN304
[电子电信—物理电子学]
-
-
题名面向电子商务的知识描述语言
被引量：1
- 5
-
-
作者
何坚
覃征
贾晓琳
谢国彤
-
机构
西安交通大学电信学院电子商务研究所
IBM中国研究中心
-
出处
《中文信息学报》
CSCD
北大核心
2004年第6期37-42,共6页
-
基金
国家高技术研究发展计划 (86 3)资助项目(2 0 0 3AA4 12 0 2 0 )
陕西省"十五"科技发展计划资助项目 (2 0 0 0K0 8-G12 )
-
文摘
针对电子商务自动化、智能化和移动化的新趋势 ,应用本体论对电子商务知识建模 ,提出电子商务知识描述的分层框架 ,结合描述逻辑、框架系统设计了基于XML和本体论技术的电子商务知识描述语言(KDL)。介绍了KDL的语法 ,从一阶逻辑的角度分析KDL的语义特征 ,提供KDL描述到一阶逻辑表达式的映射方法。最后 ,通过实例证明KDL具有规范的语法、精确的语义和较强的逻辑推理能力。
-
关键词
人工智能
自然语言处理
本体论
电子商务
描述逻辑
框架系统
一阶逻辑
-
Keywords
artificial intelligence
natural language processing
ontology
E-commerce
description logics
frame-based systems
first order logic (fol)
-
分类号
TN304
[电子电信—物理电子学]
-
