常规故障具预警功能的两相同部件并联冗余可修复系统

研究了常规故障具预警功能的两相同部件并联冗余可修复系统.通过选取状态空间和定义系统算子,将模型方程转化成为了抽象Cauchy问题.然后利用算子半群理论证明了系统解的存在唯一性与指数稳定性.另外,得到结论:当风险系数λc趋于无穷大时,这种系统逼近于一种具有mild解的模型系统.     

具有常规错误的简单混联可修复系统可靠性分析

讨论了具有常规错误的简单混联可修复系统的可靠性,其中验证了系统的指数性稳定.通过具有预警功能和非预警功能模型的对比和讨论,在风险系数趋于无穷时,发现具有预警功能的模型系统趋进于具有弱解(非预警功能)的相关模型系统.并利用计算机模拟,验证了两者的稳态可用度相对误差趋于0.     

具有预警功能的可修复系统

研究了一个具有预警功能的可修复系统．通过选取空间和定义系统算子,将模型方程转化成为了抽象Cauchy问题．然后利用算子半群理论证明了系统解的存在唯一性与指数稳定性．另外,当风险系数趋于无穷时,这种系统逼近于一种具有弱解的模型系统,利用这个性质可得出相应结论并给出了数值仿真例子．     

具有预警功能的四类故障可修复系统主算子的性质

在具有四类故障可修复系统基础上增加一个预警功能,使其变为具有预警功能的可修复系统,运用泛函分析的方法及半群理论,通过分析系统主算子的谱特征,给出了主算子谱的性质和其共轭算子及定义域,并证明系统主算子是稠定的预解正算子.最后运用正算子及共尾等相关理论,证明系统主算子的增长界和谱上界都为0.     

基于系统核与核度理论的房地产预警系统指标体系选取方法

介绍了一种用系统核与核度理论和灰色关联分析来选取房地产预警指标的新方法,并以武汉市为例证明了这种方法的有效性.这种方法可以确定出能够反映房地产状况的少数几个指标,进而可以通过这少数指标对房地产发展趋势进行预警:根据原始指标数据列间的灰关联程度,建立房地产预警系统的拓扑图,利用图论的知识来求取拓扑图的核,选取房地产预警指标.     

海上通道关键节点风险预警研究

海上通道关键节点风险预警研究是保障海上通道安全的重要环节,为准确地预警关键节点的风险,通过对历史案例的统计分析,得出主要风险源因素,构建预警指标体系,以粗糙集理论和粒子群优化原理为基础,建立了基于最小网络误差的最优风险预警模型.通过实例分析证明了该模型可对海上通道关键节点的风险进行有效预警,为保障我国国际海运通道安全,降低海上运输风险和建设"21世纪海上丝绸之路"提供决策参考.     

一类具有可修故障和不可修故障的两部件并联可修系统算子性质

研究了一类具有可修故障和不可修故障的两部件并联可修系统.运用C_0半群的理论,证明了系统算子是稠定的预解正算子,得出了系统算子的共轭算子及其定义域,并证明了系统算子的增长界为0.最后运用了预解正算子中共尾的概念及相关理论,证明了系统算子的谱上界也是0.     

具有时滞的离散捕食者-食饵系统的分析

建立了具有Holling I功能反应的离散时滞捕食与被捕食模型,引用已有的结论证明了系统的永久持续性,并且构造Lyapunov函数证明了系统正解的全局吸引性.     

复合结构可修复系统口香糖算子的性质

研究了有15个部件串并联工作的多状态口香糖生产可修复系统.运用C_0半群的理论,证明了系统算子是稠定的预解正算子,得出了系统算子的共轭算子及其定义域,并证明了系统算子的增长界为0.最后运用了预解正算子中共尾的概念及相关理论,证明了系统算子的谱上界也是0.     

具有预防性维修策略的可修复系统的指数稳定性

利用算子半群理论研究了具有预防性维修策略的可修复系统,通过分析系统算子的谱分布,以及系统算子生成C0半群{T(t)}的本质谱增长阶,证明了C0半群{T(t)}是拟紧半群.同时也证明了该半群还是不可约的.进而得到了可修复可用度的指数稳定性.     

一类奇异拟线性椭圆型方程组的可解性

