基于合同网的对地观测资源动态协同规划方法

卫星、无人机等对地观测资源已经成为执行灾害救援、灾损评估等多样化监测任务的主要观测手段,而大规模任务的随机调整和动态执行环境是快速制定对地观测方案的核心难点。针对此问题,提出一种面向不确定环境的对地观测资源动态协同规划方法,以动态高效地制定异构观测资源的协同观测方案。首先,结合合同网协议提出一种自下而上的分布式动态协同框架,以整合空天地异构观测资源构建分布式、动态、松耦合的协同观测网络。然后,根据该协同框架提出多轮组合分配方法及优化算法以快速动态地分配大规模监测任务。最后,通过仿真实验证明,在任务持续并发的动态不确定环境中,基于合同网的动态协同规划方法在提升了约25%任务完成率的同时,降低了约20%的运行时间,实现了任务完成率与方法运行时间的平衡。      

面向地震应急响应的松耦合研判模型管理机制

由于面向地震应急响应系统(EERS)的研判模型有其自身特点,传统决策支持系统中模型管理方法并不能较好地满足其管理需求。提出一种面向地震应急响应的松耦合研判模型管理机制(LC-MM),包括3个部分:(1)研判资源建模环境,由研判模型描述/控制语言(MDCL)和数据源描述/控制语言(DSDCL)组成;(2)研判资源协同交互框架,该框架分为4层,主要包括应用环境上下文App_Context、模型调用者Model_Invoker和数据通道Data_Channel 3个Agent组件;(3)研判资源协同交互协议,该协议将研判任务、研判模型和数据源的紧耦合关系分解为上述Agent组件之间的协同交互关系。实际应用表明,LC-MM能够有效屏蔽研判资源的异构性,提高EERS的可扩展性、动态适应性以及平台无关性,能够较好地满足EERS中研判模型的管理需求。     

网络计算环境下任务调度问题研究

利用网上空闲处理机组成机群并行计算环境是快速增长的研究领域,任务调度是其中最关键性的问题之一.在基于消息传递机制的网络并行计算环境下,针对一类大粒度计算任务并行时协同同步工作问题,发展了一种新的静态调度模型,提出了调度算法,它映射一类特殊的并行程序任务到由网络上若干空闲处理机组成的机群中.研究表明该算法能减少此类并行程序的完成时间.      

自主测试优先级软硬协同调度策略

自主测试是构建航天器自治体系的关键技术之一.针对实时操作系统自主测试优先级调度问题,提出一种软硬协同混合调度策略.通过分析复杂工程背景下影响自主测试任务重要性的多种因素,提出重要性综合评价指标实现优先级静态分配,利用自组织特征映射网实现测试任务集聚类.在此基础上,建立仲裁代理机制进行优先级再分配,以可信性为调度判据实现基于现场可编程门阵列(FPGA,Field Programmable Gate Array)的优先级动态调度.实验表明该策略对自治系统合理分配优先级资源、高效调度测试任务具有参考意义.      

航电系统SCI互连的可靠性模型研究

研究未来航电系统关键协议——SCI(可扩展的一致性接口)的可靠性建模问题.从SCI互连的基本模型出发,提出了基于任务的系统可靠性分析方法,建立了系统的可靠性模型,并针对航电系统中SCI的蝶型互连进行了可靠性分析,指明该方法在航电系统设计阶段对于任务划分和拓扑选择都将起到指导作用.      

对地观测DSS任务分配问题的CSP模型与算法

任务分配是对地观测分布式卫星系统(Distributed Satellites System, DSS)自主协作运行过程中的一个重要环节. 针对任务分配中的约束满足问题(Constraint Satisfaction Problem, CSP), 以DSS完成任务总耗能最少为原则, 构建了任务分配问题的CSP模型, 并引入MAS理论中的合同网协议, 给出模型的求解算法, 通过仿真算例对模型和算法进行了验证.      

资源约束条件下舰艇编队多智能体协作规划

