您的位置: 专家智库 > >

国家自然科学基金(60973089)

作品数:12 被引量:31H指数:4
相关作者:欧阳丹彤李健欧阳继红王振鑫王晓宇更多>>
相关机构:吉林大学吉林农业大学浙江师范大学更多>>
发文基金:国家自然科学基金浙江省自然科学基金吉林省科技发展计划基金更多>>
相关领域:自动化与计算机技术天文地球理学更多>>

文献类型

  • 12篇中文期刊文章

领域

  • 11篇自动化与计算...
  • 1篇天文地球
  • 1篇理学

主题

  • 7篇人工智能
  • 4篇区域间
  • 4篇拓扑
  • 4篇拓扑关系
  • 4篇矩阵
  • 3篇交集
  • 2篇区域连接演算
  • 2篇离散事件系统
  • 2篇计算机
  • 2篇计算机软件
  • 1篇蚁群
  • 1篇蚁群算法
  • 1篇蚁群优化
  • 1篇约束满足问题
  • 1篇社交
  • 1篇统一计算架构
  • 1篇图形处理器
  • 1篇启发式算法
  • 1篇群算法
  • 1篇自适

机构

  • 11篇吉林大学
  • 4篇吉林农业大学
  • 1篇吉林师范大学
  • 1篇浙江师范大学
  • 1篇吉林财经大学

作者

  • 7篇欧阳丹彤
  • 4篇欧阳继红
  • 4篇李健
  • 3篇王振鑫
  • 3篇王晓宇
  • 2篇郭劲松
  • 2篇耿雪娜
  • 2篇陈岗
  • 1篇王海燕
  • 1篇孙善武
  • 1篇富倩
  • 1篇赵相福
  • 1篇汪威
  • 1篇叶育鑫
  • 1篇赵建民
  • 1篇莫毓昌
  • 1篇何丽莉
  • 1篇刘华文
  • 1篇白洪涛
  • 1篇冯宇轩

传媒

  • 8篇吉林大学学报...
  • 2篇吉林大学学报...
  • 1篇模式识别与人...
  • 1篇The Jo...

年份

  • 6篇2013
  • 2篇2012
  • 1篇2011
  • 3篇2010
