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

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

内存数据库查询优化

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

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

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

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

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

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

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

一种相序保护及自动转换电路

利用三相负载在墨形接法时,如负载不对称,其相电压也不对称的特点,检测电源相序,从而控制、保护三相负载,并给出电路原理图.     

等温下压强与气体CARS转换效率的关系

理论上对CARS转换效率的公式作了进一步的推导．给出了气体CARS转换效率与压强的关系公式．绘出了转换效率与压强关系的模拟曲线．并与实验结果进行了比较     

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

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

自动化仓库客户服务管理问题的时态逻辑描述

在扩展的时态逻辑框架下对自动化仓库中的客户服务管理问题进行研究，内容包括对此服务管理过程进行描述与分析，并给出了相应的控制策略，以使系统达到期望的动态行为．