基于独立任务的分布式容错调度算法

主副版本法是常见的容错方法,将每个任务的主版本和副版本分配到两个不同的处理机上执行,只要任务的主版本分配到一个处理机,则对应的副版本可以在另一个处理机上重叠执行.笔者研究了分布式控制系统中,基于主副版本容错算法的副版本可以在执行时间上重叠来调度分配独立的任务,该容错算法以副版本执行时间重叠部分的最小化为复制代价,通过仿真实验与集中式调度和分布式调度算法进行对比分析.     

出厂试飞大纲编写标准初探

出厂试飞大纲标准的缺失,导致出厂试飞大纲编写没有一个明确的规定,将任务目的、科目设置、检查时机、期限要求、可接受判据、架次要求等信息,通过统一规划,全面合理,重点突出,定义准确,安全第一,过程管控,可操作性的总体思路以出厂试飞大纲编写标准进行形式上的固化,就可以很好的制约并指导出厂试飞大纲的编写工作,解决设计部门、制造部门、使用部门在以何种标准接收飞机上的矛盾,提高飞机交付的效率。     

实时高可用测控集群关键技术研究

针对实时测控信息类型复杂、信息处理和控制方法多样、对实时性和可靠性要求高等特点,构建了一种基于集群计算平台的实时、高可用测控系统,在此基础上提出了一主一备双工热备节点的分布式集群管理控制模式,即在系统运行过程中任务除在一个节点上进行处理外,另一节点同时运行该任务处理(但不输出处理结果),在此基础上设计了任务故障监测的心跳机制、任务故障迁移和恢复的分配方法。通过实验证明,该方法能在一个处理周期内发现任务故障,并实现故障任务的迁移和恢复,不仅减少了系统建设成本,而且缩短了故障任务迁移和恢复时间,提高了测控系统的实时性、可靠性。     

载人月球任务能源系统初探

针对载人月球任务多样、实施环境复杂等特点,分析了载人登月任务能源系统需求特点,结合国外载人月球任务航天器能源系统发展现状,提出了采用分布式能源网架构形式,逐步构建多源互补、物质循环利用、功率扩展的多子站互联能源系统。采用太阳电池、燃料电池、空间核能或锂离子电池等不同能源类型构建分布式发电和储能,并详细梳理了能源技术重点研究方向和共性关键技术,为未来载人月球任务能源系统顺利实施奠定技术基础。     

基于合同机制的多UCAV分布式协同任务控制

 针对集中式控制的不足，采用基于合同机制的分布式控制方法对多无人作战飞机（UCAV）协同任务控制问题开展研究。设计了有限中央控制下的分布式控制体系结构，以支持UCAV在任务控制站的监控下实现不同级别上的自治。在通过合同网协议实现动态任务分配的基础上，建立条件合同机制对任务执行过程进行协调，提高了多UCAV协同作战的效能。采用时间约束网络对UCAV的任务计划进行量化表达，保证了多UCAV战术行为配合的准确实现。仿真结果验证了方法的有效性。     

Oracle分布式数据库的创建策略

在远程网络环境下，由多个分散数据库组成的管理信息系统在当前十分普及，如何采用最小代价将分散数据库整合成准分布式数据库系统是一个迫切需要解决的问题。Oracle的分布式数据库功能允许用户将多个站点上的数据库作为一个逻辑上的整体，数据一致性、完整性及安全性都得以实现。在阐述了如何使用Oracle建立分布式数据库基础上，提出了解决数据复制问题的方法。实践证明，Oracle可以提供完备的方案建立分布式数据库。     

作战支援类飞机航空电子任务系统总体结构研究

在研究了几种典型的航空电子系统结构特点的基础上,分析了作战支援类飞机航空电子系统的特点和适宜的结构形式,指出了军用航空电子系统总体结构设计中容易出现的主要问题和应当遵循的设计准则。应用最新的分布式模块化电子(DME)系统技术和体系结构设计方法,建立了面向任务与操作者的作战支援类飞机航空电子系统总体结构框架。最后,指出了采用分布式模块化系统设计技术优化航空电子系统内部功能,以及采用异型智能化结构部件技术实现系统与飞机气动外形、结构总体的一体化,是军用飞机航空电子系统的未来发展趋势。     

中国航空工业总公司民用飞机总体部的职责和任务

中国航空工业总公司的民机总体设计部的主要职责是,侧重型号总体设计的抓总和协调。其主要任务是:在研制大中型民机项目中,担当主机设计单位总体设计部门的任务;对未来民机新布局、新构型进行跟踪和预研;对关键新技术组织预研;对以基层厂所为主设计的民机型号,从总体设计上给子咨询支持。     

基于SIM仿真平台的载人登月软着陆任务研究

