一类带修理工休假可修系统解的存在唯一性及正则性分析.pdfVIP

第43卷第8期 数学的实践与认识 Vol_43．NO．8 2013年4月 MATHEMATICSINPRACTICEANDTHEORY Apr．，2013 一类带修理工休假可修系统解的存在唯一性及正则性分析 郭丽娜，任杨莉，张玲玲 (太原理工大学数学学院，山西太原030024) 摘要：考虑一类修理工可多重延误休假的礼部件串联可修复系统解的存在唯一 性及正则性问题．通过将系统模型方程转化为一组算子积分方程，利用不动点理论 讨论该系统局部解的存在唯一性问题，再由一致先验估计和连续延拓讨论系统整体 解的存在唯一性问题，继而分析解的正则性问题．为解决复杂可修复系统解的存在 唯一性及正则性提供了可行性方法，并且方法同样适用于排队论系统和其他类似系 统． 关键词： 可修复系统；多重休假；局部解；整体解；解的正则性；不动点理论 1导论 带修理工休假的系统广泛存在于可修复系统及排队论系统中，涉及到航空、航天、国防、 金融、网络通信等众多领域，具有重要的理论意义和应用价值．修理工休假模型最早出现在 “修理工休假”的概念引入到可修复系统中，讨论了修理工可休假的一些可修复系统的模型， 并且提出了“延误休假”，“单重休假”和“多重休假”等概念．但这些文献仅限于对带修理 工休假系统的一些稳态可靠性指标的讨论．文f41利用半群理论研究了一类修理工可多重延 误休假且修理设备可更换的n部件串联可修复系统广义解的存在唯一性，及渐近稳定性，并 对系统参数进行了灵敏度分析．但因为该系统中不仅涉及系统部件的工作时间，部件失效后 的修理时间，还涉及休假工的延误休假时间和休假时间，以及修理设备失效后的更换时间，这 增加了对此类多变量系统古典解的存在唯一性的研究难度．事实上，对多变量可修复系统(古 典)解的存在唯一性问题，很少有文献涉及，特别是对于四变量以上可修复系统古典解的存在 唯一性问题是，目前仍尚未解决．然而在传染病模型中，姚勇【5】和闫萍【6]等人利用不动点理 论，讨论了两类传染病动力学模型的整体解的存在唯一性及正则性问题．本文以文[4]中系 统模型的一个特例为研究对象(即不考虑修理设备的更换时间，或假设修理设备不会失效)， 将文献[5-6]中的方法引入到可修复系统古典解存在唯一性的研究中，为多变量可修复系统、 多变量排队论系统等类似系统以及多变量一阶偏微分方程组解的存在唯一性及正则性的研 究提供一种可行性途径． 本文研究的系统模型具体如下：在时刻t=0，所有部件都是新的，系统开始工作，修理工 开始准备休假．如果在延误休假阶段有部件失效，修理工立即修理失效部件，延误休假终止； 收稿日期：2013—01—13 万方数据 8期 郭丽娜，等：一类带修理工休假可修系统解的存在唯一性及正则性分析 227 否则修理工在延误休假结束后开始休假．当休假结束后，如果系统中没有失效部件，则修理工 准备下一次休假；否则修理工立即修理失效部件．假设修理设备在使用前后及使用过程中均 不会失效．则由概率分析的方法可得下述偏微分方程组[3--4]： [面d+e+A卜Po)=／0。c (1) rm)Po∽州蚪霎序㈤嘲舭∥ [裳+鑫+A州z)]P01(∽Ⅲ (2) [兰+嘉州z)卜㈦扣倘心㈡，㈦忍…，礼 (3) [妄+苗讹㈤一咖Ⅲ，…怎…，佗 ㈥ 这里，A=∑九．边界条件为 P01(t，0)=ePoo(t) (5) P1i(￡，0)=0，i=1，2，…，佗 (6)