排序方式: 共有60条查询结果,搜索用时 15 毫秒
1.
本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理.和Girard的原定义相比,使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为O(n*n),并且在证明所定义的证明网是可矢列化时更加自然和简单. 相似文献
2.
3.
详细地阐述了VP的时钟管理方案的原理和具体实现,从算法的时间和空间的开销角度对该时钟管理方案进行了分析,从而表明该方案能够较好地解决VP的时钟管理问题。该时钟管理方案的突出特点是:巧妙地将物理时钟算法和向量逻辑时钟算法融合在一起,相辅相成,而且采用HOT—STANDBY设计思想提高了时钟管理的系统可靠性。 相似文献
4.
文章提出的基于规则的故障诊断专家系统,采用CLIPS语言实现其主体结构,结合面向对象语言和网络编程技术,具备非常友好的用户界面和良好的使用性能,可以作为企业的故障与技术信息中心. 相似文献
5.
OLTP系统是计算机应用的一个重要领域。该文全面分析了基于中间件TUXEDO的OLTP系统解决方案,介绍了这一方案的各个功能 模块以及相互之间的关系,提出了基于中间件TUXEDO的、对OLTP系统业务逻辑层的组成。 相似文献
6.
传统的信息检索技术满足了人们一定的需要,但由于其通用的性质,仍不能满足客户不同背景、不同目的和不同时期的查询要求.该文提出了一种基于概率模型的个性化信息搜索算法以提高搜索的速度和精度,最大限度地满足了客户的需要. 相似文献
7.
在大规模多媒体数据库中进行基于内容的检索,高维数据牵引结构的研究是重要问题,提出了一种有效的高维索引结构-自适应近似树,阐述了它的结构,给出了构建和检索算法,它结合了树结构和顺序检索的共同优点,针对不同的数据分布情况可以自适应地调整结构,维数较低或数据分布偏斜较大时它呈现树的结构,高维或数据分布密集时呈现顺序扫描的结构,以达到更优的检索效率,在结构上,对MBR使用了压缩存储的方法以节省存储空间,在算法中充分利用了空间划分是MBS和MBR共存的特点,减少了大量复杂的计算,从而大大提高检索效率。 相似文献
8.
9.