不确定多状态时滞分布式系统的鲁棒H_∞控制

针对不确定多状态时滞分布式连续系统, 研究了其鲁棒H∞控制器的设计方法.通过引入Lyapunov函数, 利用线性矩阵不等式方法得到了自治系统的鲁棒渐近稳定的充分条件.基于该充分条件给出了闭环系统的鲁棒渐近稳定的充分条件, 并设计了系统的鲁棒H∞状态反馈控制器.设计的控制器保证了闭环系统的二次稳定, 同时使系统的H∞范数小于给定的衰减水平γ.仿真结果证明了该设计方法的有效性.     

一种面向SCR需求模型的形式化验证方法研究

在需求层级进行建模分析与验证是复杂安全关键软件开发过程中的核心关注点.本论文工作面向航空领域中典型安全关键软件的需求层级,提出了一种基于形式化模型检验技术的需求模型验证方法.首先分析了形式化需求模型(SCR)的建模工具(T-VEC)中所定义的递归结构形式的模型语法与语义,提出了一种对模型变量关系进行平展化的方法,将SC...     

骨材料矿化中两种基质囊泡的研究

骨是一种复杂的天然复合材料.我们在斑马鱼的脊椎骨中发现了2种与矿化有关的基质囊泡:单囊泡和多囊泡.对这2种基质囊泡进行了TEM和SED分析,发现都含有钙、磷离子,说明它们可能与斑马鱼骨矿化中的离子输送有关.单囊泡与已有研究中发现的基质囊泡一样,直径为100～500nm;但多囊泡直径为700～1000nm,并由直径平均100nm的小囊泡构成.     

基于R＼S分析法的煤矿瓦斯涌出规律研究

瓦斯涌出是影响煤矿安全生产的重要因素.加强瓦斯涌出量预测方法研究.对改善我国煤矿安全生产状况具有积极的意义.通过对影响瓦斯涌出量的各种因素的分析,指出了选择R\S分析法研究煤矿瓦斯涌出规律的合理性,并应用VisualBasic6.0开发了计算赫斯特指数和平均循环周期的程序,对新安煤矿某工作面的瓦斯涌出量进行了分析和研究.     

全固态声光调Q激光器重频对能量转换的影响

研究了激光二极管侧面泵浦Nd：YAG声光调Q固体激光器中声光调Q重复频率对激光器斜效率的影响。通过实验发现在一定范围内存在最佳声光调Q重复频率,在这一频率下,斜效率在这一范围内取得极大值。实验所用激光器的最佳声光调Q重复频率为3kHz、泵浦功率为30W时,输出平均功率为4．40W,光-光转换效率为14．67％,斜效率为0．428。