排序方式: 共有58条查询结果,搜索用时 187 毫秒
1.
3.
4.
所谓的逻辑式程序设计它涉及两个逻辑层次:外部逻辑和内部逻辑,前者描述对象之间的逻辑关系,而后者涉及目标求解遵循的逻辑法则。如PROLOG,它的外部逻辑是古典逻辑,而其计算遵循的,我们将证明可以使用线性逻辑中的记法加以刻画。本文从从证明论角度出发,研究PROLOG目标求解成功或失败的公理性,并说明对任一给定的程序P,可定义一个线性理论LT(P),关于该理论,PROLOG目标求解是正确且完备的。 相似文献
5.
文章提出的基于规则的故障诊断专家系统,采用CLIPS语言实现其主体结构,结合面向对象语言和网络编程技术,具备非常友好的用户界面和良好的使用性能,可以作为企业的故障与技术信息中心. 相似文献
6.
详细地阐述了VP的时钟管理方案的原理和具体实现,从算法的时间和空间的开销角度对该时钟管理方案进行了分析,从而表明该方案能够较好地解决VP的时钟管理问题。该时钟管理方案的突出特点是:巧妙地将物理时钟算法和向量逻辑时钟算法融合在一起,相辅相成,而且采用HOT—STANDBY设计思想提高了时钟管理的系统可靠性。 相似文献
7.
OLTP系统是计算机应用的一个重要领域。该文全面分析了基于中间件TUXEDO的OLTP系统解决方案,介绍了这一方案的各个功能 模块以及相互之间的关系,提出了基于中间件TUXEDO的、对OLTP系统业务逻辑层的组成。 相似文献
8.
传统的信息检索技术满足了人们一定的需要,但由于其通用的性质,仍不能满足客户不同背景、不同目的和不同时期的查询要求.该文提出了一种基于概率模型的个性化信息搜索算法以提高搜索的速度和精度,最大限度地满足了客户的需要. 相似文献
9.
10.