Nonaxiomatisability of equivalences over finite state processes

This paper considers the existence of finite equational axiomatisations of behavioural equivalences over a calculus of finite state processes. To express even simple properties such as μxE = μxE[E/x] some notation for substitutions is required. Accordingly, the calculus is embedded in a simply typed lambda calculus, allowing such schemas to be expressed as equations between terms containing first order variables. A notion of first order trace congruence over such terms is introduced and used to show that no finite set of such equations is sound and complete for any reasonable equivalence finer than trace equivalence. The intermediate results are then applied to give two nonaxiomatisability results over calculi of regular expressions.     

用集成电路制作简谐振动参考圆与振动曲线示教板控制器

用集成电路制成程序控制器，示教板性能稳定，寿命长，效果好，操作方便．其主要部分由电源、时钟、逻辑电路、输出驱动器四部分组成．     

Bistable Optical Devices Using Laser Diodes Coupled to Interference Filters

A bistable optical device was demonstrated by using the longitudinal mode hopping of the laser diode and the narrow transmission spectrum of an interference filter. The device is capable of converting changes in the wavelength of the laser diode into changes in intensity by transmitting it through the filter. Exclusive OR operation was observed with the use of triple signal outputs. In addition, an optical switch-off phenomenon was confirmed by directly injecting a pulse 500 ps wide into an external dye laser.     

电流镜及其在多值I2L电路开关级设计中的应用

运用开关信号理论和有界算术运算理论，对电流镜的多种性质进行了讨论，并系统研究了利用电流镜实现电流信号的各种算术运算，其中倍除运算属于初次提出，最后通过N进制半加电路和N值比较电路等两个设计实例介绍了电流镜技术在I^2L电路开关级设计中的应用。     

CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT

The aim of this paper is to extend the semantic analysis of tense logic in Rescher/Urquhart [3] to propositional dynamic logic without*. For this we develop a nested sequential calculus whose axioms and rules directly reflect the steps in the semantic analysis. It is shown that this calculus, with the cut rule omitted, is complete with respect to the standard semantics. It follows that cut elimination does hold for this nested sequential calculus. MSC: 03B45.     

A fuzzy approach to cooperative n-person games

The object of this paper is to provide a systematic treatment of bargaining procedures as a basis for negotiation. An innovative fuzzy logic approach to analyze n-person cooperative games is developed. A couple of indices, the Good Deal Index and the Counterpart Convenience Index are proposed to characterize the heuristic of bargaining and to provide a solution concept. The indices are examined theoretically and experimentally by analyzing three case studies. The results verify the validity of the approach.     

A Sequent Calculus for Propositional Dynamic Logic for Agents

We consider propositional dynamic logic for agents. For this logic, we present a sequent calculus with a restricted cut rule and prove the soundness and completeness for the calculus.     

Boole代数上的度量结构及其在命题逻辑中的应用

设B是一个Boole代数, Ω是从B到Boole代数{0,1}的全体同态之集,μ是Ω上的概率测度.本文基于μ在B中引入了元素的尺寸概念以及元素对之间的相似度概念,并由此在B上建立了度量结构.作为应用,本文改进了新近提出的命题逻辑中的近似推理理论.     

BILED／BILD组合回路的光学逻辑运算

利用激光二极管或发光二极管混合双稳态回路(BILD/BILED)的组合,得到了光学多稳态,光学异或逻辑门和光学R-S触发器.这种光电子学的逻辑回路与大规模集成技术完全相容,因此有希望应用于光学信息处理,光通信和光计算.