Quantum computation with ions in microscopic traps

We discuss a possible experimental realization of fast quantum gates with high fidelity with ions confined in microscopic traps. The original proposal of this physical system for quantum computation comes from Cirac and Zoller (Nature 404, 579 (2000)). In this paper we analyse a sensitivity of the ion-trap quantum gate on various experimental parameters which was omitted in the original proposal. We address imprecision of laser pulses, impact of photon scattering, nonzero temperature effects and influence of laser intensity fluctuations on the total fidelity of the two-qubit phase gate.     

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.     

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.     

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

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

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

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

Running time experiments on some algorithms for solving propositional satisfiability problems

Satisfiability problems are of importance for many practical problems. They are NP-complete problems. However, some instances of the SAT problem can be solved efficiently. This paper reports on a study concerning the behaviour of a variety of algorithmic approaches to this problem tested on a set of problems collected at FAW. The results obtained give a lot of insight into the algorithms and problems, yet also show some general technical and methodological problems associated with such comparisons.