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.     

Fourier transform spectroscopy of CH3OH: rotation-torsion-vibration structure for the CH3-rocking and OH-bending modes

High-resolution Fourier transform spectra of CH₃OH have been investigated in the infrared region from 930 to 1450 cm⁻¹ in order to map the torsion-rotation energy manifolds associated with the ν₇ in-plane CH₃ rock, the ν₁₁ out-of-plane CH₃ rock, and the ν₆ OH bend. Upper-state term values have been determined from the assigned spectral subbands, and have been fitted to power-series expansions to obtain substate origins and effective B-values for the three modes. The substate origins have been grouped into related families according to systematic trends observed in the torsion-vibration energy map, but there are substantial differences from the traditional torsional patterns. There appears to be significant torsion-mediated spectral mixing, and a variety of “forbidden” torsional combination subbands with |Δυ_t|>1 have been observed, where υ_t denotes the torsional quantum number (equivalent to υ₁₂). For example, coupling of the (υ₆,υ_t)=(1,0) OH bend to nearby torsionally excited (υ₇,υ_t)=(1,1) CH₃-rock and (υ₈,υ_t)=(1,1) CO-stretch states introduces (υ₆,υ_t)=(1,0)←(0,1) subbands into the spectrum and makes the ν₇+ν₁₂−ν₁₂ torsional hot band stronger than the ν₇ fundamental. The results suggest a picture of strong coupling among the OH-bending, CH₃-rocking, and CO-stretching modes that significantly modifies the traditional energy structure and raises interesting and provocative questions about the torsion-vibration identity of a number of the observed states.     

Variational Formulation of the Schrödinger Field

The variational formulation of the Schrödinger field was investigated and the applicability of the chain method was analyzed. Using Batalin-Fradkin-Tyutin formalism a gauge invariant theory was constructed.     

Diffusion of 99Tc in granite under aerobic and anoxic conditions

Summary  Vezetéknév     

Fabrication of bamboo-shaped GaN nanorods

Bamboo-shaped GaN nanorods were formed through a simple sublimation method. They were characterized by means of X-ray powder diffraction (XRD), transmission electron microscopy (TEM), high-resolution transmission electron microscopy (HRTEM) and selected-area electron diffraction (SAED). The TEM image showed that the nanorods were bamboo-like. XRD, HRTEM and SAED patterns indicated that the nanorods were single-crystal wurtzite GaN. Received: 8 January 2001 / Accepted: 28 April 2001 / Published online: 20 December 2001     

Robust synchronization of chaotic non-autonomous systems using adaptive-feedback control

In this paper, we apply the simple adaptive-feedback control scheme to synchronize a class of chaotic non-autonomous systems. Based on the invariance principle of differential equations, some generic sufficient conditions for global asymptotic synchronization are obtained. Unlike the usual linear feedback, the variable feedback strength is automatically adapted to completely synchronize two identical systems and simple to implement in practice. As illustrative examples, synchronization of two parametrically excited chaotic pendulums and that of two 4D new systems are considered here. Numerical simulations show the proposed method is effective and robust against the effect of noise.     

LARGE-SIGNAL SIMULATIONS OF A GYROTRON TRAVELING-WAVE AMPLIFIER WITH A MODE-SELECTIVE INTERACTION CIRCUIT

A self-consistent nonlinear theory is used to analyze the saturated performances of a Ka-band gyrotron traveling wave amplifier (gyro-TWA) operating at the fundamental with a mode-selective interaction circuit involving a tapered vane-slot mode converter. The amplifier is predicted to generate 140 kW saturated output power with 33.3% efficiency, a saturated gain of 33dB, and a 3dB bandwidth of 2.7 GHz (8%) for a 70 kV, 6A electron beam with a velocity ratio of 1.0 and an axial velocity spread of 5%.     

On the existence of nontrivial extremal metrics on complete noncompact surfaces

In this paper, we consider the 2-dimensional local Calabi flow on a complete noncompact surface . Then, based on the Harnack-type estimate, we show the long-time existence and asymptotic convergence of a subsequence of solutions of such a flow on with and bounded from above by a negative constant on a ball. For its applications, this will lead to the existence of extremal metrics on a complete noncompact surface of finite topological type. In particular, there exists an extremal metric of nonconstant Gaussian curvature on or Received: 21 June 2001 / 18 January 2002 / Published online: 27 June 2002 Research supported in part by NSC and NCTS.