时滞周期系统周期解的存在性

文献[1]利用辅助函数及不动点定理讨论了时滞周期系统周期解的存在性,给出了几个充分性判别准则,在这些准则中都要求辅助函数定正、凸且具有无穷小上界,本文试图利用两个辅助函数和不动点定理对系统(1)进行讨论,得到了     

周期解的存在性和解的渐近性：含时滞的周期抛物系统

本文应用单调方法研究含时滞的周期抛物系统的周期解的存在性和解的渐近性,并应用所得结论讨论了一类含时滞的竞争－竞争－互惠生物模型。     

p-q-Laplace系统周期解的存在性

利用临界点理论研究了p-q-Laplace系统的周期边值问题.首先定义p-q-Laplace系统的弱周期解;其次给出一些引理;然后用临界点理论中的极小极大方法得到关于p-q-Laplace系统弱周期解的一个存在性定理;最后讨论了p-q-Laplace系统的相关问题.本文使用的主要方法是临界点理论中的环绕定理.     

两类分段对称系统周期的存在性

本文研究了两类分段对系统周期解的存在性,得到了系统相应的周期解存在的充分条件,作用应用,证明了一类具有分段对称性的时滞微分方程的周期解的存在性,推广了现有的相关结果。     

具无穷时滞的中立型周期微分系统周期解的存在性

研究了一类具无穷时滞的中立型周期微分系统周期解的存在性问题.利用指数型二分性及Krasnoselskii不动点定理,建立了保证该系统的周期解的存在性的充分条件.所得结果推广了文[1-7]的有关结果.     

一类高维非自治系统周期解的存在性和唯一性

该文利用Schauder和Roth不动点定理,讨论了一类高维非自治系统周期解的存在性和唯一性,给出了其存在周期解和存在唯一周期解的一组充分性判据.     

一个高维自治系统周期轨道的存在性定理

本文利用非线性泛函数分析拓扑度理论，结合常微分方程定性分析的方法，讨论了具双曲型奇点的ｎ维自治系统周期轨道的存在性，推广了Ｇｒａｓｍａｎ的结果，指出了Ｇｒａｓｍａｎ定理中有多余的条件。     

一类具脉冲效应的p-Laplace系统周期解的存在性

通过利用临界点理论中的极小极大方法,考虑一类具脉冲效应的p-Laplace系统周期解的存在性,获得了一些新的存在性结果,所得结果推广并改进了某些已有的结果.     

一类Lotka-Volterra系统正拟周期解的存在性

本文利用KAM迭代技巧证明了一类具有拟周期系数的Lotka-Volterra系统正拟周期解的存在性.     

n维变时滞Lotka-Volterra系统周期正解的存在性

基于非线性常微分方程泛函分析研究了一类变时滞n维非自治Lotka-Volterra系统周期正解的存在性,利用重合度理论建立了这类系统周期正解的存在性判据,得到了相应的充分性条件.同时对系统的持久性问题也作了分析,得到了相应的定理.最后,通过计算机仿真,对文中论述周期正解的存在性进行了佐证.     

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.     

模块化可靠性系统的Signature计算方法研究

系统Signature是体现结构设计优良性的一组向量,描述系统设计对系统故障率的影响,在诸如系统可靠性指标分析、系统设计、系统寿命比较、寿命极限行为以及系统设计优化等方面展现出了强大的功能,成为可靠性研究领域越来越强有力的研究工具。而如何求解一个系统的Signature往往成为分析的关键一步,当系统庞大而复杂时,Signature计算难度将随着元件数目的增加呈指数增加,出现维数爆炸问题,这无疑对后续的分析造成巨大的障碍. 本文为了解决此问题,建立了基于模块化思想的系统Signature求解方法,并给出了基于模块化思想的模块化串、并联系统与模块化备份系统的求解方法,对比于传统算法,运用模块化思想大大减少了计算Signature的复杂度,能够有效减小计算量,缩减计算时间,并拓展了可求解Signature的系统范围。     

Model Dirac-Maxwell equations with pseudounitary symmetry

We introduce a new system of equations called a model system of Dirac-Maxwell equations, reproducing the main properties of the standard system. At the same time, the model system of equations differs from the standard system in several ways; in particular, it is a tensor system and has a new symmetry with respect to the pseudounitary group. We also propose a version of the model system of Dirac-Maxwell equations with local (gauge) pseudounitary symmetry. We show that any spinor solution of the standard system of Dirac-Maxwell equations can be obtained from the corresponding tensor solution of the model system. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 157, No. 3, pp. 425–435, December, 2008.     

