R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance

Sme concepts used in knowledge base maintenace,such as sequence,new law,user‘s rejection and reconstructions of a knowledge base,are first introduced,and then a framework for extended logic programming(ELP)is given,where an extended logic program is equivalent to a knowledge base.A transition system called R-calculus for ELP is provided.For a given knowledge base and a user‘s rejection,the R-calculus for ELP will deduce best revisions of the base.The soundness and the completeness of the R-calculus for ELP are proved,and the R-calculus for ELP is implemented in Prolog.In addition,the research is compared with other relevant work.     

大规模数据库中的知识获取

一、前言数据是知识的潭泉,拥有大量的数据与拥有许多有用的知识完全是两回事.为了有效地利用大量的公共数据,必须更好地理解这些数据,并从其中快速、准确地发现知识.这里所说的知识是指大量数据中存在的规律性(r egularity)或不同属性值之间所存在的[I F THEN〕规则.将所获取的知识附加于仅由事实数据(fact data)构成的传统数据库上,既可强化数据库的查询能力,又可给数据库提供推理能力,     

日本国内卫星通信应用及“超鸟”通信卫星技术概况

日本卫星通信事业发展迅速,国内各大部门积极利用通信卫星,建立支援地面通信系统的线路。文章介绍日本九个部门利用卫星通信的概况,这些部门大都有自己的固定地球站和车载地球站,实践证明在突发事件中发挥了很大作用。 日本“超鸟”通信卫星是私营通信卫星,用于日本国内卫星通信,其中x波段供防卫厅用于移动通信,卫星发射重量为2.5吨,寿命10年,三轴稳定,星上装有19套Ku波段转发器,10套Ka波段转发器和两套x波段转发器,“超鸟”卫星也是世界上最大级的通信卫星,运用了最先进的技术,本文主要介绍日本国内卫星通信及“超鸟”通信卫星技术概况。     

SUN工作站的EEPROM浅析

ＥＥＰＲＯＭ的参数设置控制着系统的基本功能，设置的改变对系统的起动和运行起着重要作用。本文详细地列出了ＥＥＰＲＯＭ的地址分配表，并通过上机实验对那些重要的地址了详细的说明。     

浅谈如何搞好加油站的风险评价

阐述了加油站实施HSE管理，进行加油站风险评价的必要性，介绍了评价方法及其应用范围，评价组织的建立和工作流程及注意事项，指出：进行加油站风险评价，在选择评估方法时应从加油站的生产实际出发，针对不同的区域，采用适当的，可操作的方法；找出身边存在的危害因素，采取适当的措施来控制和化解风险，提高加油站安全管理水平，才能适应加入WTO后所面临的挑战。     

秸杆材料用作草皮栽培基质的研究

本文介绍了秸杆毡的成型工艺 ,通过植物所需的水、肥料和空气三种因素对秸杆毡的化学和物理性能进行了研究 ,该材料可被用作草皮栽培基质     

莺-琼盆地生物气及生物—低成熟过渡带气特征与勘探前景

莺 琼盆地天然气资源丰富 ,天然气成因类型多 ,迄今为止 ,除在该区浅层和中深层发现以成熟—高成熟的热成因腐殖型气 (煤型气 )为主的天然气藏外 ,也发现了一些生物气及生物—低成熟过渡带气气藏 ,且均具较高的产量和一定的储量规模 ,其勘探前景广阔。     

新疆伊犁托海水电站拱坝坝体变形监测分析

根据托海拱坝5号坝段、7号坝段例垂线实测资料分析，说明了新疆寒冷地区坝体采取聚胺脂喷涂施工措施后对坝体变形的影响，以及右坝肩渗漏对右坝肩岩体的影响，分析结果为托海水电站通过国家电力公司大坝安全监察中心大坝安全首次定检提供了科学依据。     

引黄工程首次试通水期间泵站安全监测资料的分析

介绍了引黄工程泵站建筑物的结构特性、监测情况以及首次试通水期间 安全监测量的变化特点，指出了监测资料反映出的一些工程实际问题。通过定量分析，揭示 了建筑物承受的主要荷载以及监测量的变化规律，发现了工程问题发生和发展的原因，较为 系统、深入地从安全监测的角度研究了引水工程泵站地下洞室群的工作性态。     

An accurate block-trimming device for ultramicrotomy of selected cells

A small instrument is described which is operated on the stage of a light microscope to trim resin-embedded specimens to precise levels for subsequent ultramicrotomy and to cut thin pilot sections for light microscopy. The operating procedure and examples of results are given.