论文部分内容阅读
介绍利用视图技术实现非递归规则的表示和推理,并将该思想应用到开发的一个演绎数据库中去.
利用视图技术实现非递归规则的表示与推理
【摘 要】
：
介绍利用视图技术实现非递归规则的表示和推理,并将该思想应用到开发的一个演绎数据库中去.
【机 构】
：
山西大学计算机科学系
【出 处】
：
计算机工程
【发表日期】
：
2002年3期
【基金项目】
：
山西省自然科学基金
其他文献
共产主义是人类历史上最理想、最进步、最美好的社会制度。无产阶级解放斗争的最终目的,就是在全世界实现共产主义。根据马克思的科学预见,共产主义要经历低级和高级两个发展
Whether可以用作代词、名词和连词。尤其是当Whether作连词时,连接多种从句,分析和翻译时应当特别注意。一、Whether作代词Whether作代词,这是古语,用法很少。词义为"两者中
介绍了以DSP为温度监控系统,用GSM模块实现数据远程报警的设计方法。并在该系统中实现了对监测点的温度采集、与设定的警戒温度值进行比对、存储、绘制历史温度曲线图及远程
辽宁省写作学会第三届会员代表会及学术年会,于84年11月20日——23日在朝阳举行。会议回顾了学会80年12月成立以来的工作,交流了学术研究成果,经过协商选举了本届理事会。钟
提出了一种安全的通信协议模型EABRA,通过该模型可以简单有效地实现网络安全通信.首先对EABRA协议系统、体系结构以及状态转换进行了细致的阐述,然后用ESTELLE语言对协议模型
文章旨在顺应人们对智能化通讯越来越高的要求，将计算机网络应用的效能提高，设计合理的计算机网络应用本系统.通过提出一种可扩展的计算机网络设计软件系统，对计算机网络设计软
目前各大专院校文理科都开设公共英语这门课程。如何教好公共英语这还是广大教师正在探讨的课题。通过几年的教学,我的体会是:一、明确学习目的,为“一专多能”思想学英语师
<正> 我们以益气化痰通滞法为原则,遣方组药制成口服液,治疗高脂血症取得了较为满意的疗效,现报道如下。 资料和方法 1.观察对象 全部病例为1998年5月至10月我院门诊和病房收
首先对各种现有的中文自动分词算法进行简要比较,并指出其存在的问胚,然后针对这些问题,设计了一个基于演化的中文自动分词算法.最后通过对实验结果的分析,比较了本算法与已