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.     

微球板电子倍增器基体制备技术研究

新型微球板电子倍增器和微通道板相比具有高增益、无离子反馈、制备简单、造价低廉等优点。介绍了微球板电子倍增器的工作原理、特点和广阔的应用前景。由于微球板基体的形成技术是微球板制备的关键技术，论文从理论上研究了微球板基体烧结过程中的烧结速率。并采用自行设计组分的高铅玻璃，用立式炉成珠设备进行了玻璃微珠的制备。探索了微球板制备过程中玻璃微珠的分级技术、微球板电子倍增器基体成型工艺和技术。制备出基本满足要求的微球板电子倍增器基体。给出了制造的样品和文献上样品结构的SEM对比照片，最后对实验过程中的一些现象进行了分析，并给出了实验的结论。     

Lame Function and Its Application to Some Nonlinear Evolution Equations

In this paper, based on the Lame function and Jacobi elliptic function, the perturbation method is appliedto some nonlinear evolution equations to derive their multi-order solutions.     

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

本文讨论了赋予局部有限拓扑的非空闲子集超空间的局部紧性.主要结果是: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.     

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

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