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.     

地源热泵的运行特性模拟研究

依据圆柱源理论,建立起了耦合地面热泵机组和地下埋管换热器特性的模拟模型,该模型可用于长期运行的地源热泵系统的短时间步长运行特性模拟。探讨了模拟过程中有关参数的确定方法,并运用所建模型对地源热泵的冬季和夏季运行特性进行了模拟。运行特性模拟与实验数据的验证结果表明,所建模型可以对地源热泵的运行特性做出符合实际的预测。     

关于态射的Drazin逆

给出了态射的Drazin逆存在的条件及显式表达式，改进并推广了[1]、[2]与[3]中的一些主要定理。     

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可表示成一个紧空间与一个离散空间的拓扑和.     

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

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

高阶Bernoulli多项式和高阶Euler多项式的关系

利用发生函数的方法，讨论了高阶Bernoulli数和高阶Euler数，高阶Bernoulli多项式和高阶Euler多项式之间的关系，得到了经典Bernoulli数和Euler数，经典Bernoulli多项式和Euler多项式之间的新型关系。     

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.