钛合金激光修复系统设计

目前,国内外钛合金激光修复技术的研究尚处于萌芽阶段,研究还没有形成系统化,仍然有很多关键技术需要进行深入细致的研究。特别是钛合金激光加工修复系统仍然是一个亟待解决的难题,激光修复系统是激光修复技术发展的基础和关键,也是完成钛合金激光修复的关键。本文设计了一套专用于钛合金激光修复的加工系统,希望本文的研究可以为破解我国钛合金激光修复难题做出贡献。     

具有软硬件可修复计算机系统的解的单调稳定性分析

在假定可修复计算机系统的故障修复率为常数和系统的失效率相等的前提下,运用数学分析的方法以及微分方程中常系数线性微分方程组的特征线法给出可修复计算机系统模型非负解的解析表达式,利用修复系统模型解的解析表达式给出了该修复系统模型稳态解的具体表达式,最后运用数学分析的方法给出了由硬件和软件组成的计算机可修复串联系统非负解的单调稳定性的证明。     

具有进化能力的新型胚胎电子自修复系统

针对胚胎电子电路及其自修复方法——行/列移除和细胞移除的不足,提出了一种具有进化能力的新型胚胎电子自修复系统.该自修复系统具有功能层、修复层和进化层3个层次.功能层实现目标电路功能;修复层采用行/列移除进行目标电路的实时修复;进化层利用功能层剩余资源进化具有更大自修复能力的目标电路结构.该自修复系统既保证了目标电路的实时自修复,又能够充分利用功能层的电子细胞资源,提高了目标电路的自修复能力.通过电路的仿真实验,验证了所提出自修复系统的优越性.      

离散事件系统的故障一次可修复性诊断

为了突破周期可修复性的局限性,提出一种新的可修复性定义及相关诊断方法.针对可修复状态为一次可达状态的情况,通过详细分析这类离散事件系统的特点,提出一次可修复性的形式化定义;然后,从不可区分串和可修复性诊断器角度,讨论一次可修复性的诊断方法和证明过程.实例结果表明:所提出的一次可修复性诊断方法能有效解决系统的诊断需求.     

具有常规原因和人为错误的两个不同部件并联系统解的半离散化

讨论了一个由于常规原因和人为错误引起故障的两不同部件并行系统的模型,修复后的故障系统恢复正常。在假设修复率非常数的前提下,运用半群理论证明了系统解的存在唯一性,最后对修复率用初等阶梯函数逼近给出了系统半离散化模型,为进一步数值计算奠定了理论基础。     

裸露山体生态修复技术研究

裸露山体的生态修复是一项系统的、综合的过程,本文结合裸露山体的生态修复特点以及目前山体生态修复中的不足,系统规划设计,并且以岩质边坡和废渣堆积体的生态修复为主要设计对象,综合应用植被混凝土生态护坡绿化技术和防冲刷基材(PEB)生态护坡技术.     

AODV路由协议局部修复机制的改进

详细分析了AODV的局部修复机制,并在此基础上,提出了一种单路传输,多路修复的思想.当链路的下游节点/上游节点发现链路中断时,首先发起到其前/后两跳节点的多路路由修复,当修复不成功时,再发起到源节点/目的节点的多路路由修复,从而缩短了路由修复的时间,对于系统的流量均衡和改善系统的延时具有一定的积极意义.     

一类可修复计算机系统的数值计算

研究了一类可修复计算机系统模型.通过选取系统故障修复率作为离散对象,得到了系统的半离散化模型.在假设故障率和修复率均为常数的前提下,利用数值计算的方法得到了系统模型的数值解.     

中国书画文物数字修复模拟笔型系统的研究

本研究针对中国珍贵书画文物的老化污损状态,根据书画文物专业修复装裱专家的知识和经验,期待改变当前专家手工修复难度大耗时长,不能满足修复挽救文物要求的现状,提出了利用计算机数字化图象处理,色彩学理论及计算机模拟高科技技术,配置手写电子笔等设备,软硬件结合研究开发了中国书画文物数字修复模拟笔型原型系统,已取得了较好的阶段性效果.本文将对修复笔型系统的构成、多种修复笔型的功能原理及试验实例进行介绍.     

具有两种修复方法的可修复系统解研究

将半离散算法应用到具有两种修复方法的可修复系统模型中,在[0,x_0]上对其修复率进行离散,得到了该系统的半离散化模型.进一步利用泛函分析中算子半群理论将半离散后的偏微分方程转化为抽象Cauchy问题,即转化为矩阵常微分方程组;再根据Trotter逼近定理证明了矩阵常微分方程组的解收敛于原方程的解.最后在故障率和修复率均为常数的前提下,利用Matlab对该系统的稳定性和可靠性等进行了数值试验并得到了该模型的数值解,同时给出了相应的图形趋势.结果表明,对具有两种修复方法的可修复系统模型进行半离散化研究,既可以为利用计算机进一步进行数值计算打下理论基础,又有助于研究和分析系统的可靠性.     

