On semilattice relevant logics

The semilattice relevant logics ^∪ R , ^∪ T , ^∪ RW , and ^∪ TW (slightly different from the orthodox relevant logics R , T , RW , and TW ) are defined by semilattice models in which conjunction and disjunction are interpreted in a natural way. For each of them, there is a cut‐free labelled sequent calculus with plural succedents (like LK ). We prove that these systems are equivalent, with respect to provable formulas, to the restricted systems with single succedents (like LJ ). Moreover, using this equivalence, we give a new Hilbert‐style axiomatizations for ^∪ R and ^∪ T and prove equivalence between two semantics (commutative monoid and distributive semilattice) for the contractionless logics ^∪ RW and ^∪ TW .     

用单块电子俘获器件实现可编程二值光学逻辑处理

用单块电子俘获器件,以一种新方法一时域编码方法,实现了所有16种布尔逻辑运算.根据电子俘获材料的存贮和可擦除特性,按特定顺序进行一系列单元操作,可测到每种布尔逻辑函数,同一般光学逻辑处理器相比,这种处理器具有新的自由度一时域自由度,文末给出了实验结果.     

All-optical integrated logic gates based on intensity-dependent transverse modal coupling

We present a study of the spatial propagation of light in a third order planar step-index waveguide with a transverse parabolic width film. By using the Lagrangian formalism, the width and phase evolution of a Gaussian beam has been completely described showing both the refractive contributions of the lens-like waveguiding geometry and self-focusing nonlinearity. As a result of this study, we have proposed the design of a new kind of integrated all-optical devices which, by means of the spatial beam power modulation and its influence on the transverse modal coupling can operate as phase-insensitive AND, OR and XOR logic gates.     

染色方法在空洞探测中的应用

用染色方法 ,借助于 Turbo C程序 ,较为方便地测得平板上空洞的分布及形状     

Modified realizability and predicate logic

Semantics of predicate formulas based on the notion of modified realizability for arithmetic formulas and interpretations of the language of arithmetic in all finite types are considered. For a number of natural constructive interpretations, the corresponding predicate logic of modified realizability is proved to be nonarithmetical. Translated fromMatematicheskie Zametki, Vol. 61, No. 2, pp. 259–269, February, 1997. This research was supported by the Russian Foundation for Basic Research under grant No. 95-01-00416 and by the International Science Foundation under grant No. NFQ000. Translated by V. N. Dubrovsky     

光学并行阵列逻辑门系统整体结构以及液晶编码脉动进位加法器的优化设计及其实现

本文报道了利用布尔偏振编码逻辑代数(BPLA)理论来设计光学并行阵列逻辑门及液晶编码脉动进位加法器的详细过程,最后给出了加法器的实验结果。     

GF（4）上Reed—Muller系数转换公式的证明

对ＧＦ（４）上Ｒｅｅｄ—Ｍｕｌｌｅｒ展式中系数向量和真值向量之间的转换公式进行了严格证明，弥补了以往文献中的缺陷．     

适用于DYL电路的高速闭值门

本 文在多 夕晶体管容易实现多值与、或运算的事 实的基础 上,进一 步 分析了 多值闭值门中的开关 要 求,并具体设 计了 基于 多 夕晶体管 的高速三值阂值 门.应用 P SPI CE ( v 4.02 ) 程 序的计算机模拟 表 明所设计的 电路具 有正 确 的逻 辑功 能与理想的瞬态特性,它 们能与线性与或门一起组成高速的多值逻 辑 电路.     

Self-programming Optical Logic Processor by using the PROM Device

Ｓｅｌｆ－ｐｒｏｇｒａｍｍｉｎｇＯｐｔｉｃａｌＬｏｇｉｃＰｒｏｃｅｓｓｏｒｂｙｕｓｉｎｇｔｈｅＰＲＯＭＤｅｖｉｃｅ￥ＷＡＮＧＢｉｎｑｕａｎ；ＬＩＵＬｉｒｅｎ；ＰＥＮＧＨａｉｆｅｎｇ；ＬＩＡＮＧＦｅｎｇ（ＩｎｆｏｒｍａｔｉｏｎＯｐｔｉｃｓＬａｂｏｒａｔ...