一类可修的人机系统解的渐近稳定性

研究了两相同部件温储备可修的人机系统,利用由该系统所决定的算子A+B生成的Banach空间中的正压缩C0半群,证明了此系统的非负稳定解恰是算子A+B的.本征值对应的本征向量,同时通过研究算子A+B的谱特征,得到了算子A+B的谱点均位于复平面的左半平面且在虚轴上除0点外无谱的结论,进而得到了该系统的渐近稳定性.     

两部件并联维修系统解的渐近稳定性

研究了两部件并联维修系统,在系统非负解存在惟一的基础上,利用系统算子生成的Banach空间中的正压缩C0半群,证明了系统的非负稳定解恰是系统算子0本征值对应的非负本征向量.同时通过研究系统算子的谱特征,证明了系统算子的谱点均位于复平面的左半平面且虚轴上除0外无谱,进而得到系统的渐近稳定性.     

一个可靠机器,一个不可靠机器和一个缓冲库构成的系统分析

应用强连续算子半群理论证明一个可靠机器 ,一个不可靠机器和一个缓冲库构成的系统存在唯一的非负时间依赖解.     

电站两辅助设备冷贮备系统的可靠性分析

研究了由两个同型部件、一个转换开关和一个修理工组成的电站单元机组辅助设备的冷贮备系统.通过选取空间和定义算子, 将模型方程转化成了抽象Cauchy问题. 利用预解正算子和C₀半群理论, 讨论了系统动态解的存在唯一性及其表达式. 通过分析系统算子的谱分布,利用预解正算子和共尾理论得到系统的指数稳定性. 在此基础上,用一个新的方法讨论了系统的稳态指标.     

发汗控制系统的解对发汗剂流速的连续依赖性

本文研究发汗烧蚀控制问题的解及其解的性质。引入变换将含有附加方程的问题化为发展方程，通过应用算子半群理论，研究其相应产生的发展系统，证明了发汗烧蚀问题解的存在唯一性及其系统温度对发汗剂流量的连续依赖性。     

半群方法在发汗控制问题中的应用

本文研究在高速飞行体飞行中出现的热防护发汗控制模型导出的自由边界问题，引入变换将其化为发展方程，研究其相应产生的发展系统，用半群方法证明了发汗控制边值问题解的存在性，唯一性。其方法对一般抛物算子非线性自由边界问题及高维问题也适用     

具有有限等待空间的成批服务系统

应用有界线性算子半群理论证明一类成批服务系统的解的存在唯一性和非负性.     

分段广义正交多项式算子法的非线性系统分析

首先对文献[7]提出的分段广义正交多项式算子(简记为PGOPO)的主要运算规则进行了概括和总结,特别是推导出了非线性函数的PGOPO递推计算公式;其次对一般非线性系统PGOPO算子解及解的收敛性问题进行了分析、研究,证明了PGOPO算子解将收敛于其精确解;最后采用PGOPO算子法对一类含时延的非线性系统进行了分析,并推导出便于使用的递推求解算法.给出的数值算例论证了该算法的有效性.     

拟线性椭圆系统的H—半变分不等式

本文利用伪单调算子理论研究拟线性椭圆系统的Ｈ－半变分不等式，证明了该系统解的存在性。     

平移式柔性机器人的反馈跟踪控制

本文考虑Ｘ－Ｙ平移式柔性机器人控制系统．单杆负载柔性臂系统可以描述为分布参数模型，我们对系统提出了较为一般的控制策略，在机器人手臂的根部和自由端设计观测器和跟踪反馈控制器，并利用算子半群理论证明了负载柔性机器人系统在所采用的跟踪反馈控制下是全局渐近稳定的．     

WELL-POSEDNESS OF THE MODEL DESCRIBING A REPAIRABLE,STANDBY,HUMAN & MACHINE SYSTEM

By using the strong continuous semigroup theory of linear operators we provethe existence of a unique positive time-dependent solution of the model describing a re-pairable, standby, human & machine system.     

FRACTIONAL ORDER EVOLUTION EQUATIONINTERPOLATING BOTH HEAT AND WAVE EQUATION

1.IntroductionInthispaperweconsidertheCauchyproblemforthefollowingintegrodifferentialequationHerewedenotebyrtheGammafunction,byb(t)theDiracfunction.Equation(1.1)describestheheatconductionwithmemory12'3'4].Wesaythatacolltinuousfunction*Thisresearchissuppor…     

ON THE COMPLETION TIME AND THE INTERRUPTION TIME OF A JOB PROCESSED ON AN UNRELIABLE MACHINE

This paper considers the completion time and the interruption time of a job processed on an unreliable machine. By using the general theory of stochastic orderings, we obtain the closure properties of the distribution of the completion time and the interruption time on L^ and PH life distribution classes. We get an exponential bound for the tail probability of the interruption time.     

一类分布参数混合系统的稳定性分析

将混合系统推广到分布参数环境下,提出分布参数混合系统的概念.基于混合系统和分布参数系统的建模方法,建立了一类分布参数混合系统的模型,并对其稳定性进行分析.运用算子半群理论以及混合系统的五元组描述法及其稳定性关系比较理论的结论,通过选择适当的映射,将分布参数混合系统的的稳定性问题转化为集中参数下混合系统稳定性问题,进而得出了一致渐近稳定的充分条件并加以证明.仿真实例验证了文中结论的正确性.     

设备多状态、多类顾客制造系统的生产速率和库存分配联合决策

在生产制造系统中, 设备状态严重制约系统产能, 并增加生产过程的不确定性. 为应对不确定性对系统的影响, 对顾客进行细分, 实施差异化服务. 在顾客泊松达到、 缺货不补的假设下, 研究了设备多状态、多类顾客制造系统的生产和库存分配联合决策问题. 利用马尔科夫决策理论, 建立了系统在无限期期望折扣总成本准则和平均成本准则下的最优方程, 并证明了最优策略具有相似的结构性质. 最优生产速率策略是生产阈值水平随设备状态非增的阈值策略, 即当库存水平降至该阈值水平之下时, 以允许的最大生产速率生产, 否则不生产. 最优库存分配策略是分配阈值水平随设备状态非增的阈值策略. 另外, 缺货成本大的顾客具有较低的分配阈值.     

分布参数切换系统的建模及仿真方法

讨论分布参数切换系统的建模与仿真问题.运用算子半群理论建立了分布参数切换系统的发展方程模型,并设计了系统仿真的方法.对于切换律与系统状态相关时切换律难以得出数值解的情况,运用广义正交多项式求出系统的逼近切换律,进而完成系统的仿真.最后,通过两个仿真实例,验证文中提出方法的可行性和有效性.