无线宽带多媒体数字集群指挥调度系统

针对大型突发事件现场视音频的指挥调度,介绍了无线宽带多媒体数字集群指挥调度系统.具体介绍了本系统的技术原理,系统可实现的业务种类,本系统与其他系统的技术对比及本系统的应用场景.最后,介绍了无线宽带多媒体数字集群指挥调度系统的应用前景.     

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

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

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

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

地基深空网发射机现状及未来发展

我国未来深空探测工程的发展对地基深空站发射机提出了更高的要求,不仅仅需要具有更高的输出功率,同时需要解决发射机高频谱纯度、高效率以及上行功率合成等。针对这些要求,对国内外地基深空网的组成和深空站高功率发射机现状以及未来发展趋势进行了研究,分析了速调管发射机与固态发射机在高功率输出条件下的优势,在此基础上,提出了我国深空站速调管发射机需要开展高功率连续波速调管、高功率低损耗滤波器、低纹波高功率开关电源、上行功率合成等关键技术,并为相应关键技术提供了理论建议及相应的解决方法,这可以为我国未来深空探测工程高功率发射机研制提供技术支撑,为后续地基深空网建设和发展提供参考。     

深空探测器无线电干涉测量开源数据处理系统构建及试验

为更好地开展深空无线电干涉测量试验,基于DiFX(Distributed FX,分布式FX型相关处理)、SPICE(Spacecraft Planet Instrument Camera-matrix Events,航天器行星仪器照相机矩阵事件)、HOPS(Haystack Observatory Postprocessing System,Haystack克天文台后处理系统)及AIPS(Astronomical Image Processing System,天文图像处理系统)等开源软件,搭建了一套可用于深空探测器信号相关处理的无线电干涉测量数据处理系统。首先介绍了该系统的整体架构及组成,然后介绍了系统各组成模块的功能及工作原理,最后利用该系统对嫦娥三号着陆器开展了观测试验,并对观测数据进行了处理。试验结果表明,该系统能成功实现深空航天器信号的相关处理、条纹拟合,以及时延解算等功能,有望为我国嫦娥五号任务及火星探测任务数据处理提供支持。     

基于Petri网的UML状态图的形式化模型

提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net.首先给出了UML状态图的形式化语法定义,其中用状态集合、转移集合、事件集合、条件集合、活动集合、对象集合和变量集合,定义了一系列辅助函数描述UML状态图特征,用确定目标状态和受限源状态表示层次关系,用开放事件和封闭事件表示对象之间的消息.基于C_Net定义了描述UML状态图动态语义的Petri网模型SC_Net,既能描述状态图中的控制部分,又能描述状态图中的数据处理部分,并给出了从UML状态图到SC_Net的转换步骤,便于实现自动转换过程.最后以柔性制造系统的一个实例说明SC_Net能用于分析UML状态图的性质.      

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

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

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

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