基于本体的软件安全性需求建模和验证

由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性.     

基于干扰观测器的磁悬浮姿控飞轮电机控制

由于磁悬浮飞轮转子不平衡振动的存在,飞轮力矩/转速控制精度受到影响.为有效地对不平衡振动干扰进行估计,提出了一种针对时变谐波扰动的非线性干扰观测方法,观测器的动态与稳态性能可以根据系统要求设定,具有全局一致收敛性;在非线性干扰观测器的基础上设计变结构控制器对飞轮转速进行控制并对干扰进行补偿,通过改进变结构控制器的滑模函数与控制律系统抖振可以有效地削弱.仿真与实验结果表明:基于非线性干扰观测器的变结构控制器具有很好的扰动抑制能力和动态响应、稳态误差调节能力,可用于实现飞轮输出力矩控制.     

基于误差最小的SVM最优分类面修正

针对C-支持向量机(C-SVM,C-Support Vector Machine)中惩罚系数C可能导致最优分类面不合理的问题,提出基于误差最小的SVM最优分类面修正方法.通过调整正负类分类间隔的约束条件,求解使训练样本总误差最小的偏置系数,并兼顾与正负类误差之差的绝对值的平衡,得到误差最小的更优分类面.实验证明该修正方法与C-SVM及其它修正方法相比,具有较高的分类精度和较强的抗噪声与野值数据干扰能力.     

一类受扰不确定系统的渐近镇定控制

 实际工程中的许多被控系统（如航天器,机器人,飞机等）几乎都处在一种变化的环境中,用精确的数学模型描述这类系统是不现实的。因此,研究考虑了这种不确定性的系统控制问题,在理论和应用中都有重要意义。 考虑用下述状态方程描述的不确定系统 （?）=（A₀+△A（r,s））X+（B₀+△B（r,s）u） （1）其中,X∈Rⁿ,系统状态,n为系统阶数,u∈R^m,控制信号,A₀,B₀是适当维数的常值阵,r,s分别为p维和q维未知参数矢量,△A（r,s）,△B（r,s）分别是与A₀,B₀同维的不确定矩阵。     

基于主动刚度设计法的机翼结构刚心匹配设计

基于主动刚度设计的理念,提出了以扭转力矩为目标函数,利用优化手段对机翼刚心线进行设计的方法,以期满足飞机初期阶段设计刚度的要求。以大展弦比机翼为算例,对刚心线优化方法进行了验证,得到匹配载荷的刚心线,并将优化结果与工程实际进行了比较,结果表明,该优化方法是一种科学合理的刚心线计算方法。刚心线位置的确定为后期机翼的刚度分析设计、甚至优化提供了支持。     

热处理对粉末冶金TiAl双态组织与性能的影响

对粉末冶金制备的Ti-46Al-2Cr-2Nb-(B,W)(at%)合金在1 280 ℃进行直接热处理,通过3种不同冷却速度获得了不同的双态组织.当冷却速度为50℃/min时,组织中的α晶粒通过析出γ片形成片层团,获得主要由片层团和γ相组成的双态组织,组织中过高片层体积分数导致拉伸延长率不高;而冷却速度为10℃/min 和5℃/min时,形成了主要由α₂晶粒和γ相组成的双相组织,α₂晶粒的存在进一步降低了材料室温延长率.     

控制系统的故障诊断方法综述

介绍了控制系统故障诊断的原理 ,将控制系统故障诊断分为两类 ,即基于解析模型和不依赖控制系统解析模型的故障诊断方法 ,对各种方法进行了详细的评述 ,并给出其应用总结 ,最后对其发展进行了展望     

一种全局的无关线性图嵌入故障特征提取算法

针对故障特征数据维数高、非线性且系统难以建立物理模型的故障诊断问题,提出了一种全局的无关线性图嵌入故障特征提取算法.通过监督学习建立原始特征的关系图,以线性图嵌入为框架进行特征降维.特征的降维过程既保留了同类数据的局部结构,又考虑了异类数据之间的全局分布,同时最大程度地消除了特征之间的统计相关性.在标准故障数据集上的实验结果表明:与已有的经典算法相比,能更有效地提取出故障的典型特征,因而更有利于故障诊断系统训练网络的快速收敛,实现快速、准确的故障诊断.