模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

A novel method for automated grid generation of ice shapes for local‐flow analysis

Modelling a complex geometry, such as ice roughness, plays a key role for the computational flow analysis over rough surfaces. This paper presents two enhancement ideas in modelling roughness geometry for local flow analysis over an aerodynamic surface. The first enhancement is use of the leading‐edge region of an airfoil as a perturbation to the parabola surface. The reasons for using a parabola as the base geometry are: it resembles the airfoil leading edge in the vicinity of its apex and it allows the use of a lower apparent Reynolds number. The second enhancement makes use of the Fourier analysis for modelling complex ice roughness on the leading edge of airfoils. This method of modelling provides an analytical expression, which describes the roughness geometry and the corresponding derivatives. The factors affecting the performance of the Fourier analysis were also investigated. It was shown that the number of sine–cosine terms and the number of control points are of importance. Finally, these enhancements are incorporated into an automated grid generation method over the airfoil ice accretion surface. The validations for both enhancements demonstrate that they can improve the current capability of grid generation and computational flow field analysis around airfoils with ice roughness. Copyright © 2004 John Wiley & Sons, Ltd.     

Monte Carlo Simulation of Electron Transport and X-Ray Generation. II. Radiative Processes and Examples in Electron Probe Microanalysis

Theoretical models for Monte Carlo simulation of radiative processes, i.e. bremsstrahlung and characteristic x-ray emission, are presented. Possible strategies for simulating electron transport are briefly described. For mechanisms involving energy loss and angular deflections, difficulties for strict implementation of accurate numerical differential cross sections still remain due to the strong correlations between these variables. Practical solutions for the case of inelastic collisions and bremsstrahlung emission are described. Comparisons of simulation results with experimental data for several problems of interest in electron probe microanalysis are presented.     

Apparatus for High-Resolution Solid Hydrogen Matrix Isolation Spectroscopy and Its Application

Apparatus integrating a Fourier transform-infrared (FT-IR) spectrometer and a mid-infrared difference frequency generation (DFG) laser spectrometer was built for the study of the matrix isolation spectrum in solid molecular hydrogen. A 3-cm-long molecular hydrogen crystal was grown in a liquid-helium Dewar, and its infrared absorption spectrum in the 1-5 μm region was recorded to test the system. The W₀(0) (ν=0←0, J=6←0) line around 2410 cm⁻¹ of solid hydrogen was investigated with the DFG laser spectroscopy. High-resolution matrix isolation spectrum of CO² co-deposited with hydrogen on a BaF₂ cold plate at liquid-helium temperature was studied.     

Study on End Milling Generation Surface Model and Simulation in View of Main Axle s Tolerance

In accordance with the relative movement between end-milling cutter and workpiece surface, a theoretical generation model for milled surface was established with the movement error of principal axle considered. Then the milled surfaces under various cutting condition were simulated, the results of which showed that end milled surfaces were of “vaulted profile“, heights of surface irregularty at various points to be different with maximum value in the middle and smaller at both sides, the difference were ...     

Uniform random number generation

In typical stochastic simulations, randomness is produced by generating a sequence of independent uniform variates (usually real-valued between 0 and 1, or integer-valued in some interval) and transforming them in an appropriate way. In this paper, we examine practical ways of generating (deterministic approximations to) such uniform variates on a computer. We compare them in terms of ease of implementation, efficiency, theoretical support, and statistical robustness. We look in particular at several classes of generators, such as linear congruential, multiple recursive, digital multistep, Tausworthe, lagged-Fibonacci, generalized feedback shift register, matrix, linear congruential over fields of formal series, and combined generators, and show how all of them can be analyzed in terms of their lattice structure. We also mention other classes of generators, like non-linear generators, discuss other kinds of theoretical and empirical statistical tests, and give a bibliographic survey of recent papers on the subject.     

利用KTP晶体实现1.08μmNd：YAP激光器锁模

本文描述了利用ＫＴＰ晶体和腔的基波输出镜构成非线性镜实现１．０８μｍＮｄ：ＹＡＰ激光器的被动锁模。实验表明，这种新的锁模技术比用染料作可饱和吸收体的被动锁模技术有很多突出的优点，具有很大的发展潜力。实验测得锁模时基波１．０８μｍ输出２．４ｍＪ，二次谐波０．５４μｍ输出０．５ｍＪ（同样条件下的静态输出为２．５ｍＪ），基波脉冲的平均脉宽为４０ｐｓ。     

Vehicle and personnel routing optimization in the service sector: application to water distribution and treatment

We present an overview of the author’s Ph.D. thesis, supervised by P. Dejax and N. Bostel, which was defended in February 2006 at école des Mines de Nantes, France. The thesis is written in French, and is available at . It was conducted in the context of a research contract with a water distribution company. In a first section, we define multiperiod routing problems for service technicians. In a second section, we present some heuristics and a memetic algorithm used to solve these problems. The third section introduces optimal and near-optimal approaches based on column generation. Finally, we present some applications to the real-life case. The methods presented in Sects. 2, 3 and 4 were tested over several sets of problems, based on real-life statistics provided by the company.      

Potential-dependent structure of the interfacial water on the gold electrode

Doubly tunable sum frequency generation (SFG) spectra demonstrate that the water molecules at gold/electrolyte interface change their orientation with applied potential. At negative potentials, water molecules in the double layer align with their oxygen atom pointing to the solution. As potential became positive to be close to the potential of zero charge (PZC), the SFG signal decreased, suggesting the OH groups of the water molecule are either in random orientation or parallel to the electrode. As potential became more positive than the PZC, the SFG signal increased again with the oxygen-up orientation as same as in the negative potential region, indicating that water molecules interact with the adsorbed sulfate anions. The peak position of the SFG spectra indicates a relatively disordered state of water molecules at the gold electrode surface, in contrast to the previously observed ice-like structure of water at electrolyte/oxide interfaces.