一种改进的几何活动轮廓模型

针对传统的几何活动轮廓模型在分割具有凹形边界时,演化曲线不能准确定位的缺点,提出了一种改进的几何活动轮廓模型,该模型通过在原模型的演化方程中增加一个正的常数项,使得演化曲线在未到达目标边界时,加速曲线演化,而在到达边界附近时,该加速项逐渐减小为零,从而能够很好的完成对凹形边界的分割.实验证明,该方法不仅能够分割具有凹形边界的目标,还能够使演化过程加速,提高几何活动轮廓模型的分割速度.     

Geometric torsions and an Atiyah-style topological field theory

We generalize the construction of invariants of three-dimensional manifolds with a triangulated boundary that we previously proposed for the case where the boundary consists of not more than one connected component to any number of components. These invariants are based on the torsion of acyclic complexes of geometric origin. An adequate tool for studying such invariants turns out to be Berezin’s calculus of anticommuting variables; in particular, they are used to formulate our main theorem, concerning the composition of invariants under a gluing of manifolds. We show that the theory satisfies a natural modification of Atiyah’s axioms for anticommuting variables. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 158, No. 3, pp. 405–418, March, 2009.     

An essay on counting

Several of the psychological notions inherent in the Peano Postulates are discussed in this paper. It is intended as an heurism for the theory of semigroups.     

An SIS epidemic model with diffusion

The aim of this paper is to study the dynamics of an SIS epidemic model with diffusion. We first study the well-posedness of the model. And then, by using linearization method and constructing suitable Lyapunov function, we establish the local and global stability of the disease-free equilibrium and the endemic equilibrium, respectively. Furthermore, in view of Schauder fixed point theorem, we show that the model admits traveling wave solutions connecting the disease-free equilibrium and the endemic equilibrium when R_0 1 and c c~*. And also, by virtue of the two-sided Laplace transform, we prove that the model has no traveling wave solution connecting the two equilibria when R_0 1 and c ∈ [0, c~*).     

带有非线性传染率的传染病模型

对一类带有非线性传染率的SEIS传染病模型,找到了其基本再生数.借助动力系统极限理论,得到当基本再生数小于1时,无病平衡点是全局渐近稳定的,且疾病最终灭绝.当基本再生数大于1时,无病平衡点是不稳定的,而唯一的地方病平衡点是局部渐近稳定的.应用Fonda定理,得到当基本再生数大于1时疾病一致持续存在.     

An essay on Bergman completeness

We give first of all a new criterion for Bergman completeness in terms of the pluricomplex Green function. Among several applications, we prove in particular that every Stein subvariety in a complex manifold admits a Bergman complete Stein neighborhood basis, which improves a theorem of Siu. Secondly, we give for hyperbolic Riemann surfaces a sufficient condition for when the Bergman and Poincaré metrics are quasi-isometric. A consequence is an equivalent characterization of uniformly perfect planar domains in terms of growth rates of the Bergman kernel and metric. Finally, we provide a noncompact Bergman complete pseudoconvex manifold without nonconstant negative plurisubharmonic functions.     

An integrated multiple criteria decision making model applying axiomatic fuzzy set theory

This article presents a hybrid model for the multiple criteria decision making problems. The proposed decision model consists of three parts: (i) DEA (data envelopment analysis) is used to provide the best combination on the performance parameters of original data; (ii) By the application of AFS (axiomatic fuzzy set) theory and AHP (analytic hierarchy process) method, the weight of each attribute is calculated and (iii) TOPSIS (technique for order preference by similarity to ideal solution) is applied to provide the ranking order of that best combination based on the weights of attributes. In addition, we also provide the definitely semantic interpretations for the decision results by AFS theory. Specially, the model not only employs the performance parameters from raw data, but also considers the preferences from decision-makers that can make the decision results more reasonable. The proposed model is used for robot selection to verify the proposed model. Using the selection index, the evaluation of alternative robots and the selection of the most appropriate are eventually feasible. Moreover, a numerical example for supplier selection is included to illustrate the application of the model for the newly developed problems.     

An essay on self-dual generalized quadrangles

We collect some known facts about a self-dual generalized quadrangle (GQ) and consider especially the number of absolute points of a duality. The only known finite self-dual GQs are the ${T_2(\mathcal O)}$ constructed by J. Tits where ${\mathcal O}$ is a translation oval in a finite desarguesian projective plane of even order. We review a construction of these GQs in enough detail to study the sets of absolute points of certain dualities, but for more details about these GQs see the monograph Finite Generalized Quadrangles (Europ. Math. Soc., Zurich 2009). After some generalities about the incidence matrix of a finite (GQ) we return to the study of self-dual examples.     

Some model theory for monotone quantifiers

A generalization of the existential and universal quantifier, the monotone quantifiers, are studied. It is shown that the model theory for monotone quantifiers behaves very much like classical model theory. Completeness theorems, definability theorems and preservation theorems are given. Ultraproducts, reduced products and Back and Forth arguments are studied.This work is part of the research program of the G.N.S.A.G. group of the Italian C.N.R.     

Representation theory and homological stability

We introduce the idea of representation stability   (and several variations) for a sequence of representations _Vn$V_n$ of groups _Gn$G_n$. A central application of the new viewpoint we introduce here is the importation of representation theory into the study of homological stability. This makes it possible to extend classical theorems of homological stability to a much broader variety of examples. Representation stability also provides a framework in which to find and to predict patterns, from classical representation theory (Littlewood–Richardson and Murnaghan rules, stability of Schur functors), to cohomology of groups (pure braid, Torelli and congruence groups), to Lie algebras and their homology, to the (equivariant) cohomology of flag and Schubert varieties, to combinatorics (the (n+1)ⁿ⁻¹${(n+1)}^{n-1}$ conjecture). The majority of this paper is devoted to exposing this phenomenon through examples. In doing this we obtain applications, theorems and conjectures.     

