Hybrid partition- and network-level scheduling design for distributed integrated modular avionics systems

Distributed Integrated Modular Avionics (DIMA) develops from Integrated Modular Avionics (IMA) and realizes distributed integration of multiple sub-function areas. Time-triggered network provides effective support for time synchronization and information coordination in DIMA systems. However, inconsistency between processing resources and communication network destroys the time determinism benefiting from partitions and time-triggered mechanism. To ensure such time determinism and achieve guaranteed real-time performance, system design should collectively provide a global communication scheme for messages in network domain and a corresponding execution scheme for partitions in processing domain. This paper firstly establishes a general DIMA model which coordinates partitioned processing and time-triggered communication, and then proposes a hybrid scheduling algorithm using Mixed Integer Programming to produce feasible system schemes. Furthermore, incrementally integrating new functions causes upgrades or reconfigurations of DIMA systems and will generate integration cost. To control such cost, this paper further develops an optimization algorithm based on Maximum Satisfiability Problem and guarantees that the scheduling design for upgraded DIMA systems inherit their original schemes as much as possible. Finally, two typical cases, including a simple fully connected DIMA system case and an industrial DIMA system case, are constructed to illustrate our DIMA model and validate the effectiveness of our hybrid scheduling algorithms.     

Near real-time PPP-based monitoring of the ionosphere using dual-frequency GPS/BDS/Galileo data

Ionosphere delay is very important to GNSS observations, since it is one of the main error sources which have to be mitigated even eliminated in order to determine reliable and precise positions. The ionosphere is a dispersive medium to radio signal, so the value of the group delay or phase advance of GNSS radio signal depends on the signal frequency. Ground-based GNSS stations have been used for ionosphere monitoring and modeling for a long time. In this paper we will introduce a novel approach suitable for single-receiver operation based on the precise point positioning (PPP) technique. One of the main characteristic is that only carrier-phase observations are used to avoid particular effects of pseudorange observations. The technique consists of introducing ionosphere ambiguity parameters obtained from PPP filter into the geometry-free combination of observations to estimate ionospheric delays. Observational data from stations that are capable of tracking the GPS/BDS/GALILEO from the International GNSS Service (IGS) Multi-GNSS Experiments (MGEX) network are processed. For the purpose of performance validation, ionospheric delays series derived from the novel approach are compared with the global ionospheric map (GIM) from Ionospheric Associate Analysis Centers (IAACs). The results are encouraging and offer potential solutions to the near real-time ionosphere monitoring.     

基于容迟网络路由的航天测控网量子密钥分配

为提高航天测控网通信的安全性,本文将量子密钥分配技术应用于分布式航天测控网,并采用容迟网络路由策略来传递量子密钥。首先在地面站和航天器之间建立量子密钥分配系统,生成并共享密钥;随后以行进中的航天器为中介,逐段加密传送密钥;最终可使两个地面站共享量子密钥,保证信息传输的绝对安全。考虑到容迟网络的特点,本文对传染病路由算法进行改进,并应用于密钥传递过程。仿真结果表明,上述密钥分配机制可有效提高航天测控网通信的性能。     

一类Cohen-Grossberg型BAM脉冲神经网络周期解的存在性和全局指数稳定性

利用Lyapunov泛函、不等式方法及Poincaré映射,建立了一类具有混合时滞的Cohen-Grossberg型BAM脉冲神经网络周期解的存在性和全局指数稳定性的充分性判据。     

带非线性扰动的时滞大系统的分散输出反馈镇定

文章研究一类时滞大系统 ,内部具有非线性扰动 ,同时带有时滞关联和非线性关联项。考虑到大系统的状态部分可测量 ,设计了输出反馈控制器 ,来使系统分散输出鲁棒镇定 ,仿真的结果证明了结论的有效性。     

H1 output tracking control for flight control systems with time-varying delay

For flight control systems with time-varying delay, an H1 output tracking controller is proposed. The controller is designed for the discrete-time state-space model of general aircraft to reduce the ef...     

H∞ output tracking control for flight control systems with time-varying delay

For flight control systems with time-varying delay, an H∞ output tracking controller is proposed. The controller is designed for the discrete-time state-space model of general aircraft to reduce the effects of uncertainties of the mathematical model, external disturbances, and bounded time-varying delay. It is assumed that the feedback-control loop is closed by the communication network, and the network-based control architecture induces time-delays in the feedback information. Suppose that the time delay has both an upper bound and a lower bound. By using the Lyapu- nov-Krasovskii function and the linear matrix inequality （LMI）, the delay-dependent stability criterion is derived for the time-delay system. Based on the criterion, a state-feedback H∞ output tracking controller for systems with norm-bounded uncertainties and time-varying delay is presented. The control scheme is applied to the high incidence research model （HIRM）, which shows the effectiveness of the proposed approach.     

短波射线追踪技术中的电离层混合建模方法

在国际参考电离层模型和多层准抛物模型的基础上,提出了一种混合应用两种模型进行电离层建模的新方法.利用射线追踪技术,分别对混合模型和传统国际参考电离层模型下短波射线在电离层中的轨迹进行了仿真,得到了电波群路径.通过与实测电波群路径的对比,结果表明:对中国中纬度地区在电离层混合模型下的射线追踪精度优于传统国际参考电离层模型下的射线追踪精度,同时混合建模方法降低了多层准抛物模型对输入条件的要求,扩展了多层准抛物模型在射线追踪技术中的应用范围.     

幅值锁定型超流体陀螺模糊自抗扰控制系统设计

针对幅值锁定型超流体陀螺中热相位注入存在的温升延迟和热噪声影响陀螺系统测量精度和稳定性的问题,提出一种基于模糊自抗扰的超流体陀螺控制系统设计方法。首先建立超流体陀螺的数学模型;分析热相位注入引入的温升延迟和未知热噪声对系统敏感精度和稳定性的影响机理。在此基础上,设计集微分跟踪器、扩张状态观测和非线性反馈控制律于一体的自抗扰控制器,并进一步采用模糊推理实现非线性组合的比例和微分系数的自适应调整。最后利用Maltlab/Simulink进行仿真校验。仿真结果表明：该控制方法能够抑制未知噪声和温升延迟对系统的影响,对工作点实现良好的锁定,有效地提高了陀螺系统的测量精度和稳定性。