极大项

作品数：24被引量：57H指数：4
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：张型岱王安斌王强刘磊王道林更多>>
相关机构：吉林大学牡丹江师范学院湖南理工学院泰山学院更多>>
相关期刊：《计算机工程与设计》《山东师范大学学报（自然科学版）》《数学的实践与认识》《东北大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金国家教育部博士点基金吉林省科技发展计划基金湖南省教育厅重点项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
两种新的基于扩展规则#SAT问题求解算法被引量：2
《东北大学学报（自然科学版）》2019年第5期630-634,646,共6页吕帅 张桐搏 王强 刘磊 
国家重点研究发展计划项目(2017YFB1003103);国家自然科学基金资助项目(61502197;61503044;61763003);吉林省科技发展计划项目(20180101053JC)
提出一种新的基于扩展规则的#SAT求解算法NCER,该算法在#ER的基础上加入启发式策略.该策略每次选择当前子句集的最长子句来减小极大项空间,使得递归调用的次数减少,从而加快求解效率.为解决基于扩展规则的#SAT求解器在互补因子较小的样...
关键词：自动推理 扩展规则 模型计数 极大项空间 启发式策略 
基于扩展规则的启发式#SAT求解算法被引量：4
《软件学报》2018年第11期3517-3527,共11页王强 刘磊 吕帅 
国家自然科学基金(61300049;61402195;61502197;61503044);教育部高等学校博士学科点专项科研基金(201200 61120059);吉林省自然科学基金(20180101053JC);吉林省青年科研基金(20140520069JH;20150520058JH)~~
#SAT在人工智能领域取得了广泛应用,很多现实问题可以规约成#SAT进行求解,得到命题理论的模型个数.通过对基于扩展规则的#SAT求解器的深入研究,发现选择规约子句的顺序对极大项空间的大小有着较大的影响,因此提出两种加速#SAT求解的启...
关键词：扩展规则 模型计数 启发式算法 极大项空间 规约子句 
结合扩展规则重构的#SAT问题增量求解方法被引量：4
《软件学报》2015年第12期3117-3129,共13页贾凤雨 欧阳丹彤 张立明 刘思光 
国家自然科学基金(61272208;61133011;61402196;61003101;61170092);国家教育部博士点专项基金(2010 0061110031);中国博士后科学基金(2013M541302);吉林省科技发展计划(20101501;20140520067JH)~~
#SAT问题是人工智能中的重要问题,在人工智能领域被广泛应用.在对基于扩展规则的模型计数求解方法CER深入研究的基础上,重构CER中使用的计算公式,并对其正确性进行了证明;提出极大项相交集和扩展极大项相交集的概念,并给出根据两者关系...
关键词：扩展规则 模型计数 极大项相交集 互补表 增量方法 
主范式的计算方法及其在命题公式中的作用被引量：2
《宜春学院学报》2011年第4期39-40,共2页吕诚 孙秀华 吕敏 
安徽省自然基金项目资助(KJ2011z057);中央高校基本科研业务专项资金资助(CUSF)
针对数理逻辑中主范式的求解难度较大、方法繁琐,充分利用极小项与极大项的特征及其与二进制数的关系,综合求解主范式的各种传统方法,给出较为简洁实用的计算方法。同时系统论述两种主范式在命题逻辑中对于理解和分析命题公式诸多方面...
关键词：主析取范式 主合取范式 极小项 极大项 命题公式 
关于主范式的下标集合及其应用被引量：1
《青岛理工大学学报》2009年第4期205-208,共4页亓正坤 王廷明 
极小项和极大项是主范式问题的核心,体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征.讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件.并...
关键词：主范式 极小项 极大项 下标 
关于超球级数所定义的整函数
《数学研究》2008年第3期325-332,共8页王安斌 王小红 
给出了超球级数所定义整函数的下阶、下型与极大项、中心指标、最大模之间的关系及几个不等式。并由此推出了超球级数成正规增长的充要条件及成完全正规增长的充要条件.
关键词：超球级数 整函数 阶 极大项 中心指标 最大模 
线性逻辑方程组的解被引量：6
《计算机工程与设计》2008年第5期1195-1197,1225,共4页王道林 
国家自然科学基金项目(60572113)
软件设计和硬件设计中经常遇见用逻辑方程或逻辑方程组表示的数学模型,讨论这类数学模型的求解问题是非常必要的。给出了=0,=1,=,=1(中不含逻辑非变量,中含逻辑非变量)等类型的线性逻辑方程组有解、有惟一解的充分必要条件,讨论了解的...
关键词：线性逻辑方程组 系数矩阵 置换矩阵 主合取范式 极大项 
关于超球级数所定义的整函数
《湖南理工学院学报（自然科学版）》2008年第1期1-4,19,共5页王安斌 王小红 
给出了超球级数所定义的整函数的下阶、下型与极大项、中心指标、最大模之间的关系及几个不等式,并由此推出了超球级数成正规增长的充要条件及成完全正规增长的充要条件.
关键词：超球级数 整函数 阶 极大项 中心指标 最大模 
逻辑方程和逻辑方程组的解法
《泰山学院学报》2007年第3期46-49,共4页王道林 李洪银 
首先给出了一类线性逻辑方程组的解法,然后通过主和取范式把F(x1,x2,…,xn)=1、F(x1,x2,…,xn)=0,F(x1,x2,…,xn)=G(x1,x2,…,xn)等类型的逻辑方程转化为线性逻辑方程组求解,最后给出了任意逻辑方程组的求解方法.
关键词：逻辑方程 线性逻辑方程组 解集 主合取范式 极大项 
布尔代数中的积和范式
《毕节学院学报（综合版）》2007年第4期38-40,共3页薛朝奎 
研究了布尔代数中求积和范式与和积范式的方法,证明了:α(x)=[α(0)*x′]+[α(1)*x]和α(x1,x2,…,xn)=1∑1 a1=0 1∑1 a2=0…1∑1 an=0[α(a1,a2,…,na)*X1a1*X2a2*…*Xnan]通过实例验证,此法在计算时思路清晰,大大提高了求解此类问题...
关键词：极小项 极大项 布尔代数 范式 对偶原理 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部