-
题名描述逻辑εL循环术语集的保守扩充
被引量：3
- 1
-
-
作者
王勇红
申宇铭
聂登国
王驹
-
机构
江西师范高等专科学校数学与信息技术学院
广东外语外贸大学思科信息学院
贵州工程应用技术学院理学院
桂林电子科技大学广西可信软件重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2017年第B11期136-140,147,共6页
-
基金
江西省教育厅科学技术研究项目(GJJ151348)
国家自然科学基金项目(61103169
+1 种基金
61463044)
广西可信软件重点实验室研究课题(kx201330)资助
-
文摘
在计算机科学中,本体是动态的实体。为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合。在本体的开发过程中,用户根据不同的需求和应用领域选择合适的本体导入另一个本体,从而实现对已建本体的扩充。判定扩充后的本体是否是扩充前本体的保守扩充是非常重要的。如果扩充后的本体不是扩充前本体的保守扩充,那么用户使用扩充后的本体将产生不可预知的影响。Lutz等研究了描述逻辑εL的保守扩充问题,并且论证了εL的保守扩充是指数时间完全的。在Lutz等人的研究基础上研究了描述逻辑循环术语集的保守扩充问题。首先,给出了循环术语集在最大不动点语义下的保守扩充的充分条件是两个TBox具有相同的原始概念,并论证了该算法是多项式时间复杂的。其次,给出最大不动点模型来处理循环术语集的保守扩充,并论证了该算法是指数时间复杂的。
-
关键词
本体
描述逻辑
循环术语集
保守扩充
-
Keywords
Ontologies,Description logic,Cyclic terminologies,Conservative extension
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于机器学习的船舶吃水动态检测系统设计
被引量：2
- 2
-
-
作者
周祥明
陈员义
林苑
程帅鹏
-
机构
江西师范高等专科学校航空旅游学院
江西师范高等专科学校数学与信息技术学院
-
出处
《舰船科学技术》
北大核心
2019年第10期220-222,共3页
-
文摘
传统的吃水检测系统存在检测抗扰性差的弊端,为了解决传统检测方法的缺点,动态检测系统得到应用。设计基于机器学习的通航船舶吃水动态检测系统,基于机器学习技术,在现有激光测量器上利用DSP测量技术,构成DSP激光多点测量单元,完成硬件单元构建。采用NPS多波束声呐图源滤波算法,对硬件采集图像做多波束滤波运算,完成图像滤波运算,解决对检测抗扰性差的问题。对比实验证明,提出的基于机器学习的通航船舶吃水动态检测系统设计,能够准确、实时、动态、自主检测船舶吃水数据。各项测试结果均优于传统吃水检测系统。
-
关键词
机器学习
吃水
船舶
多点测量
-
Keywords
machine learning
drainage
ship
multi-point measurement
-
分类号
U664.8
[交通运输工程—船舶及航道工程]
-