12 条 记 录,以下是 1-10
排序方式:
基于矩阵计算极小碰集的启发式算法被引量:5
2013年
提出了一种基于矩阵模型计算极小碰集的新方法。通过在矩阵中存储冲突集合簇的相关信息,引入集合簇中元素的频率作为启发信息,完成对极小碰集的计算。该算法的数据结构简单,程序易于实现,同时启发信息的引入减少了节点的生成。该算法可以产生而且仅产生所有的极小碰集。实验结果表明该算法有较高的计算效率。
欧阳丹彤耿雪娜郭劲松王晓宇
关键词:人工智能基于模型诊断冲突集启发式算法
三个简单区域间的拓扑关系的表示模型被引量:4
2013年
空间拓扑关系的研究多数集中在两个区域间的拓扑关系上,对两个以上区域间拓扑关系的研究则很少。本文通过扩展4-交集矩阵得到8-交集模型,对三个简单区域间空间关系进行表示,并给出了三个简单区域间的109种拓扑关系图。与分别表示出三个简单区域间两两拓扑关系的4-交集矩阵方法相比,本文提出的8-交集矩阵表示法能直接对三个简单区域间的拓扑关系进行表示,且新增了56种基本关系,表达力更强。证明了8-交集模型中基本关系的完备性和互斥性,给出算法并通过程序验证了三个简单区域间至多有109种可实现的拓扑关系,并给出了109种三元拓扑关系的概念领域图。
李健欧阳继红王振鑫汪威
关键词:人工智能区域连接演算
Mapping integrity constraint ontology to relational databases
2010年
Integrity constraint is a formula that checks whether all necessary information has been explicitly provided. It can be added into ontology to guarantee the data-centric application. In this paper,a set of constraint axioms called IC-mapping axioms are stated. Based on these axioms,a special ontology with integrity constraint,which is adapted to map ontology knowledge to data in relational databases,is defined. It's generated through our checking and modification. Making use of the traditional mapping approaches,it can be mapped to relational databases as a normal ontology. Unlike what in the past,a novel mapping approach named IC-based mapping is proposed in accordance with such special ontology. The detailed algorithm is put forward and compared with other existing approaches used in Semantic Web applications. The result shows that our method is advanced to the traditional approaches.
OUYANG Dan-tong
关键词:ONTOLOGY
凹形区域和带单洞区域间拓扑关系的表示被引量:3
2013年
现有空间拓扑关系模型多针对同种类的空间对象进行处理,在实际应用中具有一定的局限性.本文在4-交集模型的基础上,通过扩展4-交集矩阵,对凹形区域和带单洞区域间的拓扑关系进行了表示,得到凹形区域和带单洞区域间161种拓扑关系,并给出前10种拓扑关系的示意图.提出算法,并通过程序验证161种拓扑关系均可实现.证明所获得的161种基本关系的完备性和互斥性,通过与相关工作的比较可知该表示模型比其它相关模型表达力更强.
李健欧阳继红富倩陈岗
关键词:拓扑关系人工智能
扩展的G-KRA抽象模型被引量:1
2010年
将广义知识重构与抽象模型框架下的初步感知过程扩展为多重感知过程,根据物理世界W中对象所属域的不同生成多重域抽象模型,并讨论了两种情况下域抽象模型Wi和Wj间的域关系:W的多重域模型Wi和Wj中的构成对象交集为空(即Wi和Wj中不存在有跨域行为的实体);W的多重域模型Wi和Wj中的对象实体存在跨域行为.扩展后的框架R丰富了物理世界W的模型表示,使对象感知由平面感知变为立体感知,应用多种领域知识生成相互关联的不同域模型,增强了模型的推理能力.
王楠欧阳丹彤孙善武沐光雨
带双洞区域与简单区域间的拓扑关系被引量:8
2012年
研究了带双洞区域与简单区域间的空间拓扑关系。基于RCC5通过扩展4-交集矩阵得到了16-交集模型,一个带双洞区域可以视为一个简单区域A及包含在其中的两个简单区域B与C,即一个带双洞区域与一个简单区域可以看作是满足一定限制条件的4个简单区域,由16-交集模型可以得到带双洞区域与简单区域间的70种可实现的拓扑关系,并且证明了这70种拓扑关系是两两互斥且完备的。通过比较可知,它比由两两区域间RCC-5关系来描述的拓扑关系更为细致,表达能力更强。
李健欧阳继红王振鑫
关键词:人工智能拓扑关系
基于比特位操作的自适应约束传播算法被引量:1
2012年
在现有约束传播算法研究的基础上,提出了一种基于比特位操作的自适应约束传播算法AC_MaxRPC_Bitwise。该算法在寻找AC支持及PC支持中引入基于比特位的数据结构,并利用比特位操作加速AC支持和PC证据搜索,从而提高自适应约束传播的效率。对几类典型benchmark问题的测试结果表明,算法AC_MaxRPC_Bitwise在总体性能上明显优于AC及原自适应约束传播算法。
王海燕郭劲松欧阳丹彤张永刚
关键词:人工智能约束满足问题
基于GPU的共享信息素矩阵多蚁群算法被引量:4
2011年
在研究并行蚁群信息素交流方法的基础上,提出了一种适于GPU统一计算架构模型的多蚁群算法。采用多个同构和异构蚁群共享同一信息素矩阵的交流策略,解决信息素多样性和算法性能之间的矛盾。在路径探索阶段,多只获得迭代最优解且差异较大的蚂蚁共同释放信息素,以利群体多样性;在路径开发阶段,获得唯一全局最优解的蚂蚁释放信息素,以利迅速收敛。多蚁群映射到GPU的线程块而群内蚂蚁对应块内多线程。以MMAS和ACS混合为例给出了该策略下信息素初始化和动态界限的新方法,证明了算法是值收敛和解收敛的。在标准TSP问题实例上的实验评测表明,该算法不仅提升了性能,在充分收敛条件下获得了更高质量的解。
白洪涛欧阳丹彤李熙铭何丽莉
关键词:计算机软件蚁群优化图形处理器统一计算架构
在离散事件系统中寻找诊断路径的方法
2010年
利用简单的编码理论提出一种在离散事件系统的故障诊断中快速找到诊断路径的方法.该方法通过状态编码,降低了在离散事件系统诊断同步过程中的时间复杂度,消减了诊断路径冗余.能够在给定的观测集合上快速提取诊断路径,更适合实际观测事件较少的系统.在模型完备假设下,除首次根据观测集合进行诊断需要指数级时间外,后续观测诊断时间降低到多项式级.实验验证了方法的有效性.
王晓宇欧阳丹彤赵相福冯宇轩
关键词:离散事件系统
基于冲突的离散事件系统诊断方法被引量:3
2013年
提出了一种基于冲突的动态模型故障诊断方法。通过在离散事件系统的自动机模型中添加概率,离线计算模型中事件与状态的后验概率,从而处理不完全观测导致的不确定性,增强了离散事件系统处理不确定性问题的能力。在已经建立的离线模型上,在线计算观测与模型的冲突,在模型中提取符合观测的轨迹,推导系统运行状况,判断故障,并给出故障路径。将基于冲突的诊断方法扩展到离散事件系统的诊断上来,避免了对无关事件的搜索及判断,从而降低了诊断搜索空间,便于计算更大规模的系统模型。
王晓宇欧阳丹彤赵剑耿雪娜
关键词:人工智能离散事件系统
共2页<12>
聚类工具0