首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   17篇
  国内免费   2篇
  完全免费   31篇
  自动化技术   50篇
  2017年   1篇
  2016年   4篇
  2015年   4篇
  2014年   1篇
  2013年   5篇
  2012年   6篇
  2011年   5篇
  2010年   3篇
  2009年   7篇
  2008年   5篇
  2007年   1篇
  2006年   3篇
  2005年   1篇
  2003年   1篇
  2002年   2篇
  2001年   1篇
排序方式: 共有50条查询结果,搜索用时 31 毫秒
1.
极小不可满足公式在多项式归约中的应用   总被引:8,自引:3,他引:5       下载免费PDF全文
许道云 《软件学报》2006,17(5):1204-1212
合取范式(CNF)公式F是极小不可满足的,如果F不可满足,并且从F中删去任意一个子句后得到的公式可满足,(r,s)-CNF是限制CNF公式中每个子句恰有r个不同的文字,且每个变元出现的次数不超过s次的公式类,对应的满足性问题(r,s)-SAT指实例公式限制于(r,s)-CNF.对于正整数r≥3,有一个临界函数f(r),使得(r,f(r))-CNF中的公式都是可满足的,而(r,f(r)+1)-SAT却是NP-完全的.函数f是否可计算是一个开问题,除了知道f(3)=3,f(4)=4外,只能估计f(r)的界.描述了极小不可满足公式在CNF公式类之间转换中的作用.为使转换过程中引入较少的新变元,给出了CNF公式到3-CNF公式的一种新的转换方法,对于长度为l(>3)的子句,仅需引入|l/2|个新变元.并且,给出了CNF到(r,s)-CNF公式转换以及(r,s)-CNF中不可满足公式构造的原理和方法.  相似文献
2.
子句型缺省逻辑中的分情形推理   总被引:3,自引:0,他引:3       下载免费PDF全文
许道云  丁德成  张明义 《软件学报》2001,12(8):1140-1146
引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计算Roos扩张,引入了从子句集分解最小文字集的算法.方法对于在缺省逻辑中计算Roos扩张以及分析分情形推理的计算复杂性是有用的.  相似文献
3.
基于蚁群算法的邮政运输规划研究   总被引:2,自引:0,他引:2  
针对国内邮政运输路线规划存在的主要问题,建立解决邮政运输的多目标决策问题的数学模型,使用蚁群算法来求解该模型的近似解.仿真实验证明该方法是有效的、可行的.  相似文献
4.
MAX(1)和MARG(1)中公式改名的复杂性   总被引:1,自引:0,他引:1  
改名是一个将变元映射到变元本身或它的补的函数,变元改名是公式变元集合上的一个置换,文字改名是一个改名和一个变元改名的组合.研究CNF公式的改名有助于改进DPLL算法.考虑判定问题"对于给定的CNF公式H和F是否存在一个变元(或文字)改名ψ使得ψ(H)=F?"的计算复杂性.MAX(1)和MARG(1)是极小不可满足公式的两个子类,这两个子类中的公式可以用树表示.树同构的判定问题在线性时间内是可解的.证明了对于MAX(1)和MARG(1)中的公式,文字改名问题在线性时间内可解,变元改名问题在平方次时间内可解.  相似文献
5.
FC-normal and extended stratified logic program   总被引:1,自引:0,他引:1  
This paper investigates the consistency property of FC-normal logic program and presents an equivalent deciding condition whether a logic program P is an FC-normal program. The deciding condition describes the characterizations of FC-normal program. By the Petri-net presentation of a logic program, the characterizations of stratification of FC-normal program are investigated. The stratification of FC-normal program motivates us to introduce a new kind of stratification, extended stratification, over logic program. It is shown that an extended (locally) stratified logic program is an FC-normal program. Thus, an extended (locally) stratified logic program has at least one stable model. Finally, we have presented algorithms about computation of consistency property and a few equivalent deciding methods of the finite FC-normal program.  相似文献
6.
不可满足公式的同态证明系统   总被引:1,自引:1,他引:0       下载免费PDF全文
许道云 《软件学报》2005,16(3):336-345
合取范式(CNF)公式HF的同态φ是一个从H的文字集合到F的文字集合的映射,并保持补运算和子句映到子句.同态映射保持一个公式的不可满足性.一个公式是极小不可满足的是指该公式本身不可满足,而且从中删去任意一个子句后得到的公式可满足.MU(1)是子句数与变元数的差等于1的极小不可满足公式类.一个三元组(H,φ,F)称为的一个来自H的同态证明,如果φ是一个从H到F的同态.利用基础矩阵的方法证明了:一个不可满足公式F的树消解证明,可以在多项式时间内转换成一个来自MU(1)中公式的同态证明.从而,由MU(1)中的公式构成的同态证明系统是完备的,并且由MU(1)中的公式构成的同态证明系统与树消解证明系统之间是多项式等价的.  相似文献
7.
逻辑程序与数据库研究   总被引:1,自引:0,他引:1       下载免费PDF全文
1 引言逻辑程序和数据库之间关系的研究始于1977年12月在法国图卢兹召开的“逻辑和数据库”会议。而在此之前,逻辑程序和数据库技术是并行发展的。两者之间的成功汇流得益于日本的“第五代计划”,其目标是所谓的“下一代计算机”的开发和研制,在该计划中Prolog被选为编程语言,而关系数据库被用于数据表示。最为流行的逻辑程序设计语言Prolog,作为一般定理证明技术的实现,具有高效和可编程的特点。相应地,关系数据模型作为复杂的层次与网状模型的简化与改进,能提供面向集合的、非过程性的数据操作。“第五代计划”极大  相似文献
8.
BAN逻辑的可靠性分析与改进   总被引:1,自引:0,他引:1       下载免费PDF全文
BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进行限定,使消息新鲜性判定规则适用于更多类型的协议安全性验证。  相似文献
9.
基于警示传播与DPLL算法的启发式极性决策算法   总被引:1,自引:0,他引:1       下载免费PDF全文
警示传播(WP)算法是信息传播算法的重要基础,WP算法的本质是因子图上警示信息的迭代过程,在算法收敛时得到一组稳定的警示信息,并利用局部腔域得到公式变元的部分赋值。分析了警示传播算法的基本原理,给出了算法的改进。RB实例集上的实验证明,改进后的算法比原算法具有迭代次数和运行时间,提高了收敛速度。然而,在RB模型产生的大部分实例集上,警示传播算法不收敛,因而不能有效求解公式。警示传播算法与DPLL算法的组合使用使回溯计算次数大大降低,从而有效地弥补了WP算法的不足。通过在RI3实例集上的测试实验表明,该方法是有效的。  相似文献
10.
警示传播算法的原理分析及算法改进   总被引:1,自引:0,他引:1       下载免费PDF全文
详细分析了警示传播算法基本原理,给出了算法的收敛性分析及算法的改进。实验证明,改进后的算法比原算法具有更 少的迭代次数和更少的运行时间,提高了收敛速度。警示传播算法的分析有助于理解和分析信念传播算法、调查传播算法的数学原理、以及传播算法的演化过程。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号