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

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

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

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

具有易损坏储备部件可修复系统的可靠性分析

讨论了在常规故障条件下具有损坏储备部件可修复系统的可靠性,利用算子半群理论证明了系统非负时间依赖解的存在唯一性、渐近稳定性和指数稳定性,并通过计算机数值模拟验证了在一定条件下预警系统与非预警系统的稳态可用度的相对误差趋于0.     

一类具有脉冲效应和Beddington-DeAngelis功能函数的非自治随机捕食-被捕食系统

建立了一类具有Beddington-DeAngelis功能函数的非自治脉冲随机捕食-被捕食系统.通过It?公式和随机微分方程比较原理,证明了该系统解的存在唯一性和有界性以及系统趋于灭绝的条件.     

具有环境污染的随机Lotka-Volterra模型周期解的存在性与种群的灭绝性

种群系统在受到环境噪声干扰的同时,还会受到环境污染的影响.讨论了具有环境污染的非自治随机Lotka-Volterra模型.通过构造Lyapunov函数证明了系统正周期解的存在性.运用Ito公式和鞅的强大数定律给出了种群灭绝的充分条件.通过数值例子验证了所得到的结论.     

具有Holling-III型功能反应的捕食者-食饵扩散模型中避难所的影响

本文在齐次Neumann边界条件下考虑食饵具有避难所的捕食者-食饵扩散模型, 其功能反应函数为Holling-III 型. 主要讨论该系统全局吸引子的存在性和系统永久持续生存性, 以及 避难所对系统非负平衡点稳定性的影响.     

带有平面边界凸曲面的无穷小刚性对偶问题的可解性

本文重新讨论了一类带有平面边界的凸曲面的无穷小刚性问题.找到该线性化等距嵌入系统和齐次线性化Gauss-Codazzi系统之间的对偶关系.主要找到了齐次线性等距嵌入系统的对偶问题及对偶边界条件,并证明了其具有非平凡解,再次验证了该类凸曲面具有无穷小非刚性.     

具有Holling-Ⅲ型功能反应的捕食者-食饵扩散模型中避难所的影响

本文在齐次Neumann边界条件下考虑食饵具有避难所的捕食者-食饵扩散模型,其功能反应函数为Holling-III型.主要讨论该系统全局吸引子的存在性和系统永久持续生存性,以及避难所对系统非负平衡点稳定性的影响.     

具有预警功能的热储备可修复平行系统

在热储备可修复平行系统的基础上,增加了一个预警状态,使其变为预警系统,使得系统的初值条件属于定义域,从而由线性算子半群方法求得的弱解变为强解,并研究了系统的稳定性,同时当风险系数λ_c。趋于无穷大时对预警系统和非预警系统的稳态可用度进行了分析.     

一类具有Watt型功能性反应的捕食系统的极限环与稳定性

研究一类具有Watt型功能性反应的捕食模型.讨论了该系统正平衡点的存在性以及非负平衡点的性态,应用Poincare-Bendixson定理和张芷芬定理,证明了极限环的存在性和唯一性,并采用构造Dulac函数的方法,获得了正平衡点全局渐近稳定性的一个充分条件.     

一个备用部件的可修复人机系统的最优控制

讨论了两个运行部件并联和一个储备部件组成的可修复系统的非负解以及系统在某一时刻T的最优控制问题.     

两相同部件冷贮备可修系统半离散化的研究

利用半离散的方法将两相同部件冷贮备可修系统中的μ(x)进行离散,得到两个偏微分方程,进一步利用算子半群的理论证明离散后的解是收敛于原方程的解.     

一类具有储备部件的可修复人机系统的指数稳定性

研究了具有储备部件的可修复人机系统.运用Banach空间上的线性算子半群理论,证明了严格占优本征值的存在性,并通过分析系统本质谱界经过扰动后的变化,进一步表明在一定的条件下,系统动态解以指数形式收敛于系统的稳态解.     

两同型部件温贮备可修系统解的指数渐近稳定性

运用强连续半群理论研究两同型部件温贮备可修系统解的指数渐近性质,首先证明系统所生成的C0半群T(t)是拟紧的.其次证明0是对应于系统的主算子及其共轭算子的几何重数和代数重数为1的特征值,推出在右半平面和虚轴上除0以外其他所有点都属于该算子的豫解集,由此推出该系统的时间依赖解当时刻趋向于无穷时强收敛于系统的稳态解.     

Cash Recycling Systems: Prediction and Optimization

We predict the future turnovers of Cash Recycling System (CRS) by simple and efficient time series methods using the past data. Based on this prediction, we present an Mixed Integer Programming approach to find optimal replenishment schedules in reasonable running-time. (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Piece-wise linear approximation of functions of two variables

The goal of increasing computational efficiency is one of the fundamental challenges of both theoretical and applied research in mathematical modeling. The pursuit of this goal has lead to wide diversity of efforts to transform a specific mathematical problem into one that can be solved efficiently. Recent years have seen the emergence of highly efficient methods and software for solving Mixed Integer Programming Problems, such as those embodied in the packages CPLEX, MINTO, XPRESS-MP. The paper presents a method to develop a piece-wise linear approximation of an any desired accuracy to an arbitrary continuous function of two variables. The approximation generalizes the widely known model for approximating single variable functions, and significantly expands the set of nonlinear problems that can be efficiently solved by reducing them to Mixed Integer Programming Problems. By our development, any nonlinear programming problem, including non-convex ones, with an objective function (and/or constraints) that can be expressed as sums of component nonlinear functions of no more than two variables, can be efficiently approximated by a corresponding Mixed Integer Programming Problem.