论文部分内容阅读
<正> 1.引言 并行推理是智能计算机研究领域的关键技术之一。目前,以基于一阶谓词演算的逻辑式程序设计语言为核心语言构作并行推理系统的研究工作虽处于实验阶段,但已成为一个重要的活跃的研究方向,从国外有代表性的工作看,由于各实验模型机或系统、各理
并行推理策略的渐近时空复杂度分析及其应用
【摘 要】
：
<正> 1.引言 并行推理是智能计算机研究领域的关键技术之一。目前,以基于一阶谓词演算的逻辑式程序设计语言为核心语言构作并行推理系统的研究工作虽处于实验阶段,但已成为一
【机 构】
：
上海复旦大学计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1989年5期
其他文献
转醛醇酶（transaldolase,TALDO）缺陷病是一种罕见的先天性戊糖磷酸通路（pentose phosphate pathway,PPP）缺陷累及多系统的常染色体隐性遗传性疾病。2001年由Nanda等首次报道,临床
<正> ICAI(智能计算机辅助教学)是信息科学的研究课题之一,也是计算机和人工智能应用的一个重要方面,为了减轻教师一部分重复劳动,辅助学生学习,我们研制了PCICAI(命题演算智
9月2日消息．中国农业部副部长牛盾表示．中国农业历来把保证13亿人口的吃饭问题作为最重要的任务．绝不会以牺牲粮食安全为代价来换取能源安全。
股骨远端骨折,由于骨折位于膝关节内和邻近膝关节,骨折发生的同时常合并有膝关节结构损伤,保守治疗骨折难以达到理想的复位和固定、膝关节结构损伤的修复和进行早期功能锻炼
目的探讨心内科急性左心衰患者焦虑障碍的发病率和治疗效果。方法用汉密尔顿焦虑量表评估81例急性左心衰患者,对伴有焦虑障碍者,用药物治疗。结果81例患者中焦虑障碍的发生率
2004年以来，大豆产业成为饲料和粮油市场一直关注和敏感的话题。在2003年跌宕起伏中，全球大豆产业都面临新的机遇。2006年末，大豆市场尾随小麦、玉米价格的飙升也亦步亦趋地跟盘
目的探讨临床上采用气压弹道联合钬激光碎石术治疗膀胱多发结石的价值。方法气压弹道联合钬激光碎石术治疗。结果本组38例均一次碎石成功,碎石时间5～20min。全部病例术后行B超
目的为了观察碘仿与甲醛甲酚合用根管治疗慢性根尖周炎的疗效。方法对患牙根管内以甲醛甲酚蘸少许的碘仿棉捻根管消毒10d。结果治疗150颗患牙,有效率在90%以上。笔者自2000年