Optical stack filters using parallel fuzzy logic

Stack filters are more general and robust nonlinear filters than median filter, which possess threshold decomposition and stacking properties. Stack filters can be carried out one step using optical parallel fuzzy logic technique instead of three steps in threshold decomposition. All window, width 3 stack filters but two trivial stack filters are expressed in unified expression with coefficiencies to choose desired stack filter, so they are realized by an optical approach, window 3×3 separable stack filters can be realized by cascading the window width 3 stack filters. Window width 5 stack filters can be realized using the same method.     

基于开关信号理论的三值IZL单变贵电路设计

本文应用开关信号理论的基本思想，分别用开关变量及三值信号变量来描写IZL电路!}?地开关晶体管的开关状态与三值电流信号·联结这两类变量的!}J比较运算和接地运算则用于描写电路内部开关元件与信号的相互作用过程，从而引入了适用于IzL电路的接地电流开关理论.基于该理论，本文对几类重要的三值IzL单变量电路进行了设计，结果表明，借助该理论能获得较简单的电路设计.     

Optical Image Combination and Logic AND Operation Using Beam Fanning Effect

Using the beam fanning effect in a BaTiO₃ crystal, we propose two simple set-ups to perform the function of an optical image combiner and an optical AND gate respectively. The optical image combiner combines two mutually coherent as well as mutually incoherent patterns transmitted to it separately into a single coherent pattern. This set-up can also be used as an optical OR gate. For the AND gate, the two input signals may also be mutually coherent or incoherent. Experimental results showed the response time of these two devices to range from 0.01 second to 2.5 seconds.     

基于中介逻辑的时序逻辑系统

本文基于中介逻辑建立了一种中介时序逻辑系统ＭＴＬ（Ｍｅｄｉｕｍ Ｔｅｍｐｏｒａｌ Ｌｏｇｉｃ），文中着重讨论了ＭＴＬ的形式系统并给出了它的语义解释，证明了ＭＴＬ系统的可靠性．最后对ＭＴＬ系统和经典时序命题逻辑系统进行对比，指出经典时序命题逻辑系统是ＭＴＬ的子系统     

PMD compensation using a fuzzy automatic polarization controller

A new first-order polarization mode dispersion (PMD) compensation technique is experimentally demonstrated in a 2.5 Gbit/s optical transmission system. It achieves adaptive compensation over a wide range of differential group delay (DGD) values, since it does not try to compensate it, but to eliminate one of the principal states of polarization by means of a liquid crystal polarization controller and a polarizer. The PMD parameters of the received signal are measured in real time through its spectrum analysis, and used as the feedback signal in a fuzzy logic algorithm controlling the liquid crystal device. The algorithm achieves a response time faster than the PMD variations in real links, also featuring endless operation. Moreover, a deterministic compact PMD emulator has been implemented in order to test the PMD compensator system.     

面向对象多层分布并行逻辑语言MDP－PROLOG~（＋＋）的设计

本文探讨了逻辑、面向对象、多层并发等方法的融合，介绍了一个较规范、较通用的面向对象多层分布并行逻辑语言ＭＤＰ－ＰＲＯＬＯＧ＋＋，论述了该语言面向对象设施和并发执行设施的设计．该语言不仅可在多层分布并行系统上实现，也可在小规模粗粒度的并行系统上实现．     

Categorical abstract algebraic logic: The criterion for deductive equivalence

Equivalent deductive systems were introduced in [4] with the goal of treating 1‐deductive systems and algebraic 2‐deductive systems in a uniform way. Results of [3], appropriately translated and strengthened, show that two deductive systems over the same language type are equivalent if and only if their lattices of theories are isomorphic via an isomorphism that commutes with substitutions. Deductive equivalence of π‐institutions [14, 15] generalizes the notion of equivalence of deductive systems. In [15, Theorem 10.26] this criterion for the equivalence of deductive systems was generalized to a criterion for the deductive equivalence of term π‐institutions, forming a subclass of all π‐institutions that contains those π‐institutions directly corresponding to deductive systems. This criterion is generalized here to cover the case of arbitrary π‐institutions.     

An Extension Principle for Fuzzy Logics

Let S be a set, P(S) the class of all subsets of S and F(S) the class of all fuzzy subsets of S. In this paper an “extension principle” for closure operators and, in particular, for deduction systems is proposed and examined. Namely we propose a way to extend any closure operator J defined in P(S) into a fuzzy closure operator J* defined in F(S). This enables us to give the notion of canonical extension of a deduction system and to give interesting examples of fuzzy logics. In particular, the canonical extension of the classical propositional calculus is defined and it is showed its connection with possibility and necessity measures. Also, the canonical extension of first order logic enables us to extend some basic notions of programming logic, namely to define the fuzzy Herbrand models of a fuzzy program. Finally, we show that the extension principle enables us to obtain fuzzy logics related to fuzzy subalgebra theory and graded consequence relation theory. Mathematics Subject Classification : 03B52.     

100kV/2A三相恒流重复频率充电装置

 介绍了自行研制的一台100kV/2A三相恒流重复频率充电装置,其恒流电源采用三相L C变换器，6只绝缘栅双极性晶体管并联作为短路器件控制充电停止，可编程序控制器是控制单元的核心。该装置用于重复频率开关实验，充电电流2A，最高充电电压100kV，重复频率10Hz，充电电容1μF，以脉冲串的方式连续运行，工作稳定。     

Temporal Algebras,Pretemporal Algebras,and Modal Algebras: A Relation between Time and Necessity

In this paper the structure of pretemporal algebra is used to study some aspects of temporal algebras and modal algebras. The paper contains a computational approach to finite temporal algebras and a general splitting theorem for finite temporal algebras.