弱(L_1,L_2)-BLD映射的正则性

本文首先将文［１］中的ＢＬＤ映射推广为弱（Ｌ１，Ｌ２）－ＢＬＤ映射，并证明了如下正则性结果：存在两个可积指数 Ｐ１＝Ｐ１（ｎ，Ｌ１，Ｌ２）＜ｎ＜ｑ１＝ｑ１（ｎ，Ｌ１，Ｌ２），使得对任意弱（Ｌ１，Ｌ２）－ＢＬＤ映射ｆ∈（Ω，Ｒｎ），都有ｆ∈（Ω，Ｒｎ），即ｆ为（Ｌ１，Ｌ２）－ＢＬＤ映射．     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

Asymptotique de la norme $L^2$ d'un cycle géodésique dans les revêtements de congruence d'une variété hyperbolique arithmétique

Let M be an arithmetic hyperbolic manifold and be a codimension 1 geodesic cycle. In this paper, we study the asymptotic growth of the -norm of the lifts of F in the congruence tower above M. We obtain an explicit value for the growth rate of this norm. In particular, we provide a new proof of a celebrated result of Millson [Mi] on the homology of the arithmetic hyperbolic manifolds. The method is quite general and gives a new way of getting non zero homology classes in certain locally symmetric spaces. Received: 20 April 2001; in final form: 26 September 2001 / Published online: 28 February 2002     

ROBUST GLOBAL EXPONENTIAL STABILITY OF UNCERTAIN IMPULSIVE SYSTEMS

By using the quasi-Lyapunov function, some sufficient conditions of global exponential stability for impulsive systems are established, which is the basis for the following discussion. Then, by employing Riccati inequality and Hamilton-Jacobi inequality approach, some sufficient conditions of robust exponential stability for uncertain linear/nonlinear impulsive systems are derived, respectively. Finally, some examples are given to illustrate the applications of the theory.     

Unavoidable Traces Of Set Systems

Sauer, Shelah, Vapnik and Chervonenkis proved that if a set system on n vertices contains many sets, then the set system has full trace on a large set. Although the restriction on the size of the groundset cannot be lifted, Frankl and Pach found a trace structure that is guaranteed to occur in uniform set systems even if we do not bound the size of the groundset. In this note we shall give three sequences of structures such that every set system consisting of sufficiently many sets contains at least one of these structures with many sets.     

On a conjecture of Fefferman and Graham

In 1985, Fefferman and Graham have constructed a local embedding of an arbitrary real-analytic manifold, of odd dimension n, into a Ricci-flat manifold of dimension n+2 admitting a homothety. They conjectured that their result remains valid in even dimensions, if logarithms are allowed in the expansion of the metric. In this paper, we (i) prove that such expansions exist and converge and (ii) establish the degree of non-uniqueness of the solution in terms of the coefficients in the expansion.     

MATLAB/SIMULINK在电力系统仿真中的应用

介绍了Matlab／Simulink仿真工具在电力系统仿真中的应用方法．     

Heteroclinic orbits between rotating waves of semilinear parabolic equations on the circle

We investigate heteroclinic orbits between equilibria and rotating waves for scalar semilinear parabolic reaction-advection-diffusion equations with periodic boundary conditions. Using zero number properties of the solutions and the phase shift equivariance of the equation, we establish a necessary and sufficient condition for the existence of a heteroclinic connection between any pair of hyperbolic equilibria or rotating waves.     

OADM环网的实验研究

研究了光分插复用器(OADM)的关键技术,重点分析了相关的实现技术,完成了利用OADM构建全光环网的实验研究,给出了重要的实验数据,包括眼图、光谱图、光信噪比、保护与恢复等,并对这些实验数据进行了分析,为光传送网的设计与构建提供了重要的参考依据.     

连续激光诱导Zn/InP掺杂过程中温度分布的解析计算

在实验的基础上，分析表面蒸发Zn的InP样品在连续激光诱导下掺杂Zn过程.在一维热传导问题的第三类边界条件下，给出激光辐照有限厚双层材料Zn/InP温度分布的一种直观简洁的解析形式. 关键词： 激光诱导掺杂 Zn/InP 温度分布