用户名: 密码: 验证码:
可修复模型的系统分析
详细信息    本馆镜像全文|  推荐本文 |  |   获取CNKI官网全文
摘要
可修复系统是可靠性理论及可靠性数学的主要研究对象.由于可修复系统模型的系统分析涉及可修复系统数学模型构建的各个环节和各种因素,涉及包括系统工程、可靠性理论、随机过程理论、微分方程理论、线性算子半群理论等多种学科的理论与方法的综合运用,涉及包括数值计算、数值模拟等计算机技术的应用,因此,从某种意义上讲,可修复系统模型的系统分析过程是一项系统工程,必须根据总体协调的需要,将它们有机地结合起来并加以研究.为此,本文基于实际研究背景的需求和对从定性到定量综合集成方法的认识,以及对可修复系统模型研究现状和存在问题的思考,提出了运用从定性到定量综合集成方法,开展可修复模型的系统分析研究课题.
     围绕上述研究课题,本文首先分析了可修复系统模型的研究现状及存在问题,介绍了可修复系统的相关概念和相关理论,并在此基础上提出了基于综合集成思想的可修复系统模型的系统分析方法;其次介绍一类特殊的线性算子半群—C0半群的相关内容,它们在讨论可修复系统模型的适定性和渐近性等方面发挥重要作用,是研究可修复系统模型的数学工具和理论基础;此后利用随机过程理论和增补变量方法,建立了一类两不同部件并联可修复系统的数学模型,并根据系统分析的需要,将系统模型转换成为卷积型Volterra积分方程以及Banach空间上的抽象Cauchy问题.针对可修复系统的数学模型,本文利用Volterra积分方程理论和C0半群理论,讨论了系统非负解的存在性和唯一性、系统解的适定性和渐近稳定性,并在一定附加条件下证明了系统解的指数稳定性;与此同时,利用微分方程理论和Banach空间的相关理论,研究了系统的可靠性、可控性、最优控制和系统模型的半离散化等问题,并利用数值计算和数值模拟的方法对本文所得部分理论结果进行了数值实验.
     本文的研究目的是通过对两不同部件并联可修复系统模型的实际研究,寻求一种行之有效的可修复系统模型的系统分析方法,并为实现系统的、总体的、科学的研究可修复系统尤其是复杂可修复系统提供可资借鉴的案例.
     本文的研究意义是为可修复系统模型的研究和应用提供了新的方法,既有利于丰富可修复系统的理论,又有利于促进可靠性理论及可靠性数学的应用,并有利于为军事、航空、航天、计算机技术等生产经营决策提供科学依据和技术支持.
     本文的主要创新之处包括:
     (1)应用从定性到定量的综合集成方法,对一类两不同部件并联可修复系统模型进行系统分析,以期丰富和完善可修复系统的理论和方法,并为实现系统的、总体的、科学的研究可修复系统提供工具.
     (2)利用泛函分析理论,对一类具有耗散特征的线性算子进行深入研究,以期不断得到新的生成定理,并为研究可修复系统提供理论基础.
     (3)利用数值计算的方法,对可修复系统模型进行数值模拟,以期获得系统的动态可靠度、可用度、可维护度等可靠性数量指标,并为进一步开展可靠性分析提供依据.
