基于CAPPFramework的CAPP系统的开发与应用

在国家863CIMS目标产品CAPPFramework系统的基础上，研究了面向对象的信息建模技术、信息模型驱动的所见即所得工艺设计技术、工作流技术．并在此基础上进行集成化、智能化计算机辅助工艺设计(CAPP)的应用与开发，实现了工艺设计的自动化，基本达到了在信息集成基础上的工艺设计与工艺信息管理一体化的目的，对企业的CAPP实施具有一定的参考价值．     

非Chetaev型变质量非完整系统的Lie对称性与Noether对称性

研究非Chetaev型变质量非完整系统的Lie对称性与Noether对称性以及其间的 关系,给出Lie对称性导致Noether对称性以及Noether对称性导致Lie对称性的条件.     

完备可分度量群上的齐次Levy过程的复合Poisson逼近

该文利用算子半群的方法给出了取值于具有左不变度量的完备可分群的齐次Levy过程是复合Poisson过程的弱极限这一结论．     

Quality assurance for the analytical data of micro elements in food

The micro element content of food is an important quality index due to the action of these elements on human health. In this article, we discuss how to ensure the reliability of analytical data on micro elements in order to truly represent the condition of food. Sampling, treatment of the analytical sample, selection of the analytical method, standard solution, and certified reference material, blank test, calibration of the instrument and equipment, application of the quality control chart, assessment of the final analytical result, and quality assurance system are briefly described. Received: 5 July 2001 Accepted: 19 November 2001     

Bending-torsion vibration of a partially submerged cylinder with an arbitrary cross-section

An analytical method is presented to investigate the bending-torsion vibration characteristics of a cylinder with an arbitrary cross-section and partially submerged in water. The compressibility and the free surface waves of the water are considered simultaneously in the analysis. The exact solution of structure–water interaction is obtained mathematically. Firstly, the analytical expression of the velocity potential of the water is derived by using the method of separation of variables. The unknown coefficients in the velocity potential are determined by the longitudinal and circumferential Fourier expansions along the outer surface of the cylinder and are expressed in the form of integral equations including the unknown dynamic bending deflection and torsional angle of the cylinder. Secondly, the force and torque acting on the cylinder per unit length, provided by the water, are obtained by integrating the water dynamic pressure along the circumference of the cylinder. The general solution of bending-torsion vibration of the cylinder under the water dynamic pressure is derived analytically. The integral equations included in the velocity potential of the water can be solved exactly. Finally, the eigenfrequency equation of cylinder–water interaction is obtained by means of the boundary conditions of the cylinder. Some numerical examples for elliptical columns partially submerged in water are provided to show the application of the present method.     

一类过程摄动系统的无阻塞鲁棒性

使用参数Dioid模块网络法,把含大量摄动参数的在普通极大代数意义下非线性状态空间模型在参数Dioid意义下线性化,在此基础上研究一类过程摄动系统的无阻塞鲁棒性.给出了有限缓冲串行生产系统在没有缓冲器下无阻塞的充要条件和充分条件.     

Range reliability in random walks

This paper introduces a definition of reliability based on a process range. Thus, process failure is defined when the range of a process first reaches a given and unacceptable level. The Mean Time To Failure (MTTF) which is denned as the mean of the first time for a range to attain a given amplitude is then calculated for an asymmetric random walk process. The probability distribution of the range is then given and the process reliability over long periods of system operations are then calculated. Applications such as the control of wings movements, stock price and exchange rates volatility (defined in terms of reliability) are also used to motivate the usefulness of range processes in reliability studies. Finally, we point out that there is necessarily a relationship between the range reliability and the propensity of a series to become chaotic.     

Lévy processes and Fourier multipliers

We study Fourier multipliers which result from modulating jumps of Lévy processes. Using the theory of martingale transforms we prove that these operators are bounded in Lp(Rd) for 1<p<∞ and we obtain the same explicit bound for their norm as the one known for the second order Riesz transforms.