基于路径分析的死循环检测

提出了一种自动检测C语言程序中是否含有死循环的方法.该方法基于程序分析技术,包括循环展开和路径可行性分析技术.该方法首先通过遍历控制流图生成待查循环的检验路径;之后通过分析检验路径的可行性以及路径之间的联系,判断这些路径是否符合死循环模式.在此方法基础上实现了原型工具LoopAnalyzer,并对一组基准程序进行测试.实验结果表明此工具能有效地检测出C语言程序中的死循环,并且准确率较高.

On the radiation and diffraction of linear water waves by an infinitely long rectangular structure submerged in oblique seas

The radiation and diffraction of linear water waves by an infinitely long rectangular structure submerged in oblique seas of finite depth is investigated. The analytical expressions for the radiated and diffracted potentials are derived as infinite series by use of the method of separation of variables. The unknown coefficients in the series are determined by the eigenfunction expansion matching method. The expressions for wave forces, hydrodynamic coefficients and reflection and transmission coefficients are given and verified by the boundary element method. Using the present analytical solution, the hydrodynamic influences of the angle of incidence, the submergence, the width and the thickness of the structure on the wave forces, hydrodynamic coefficients, and reflection and transmission coefficients are discussed in detail.

ELECTRON-STATES OF A STACKING-FAULT RIBBON IN SILICON

The electronic structure of a bounded intrinsic stacking fault in silicon is calculated. The method used is an LCAO-scheme (Linear Combinations of Atomic Orbitals) taking ten atomic orbitals of s-, p-, and d-type into account. The levels in the band gap are extracted using Lanczos' algorithm and a continued fraction representation of the local density of states. We find occupied states located up to 0.3 eV above the valence band maximum (E(v)). This significantly differs from the result obtained for the ideal infinite fault for which the interface state is located at E(v)+ 0.1 eV.

On the soft wall guiding potentials in realistic quantum waveguides

A transfer matrix method is presented for the study of electron conduction in a quantum waveguide with soft wall lateral confinement. By transforming the two-dimensional Schrodinger equation into a set of second order ordinary differential equations, the total transfer matrix is obtained and the scattering probability amplitudes are calculated. The proposed method is applied to the evaluation of the electron transmission in two types of cavity structure with finite-height square-well confinement. The results obtained by our method, which are found to be in excellent agreement with those from another transfer matrix method, suggest that the infinite square-well potential is a good approximation to finite-height square-well confinement for electrons propagating in the ground transverse mode, but softening of the walls has an obvious effect on the electron transmission and mode-mixing for propagating in the excited transverse mode. (C) 1996 American Institute of Physics.

Mode theory and analysis of planar array waveguides

Bloch modes can be excited in planar array due to its periodic lateral refractive index. The power coupled into each eigenmode of the array waveguides is calculated through the overlap integrals of the input field with the eigenmode fields of the coupled infinite array waveguides projected onto the x-axis. Low losses can be obtained if the transition from the array to the free propagation region is adiabatic. Due to the finite resolution of lithographic process the gap between the waveguides will stop abruptly, however, when the waveguides come into too close together. Calculation results show that losses will occur at this discontinuity, which are dependent on the ratio of the gap between the waveguides and grating pitch and on the confinement of field in the array waveguides. Tapered waveguides and low index contrast between the core and cladding layers can lower the transmitted losses.

煤层气无限导流垂直裂缝井数值试井模型

建立了考虑解吸作用的煤层气无限导流垂直裂缝井试井模型,推导出其有限元方程,并求得模型的数值解。绘制出无限导流垂直裂缝井的双对数试井理论曲线和煤层中的压力场。从计算所得的试井理论曲线可以看出,无限导流能力裂缝井的试井理论曲线上存在一段压力和压力导数曲线平行且斜率为0.5的直线,表明了线性流动的存在。从计算结果的压力场图可知,裂缝周围是椭圆流动,而远离裂缝区是径向流动。分析了煤层气解吸作用对试井理论曲线的影响,主要表现为在试井理论曲线的中后期,压力和压力导数曲线下降,原因是煤层气解吸缓解了压力下降,分析了裂缝关于井筒的不对称性。计算结果表明,裂缝关于井筒的不对称性对试井理论曲线的影响很小,原因在于裂缝是无限导流垂直裂缝。