从分析舰艇编队对海作战的流程出发,在决策过程中引入多智能体系统(MAS,Multi-Agent System)理论,建立了编队协同反舰作战Agent模型.针对舰艇编队Agent协作规划过程中受资源约束产生资源占用冲突的问题,建立一种主从式结构多Agent协作规划模型,并提出一种集中与分布规划相结合的MAS协作规划方法.仿真实例表明:该方法可有效实现作战编队各Agent之间的协作与协调,保证舰艇编队在满足资源约束条件下实现预期战术目标.      

密码协议的分层安全需求及验证

将密码协议的安全需求分为浅层需求和深层需求2个层面,阐述了密码协议的分层安全需求.采用近世代数和时序逻辑的方法定义了形式化描述语言,并形式化地描述了密码协议的分层安全需求.将类BAN逻辑与模型检查相结合,在Abadi-Tuttle模型的基础上建立密码协议的计算模型.以Otway-Rees协议为例,利用该计算模型和定理证明技术对密码协议进行了多层需求验证.     

实时连续多媒体任务模型及调度算法

传统周期任务模型过于简单,不能适应实时多媒体流任务的多种形式,以用户为中心的连续媒体的调度算法由于未能从全局上考虑任务的服务质量QoS(Quality of Service)需求,因而调度效率较低.提出一种改进的以多媒体对象为中心周期任务模型,该任务模型概括了目前多媒体任务的基本表现形式.基于该任务模型,提出了一种以连续多媒体流的整个质量表现过程为中心的任务表现路径模型TPP(Task Presentation Path).在全面考虑表现路径中媒体流对象的全局死线、局部死线和任务连续失效率的基础上,给出了连续多媒体流的比例资源分配调度算法PSTPP(Proportional Share based on Task Presentation Path).实验结果表明了所提出的周期任务模型的合理性,调度算法能提供比传统分时策略以及EDF算法更好的QoS保证.     

BACnet与Internet的互联

对比分析了目前2种BACnet(楼宇自动控制网络数据通信协议)与Internet的互联技术,即B/IP PAD(BACnet/Internet协议包封装/拆装设备)和BACnet/IP,并指出了这2种技术所存在的问题.提出了一种基于BACnet网关的互联模型,此网关工作在BACnet网络层,需要配置一个独立的IP地址和一个BACnet网络号,同时也必须维护一个对等网关的IP地址与BACnet网络号的本地数据库.该模型通过BACnet网关来完成不同协议之间的语义转换、广播及管理等功能,为BACnet网络与Internet之间提供了统一的网络接口,增强了楼宇控制网络与Internet融合的能力,并大大简化了BACnet网络与Internet的互联过程.在研究此模型的体系结构和工作流程的基础上探讨了该模型的实现方法.     

最小数据丢失量的地月中继卫星任务调度研究

月球背面的探测器必须依靠地月中继卫星进行数据传输与通信。地月中继任务包括实时性任务和延迟容忍类任务,如数传任务。当探测器等待传输的数据量超出用户存储容量时,延迟容忍类任务会由于探测器本地存储资源不足和地月中继卫星天线资源受限而无法完成,导致任务数据丢失,所以需要设计一种合理的地月中继任务调度策略,提高地月中继卫星的资源利用率,减少数据的丢失。对地月中继卫星任务调度进行了研究,在分析地月中继卫星数传任务的特点及用户的存储限制的基础上,以最小化数据丢失量为优化目标,建立了地月中继卫星任务调度模型,并设计了一种基于离散烟花算法（DFWA）的地月中继卫星任务调度算法。仿真数据分析表明,基于离散烟花算法的地月中继卫星任务调度算法在求解结果上优于遗传算法,是一种合理、有效的调度方法。     

基于深度神经网络的多星测控调度方法

卫星规模的急剧扩大给传统多星测控调度方法带来了巨大挑战.传统调度方法面临调度时间长、任务满足度低等问题,难以适应大规模卫星调度.为此,引入了支持大数据和并行计算且具有自主学习特性的深度神经网络(DNN)算法,提出了一种基于DNN的多星测控资源调度方法.根据多星测控资源调度的特点以及DNN算法的要求,对调度过程中影响调度...     

高速缓存影响的航天器控制软件调度设计方法

