Fuzzy蕴涵代数的素MP滤子

对Fuzzy蕴涵代数(简称FI代数)的滤子理论作深入研究.首先对由非空集合生成的MP滤子的性质作进一步探讨;然后引入素MP滤子的概念并讨论其基本性质,给出了素MP滤子的若干等价刻画,证明了并半格FI代数的素MP滤子定理;最后利用素MP滤子概念时满足条件(S)的并半格FI代数的MP滤子格((L)MP(X),(∩))中的素元进行刻画.     

三级倒立摆的T-S型前馈补偿模糊神经网络控制

为解决T akag i-Sugeno型模糊神经网络在控制多变量系统时的规则组合爆炸问题,提出一种误差前馈补偿的模糊神经网络控制方案,有效实现了三级倒立摆的稳定控制。该控制方案适用对状态变量可按性质和重要程度划分的多变量系统的控制,大大减少了模糊神经网络控制器的规则数,有利于利用专家的控制经验,具有良好的鲁棒性和非线性适应能力。     

基于语言真值格值一阶逻辑的不确定性推理的语法

讨论基于语言真值格值一阶逻辑的不确定性推理的语法内容,并研究了推理规则的用性和可靠性,证明了推理规则在a≤∧θ∈Lx×L2(θ→θ')(θ≠(ax,b2))水平下的闭性,得到了推理规则在此水平下可靠性的充分必要务件.     

A method of implementation of frequency encoded all optical logic gates based on non-linear total reflectional switch at the interface

A novel method of implementation of frequency encoded logic gates NOT, OR, AND, NOR, NAND, X-OR, X-NOR is discussed. The frequency sources and physical requirements for the implementation are also discussed. The non-linear material (liquid) suitable for these operations to be performed should be of large non-linear coefficient, high reverse saturation absorption, large thermo-optic coefficient and low viscosity. The input controlling beams used to induce non-linearity in the switch are either of frequency υ₁ or υ₂ and the probe beam is a mixed signal of frequencies υ₁ and υ₂. Depending on the nature of the controlling inputs the output conditions of the probe can be adjusted to get different logic gates.     

Implentation of optical encoder and multiplexer using Mach-Zehnder inferometer

In this paper a simple all-optical logic device, called Mach-Zhender Interferometer is composed by using a semiconductor optical amplifier (SOA) and an optical coupler. This device is used for generating the logical functions (AND, XOR) and a multiplexer and an Encoder are obtained using this device in Optical Tree Architecture. The simulation of Encoder and Multiplexer is done at a rate of 10 Gb/s and both are simulated for different input logical combinations. Simulations indicate that the device is suitable to operate at much higher bit rate and also for different logical entities.     

格值命题逻辑LP(X)中不可分极简式的性质

基于格值命题逻辑LP(X)的α-归结原理及α-归结自动推理方法，能够较好地刻画具有可比较性和不可比较性的不确定性信息。LP(X)中的不可分极简式是一个非常重要的概念，本文对蕴涵运算个数小于3的不可分极简式的性质和判定方法进行了讨论，得到了一些重要结论。     

基于三角范数的模糊逻辑中的三Ⅰ方法

三I推理方法是一种新的模糊推理方法,通过已有的研究成果表明,在许多方面它优于传统的CRI推理方法,它将成为模糊系统和人工智能的理论和应用研究中一个比较理想的推理机制。最近,国外学者提出了一个新的模糊逻辑形式系统,叫做Monoidal t-norm based logics(简记为MTL),已经证明这个形式系统是所有基于左连续三角范数的模糊逻辑的共同形式化。本文基于这类逻辑将三I推理方法形式化,从而在这些逻辑系统中为三推理方法找到了可靠的逻辑依据。     

模糊逻辑中的一些问题研究

本文讨论了模糊逻辑中存在的一些问题。特别地，对与、或、非和蕴含作了更深入的讨论。     

Ultrafast vibrational spectroscopy and relaxation in polyatomic molecules: Potential for molecular parallel computing

The feasibility of controlled ultrafast pumping in the mid IR and the probe of the subsequent intramolecular dynamics is illustrated for vibrational excitation of the two metal carbonyls W(CO)₆ and Mn(CO)₅Br in solution. Pumping and probing is performed by short, 130 fs, pulses centered at about 2000 cm⁻¹. Frequency resolved measurements of the time delayed probe pulse are performed. Measured two dimensional spectra are fitted by a kinetic scheme that models the vibrational dynamics. Fast relaxation is solvent induced with the solvent acting also as a heat bath. The (several) probe signals in the experiment can be thought of as the response of a finite state logic machine. This suggests that the molecular machine can act as an ultrafast (petaHertz) processor. The number of internal (memory) states of the machine is determined by the number of vibrational states in the kinetic scheme that can fit the observed relaxation. The number of outputs of the machine is the number of the several different available probe signals. It is shown that the machine is massively parallel because in each (sub ps) time step it produces an entire vector as an output and that each component of the output vector is, by itself, a transform over the input. Beyond that, the machine can produce a (finite number of) different output vectors in sequential time steps.     

加权抽取模糊算法及其应用

本文提出了一种新型的加权抽取模糊逻辑推理模型;旨在既克服运用“ｍａｘ－ｍｉｎ”算子带来的信息丢失、封闭性、二义失效和全同失效而难于获得合理的结果的缺陷,又克服了传统加权模糊逻辑扬弃子结论之间逻辑关系的缺陷;达到了既考虑子结论的逻辑关系,又考虑了结论的相对重要程度且不丢失过多信息的目的。文中还给出了较详细的实验结果。