Shadowing and Inverse Shadowing for C^1 Endomorphisms

In this paper, we consider the shadowing and the inverse shadowing properties for C^1 endomorphisms. We show that near a hyperbolic set a C^1 endomorphism has the shadowing property, and a hyperbolic endomorphism has the inverse shadowing property with respect to a class of continuous methods. Moreover, each of these shadowing properties is also ＂uniform＂ with respect to C^1 perturbation.     

关于Ramsey数下界的部分结果

本文得到 Ramsey数下界的一个计算公式 :R( l,s+ t-2 )≥ R( l,s) + R( l,t) -1 ,(式中 l、s、t≥ 3) .用此公式算得的 Ramsey数的下界比用其它公式算得的下界好 .     

Computing Aviation Sparing Policies: Solving a Large Nonlinear Integer Program

Deployed US Navy aircraft carriers must stock a large number of spare parts to support the various types of aircraft embarked on the ship. The sparing policy determines the spares that will be stocked on the ship to keep the embarked aircraft ready to fly. Given a fleet of ten or more aircraft carriers and a cost of approximately 50 million dollars per carrier plus the cost of spares maintained in warehouses in the United States, the sparing problem constitutes a significant portion of the Navy’s resources. The objective of this work is to find a minimum-cost sparing policy that meets the readiness requirements of the embarked aircraft. This is a very large, nonlinear, integer optimization problem. The cost function is piecewise linear and convex while the constraint mapping is highly nonlinear. The distinguishing characteristics of this problem from an optimization viewpoint are that a large number of decision variables are required to be integer and that the nonlinear constraint functions are essentially “black box” functions; that is, they are very difficult (and expensive) to evaluate and their derivatives are not available. Moreover, they are not convex. Integer programming problems with a large number of variables are difficult to solve in general and most successful approaches to solving nonlinear integer problems have involved linear approximation and relaxation techniques that, because of the complexity of the constraint functions, are inappropriate for attacking this problem. We instead employ a pattern search method to each iteration of an interior point-type algorithm to solve the relaxed version of the problem. From the solution found by the pattern search on each interior point iteration, we begin another pattern search on the integer lattice to find a good integer solution. The best integer solution found across all interations is returned as the optimal solution. The pattern searches are distributed across a local area network of non-dedicated, heterogeneous computers in an office environment, thus, drastically reducing the time required to find the solution.     

一类物元可拓集的性质研究

提出了物元等价类概念,并利用子集合X和属性子集R对物元集合S(U,A,V,f)在集合论域U上构造了一类可拓集合A~,并讨论了A~关于X和R的一些相关性质.     

B—模糊集合代数和广义互信息公式

基于两种概率的区分，推导出了一个广义Shannon熵公式和一个广义互信息公式。后者和模糊性有关，并且柯用于语言和感觉中的信息度量。为了由原子语句为真的条件概率求出合语句为真的条件概率，提出了一个遵循存尔运算的模糊集合代数。所谓的模糊信息被还原为概率信息。新的理论在经典理论－概率论，集合论及Shannon信息论－的基础上容易理解。     

多变量系统最小能量终端控制

以广义逆矩阵的理论和Bellman最优性原理为基础，给出了MIMO系统的状态反馈型的闭型解，对最优终端控制问题作了进一步的详细研究，且通过具有零初始状态的线性定常系统的研究，导出了终端控制误差和控制能量与控制时间的关系。     

随机动力系统的进展和问题

本文主要介绍随机动力系统的主要成果和进一步研究的问题。     

关于函数的连续性与可导性的几点注记

在微积分学中 ,函数的连续性与可导性是函数重要的性质 ,一些特殊的函数在这方面也表现出了特殊的性质 ,本文将对这些性质进行讨论     

THE BLOW-UP PROPERTIES OF SOLUTIONS TO A PARABOLIC SYSTEM WITH LOCALIZED NONLINEAR REACTIONS

1IntroductionThispaperisconcernedwithpositivesolutionOfthesemilinearheatequationswithlocalizedreactionssubjecttoeitherinitialconditions(Cauchyproblem)ortheinitialandboundary-value(DirichletorNeumanntype)conditionswherenisaboundeddomaininRe,icEO.Equations(1.1)canbethoughtofasamodeltodescribesomephysicalphenomena(heatpropagation,chemicalreaction)inwhichthenonlinearreactionsinadynndcalsystemtakesplaceonlyatasinglesite.InthesequelforconvenienceweshallsamplycalltheCauchy,initial-Direchlet,orini…     

模糊集单调型分解定理

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