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

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

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

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

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

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

铝合金拉形粗晶临界预应变曲线的建立及应用

粗晶是铝合金蒙皮多道次拉形中常见的成形缺陷.根据实际蒙皮拉形过程和变形状态,按照"预拉伸-淬火-微观组织分析"的流程,对2024-O铝合金板材进行了不同应变路径下的试验,建立了晶粒大小和热处理前预拉伸量的关系.采用网格应变测量技术,确定了不同应变路径下的粗晶临界预应变,建立了粗晶临界预应变曲线.应用该曲线对蒙皮拉形过程进行了有限元分析,从而控制粗晶的产生.     

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

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

基于图像模拟的HJ星CCD相机交叉定标

针对同一HJ-1星的两台CCD相机,提出基于图像模拟的交叉辐射定标方法:通过建立两台CCD相机图像DC值的数学关系,以获取地面目标图像的已定标的CCD为标准对未同时获取图像的待定标的CCD进行交叉定标,得到了2008年10月A2CCD和B2CCD的定标系数.利用贡格尔场野外实验数据和敦煌场的MODIS数据对定标系数进行真实性检验,并对该方法的主要误差来源进行了分析.结果表明,交叉定标具有较高的精度和可信度,可以在保证定标精度的同时,提高定标的频次.     

基于Hammerstein-like模型的超磁致伸缩作动器建模与控制

超磁致伸缩作动器的率相关迟滞非线性成为其在工程应用中的一大阻碍因素.通过使用特殊建模激励信号,基于最小二乘支持向量机建立了一定频率范围内的统一率相关Hammerstein-like迟滞非线性模型,该模型能够保证其建模频率范围内单频和复合频率的模型泛化性.在此模型基础上,设计了前馈逆补偿与PID (Proportional-Integral-Derivative)反馈控制相结合的复合控制策略,针对一定频率范围内的所有单频和复合频率的输入信号,该控制器都能够保证其跟踪控制效果,最后通过实验实时跟踪控制结果进一步验证了所设计控制器的有效性.     

基于PHM的航空装备可用度影响因素分析方法

对已有的航空装备可用度分析方法进行了综述,将航空装备可用度影响因素分为三类.通过PHM(Prognostics and Health Management)技术对航空装备保障过程的影响分析,梳理了基于PHM的航空装备可用度影响因素,并将这些因素按照其来源分为使用影响因素和设计影响因素两大类.给出了4个合理的仿真假设条件以简化仿真过程,并进一步将设计影响因素分为5种,并结合一个实例给出了基于PHM的航空装备可用度影响因素仿真过程中的输入.提出给定装备系统及其保障系统参数条件下的稳态可用度为仿真的输出,并给出与仿真输入相符的解析计算公式.详细描述了仿真程序的构成及其流程图.最后,以图形的方式给出了仿真结果,给出了案例的单因素分析及多因素耦合分析的过程及结论,验证了所提出的分析方法的可行性.      

Edgecam智能数控编程系统

Edgecam智能数控编程系统在机械加工制造领域具有重要的影响力,尤其针对三维实体模型的加工编程,堪称实体加工的标准.     

加筋结构中筋条有限元模型研究

 本文提出板杆组合元模型在抗拉及板面内抗弯刚度上均达到与实际筋条相等。该模型不仅是检验各种近似解的工具,而且,可在工程上推广应用。 1.筋条抗拉刚度分析 作如下基本假设:（1）平面应力、线弹性Ⅰ型断裂问题;（2）板的中面与筋条铆钉孔所在缘条中面重合,铆钉力在这个面愉;（3）钉孔仪是一点,铆钉力是作用在该点上的一个集中力;（4）忽略筋条与板间的摩擦力。以机翼下壁板为例进行分析(图