卡尔·波普尔思想精华的解读--北京卡尔·波普尔百年学术研讨会会议综述

2002年9月24日-25日,由中国自然辩证法研究会、山西大学、中英澳暑期哲学学院和乔治·索罗斯先生联合主办的“北京卡尔·波普尔百年学术研讨会”在北京大观园酒店隆重举行。这是继1980年第一次全国波普尔学术讨论会之后的又一次盛会。来自全国的近90名与会学者提交了38篇论文,分别讨论了波普尔的逻辑和科学方法、认识论和形     

利用基因重组策略改进遗传算法

为了克服标准遗传算法的早熟现象，提高遗传算法的全局收敛性，提出了一种基于基因重组策略的遗传算法。该算法定义了一种新的交叉算子，即移位逻辑交叉算子(包括蝶形移位交叉算子和洗牌移位交叉算子)，用它们对染色体的部分基因实现有规律的交叉重组。实验结果表明，该算法比经典的遗传算法具有更好的收敛性和稳定性。     

有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法，首先给出了一阶逻辑上求所有极小不协调子集的一个过程，证明了该过程的正确性，讨论了由所有极小不协调的子集来实现信念修正的方法，介绍了我们开发的信念修正的原型系统，最后和相关工作进行了比较。     

基于三级模式的信息系统设计的优化

指出了传统的C／S模式的缺陷，说明了基于三级(N级)模式设计的概念及采用该技术开发应用程序的优越性。在这个基础上着重讨论了运用三级(N级)模式开发应用程序时应该注意的问题，提出了一些设计使用中的建议。如任务分割、避免死锁、采用OO技术等，并给出了应用实例．     

基于网络的便携式机器人管理系统

提出一种全新的便携式机器人的概念。研究了便携式机器人设计、便携式机器人管理系统的体系结构、控制管理模型以及任务的分配管理。在JINI基础上扩展了JINI的服务查找、分发机制。通过综合分析服务提供者状态、用户状态、系统性能以及上下文感知信息，经模糊决策确定是否给用户提供服务。本系统将通过“Pull”方式，或者“Push”方式给用户(或第三方用户)提供所需的网络服务。利用一个应用实例说明系统的应用情况。     

析取逻辑及析取逻辑程序的语义研究

在用不完全知识进行常识推理时，常用缺省方式推导结论，然而当缺省否定算子ｎｏｔ被定义成ｎｏｔ ｐｒｏｖｂｌｅ（不可证）时，析取逻辑程序（ａＶｂ，ｎｏｔ ａ，ｎｏｔ ｂ）应该是一致的，因为ａ不可证且ｂ不可证并不意味ａＶｂ不可证，虽然这是一个很重要的事实，但现有主要的析取逻辑程序语义理论却不能支持它。其主要原因是这些理论都基于传统的一阶谓词逻辑，其中否定ａ且否定ｂ将导致否定ａＶｂ，现提出一种支持上述事实     

一种基于时空逻辑表述的虚拟实现技术

介绍了一种虚拟实现技术（ＶｉｒｔｕａｌＲｅａｌｉｔｙ）的实现方法。虚拟实现技术是８０年代后期兴起的计算机图形新技术，它利用计算机生成逼真的虚拟世界，通过对虚拟世界中景象的操作让用户得到身临其境的真实立体感受，并可使用自然技能对虚拟世界进行交互考察，使人完全进入计算机创造的图形世界中。     

逻辑功能与逻辑体制

对同一逻辑门电路，既可采用正逻辑体制，亦可采用负逻辑体制，还可采秀混和逻辑体制，选用何种逻辑体制，应视分析和设计逻辑电路的方便与否而定。     

200MW 核供热站保护系统改进的研究

根据保护系统的技术发展及最新的电子技术，并结合２００ＭＷ核供热站的特点，提出了一种改进的保护系统设计方案。该设计方案在信号转输环节应用电压／频率变换技术，在信号处理环节应用无软件数字化技术，在逻辑符合环节应用通用阵列逻辑（ＧＡＬ）技术和微处理器系统互为冗余的结构，克服了为２００ＭＷ核供热站原来所设计的保护系统在通信、自检及信息显示等方面的不足，同时也从设备多样性角度探索解决数字化保护系统中软件失效引起的共模失效问题的方法。