algorithms for computing weak bisimulation equivalence

IEEE Comp Soc, IFIP, Tianjin Normal Univ

Non-Gravitational Effects with Density-Matching in Evaluating the Influence of Sedimentation on Colloidal Coagulation

The method of density matching between the solid and liquid phases is often adopted to effectively eliminate the effect of sedimentation of suspensions in studies on dynamic behaviour of a colloidal system. However, the associated changes in the solvent composition may bring side effects to the properties investigated and therefore might lead to a faulty conclusion if the relevant correction is not made. To illustrate the importance of this side effect, we present an example of the sedimentation influence on the coagulation rate of suspensions of 2 μm (diameter) polystyrene. The liquid mixtures, in the proper proportions of water (H2O), deuterium oxide (D2O) and methanol (MeOH) as the liquid phase, density-matched and unmatched experiments are performed. Besides the influence of viscosity, the presence of methanol in solvent media, used to enhance the sedimentation effect, causes significant changes (reduction) in rapid coagulation rates compared to that in pure water. Without the relevant corrections for those non-gravitational factors it seems that gravitational sedimentation would retard the coagulation. The magnitude of the contribution from the non-gravitational factor is quantitatively determined, making the relevant correction possible. After necessary corrections for all factors, our experiments show that the influence of the sedimentation on coagulation rates at the initial stage of the coagulation is not observable.

New Numerical Algorithms in SUPER CE/SE and Their Applications in Explosion Mechanics

The new numerical algorithms in SUPER/CESE and their applications in explosion mechanics are studied. The researched algorithms and models include an improved CE/SE (space-time Conservation Element and Solution Element) method, a local hybrid particle level set method, three chemical reaction models and a two-fluid model. Problems of shock wave reflection over wedges, explosive welding, cellular structure of gaseous detonations and two-phase detonations in the gas-droplet system are simulated by using the above-mentioned algorithms and models. The numerical results reveal that the adopted algorithms have many advantages such as high numerical accuracy, wide application field and good compatibility. The numerical algorithms presented in this paper may be applied to the numerical research of explosion mechanics.

Compression of Chinese document images based on morphologic analysis and pattern matching

We propose a highly efficient content-lossless compression scheme for Chinese document images. The scheme combines morphologic analysis with pattern matching to cluster patterns. In order to achieve the error maps with minimal error numbers, the morphologic analysis is applied to decomposing and recomposing the Chinese character patterns. In the pattern matching, the criteria are adapted to the characteristics of Chinese characters. Since small-size components sometimes can be inserted into the blank spaces of large-size components, we can achieve small-size pattern library images. Arithmetic coding is applied to the final compression. Our method achieves much better compression performance than most alternative methods, and assures content-lossless reconstruction. (c) 2006 Society of Photo-Optical Instrumentation Engineers.

Compression of Chinese document images based on morphologic analysis and pattern matching

We propose a highly efficient content-lossless compression scheme for Chinese document images. The scheme combines morphologic analysis with pattern matching to cluster patterns. In order to achieve the error maps with minimal error numbers, the morphologic analysis is applied to decomposing and recomposing the Chinese character patterns. In the pattern matching, the criteria are adapted to the characteristics of Chinese characters. Since small-size components sometimes can be inserted into the blank spaces of large-size components, we can achieve small-size pattern library images. Arithmetic coding is applied to the final compression. Our method achieves much better compression performance than most alternative methods, and assures content-lossless reconstruction. (c) 2006 Society of Photo-Optical Instrumentation Engineers.

Study of noncollinear quasi-phase matching optical parametric amplification with group-velocity matching based on periodically poled crystals

The properties of noncollinear optical parametric amplification (NOPA) based on quasi-phase matching of periodically poled crystals are investigated, under the condition that the group velocity matching (GVM) of the signal and idler pulses is satisfied. Our study focuses on the dependence of the gain spectrum upon the noncollinear angle, crystal temperature, and crystal angle with periodically poled KTiOPO4 (PPKTP), periodically poled LiNbO3 (PPLN), and periodically poled LiTaO3 (PPLT), and the NOPA gain properties of the three crystals are compared. Broad gain bandwidth exists above 85 nm at a signal wavelength of 800 nm with a 532 nm pump pulse, with proper noncollinear angle and grating period at a fixed temperature for GVM. Deviation from the group-velocity-matched noncollinear angle can be compensated by accurately tuning the crystal angle or temperature with a fixed grating period for phase matching. Moreover, there is a large capability of crystal angle tuning.

Investigation of near-collinear degenerated quasi-phase matching optical parametric amplification using PPKTP crystal

