宋振明
- 作品数：54 被引量：155H指数：7
- 供职机构：西南交通大学数学学院更多>>
- 发文基金：国家自然科学基金四川省科技支撑计划中央高校基本科研业务费专项资金更多>>
- 相关领域：理学自动化与计算机技术文化科学航空宇航科学技术更多>>
- 化LF(X)中任一公式为可归约形式的算法被引量：1
- 2003年
- 针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究 .简述了LF(X)及其中公式的相关概念 ,证明了对LF(X)中公式进行转化的若干理论结果 ,并由此给出化LF(X)
- 孟丹宋振明秦克云
- 关键词：人工智能多值逻辑
- 一种基于概念匹配度模型的中文问答系统
- 2008年
- 答案抽取是问答系统的核心部分,本文根据汉语本身的特点,采用了本体论方法,借鉴了概念格的思想,提出了一种基于概念匹配度模型的中文问答系统。该系统通过计算与问题概念节点的匹配度,就可以抽取出查询问题的答案。该模型采用了定量计算,缩短了问题—答案匹配时间,并通过实例证明了该模型是有效的。
- 李静宋振明
- 关键词：概念格问答系统相似度
- 基于学习子句长度和LBD的删除策略
- 2019年
- 学习子句的删除在求解器的构成中是非常重要的。因为学习子句删除策略的"优劣"不仅影响BCP的效率,还影响内存的占用问题,为避免出现这些问题,很多学者做了大量的工作,提出了很多良好的学习子句删除策略。然而当前的学习子句删除策略都有一个缺点:删除学习子句时有可能会删除在后续搜索过程中有很大作用的子句,因为不能确保每次删除的都是没有"价值"的子句。在充分考虑学习子句的长度和变量的决策层的基础上,本文提出基于学习子句长度和LBD的删除策略——LLBD策略,并形成算法,然后用该策略替换Glucose求解器中的删除策略,最后通过实验表明LLBD策略能够求解出更多的实例,求解器的效率也有所提高,表明本文策略有一定的优势。
- 刘姚宋振明
- 关键词：LBD
- 一种基于最大满矩阵生成概念格的算法被引量：4
- 2015年
- 形式概念分析的核心是概念格,它在本质上描述了对象和属性之间的联系,表明了概念之间的泛化和例化关系,因此概念格的构造就显得尤为的重要。从形式背景的关系矩阵出发,扫描形式背景的行和列找出属性值为1的全部满矩阵,定义了最大满矩阵的概念,证明了最大满矩阵是概念矩阵的充要条件。并在此理论上提出了一种基于最大满矩阵生成概念格的算法,并对所提出的算法进行了理论论证。通过实例的运算,验证了该算法的有效性。
- 郭伦众宋振明
- 关键词：形式概念分析矩阵
- 基于变量混合特征的分支启发式策略被引量：1
- 2020年
- 先进的SAT求解器能够通过有效的分支启发式策略解决大型应用实例.目前VSIDS策略是最具有代表性的基于冲突分析的分支策略,它因其稳健性而被广泛使用,但在每次冲突分析中其判定变量活性的增量方式过于单一.针对此问题,本文提出了一种基于变量混合特征的分支启发式算法,目的是充分地利用参与冲突分析的变量所携带的不同信息特征来区分变量,来进一步指导变量活性增长.并将所提出的分支策略算法嵌入到Glucose4.1中形成求解器Glucose4.1+MFBS,通过对比测试,实验结果表明改进的分支算法比原本的VSIDS策略,具有一定的优势,求解明显个数增加.
- 艾森阳宋振明沈雪
- 关键词：SAT问题
- 基于剩余蕴涵的模糊三I方法的支持度被引量：13
- 2004年
- 利用连续三角模导出剩余蕴涵算子,根据三角模和剩余蕴涵算子的性质,得出了满足一定条件的该类算子的三I算法.分析了在该类算子下的支持度理论,并推导了一般化的α 三IFMP和α 三IFMT公式.
- 王琼何一农宋振明
- 关键词：模糊推理三I算法蕴涵算子模糊控制
- 概念格的分层及逐层建格法被引量：13
- 2005年
- 给出了分层概念格重要性质:同层概念不可比和每个概念至少被1个上层的概念覆盖.得到了概念格上的对象映射和属性映射的一般计算公式和在对象化简过程中格结构不变的定理.由上述性质和定理,给出建格算法.此方法以概念格分层为基础,逐层建格.因为在建每层格的节点的过程中同时进行筛选,所以不会生成冗余重复的格节点.
- 谢润李海霞马骏宋振明
- 关键词：概念格映射数据挖掘
- 基于对象间相互作用的形式概念分析被引量：1
- 2006年
- 论文对概念格构成所依赖的形式背景作了研究,针对形式背景中的对象集,提出了每个对象并不是孤立存在而是相互作用和相互影响的观点。定义了基于对象间相互作用的一系列相关概念,对于相互作用下不断变化的属性值引入属性加权法,结合概念定标原理,将动态多值背景通过两次转换化为静态单值背景,进而对其进行形式概念分析。
- 杨丽宋振明
- 关键词：形式概念分析相互作用概念格
- 基于改进的云重心评判方法的机场电磁环境复杂度评估
- 2013年
- 分析了机场电磁环境的构成因素及其复杂性,在此基础上给出了改进的云重心评判方法,并将该方法应用于机场电磁环境复杂度评估,该方法较好地处理了定性概念与其定量表示之间的相互转换,为电磁环境的复杂度评估提供了有效的方法和途径.
- 范雯雯宋振明
- 关键词：电磁环境云理论复杂度
- 浅析L伽罗瓦连接
- 2012年
- 通过猜想以定理形式提出了L伽罗瓦连接与伽罗瓦连接之间的关系,在此基础上加以证明,从而得出了伽罗瓦连接是L伽罗瓦连接的特殊情况。将伽罗瓦连接扩展到更一般的情况,为模糊概念格的研究提供了又一重要的结论。再对L伽罗瓦连接进行研究,引入了3对算子,以其中1对为例进行证明算子是满足L伽罗瓦连接的。
- 张晓静宋振明
- 关键词：模糊概念格算子
