航天器测试需求描述及其自动生成

航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.      

基于子目标进化的高维多目标优化算法

多目标优化问题是工程应用中的常见问题,已有的方法在解决3个目标以上的高维优化问题时效果欠佳.如何进行有效的个体选择是求解高维多目标优化问题的关键.针对该问题,提出了求解高维多目标优化问题的子目标进化算法.从理论上证明了多目标优化问题Pareto非支配解的求取,可通过子目标函数值排序,先行选择进化种群中部分非支配解;然后,根据排序信息有选择性地比较进化种群中的元素,减少了比较次数,从而快速获得非支配解集.同时,提出归一化函数差值的Minkowski距离"k近邻"距离计算方法,在进化过程中应用到密度函数中,加速了收敛速度.同当前求解高维多目标优化的算法,在对标准测试函数的计算性能上进行比较,统计结果显示了所提算法在性能上的优势.      

基于PSF相关的星点定位算法

为提高非高斯分布星点定位的精度,提出了一种新的PSFC (point spread function correlation)星点定位算法,具有很好的抗噪性能和精度水平,易于工程实现.该算法利用互相关中的定义,通过确定系统所测定的PSF与星像灰度值之间的最大相似度来定位星点位置,PSF的测定是在作互相关计算之前全视场范围内可按照整像素和亚像素两种方式完成的.仿真实验结果表明：在带有噪声的星像图条件下,本文PSF相关法的定位精度最高可达到0.034像素,比质心法的精度提高1个数量级,比曲面拟合法的精度提高约20%.     

叠层材料低频振动制孔工艺参数优化实验研究

CFRP/Ti叠层结构在一体化制孔的过程中易出现复合材料分层、撕裂、灼伤和孔出口毛刺等制孔缺陷。本文基于低频振动辅助钻削技术,进行工艺实验,经过二次优化后得到最优加工参数。实验结果表明,在转速400 r/min、进给量12 mm/min、振幅75 μm与转速500 r/min、进给量21 mm/min、振幅75 μm两组加工参数下的制孔质量较好,使用较高转速和较大进给量能够提高加工效率。     

低温固化磷酸铝基体的制备及过早硬化研究

采用85%磷酸和氧化铝制备了低温固化的烧蚀基体——磷酸铝溶液。通过Brookfield流变仪监测体系的粘度变化;借助X射线衍射分析研究影响磷酸铝基体组成的两个主要因素,即Al/P比例和反应温度。结果表明,A l/P比例控制在1.3∶3~1.4∶3之间,反应温度不高于110℃时可获得性能良好的磷酸铝基体。XRD研究结果表明,磷酸铝溶液的过早硬化主要是由于AlPO4.xH2O沉淀引起的。使用螯合剂可有效抑制过早硬化,加入约2%草酸,2个月左右后溶液中可溶性磷酸盐百分含量为84%,基本满足使用需求。草酸的引入对高硅氧布/磷酸铝复合材料的强度基本没有影响。     

航天器测试语言及其运行平台研究

针对测试序列自动执行程度低影响航天器测试效率的问题,提出了一种可控制流程的 高级语言形式的新型航天器测试语言（STL）,并对其语言执行机构进行研究,设计并实现 了基于插件技术的以解释器为核心的集成开发环境——航天器测试语言运行平台。实践表 明航天器测试语言具有较强的通用性与实用性,该语言运行平台能够有效降低航天器地面测 试强度,节约测试成本,提高测试效率。
     

卫星组播多组共享密钥管理方案

现有的多组组密钥管理方案应用于大型动态卫星多组组播环境时,受卫星资源的限制,密钥管理效率成为瓶颈。设计了一种卫星多组组密钥管理方案SMGKM（Satellite Multiple Group Key Management）,根据对组播源的访问能力对用户进行分组,并在子组中设置子组管理者,通过构造组播密钥管理图和子组密钥管理结构进行多组组密钥管理,具有良好的前向和后向安全性,与现有典型方案相比,SMGKM有效降低了卫星的通信和存储开销,更适合大型动态卫星多组组密钥管理。     

基于离子风电推进系统的平流层飞艇飞行轨迹分析

针对传统螺旋桨受大气密度等环境变化影响,推力和效率显著下降的特点,提出将新型离子风电推进系统应用于平流层飞艇,建立动力学模型和相应推力模型,通过Simulink模块开展轨迹跟踪与定点控制仿真,并对15 km到30 km高度上螺旋桨和离子风作为平流层飞艇主动力的飞行轨迹进行对比分析。结果表明,40 kW功率下,在20 km以上高度,离子风动力飞艇的飞行曲线偏移量与瞬态响应时间远小于螺旋桨动力飞艇。通过优化离子风推进器的结构,选取最佳电压和电极间隙,有可能实现离子风作为飞艇的主动力。     

火箭气动设计集成平台中FASTRAN的二次开发

针对火箭设计过程中的气动特性计算,对计算流体力学软件FASTRAN进行二次开发。在C++语言环境下编写火箭气动设计平台中FASTRAN自动化批处理模块。用户使用此模块输入作业的关键参数,自动批量生成脚本文件,并从后台加载计算进程,使用脚本功能自动控制参数设置和计算过程,完成后导出气动力与气动载荷数据,以内置格式自动生成结果报告。这一过程代替人工操作,减少了工作量,提高了设计效率。以两种火箭构型为例,计算并分析得出不同状态下的升、阻力系数和压心位置随马赫数的变化规律。计算结果与实验数据吻合良好,误差在可接受范围内,可以为火箭的初步设计提供参考和依据。