Optimal burn-in for maximizing reliability of repairable non-series systems

Burn-in is a manufacturing process applied to products to eliminate early failures in the factory before the products reach the customers. Various methods have been proposed for determining an optimal burn-in time of a non-repairable system or a repairable series system, assuming that system burn-in improves all components in the system. In this paper, we establish the trade-off between the component reliabilities during system burn-in and develop an optimal burn-in time for repairable non-series systems to maximize reliability. One impediment to expressing the reliability of a non-series system is in that successive failures during system burn-in cannot be described precisely because a failed component is not detected until the whole system fails. For approximating the successive failures of a non-series system during system burn-in, we considered two types of repair: minimal repair at the time of system failure, and repair at the time of component or connection failure. The two types of repair provide bounds on the optimal system burn-in time of non-series systems.     

非线性方程组的一种解法

文中给出了求非线性方程组的一种解法；它找到一个变换，可使原方程组变换成一个新的方程组，通过求变换后方程组的解求得原方程组的解．     

Singularity Structure of Third-Order Dynamical Systems. II

The singularity structure of the solutions of a general third-order system, with polynomial right-hand sides of degree less than or equal to two, is studied about a movable singular point. An algorithm for transforming the given third-order system to a third-order Briot–Bouquet system is presented. The dominant behavior of a solution of the given system near a movable singularity is used to construct a transformation that changes the given system directly to a third-order Briot–Bouquet system. The results of Horn for the third-order Briot–Bouquet system are exploited to give the complete form of the series solutions of the given third-order system; convergence of these series in a deleted neighborhood of the singularity is ensured. This algorithm is used to study the singularity structure of the solutions of the Lorenz system, the Rikitake system, the three-wave interaction problem, the Rabinovich system, the Lotka–Volterra system, and the May–Leonard system for different sets of parameter values. The proposed approach goes far beyond the ARS algorithm.     

Reduced systems in Markov chains and their applications in queueing theory

A reduced system is a smaller system derived in the process of analyzing a larger system. While solving for steady-state probabilities of a Markov chain, generally the solution can be found by first solving a reduced system of equations which is obtained by appropriately partitioning the transition probability matrix. In this paper, we catagorize reduced systems as standard and nonstandard and explore the existence of reduced systems and their properties relative to the original system. We also discuss first passage probabilities and means for the standard reduced system relative to the original system. These properties are illustrated while determining the steady-state probabilities and first passage time characteristics of a queueing system.     

Bifurcation of limit cycles at the equator

This paper studies center conditions and bifurcation of limit cycles from the equator for a class of polynomial differential system of order seven. By converting real planar system into complex system, we established the relation of focal values of a real system with singular point quantities of its concomitant system, and the recursion formula for the computation of singular point quantities of a complex system at the infinity. Therefore, the first 14 singular point quantities of a complex system at the infinity are deduced by using computer algebra system Mathematica. What’s more, the conditions for the infinity of the real system to be a center or 14 degree fine focus are derived, respectively. A system of order seven that bifurcates 12 limit cycles from the infinity is constructed for the first time.     

Poisson冲击下的$k/n(G)$系统的可靠性分析

本文研究了一类Poisson冲击下的$k/n(G)$系统(即$k$-out-of-$n$: $G$系统). 假定冲击的到达数形成一个参数为$\lambda$的Poisson过程, 且冲击的量服从某一分布. 当每次冲击到达时, 对系统中工作的部件独立地产生影响. 进而假定每一部件以一定的概率故障, 概率值是冲击量的函数. 且各次冲击独立地对系统造成损失, 直到工作部件数少于$k$系统故障为止. 在这些假定下, 我们获得了系统的可靠度函数和系统的平均工作时间. 进一步, 假定系统是可修的, 系统中有一个维修工, 并根据``先坏先修’’的维修规则对故障部件进行维修. 在维修时间服从指数分布的假设下, 系统状态转移服从Markov过程. 对该系统我们建立了状态转移方程, 并求得了系统可用度、稳态下的平均工作时间、平均停工时间和系统失效频率等可靠性指标. 最后, 我们还给出了一个简单例子来演示讨论的模型.     

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

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