Pre—Separation Axioms in Fuzzifying Topology

1　 IntroductionYing[5,6 ] introduced and elementally developed so called fuzzifying topology with the semanticmethod of continuous valued L ogic.Shen[7] introduced and studied T0 -,T1-,T2 (Hausdorff) -,T3(regularity) -,T4 (normality) -separation axioms in fuzzifying topology.In [3 ]the concepts of thefamily of fuzzifying pre-open sets,fuzzifying pre-neighbourhood structure of a point and fuzzifyingpre-closure are introduced and studied.It is worth to mention that pre-separation axioms are …     

Quantum Logic Network for Probabilistic Teleportation of Two-Particle State in a General Form

A simplification scheme of probabilistic teleportation of two-particle state in a general form is given.By means of the primitive operations consisting of single-qubit gates,two-qubit controlled-not gates,Von Neumann measure-ment and classically controlled operations,we construct and efficient quantum logical network for implementing the new scheme of probabilistic teleportation of a two-particle state in a general form.     

逻辑控制系统中三种控制技术分析

本文分析常用的继电控制、可编程序控制器(PLC)和正在发展、兴起的在线可编程器件CPLD／FPGA的特点及在逻辑控制中特点及应用，为正确选择三种控制方法提供一定的参考。     

MTL代数的特征定理

对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.     

面向对象的模糊知识表达及推理

首先介绍了加权模糊逻辑及其在推理中的应用，讨论了面向对象的程序设计技术及面向对象的知识表达，提出了一种集框架、规则、过程于一体的面向对象的知识表达方法，介绍了呆推理机、方法推理机、规则推理机及元推理机的作用，并着重讨论了规则推理机的工作原理。     

字节全加器及其在无线电测控系统中的应用

对全加器概念进行了推广，并在此基础上给出了使用字节全加器网络的无线电抗干扰算法。通过在实际的无线电测控系统中的应用，结果表明该算法具有良好的无线电抗干扰效果。     

模糊逻辑函数中短语的可消性

设Ｆ＝ａＰ＋ａ＿１Ｐ＿１＋……＋ａ＿ｍＰ＿ｍ是非冗余析取范式，本文获得了当ａ＞０．５时，ａＰ可消当且仅当ａＰ是冗余项，当ａ≤０．５时，给出了ａＰ可消的一个判别准则，然后归纳出短语可消性的判定法则。     

集合与简易逻辑

1）重点：集合及子集、交集、并集、补集、空集、相等集合等概念的理解，元素与集合、集合与集合之间的关系及集合的运算的理解与应用；绝对值不等式、一元二次不等式的解法，二次不等式、二次方程和二次函数之间的联系与应用；逻辑联结词“且、或、非”及简单命题、复合命题等概念的理解，命题真假的判断与应用，四种命题及其关系；充分条件、必要条件、充要条件的概念及两命题间充要关系的判断与证明．     

专用软件的硬件化技术

一个专用数据传输、处理系统的全硬件化实现，目标在于掌握基于可编程逻辑器件的硬件设计关键技术，探索用全硬件替代通用CPU加控制电路、软件的软硬结合系统的方法。研究的重点和难点在于怎样实现专用系统软件的逻辑功能的硬件描述，怎样实现软件算法的硬件演化，在计算机中的模拟和验证以及在FPGA中的实现。该系统主要由UART、RAM、积分算法模块和线性多项式计算模块组成。系统参数经由UART传输到RAM中存储以备后续模块取用。采样数据则直接传输到积分算法模块中关系统参数进行运算。线性多项式计算模块对积分模块的运算结，与从RAM中取得的相果和相关系统参数进行多项式运算，得出最终结果输出。