不确定性在推理过程中传播的行为特征

在布尔算子模糊逻辑中，证明了前提的不确定性在推理过程向结论传播时，恒真水平呈递增趋势，而恒假水平保持不变的特性，从而在定性的意义上说明了随着推理过程的深入，结论的不确定性将会越来越分明，但其可靠性不可能有根本性的提高。     

基于逻辑上的等价关系

该文定义了基于完全剩余格值逻辑上的二元关系，并且在此逻辑框架下，讨论了二元关系的合成，Ｌ－映射，Ｌ－等价关系以及Ｌ－映射与Ｌ－等价关系，Ｌ－划分与Ｌ－等价关系之间的联系。     

用PLC改造粉末冶金自动液压机

从控制功能，系统构成及软件设计三个方面介绍用可编程控制器进行粉末冶金行业普遍运用的自动液压机的技术改造项目，并归纳出此系统的三项技术特性。     

基于神经网络和模糊逻辑的智能火灾探测

探讨了一种基于模糊逻辑和前馈神经网络的火灾探测和自动报警的方法．该方法以半导体感温，离子感烟和湿度模拟传感量为基本特征，并附加其相应的趋势特征对神经网络进行训练．神经网络所对应的明火概率和阴燃火概率输出，经过模糊判决器后检测火灾现象是否发生．实验表明利用传感量的趋势特征和模糊逻辑判决的自动探测系统，能够及时准确地检测出火灾，为火灾报警提供了一种新的有效的方法     

智能交通灯控制系统

建立了智能交通灯控制系统；给出了此系统的时序流程图．用ＡＢＥＬ语言写出交通灯控制系统的ＡＢＥＬ源文件，并输入计算机，由ＡＢＥＬ３．０软件对ＡＢＥＬ源文件进行编译，产生．ＪＥＤ文件，在编程器的支持下对ＧＡＬ器件进行编程，实现智能交通灯控制     

一种 Hoare 逻辑软件复用部件的匹配描述

提出了一种基于Ｈｏａｒｅ逻辑的软件复用部件的匹配描述，它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述．     

关于有限Chevalley群子群的若干研究

本文利用 Weyl 证明了有限 Chevalley 群有且仅有一个包含单项子群的极大子群,推广了[1]中关于有限典型群的相应结果;进一步用李代数的根系理论及 Seitz 定理确定了有限典型群 SL_2(q)及 SL_3(q)的包含对角子群的所有子群。     

论古典文献学的结构模式及其意义

如果以后现代主义的视角，审视、嫁接、改造中国的传统文献学理论，就应当把古典文献学定义为：运用传统的与现代化的各种方法和技术手段，研究古典文献的特点与类型以及搜集、整理、保存古典文献的规律的一门学科。以此为逻辑主线，构成古典文献学体系的四部分主体内容，即古典文献的特征与类型、古典文献的搜集与利用、古典文献的整理与编纂、古典文献的保存与保护。这一结构模式至少具有四方面的意义。     

移动机器人自主越障反应控制行为组合方法

介绍了关节式移动机器人运动系统的元(基本)行为,提出了用模糊逻辑组合方法将原子行为(动作)组合生成高层复杂行为的行为模糊逻辑组合方法;描述了模糊逻辑组合方法组合生成的移动机器人自主越障行为.通过凸台、凹坑和楼梯等典型障碍的越障实验证明,该方法所生成的行为控制自主越障动作协调性好,具有较高的实时性、快速性和可靠性.解决了关节式移动机器人在城区和建筑内运动的越障稳定性和移动性问题.     

面向高速对等网应用的拥塞控制机制

为改善现有拥塞控制机制在高速网络中带宽利用率偏低、稳定性不高和更好地应对急剧增长的对等网(P2P)应用流量,提出了一种以FAST为基础,应用大规模网络测量和模糊控制技术的拥塞控制机制.该机制利用分布在网络中的测量设施周期性获取网络状态信息,指导端系统选择适当的控制参数.单个和多个链路瓶颈条件下的仿真实验均表明,本文拥塞控制机制能够在高带宽时延积网络中获得更高的带宽利用率和稳定的排队时延,很适合于P2P等数据传输量大、连接持续时间长的流量的拥塞控制.