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.     

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

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