论文部分内容阅读
介绍利用视图技术实现非递归规则的表示和推理,并将该思想应用到开发的一个演绎数据库中去.
利用视图技术实现非递归规则的表示与推理
【摘 要】
：
介绍利用视图技术实现非递归规则的表示和推理,并将该思想应用到开发的一个演绎数据库中去.
【机 构】
：
山西大学计算机科学系
【出 处】
：
计算机工程
【发表日期】
：
2002年3期
【基金项目】
：
山西省自然科学基金
其他文献
介绍了以DSP为温度监控系统,用GSM模块实现数据远程报警的设计方法。并在该系统中实现了对监测点的温度采集、与设定的警戒温度值进行比对、存储、绘制历史温度曲线图及远程
提出了一种安全的通信协议模型EABRA,通过该模型可以简单有效地实现网络安全通信.首先对EABRA协议系统、体系结构以及状态转换进行了细致的阐述,然后用ESTELLE语言对协议模型
文章旨在顺应人们对智能化通讯越来越高的要求，将计算机网络应用的效能提高，设计合理的计算机网络应用本系统.通过提出一种可扩展的计算机网络设计软件系统，对计算机网络设计软
首先对各种现有的中文自动分词算法进行简要比较,并指出其存在的问胚,然后针对这些问题,设计了一个基于演化的中文自动分词算法.最后通过对实验结果的分析,比较了本算法与已