基于非参数假设检验的程序缺陷定位方法

调查了西门子测试集中的程序失败用例的规模和谓词评估偏差的分布.结果表明,中心极限定理的前提和参数假设检验的假设条件无法得到普遍满足.所以,已有的基于参数假设检验的方法存在潜在的问题.针对这一现象,提出了基于非参数假设检验定位程序缺陷的方法.实验结果表明,该方法在非正态分布的样本集上仍具有较好的适用性,且在缺陷定位效率上优于已有的基于程序谓词的缺陷定位技术.同时比较了基于2种常用的非参数假设检验模型的缺陷定位方法的效率.一种方法基于Kolmogorov-Smirnov检验,另一种方法基于Cramér-von-Mises准则.比较结果表明,在西门子测试集上,基于Kolmogorov-Smirnov检验的方法在缺陷定位效率上优于基于Cramér-von-Mises准则的方法.     

一种三元结构的火星采样返回任务方案分析

介绍了目前国外提出的一种三元结构的火星采样返回任务方案,整个方案分3次发射,分别发射漫游车、着陆器和轨道器,每次发射间隔为4年,最终目的是将火星样品带回地球。该方案的优势在于,通过3次发射分别完成漫游车巡视勘察、着陆器现场探测、轨道器数据中继和在轨探测,最终综合完成火星采样返回,能够极大地缓解项目进度和资金压力,充分利用每次发射窗口分步骤完成探测任务。文章重点对方案涉及的关键技术进行了分析,包括样品获取与封装、行星保护、精准着陆、漫游车的危险规避能力和移动性、火星上升器、交会与样品捕获、地球再入器技术等;对方案的前景和优势进行了探讨,并给出几点启示,如精准着陆或成为今后行星探测着陆方式的新趋势,火星采样返回任务将是人类火星探测的里程碑,今后的深空探测任务趋向国际合作模式等。     

基于T96模型的极尖区位形变化特性研究

基于T96模型,定义了极尖区的位形以及相关的描述参量(例如赤道向边界磁纬的最小值,纬向宽度,子午向和晨昏向的张角,倾斜度,扁平度,中心磁地方时等),讨论了太阳风动压(P_d)、行星际磁场(IMF)及磁暴强度对极尖区位形的影响.太阳风动压和磁暴强度越大,则极尖区的赤道向边界磁纬越小,纬向宽度越大,子午向和晨昏向的张角越大,倾斜度越大,扁平度越小;南向IMF B_z越强,则极尖区的赤道向边界磁纬越小,纬向宽度越小,子午向的张角越小,晨昏向的张角越大,倾斜度越大,扁平度越大;北向IMF B_z与南向IMF B_z的情况刚好相反;极尖区的中心磁地方时受IMF B_y控制,IMF B_y为正时,极尖区向昏侧移动,而IMF B_y为负时,极尖区则向晨侧移动,并且极尖区的中心磁地方时与IMF B_y之间有着良好的线性关系.将所得结果与前人的观测结果进行了简单比较,发现利用T96模型确定的极尖区位形与观测基本一致.     

一种基于固定配平的飞行器滚转制导律研究

具有固定配平攻角的飞行器升力大小不可控,只能通过单通道的滚动控制实现飞行轨迹的控制.为实现精确制导,提出了一种基于固定配平攻角飞行器的滚转制导律.建立了固定配平攻角飞行器相对目标点的运动关系方程,分析了方程中各部分的物理意义;给出了滚转制导的基本导引关系,证明了基本导引关系的正确性,得出了滚转制导指令的计算方法;通过数学仿真分析了滚转制导导引弹道的特点.仿真表明,滚转制导通过一定的滚动策略消耗掉了多余的升力,达到了精确控制飞行器落点的目的.     

基于协同决策的多航站楼停机位实时分配算法

