【摘 要】
：
在计算机科学中,本体是动态的实体。为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合。在本体的开发过程中,用户根据不同的需求和应用领域选择合适的
【机 构】
：
江西师范高等专科学校数学与信息技术学院,广东外语外贸大学思科信息学院,贵州工程应用技术学院理学院,桂林电子科技大学广西可信软件重点实验室
【基金项目】
：
本文受江西省教育厅科学技术研究项目（GJJ151348）,国家自然科学基金项目（61103169,614630M）,广西可信软件重点实验室研究课题（kx201330）资助.
论文部分内容阅读
在计算机科学中,本体是动态的实体。为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合。在本体的开发过程中,用户根据不同的需求和应用领域选择合适的本体导入另一个本体,从而实现对已建本体的扩充。判定扩充后的本体是否是扩充前本体的保守扩充是非常重要的。如果扩充后的本体不是扩充前本体的保守扩充,那么用户使用扩充后的本体将产生不可预知的影响。Lutz等研究了描述逻辑εL的保守扩充问题,并且论证了εL的保守扩充是指数时间完全的。在Lutz等人的研究基础上研究了描述逻辑循环术语集的保守扩充问题。首先,
其他文献
针对PID参数优化问题，对蚁群算法进行改进，并与遗传算法相结合，提出了改进的GAAA算法；该算法先利用遗传算法获得初始信息，然后运行改进的蚁群算法，大大加快了蚁群算法的速度；对PID控
烧结终点是烧结操作的主要依据,是烧结过程的关键参数,针对烧结终点参数不确定性和存在时间滞后的问题,提出了基于温度上升点处温度的预报策略,并结合专家知识,对烧结终点采
介绍了涡流栅式位移传感器的基本原理及其基本结构,针对其特点设计了高灵敏度电感测量电路,该电路主要包括正弦波信号发生器、调幅电路、解调电路及输出可调差分放大电路,通过实验对测量电路参数进行优化;实验证明,该测量电路具有响应速度快、功耗小、稳定性高,适应性广等特点。
系统用于制袋分切的纠偏控制,主要包含光电探头、微机处理和电气控制三部分.光电探头采用激光二极管作为光源,光学系统完成标志的成像,双光敏电阻检测标志线的偏移,A/D转换器
支持向量机是基于统计学习理论的新一代机器学习技术.由于使用结构风险最小化原则代替经验风险最小化原则,使它较好的解决了小样本情况下的学习问题.又由于其采用了核函数思
短期负荷预测是电力系统正常运行的关键环节,合理的发电计划依靠准确的负荷预测,因此提出交变粒子群算法来优化BP网络模型以预测电力短期负荷。针对依靠先前的经验来确定BP神
针对维吾尔语人称代词指代消解研究忽略了待消解项识别而引入了噪声的问题,提出一种基于深度置信网络（Deep Belief Networks,DBN）的维吾尔语人称代词待消解项识别方法。在分析
为了在主用户具有异构性且认知用户处于多路径衰减、阴影效应等低感知性能的认知环境中,使认知用户公平有效地进行频谱感知,提出一种联盟博弈频谱感知机制,将频谱感知问题建
针对WPR(Weighted PageRank)算法存在的在网页搜索方面的主题漂移和偏重旧网页的现象,综合网页的主题特征和最近搜索周期网页的被引用频率两个因素,提出了一种改进的算法WTFPR(Weighted Topic Frequency PageRank)。该算法通过内容分析,采用改进的TD-IDF算法来解决网页相关性,改善主题漂移现象;通过网页的最近搜索周期的被引用频率来提高那些较新而且价值
为了解决人工称量中误差大、原燃料比例失调等问题,在对现场工艺、计算机控制技术进行研究的基础上,提出了矿石、焦炭称量自动补偿系统的设计方案,介绍了软硬件的构成,重点叙