基于Java RMI的分布式计算

分布式计算是一个非常有意义和挑战的研究方向.Java的多线程和平台独立的特性为在异构系统中实现分布式计算提供了一个良好的环境.同时Java提供的远程方法调用(RemoteMethodInvocation,RMI)特性使客户机上运行的程序可以引用远程服务器上的远程对象方法,使得分布式计算更容易实现.详细地分析了JavaRMI的工作原理,并结合实例分析表明该环境能在复杂的异构系统中有效地实行分布式计算.

部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定

根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。

关于部分多值逻辑函数集中准完备集的若干性质

Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.文中根据多值逻辑函数理论中"保关系"的系统思想,使用群论和组合数学的工具,研究了部分多值逻辑函数集中准完备类相应关系的若干性质.给出并证明了非空关系Gm是完全关系以及子群H是Gm的对称群的充要条件,定出了部分k值逻辑中完满对称函数类Fs,m中函数集的个数.以上工作为解决部分多值逻辑中Sheffer函数的判定提供了研究基础.