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

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

直觉模糊逻辑中的归结原理

在模糊逻辑归结原理的基础上，用（０，１）中的两个实数表示一个命题“真的程度”和“假的程度”，从而提出了直觉模糊逻辑，本文提出直觉模糊逻辑的归结原理，并证明其完备性。     

模糊逻辑控制方法在ATM网络拥塞控制中的应用

将普通漏桶技术和移动窗口机制相结合，提出一种基于模糊规则的ＡＴＭ网络拥塞控制方法，并研究了它作为监管机制的一些特性，对它的性能进行了计算机仿真。仿真结果表明，该机制对履行连接接纳控制协议的信元流能提供透明传输，对过份违约的信元能快速阻止其进入网络。与普通漏桶技术相比，本文方法具有同时监管信元流峰值速率和平均速率的优点。     

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

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

逻辑功能与逻辑体制

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

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

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

二值神经网络的推理和矛盾分析

由节点和约束组成的约束满足网络(Constraint satisfaction networks,简称CSNs)能够描述许多问题,在AI中具有十分重要的地位.神经网络(Neural networks,简称NNs)能够被看作CSNs,而且被认为是适合于求解约束满足问题,因此NNs中必然有一个相应的逻辑理论.本文通过对比CSNs提出了弱推理理论和矛盾分析法,以研究二值神经网络的定性逻辑行为.文中用神经元(称为判决元)表示判决,连接表示判决元之间的柔性约束并执行     

现场总线网络通信模型中的逻辑链路层

针对现场总线网络的实时应用特征，构造以ＬＡＮ为基础的ＦＣＳ网络通信模型，目的是研究ＬＬＣ子层中ＦＢＣＯＳ，ＦＢＣＬＳ，优先分配，ＲＴＶＣ和预约等时间约束，解决传统ＬＡＮ所无法解决的实时连接问题，保证其实时应用的可靠完成．结合上述目标构造了实时意义下面向链接、无链接、优先分配、虚电路和预约等老概念新方法，对其时间限定范围从简单最佳效果送取需求到一般限定性需求进行了模拟研究．结果不但实现了时限需求消息集的规划算法，而且保证了该需求被实时应用所满足     

信值修正系统及其实现

在许多基于知识的问题求解系统中，随着知识的不断积累可能会检测到某些新的结论和原有的知识产生矛盾，而维持该类系统中知识库的一致性是衡量该类系统是否有效的十分重要的标志，信值修正系统是解决类问题有效工具。     

类似CMAC的模糊神经网络及其在控制中的应用

提出的一种模糊神经元网络是模糊逻辑的一种网络结构的实现。该网络由特征网络 和功能网络两部分组成。特征网络用来产生模糊规则的前件，相应于每条规则的适用度。功能 网络用来实现模糊规则的后件。最后的输出则为各模糊规则后件的加权和。该网络具有小脑模 型关节控制器（ＣＭＡＣ）的一些性质，具有神经元网络和模糊逻辑两者的优点。它既可以容易地 表示模糊和定性的知识，又具有较好的学习能力。文章同时给出了网络在控制中应用的两种实 现结构以及用作非线性映射的一个算例。