针对多航站楼机场停机位实时指派问题,提出了基于协同决策并考虑航空公司时隙交换公平性的机位实时指派算法。该算法将多航站楼资源的可共享性考虑到指派算法中,以最小延误费用原则为约束,采用混合集合规划进行指派模型的建立与求解。该算法在保证多航站楼停机位资源有效共享的前提下,充分实现了航空公司时隙交换的公平性,并且使延误引起的多方成本最小化。算例说明:本文提出的算法可以有效解决多航站楼的机位实时分配问题。     

板-桁组合式钢桁梁悬索桥颤振稳定性选型研究

板-桁组合式钢桁梁与传统的板-桁分离式钢桁梁的气动性能存在较大差异。以某大跨度板-桁组合式钢桁梁悬索桥为工程背景,通过节段模型风洞试验,详细研究了该桥的气动性能。针对关乎结构抗风安全的颤振问题,比较了下中央稳定板、上中央稳定板和水平稳定板对主梁颤振性能的影响。在综合考虑结构安全、经济和美观等因素的基础上,提出了最优的主梁气动方案。研究成果可为类似大跨度钢桁梁桥的抗风设计提供借鉴和参考。     

一种地球紫外中心快速提取方法

针对地球紫外中心指向高精度提取问题,提出一种基于梯度统计的快速、低存储需求的紫外地平圆盘中心提取算法。首先,考虑到星载计算机与高内存消耗的滤波算法、实时导航需求的冲突,采用结合Sobel边缘算子与局部二值模式（LBP）算子的改进边缘快速提取方法,有效剔除背景噪声并准确提取地球紫外临边特征。然后对非完整临边边缘采用最小二乘拟合得到中心的精确位置。实验结果表明,该方法抗噪声,可实现亚像素级地球中心提取,并显著降低存储需求和计算时间开销。对于1046×746的图像,该算法需要的存储空间仅为1100kByte,运算时间在20ms内,满足自主导航的需求。     

泡沫铝板弯曲振动特性数值研究

泡沫铝作为一种新型轻质高强度材料,是通过气泡层形成的多孔金属材料。文章结合泡沫铝的结构特点,以Timoshenko梁理论为基础,建立了泡沫铝板弯曲振动的理论模型,求解得到了泡沫铝板弯曲振动频率与振幅变化曲线,并通过有限元仿真验证了理论分析结果。通过求解泡沫铝板的频率特性确认了载人航天器使用的泡沫铝板的频率远离舱体基础频率,满足航天总装使用要求。最后,对比分析了泡沫铝材料弹性模量及密度的变化对泡沫铝弯曲振动基频的影响。随着泡沫铝弹性模量的增加,泡沫铝板的基频逐渐增加;随着密度的增加,泡沫铝板的基频逐渐变小。因此,可以通过改变泡沫铝的材料参数得到不同频率特性的泡沫铝,以满足航天器不同总装工况的使用要求。     

航天器声试验ISO国际标准制定过程及启示

标准国际化是助推中国航天国际化发展战略转型重要途径。针对航天器声试验技术成果,通过积极推动其向国际标准转化,最终使其立项并成为ISO 19924《空间系统——声试验》的国际标准。该标准是在航天器环境试验领域首个由中国发起、起草和主导的国际标准。文章将介绍声试验技术成果向国际标准转化的过程和方法,以分享经验,为我国积极参与国际标准化活动,提高标准国际化水平提供借鉴。     

行星探测车连杆式差动平衡机构设计及运动学分析

根据行星探测车移动系统连接车体与左右两侧悬架的支撑机构的设计要求,提出一种对称的空间连杆式差动平衡机构,合理的空间布置、较大的摇臂摆角范围和良好的线平均性使其在移动系统中的运用取得较好效果。首先分析了机构的输入输出关系,给出车体与摇臂位姿关系的表达式。然后运用旋转变换的方法建立该差动平衡机构车体与左右摇臂的俯仰角位移方程。再运用Pro/Mechanism仿真校验理论模型的正确性,并运用校验后的理论模型分析部分参数对该差动平衡机构摇臂摆角范围和线性均化特性的影响,求解球铰连杆上下球面副相对主平面和在主平面内的转角范围,为机构的结构设计和装配提供了依据。最后展示了该机构在6轮导杆联动式悬架上的应用。