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

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

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

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

"世界爷"的启示

中国古代文人有一个绝活,我称之为提升自然的人文意象.他们发明了像"鲸吞"、"虎视"、"獭祭"、"风声鹤唳"、"狼奔豕突"这样的美妙词语.对于自然那飘忽空灵的认识,在语言这个随身携带的工具箱里收藏起来,就可备随时使用.这一点,在世界民族之林里可能是独步全球的(请参阅作者<美是一个混血女郎>中"獭祭之乐乐无穷"篇).那么,如果中国古人到过美国加州红杉国家公园,可能会想出诸如"杉举"、"杉耸"、"巨杉入云"、"高杉出岫"等这样高迈鹰扬的词汇来吧.     

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

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

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

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

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

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

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

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

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

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

低功耗磁通门磁力仪的研究

采用间歇脉冲电压激励并使传感器在临界饱和状态下工作的磁通门磁力仪具有低功耗的特点，在检波和放大电路上采用同步解调和深度负反馈技术，改善了磁力仪的性能。