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.     

Laser spectroscopic investigation of a new precursor-type polyparaphenylenevinylene

Optical, structural and morphological properties of thin films of polyparaphenylenevinylene (PPV) formed by an alkyl sulfinyl precursor route have been studied. Thin films were fabricated on an optical glass and on quartz glass either by spin-coating of the precursor solution or by layer-by-layer deposition using Langmuir–Blodgett technique. PPV precursor films were also spin-coated on gold-coated glass in order to study thin-film optical parameters by surface plasmon spectroscopy. We have been successful in forming about 40 precursor mono layers on quartz glass by Langmuir–Blodgett technique using optimized surface pressure and dipping conditions. After thermal conversion of the precursor layers good quality fluorescent PPV films of yellow colour have been obtained. Optical characterization of the films was carried out by linear absorption and emission spectroscopy, ellipsometry, and surface plasmon spectroscopy. Structural and morphological studies on the thin films were carried out by using X-ray scattering and atomic force microscopy. Wave-guided travelling-wave laser action has been achieved in a PPV film on quartz glass. The sample was transversally pumped with picosecond laser pulses (wavelength 347.15 nm, duration 35 ps). Laser emission occurred at 550 nm for pump pulse energy densities above .     

Degradation of ZnS:Cu,Al,Au phosphor powder in different gas mixtures

The ZnS:Cu,Al,Au (P22G) phosphor powder was bombarded by an electron beam in an O₂ ambient, Ar ambient and other mixture of gases. These gases consisted of mixtures of O₂ and CO_x, and O₂, CO_x and Ar gas. Auger electron spectroscopy (AES) was used to monitor changes in the surface composition of the P22G phosphor during electron bombardment. When the P22G phosphor powder was exposed to the electron beam in a water-rich O₂ ambient, a chemically limited ZnO layer was formed on the surface. The electron beam degradation of the P22G phosphor powder was also performed in a dry O₂ ambient and a layer of ZnSO₄ was formed on the surface. The ZnSO₄ formation decayed exponentially with time and it is postulated that this was due to the diffusion of the charge reactants through the ZnSO₄ film to the reaction interfaces. The P22G phosphor exposed to the electron beam in an Ar ambient and to the other gas mixtures degraded at a lower rate than in the case of the O₂ ambient. This suggests that Ar and CO_x may suppress the degradation of the P22G phosphor powder.     

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.     

Molecular dynamics simulation of thermodynamic properties of NaCl at high pressures and temperatures

The expansivity, constant-pressure heat capacity, and isothermal bulk modulus of sodium chloride (NaCl) have been obtained by using molecular dynamics method. The calculated thermodynamic parameters are found to be in agreement with the available experimental data. At an extended temperature and pressure ranges, these parameters have also been predicted. The thermodynamic properties of NaCl are summarized in the pressure 0-500 kbar ranges and the temperature up to 1000 K.     

Winding Clusters in Percolation on the Torus and the Möbius Strip

Using a simulation technique introduced recently, we study winding clusters in percolation on the torus and the Möbius strip for different aspect ratios. The asynchronous parallelization of the simulation makes very large system and sample sizes possible. Our high accuracy results are fully consistent with predictions from conformal field theory. The numerical results for the Möbius strip and the number distribution of winding clusters on the torus await theoretical explanation. To our knowledge, this study is the first of its kind.     

Escape Through a Small Opening: Receptor Trafficking in a Synaptic Membrane

We model the motion of a receptor on the membrane surface of a synapse as free Brownian motion in a planar domain with intermittent trappings in and escapes out of corrals with narrow openings. We compute the mean confinement time of the Brownian particle in the asymptotic limit of a narrow opening and calculate the probability to exit through a given small opening, when the boundary contains more than one. Using this approach, it is possible to describe the Brownian motion of a random particle in an environment containing domains with small openings by a coarse grained diffusion process. We use the results to estimate the confinement time as a function of the parameters and also the time it takes for a diffusing receptor to be anchored at its final destination on the postsynaptic membrane, after it is inserted in the membrane. This approach provides a framework for the theoretical study of receptor trafficking on membranes. This process underlies synaptic plasticity, which relates to learning and memory. In particular, it is believed that the memory state in the brain is stored primarily in the pattern of synaptic weight values, which are controlled by neuronal activity. At a molecular level, the synaptic weight is determined by the number and properties of protein channels (receptors) on the synapse. The synaptic receptors are trafficked in and out of synapses by a diffusion process. Following their synthesis in the endoplasmic reticulum, receptors are trafficked to their postsynaptic sites on dendrites and axons. In this model the receptors are first inserted into the extrasynaptic plasma membrane and then random walk in and out of corrals through narrow openings on their way to their final destination.     

Noise emitted by water supply installations

This work deals with the problem of noise generated by water supply systems in homes. Measurements were made in situ to determine normal conditions of installations and noise levels generated in different rooms in the home. In order to determine the sources of noise and the best construction methods to minimise noise generation, a laboratory was also built to reproduce the conditions of this type of installation in homes. Tests were carried out in this laboratory on different configurations of type of tap, installation material, walling and fastening of the installation, to allow quantitative determination of the differences in noise generation between the various configurations used in households.     

Time-resolved imaging of latent fingerprints with nanosecond resolution

Imaging of latent fingerprints using time-resolved (TR) method offers a broader platform to eliminate the unwanted background emission. In this paper, a novel TR imaging technique is demonstrated and implemented, which facilitates the detection of latent fingerprints with nanosecond resolution. Simulated experiments were carried out with two overlapping fingerprints treated with two fluorescent powders having different lifetimes in nanosecond range. The dependence of the fluorescence emission intensity in nanosecond resolution of TR imaging is also revealed.