切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
降低广义归结原理空间复杂度方法的研究
降低广义归结原理空间复杂度方法的研究
来源 :现代计算机(专业版) | 被引量 : 0次 | 上传用户:sin4x
【摘 要】
:
本文针对广义归结原理实现时空间复杂度非常大的问题,通过实际分析广义归结方法实现时造成多余归结的实例,提出了几种优化方法,使系统的归结能力显著提高.
【作 者】
:
王树义
袁晓刚
【机 构】
:
大连理工大学计算机科学与工程系
【出 处】
:
现代计算机(专业版)
【发表日期】
:
2001年3期
【关键词】
:
广义归结
空间复杂度
定理机器证明
人工智能
General resolution principle Space complexity
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文针对广义归结原理实现时空间复杂度非常大的问题,通过实际分析广义归结方法实现时造成多余归结的实例,提出了几种优化方法,使系统的归结能力显著提高.
其他文献
青霉素体外诱导金黄色葡萄球菌耐药的实验研究
目的 探讨在实验室条件下青霉素诱导金黄色葡萄球菌产生耐药性所需要的时间及浓度.方法 将标准菌株接种到含不同浓度青霉素的营养肉汤培养液中,35℃孵育,每24 h更换1次培养液
期刊
青霉素类
葡萄球菌
金黄色
抗药性
细菌
胶东土陶的新语境
在时代发展、科技进步、世界共同体、东西文化的相互交叉融合等背景下,科学技术和商品经济得到迅速的发展,人们的审美观念和价值观已发生了改变,传统手工艺的发展既有机遇同
期刊
胶东土陶
传统手工艺
传承
新语境
应用型法学人才的实践能力及实现途径
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
期刊
法学教育
应用型
法学人才
实践能力
降解塑料及其产业化挑战
白色污染问题已引起全社会广泛关注,降解塑料的研究和开发是解决白色污染的理想途径之一。本文综述了目前已开发的主要降解塑料类型以及这些降解塑料的应用领域,重点讨论了可
期刊
降解
塑料
白色污染
产业化
关于新疆非物质文化遗产保护与合理利用的思考
非物质文化遗产是人类口传心授、口耳相传、世代传承的无形的活态流变的文化遗产,它鲜活地扎根生存于民族民间,是一个民族的生命记忆和活态文化基因。它作为一种民间文化或民间
期刊
新疆
非物质文化遗产
保护
合理利用
浅谈油画创作中的情感表达
从古至今,无论是深远的中国美术还是多姿多彩的西方美术,都是世界绘画艺术的重要组成部分。在画面中表达个人的情感,使情感和作品能够融入到一起都是至关重要的。然而情感表
期刊
情感表达
创作
方法
FDY简介
<正> 熔融纺丝技术广泛地应用于生产锦纶、涤纶和丙纶,目前全世界约有80%的合成纤维是用此技术生产的。本世纪70年代后,随着机械制造技术的发展,熔融纺丝的卷取速度开始由1000
期刊
FDY
结构和性能
其他学术论文