【摘 要】
:
本文对有序二元决策图(ordered binary decision diagram,OBDD)进行了泛化,提出了一种新的知识编译语言—带蕴含文字的有序二元决策图(OBDD with impliedliterals,OBDD-L)。本文将OB
论文部分内容阅读
本文对有序二元决策图(ordered binary decision diagram,OBDD)进行了泛化,提出了一种新的知识编译语言—带蕴含文字的有序二元决策图(OBDD with impliedliterals,OBDD-L)。本文将OBDD-L上的蕴含文字约束为所有潜在的蕴含文字中对应变量最小的前i(0≤i≤∞)个文字而得到了子集OBDD-L_i,其中OBDD-L0同构于OBDD,进一步对OBDD-L_i附加精简性(reducedness)得到子集ROBDD-L_i。本文证明了在给定变量序下,任意命题知识库对应唯一的ROBDD-L_i(0≤i≤∞),其中ROBDD-L0和ROBDD-L_∞分别在所有OBDD-L0和OBDD-L_∞中节点数最少。本文证明了ROBDD-L_∞的简洁性严格强于ROBDD-L_i(0≤i <∞),且任意OBDD-L都能在多项式时间内转化为ROBDD-L_∞。本文提出了多个能为OBDD-L及其子集执行多项式时间逻辑操作的算法。本文证明了若ROBDD-L0能在其规模的多项式时间内支持某个操作,则ROBDD-L_∞也能在等价的ROBDD-L0的规模的多项式时间内支持该个操作,同时本文提出了一个ROBDD-L_∞合取算法,其时间复杂度最坏情况下不多于ROBDD-L0的合取算法的n倍(n表示变量数),但在某些情况下存在指数形式的加速。本文给出了一个ROBDD-L_i(0≤i≤∞)编译算法Build和ROBDD-L_∞编译算法BuildInfty,并结合OBDD-L支持的逻辑操作实现了OBDD-L包BDDjLu。实验结果表明,BDDjLu中的ROBDD-L_∞编译器的时间和空间效率与确定型可分解否定范式的编译器c2d相当,且优于已有的ROBDD编译器;BDDjLu中的ROBDD-L0编译器的时间效率在大部分问题上优于已有的ROBDD编译器。
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食
Back to yield
近年来,汽车行业发展迅速,路面车辆日益增多,在提供便民服务的同时也带来了一系列的环境问题,目前环境污染和能源紧缺是急需解决的两大难题。大客车作为一种大型商用车,提供了便捷的出行方式,但由于其车身不具有理想的空气动力学外形,在高速行驶时会产生很大的气动阻力,而对于大型商用车来说,当车速达到100km/h时将有接近50%的燃油消耗量用于克服气动阻力,因此减少大客车的气动阻力对提高燃油的利用率极为重要。
<正> 我单位于1987年11月购置了一台 YZ10型振动压路机,使用不足500h 就出现了离合器不分离故障。为此,我们对该机离合器液压助力操纵机构进行了分析,找出了合理的解决办法。
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食
Back to yield
<正> 联邦德国克虏伯公司(KRUPP)已研制成功独立的轮式悬挂系统,且已生产并正式投放市场。这套新型汽车起重机悬挂系统被命名为MegaTrack。克虏伯公司1988年11月在托里尔市的
多少年来,白虎汤一直被公认为治疗气分证的代表方。但证之临床,仍有不少气分证经投白虎汤后疗效不显或毫无效果,如有治气分证用石膏量至14斤者(《笔花医镜》),有一证而竟用数十斤者
<正> 1慨述传统的皮带运输机,因运输倾角小,所以在建设工程中应用不多。但皮带运输机结构简单、维修容易、连续运输、可靠性高等优点,一直受到人们重视,对扩大其应用范围寄以
意义协商指语言交互过程中出现意义中断时,对话的一方通过表示自己没有理解、要求对方澄清等方式使对方意识到自己的语言问题,从而引发对方更正错误。研究者倾向于认为意义协商
良好的职业道德是图书馆员首先要具备的基本素质。新时期赋予了图书馆工作者新任务,要求图书馆员必须进一步学习和理解职业道德的深刻含义和现实意义,要在实际工作中身体力行、
<正> 卷扬机-井字架-吊篮提升系统相当普遍地被应用在建筑施工中,由于没有什么有效的安全保护装置,时有伤亡事故发生。所以,施工的安全性也一直是人们普遍关心的问题。目前现