The gain properties of near-collinear degenerated phase-matched optical parametric amplification (OPA) using PPKTP crystal are investigated theoretically. The results indicate that the type-0 phase matching of PPKTP has larger accepted angle and better gain spectrum by tuning crystal temperature or rotating crystal angle.

Optimization of positions and currents of tokamak poloidal field coils using genetic algorithms

Plasma equilibrium geometry has a great influence on the confinement and magnetohydrodynamic stability in tokamaks. The poloidal field (PF) system of a tokamak should be optimized to support the prescribed plasma equilibrium geometry. In this paper, a genetic algorithm-based method is applied to solve the optimization of the positions and currents of tokamak PF coils. To achieve this goal, we first describe the free-boundary code EQT Based on the EQT code, a genetic algorithm-based method is introduced to the optimization. We apply this new method to the PF system design of the fusion-driven subcritical system and plasma equilibrium geometry optimization of the Experimental Advanced Superconducting Tokamak (EAST). The results indicate that the optimization of the plasma equilibrium geometry can be improved by using this method.

Multiple quasi-phase-matching for enhanced generation of selected high harmonics in aperiodic modulated fibers

A technique for enhanced generation of selected high harmonics in a gas medium, in a high ionization limit, is proposed in this paper. An aperiodically corrugated hollow-core fiber is employed to modulate the intensity of the fundamental laser pulse along the direction of propagation, resulting in multiple quasi-phase-matched high harmonic emissions at the cutoff region. Simulated annealing (SA) algorithm is applied for optimizing the aperiodic hollow-core fiber. Our simulation shows that the yield of selected harmonics is increased equally by up to 2 orders of magnitude compared with no modulation and this permits flexible control of the quasi-phase-matched emission of selected harmonics by appropriate corrugation. (c) 2007 Optical Society of America.

Phase-matching control of high-order harmonic generation in a two-color laser field

The phase-matching condition of high-order harmonic generation driven by intense few-cycle pulses could be controlled by adding second-harmonic pulses to change the ionization fraction of the gaseous medium. The harmonic generation efficiency could be improved by moving the phase-matching point with an all-optical control of the ionization fraction or a proper change of the confocal parameter. A specific order of harmonics could be easily controlled to reach phase matching at a fixed higher gas pressure by adding second-harmonic pulses with a suitable intensity. Such an all-optical phase-matching control was demonstrated to be dependent upon the temporal delay between the fundamental-wave and second harmonic pulses.

Phase unwrapping algorithms, respectively, based on path-following and discrete cosine transform

This paper describes a path-following phase unwrapping algorithm and a phase unwrapping algorithm based on discrete cosine transform (DCT) which accelerates the Computation and suppresses the propagation of noise. Through analysis of fringe pattern with serious noises simulated in mathematic model, we make a contrast between path-following algorithm and DCT algorithm. The advantages and disadvantages or analytical fringe pattern are also given through comparison of two algorithms. Three-dimensional experimental results have been given to prove the validity of these algorithms. Despite DCT phase unwrapping technique robustness and speed in some cases, it cannot be unwrapping inconsistencies phase. The path-following algorithm can be used in automation analysis of fringe patterns with little influence of noise. (c) 2007 Elsevier GmbH. All rights reserved.

Optical matching layer structures in evanescent coupling photodiodes at a wavelength of 1.55 mu m: physics, design and simulation

We have studied the optical matching layers (OMLs) and external quantum efficiency in the evanescent coupling photodiodes (ECPDs) integrating a diluted waveguide as a fibre-to-waveguide coupler, by using the semi-vectorial beam propagation method (BPM). The physical basis of OML has been identified, thereby a general designing rule of OML is developed in such a kind of photodiode. In addition, the external quantum efficiency and the polarization sensitivity versus the absorption and coupling length are analysed. With an optical matching layer, the absorption medium with a length of 30 mu m could absorb 90% of the incident light at 1.55 mu m wavelength, thus the total absorption increases more than 7 times over that of the photodiode without any optical matching layer.

An investigation of the mode characteristics of SOI submicron rib waveguides using the film mode matching method

The mode characteristics of SOI (silicon-on-insulator) submicron rib waveguides are very different from those of micrometer-sized ones. Using the full-vector film mode matching method, we propose a simple criterion to determine whether a waveguide mode is guided or not. The single-mode condition for deep-etched waveguides is obtained using this criterion. We also obtain the inherent TM mode leakage and sharp cancelation effects due to TE-TM mode coupling in shallow-etched rib waveguides from numerical simulations, which agree well with the analytical results based on total internal reflection and interference theories.