二阶无穷时滞泛函微分系统的周期解

非线性二阶泛函微分系统的周期解的存在性是一个十分重要的课题,在工程上有广泛的应用,尤其是Liénard型系统的周期解问题．文章利用重合度理论中的延拓定理和微分积分不等式,研究一类具有单个滞量周期扰动的无穷时滞泛函微分系统T周期解存在性,以Mawhin延拓定理为主要工具证明系统存在T周期解的充分条件,获得的结果具有一定的普遍性．     

采用Lindstedt—Poincare方法的一点注解

采用经典的Lindestedt—Poincare摄动法求得的非线性振动系统的周期解是稳态解，与系统的初始条件无关．同时指出Mickens通过初始条件确定的周期解与Nayfeh不用初始条件而获得的解其实是一致的．     

具有B-D反应项与毒素影响的捕食系统的共存解

研究了一类具有B-D反应项及毒素影响的捕-食饵系统在齐次Dirichlet边界条件下的平衡态问题。首先利用极大值原理及特征值比较原理给出了系统共存解的先验估计与无共存解的必要条件;其次利用Leray-Schauder度理论,通过计算锥映不动点指标,结合极值原理、上下解方法,阐明了共存解存在的充分条件;最后利用线性化算子及Riesz-Schauder理论证明了平衡态问题的平凡解和半平凡解的局部渐近稳定性。     

一类无界区域上脉冲泛函微分方程的稳定性分析

对一类无界区域上脉冲泛函微分方程零解的指数稳定性进行研究。利用Fourier变换的方法推导出系统的解,再利用不等式放缩技巧对线性系统的Cauchy矩阵进行估计,最后由建立的积分不等式和假设的条件,给出非线性系统零解全局指数稳定性的一个充分条件。在非线性系统满足所给出的假设条件之下,零解是全局指数稳定的。研究结果推广了现有文献中的相关工作。     

A Class of Nonlinear Nonlocal Singularly Perturbed Reaction Diffusion Systems

The singularly perturbed initial boundary value problems for the reaction diffusion system are raised. Firstly, under suitable conditions, using a iteration technique, the differential inequalities theorem is constructed and introducing two auxiliary functions the existence and uniqueness theorem of solution for the basic reaction diffusion system is proved. Using the singularly perturbed method the formal asymptotic expressions of the solution are constructed with power series theory. By using the comparison theorem the existence and its asymptotic behavior of solution for the original problem are studied. Finally, using method of estimate inequalities, the structure of solutions for the problem is discussed thoroughly in three cases and asymptotic solution of the original problem is given. The asymptotic behavior of solution in the three cases is proved.     

定常非线性系统能控性的分析

针对定常解析非线性系统进行能控性分析，采用微分方程级数解法得到状态方程的一般级数解，用作能控性分析的基本依据。用广义隐函数存在性定理为工具，结合定常解析非线性系统结构特征，分析了定理充要条件的物理意义，该充要条件与能控态点集的特征。进而得到弱能控的充要条件和能控的必要条件。对称性分析中，取得了状态转移局部对称性的充要条件。给出了能控性分析算例，表明对定常解析非线性系统能控性分析是方便有效的。     

用矩阵的初等行变换求齐次线性方程组的标准正交解系

提出一个用矩阵的初等变换求线性方程组的解空间的标准正交基的方法。该方法将求线性方程组的基解向量与基解向量标准化连系起来,因而更为简捷,更便于编程序上计算机作数值计算。     

具有脉冲效应的非自治捕食者-食饵系统周期正解

讨论了一类具有脉冲效应的非自治捕食者-食饵系统的动力学行为．利用脉冲微分方程的比较定理．证明了系统的有界性,讨论了平凡周期解与半平凡周期解(食饵灭绝周期解)的局部稳定性．进而利用重合度理论证明了系统周期正解的存在性．     

基于比率的三种群混合模型的研究

研究了基于比率的三种群混合模型非自治系统的持久性 ,利用微分不等式证明了系统满足一定条件时是持续生存的 ;利用Brower不动点定理证明了适当条件下系统至少存在 1个正的周期解 ;通过构造适当的Lyapunov函数得到系统存在唯一全局渐近稳定周期解的充分性条件 .     

一般退化中立型微分系统解的存在性及通解

讨论了对于退化矩阵E不是方阵情形的一般退化中立型微分系统的解,基于退化的常微分系统解的存在性条件,通过定义可解阵对和基础解以及利用拉普拉斯变换,给出了一般退化中立型微分系统解的存在性条件以及通解表达式。