具有部分单调性的时滞扩散方程组行波解的存在性

就一类具有部分单调性的时滞扩散方程组，我们证明了其行波解的存在性．所采用的方法是通过该系统的适当上、下解构造了Banach空间中的闭凸子集，然后应用Schauder不动点定理，证明相关算子在其上存在不动点．作为该结果的一个重要应用，我们考虑一类时滞的捕食与被捕食模型，证明了其行波解的存在性。     

非均匀Chemostat中非单食物链模型稳态正解的存在性

研究一类由反应扩散方程组描述的非均匀Chemostat中微生物之间既表现竞争关系又表现捕食被捕食关系的模型．用特征值理论确定了系统正稳态解存在的必要条件，用锥映射不动点指数方法给出了系统正稳态解存在的充分条件．     

一类具有非线性捕获项的捕食-食饵扩散模型正解的稳定性和唯一性

研究了一类具有非线性捕获项和Crowley-Martin反应函数的捕食-食饵扩散模型.利用不动点指数理论得到了正解存在的充分条件.其次,采用线性算子的扰动理论、椭圆方程正则性理论和不动点指数理论考察了捕食者间干扰强度的影响,给出了正解的稳定性和唯一性.接着,运用比较原理讨论了抛物系统的灭绝性和全局吸引子的存在性.最后,通过数值模拟验证和补充了理论结果.研究结果表明捕食者间的干扰强度和捕获率对种群的共存具有非常重要的影响.     

抽象空间中非线性算子方程变号解的存在性研究

利用Banach空间中的锥理论和不动点定理讨论了非线性算子方程变号解的存在性,给出了E_u_0空间下非线性算子方程变号解至少有一个变号解、一个正解和一个负解的条件,并讨论了仅通过一个上解条件得出非线性算子方程变号解的存在性定理.     

带有第三边值的捕食模型的正稳态解的存在性

本文研究了一个捕食者带有第三类边界条件、被捕食者带有Neumann边界条件的捕食模型．获得了捕食模型正稳态解的存在性和非存在性结果．并且,证明了它的正稳态解的局部稳定性和唯一性．     

模糊比率的性质及其应用研究

本文提出了线性空间中算子的模糊比率的概念.研究了其性质.讨论了平面上算子B的模糊比率.作为应用,证明了一个新的不动点存在性定理.就像经典的不动点理论应用于微分方程一样,关于模糊理论的不动点存在性定理也可以应用于模糊方程或模糊微分方程.     

一类非紧算子正不动点的存在唯一性

本文利用锥理论和选代技巧,研究了一类非紧混合单调算子正不动点的存在唯一性,改进和推广了混合单调算子、增算子与减算子的某些相应结果．     

一类非线性共形分数阶微分方程的边值问题和脉冲初值问题（英文）

本文研究一类非线性共形分数阶微分方程的边值问题和脉冲初值问题,利用基于锥理论的和型算子不动点定理和混合单调算子不动点定理,获得共形分数阶微分方程边值问题和脉冲初值问题正解的存在性和唯一性定理,并且得到一组可以逼近唯一正解的单调迭代序列,最后给出一个实例用来验证结论的有效性.     

一类Chemostat捕食模型正周期解的存在性

讨论了一类Chemostat捕食模型在一定条件下正周期解的存在性问题.运用周期抛物型算子理论、Schauder估计和分歧理论得到了该模型正周期解存在的充分必要条件.     

次连续混合单调算子的耦合不动点及其迭代解法

运用锥理论讨论了一类次连续混合单调算子耦合不动点的存在性及其迭代解法,获得了若干新的结果．     

Parity in knot theory and graph-links

The present monograph is devoted to low-dimensional topology in the context of two thriving theories: parity theory and theory of graph-links, the latter being an important generalization of virtual knot theory constructed by means of intersection graphs. Parity theory discovered by the second-named author leads to a new perspective in virtual knot theory, the theory of cobordisms in two-dimensional surfaces, and other new domains of topology. Theory of graph-links highlights a new combinatorial approach to knot theory.     

NON-ARCHIMEDEAN PROBABILITY: FREQUENCY AND AXIOMATICS THEORIES

ＡＮＤＲＥＩＫＨＲＥＮＮＩＫＯＶ（ＤｅｐａｒｔｍｅｎｔｏｆＨｉｇｈＭａｔｈｅｍａｔｉｃｓ，ＭｏｓｃｏｗＩｎｓｔｉｔｕｔｅｏｆＥｌｅｃｔｒｏｎｉｃＥｎｇｉｎｅｅｒｉｎｇ，１０３４９８，Ｍｏｓｃｏｗ，Ｋ－４９８，Ｒｕｓｓｉａｎ）（Ｔｈｉｓｗｏｒｋｉｓｓｕ...     

应用图论分析与最优化理论来数据挖掘大规模水牛普里昂蛋白结构数据