Repairable system is the main research object of reliability theory and reliability mathematics. Because of the system analysis of repairable system model involving all kinds of links and factors of the established mathematical model, including the com-prehensive utilization of the theories and methods of many disciplines such as systems engineering, reliability theory, the theory of stochastic process, the theory of differen-tial equation, the linear operator semigroup theory, etc., touching upon the application of computer technology such as numerical calculation, numerical simulation and so on, therefore, in a sense, the system analysis process of repairable system model is a systems engineering, must be based on the needs of overall coordination, to combine them or-ganically and study them separately. For this reason, based on the needs of the actual research background and the cognitions of the meta synthesis approach from qualitative to quantitative, and the thinking of the current researches and existent problems of re-pairable system model, proposed the application of the meta synthesis approach from qualitative to quantitative, developed the system analysis research topic of repairable system model.
     Around the above research subject, this paper firstly analyzed the current researches and existent problems of repairable system model, introduced the related concepts and theories of repairable system, and on this basis, the system analysis method of repairable system model which uses meta synthesis was put forward; Secondly, introduced the re-lated contents of a special kind of linear operator semigroup-C0 semigroup, these contents play an important role on the discussions of the well-posedness and asymptotic property of the repairable system model, are the mathematical tools and theoretical foundations of studying the repairable system model; Afterwards, by the theory of stochastic process and supplemented variables, a parallel repairable system with two non-identical unit was established, and converted the system model into convolution Volterra integral equation and abstract Cauchy problem in Banach space according to the needs of system anal-ysis. Be aimed at the repairable system model, using the theory of Volterra integral equation and C0 semigroup, the existence and uniqueness of the nonnegative solution of the system, the well-posedness and asymptotic property of the solution of the system were discussed, and proved the exponential asymptotic property of the solution of the system under some additional conditions; In the meantime, the problems of reliability, controllability, optimal control and the semi-discretization of the system model by using the theory of differential equation and Banach space were studied, and according to the methods of numerical calculation and the numerical simulation, some conclusions drawn from this thesis have been proved.
     This dissertation is intended to study the actual research of a parallel repairable system with two non-identical unit, try to find out a effective way of the system analysis for the repairable system model, and so as to provide reference for realizing the systemic, overall, scientific research on the repairable system especially the complex repairable system.
     The meaning of this dissertation shows that it can provide a new method for the research and the application of the repairable system model, it would not only benefits to enrich the repairable system theory, but also to promote the application of reliability theory and reliability mathematics, and to provide the scientific evidence and technical support for the production and management decision-making on military, aviation, space-flight, computer technology.
     The major contributions and innovations of this dissertation are as follows:
     (1) Utilizing the meta synthesis approach from qualitative to quantitative, so as to analyze a parallel repairable system model with two non-indentical units systematically, to wish can be rich and perfect the theory and method of repairable system, and in order to provide implementation for realizing the systemic, overall, scientific research on the repairable system.
     (2) Using the theory of functional analysis, to study deeply about linear operator with dissipative characteristics, in order to get new generation theorems constantly, and provide theoretical basis for studying the repairable system.
     (3) By the method of numerical calculation, so as to carry on numerical simulation for repairable system model, in order to obtain the quantity index of reliability such as the reliability, availability and maintainability of system dynamics and so on, and to provide the evidence for further developing the reliability analysis.