为确保环月空间站各项探月任务的协调开展,依据载人登月总体论证任务的特点,研制了具有分布式仿真特性的全数字载人登月任务仿真平台(SIM)。针对月面着陆问题,在SIM仿真平台上,以软着陆3自由度动力学模型作为飞行任务仿真单元,变网格Radau伪谱法作为任务规划单元的核心算法,同时考察着陆过程中的推力、过载以及应急条件等多种约束,对月面着陆器与上升飞行器组合体进行了载人登月软着陆任务仿真分析,结果验证了SIM仿真平台的可扩展性,同时验证了基于变网格Radau伪谱法规划法的有效性。     

一种适用的Multi-Agent System协同框架及其应用

概述了一种MAS协同框架通用的部分-全局规划(GPGP)和任务描述语言TAEMS.GPGP是一种不依赖于问题域的通用的MAS协同框架;它提供一个协同机制库,在不同的任务环境和协同要求下,应用不同机制集,从而动态地、柔性地描述任务环境,为GPGP应用提供根据与基础.本文在一个分布式的制造执行系统MM-MES中应用了合同网协议、TAEMS和GPGP,研究分布式的车间调度和协同.     

Coactive design of explainable agent-based task planning and deep reinforcement learning for human-UAVs teamwork

Unmanned Aerial Vehicles (UAVs) are useful in dangerous and dynamic tasks such as search-and-rescue, forest surveillance, and anti-terrorist operations. These tasks can be solved better through the collaboration of multiple UAVs under human supervision. However, it is still difficult for human to monitor, understand, predict and control the behaviors of the UAVs due to the task complexity as well as the black-box machine learning and planning algorithms being used. In this paper, the coactive design method is adopted to analyze the cognitive capabilities required for the tasks and design the interdependencies among the heterogeneous teammates of UAVs or human for coherent collaboration. Then, an agent-based task planner is proposed to automatically decompose a complex task into a sequence of explainable subtasks under constrains of resources, execution time, social rules and costs. Besides, a deep reinforcement learning approach is designed for the UAVs to learn optimal policies of a flocking behavior and a path planner that are easy for the human operator to understand and control. Finally, a mixed-initiative action selection mechanism is used to evaluate the learned policies as well as the human’s decisions. Experimental results demonstrate the effectiveness of the proposed methods.     

考虑断点续传的中继卫星调度模型及启发式算法

为提高中继卫星系统的应用效能及数传任务的完成率，在中继卫星调度中考虑了断点续传这一应用模式，即对单个数传任务进行合理拆分，使其在多个时间窗口内完成。首先构建面向断点续传的中继卫星单址天线的调度模型，然后提出一种基于冲突风险评估的冲突度量化方法，并设计考虑断点续传的两阶段调度算法。最后开展大量的仿真实验将该算法与贪婪算法、基于最小冲突度的启发式算法和基于任务优先级的启发式算法这3个不考虑断点续传的算法进行对比。实验结果表明，所提出的算法在任务完成率方面分别提高了7.67%、6.34%和8.67%。     

多类异构对地观测平台协同任务规划方法

目前,不同类型的对地观测平台之间缺乏有效的协同交互机制。这种孤立的资源管控模式难以应对多样且大量的对地观测需求。特别是在一些紧急情况下,如地震、武装冲突、洪涝灾害和森林火灾等,这种模式的弊端尤为突出。研究了多类异构观测资源,包括卫星、飞艇及无人机(UAV)的协同规划问题。首先,提出一种基于多Agent的分层协同规划框架,整合不同观测资源构成一个分布式和松耦合的对地观测系统。其次,将异构对地观测平台的协同规划问题转化为不同子规划中心间的任务分配问题。第三,针对该任务分配问题,提出一种结合禁忌列表模拟退火(SA-TL)算法,在该算法中融合了禁忌表策略,有效提高了算法的性能。仿真实验验证了多Agent协同框架的优越性和SA-TL算法的效率。     

燃气轮机分布式仿真的现状与展望

燃气轮机仿真正在从单一的、定制的仿真程序,向多学科综合的、适应各种需要的仿真环境发展。由于燃气轮机各个部件模型通常使用不同的编程模型和编程语言,需要在系统层次采用统一的编程模型来进行集成,同时屏蔽编程语言的差异。本文从编程模型的角度出发,对各种分布式仿真技术进行比较分析,并介绍了国内外燃气轮机仿真的发展现状。最后对国内燃气轮机分布式仿真的发展方向进行了探讨。     

Reliability Analysis of Aircraft Condition Monitoring Network Using an Enhanced BDD Algorithm

