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.     

p型导电掺In的SnO_2薄膜的制备及表征

采用溶胶 凝胶提拉法成功地制备了p型导电掺In的SnO2 薄膜 .x射线衍射测试结果表明 ,掺In的SnO2 薄膜保持SnO2 的金红石结构 .吸收谱测试结果表明 ,掺In的SnO2 禁带宽度为 3 8eV .霍尔测量结果表明 ,空穴浓度与热处理温度有很大的关系 ,5 2 5℃为最佳热处理的温度 .铟锡原子比在 0 0 5— 0 2 0范围内 ,空穴的浓度与In的含量有直接的关系 ,并随In含量的增加而增加     

Rugged distal tips for CO2 laser medicine

Low-loss and rugged distal tips for CO₂ laser have been proposed and fabricated based on a commercially available stainless steel (St) pipe. A method of smoothening the inner surface of the St pipe with a rough inner surface is put forward. Fabrication parameters, transmission properties, and mechanical strength of the cyclic olefin polymer-coated silver hollow St distal tip are experimentally discussed.     

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.     

利用模式的对称性研究光子晶体光纤的色散

由光子晶体光纤的对称性可以得到模式分布的对称性，根据模式的对称性选择适当的展开函数，可以使计算量大大减少。计算了六角结构光子晶体光纤的色散特性，得到了波长在1．55pm处色散为零时，光子晶体光纤的结构参量所满足的方程。     

Phase formation and control of morphology in sputtered Cu-In alloy layers

The dependence of structural properties and surface morphology of Cu-In alloy layers on the composition and sputtering deposition sequence were investigated by X-ray diffraction, scanning electron microscopy and energy-dispersive X-ray spectroscopy. The properties of the co-sputtered alloy layers changed abruptly around the composition boundary when the Cu/In ratio reached 1/2. This can be explained by the effective heat of formation (EHF) model, which has been used to predict the sequence of phase formation for metal diffusion couples. The use of a co-sputtered alloy layer with a high In concentration was not suitable for fabricating solar cells, because the film had a very rough morphology due to large In islands formed on the CuIn₂ phase. However, it was possible to minimize this phase by In sputtering followed by co-sputtering with a Cu/In ratio of 1 (Cu-In/In/Glass). This permitted the fabrication of a homogeneous Cu-In alloy layer, which was not possible through the simple co-sputtering.     

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

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