微处理器测试图形采集程序自动编程系统的设计

提出了微处理器ＭＰ测试图形采集程序自动编程系统的一种设计方案，系统在读入测试开发人员对ＭＰ的描述后，能自动建立ＭＰ的抽象模型并产生直接在Ｓ－１０测试仪上运行的ＦＡＣＴＯＲ语言ＭＰ测试图形采集程序．     

Spatial chaos in boundary layer transition

Experiments have been performed on a laminar flat plate boundary layer undergoing transition to turbulence. Reproducible disturbances were introduced via a loudspeaker embedded at some upstream location and their evolution over the plate measured using hot-wire anemometry. A new technique has been used to estimate the number of nonlinearly independent modes in the reconstructed phase portraits. Nonlinear maps were then fitted that explicitly model the spatial evolution of disturbances. These maps are consistent with classical linear stability theory for small disturbances, and give rise to Smale horse-shoe like behaviour for larger amplitude distrubances. Thus a mechanism for generating chaos has been uncovered.     

单调地次连续半紧1—集压缩映象的耦合不动点定理

在半序Ｂａｎａｃｈ空间获得了单调地次连续半紧１集压缩映象的耦合不动点定理．定理设（Ｘ，Ｐ）的半序区间［ｕ０，ｖ０］非空，Ａ：［ｕ０，ｖ０］×［ｕ０，ｖ０］→（Ｘ，Ｐ）是混合单调半紧１集压缩算子，且满足ｉ）Ａ［ｕ０，ｖ０］×［ｕ０，ｖ０］有界；ｉ）ｕ０≤Ａ（ｕ０，ｖ０），Ａ（ｖ０，ｕ０）≤ｖ０；ｉｉ）Ａ在ｘ和在ｙ单调地次连续．则Ａ有极大极小耦合不动点（ｘ，ｙ）∈［ｕ０，ｖ０］×［ｕ０，ｖ０］，且ｘ＝ｌｉｍｎ→∞ｌｉｍｍ→∞ｕ（ｍ）ｎｙ＝ｌｉｍｎ→∞ｌｉｍｍ→∞ｖ（ｍ）ｎ     

Mizoguchi–Takahashi’s type common fixed point theorem

Recently Kamran extended the result of Mizoguchi and Takahashi for closed multi-valued mappings and proved a fixed point theorem. In this paper we further extend the result concluded by Kamran and prove a common fixed point theorem by using the concept of lower semi-continuity.     

Existence and uniqueness of rectilinear slit maps

We consider a generalization of the parallel slit uniformization in which the angle of inclination of each image slit is assigned independently. Koebe proved that for domains of finite connectivity there is, up to a normalization, a unique rectilinear slit map achieving any given angle assignment. Koebe's theorem is partially extended to domains of infinite connectivity. A uniqueness result is shown for domains of countable connectivity and arbitrary angle assignments, and an existence result is proved for arbitrary domains under the assumption that the angle assignment is continuous and has finite range. In order to prove the existence result a new extremal length tool, called the crossing-module, is introduced. The crossing-module allows greater freedom in the family of admissible arcs than the classical module. Several results known for the module are extended to the crossing-module. A generalization of Jenkins' module condition for the parallel slit problem is given for the rectilinear slit problem in terms of the crossing-module and it is shown that rectilinear slit maps satisfying this crossing-module condition exist.

     

Bubbling and bistability in two parameter discrete systems

We present a graphical analysis of the mechanisms underlying the occurrences of bubbling sequences and bistability regions in the bifurcation scenario of a special class of one dimensional two parameter maps. The main result of the analysis is that whether it is bubbling or bistability is decided by the sign of the third derivative at the inflection point of the map function.     

Symmetry Reduction in Symplectic and Poisson Geometry

We present a quick review of several reduction techniques for symplectic and Poisson manifolds using local and global symmetries compatible with these structures. Reduction based on the standard momentum map (symplectic or Marsden–Weinstein reduction) and on generalized distributions (the optimal momentum map and optimal reduction) is emphasized. Reduction of Poisson brackets is also discussed and it is shown how it defines induced Poisson structures on cosymplectic and coisotropic submanifolds.     

Holomorphic Curves and Toda Systems.

The geometry of holomorphic curves from the point of view of open Toda systems is discussed. Parametrization of curves related in this way to nonexceptional simple Lie algebras is given. This gives rise to explicit formulas for minimal surfaces in real, complex and quaternionic projective spaces or complex quadrics. The Letter generalizes the well-known connection between minimal surfaces in E3, their Weierstrass representation in terms of holomorphic functions, and the general solution to the Liouville equation.Mathematics Subject Classifications (1991):35Q58, 58E20, 22E46.     

集值映射平衡点集的本质连通区及其应用

用统一的本质连通区的存在性定理重新推导出了集值映射平衡点集的本质连通区的存在性,并给出一个在不动点集中的应用。     

Decay of correlations in one and two dimensions

An exposition of some methods of proving exponential (stretched exponential) decay of correlations is given. One-dimensional strictly hyperbolic and quadratic maps and two-dimensional piecewise smooth, uniformly hyperbolic maps are considered. The emphasis is on the fundamental constructions of the Markov sieve method due to Bunimovich-Chernov-Sinai and those of Liverani's Hilbert metric method.