基于广义归纳逻辑因果模型的知识发现与算法实现

以语言场、广义细胞自动机和广义归纳逻辑因果模型为理论依据，分析了广义因果联系类知识的发现机理，给出了因果联系类知识发现的实现算法。该算法为解决具有随机不确定和模糊不确定性特征的因果联系类知识的发现提供了行之有效的方法。通过算法的运行实例，验证和说明了算法的正确性和有效性。     

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

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

基于角色控制的分布式PDM系统

提出了一种适合于工程设计中基于协同工作的多用户的分布式PDM系统的软件结构。介绍了一个相关的软件模型，这个软件模型说明了如何通过添加CSCW和RBAC机制来扩展现存的PDM系统，在讨论了PDM、CSCW和RBAC的基础上，给出了相应软件的框架结构模型的思想。     

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

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

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

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

基于狭缝图像的三维虚拟漫游

基于狭缝图像的四维光场模型,设计并实现了一个完整的三维虚拟场景漫游平台系统。使用四叉树结构对场景进行组织,实现了对三维场景的自适应非均匀采样,提高了采样的效率;采用临近点插补方法,解决了重采样中出现的图像空洞;通过对漫游时的内存管理、路径预测和碰撞检测处理,提高了漫游的稳定性与连贯性;对漫游速度做了测量,对绘制图像的质量做了比较。     

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

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

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

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

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

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

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

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