Multidimensional transonic shocks and free boundary problems for nonlinear equations of mixed type

We establish the existence and stability of multidimensional transonic shocks for the Euler equations for steady potential compressible fluids. The Euler equations, consisting of the conservation law of mass and the Bernoulli law for the velocity, can be written as a second-order, nonlinear equation of mixed elliptic-hyperbolic type for the velocity potential. The transonic shock problem can be formulated into the following free boundary problem: The free boundary is the location of the transonic shock which divides the two regions of smooth flow, and the equation is hyperbolic in the upstream region where the smooth perturbed flow is supersonic. We develop a nonlinear approach to deal with such a free boundary problem in order to solve the transonic shock problem. Our results indicate that there exists a unique solution of the free boundary problem such that the equation is always elliptic in the downstream region and the free boundary is smooth, provided that the hyperbolic phase is close to a uniform flow. We prove that the free boundary is stable under the steady perturbation of the hyperbolic phase. We also establish the existence and stability of multidimensional transonic shocks near spherical or circular transonic shocks.

     

微光像增强器图像传递信噪比的测试研究

图像传递信噪比是微光像增强器的重要特性参数．能够全面定量地表征像增强器在探测弱辐射图像时的综合性能，对于确定像增强器的图像探测灵敏闽具有重要意义。针对其测试原理．采用高灵敏度低噪声CCD器件作为像管输出图像的探测接收器．并引入数字图像处理技术。利用设计的测试系统实现了典型目标图像传递信噪比的自动测试．多次实验结果表明．陔测试系统具有测试过程自动快速及测试数据准确稳定的优点．相同测试条件下的不确定度优于±3%。     

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.     

Compulsorily Phase Locked Interferometer Using Orthogonally Polarized Light Source of a Modulated LD with High Extinction Ratio

This paper describes a compulsorily phase locked differential interferometer using an orthogonally polarized light source of a modulated LD with high extinction ratio to reduce non-linearity of the interferometer caused by polarization cross-talk. The current modulated LD is used as a light source to make the interferometer compact and for the scanning phase of the interferometer. The interferometer is operated compulsorily at the maximum inclination point of the fringe intensity curve by fringe scanning and an electric system. A Wollaston prism of high extinction ratio (50 dB) is used to combine the polarizing beams and to make the polarization cross-talk very small. In one light source the polarized output beams are on the same propagation axis; in the other they have a small crossing angle (2.5 mrad ∼ 10 mrad) to completely exclude non-linearity of the interferometer causded by polarization cross-talk. Using jets of a gas mixture of nitrogen and ethylene, this interferometer was demonstrated to be useful in detecting the photothermal effect of a photothermal velocimeter under phase fluctuation in a turbulent flow.     

具有开发的非自治单种群生态系统研究

研究了具有开发的单种群非自治周期系统．利用非自治微分方程理论．以及变分法理论和泛函极值的Euler方程方法,得到了该开发系统的持续生存性．周期解存在性，全局渐近稳定性．研究了在开发情况下的最大收获量问题，以及取得最大经济效益下的收获问题等．     

Hamiltonian N2‐locally connected claw‐free graphs

A graph G is N₂‐locally connected if for every vertex ν in G, the edges not incident with ν but having at least one end adjacent to ν in G induce a connected graph. In 1990, Ryjá?ek conjectured that every 3‐connected N₂‐locally connected claw‐free graph is Hamiltonian. This conjecture is proved in this note. © 2004 Wiley Periodicals, Inc. J Graph Theory 48: 142–146, 2005     

具有急慢性阶段的MSIS流行病模型阈值和稳定性结果

系统研究了具有急性和慢性两个阶段的MSIS流行病模型.由两节构成,第1节建立和研究了具有急慢性阶段的MSIS流行病模型;第2节在第1节的基础上建立和研究了具有慢性病病程的MSIS流行病模型.第1节的模型是四个常微分方程构成的方程组.第2节的模型既含有常微分方程,又含有偏微分方程.运用微分方程和积分方程中的理论和方法,得到了这两个模型再生数R0的表达式.证明了当R0<1时,无病平衡态是全局渐近稳定性,给出了各模型地方病平衡态的存在性和稳定性条件.     

A finiteness result for Heegaard splittings

In this paper we show that for a given 3-manifold and a given Heegaard splitting there are finitely many preferred decomposing systems of 3g−3 disjoint essential disks. These are characterized by a combinatorial criterion which is a slight strengthening of Casson-Gordon's rectangle condition. This is in contrast to fact that in general there can exist infinitely many such systems of disks which satisfy just the Casson-Gordon rectangle condition.     

Li3N、Mg3N2、Ca3N2催化作用的比较和分析

 Li₃N、Mg₃N₂和Ca₃N₂是高温高压下以hBN为原料合成cBN的催化剂。在实验中发现它们对常压高温下生成hBN的反应也表现出催化作用。对比了三种氮化物催化效果的差异，发现三种氮化物都只有在熔融状态下才能表现出催化效果，以及三种氮化物对生成hBN反应的催化效果与它们在高温高压下合成cBN反应的催化效果次序相似。提出了对合成hBN有催化作用的化合物也将对合成cBN表现出催化作用的观点。     

Substructuring preconditioners for saddle-point problems arising from Maxwell's equations in three dimensions

This paper is concerned with the saddle-point problems arising from edge element discretizations of Maxwell's equations in a general three dimensional nonconvex polyhedral domain. A new augmented technique is first introduced to transform the problems into equivalent augmented saddle-point systems so that they can be solved by some existing preconditioned iterative methods. Then some substructuring preconditioners are proposed, with very simple coarse solvers, for the augmented saddle-point systems. With the preconditioners, the condition numbers of the preconditioned systems are nearly optimal; namely, they grow only as the logarithm of the ratio between the subdomain diameter and the finite element mesh size.