Towards the Exact Minimization of BDDs—An Elitism-Based Distributed Evolutionary Algorithm

Binary Decision Diagrams (BDDs) are the state-of-the-art data structure for representation and manipulation of Boolean functions. In general, exact BDD minimization is NP-complete. For BDD-based technology, a small improvement in the number of nodes often simplifies the follow-up problem tremendously. This paper proposes an elitism-based evolutionary algorithm (EBEA) for BDD minimization. It can efficiently find the optimal orderings of variables for all LGSynth91 benchmark circuits with a known minimum size. Moreover, we develop a distributed model of EBEA, DEBEA, which obtains the best-ever variable orders for almost all benchmarks in the LGSynth91. Experimental results show that DEBEA is able to achieve super-linear performance compared to EBEA for some hard benchmarks.     

Analysis of CCD moiré pattern for micro-range measurements using the wavelet transform

A new approach based on the moiré theory and wavelet transform (WT) is proposed for measuring the micro-range distance between a charge-couple-device (CCD) camera and a two-dimensional reference grating. The micro-range distance is determined by measuring the pitch of the moiré pattern image, which is digitized by a CCD camera. A one-dimensional WT algorithm is applied to estimate the pitch of the moiré pattern. Experimental results prove that this technique is very efficient and highly accurate. The moiré range finder is an economic technique for measuring a micro-range distance.     

局部有限超拓扑的局部紧性

本文讨论了赋予局部有限拓扑的非空闲子集超空间的局部紧性.主要结果是:X正则,则其闭子集超空间局部紧当且仅当X可表示成一个紧空间与一个离散空间的拓扑和.     

用迈克耳逊干涉仪测量气体折射率的误差的研究

研究在用迈克尔逊干涉仪测量气体折射率时存在的系统和方法误差，提出了误差修正方法。     

The Exact Hausdorff Measure Function of the Level Sets of Multi-parameter Symmetric Stable Process

In this paper, we investigate the Hausdorff measure for level sets of N-parameter Rd-valued stable processes, and develop a means of seeking the exact Hausdorff measure function for level sets of N-parameter Rd-valued stable processes. We show that the exact Hausdorff measure function of level sets of N-parameter Rd-valued symmetric stable processes of index α is Ф（r） = r^N-d/α （log log l/r）d/α when Nα 〉 d. In addition, we obtain a sharp lower bound for the Hausdorff measure of level sets of general （N, d, α） strictly stable processes.     

Unique continuation along curves and hypersurfaces for second order anisotropic hyperbolic systems with real analytic coefficients

In this paper we prove the following kind of unique continuation property. That is, the zero on each geodesic of the solution in a real analytic hypersurface for second order anisotropic hyperbolic systems with real analytic coefficients can be continued along this curve.

     

Lifetime analysis of quasibound states in coupled quantum wells

A simple time-dependent model is presented to investigate lifetimes of the quasibound states in coupled quantum wells (CQWs). The transfer matrix approach is employed to discretize the conduction-band profile of the heterostructure and form a dispersion equation whose zeros correspond to the complex eigenenergies. Both the bound and quasibound states are extracted numerically in the complex plane by Newton's method. The lower and higher well subbands are found to have negative and positive energy shift, respectively, as following the no level crossing theorem. Besides, the decay rate of the quasibound state is approximately proportional to the absolute energy shift. The quasibound states, which have larger energy shift, have shorter lifetime and decay more quickly. Furthermore, the differences in lifetime between the quasibound states in CQWs can be easily realized as all the wave functions are specially adjusted to form the relative probability density distributions.     

关于高阶中立型偏微分方程系统解的振动性

近年来,由于偏泛函微分方程(组)理论在人口动力学,生物遗传工程和化学反应过程等领域中有广泛的应用,因而很多学者在偏泛函微分方程(组)解的振动性理论的研究方面做了大量工作,取得了许多成果.本文将研究一类较广泛的高阶中立型偏微分方程组     

直径不超过4的树的割宽

§ 1　IntroductionThe cutwidth problem for graphs,as well as a class of optimal labeling and embed-ding problems,have significant applications in VLSI designs,network communicationsand other areas (see [2 ] ) .We shall follow the graph-theoretic terminology and notation of [1 ] .Let G=(V,E)be a simple graph with vertex set V,| V| =n,and edge set E.A labeling of G is a bijec-tion f:V→ { 1 ,2 ,...,n} ,which can by regarded as an embedding of G into a path Pn.Fora given labeling f of G,th…     

利用拉曼型的Jaynes-Cummings模型传送两比特的未知原子态

实现量子态的隐形传送、尤其是多比特量子态的隐形传送在量子信息领域中有非常重要的作用，提出了一种隐形传送两比特未知原子态的方案，在此方案中，用两个两粒子纠缠态代替一个三粒子纠缠态作为量子信道，而且此方案可推广到隐形传送N比特的未知原子态。