二阶非线性泛函微分方程解的振动性质

研究了一类二阶非线性泛函微分方程解的振动性以及非振动解的有界性.在一定条件下,建立了几个新的振动性和有界性定理,其结果推广和改进了已有的一些结果.     

一类抽象二元非线性算子的不动点的存在性与唯一性

该文利用半序Banach空间中的锥性质和单调迭代方法,以及相关正有界线性算子的谱半径条件,研究了一类抽象二元非线性算子的不动点的存在性和唯一性;从而推广和改进了一个经典定理,而且获得了一些新结果.最后给出了对一阶非线性常微分方程初值问题的应用.     

非线性三阶常微分方程的非线性三点边值问题解的存在性

基于上下解方法,在一定条件下,得到了一类带有非线性混合边界条件的三阶常微分方程的非线性三点边值问题解的存在性,作为上述存在性结果的应用,在推论中给出了一类三阶非线性微分方程三点边值问题解的存在性.     

一类非线性延迟微分方程θ-方法的数值解振动分析

该文考虑一类非线性延迟微分方程数值解的振动性.通过振动性的理论将这个非线性延迟微分方程的振动性转化为相应的线性延迟微分方程的振动性,再利用线性θ-方法的相关内容得到相应数值解的形式,从而得到数值解振动的条件以及非振动解的一些性质.为了更有力说明结果,最后给出了相应的算例.     

一类四阶微分方程边值问题解的存在唯一性

为解决两端固定支撑弹性梁解的存在性及唯一性问题,运用Leray-Schauder延拓定理,研究一类非线性四阶常微分方程边值问题,当非线性项满足适当至多增长性条件时,得到解的存在性结果.进一步,当非线性项满足Lipschitz条件时,得到解的唯一性结果.     

一个耦合双曲-抛物系统的全局光滑解

考虑一个源自生物学的耦合双曲-抛物模型的初边值问题.当动能函数为非线性函数以及初始值具有小的L~2能量但其H~2能量可能任意大时,得到了初边值问题光滑解的全局存在性和指数稳定性.而且,如果假定非线性动能函数满足一定的条件,在对初值没任何小条件假定下得到光滑解的全局存在性.通过构造一个新的非负凸熵和做精细的能量估计得到了结果的证明.     

半正定差分方程正解的存在性

利用锥压缩与锥拉伸不动点定理,在非线性项具有负下界和非减性条件下,讨论了一类二阶半正定非线性差分方程正解的存在性,改进和推广了现有差分方程的一些结果,并将所获得的结果应用于一个具体的二阶半正定非线性差分方程中.     

非线性时滞系统的K-稳定性

本文研究非线性时滞系统的K-稳定性理论,在较一般的情况下建立了两个非线性时滞微分不等式,从而为研究K-稳定性提供了强有力的手段,文中利用了上述不等式分析了一些非线性时滞系统的K-稳定性条件,文末举例说明本文结果的优越性。     

二阶差分边值问题的正解

本文研究了非线性项具有半正定和混合单调性的二阶差分边值问题正解的存在性.利用Krasnosel'skii不动点定理和锥拉伸与锥压缩不动点定理,讨论了二阶半正定非线性差分边值问题以及非线性项具有半正定和混合单调性的特征值问题正解的存在性,给出了这几类差分边值问题的正解存在性定理,改进和推广了具有正定非线性项的二阶差分边值问题的一些结果,并将所得结果应用于一个具体的二阶半正定非线性差分边值问题中.     

分数阶奇异微分方程初值问题正解的存在性

分数阶微分方程解的存在性问题近年来引起了许多人的关注,本文考察了一个非线性分数阶奇异微分方程初值问题正解的存在性,我们的结果削弱了Babakhani, Varsha的假设条件,并要求其非线性项具有一定程度的奇异性．     

Systems of Quotients of Lie Triple Systems

In this article, we introduce the notion of system of quotients of Lie triple systems and investigate some properties which can be lifted from a Lie triple system to its systems of quotients. We relate the notion of Lie triple system of Martindale-like quotients with respect to a filter of ideals and the notion of system of quotients, and prove that the system of quotients of a Lie triple system is equivalent to the algebra of quotients of a Lie algebra in some sense, and these allow us to construct the maximal system of quotients for nondegenerate Lie triple systems.     

交通运输系统协调发展理论与模型研究

