嵌入式软件中断数据竞争安全性检测技术研究

嵌入式领域中由中断引发的软件故障时有发生,这些故障大多源于中断响应所带来的数据竞争,而目前缺乏针对嵌入式软件中断数据竞争的检测技术及工具。通过引入中断特征形式化描述语言和中断作用域集合概念,设计相关算法,完成对被测软件的数据竞争检测。经实验验证,该检测技术能有效帮助测试人员定位嵌入式软件中断数据竞争问题。     

一种适用于SiC基变换器的桥臂串扰抑制方法

在对碳化硅基变换器中的桥臂串扰产生机理进行深入分析的基础上,提出一种新型有源箝位桥臂串扰抑制方法,并构成适用于碳化硅(Silicon carbide,SiC)基桥臂电路的串扰抑制驱动电路。给出其等效电路模态分析,讨论了关键参数的设计方法。设计制作了串扰抑制驱动电路模块板,并在1kW永磁同步电机(Permanent magnet synchronous motor,PMSM)驱动实验平台上进行了验证。实验结果表明,该方法能够有效抑制SiC基变换器中的桥臂串扰。     

HTPB推进剂宽泛应变率下粘弹性本构模型研究

为研究HTPB推进剂的率相关性力学性能,采用材料万能试验机、液压试验机和分离式霍普金森压杆(SHPB),分别开展了低(1.67×10~(-4)~1.67×10~(-1)s~(-1))、中(1~100 s~(-1))、高(700~2 500 s~(-1))应变率的单轴压缩实验。实验结果表明,HTPB推进剂的压缩力学性能是率相关性,随应变率的升高,给定应变下的应力逐渐增大。采用广义非线性ZWT本构模型描述HTPB推进剂宽泛应变率下的压缩力学行为,模型预测与实验数据对比表明,模型中至少需要4个麦克斯韦元件。     

会计电算化中"反复核、反记账、反结账"的研究

"反复核、反记账、反结账"是会计电算化系统中的概念,其功能是使得制单、登账、结账和报表会计业务可以逆向再操作.本文对"反复核、反记账、反结账"的概念、功能以及存在的弊端进行了阐述,并提出了一些改进措施.     

基于分布式模式的自动打孔系统的设计

自动打孔系统是机械式织带机系统实现自动化的一个重要部分.本设计采用基于分布式模式的系统设计方案.上位机由PC机充任,其负责将图案数据发往下位机.下位机由MCS-51系列的单片机充当.当接收到上位机传来的数据后,下位机会控制打孔机各机构在纸带上的合适位置打孔.较之传统方式,这种自动控制系统大大提高了生产效率.本文论述了系统的设计方案并对其中的关键控制模块即步进电机的工作原理、脉冲分配器功能、步进电机的加减速控制过程进行了详细分析说明,对同类设计具有一定的理论和实践参价值.     

航天器声振动力学环境响应分析

动力学环境试验技术已得到了广泛的应用,但是动力学环境预示技术还没有得到很好的重视和发展。文章在简要概述了统计能量法（SEA）的基础上,以某卫星为例,划分为26个子系统和97个连接,对整星的宽带声振力学环境的响应进行了估计。经过与试验结果的对比,验证了上述方法的可行性。     

随机疲劳可靠度预测的状态分析方法研究

 两级载荷下的疲劳剩余寿命试验结果显示,在没有疲劳失效的情况下,若先施加低应力,则在后续的高应力下剩余寿命的标准差与该高应力下原始寿命的标准差相比变大;若先施加高应力,则在后续的低应力下剩余寿命的标准差与该低应力下原始寿命的标准差相比变小。根据两级循环载荷作用下剩余疲劳寿命分布规律的实验规律,以描述剩余寿命分布变化的数学模型为基础,提出了一个根据载荷历程作用下结构/ 零件状态变化预测随机载荷下疲劳可靠度的方法。使用该方法,可以根据已知的材料或零件的原始P-S-N 曲线,借助剩余寿命分布和载荷循环数—疲劳寿命干涉分析计算随机载荷作用下的疲劳可靠度。     

双带法快速凝固1050Al薄的成形试验研究

运用具有我国自主知识产权的双带法快速凝固技术将液态 1 0 5 0 Al直接制备成厚度为 1 mm左右的薄带。介绍了这一方法的基本原理、特点等。在可控冷却钢带线速度分别为 1 m/ s、2 m/ s条件下 ,制备了厚度相同的1 0 5 0 Al薄带 ,对所制备的带材进行了金相组织观察 ,可以明显看出 :可控线速度越大 ,组织越精细     

飞机最短时间上升转弯优化生成

应用奇异摄动方法，详细论述了飞机上升转弯最优轨迹的摄动解，并结合算例，具体编制了某型飞机的最短时间上升转弯最优控制软件，计算结果表明，与某型飞机性能说明书上提供的相应上升轨迹相比，该软件确定的上升转弯轨迹具有明显的省时优化特点。     

三维亚声速冲击射流流场的数值模拟

利用有限体积法对三维可压缩的N－S方程进行离散，对喷嘴的亚声速垂直冲击射流和斜冲击射流进行了数值模拟。网络的划分采用非结构性网络，湍流模型为RNGκ-ε湍流模型，在近壁处采用壁面函数进行修正，流场计算结果与实验值吻合一致。计算可得到垂直冲击流场结构的三个区域：自由射流、滞止区和壁面射流区域，并显示出垂直冲击点附近区域的卷吸回流、速度分布。冲击射流近壁处存在着回流现象，由于边界层流动和近壁回流引起距离固壁2D内的速度梯度变化较大。斜冲击在近壁处平行壁面速度的最大值，以及壁面上的总压最大值都偏离冲击点，并且相对应。