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

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

利用卡诺图快速化简逻辑函数的方法

该文分析了利用卡诺图法化简逻辑函数的基本原理，并根据自己的教学实践，提出了快速画出逻辑函数的卡诺图及由卡诺图快速化简逻辑函数的方法。     

基于增量调制的CMX639及其应用

CMX639是一种单片全双工增量调制解调器(CVSD)芯片，它将输入，输出滤波器，编、解码器，时钟发生器和逻辑控制电路集成在一起。该芯片用线性双极性与集成注入逻辑兼容的集成电路制造工艺制成，采用双积分增量调制技术，具有四种可编程工作模式，两种可选择压扩算法，从而使电路设计大为简化，电路的工作可靠性，稳定性显著提高，成本大为降低。可在用户线电路,手机，多路传输系统及保密电路中应用。     

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

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

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

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

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

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

动态模糊逻辑及其应用研究

对动态模糊逻辑及应用进行了研究 ,以实例说明了自然界中的动态模糊性问题找到了解决途径 ,同时为人们用计算机模拟人的思维提供了理论依据     

内存数据库查询优化

基于一种广泛接受的内存数据库系统基本概念及内存数据库中的SB-树索引结构，提出了更方便关系代数操作的SB^*-树．在此基础上，提出了优化的关系代数操作的实现算法．根据这些算法和关系代数等价定理，给出了对关系代数查询树进行逻辑优化的规则，并证明了逻辑优化的正确性．最后给出了代价评估模型，实验表明提出的内存数据库查询优化算法相对于传统的优化算法具有更好的时间及空间性能．     

自旋1/2态下的量子逻辑变换

作者利用对自旋算符的量子线性变换理论，提供了一种考察自旋1/2态下的量子逻辑门变换的一种有效方法，并给出了几个基本量子逻辑操作的变换表达式。     

基于TCP/IP网络中多PLC通信的设计和实现

随着工业自动化的发展,在控制领域中PLC应用范围日益广泛,因此与上位机间的通信也越来越频繁。通常PLC同上位机间的通信方式是单线对等连接或通过PLC网络实现。文章提出了一种将上位机和多个PLC通过通信服务器组成通用TCP/IP局域网的方法,上位机以定期主动查询方式和PLC实行通信,介绍了上位机通信程序的设计和实现。