面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...     

光纤表面等离子体波传感器用于固化监测的研究(英文)

光纤表面等离子体波传感器在理论上具有较高的研究价值 ,并且因为结构简单、灵敏度高等特点在工程上得到广泛应用。使用光纤表面等离子体波来测试折射率 ,方法简单、灵敏。本文介绍了利用光纤表面等离子体波传感器使用这种方法对环氧树脂复合材料进行固化监测。文中对不同折射率的溶液进行了折射率测试的研究 ,并设计了一种用于折射率测量的性能稳定、操作方便的光纤传感探头及整套的测试系统 ,用以对固化过程中环氧树脂在不同阶段的折射率变化进行实测。测试结果表明 ,该系统工作稳定、可靠 ,测试结果符合实际情况     

轴向运动悬臂梁横向振动的磁力控制

研究了使用永磁铁对铁质轴向运动悬臂梁进行横向振动的主动控制;建立了自由端带有集中质量的轴向运动悬臂梁的振动理论模型,并通过振动实验进行了修正.通过理论分析和实验研究,得到了非接触磁力对铁质悬臂梁的作用规律,建立了使用非接触磁力进行横向振动控制方法.对上述控制方法进行了模拟计算和实际实验,结果表明,模拟计算与实验完全吻合,梁的振动得到了有效抑制.     

运载火箭阻尼安装板的设计

 <正>运载火箭在起飞和着陆时的瞬态载荷和飞行过程中的气动力的随机激励都是宽频带的。在这种环境中安装精密仪器的仪表板若采用过去常规的橡皮减振器减振已很难保证在较宽频带内都能起到应有的减振作用。利用阻尼材料做成的夹层板减振，国内外已做了大量的工作^[t~3]，取得了较为明显的效果。本文针对产品设计中要解决的减振问题，提出了设计思想、计算分析与试验方法。     

飞秒激光能量密度对镍基合金重铸层和加工效率的影响

以航空发动机叶片制孔为导向,结合飞秒激光对单晶镍基高温合金材料的非热熔性损伤阈值(Φth1)和热熔性损伤阈值(Φth2)特征,研究了飞秒激光能量密度(0Φ44.2J/cm2)对制孔重铸层和加工效率的影响规律。研究结果表明:在Φth1ΦΦth2时,镍基合金经飞秒激光加工后加工侧壁没有出现明显的重铸物;在ΦΦth2时,加工侧壁开始出现重铸物,并随着能量密度的增加,重铸层厚度增大。在试验结果的基础上,建立了飞秒激光单脉冲加工深度与能量密度的定量关系。能量密度越高,飞秒激光单脉冲加工深度越大,加工效率越高。     

一种基于求解椭圆型方程的结构动网格生成方法

基于椭圆型网格生成法,实现了一种简单高效的贴体结构动网格生成方法,可用于具有移动边界问题的非定常流动数值模拟。该方法提出,在网格变形过程中,Poisson方程需要的控制网格间距和正交性的源项可以通过提取已知的静态网格源项直接得到,并在整个动网格生成过程中保持不变。因此,在椭圆型网格生成中需要通过外迭代确定源项的过程可以得到省略,而且该方法不需要人工指定参数。这使得方法具有高效和易于嵌入到已有程序中的特点。数值模拟结果证明,采用这种方法获得的网格能够较好地保持静态网格原有的正交性和光滑性,在相同迭代步数约束下,网格求解效率低于传统弹簧模拟法,但鲁棒性优于弹簧模拟法。     

基于PEM的辅助动力装置系统辨识与仿真

辅助动力装置（APU）是一个复杂的非线性系统,为了研究APU的工作特性,必须对其进行数学建模。本文依据某型APU地面试车数据,采用基于预测误差法（PEM）的输出误差模型进行系统辨识,建立了APU某一稳态点的＂小偏差＂数学模型,以满足后续控制规律的设计和研究。MATLAB仿真结果表明,此方法对APU模型辨识可行。验模表明,所建模型精度很高,且能实时准确反映APU性能,因而可在该状态下基于此模型进行控制器设计。     

基于扩展卡尔曼滤波的动量轮故障检测方法

 动量轮作为卫星姿态控制系统的关键执行部件,对其故障检测对维持卫星的正常运行具有重要意义。首先对动量轮系统的故障进行分析,在建立动量轮线性离散状态空间模型的基础上,把动量轮的故障检测作为时变参数系统的跟踪来处理,将动量轮的模型参数作为扩展的状态空间中的状态量,使得动量轮物理模型参数与状态空间中的状态量有对应关系,通过在扩展了的状态空间上采用扩展的卡尔曼滤波,完成时变参数的跟踪。然后,将离散空间的状态量变换回连续空间中,利用物理参数与状态量的对应关系,实现对动量轮物理参数的跟踪。此方法物理意义明确,为系统的物理参数提供了定量的估计值,为进一步诊断故障原因提供了良好的基础。数值仿真表明,此方法能够通过同时检测多个故障参量,实现故障的检测并满足卫星实时性要求。     

ARINC659芯片协议符合性验证关键技术研究

ARINC659总线主要用于机架内部各在线可更换模块(LRM)间的通信。在ARINC659芯片设计过程中,如何对协议符合性进行充分验证是确保芯片设计符合协议的关键和核心。本文首先对ARINC659总线产生的背景及ARINC659协议及总线协议处理芯片进行了概述,并结合ARINC659总线协议处理芯片对芯片协议符合性验证中的关键技术进行了分析和研究。