现代数学基础学习报告.doc

现代数学基础学习报告可修复人机系统解的渐进稳定性分析 摘 要 本文通过分析系统算子的谱点分布及特征值,进而得出系统解的渐进稳定性. 人机系统是对作为主体的人和所控制的各种类型机器的统称.伴随着人机系统的日益庞大和复杂化,新技术及新材料应用速度不断加快,而预防设备并没有及时达到完善.因此,提高系统(包括硬件系统和软件系统)的稳定性一直以来都是工程学及其相应学科所迫切需要解决的问题.文献1中作者运用Laplace变换研究此模型,并指出了系统稳定解的存在性.文献2证明了系统动态非负解是存在唯一的.1泛函分析介绍泛函分析是20世纪30年代形成的数学分科，是从变分问题，积分方程和理论物理的研究中发展起来的。它综合运用函数论，几何学，现代数学的观点来研究无限维向量空间上的泛函，算子和极限理论。它可以看作无限维向量空间的解析几何及数学分析。泛函分析在数学物理方程，概率论，计算数学等分科中都有应用，也是研究具有无限个自由度的物理系统的数学工具。泛函分析的特点是它不但把古典分析的基本概念和方法一般化了，而且还把这些概念和方法几何化了。比如，不同类型的函数可以看作是“函数空间”的点或矢量，这样最后得到了“抽象空间”这个一般的概念。它既包含了以前讨论过的几何对象，也包括了不同的函数空间。泛函分析对于研究现代物理学是一个有力的工具。n维空间可以用来描述具有n个自由度的力学系统的运动，实际上需要有新的数学工具来描述具有无穷多自由度的力学系统。比如梁的震动问题就是无穷多自由度力学系统的例子。一般来说，从质点力学过渡到连续介质力学，就要由有穷自由度系统过渡到无穷自由度系统。现代物理学中的量子场理论就属于无穷自由度系统。正如研究有穷自由度系统要求n维空间的几何学和微积分学作为工具一样，研究无穷自由度的系统需要无穷维空间的几何学和分析学，这正是泛函分析的基本内容。因此，泛函分析也可以通俗的叫做无穷维空间的几何学和微积分学。古典分析中的基本方法，也就是用线性的对象去逼近非线性的对象，完全可以运用到泛函分析这门学科中。泛函分析是分析数学中最“年轻”的分支，是古典分析观点的推广，综合函数论、几何和代数的观点研究无穷维向量空间上的函数、算子、和极限理论。他在二十世纪四十到五十年代就已经成为一门理论完备、内容丰富的数学学科了。半个多世纪来，泛函分析一方面以其他众多学科所提供的素材来提取自己研究的对象和某些研究手段，并形成了自己的许多重要分支，例如算子谱理论、巴拿赫代数、拓扑线性空间理论、广义函数论等等；另一方面，它也强有力地推动着其他不少分析学科的发展。它在微分方程、概率论、函数论、连续介质力学、量子物理、计算数学、控制论、最优化理论等学科中都有重要的应用，还是建立群上调和分析理论的基本工具，也是研究无限个自由度物理系统的重要而自然的工具之一。今天，它的观点和方法已经渗入到不少工程技术性的学科之中，已成为近代分析的基础之一。泛函分析在数学物理方程、概率论、计算数学、连续介质力学、量子物理学等学科有着广泛的应用。近十几年来，泛函分析在工程技术方面有获得更为有效的应用。它还渗透到数学内部的各个分支中去，起着重要的作用。2 泛函分析在可修复人机系统解的渐进稳定性分析中的应用2.1 系统描述 此系统用以下积分微分方程描述其中，令系统中相关符号的物理意义:：运行部件和储备部件处于完好状态;：运行部件因硬件错误故障,储备部件进入工作状态;：储备部件故障,运行部件进入工作状态;：运行部件和储备部件因硬件故障而导致系统处于故障状态;：系统由于常规故障处于故障状态;:系统由于临界人为错误处于故障状态;:运行部件的硬件故障率;:储备部件的硬件故障率;:系统从状态到状态的常规故障率;:系统从状态到状态的临界人为错误故障率;:系统处于状态的定常硬件修复率；:系统处于状态的修复率,已修时间为;:系统处于t时刻系统处于状态的概率;:系统处于状态且已修时间为的概率.设是一个空间，并取算子的定义域是绝对连续函数，且满足，则系统可描述为空间中一个抽象的问题，2.2 系统解的渐进稳定性 引理1 设部件的寿命为非负连续型随机变量，其分布函数为，密度函数为，且 证明 据可靠性理论 因此可得 .引理 2 使得，对任意的证明 由引理，部件的平均寿命为因部件的寿命X的期望存在，故存在，使得用表示部件剩余寿命分布，则 因此工作时间后，部件的平均剩余寿命为 故存在，使得对定理 1 是算子的简单本征值定理 2 在算子的预解集中。 引理1、引理2及定理1、定理2说明了系统算子的特征值和谱点分布.为了说明系统的稳定性,下面求解系统算子的共轭算子并加以证明.定理3 A+E的共轭算子(A+E)*的0特征值对应的特征向量证明 (A+E)*Q= 定理的证。定理 4 设是相应于0本征值对应的一个非负本征向量，且满足，则系统的非负动态解趋向于系统的稳定解p*,即，其中为系统的初始值. 综上所述,系统的稳定性得证.小结 可修复人机系统解的稳定性问题在工程领域中应用广泛,本文运用泛函分析等数学方法,列出积分-微分方程,研究系统算子的谱点分布及特征值,并求解系统算子的共轭算子,最终得证该系统解的渐进稳定性.通过翻阅文献，发现目前泛函分析的应用面越来越广泛，在机械行业中可以应用到数控加工，微机电尺寸效应，机械臂的空间运算分析等等方面，用于对运动和控制算法进行正逆解，这对于机械行业的理论研究是一种极大的促进，特别是复杂的机械臂，飞行器的运动控制，可以通过理论分析指导实际应用，让工件和控制更加的精确。对于研究生来说，泛函分析在理论研究部分可以提供很好的支持，有利于对运动进行分解和控制，在其他领域也有很多地方等待探索和开发，将数学应用于工程实践在未来也必将成为一种趋势，通过计算机和经验分析无法解决的问题必将通过数学来进行最基础的理论研究，从而实现更高的精确度。回忆起课堂所学，既明白了老师的良苦用心，也体会到了泛函分析的巨大现实功用。认真学好应用泛函分析这一重要的课程可以使我们更好的掌握搞好科研的重要工具，从而以帮助自己更加顺利、更加高质量的完成毕业设计论文的写作。在此，真心感谢秦老师的辛勤讲授。参考文献1 Abbas B.S, Kuo W.St Ochastic Effectiveness Model for Human -machine SystemJ.IEEE T rans Systems Man Cybernetics,1990,20(4):826-834.2王巧利,张玉峰.可修复人机储备系统算子的本征值问题J.数学的实践与认识, 2007,37(19):118-126 .3曹晋华,程侃.可靠性数学引论M.北京:科学出版社,2006:38-50.4张恭庆,郭懋正.泛函分析讲义(下)M.北京:北京大学出社,1990:155-192.5郭卫华,许根起,徐厚宝,两个不同部件并联可修系统解的稳定性J,应用泛函分析学报,2003,15(3):281-288. 6 Zifei Shen, Xiao