Quantum-mechanical calculations of vibrationally resolved cross sections for non-dissociative charge transfer of O3+ with H-2

Charge transfer due to collisions of ground state O3+ (2s(2)2p P-2) ions with molecular hydrogen is investigated using the quantum-mechanical molecular-orbital close-coupling (MOCC) method, and electronic and vibrational state-selective cross sections along with the corresponding differential cross sections are calculated for projectile energies of 100, 500, 1000 and 5000 eV/u at the orientation angles of 25 degrees,45 degrees and 89 degrees. The adiabatic potentials and radial coupling matrix elements utilized in the QMOCC calculations were obtained with the spin-coupled valence-bond approach. The infinite order sudden approximation (IOSA) and the vibrational sudden approximation (VSA) are utilized to deal with the rotation of H-2 and the coupling between the electron and the vibration of H-2. It is found that the distribution of vibrationally resolved cross sections with the vibrational quantum number upsilon' of H-2(+) (upsilon') varies with the increment of the projectile energy; and the electronic and vibrational stateselective differential cross sections show similar behaviors: there is a highest platform within a very small scattering angle, beyond which the differential cross sections decrease as the scattering angle increases and lots of oscillating structures appear, where the scattering angle of the first structure decreases as E-P(-1/2) with the increment of the projectile energy E-P; and the structure and amplitude of the differential cross sections are sensitive to the orientation of molecule H-2, which provides a possibility to identify the orientations of molecule H-2 by the vibrational state-selective differential scattering processes.

Topological constraints on scroll and spiral waves in excitable media

A conservation equation for topological charges of phase singularities (scroll and spiral waves) in excitable media is given. It provides some topological properties of scroll (spiral) waves: for example, the topological charge of the generated or annihilated spiral pair must be opposite. Additionally, we obtain another equation on scroll waves, which shows that singular filaments of scroll waves occur on a set of one-dimensional curves which may be either closed loops or infinite lines.

Rigidity effect on phase behavior of symmetric ABA triblock copolymers: A Monte Carlo simulation

The phase behavior of symmetric ABA triblock copolymers containing a semiflexible midblock is studied by lattice Monte Carlo simulation. As the midblock evolves from a fully flexible state to a semiflexible state in terms of increase in its persistence length, different phase behaviors are observed while cooling the system from an infinite high temperature to a temperature below T-ODT (order-disorder transition temperature). Within the midblock flexibility range we studied (l(p)/N-c <= 0.105), a lamellar structure is formed at equilibrium state as the situation for fully flexible chains. The fraction of bridge chain is evaluated for the lamellar structures. We find that the increase in midblock rigidity indeed results in the increase in bridge chain fraction within the range from 44.9% to 51.8%.

Separation of ethyl acetate-ethanol azeotropic mixture using hydrophilic ionic liquids

The separation of ethyl acetate and ethanol (EtOH) is important but difficult due to their close boiling points and formation of an azeotropic mixture. The separation of the azeotropic mixture of ethyl acetate and EtOH using the hydrophilic ionic liquids (ILs) 1-alkyl-3-methylimidazolium chloride (alkyl = butyl, hexyl, and octyl) ([C(n)mim]Cl, n = 4, 6, 8) and 1-allyl-3-methylimidazolium chloride and bromide ([Amim]Cl and [Amim]Br) has been investigated. Triangle phase diagrams of five ILs with ethyl acetate and EtOH were constructed, and the biphasic regions were found as follows: [Amim]Cl > [Amim]Br > [C(4)mim]Cl > [C(6)mim]Cl > [C(8)mim]Cl. The mechanisms of the ILs including cation, anion, and polarity effect were discussed.