提出了交通运输系统协调度的评价分析模型.从系统论的观点出发,提出了交通运输系统协调理论的概念,探讨了交通运输系统随时间而不断演化变迁的规律,给出了交通运输系统协调发展基本步骤;并根据协调学原理,讨论了交通运输系统的协调性问题,提出了系统协调发展模型,对交通运输子系统内部及子系统之间及系统整体的协调发展问题进行了研究,探讨了交通运输可持续发展的系统协调管理过程,为进一步研究交通运输系统的可持续发展奠定了基础.     

System of generalized resolvent equations with corresponding system of variational inclusions

The purpose of this paper is to introduce a new system of generalized resolvent equations with corresponding system of variational inclusions in uniformly smooth Banach spaces. We establish an equivalence relation between system of generalized resolvent equations and system of variational inclusions. The iterative algorithms for finding the approximate solutions of system of generalized resolvent equations are proposed. The convergence of approximate solutions of system of generalized resolvent equations obtained by the proposed iterative algorithm is also studied.      

一类五次Hamilton系统平面相图的拓扑分类

该文研究一类五次的哈密顿系统. 通过对其系数的分析、计算给出它所有可能的平面相图的拓扑类型. 从而为对它们的扰动系统的研究提供条件.     

基础模糊命题演算系统BL~*的改进系统

基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张。通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理体系。     

Bifurcation of limit cycles at the equator for a class of polynomial differential system

In this paper, center conditions and bifurcation of limit cycles from the equator for a class of polynomial system of degree seven are studied. The method is based on converting a real system into a complex system. The recursion formula for the computation of singular point quantities of complex system at the infinity, and the relation of singular point quantities of complex system at the infinity with the focal values of its concomitant system at the infinity are given. Using the computer algebra system Mathematica, the first 14 singular point quantities of complex system at the infinity are deduced. At the same time, the conditions for the infinity of a real system to be a center and 14 order fine focus are derived respectively. A system of degree seven that bifurcates 13 limit cycles from the infinity is constructed for the first time.     

Robust tube-based MPC of constrained piecewise affine systems with bounded additive disturbances

In this article, we propose a robust tube-based MPC formulation for a class of hybrid systems, namely autonomously switched PWA systems, with bounded additive disturbances. The term tube-based refers to those control techniques whose objective is to maintain all possible trajectories of the uncertain system inside a tube which is a set around the nominal (or reference) system trajectory, that is free from disturbances. Common methods in tube-based control systems consider an error dynamical system as the difference between the state of the nominal system and the state of the perturbed system. However, this definition of the error dynamical system leads to a complicated switched affine system for PWA systems. Therefore, we use a new notion of the reference system similar to the nominal system except that the switching between the various modes of the PWA system is driven by the state of the real system. Using this reference system instead of the nominal system leads us to an error dynamical system that can be modeled as a switched linear system. We employ a switched linear controller to stabilize this error system under arbitrary switching. This auxiliary controller forces the states of the uncertain system to remain in a tube confined to the invariant set around the state of the reference system. We add new constraints and tighten some other constraints of the nominal hybrid MPC for the reference system, in order to ensure convergence of the uncertain system and to guarantee robust exponential stability of the closed-loop system.     

非线性控制系统的梯度扩张的能达性

研究了仿射非线性控制系统的梯度扩张系统.利用非线性控制系统的微分几何理论,通过计算梯度扩张系统的输出函数沿着输入向量场和系统向量场的李导数,讨论仿射非线性控制系统的梯度扩张系统的能达性分布,研究了非线性控制系统和它的梯度扩张系统的能达性之间的关系,证明了如果梯度扩张系统是能达的,则原非线性控制系统也是能达的.     

多元统计分析在课堂教学质量评价元中的应用

为了确保课堂教学质量评价体系的科学性,我们必须对它进行元评价,在元评价过程中,使用α法计算评价的信度,用因子分析评价的效度,是检验评价体系可信和有效程度的重要方法。     

两相同部件冷贮备可修系统算子性质

研究了两相同部件冷贮备可修系统算子性质,此系统由2个同型部件及一个修理设备构成.其中一个部件工作,另一个部件冷储备.运用C_0半群的理论,证明了系统算子是稠定的预解正算子,得出了系统算子的共轭算子及其定义域,并证明了系统算子的增长界为0.最后运用了预解正算子中共尾的概念及相关理论,证明了系统算子的谱上界也是0.