【摘 要】
：
本文简要介绍FGCS计划的总体框架、PIM机及其基本软件。FGCS原型系统的核心是并行推理系统,包括并行推理机PIM和它的操作系统PIMOS。知识库管理系统(KBMS)建立在并行推理系统
论文部分内容阅读
本文简要介绍FGCS计划的总体框架、PIM机及其基本软件。FGCS原型系统的核心是并行推理系统,包括并行推理机PIM和它的操作系统PIMOS。知识库管理系统(KBMS)建立在并行推理系统上,并与PIMOS共同构成FGCS原型系统的基本软件。在此基础上,开发出约束逻辑程序设计语言的LP(Language Processor)、并行定理证明器、自然语言处理系统等高级知识程序设计软件,以支持有力的推理和知识处理。为评估PIM和探索知识处理的新领域,研制了几个实验性应用系统。总之,有关PIM的成果和基本软件远远超
其他文献
妇女更年期问题主要是由于雌激素的波动、下降和低雌激素血症所引起的健康问题.更年期妇女的健康问题不仅影响妇女本身,也涉及到家庭及整个社会,搞好妇女更年期保健,对妇女保
人工做床种植山参必须使用符合国家低农残标准的土壤和种子(不含六六六、DDT、五氯硝基苯、铅、镉、砷等);做好硬底(人工用脚踩实或砸实的床底土)和春播已长出根3mm～4mm的催芽
古典猪瘟(CSF)的防治是以强化免疫和淘汰临床病猪及同群猪为主要措施，强化免疫是经济欠发达国家控制CSF的有效方法。我国从上世纪50年代开始，利用猪瘟疫苗免疫猪群，已经控制了CS
This paper surveys the semantic-based concurrency control for advanced database systems, which aimed to eliminate the limitation of conventional concurrency con
广东温氏集团自去年8月落户邕宁，成立“南宁市广东温氏畜禽有限公司”以来，各项工作进展顺利，广大农户养鸡热潮空前高涨，养鸡速度发展迅猛。一个“公司+基地”的养殖模式正在邕宁
本文总结罗哌卡因、利多卡因合剂硬膜外腔麻醉用于剖宫产120例,结果疗效满意,报道如下:
人类社会已进入网络时代,随着因特网的日渐发展壮大,以信息网络为主体的虚拟现时技术正将图书馆引向多媒全电子技术的新境界.图书馆作为信息收藏、整理和传递中心,其服务手段
一、为印度RJ Corp提供PET无菌技术RJ Corp集团是百事可乐全球顶级规模的特许经营商,旗下企业Varun Beverages Ltd在印度旁遮普邦的新厂安装了西得乐Aseptic Combi Predis™
从烟用辅材胶囊生产工艺流程可知,对加工完成的烟用胶囊进行干燥除湿是生产环节中必不可少的。造纸法再造烟叶烟用胶囊烘干过程中受到温湿度、湿珠量等因素影响其烘干效率,操
随着社会的发展,人民生活质量的提高,人们的保健意识不断增强,特别是对新生儿的身心健康更加引起社会与家庭的重视.新生儿呕吐是新生儿最常见的疾病症状之一.2000年7月～2003年