论文部分内容阅读
并行知识库机是一种用于提高知识库系统推理效率的多机系统。本文利用ＰＯＳＴ模型来形式化它的并行推理模型和操作规范，为保证系统正确性和可靠性、还重点讨论它的通讯－同步机制。
一台并行知识库机的推理模型和通讯同步机制
【摘 要】
：
并行知识库机是一种用于提高知识库系统推理效率的多机系统。本文利用ＰＯＳＴ模型来形式化它的并行推理模型和操作规范，为保证系统正确性和可靠性、还重点讨论它的通讯－同步机制。
【机 构】
：
哈尔滨工业大学计算机系
【出 处】
：
小型微型计算机系统
【发表日期】
：
1996年10期
【基金项目】
：
国家自然科学基金
其他文献
面向对象软件开发生命期包括：ＯＯＡ（面向对象分析）、ＯＯＤ（面向对象设计）、ＯＯＩ（面向对象实现）等阶段。在考察了ＯＯＡ现状的基础上，这篇文章总结和评价了当前已有的ＯＯ分析和规格说明方法。
崔知悌,许州鄢陵（今河南鄢陵）人,约生于隋大业十一年（公元615年）,卒于唐垂拱元年（公元685年）,享年70岁。崔氏出身宦族,历任洛州（今河南）司马、度支郎中、户部员外郎,唐高宗时升殿中少
在现有的体制下，教育还是作为一种公益事业进行管理，在财务核算方面对教育的投入和产出也没有相关的核算有求。但随着我国高等教育经历了由免费教育到学生部分付费接受教育的转
Inferior pancreaticoduodenal artery pseudoaneurysm in a patient with calculous cholecystitis: A case
BACKGROUND Pancreaticoduodenal artery (PDA) aneurysms are extremely rare. The complicated clinical presentations and high incidence of rupture make it difficult
加强会计工作管理，特别是加强会计基础工作管理，是发展经济、繁荣社会的重中之重，也是治理会计信息失真的一个重要环节，其中的关键是要加强会计职业道德建设。
BACKGROUND In recent years, there have been reports of a new histological type of gastric cancer, termed gastric adenocarcinoma of the fundic gland (GA-FG). Thi
【正】 日本跃为世界最大的对外援助国据统计,1986年,美国的对外援助总额为96亿美元,为世界最大的对外援助国。1988年6月14日,
BACKGROUND Epidermoid cysts can be found at any location in the human body.However,perianal epidermoid cysts are extremely rare and only a few cases have been r
与西方商业银行发展迅速的个人理财业务相比．我国商业银行这项业务的发展明显落后．且差距很大。面对当今我国商业银行传统业务风险趋增大，存贷款利差日趋缩小、外资银行步步进逼