研究了一类P-Laplacian方程组边值问题正径向整体解的存在性和唯一性.首先,利用隐函数定理证明了该问题的局部解的存在性与唯一性,以及解对初值的连续依赖性.最后,证明了该问题存在唯一的正径向整体解.     

R~2中具有趋化性的抛物-椭圆系统的解的性态分析

在二维空间中讨论了一个抛物-椭圆系统,而该系统来源于生物学中的趋化性模型.主要在Sobolev空间的框架下讨论了解的全局存在性与解的爆破性质,得出结论该系统存在一个门槛值,而该值决定了解全局存在或者发生爆破.最后利用利李亚普诺夫函数给出了定理的证明并得出结论.     

Rolling of a ball without spinning on a plane: the absence of an invariant measure in a system with a complete set of integrals

In the paper we consider a system of a ball that rolls without slipping on a plane. The ball is assumed to be inhomogeneous and its center of mass does not necessarily coincide with its geometric center. We have proved that the governing equations can be recast into a system of six ODEs that admits four integrals of motion. Thus, the phase space of the system is foliated by invariant 2-tori; moreover, this foliation is equivalent to the Liouville foliation encountered in the case of Euler of the rigid body dynamics. However, the system cannot be solved in terms of quadratures because there is no invariant measure which we proved by finding limit cycles.     

Weak and classical solutions to predator-prey system with cross-diffusion

In this paper, we are concerned with a system of nonlinear partial differential equations modeling a predator-prey system with cross-diffusion in heterogeneous habitats. Predators are assumed to feed on preys with a Holling type II functional response to prey density and preys are assumed to follow a logistic growth in the absence of predation. The mobility of each classes is assumed to be influenced by the gradient of other classes. The existence result is proved by means of an approximation system, the Faedo-Galerkin method, and the compactness method. The global existence of classical solutions is proved under certain restrictions on the coefficients.     

在常规故障下具有四个部件冗余系统解的最优控制

研究了具有常规故障的四个部件冗余可修复系统模型.将一组微分-积分方程描述的模型转化为六维空间的积分方程形式.运用算子理论,证明了此系统非负解的存在唯一性.并且研究了以范数为指标衡量控制标量为标准的最优控制问题.     

Characterizing Belnap's Logic via De Morgan's Laws

The aim of this paper is technically to study Belnap's four-valued sentential logic (see [2]). First, we obtain a Gentzen-style axiomatization of this logic that contains no structural rules while all they are still admissible in the Gentzen system what is proved with using some algebraic tools. Further, the mentioned logic is proved to be the least closure operator on the set of {Λ, V, ?}-formulas satisfying Tarski's conditions for classical conjunction and disjunction together with De Morgan's laws for negation. It is also proved that Belnap's logic is the only sentential logic satisfying the above-mentioned conditions together with Anderson-Belnap's Variable-Sharing Property. Finally, we obtain a finite Hilbert-style axiomatization of this logic. As a consequence, we obtain a finite Hilbert-style axiomatization of Priest's logic of paradox (see [12]).     

两部件串联可修系统解的单调稳定性

本文用纯分析的方法给出了两部件串联可修系统动态非负解的存在唯一性证明 ,并研究了系统的单调稳定性     

一类具细焦点的三次系统极限环的唯一性

继续相关文献的工作,给出与二次系统Ⅰ相伴的一类三次系统在奇点N(0,1/n)的焦点量公式,证明了系统在细焦点N外围至多有一个极限环,同时证明了当N或O为细焦点时,系统在另一个焦点外围无极限环,结合相关文献的结论,说明了具有细焦点的该系统在全平面至多有一个极限环.     

具有四类故障可修系统解的存在惟一性

研究了具有四类故障且有两个热备器 (Warm Standby)的可修系统模型 .首先对用微分——积分方程描述的模型转换为 6维空间的积分方程形式 ,运用泛函分析 Banach空间下的算子理论 ,证明了此系统非负解的存在惟一性     

BIFURCATION OF LIMIT CYCLE FOR QUADRATIC SYSTEM WITH INVARIANT PARABOLA

In a previous paper, we have proved that a planar quadratic system with invariant parabola Г has at most one limit cycle. In this paper, we use geometric characteristics to give necessary and sufficient conditions under which a PQSГ with three non-degenerate singular points can be transformed into two different definite forms. In this way, we obtain ail the bifurcations of such a system.