航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

面向深空探测的30cm离子推力器寿命预估

为评价30cm离子推力器的寿命,提出了有限寿命考核结合栅极仿真模型的推力器寿命预估方法,利用粒子-蒙特卡洛（PIC-MCC）方法建立了栅孔溅射腐蚀模型,开展了30cm离子推力器寿命预估研究,分析了栅孔刻蚀速率、单孔电场及离子引出特性,给出了30cm推力器寿命预估值。结果表明,栅孔直径仿真与实测值一致性较好,误差在20%以内,基于每个寿命小节栅孔实测值对模型的修正是有效的;根据仿真结果,10000h寿命考核后,减速栅最先失效,30cm离子推力器在最大功率（3kW）工况下预估寿命为37540h,能够满足小天体探测任务对电推进系统的长寿命需求。     

单晶切口试样低周疲劳特性研究

基于镍基单晶高温合金DD3切口试样低周疲劳对比试验,得出了相同温度和应力比条件下,切口疲劳寿命受应力集中系数和加载的综合影响,不能仅凭部件某一位置的应力集中程度或受力情况而判断其疲劳寿命.把试验加载条件、材料参数及约束等写入ABAQUS的子程序FATIGUE001中,对切口低周疲劳特性进行了数值模拟,结果表明:切口尖端存在应力松弛,松弛程度受加载及应力集中程度的影响,应力松弛会在一定程度上减弱疲劳裂纹扩展速率,延长疲劳寿命;同时,在切口尖端发生了明显的棘轮效应,因此当塑性变形增加到一定程度切口就会有裂纹启裂直至试样最后断裂.     

一种基于微分代数的任意阶空间目标轨道传播方法及其分析

微分代数方法可以在不改变当前算法计算过程的基础上给出函数对自变量任意阶导数的精确值。本文给出了一种基于微分代数的任意阶空间目标轨道传播方法。本方法首先将初始微分代数代入轨道传播方程,然后用获得的高阶导数构造新的高阶微分代数。用新的高阶微分代数迭代前述过程可求解空间目标状态对时间的任意阶导数。最后,将任意阶导数代入泰勒展开公式求解空间目标轨道单步传播。本方法要求轨道传播方程采用的摄动力模型在轨道传播积分区间上是解析的。本文通过仿真分析验证了所提方法的有效性。     

浅析歼强飞机液压系统元件多发性故障

简要介绍歼强飞机液压系统的特点,论述元件多发性故障的现象、原因,列举动力元件、执行元件、控制元件和辅助元件常见故障分析和预防措施。     

香烟条包拉线图像检测的研究

研究香烟条包外包装所出现的无拉线或拉线错牙等异常现象的图像特征,设计检测算法,并开发相关软件系统。经过实例检验,系统可以有效地对香烟条包外包装出现的上述现象进行检测,能满足香烟生产企业在线检测的需要。具有自动化程度高、判决速度快、算法简单等优点。     

带背鳍细长平板三角翼脱体涡的实验研究

对后掠角为82.5°具有尖削前缘的细长平板三角翼以及加上背鳍高度分别为hL/s=0.3和hL/s=0.6的机翼组合体在低速风洞进行了大迎角六分力天平测力实验.实验迎角范围为12°~32°,来流速度为25m/s和35m/s.实验结果表明:对单独三角翼,在翼面产生的脱体涡破裂前,其涡流场随着迎角的增大始终是对称且稳定的;增加不同高度的背鳍后,当迎角大到一定程度后,涡流场开始变得不对称和不稳定.背鳍高度不同,流场开始出现不对称时的迎角也不同,在所研究的背鳍高度范围内,背鳍越高,测量得到流场出现不对称时的迎角越小,表明增加低高度的背鳍对细长平板三角翼的背涡流场的稳定有着扰动和破坏作用.实验结果部分证明了文献[1]中的稳定性理论的有效性,同时初步研究了涡失稳后的发展情况.     

2.4m风洞M数和稳定段总压控制策略研究

我国自行研制成功的 2 .4m风洞现已投入使用。该风洞控制系统与国内现有风洞相比 ,控制执行系统多而复杂。该风洞成功地采用了所有试验工况M数与稳定段总压同时控制的运行方式。针对被控对象的复杂性 ,分别对神经网络控制、模型跟随自适应控制、自校正控制、智能控制及智能学习控制在该风洞上应用的可行性进行了分析。最后给出了一种智能控制策略 ,调试结果说明该风洞采用的这种控制策略是成功的     

一类有理参数三次曲线的形状分析(英文)

一条有理参数三次 H-样条曲线是由一组控制顶点和两顶点连线上的百分比参数所确定。移动一个顶点仅影响三段曲线。有理 H-样条具有许多类似于 B-样条曲线的性质 ,也有 B-样条不具有的性质。本文是在文 [1 ]基础上的继续和发展 ,主要对有理 H-样条曲线的形状进行分析 ,讨论其诸如拐点和奇点的几何特征 ,给出有理参数平面三次 H-样条曲线在非退化情况下有拐点的充要条件 ,并证明在区间 ( 0 ,1 )内曲线段无奇点的结论。为了便于对参数曲线段的形状控制和几何特征的进一步认识 ,在许多的实际应用中 ,需要分析参数曲线段上有无多余拐点和奇点 ,如果有就要消除它。故本文的研究结果无论对理论或实际应用都非常重要。     

双输出移相配电变压器抑制输出电压畸变特性

探讨了双输出移相配电变压器抑制输出电压畸变的机理,对变压器谐波阻抗与绕组结构之间的关系进行了研究。通过建立双输出移相变压器的场路耦合模型,对两种不同形式的变压器(双输出移相变压器和Dyn连接变压器)输出电压的谐波特性进行了分析计算,研究结果表明:由于双输出移相变压器可以抑制3倍次、5和7次谐波电流,因此对应的3倍次、5和7次谐波阻抗较低,在带非线性负载情况下输出电压的畸变得到明显改善。