模糊概念格与模糊推理

基于伽罗瓦连接,分别在交换伴随对与对合剩余格条件下,讨论了模糊概念格的四种定义形式。并证明了在对合剩余格上,对偶性成立,四种模糊算子将具有与经典意义下一致的相互关系。最后我们提出了一种基于模糊概念格的模糊推理规则,并证明了其还原性。     

扰动模糊命题逻辑系统中的广义重言式

通过定义二维R0-蕴涵算子，将王国俊教授在逻辑系统形中的广义重言式理论推广并应用到二维赋值的扰动模糊命题逻辑系统西中，证明了这一系统中（μ，δ）-重言式就是某个（λ，1-λ）-重言式，最终获得与一维线性赋值格上完全相应的广义重言式分类。     

可编程序控制器梯形图编程的一种通用方法

本文针对可编程序控制器用户程序的编制问题,给出了一种用阶段过渡控制图作为桥梁来编制梯形图的通用方法,并对若干实例在PLC-2/30可编程控制器上全部验证通过,说明这种方法正确无误。该方法严密清晰,简单实用,有规可循,因此是解决PC用户编程很有实用价值的一种通用方法。     

Dynamical linked cluster expansions with applications to disordered systems

Dynamical linked cluster expansions are linked cluster expansions with hopping parameter terms endowed with their own dynamics. We discuss physical applications to systems with annealed and quenched disorder. Examples are the bond-diluted Ising model and the Sherrington-Kirkpatrick spin glass. We derive the rules and identify the full set of graphs that contribute to the series in the quenched case. This way it becomes possible to avoid the vague extrapolation from positive integer n to n = 0, that usually goes along with an application of the replica trick. Received 13 December 2001 Published online 25 June 2002     

从事实逻辑到任务逻辑

在经典命题逻辑语言中引入附加算子几，较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为“任务”，介绍了“任务逻辑”的语义理论，并从语构上定义形式系统L与之对应，证明该系统的可靠性、完备性及可判定性定理．最后建立系统L中的一系列基本定理。     

区间值模糊命题逻辑的最大子代数及其广义重言式

将S-型蕴涵算子改为R0-蕴涵算子，从而找到区间值模糊逻辑I[0，1]的一个最大子代数IQ，进而将王国俊教授在逻辑系统W中的广义重言式理论推广应用到IQ中。     

非0非1型逻辑方程构成的逻辑方程组的解法

给出了逻辑方程组成立的充要条件和化逻辑方程组为0型或1型逻辑方程的方法 ,证明了若两个0型逻辑方程的解集分别为S1,S2,则对应的逻辑方程组的解集为S1 S2;若两个1型逻辑方程的解集分别为S3,S4,则对应的逻辑方程组的解集为S3 S4,从而可应用此结论 解非0非1型逻辑方程构成的逻辑方程组.     

积逻辑系统中的广义重言式

讨论积逻辑系统中的广义重言式理论 ,给出积逻辑系统中子代数和广义重言式的一系列性质。本文的主要结果表明 ,在几个重要的逻辑系统中 ,标准积逻辑系统具有最简单的广义重言式结构 ,而在推理过程中 ,它具有较差的真值传递性。     

并行多处理机系统中的光纤互连网络的设计与实现

在并行多处理机系统中应用光纤互连网络完成处理单元之间的数据交换,可以极大地提高系统中数据通信的速率、带宽、抗干扰性和准确可靠性.本文详细阐述了并行多处理机系统的体系结构、实现方法、性能分析和实验结果.     

PLC在热轧带肋钢筋矫直定尺剪切生产线的应用

热轧带肋钢筋矫直、定尺剪切生产线是钢铁公司的重要设备，采用可编程控制器作为其控制系统，提高了生产线的自动化程度，保证了生产线有连续工作的高可靠性，使生产线的生产效率和定尺剪切精度都碹以了要求。本文从可编程控制器的选择和配置、功能和特点，硬件设置和程序编制以及应注意的问题等方面都作了介绍。