金星探测器测定轨系统设计与试验验证

针对我国未来自主金星探测活动中的测量与导航实施问题,重点研究了地基测定轨系统的设计与实现,阐述了测距、测速和甚长基线干涉测量等能力,提出了基于我国金星探测测定轨系统设计方案,建立了高精度测量模型和定轨策略,并完成了软件实现。利用与欧空局联合开展的金星快车探测器跟踪试验,对该系统进行了初步验证,实测数据定轨结果与欧空局事后精密轨道的位置偏差优于485m,速度偏差优于5.5cm/s。试验结果验证了该系统的数据处理和轨道计算能力达到欧空局金星快车探测器同等水平,初步检验了该系统测量数据处理和轨道确定部分的正确性、有效性,可为后续我国自主金星探测提供测定轨技术支持。     

一种复杂空间飞网系统参数优化设计方法

由轻质软绳索编织而成的空间飞网是为非合作目标捕获而提出的空间系统概念,在空间碎片和废弃航天器处理方面具有很大的应用潜力。从平台抛射出后,飞网在空间形成不稳定的网形,且网形变化规律受初始参数设计的影响较大。针对空间飞网系统设计与试验中系统参数匹配问题,本文提出以容错值作为飞网展开性能的定量描述,从捕获任务的层面,建立面向捕获容错的空间飞网系统参数优化数学模型;以抓捕固定距离、确定大小的目标任务为算例,联合Isight优化平台与ANSYS/LS-Dyna求解,得到飞网系统最优参数匹配,算例仿真结果表明结果的适用性;最后,利用试验设计和极差分析方法验证最优点的稳定性。研究的模型与方法为开展空间飞网系统地面及空间试验等工程应用提供理论依据。     

具有广泛适用性的AOS虚拟信道调度算法

针对现有的基于虚拟信道紧迫度的动态调度算法的不足,提出了一种新的高级在轨系统虚拟信道动态调度算法。该算法首先估算虚拟信道的紧迫度和数据帧的紧迫度,然后用加权系数将二者结合起来构造成一个全新的虚拟信道传送紧迫度函数,再根据该函数的值进行判决调度。对于高级在轨系统中不同速率、不同性质、不同类型的星上数据源,该算法均可通过选择合适的加权系数灵活地分配传输时隙,保证各用户合理、动态地占用物理信道,满足对数据的传输时延要求,因此具有广泛的适用性。理论分析和仿真结果表明,本文提出的算法比基于虚拟信道紧迫度的动态调度算法具有更好的性能     

多阶段任务系统通用可靠性仿真模型

归纳了当前多阶段任务系统(PMS,Phased Mission Systems)可靠性建模的基本假设,指出了解析模型描述和求解能力的不足以及仿真模型存在的难以转换的缺点.应用着色Petri网(CPN,Colored Petri Net) Tools建立PMS的多层通用仿真模型:顶层控制模型将PMS各阶段的故障树参数化,作为CPN通用仿真模型的输入;单阶段处理模型根据顶层控制模型的输入判别该阶段顶事件是否发生;底事件处理模型通过比较随机数和故障发生概率的大小产生故障.通用仿真模型可以保持模型结构的稳定,同时又简化了仿真模型的生成.案例对比了CPN仿真模型与二元决策图(BDD,Binary Decision Diagrams)算法的可靠性计算结果,证明了模型的正确性;具有动态变化参数的PMS仿真则说明了模型的适用性.      

云计算环境下动态用户行为认证的机制、模型与分析

在云计算中,终端用户对云资源软硬件的影响和破坏远比目前用户利用因特网进行资源共享要严重的多,因此相对于用户的身份,用户的行为是否真实可信是云计算研究的一个重要内容。提出了户行为认征的机制,包括行为认证集的确立、行为证据的获得、行为认证的策略,建立相应的随机Petri网模型,并通过量化瞬时变迁的实施概率来模拟不同的认证选择,利用系统达到稳定状态时位置中的平均标记数来评价认证效果,为云计算的安全应用奠定理论和实践基础。     

电缆网阻值测试仪的设计与实现

随着单片机技术的发展及其在测试领域的广泛应用,早期采用的人工作业对电缆网性能测定的方法已经不再适用。本文介绍了一种基于单片机技术的电缆网阻值测试仪。从电缆网阻值测试仪的功能与设计要求出发,阐述了总体设计方案,说明了该套设备的工作原理,描述了系统的硬件实施和软件设计,并对整套设备进行了实验验证。结果表明：设备满足了用户要求,提高了测试效率。     

基于轮询的高级在轨系统多路复用包时延分析

目前的高级在轨系统(AOS,Advanced Orbiting Systems)多路复用研究主要以仿真为主,很少有文献给出专门的理论分析.针对基于轮询的AOS多路复用包时延进行研究,通过采用排队论中非空竭限量服务的休假排队系统建立模型,并采用循环再生法进行分析,得到了多路复用包时延计算公式,并给出包时延的下限值.仿真结果表明,在包到达率取值分别为1,2,3包/s,在各种不同的下行速率(范围240~330 bit/s)之下,包时延的仿真值曲线均高于理论下限值曲线,从而论证了理论推导的正确性.研究结果可以为工程设计提供一定的参考作用.     

深空网干涉测量技术在“嫦娥3号”任务中应用分析

针对中国深空网DOR/ΔDOR测量技术在"嫦娥3号"测控任务中的首次应用情况,论述了深空网干涉测量系统采用的稀疏交替射电源标校技术。在地月转移、环月段开展了多次观测,所获得的时延、时延率观测量结果直接应用于"嫦娥3号"的轨道确定。通过与事后精密轨道比对分析,深空网干涉测量技术的时延观测量精度优于1ns,对应于约90nrad的角位置精度;时延率精度优于1ps/s,相当于亚mm/s量级测速(差)精度,中国深空网干涉测量技术有力支撑了"嫦娥3号"的测定轨任务。     

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

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