The aircraft condition monitoring network is responsible for collecting the status of each component in aircraft. The reliability of this network has a significant effect on safety of the aircraft. The aircraft condition monitoring network works in a real-time manner that all the data should be transmitted within the deadline to ensure that the control center makes proper decision in time. Only the connectedness between the source node and destination cannot guarantee the data to be transmitted in time. In this paper, we take the time deadline into account and build the task-based reliability model. The binary decision diagram (BDD), which has the merit of efficiency in computing and storage space, is introduced when calculating the reliability of the network and addressing the essential variable. A case is analyzed using the algorithm proposed in this paper. The experimental results show that our method is efficient and proper for the reliability analysis of the real-time network.     

一种基于分枝定界法的串行测试任务调度算法

 目前的自动测试系统中,对于串行任务的测试一般是以整个任务为粒度,这就导致两个任务可能需要重复设置相同的状态或重复测试相同的内容,延长了测试时间,降低了测试效率。针对这个问题,建立了基于图论的串行测试任务时序模型,用“图”来描述串行任务的测试时间与测试顺序的关系,将实际工程问题转化为图论中的数学问题。在任务时序模型的基础上,提出了一个串行测试任务调度算法。对于多个需要串行测试的任务,利用该算法可以得到测试时间最短的串行任务序列。该算法是借助整数规划问题中分枝定界法的思想实现的,通过相关理论和具体实例对算法的正确性和复杂性进行了分析。在实际系统中对该算法进行了实验验证,结果表明给定任务的测试效率提高了40%以上。     

一种基于网络的监控软件设计与实现

目前我国电信网中的通信设备种类繁多,结构庞大,功能复杂。为实现高容错、高可靠性,电信运营企业网络资源管理多采用分布式系统实现。在多台服务器参与实际工作时,由主监控器将处理业务分解为相应的处理进程,按一定的调度策略分散到各个服务器上以达到负载均衡。即使处理信息业务量不断增加,也只需通过任务调度增加服务器的台数或升级服务器来解决。     

时间分区的设计与实现

为了满足新一代航空电子系统高度综合化、模块化的要求,在高安全实时操作系统中引入了分区（Partition）的概念。分区是运行于一个处理机模块上的一个或多个应用程序（或子系统）,这些应用程序在时间和空间上彼此隔离,互不影响。分区操作系统根据预先定义的主时间框架内的时间窗口调度相应的分区,在分区的时间窗口内,每个分区按照分区内自己的调度策略调度分区内的进程。分区内的进程有周期进程和非周期进程两种类型,每个进程具有截止期属性,周期进程除了截止期还存在周期属性,当进程发生截止期超时或周期超时,操作系统需进行相应的超时处理。本文着重讨论符合ARINC653要求的时间分区的一种设计及实现方法,包括分区时间调度,进程截止期管理,周期进程调度,以及时间事件管理。     

UAV navigation in high dynamic environments: A deep reinforcement learning approach

Unmanned Aerial Vehicle (UAV) navigation is aimed at guiding a UAV to the desired destinations along a collision-free and efficient path without human interventions, and it plays a crucial role in autonomous missions in harsh environments. The recently emerging Deep Reinforcement Learning (DRL) methods have shown promise for addressing the UAV navigation problem, but most of these methods cannot converge due to the massive amounts of interactive data when a UAV is navigating in high dynamic environments, where there are numerous obstacles moving fast. In this work, we propose an improved DRL-based method to tackle these fundamental limitations. To be specific, we develop a distributed DRL framework to decompose the UAV navigation task into two simpler sub-tasks, each of which is solved through the designed Long Short-Term Memory (LSTM) based DRL network by using only part of the interactive data. Furthermore, a clipped DRL loss function is proposed to closely stack the two sub-solutions into one integral for the UAV navigation problem. Extensive simulation results are provided to corroborate the superiority of the proposed method in terms of the convergence and effectiveness compared with those of the state-of-the-art DRL methods.     

基于分布式自适应的多智能体容错一致性控制

针对"领航者-跟随者"的多智能体编队，由于领航者系统出现故障引起编队通讯中断而不能完成任务的问题，提出了一种基于一致性理论的分布式自适应控制方法，用于解决该问题。首先，以一个位于顶点的智能体作为领航者，其余3个位于同一条线上的智能体作为跟随者，由此所构成的三角形编队作为被控对象。其中，领航者速度方向作为编队的前行方向，跟随者位于领航者之后。其次，基于图论，对智能体局部信息参数进行分布式自适应更新，并设计分布式自适应控制律，用于弥补多智能体编队中领航者故障所造成的影响。同时，根据相邻智能体的局部信息，设计整体分布式自适应容错控制律，进一步通过构建合理的Lyapunov函数，证明所设计控制器的稳定性，以及"领航者-跟随者"之间相对横向以及相对纵向的距离误差均收敛于固定常数。最后，仿真验证表明：所提出的自适应控制方法具有良好的鲁棒性，这也为工程实践提供了理论依据。