-
题名不确定观测下离散事件系统的可诊断性
被引量：4
- 1
-
-
作者
文习明
余泉
常亮
王驹
-
机构
广东省委党校信息技术教研部
广西可信软件重点实验室(桂林电子科技大学)
贵州省黔南师范学院数学与统计学院
-
出处
《软件学报》
EI
CSCD
北大核心
2017年第5期1091-1106,共16页
-
基金
国家自然科学基金(61603152
61463044
+6 种基金
61363030)
广西可信软件重点实验室研究课题(KX201604
KX201606
KX201419
KX201330)
贵州省科技厅项目(LH[2014]7421)
广西自然科学基金(2015GXNSFAA139285)~~
-
文摘
从系统诊断的角度来看,可诊断性是离散事件系统的一个重要性质.其要求系统发生故障后经过有限步的观测可以检测并隔离故障.为简单起见,对离散事件系统可诊断性的研究大都假定观测是确定的,即观测到的事件序列与系统实际发生的可观测事件序列一致.而在实际应用中,由于感知器的精度、信息传输通道的噪声等原因,所获取的观测往往是不确定的.重点研究观测不确定条件下离散事件系统的可诊断性问题.首先扩展了传统可诊断性的定义,定义了观测不确定条件下的可诊断性;然后,分别给出各类观测不确定条件下的可诊断性判定方法;在更一般的情况下,各类观测不确定可能共同存在,因此,最后给出一般情况下的可诊断性判定方法.
-
关键词
不确定观测
离散事件系统
可诊断性
-
Keywords
uncertain observation
discrete-event system
diagnosability
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名描述逻辑FL_0概念及术语公理集的表达能力刻画
被引量：2
- 2
-
-
作者
申宇铭
文习明
王驹
-
机构
广东外语外贸大学思科信息学院
广东省委党校信息技术教研部
广西师范大学计算机科学与信息工程学院
高可信软件技术教育部重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2014年第12期206-210,215,共6页
-
基金
国家自然科学基金(61103169)
高可信软件技术教育部重点实验室开放课题(HCST201302)资助
-
文摘
表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系。解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-van Benthem刻画定理。文中给出了描述逻辑FL0(含构造子:原子概念、顶概念、概念交、全称量词约束)的模拟关系,建立了FL0中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与FL0概念和术语公理集等价的充分必要条件。上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持。
-
关键词
描述逻辑
概念描述
术语公理集
表达能力
-
Keywords
Description logic
Concept description
Tterminological axioms box
eExpressive power
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名本体知识库的模块与保守扩充
被引量：1
- 3
-
-
作者
余泉
常亮
文习明
王驹
-
机构
黔南民族师范学院数学与统计学院
桂林电子科技大学广西可信软件重点实验室
广东省委党校信息技术教研部
-
出处
《计算机工程与科学》
CSCD
北大核心
2016年第11期2261-2267,共7页
-
基金
国家自然科学基金(61463044
61363030)
+2 种基金
贵州省科技厅项目(LH[2014]7421)
广西自然科学基金(2015GXNSFAA139285)
广西可信软件重点实验室开放课题
-
文摘
模块化是软件工程的一种方法,近年来被引入到本体领域,用以支持本体的重用和本体的整合。已有的工作没有讨论同时含有TBox和ABox的本体知识库的模块化的相关问题。在定义本体知识库的模块和知识库的保守扩充的基础之上,给出了知识库保守扩充的验证算法,并且从理论上证明可用知识库的保守扩充的验证算法来验证一个知识库是否为另外一个知识库的模块。
-
关键词
知识库
模块抽取
模块整合
通用模块
-
Keywords
knowledge baseuniversal module
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