Hydrothermal Synthesis, Structures, and Luminescent Properties of Seven d(10) Metal-Organic Frameworks Based on 9,9-Dipropylfluorene-2,7-Dicarboxylic Acid (H(2)DFDA)

A series of Zn(II) and Cd(II) metal-organic frameworks, namely, [Zn(DFDA)] (1), [Cd(DFDA)(C2H5OH)] (2), [Zn-2(DFDA)(2)(L-1)(2)](2) center dot 3H(2)O (3), [Cd-2(DFDA)(2)(L-1)(2)] (4), [Zn(DFDA)(L-2)] (5), [Cd(DFDA)(L-2)(DMF)] (6), and [Zn(DFDA)(L-3)] (7) (where DFDA = 9,9-dipropylfluorene-2,7-dicarboxylate anion, L-1 = 1,4-bis(imidazol-1-ylmethyl)benzene, L-2 = 1,1'-(1,4-butanediyl) bis(imidazole), L-3 = 2,2'-bipyridine) have been synthesized under hydrothermal conditions and structurally characterized. Compound 1 exhibits a three-dimensional (3D framework containing one-dimensional (1D) Zn(II)-O clusters, with (4(8).6(7)) topology. Compound 2 contains hydrophobic channels built from infinite 1D Cd(II)-O clusters, with (4(8).5(4).6(3)) topology.

Macroscopic single-crystal tubes assembled with porous supramolecular architecture of water-soluble calixarene and phenanthroline

Single-crystal tubular products on the millimetre scale have been synthesized from water-soluble calixarene and phenanthroline in the presence of lanthanides by a hydrothermal method, in which the extended structures contain some 1D infinite channels.

1,2,3,4-Alternate double cone conformational extreme in the supramolecular assemblies of p-sulfonatocalix[8]arene

Two supramolecular assemblies of p-sulfonato-calix[8]arene were stacked by some infinite 1D 'molecular capsule' chains in which the calixarenes adopt an unprecedented 1,2,3,4-alternate double cone conformation.

Synthesis and Characterization of One-Dimensional and Molecular M(tren)InAsS4 (M = Mn, Co, and Zn) Compounds with a Noncondensed AsS33- Unit

Four transition-metal-amine complexes incorporating indium thioarsenates with the general formula M(tren)InAsS4 (M=Mn, Co, and Zn) and a noncondensed AsS33- unit have been prepared and characterized. Single-crystal X-ray diffraction analyses show that compound 1 (M=Mn) crystallizes in the triclinic crystal system (space group: P (1) over bar) and consists of a one-dimensional (1D) inorganic (1)(infinity){[InAsS4](2-)} chain and [Mn(tren)](2+) groups bonded to the opposite sides of an eight-membered In2As2S4 ring along the backbone of the infinite inorganic chains. Compounds 2 (M=Mn), 3 (M=Zn), and 4 (M=Co) are isomorphous molecular compounds. They all crystallize in the monoclinic crystal system (space group: P2(1)/c). The Mn2+ cation of [Mn(tren)](2+) in 1 has a distorted octahedral environment, while the transition-metal cations of [M(tren)](2+) in the other three compounds locate in trigonal-bipyramidal environments.

The time delay in electrochemical measurements of a finite-volume system

For a sphere electrode enclosed in finite-volume electrolyte, the measured current will deviate from the result predicted by the semi-infinite diffusion theory after some time. By random-walk simulation, we compared this time to the one needed for diffusion layer to reach electrolyte boundary, and revealed a clear signal delay of electrochemical current. Further we presented a quantitative description of this delay time. The simulation results suggested that the semi-infinite diffusion theory can even be applied when the theoretical diffusion layer grows to 1.28 electrolyte thicknesses, with an accuracy better than 0.5%. We attributed this time delay to the molecules' finite propagation velocity. Finally, we discussed how this delay can influence and facilitate the following electrochemical detection towards the nanometer and single-cell scale.