计算网格的资源聚集算法研究

使用备份资源是提高计算网格可用性的重要方法,而资源聚集是选择备份资源的前提。本文对文献[1]中提出的资源聚集算法进行了改进,降低了算法的复杂性,并使得资源聚集更易于实现。     

基于移动Agent分布式事务的网络故障处理研究

采用移动Agent的分布式计算,正在被广泛应用。对于在分布式计算中出现网络故障的事务,提出一个事务的网络故障处理协议,该协议讨论了单个事务网络故障和同时出现多个事务网络故障的情况。     

利用谓词/变迁网证明的一阶谓词逻辑命题

研究了证明一般的一阶谓词逻辑命题的方法,根据网逻辑的思想,利用谓词/变迁网对一般形式的一阶谓词逻辑命题进行了图形表示,提出了2种一阶谓词逻辑命题的证明方法：图形证明法和矩阵证明法。举出一个实际的例子来说明证明思路。