基于铱星/INS组合定位技术在船舶中的应用研究

GNSS拒止环境下惯性/GNSS组合导航系统的性能会严重恶化,通过利用并提取机会信号中的有用观测量,可以实现机会信号和惯性系统的联合动态定位。提出了利用铱星/INS组合定位技术实现船舶的动态定位。首先深入研究了铱星的信号体制,建立了利用铱星瞬时多普勒频移进行定位的算法模型;然后,提出了利用基于扩展卡尔曼滤波(EKF)技术的铱星机会信号与INS组合定位算法;最后,通过船舶航行实测数据对所提算法进行了试验验证。结果表明,提出的利用铱星机会信号和INS组合定位方法可以有效改善无GNSS信号条件下的INS定位精度,在GNSS信号拒止环境下解决了船舶定位问题,具有重要的研究意义和实用价值。     

基于加权模糊C均值聚类的图像分割算法

模糊C均值(FCM)算法用于灰度图像分割是一种非监督模糊聚类后再标定的过程,适合灰度图像中存在着模糊和不确定性的特点。但是这种算法存在着本质上的缺陷,就是仅利用了图像的灰度信息,而没有考虑像素的空间信息,使得其对于实际的含有噪声的图像分割效果不理想。因此,提出了一种新的加权模糊C均值聚类算法,实践证明,该方法可以有效地、实时地把目标从背景中分割出来,并具有较强的鲁棒性。     

Credit Determination of Fibre Channel in Avionics Environment

Fibre channel (FC) is the main candidate architecture for “unified network”. Flow control deals with the problem in which a de- vice receives frames faster than it can process them. Credit is an important service parameter for fibre channel flow control. Configuring the credit reasonably can avoid buffer overflow in nodes. This paper derives the mathematic relationships among credit, bandwidth and message sets under real-time condition according as three main topologies of fibre channel, and proposes the credit determination and the optimal credit for typical message sets. This study is based on the features of hard real-time communications in avionics environ- ment.     

Devising an unconventional formal logic for bioinspired spacefaring automata

The field of robotics is increasingly moving from robots confined to factory floors and assembly lines and bound to perform the same tasks over and over in an uncertainty-free, well foreseeable environment, to robots designed for operating in highly dynamic and uncertainty domains, like those of interest in space exploration. According to an idea of a “new system of formal logic less rigid than past and present formal logic” advocated by von Neumann for building a powerful theory of automata, such system should be “closer to another discipline which has been little linked in the past with logic, i.e. thermodynamics, primarily in the form it was received by Boltzmann”. Following that idea, which is particularly interesting now with the emerging computational nano-sciences, it is stressed here that a full set of isomorphisms can be established between the fundamental logical principles and the information flows, Hamiltonian or dissipative, in phase space. This form of logic, dubbed here kinetic logic, takes standard formal logic out of the field of combinatorics and into the field of the Boltzmannian form of thermodynamics, i.e. kinetics.     

基于DDMR辅助的GNSS-R载波相位差测高方法

提出了一种基于时延-多普勒映射接收机（DDMR,Delay-Doppler Map Receiver）辅助的载波相位差提取方法,给出了系统结构及信号处理方法.该方法将DDMR中所观测到的码相位差作为直射信号与反射信号的码相位延时量,将完成跟踪的直射信号扩频码进行对应的延时用于完成对反射信号的开环码跟踪.该方法省去了码相位延时搜索的过程,且可以准确地对反射信号扩频码进行同步.为了验证系统的可行性及实际性能,进行了针对水面高度测量的岸基试验并给出了试验结果.岸基试验证明采用该方法的GNSS-R（Global Navigation Satellite System Reflection）接收机可以稳定地对反射信号进行跟踪并提取直射与反射信号的载波相位差,测高精度约为2.5 cm,经过0.5 s的数据平均后精度可达0.6 cm.      

嵌入式电子飞行仪表系统软件设计

设计了一种基于嵌入式操作系统的电子飞行仪表系统软件。介绍了电子飞行仪表系统的基本构成,在嵌入式操作系统上设计并实现了主飞行模式、导航模式、发动机信息模式等功能。分析了电子飞行仪表系统软件设计的原则和结构,介绍了软件的类和消息机制。此外,通过在嵌入式系统的有限资源和三维处理的复杂算法间进行合理的折衷,实现了空间变换、立体投影和曲线消隐等算法模块,构成了自行设计的三维地形引擎。软件已经在基于Intel,Motorola等多种嵌入式处理器的系统上下载成功并且能够稳定运行。     

一种利用功率反演和线性约束最小方差算法的自适应天线

介绍了一种新的基于功率反演和线性约束最小方差的算法,以高度抑制GPS接收机的干扰信号。这种结构通过提调整天线阵列的权值,实时地接收并改变来自各方向的GPS信号,同时对不同方向的干扰信号有高的抑制比。对固定和移动的干扰都做了仿真,仿真表明这种结构有很深的零点,对固定干扰信号的抑制比可达到115dB,对移动干扰信号的抑制比可达到94dB。     

Cooperative formation control of multiple aerial vehicles based on guidance route in a complex task environment

In recent years, formation control of multi-agent has been a significant research subject in the field of cooperative control. However, previous works have mainly concentrated on formation control for simple point-mass model and linear model. In contrast, this paper presents a novel cooperative algorithm for multiple air vehicles formation control, which aims to devise a control strategy based on guidance route to achieve precisely coordinated formation control for a group of fixed-wing aircraft in a complex task environment. The proposed method introduces the leader-follower structure for effective organization of the multi-agent coordination. Moreover, the Partial Integrated Formation and Control (PIFC) is adopted to design the control law for Guidance-Route based Formation Control (GRFC). Additionally, the proposed approach designs two guidance-route generation strategies for two special situations to demonstrate the effectiveness of GRFC in complex task environments. Theoretical analysis reveals that the proposed control protocol for guidance command can ensure the overall stability and tracking accuracy of the system. Numerical simulations are performed to illustrate the theoretical results, and verify that the proposed approach can achieve coordinated formation control precisely in a complex task environment.     

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.     

基于QoS的卫星网络端-端通信可靠性分析

针对卫星网络动态环境下的高速信息传输、业务类型差异大等特点，提出一种综合考虑各业务QoS（Quality of Service）指标的可靠性分析方法。在卫星通信网络实际运行周期内，通信系统往往处于逐渐劣化过程中，导致卫星的节点和链路除正常工作和完全失效外，还存在部分失效的工作状态。本文在链路多状态基础上基于最小路集算法（Minimum Path Set Algorithms，MPSA）在不同业务的QoS指标（时延、带宽和丢包率）约束下，得出满足该业务QoS约束的所有可靠路径集，对路径集中路径进行不交化处理得到网络端-端可靠性。研究结果表明，不同业务由于QoS需求的差异导致网络端-端可靠性不同，所提算法与传统算法相比更加符合实际。由于实际卫星网络环境中会采用端-端并行多路径传输（Multi-Path Transmission，MTP），本文在上述研究的基础上，进一步对多路径的端-端可靠性进行了研究，结果表明多路径数据传输可靠性高。