针对高速缓存引起的程序执行时间抖动对航天器控制软件任务调度造成的困难,提出一种基于循环调度的调度设计方法,该方法利用任务程序执行时间的概率分布设计具有不同可靠性的系统模式,通过模式切换,使处理器得到充分利用,同时能够提供一定的可靠性保障,为航天器控制软件的任务调度提供参考.     

结合短帧优先的权重轮询AFDX端系统发送策略

提出一种新型的端系统虚链路调度（VL）策略,该策略在短帧优先基础上结合权重轮询（WRR）进行调度,既确保了重要短帧的优先级又可以平衡其他不同优先级信号的延迟上限。应用网络演算理论推导了基于该新型调度策略的端系统不同虚链路的延迟上界,研究了最大延迟上界与不同权重比及其帧长之间的关系,并建立了基于OPNET的航空电子全双工交换式以太网（AFDX）网络模型,仿真分析新型调度策略与短帧优先、带权重轮询调度算法下端系统数据的发送延迟。结果表明,该新型调度策略有效可行,降低了短帧虚链路的最大延迟时间,提高了长帧数据中较重要任务数据的处理带宽,适用于具有较多重要短帧并具有不同优先级数据的机载系统网络。      

红外低轨星座突发任务多重策略调度方法

面向红外低轨星座的突发任务规划与资源调度问题,结合红外低轨星座的空间与时间分布特性,提出一种基于多重策略的红外低轨星座任务应急调度方法。所提方法结合红外低轨星座的设计特点,从星座全球分布的均匀性、结构的对称性及星座内卫星运动的周期性分析作为输入,提出一种以地理分区为长期值守分组策略与事件触发下基于相对运动分析的动态快速分组策略相结合的多重策略。在所提策略指导下完成任务分组,开展工作窗口调度。经仿真分析可得:所提策略可有效应对不同区域的目标触发,并实时完成分组及工作窗口规划调度,较好解决了任务突发情况下的系统响应,由于采用优先分组的策略,降低了全局优化的复杂度,具有创新性,且具备较好的应用价值。      

中继卫星单址链路调度模型与算法研究

中继卫星的任务规划与调度是空间资源管理的重要内容之一,目的在于为中继卫星系统的任务计划编制提供科学合理的决策手段与依据。中继卫星单址链路调度问题的重要特点在于,中继卫星与用户航天器之间并非时时可见,因此通信任务存在可见时间窗口约束。只有在可见时间窗口内,通信任务才可能执行并完成。在进行合理假设的基础上,建立中继卫星单址链路调度问题的约束规划模型。对基本遗传算法进行改进,提出了基于有效基因路径表示的改进遗传算法。应用结果表明,基于约束规划理论建立中继卫星单址链路调度模型并采用基于有效基因路径表示的遗传算法求解是合理的。     

航空电子双层任务分区调度设计

针对严格实时的航空电子分区调度问题,建立了操作系统采用轮转调度策略,分区里采用动态优先级调度策略的双层任务调度模型.针对可调度性分析问题,利用轮转调度周期和分区任务执行系数作为关键参数,在任务时间需求函数的基础上,计算系统消耗时间,得出了系统可调度性的判定定理;同时考察存在释放抖动的时候可调度情况,提出了可调度性的计算边界;通过考察任务周期和轮转调度长度的关系,得出了分区可调度情况下任务负载的理论上限.针对分区设计问题,通过考察关键时刻点,给出了分区调度关键参数的解析模型,在此基础上提出了分区可设计的判定定理,最后给出实例进行具体说明.      

基于多星联合侦察的卫星数传调度问题模型

基于多星联合侦察的卫星数传调度问题是研究如何为卫星数传任务中每个单数传任务分配地面资源及数传时间的问题,对该问题的模型进行了研究.首先建立了单数传任务模型及卫星数传任务模型;然后在此基础上建立了问题的约束满足优化模型,重点分析了问题的目标函数及主要约束条件;为了解决该问题,最后提出了一个基于双综合优先度的启发式调度算法,并通过实例验证了算法的有效性.研究成果实现了问题的形式化描述,并给出了一种有效的问题求解算法.