AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

改进的多处理器混合关键性系统可调度性分析

针对混合关键性系统的多重认证需求,研究多核处理器平台中全局调度算法fixed-priority and Earliest Deadline First by Virtual Deadline（fpEDF-VD）的可调度性分析问题。fpEDF-VD结合处理器利用率和虚拟截止期两个方面来计算任务优先级,系统可调度性取决于是否存在可行的虚拟截止期调整参数。考虑到现有可调度分析方法仅测试有限数量的调整参数候选值,不能有效地判定系统可调度性,故提出了一种改进的判定方法。该方法基于传统（非混合关键）任务调度算法fpEDF的可调度利用率约束条件,利用函数图像分析研究不同关键性级别的系统可调度性需求,并在此基础上给出有效虚拟截止期调整参数的确切范围。通过实例分析及与现有判定方法的比较,验证了该方法的正确性和高效性。与理论分析一致,基于随机生成任务集的仿真实验结果表明改进后的方法具有更优越的可调度性能,能显著地提高任务集的可调度接受率。      

PN码相位精确测量的累加最小二乘法

利用最小二乘（LS）法可以实现PN码相位的精确测量,但该方法对粗同步要求高,难以满足实际工程需求。给出了一种新的累加LS法的实现结构,在该结构下根据鉴相曲线的波形变化特征,利用累加后的离散鉴相曲线的最大值和最小值点作为特征基准点,取最值之间的数据进行LS线性拟合,实现粗同步于半个码元宽度以内的伪码相位精确测量。理论分析表明,该方法的鉴相特性呈线性特征,可以有效使用累加LS线性拟合方法。仿真结果表明,该方法相比于其他方法使用范围更广,测量精度更高。      

高精度法矢下切割面自适应的凸曲面射线寻迹

针对电大尺寸目标难以精确解析表达带来的一致性几何绕射算法应用难问题,提出了基于三角网格、适用于任意凸曲面的射线寻迹（TM-tracing）算法。应用工程中较易获取的三角网格及其协议,设计了一种满足快速多边搜索条件的网状数据存储链表;提出了满足寻迹要求的高精度法矢求解算法;采用切割面自适应调整的弧形拟合寻迹方法实现了爬行波寻迹算法;结合一致性几何绕射理论（UTD）实现了暗区场值求解算法。任意网格曲面射线寻迹结果表明:本文提出的寻迹算法适用于包括球、柱和锥在内的任意光滑凸曲面,寻迹偏差小于1.61%,寻迹速度为2.8 s,具有一定的工程应用价值。      

深空环境下热防护材料的研究及应用进展

随着对太空探索的深入,空间飞行器所面临的环境也越趋恶劣:太空飞行过程中的高温羽流防护,高速返回再入过程中高温气动加热;长时间日光下飞行会使飞行器表面温度越来越高;一些星球上高温的大气环境导致人类现有制造飞行器的材料无法抵挡。本文搜集国内外先进热防护系统研究资料,了解重点发展方向,介绍了我国神舟飞船热防护材料以及已经开发出的新型轻质高效热防护材料,为我国今后用于恶劣环境下的飞行器材料提供一些信息和材料基础。     

深空探测光学导航敏感器在轨几何定标方法

光学导航敏感器是光学自主导航的一个核心器件,它所获得的导航目标源的光线指向的精度将直接影响自主导航的精度。设计了一个分步式的光学导航敏感器在轨几何定标方法,该方法先求解外定标参数,然后在外定标所确定的广义相机坐标系下求解内定标参数,从而完成对内外定标参数的标定。为了在星上计算资源与能力有限的环境下,利用更多的参考星图实现对定标参数的高精度估计,利用逐行法化最小二乘方法估计定标参数。实验表明,通过高精度的在轨几何定标,可以有效提高光学导航敏感器的指向量测精度,使其满足光学自主导航的需求。     

我国航天运输系统成就与展望

我国运载火箭起步于20世纪60年代,经过半个世纪的发展,共经历了5个阶段,研制了4代17种运载火箭。具备发射低、中、高不同轨道,不同有效载荷的能力。本文对我国航天运输系统发展历程和成就进行了总结,并基于发展成果和未来发展需求,对航天运输系统未来发展规划进行了展望。     

基于负载特征聚类的节能资源调度算法

基础设施即服务(IaaS,Infrastructure as a Service)平台提供商为用户提供高性能服务的同时,必须考虑如何在不违反服务级别协议(SLA,Service Level Agreement)的前提下,节约云平台的能耗成本.采用基于负载特征聚类的方法,提出一种IaaS云平台上保证SLA的资源调度算法,最终实现降低SLA违反率和节约能耗的目标.具体采用能耗相关的负载特征提取和改进K-means聚类分析的研究方法,进行资源调度算法研究,对物理资源进行有效分配,以保证IaaS平台节约能耗的要求.实验验证方面,通过扩展CloudSim模拟实验平台,对本研究算法与改进BFD(Best Fit Decreasing)算法进行比较,得出本研究算法在SLA违反率和节能方面更优.      

一种用于纳型卫星在轨分离释放装置的设计

针对纳型卫星分离载荷的在轨分离释放需求,给出弹簧式分离释放装置的设计方案,解决国际上的商用现货产品不适用于这种非标准质量体积比的纳型卫星的问题.设计的分离释放装置能承载体积6 U(1 Unit即1 dm3体积),质量10 kg的分离载荷.由设计要求出发,给出包括中心承力构架、分离释放机构和对接环的方案,进行结构模态分析和过载分析.最后给出两两对称分离的在轨分离释放过程.结构设计结果表明该方案能满足一般的运载发射要求.该设计为任务的实施提供了有效可行的解决方案.     

基于半实物仿真的地磁导航等值线匹配算法评估

影响地磁导航匹配算法性能的因素很多,而现阶段算法的评估完全依靠计算机仿真,其可信性有待进一步验证.以等值线(ICCP)算法为研究对象,首先从理论上分析影响算法性能的因素;然后搭建了地磁匹配导航半实物仿真系统,通过引入磁场仿真环境和磁传感器,提高了仿真的可信度;最后从测量噪声、匹配长度、匹配区域和惯导误差4个方面对ICCP 匹配算法的性能进行半实物仿真试验分析.仿真结果表明,通过半实物仿真试验可以对算法的抗干扰性、算法匹配长度的确定、匹配区域的选择以及惯导误差的影响做出有效评估,从而推动地磁匹配导航及匹配算法的工程化进程.