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.     

Peculiar relics from Primordial Black Holes in the inflationary paradigm

Depending on various assumptions on the energy scale of inflation and assuming a primordial power spectrum of a step‐like structure, we explore new possibilities for Primordial Black Holes (PBH) and Planck relics to contribute substantially to Cold Dark Matter in the Universe. A recently proposed possibility to produce Planck relics in four‐dimensional string gravity is considered in this framework. Possible experimental detection of PBHs through gravitational waves is also explored. We stress that inflation with a low energy scale, and also possibly when Planck relics are produced, leads unavoidably to relics originating from PBHs that are not effectively classical during their formation, rendering the usual formalism inadequate for them.     

Partially Classical States of a Boson Field

Employing positive-definiteness arguments we analyse Boson field states, which combine classical and quantum mechanical features (signal and noise), in a constructive manner. Mathematically, they constitute Bauer simplexes within the convex, weak-*-compact state space of the C*-Weyl algebra, defined by a presymplectic test function space (smooth one-Boson wave functions) and are affinely homeomorphic to a state space of a classical field. The regular elements are expressed in terms of weak distributions (probability premeasures) on the dual test function space. The Bauer simplex arising from the bare vacuum is shown to generalize the quantum optical photon field states with positive P-functions.     

Relaxation-Induced Suppression of Vortex Disturbances in a Molecular Gas

The influence of thermal excitation on a finite-amplitude vortex disturbance in a shear flow of a molecular gas is studied in a model problem. The evolution of such vortex structures is typical of both the nonlinear stage of the laminar–turbulent transition and for developed turbulence. Since the excitation level was assumed to be comparatively low, full Navier–Stokes equations for a compressible heat-conducting gas were used in calculations; nonequilibrium was taken into account by the coefficient of bulk viscosity. As the bulk viscosity increases in the range of realistic values, the disturbance-energy damping rate in a weakly compressible flow increases approximately by 10%. The increase in the Mach number enhances the effect of disturbance suppression.     

电磁学黑匣子实验的设计与解答Ⅱ--奥林匹克物理竞赛培训试题二

介绍了一个电磁学黑匣子实验，对其作了具体的解答，并提供多种解决方案，且指出了此题的特点和实验过程中可能出现的问题．     

Hawking Radiation of Dirac Particles in a Nonuniformly Rectilinearly Accelerating Black Hole

The Hawking radiation of Dirac particles on the event horizon of a nonuniformly rectilinearly accelerating black hole is studied in this paper. First, we construct the symmetrized null tetrad from which the spin coefficients and Dirac equation are derived. Next, by proposing generalized tortoise coordinate transformation, the decoupling problem of the Dirac equation with nonzero rest mass is solved. Finally, by analytic continuation, the Hawking thermal spectrum formula of Dirac particle for nonuniformly rectilinearly accelerating black hole is obtained.     

Solubility parameter determination of cationic surfactants by inverse GC

Summary The solubility parameters of cationic surfactants were obtained using the inverse gas chromatographic technique. The surfactants didodecyl dimethyl ammonium bromide, dioctadecyl dimethyl ammonium bromide and dodecyl pyridinium chloride were used as stationary phase and retention data of different probe solutes were measured at different temperatures. The results were analysed by the combination of Flory-Huggins and Hildebrand theories, and the solubility parameters of the surfactants were obtained in a range of temperatures between 80–120°C.     

燃煤烟气中As、Se、Pb的形态分布及S、Cl元素对其形态分布的影响

基于化学热力学平衡分析方法，计算分析了燃煤烟气中重金属As、Se、Pb的形态分布规律，研究了S、Cl等元素对As、Se、Pb的形态分布规律的影响。结果表明，氧化性气氛下，As以As₂O₅、As₄O₆、AsO等氧化物的形式存在；Se主要以SeO₂形式存在；Pb在1000 K以下主要是固态PbSO₄，1200 K以上为气态PbO。还原性气氛下，As在较低温度时为固态As₂S₂，900-1400 K以As₂、AsS、AsN气体共存，2000 K以上全部转化为气态AsO。Se在1100 K以下主要以气态H₂Se存在，1100 K开始生成SeS和Se₂气体，1800 K时主要是气态Se和少量气态SeO；Pb在中低温时主要是PbS，1800 K以上气态Pb为主要存在形态。S在还原性气氛下增大了AsS（g）、PbS（g）、SeS（g）的比例，氧化性气氛下对As、Se、Pb形态分布基本无影响；Cl无论在氧化还是还原气氛下对As、Se影响均较小，但对Pb的形态分布影响较大。     

用电磁打点计时器进行受迫振动实验--介绍我校的一个自学物理实验

介绍一种用简单的方法进行的受迫振动实验。