宋小华
- 作品数：8 被引量：4H指数：2
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家教育部博士点基金吉林省科技发展计划基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一个求解加权MAX-SAT问题的改进算法
- 2009年
- 提出了一种加权MAX-SAT问题求解的改进算法,给出了启发式的命题变量选择方法和新的下界计算方法,改善了加权MAX-SAT问题剪枝效率。当子句规模变大时,其优点更为明显。新的算法具有实现简单、求解速度快、处理变量规模大的特点。
- 宋小华李斌
- 结合多方面空间关系的动态空间信息处理及其应用的研究
- 定性空间推理经过近30年的发展,已经成为人工智能领域的重要研究方向。在实际应用中,大多的空间信息都是以结合多方面空间关系的形式存在的,而且这些空间信息大多是动态变化的。如何对这些复杂变化的空间信息表示和推理对定性空间推理...
- 宋小华
- 关键词：定性空间推理自然语言理解
- 文献传递
- 时空推理在计算机视觉的应用
- ＜正＞1 引言时空推理是指对占据空间并随时间变化的对象所进行的推理。在人工智能（AI）和地理信息系统（GIS）领域,人们从认识论的角度对时空概念和推理方法的研究热情导致了时空推理的诞生和发
- 宋小华欧阳丹彤
- 文献传递
- 一个结合多方面定性空间信息的新方法被引量：2
- 2011年
- 定性空间推理是人工智能领域中非常重要的研究内容.空间信息包含拓扑关系、大小关系、形状、距离等很多方面.以往多侧重于单一方面的研究,如何将孤立的各方面信息进行统一表示和推理是当前定性空间推理中的一个重要问题.提出利用结合操作来融合不同空间信息表示的新方法.利用结合操作,可以由原先完备互斥关系集合得到新关系,同时利用原有的复合表自动生成新关系的粗复合表.基于结合操作,给出2个理论模型:结合拓扑关系与大小关系模型、结合拓扑关系与远近关系模型.并提出了邻域划分图的概念,说明了邻域划分图与概念邻域图的关系.利用邻域划分图回答了Galton提出的问题:"为什么LOS(视觉光线演算)的概念邻域图不同于标准的空间或时间关系的概念邻域图,这些关系的复合表中关系总是来自于概念邻域图".
- 宋小华欧阳丹彤
- 关键词：定性空间推理区域连接演算
- 本体的中文语义网查询优化
- 2009年
- 信息检索技术已经在全世界广泛应用。然而,搜索引擎的查全率和查准率不能够令用户满意。本文借助于本体论,通过建立语法树,应用中文语义网络系统(CNS)对查询关键字词法特性和本体实例之间语义关联强弱的分析,提高了查询关键字到本体概念映射的完整性和准确率,帮助搜索引擎对用户的意图做出有效推测,有效地提高搜索的查全率和准确率。
- 李斌宋小华
- 关键词：语义相似度语义扩展语义匹配
- 一种用于常识空间信息处理的定性空间关系模型
- 2012年
- 在空间信息处理中,一些常识空间信息通常结合多方面空间关系,而且这些空间关系是动态变化的.为了有效地表示这些复杂的空间关系,并对其进行推理,提出了一种结合拓扑、方向和大小关系的空间信息处理模型TDSC(topology-direction-size calculus),并基于TDSC模型提出了处理动态空间关系变化的表示推理框架.首先,利用同对象多属性的方法建立了融合大小、拓扑和方向关系的完备互斥基本关系表示;然后提出了复合表生成算法和推理算法,使得原有模型的表示和推理结果可以直接在新模型中使用.同时提出处理动态空间关系的邻域划分图,给出了邻域划分图的自动生成算法,以及TDSC模型的邻域划分图.最后给出基于TDSC模型邻域划分图的表示和推理框架,并结合实例说明框架的正确性和有效性.
- 宋小华欧阳丹彤
- 关键词：定性空间推理
- 基于固定视点的空间遮蔽模型
- 空间遮蔽性是空间表示和推理的重要研究内容。在视频和图像信息处理中,空间遮蔽现象是最为常见的视觉现象。本文的研究是在Randell提出的RCC-8模型基础上,建立了基于固定视点的空间遮蔽实体的形式化表示方法和推理方法的模型...
- 宋小华
- 文献传递
- 一种动态定性空间关系自动规划方法被引量：3
- 2012年
- 为解决定性空间关系的规划问题,在概念邻域图的基础上提出描述动作与定性空间关系交互的邻域划分图.基于邻域划分图,提出了定性空间关系自动规划的形式化表示和推理算法,证明了算法的可靠性,并举例说明了新方法的应用.该方法在处理单方面空间关系规划中具有用通用性,在机器人导航方面具有潜在的应用前景.
- 宋小华欧阳丹彤
- 关键词：定性空间推理
