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

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

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

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

Convex dominates concave: An exclusion principle in discrete-time Kolmogorov systems

We establish an exclusion principle in discrete-time Kolmogorov systems by using average Liapunov functions. The exclusion principle shows that a weakly dominant species with a convex logarithmic growth rate function eliminates species with concave logarithmic growth rate functions. A general result is applied to specific population models. This application gives an improved exclusion principle for the specific population models.

     

A multifractal decomposition according to rate of returns

For one‐dimensional simple symmetric random walk, the Hausdorff and packing dimensions of sets of sample paths with prescribed rate of returns to the origin are determined. This gives a multifractal decomposition of the underlying sample space. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

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

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

模糊集单调型分解定理

模糊集的分解集定理有两种形式，第一种形式与模糊集的λ—截集有关：Ａ＝其中Ａ＿λ是的λ—截集￣［１］．第二种形式与集合套有关：其中Ｈ（λ）为集合套￣［２］或者Ａ＝其中Ｈ（λ）为集合套，Ｑ为（０，１）的可列稠密子集＿［３］，．其实，这两种形式在本文提出的基本模糊集的概念下，可以统一起来成为任何模糊集可以分解为一些（可数或不可数）基本模糊集的和。不仅如此，本文还提出简单模糊集的概念，并证明了任何模糊集都可以表示成为可数个单调上升的简单模糊集的和，或等价地，可以表示成可数个单调上升的简单模糊集的极限，所用的证明方法是构造性的，所以对模糊集的结构也得出了一个清晰的认识．     

On Two Theorems of Finite Solvable Groups

For a finite group G, let T（G） denote a set of primes such that a prime p belongs to T（G） if and only if p is a divisor of the index of some maximal subgroup of G. It is proved that if G satisfies any one of the following conditions： （1） G has a p-complement for each p∈T（G）; （2）│T（G）│= 2： （3） the normalizer of a Sylow p-subgroup of G has prime power index for each odd prime p∈T（G）; then G either is solvable or G/Sol（G）≌PSL（2, 7） where Sol（G） is the largest solvable normal subgroup of G.     

A Monte Carlo simulation of the heterogeneous adsorption of hydrogen ions on metal oxides: Effect of inert electrolyte

Charging of the surface of an oxide caused by the adsorption of hydrogen ions and ions of inert 1:1 electrolyte was investigated by using grand canonical Monte Carlo simulation technique. In particular, adsorption isotherms of protons as well as of ions of the electrolyte together with the resulting charge density of the surface were obtained for different system parameters. Also, the effect of the surface energetic heterogeneity and the concentration of the background electrolyte on the isotherms and the charge density curves was examined. Furthermore, lateral interactions in the mixed adsorbed phase were taken into account in the modeling of the system behavior. The obtained results, in general, suggest that the three factors mentioned above may have substantial influence on the charging mechanism at the liquid/oxide interface.