吉林省科技发展计划基金(20080107)
- 作品数：7 被引量：63H指数：5
- 相关作者：欧阳丹彤叶育鑫白洪涛何金胜赵剑更多>>
- 相关机构：吉林大学吉林大学第一医院爱尔兰国立大学更多>>
- 发文基金：吉林省科技发展计划基金国家自然科学基金教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于语义的主题爬行策略被引量：12
- 2011年
- 为使主题爬行能够充分利用资源的语义信息,提出基于语义的主题爬行策略.该策略利用领域本体刻画爬行主题,将本体语义映射到关键词表.通过定义断言集一致性扩展和域值关联推理任务,推演关键词间语义关系.在定义网页主题概念的基础上,结合本体推理方案提出主题概念的语义叠加效应模型.最后,利用主题概念的语义包含关系判定URLs抓取顺序.实验结果表明,该语义主题爬行策略在抓取收获率和爬行效率上优于现有同类方法,该方案有效、可行.
- 叶育鑫欧阳丹彤
- 关键词：本体语义WEB主题爬行
- 基于Linux的移动IP家乡代理的研究与实现被引量：1
- 2009年
- 移动IP是一个用来支持节点移动性的因特网协议。它的设计目标是使节点无论在什么位置都可以无缝地接入因特网,并且可以不用改变节点原来的IP地址。文中的主要工作是实现移动IP中定义的一个功能实体——家乡代理,在原有的路由协议基础之上通过修改家乡代理的IP层处理机制,使其具有移动代理的功能。这样做的好处在于可以不必对现有的设备作任何硬件和软件的更新就可以将其它节点发给移动节点的数据包转发到它现在所处的位置。
- 刘冰月
- 关键词：移动IP家乡代理隧道
- 基于SHOIQ(D)的本体一致性检测被引量：8
- 2009年
- SHOIQ(D)是一种表述能力较强的本体知识表示语言。一致性检测是本体推理的核心任务之一,其它推理任务都可以等效地转换为一致性检测问题。本文在对Tableau演算研究的基础上,通过引入回跳和布尔约束传播优化技术,提高算法推理效率,并以此算法为核心,给出基于SHOIQ(D)语言的本体一致性检测推理机的总体设计方案及实现。
- 叶育鑫欧阳丹彤刘瑶孙吉贵
- 关键词：本体优化技术
- 间接使用扩展规则求解#SAT问题被引量：2
- 2011年
- 针对求解#SAT问题时算法时间会随着子句集的规模迅速增加的问题,提出一种间接应用扩展规则的MCEHST算法。该算法首先求出子句集的所有极小碰集,然后应用扩展规则计算这些极小碰集所能扩展出的极大项的数量,即模型数。实验结果表明:MCEHST算法运行时间随子句集规模增加的速度要比CDP和CER算法慢;当子句的长度较短、子句数较多时,MCEHST算法的时间效率较高。
- 许有军欧阳丹彤叶育鑫何加亮
- 关键词：人工智能
- 本体与规则整合的推理方法研究及设计被引量：5
- 2009年
- 在给出混合知识表示的基础上,提出基于Tableau演算的变种算法Model-Tableau,将其与以SLD原理为基础的Top-down算法混合,给出知识查询的推理方法设计。最后,给出了算法相关证明和系统原型。结果表明:该方案丰富了语义Web的知识表示能力,有效解决了由本体层和规则层结合所产生的查询推理问题。
- 叶育鑫欧阳丹彤领吉张永刚
- 关键词：人工智能知识工程语义WEB本体
- 一种约束粒子群优化的无线传感器网络节点定位算法被引量：27
- 2011年
- 节点定位是无线传感网络的关键技术。无线电测距虽然精度高,但用最小二乘算法进行节点定位的误差较大。为了提高基于测距的无线传感器网络节点定位的精度,把节点定位问题转换成约束优化问题,再运用粒子群优化算法进行求解。求解过程中,通过设定约束适应度函数和距离适应度函数,降低了搜索的计算量,加快了收敛速度,最终较快地得到较优解。仿真实验表明,约束粒子群优化定位算法与最小二乘法相比,在不同测距误差、不同测距半径、不同锚节点数和不同节点数的情况下,都能得到更高精度的解。这说明此算法具有更强的抗误差性、更好的收敛性和更少的硬件设备投入等优点,另外在节点稀疏的网络中定位效果也更优越。
- 欧阳丹彤何金胜白洪涛
- 关键词：无线传感器网络粒子群优化
- 基于因果关系的模型诊断被引量：9
- 2009年
- 提出一种基于因果关系的思想求解所有极小诊断的新方法。此方法与Reiter的模型诊断方法有着本质的不同,不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用ATMS时的组合爆炸引起的NP-完全问题。并根据因果关系的思想提出了极小诊断组成原理和极小诊断元件个数原理,可直接求出所有的极小诊断,避免了非极小诊断的产生,提高了诊断效率,并且不会丢失正确的解。该算法程序容易编制,且效率较好,可以满足复杂被诊断对象的实时性要求。
- 张立明赵剑赵相福欧阳丹彤白岩
- 关键词：人工智能因果关系