引文
1 A.Pazy. Semigroups of linear operators and application to partial differential equa-tions[M]. New York:Springer-Verlag,1983.
    2 B.S.Dhillon, O.C.Anude. Common-cause failure analysis of a parallel system with warm standby[J]. Microclectron.Reliab.,1993,33:1321-1342,
    3 B.S.Dhillon. Analysis of redundant systems with human errors[J]. Pro.Annual Re-liability and Maintainability Symposium,1985,1:315-321.
    4 B.S.Dhillon. Stochastic analysis of a parallel system with common-cause failures and critical human errors[J]. Microelectron.Reliab.,1989,29(4):627-637.
    5 B.S.Dhillon, N.Yang. Reliability and availability of warm standby systems with common-cause failures and human errors[J]. Microelectron.Reliab.,1992,32(4):561-575.
    6 B.S.Dhillon, N.Yang. Human error analysis of a standby redundant system with arbitrarily distributed repair times[J]. Microelectron.Reliab.,1993,33(3):431-444.
    7 B.S.Dhillon, N.Yang. Stochastic analysis of standby systems with common-cause and human errors[J]. Microelectron.Reliab.,1992,32:1699-1712.
    8 B.S.Dhillon, N.Yang. Availability of a man-machine system with critical and non-human error[J]. Microclectron.Reliab.,1993,33(10):1511-1521.
    9 D.P.Gaver. Time to failure and availability of paralleled system with repair[J]. IEEE Transactions on Reliability,1963,12:30-38.
    10 D.R.Cox. The analysis of non-Markovian stochastic processes by the inclusion of supplementary variablcs[J]. Cambridge Phil.,1955,51:433-441.
    11 F.L.Huang. Spectral properties and strong asymptotic stability of one-parameter semigroups[J]. Journal of Differential Equations.1993,104:182-195.
    12 F.L.Huang. Strong Asymptotic stability of linear dynamical systems in Banach space[J]. Journal of Differential Equations.1993,104:307-324.
    13 G.Chadwick. A System View of Planning[M]. Oxford:Pergamon Press,1978.
    14 G.Gregory. Decision Analysis[M]. London:Pitman Publishing,1988.
    15 G.Gupur. An Eigenvalue of M/M/1 operator and its applications[J]. Acta Func-tionalis Applicata,1999,1(1):69-74.
    16 G.Gupur, X.Z.Li, G.T.Zhu. Functional analysis method in queueing theory[M]. Hertfordshire, United Kingdom:Research Information Ltd,2001.
    17 G.Gupur, X.Z.Li. Semigroups of linear operators and application to partial differential equations[J]. Journal of System Science and Systems Engineering, 2001,10(2):137-147.
    18 G.Gupur. Well-posedness of the model describing a repairable, standby human & machine system [J]. Journal of Systems Science and Complexity,2003,16(4):483-493.
    19 G.Gupur. Well-posedness of a reliability model[J]. Acta Functionalis Applicata, 2003,5(3):193-209.
    20 G.Gupur. Asymptotic stability of the time-dependent solution of a reliability sys-tem [J]. Acta Functionallis Applicata,2005,7(4):219-316.
    21 G.Gupur. Description of relative-compact subset of a Banach space[J]. Journal of Xinyang Normal University(Natural Science Edition),2005,22(4):389-342.
    22 G.Gupur, B.Z.Guo. Asymptotic property of the time-dependent solution of a relia-bility model[J]. Journal of System Science and complexity,2005,18(3):319-39.
    23 H.B.Xu, W.H.Guo. Asymptotic stability of a parallel repairable system with warm standby[J]. International Journal of System Science,2004,35(12):685-692.
    24 H.B.Xu, W.H.Guo, J.Y.Yu, G.T.Zhu. Asymptotic stability of aa repairable system with imperfect switching mechanism [J]. International of Mathematics and Mathe-matics Science,2005,20(4):631-643.
    25 H.B.Xu, J.Y.Yu, G.T.Zhu. Asymptotic property of a repairable Multi-state de-vice[J]. Quarterly of Applied Mathematics,2005,63(4):779-789.
    26 N.Yang, B.S.Dhillon. Stochastic analysis of a general standby system with con-stant human error and arbitrary system repair rates[J]. Microelectron.Reliab., 1995,35(7):1037-1045.
    27 N.Yang, B.S.Dhillon. Availability analysis of a repairable standby human-machine system[J]. Microclcctron.Reliab.,1995,35:1401-1413.
    28 W.J.Meyer. Concepts of Mathematical Modelling[M]. New York:McGraw-Hill Inc., 1984.
    29 W.H.Guo, H.B.Xu. The well-posedness of a series maintenance model for a two-component system[J]. Journal of Systems Science and Information,2003,1(3):351-356.
    30 W.K.Chung. A k-out-of-N:G redundant system with cold standby units and common-cause failure [J]. Microelectronics Reliability,1984,24(4):691-695.
    31 W.K.Chung. An availability analysis of a k-out-of-N:G redundant system with de-pendent failure rates and common-cause failures[J]. Microelect8ron.Reliab.,1988, 28(3):391-393.
    32 W.K.Chung. A reliability analysis of a k-out-of-N:G redundant system with common-cause failures and critical human errors[J]. Microelectron.Reliab.,1990, 30(2):237-241.
    33 W.K.Chung. A reliability analysis of a k-out-of-N:G redundant system with the pres-ence of chance common-cause shock[J]. Microelectron.Reliab.,1992,32(10):1395-1399.
    34 W.K.Chung. Reliability analysis of a k-out-of-N:G redundant system in the presence of chance with multiple critical errors[J]. Microelectron.Reliab.,1993,33(3):331-334.
    35 W.K.Chung. Stochastic analysis of a k-out-of-N:G redundant system with repair and multiple critical and non-critical errors[J]. Microclectron.Reliab.,1995,35(11):1429-1431.
    36 W.Li, J.H.Cao. Some performance measures of transform line consisting of two unreliable machines with reprocess rule[J]. Journal of Systems science and systems Engineering,1998,7(3):283-292.
    37 W.L.Wang, G.Q.Xu. The well-posedness and stability of a repairable standby human-machine System[J]. Math.Comput.Modelling,3006,44:1044-1052.
    38 W.W.H. Asymptotic stability of a parallel reparable system with warm standby under common-cause failure.Acta Functionallis Applicata,2006,8(1):1-11.
    39阿合买提江.依明江.M/Ek/1排队模型研究[J].信阳师范学院学报:自然科学版,2008,21(4):484-487.
    40艾尼.吾甫尔,李学志.一个可靠机器,一个不可靠机器和一个缓冲库构成的系统分析[J].系统工程理论与实践,2002,22(2):29-36.
    41艾尼.吾甫尔.一类Banach空间中列紧集的描述[J].新疆大学学报:自然科学版,2005,22(4),389-392.
    42曹晋华,程侃.可靠性数学引论(修订版)[M].北京:高等教育出版社,2006.
    43陈传璋,候宗义,李忠明.积分方程及其应用[M].上海:上海科学技术出版社,1987.
    44陈建勇,郑海鹰.两不同型部件串联系统的最优更换策略[J].科学技术与工程,2008,8(4):873-876.
    45成国庆,李玲,唐应辉.不能修复如新的两部件串联系统的可靠性分析[J].数学的实践与认识,2008,38(10):77-83.
    46戴汝为.从定性到定量的综合集成技术[J].模式识别与人工智能,1991,4(1):5-10.
    47方兆本,缪柏其.随机过程[M].合肥:中国科技大学出版社,2001年.
    48凤宝林,冯雪,徐光甫.具有四个状态可修复系统本征值分布[J].数学的实践与认识,2006,36(8):288-292.
    49高德智,许香敏.森林发展系统中的最优控制问题[J],系统工程理论与实践,1994,14(4):90-93.
    50高洪深.社会经济系统工程[M].北京:社会科学文献出版社,1990.
    51高妍南,王辉.两不同部件并联可修系统稳态解中Po的最优控制[J].哈尔滨师范大学学报:自然科学版,2008,24(2):7-10.
    52郭卫华.一个可靠机器,一个不可靠机器和一个缓冲库构成的系统的定性分析[J].数学的实践与认识,2002,32(6):939-943.
    53郭卫华.一类计算机可修系统解的定性分析[J].琼州大学学报,2003,10(2):28-30.
    54郭卫华,许跟起.机器人与其连带安全装置构成的系统稳定性分析[J].数学的实践与认识,2003,33(9):116-122.
    55郭卫华,许跟起,徐厚宝.两个不同部件并联可修系统解的稳定性[J].应用泛函分析学报,2003,5(3):281-288.
    56郭卫华.两部件并联可修系统解的存在惟一性[J].信阳师范学院学报:自然科学版,2003,16(3):270-272.
    57郭卫华,吴松丽,徐厚宝.一类可修的人机系统解的渐进稳定性[J].系统工程理论与实践,2004,24(8):91-95.
    58郭卫华,党艳霞,高超.两不同部件并联可修复系统指数稳定性分析[J].数学的实践与认识,2009,39(2):108-114.
    59郭丽娜,郑爱华.一类具有可修故障和不可修故障的两部件并联可修系统的适定性问题[J].数学的实践与认识,2009,39(1):177-183.
    60葛琦,金爱冬.具有临界和非临界人为故障的人机系统解的存在唯一性及半离散化[J].数学的实践与认识,2007,37(9):74-80
    6l胡薇薇.可修复系统的稳定性分析[D].北京:北京信息控制研究所,2007.
    62贾诺,王涛.两不同部件并联可修系统稳态解的最优控制[J].数学的实践与认识,2007,37(20):101-106.
    63姜启源.数学模型[M].北京:高等教育出版社,1987.
    64金鑫,张玉峰.两不同部件并联可修系统解的半离散化[J].数学的实践与认识,2006,36(4):186-193.
    65金鑫,李东,张玉峰.两不同部件并联可修系统的本征值分布[J].数学的实践与认识,2006,36(10):179-184.
    66金鑫,冯雪.两不同部年并联可修系统解的存在唯一[J].延边大学学报:自然科学版,2008,34(4):250-252.
    67李保全,陈维远.线性系统理论[M].北京:国防工业出版社,1997.
    68李朗,张玉峰.两不同部件并联可修系统的本征值问题[J].数学的实践与认识,2007,37(7):410-416.
    69李朗,张玉峰,金光植.两不同部件并联可修复系统的稳定性及可靠性分析[J].数学的实践与认识,2007,37(11):78-83.
    70李洪霞,金爱冬.具有早期储备可修复收入系统的谱分析[J].数学的实践与认识,2007,37(5):89-95.
    71李荣华,冯果忱.微分方程数值解法[M].北京:高等教育出版社,1989.
    73李延保,秦国强,王在华.有界线性算子半群应用基础[M].沈阳:辽宁科学技术出版社,1992.
    73梁红梅,张玉峰.具有热储备的可修复平行系统解的半离散化[J].数学的实践与认识,2006,36(2):215-221.
    74廖晓听.稳定性的数学理论及应用[M].武汉:华中师范大学出版社,1988.
    75林尧瑞.专家系统原理与实践[M].北京:清华大学出版社,1988.
    76林元烈.应用随机过程[M].北京:清华大学出版社,2002.
    77毛用才,胡奇英.随机过程[M].西安:西安电子科技大学出版社,2001.
    78乔兴,梁红梅,马艳英.具有易损坏储备部件可修复系统主算子谱特征分析[J].大庆师范学院学报,2007,27(5):74-77.
    79乔兴,唐莉.具有软硬件可修复计算机系统解的性质分析[J].大庆师范学院学报,2008,29(5):82-84.
    80乔兴,陶有德,马丹.具有软硬件可修复计算机系统解的单调稳定性分析[J].大庆师范学院学报,2009,29(6)L52-55.
    8l钱敏平,龚光鲁.应用随机过程[M].北京:北京大学出版社,1998.
    82钱学森.论系统工程[M].长沙:湖南科学技术出版社,1982.
    83钱学森,许国志,王寿云.组织管理的技术-系统工程[N].文汇报,1978-9-27.
    84钱学森,于景元,戴汝为.一个科学新领域—开放的复杂巨系统及其方法论[J].自然杂志,1999,13(1):3-8.
    85秦化淑,林正国.常微分方程及应用[M].北京:国防工业出版社,1985.
    86史定华.某些典型可修复系统的运行特征[J].数学进展,1986,(1):34-42.
    87史定华.随机模型的密度演化方法[M].北京:科学出版社,1999.
    88史忠植.知识工程[M].北京:科学出版社,1988.
    89唐焕文.数学模型引论[M].大连:大连理工大学出版社,1991.
    90陶有德,郭丽娜,于景元,朱广田.可修复系统中具有耗散算子的抽象Cauchy问题解的适定性[J].信阳师范学院学报:自然科学版,2009,22(3):357-359.
    91陶有德,于景元,朱广田.Banach空间中可闭化线性算子与无穷小生成元[J].淮北煤炭师范学院学报,2009,30(1):15-17.
    92田巍,王伟华,王辉.定常年龄结构人口方程的半离散化[J].哈尔滨师范大学学报:自然科学版,2007,23(3):11-13.
    93田巍,张贵来,王辉.具有内部构造安全保障体系的冗余机器系统稳态解的最优控制[J].数学的实践与认识,2007,37(20):107-112.
    94汪文珑,许跟起.具一组可修复设备的系统解的适应性和稳定性[J].高校应用数学学报,2007,22(4):474-482.
    95汪应洛.系统工程[M].北京:机械工业出版社,1995.
    96汪应洛.系统工程理论方法与应用[M].北京:高等教育出版社,1998.
    97王丹,张玉峰.具有热储备可修复平行系统本征值问题[J].数学的实践与认识,2007,37(5):96-103.
    98王丹,张玉峰,张军.具有热储备可修复平行系统稳定性及可靠性分析[J].数学的实践与认识,2007,37(20):87-93.
    99王辉,金鸿章.可修复复杂系统脆性故障的研究[J].数学的实践与认识,2007,37(19):105-112.
    100王强,凤宝林.一个可修复的(m,N)系统解的存在唯一[J].延边大学学报:自然科学版,2007,33(2):86-89.
    101王强,张玉峰,金瑞星.具有易损坏储备部件可修系统的稳定性和可靠性分析[J].数学的实践与认识,2007,37(16):122-128.
    102王涛,贾诺.两不同部件并联可修系统的可靠性及零状态的可控性[J].哈尔滨师范大学:自然科学版,2008,24(6):12-14.
    103王定江.非线性种群发展方程解的性质[J].高校应用数学学报,1998,13(1):23-30.
    104王定江.森林发展系统的一个非线性半离散模型.数学的实践与认识,2003,33(2):86-90.
    105王定江.非线性森林发展系统的半离散模型及解的存在唯一性[J].浙江工业大学学报,2003,31(2):178-181.
    106王定江.非线性半离散森林系统的稳定性[J].数学的实践与认识,2005,35(2):116-118.
    107王定江.非线性半离散森林系统的可控性[J].数学的实践与认识,2005,35(11):177-180.
    108王定江.两相同部件并联可修系统正解的存在性[J].浙江工业大学学报,2005,33(3):280-283.
    109王定江.一类两相同部件并联可修系统的稳定性[J].浙江工业大学学报,2006,34(2):228-229.
    110王福胜,王辉.非线性人口发展方程的半离散化[J].数学的实践与认识,2007,37(2):85-89.
    111王利巧,张玉峰.可修复人机储备系统算子的本征值[J].数学的实践与认识,2007,37(8):112-118.
    112王伟华,王辉.关于人口发展方程半离散算法的研究[J].数学的实践与认识,2007,37(1):77-83.
    113辛玉红.供应链系统鲁棒性研究[D].北京:北京信息控制研究所,2008.
    114徐厚宝.软件系统再生策略研究的新方法[D].北京:北京信息控制研究所,2005.
    115徐厚宝,郭卫华,于景元,朱广田.带有缓冲库的串联CIMS渐近稳定性分析[J].系统工程理论与实践,2004,24(5):91-96.
    116徐厚宝,徐文兵,于景元,朱广田.软件再生系统解的渐进稳定性分析[J].数学的实践与认识,2004,34(12):112-118.
    117徐厚宝,柳合龙,于景元,朱广田,具有临界和非临界操作错误的人机系统的渐近稳定性[J].系统科学与数学,2005,25(5):513-524.
    118徐厚宝,郭卫华,于景元,朱广田,一类串联可修复系统的稳态解[J].应用数学学报,2006,29(1):46-52.
    119许跟起.强连续半群本质谱半径的扰动定理[J].数学学报,1990,33(6):757-763.
    120许跟起.强连续半群扰动本质谱半径的估计[J].数学学报,1993,36(3):335-340.
    121于景元.从定性到定量综合集成方法及其应用[J].中国软科学,1993,(5):31-35.
    122于景元.软科学研究及其方法论[J].中国软科学,1997,(6):64-71.
    123于景元,郭宝珠,朱广田.人口分布参数系统控制理论M].武汉:华中理工大学出版社,1999.
    124于景元.发展软科学重在综合集成[J].科学中国人:2005,(3):36-38.
    125于景元.钱学森综合集成体系[J].西安交通大学学报:社会科学版,2006,26(6):40-47.
    126于景元.系统工程的发展与应用[J].工程研究:跨学科视野中的工程,2009,(1):25-33.
    127张恭庆,林源渠.泛函分析讲义(上册)[M].北京:北京大学出版社,2005.
    128张元林,汪风泉,吴少敏.两个不同部件关联可修系统的可靠性分析[J].东南大学学报,1994,24(5):71-78.
    129张玉峰,金爱冬.具有多个临界和非临界错误的不完全转换的冷储备可修复系统解的存在唯一性[J].数学的实践与认识,2004,34(12):17-143.
    128赵玖.线性系统理论[M].峨嵋:西南交通大学出版社,1988.
    130郑权.强连续线性算子半群[M].武汉:华中理工大学出版社,1994.
    131郑春瑞.系统工程学概述[M].北京:科学技术文献出版社,1984.
    132周鸿兴,王连文.线性算子半群理论及应用[M].济南:山东科学技术出版社,1994.

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700