论文部分内容阅读
网络缺省推理中扩展的计算需要进行并行处理，Ｅｔｈｅｒｉｎｇｔｏｎ的并行网络推理算法为缺省推理提供了一条有效的途径，但它存在不能穷尽所有扩展的不完整性问题，本文提出了一个解决这一不完整性问题的并行网络推理算法。
对Etherington并行网络推理算法不完整性问题的探讨
【摘 要】
：
网络缺省推理中扩展的计算需要进行并行处理，Ｅｔｈｅｒｉｎｇｔｏｎ的并行网络推理算法为缺省推理提供了一条有效的途径，但它存在不能穷尽所有扩展的不完整性问题，本文提出了一个解决这一不完整性问题
【机 构】
：
南京师范大学
【出 处】
：
软件学报
【发表日期】
：
1994年2期
其他文献
植物核编码蛋白向线粒体内的转运对于线粒体正常功能的发挥有着不可忽视的作用。目前在诸如前序列、前体蛋白加工、分子伴侣及线粒体与质体（或叶绿体）之间分选等几方面开展了许
ＣＩＭＢＡＳＥ是为计算机成制造系统而设计的一个异构分布式数据库管理系统，ＣＩＭＢＡＳＥ的重要用户接口之一是它的Ｃ预编译程序，它允许用户在Ｃ里访问远程数据库，是用户开发计算机集成制造系统的重要编程接口
本文研究对彩色地图图象按颜色分层问题，按颜色对地图图像分层是计算机对地图图象进行自动化识别的重要步骤，本文讨论了按颜色分层的算法，探讨了一些影响分层效率和效果的问题，给
本文介绍了公共艺术在当代的角色和任务,论述了国内大学图书馆公共艺术创作的现状及其转型的必要性,在此基础上,以安徽工业大学图书馆新馆为例,提出并详细论证了当代大学图书
郑州图书馆新馆（市民文化中心）位于郑东新区客文一街以北、客文二街以南、兴荣路以北、民生路以西．总占地面积50922．2平方米（76．383亩），建筑面积72450平方米，设计总藏书量240万册，
今年的七月十一日，对国学界、学术界来说，是个不幸的日子。季羡林、任继愈两位国学大师同日仙逝。是我们国家，特别是知识界、学术界、教育界、图书馆界都是重大损失。对我们中国
原子力显微镜(AFM)不仅能对纳米生物结构进行实时动态的形态和结构观察,而且还能以10-12N(pN)的精度对溶液中生物分子表面的相互作用力进行直接测量,逐渐成为一种研究受体-配
猪生长激素是由猪脑垂体前叶嗜酸性细胞分泌的一种单一肽链的蛋白质激素。本文就猪生长激素基因的结构特点、多肽性研究、基因表达及猪生长激素的结构特点、生理功能、分泌规
本文在利用八叉树结构表达三维实人本在布局块及布局空间的基础上，根据八叉树同构节点匹配的思想设计了一个三维实体布局的启发式算法，并 提出了三环图方法，解决了八叉树节点的