图论、最优化理论显然在蛋白质结构的研究中大有用场. 首先, 调查/回顾了研究蛋白质结构的所有图论模型. 其后, 建立了一个图论模型: 让蛋白质的侧链来作为图的顶点, 应用图论的诸如团、 $k$-团、 社群、 枢纽、聚类等概念来建立图的边. 然后, 应用数学最优化的现代摩登数据挖掘算法/方法来分析水牛普里昂蛋白结构的大数据. 成功与令人耳目一新的数值结果将展示给朋友们.     

Relativistically Covariant Quantum Field Theory of the Maslov Complex Germ

We consider an explicitly covariant formulation of the quantum field theory of the Maslov complex germ (semiclassical field theory) in the example of a scalar field. The main object in the theory is the “semiclassical bundle” whose base is the set of classical states and whose fibers are the spaces of states of the quantum theory in an external field. The respective semiclassical states occurring in the Maslov complex germ theory at a point and in the theory of Lagrangian manifolds with a complex germ are represented by points and surfaces in the semiclassical bundle space. We formulate semiclassical analogues of quantum field theory axioms and establish a relation between the covariant semiclassical theory and both the Hamiltonian formulation previously constructed and the axiomatic field theory constructions Schwinger sources, the Bogoliubov S-matrix, and the Lehmann-Symanzik-Zimmermann R-functions. We propose a new covariant formulation of classical field theory and a scheme of semiclassical quantization of fields that does not involve a postulated replacement of Poisson brackets with commutators.__________Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 144, No. 3, pp. 492–512, September, 2005.     

A consistent second-order plate theory for monotropic material

Mathematical homogenization (or averaging) of composite materials, such as fibre laminates, often leads to non-isotropic homogenized (averaged) materials. Especially the upcoming importance of these materials increases the need for accurate mechanical models of non-isotropic shell-like structures. We present a second-order (or: Reissner-type) theory for the elastic deformation of a plate with constant thickness for a homogeneous monotropic material. It is equivalent to Kirchhoff's plate theory as a first-order theory for the special case of isotropy and, furthermore, shear-deformable and equivalent to R. Kienzler's theory as a second-order theory for isotropy, which implies further equivalences to established shear-deformable theories, especially the Reissner-Mindlin theory and Zhilin's plate theory. Details of the derivation of the theory will be published in a forthcoming paper [3]. (© 2011 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Beyond elementary catastrophe theory

We give a brief discussion of the relations between elementary catastrophe theory, general catastrophe theory, singularity theory, bifurcation theory, and topological dynamics. This is intended to clarify the status, and potential applicability, of “catastrophe theory,” a phrase used by different authors and at different times with different meanings. Catastrophe theory has often been criticized for (supposed) applicability only to gradient systems of differential equations; but properly speaking this criticism can apply only to the elementary version of the theory (where it is in any case wrong). Roughly speaking, elementary catastrophe theory deals with the singularities of real-valued functions, general catastrophe theory with singularities of flows. Between these lies singularity theory, which deals with vector-valued functions. All relate strongly to bifurcation theory and topological dynamics. The issue is more subtle than it appears to be, and we describe an example where elementary catastrophe theory has been used to solve a long-standing problem about nongradient flows: degenerate Hopf bifurcation.     

An Iterative Analytical Theory in the Mechanics of Layered Composite Systems

An iterative analytical theory in the mechanics of layered composite systems is developed. The prehistory of the nonclassical theory of layered systems is presented. The division of this theory into two principal directions - discrete-structural and continuous-structural - is mentioned. The basic iterative Ambartsumyan theory, which belongs to the second direction, is described. The formation of the generalized iteration theory of first approximation is shown. In this theory, the disagreement between the kinematic and static models is removed, i.e., a generalization of these models is realized. The theory of second approximation is described. An iterative principle is presented for the formation of a higher-approximation nonclassical theory. Based on this principle, theories of anisotropic composite shallow shells, plates, and beams are formulated. Comparative calculation results for different layered composite systems are presented.     

Normal subsystems of fusion systems

The notion of a fusion system was first defined and exploredby Puig in the context of modular representation theory. Later,Broto, Levi, and Oliver significantly extended the theory offusion systems as a tool in homotopy theory. In this paper webegin a program to establish a local theory of fusion systemssimilar to the local theory of finite groups. In particular,we define the notion of a normal subsystem of a saturated fusionsystem, and prove some basic results about normal subsystemsand factor systems.     

A minimalist two-level foundation for constructive mathematics

We present a two-level theory to formalize constructive mathematics as advocated in a previous paper with G. Sambin.One level is given by an intensional type theory, called Minimal type theory. This theory extends a previous version with collections.The other level is given by an extensional set theory that is interpreted in the first one by means of a quotient model.This two-level theory has two main features: it is minimal among the most relevant foundations for constructive mathematics; it is constructive thanks to the way the extensional level is linked to the intensional one which fulfills the “proofs-as-programs” paradigm and acts as a programming language.