An application of set theory to model theory

We give a number of simple proofs of results in model theory using the set theoretical result of Lévy thatH(μ) is a Σ-submodel of the Universe. We would like to thank the referee and Taylor Ollmann for their helpful suggestions.     

An essay on skew translation generalized quadrangles

Astract We study a class of generalized quadrangles satisfying a local Moufang condition that is more restrictive than the usual concept of skew translation GQ. A new infinite family is constructed whose point-line duals are translation generalized quadrangles with very small kernel. They have parameters (q ², q), q=3 ^r , for r>2.This paper was written while the author was supported by the CNR as a visiting professor at the University of Rome La Sapienza.     

An essay on rank preservation and reversal

Rank preservation and reversal, so fundamental in decision making, have been an unresolved issue in the field of economics and utility theory and came into focus when the Analytic Hierarchy Process was developed because it uses paired comparisons that inevitably make the priorities of the alternatives interdependent. This paper summarizes the important issues that can play a role in rank preservation and reversal with counterexamples to show that preserving rank in all situations is wrong.     

Nonlinear microbeam model based on strain gradient theory

The nonlinear governing equation of microbeam based on the strain gradient theory is derived by using a combination of the strain gradient theory and the Hamilton’s principle, and the nonlinear static bending deformation, the post-bucking problem and the nonlinear free vibration are analyzed. The nonlinear term in the nonlinear governing equation is associated with the mean axial extension of the microbeam. The static bending deformation of the clamped–clamped microbeam subjected to transverse force, the critical buckling loads and the nonlinear frequencies of the simple supported microbeam with initial lateral displacement are discussed. It is shown that the size effect is significant when the ratio of characteristic thickness to internal material length scale parameters is approximately equal to one or two, but is diminishing with the increase of the ratio. The results also indicate that the nonlinearity has a great effect on the static and dynamic behavior of microbeam. To attain accurate and reliable characterization of the static and dynamic properties of microbeam, therefore, both the micro structure dependent parameters and the nonlinear term have to be incorporated in the design of micro structures in MEMS or NEMS.     

Generalized geometric programming applied to problems of optimal control: Part I,theory

A modification to the formulation in Ref. 1 is given.     

Further improvement of weakly nonlinear theory of hydrodynamic stability

The problems of the weakly nonlinear theory of hydrodynamic stability has been re-addressed; namely, (i) why is the radius of convergence of its solution too small? (ii) it is not appropriate to use it to deal with the evolution problem of disturbances; the main reason is that the way of calculating the mean flow distortion is inappropriate, (iii) it cannot be used to deal with the initial value problem. Ways of its improvement were proposed. Its correctness was confirmed by its comparison with the results of numerical simulations.     

Additively separable duality theory

In duality theory, there is a trade-off between generality and tractability. Thus, the generality of the Tind-Wolsey framework comes at the expense of an infinite-dimensional dual solution space, even if the primal solution space is finite dimensional. Therefore, the challenge is to impose additional structure on the dual solution space and to identify conditions on the primal program, such that the properties that are typically associated with duality, like weak and strong duality, are preserved.In this paper, we consider real-valuedness, continuity, and additive separability as such additional structures. The virtue of the latter property is that it restores the one-to-one correspondence between primal constraints and dual variables as it exists in Lagrangian duality. The main result of this paper is that, roughly speaking, the existence of realvalued, continuous, and additively separable dual solutions that preserve strong duality is guaranteed, once the primal program satisfies a certain stability condition. The latter condition is ensured by the well-known regularity conditions that imply constraint qualification in Karush-Kuhn-Tucker points. On the other hand, if instead of additive separability, a mild tractability condition is imposed on the dual solution space, then stability turns out to be a necessary condition for strong duality in a well-defined sense. This result, combined with the observation that applicability of some well-known augmented Lagrangian methods to constrained optimization.This study was supported by the Netherlands Foundation for Mathematics (SMC) with financial aid from the Netherlands Organization for Scientific Research (NWO).     

An infinite element theory

A technique for solution of plane problems in mathematical physics or mechanics is presented. The method was developed initially for elastic plate problems with transverse load concentrations but is here extended to other two-dimensional problems. Draw-down problems with a number of wells in a porous medium, heat-flow problems in a plate with a distributed source, and with discrete sinks, or membrane displacements under concentrated forces, are considered in particular.The technique is to treat the two-dimensional medium as infinite: each source or sink is treated separately and equilibrated by an auxiliary source function. Superposition allows the effects of the separate sources and sinks to be added. The residual effect of the auxiliary source, after superposition, is negligible so that the summed effects of the individual sources and sinks gives the required solution. The method is approximate but the error may be made arbitrarily small. It is simple and well suited to the class of problems above, and to either manual or computer based analyses. Examples of its use are given.     

Noncommutative Berezin transforms and multivariable operator model theory

In this paper, we initiate the study of a class of noncommutative domains of n-tuples of bounded linear operators on a Hilbert space H, where m?2, n?2, and p is a positive regular polynomial in n noncommutative indeterminates. These domains are defined by certain positivity conditions on p, i.e.,

     

基于协整理论的中国人口死亡率预测

近年来,人类寿命明显延长.长寿风险对于国家养老金制度,保险公司寿险业务的影响日益凸现.长寿风险源于人口死亡率的非预期变动,精准预测人口死亡率是长寿风险研究的一项重要内容.文中提出了一种死亡率预测的新方法,将计量经济学中的协整理论引入死亡率预测,以弥补中国死亡率历史数据缺乏,并结合极值理论方法给出中国死亡率的预测.