基于自由权矩阵的时变时延线性群系统编队控制

研究了基于自由权矩阵方法的时变时延线性群系统编队控制问题。首先,基于一致性理论,设计了具有时变时延的线性群系统编队控制协议。其次,通过变量代换,将时延条件下的线性群系统编队控制问题转化为时延系统的镇定问题。构造Lyapunov-Krasovskii函数,并利用自由权矩阵方法对时延系统的镇定问题进行分析,得到了保守性较小的线性矩阵不等式（LMI）判据,并求解出时延上界和编队控制器增益。最后,通过仿真实验,验证了方法的有效性。     

ARINC 653分区实时系统的可调度分析

ARINC 653规范定义了综合模块化航空电子(IMA)实时操作系统的行为逻辑以及向应用程序提供的接口规范。该规范规定了系统采用分区内调度和分区间调度的两级调度方案,如何分析系统的可调度性以保证实时任务能够在截止时间内完成计算是需要研究的新问题。基于负载请求与平台资源提供能力的供需约束关系导出了系统可调度的判定依据。证明了判据的约束是系统可调度的充分必要条件。实际应用表明,提出的可调度判定定理能够应用于判定ARINC 653分区实时系统的可调度性,辅助提升系统的安全属性。     

Optimization of geosynchronous satellite constellation for independent regional navigation and positioning in Middle East region

Regional Navigation and positioning systems using geosynchronous satellites are emerging for different parts of the world. Optimal constellation geometry achievement for a set of geosynchronous satellites is a key sector in designing of such systems. Genetic algorithm is applied for optimization of constellations with 6 and 7 satellites which is to be used in Middle East region where these systems have been deprived of. Based on the fact that the coverage criterion is not sufficient enough to guarantee a good navigation service, positioning process by the satellite systems is discussed and the performance of the system on the basis of position dilution of precision is collected as the fitness criterion. Placing the satellites in groups to pass over the same ground track is applied as a constraint to the genetic algorithm. By simulation, performance of the best obtained results and GPS are compared in terms of position dilution of precision, visibility and the required epochs (time span) to resolve the ambiguities with a 99% success rate, in this region. Also, capability of the GA for such problems is demonstrated.     

On the large-scale structure of the tail current as measured by THEMIS

The magnetic field structure and the spatial characteristics of the large-scale currents in the magnetospheric tail were studied during quiet and moderately disturbed geomagnetic conditions in 2009. The magnetic field of the currents other than the tail current was calculated in terms of a paraboloid model of the Earth’s magnetosphere, A2000, and was subtracted from measurements. It was found on the base of obtained tail current magnetic field radial distribution that the inner edge of the tail current sheet is located in the night side magnetosphere, at distances of about 10 R_E and of about 7 R_E during quiet and disturbed periods respectively. During the disturbance of February 14, 2009 (Dst_min ∼ −35 nT), the B_x and the B_z component of the tail current magnetic field near its inner edge were about 60 nT, and −60 nT that means that strong cross-tail current have been developed. The tail current parameters at different time moments during February 14, 2009 have been estimated. Solar wind conditions during this event were consistent with those during moderate magnetic storms with minimum Dst of about −100 nT. However, the magnetospheric current systems (magnetopause and cross-tail currents) were located at larger geocentric distances than typical during the 2009 extremely quiet epoch and did not provide the expected Dst magnitude. Very small disturbance on the Earth’s surface was detected consistent with an “inflated” magnetosphere.     

基于模型的系统工程方法在载人航天任务中的应用探讨

针对基于文档的航天任务设计中设计数据分散、一致性差、跟踪难度大等问题,引入了基于模型的系统工程(MBSE)方法。首先,介绍了MBSE方法理念,即通过构建图形化的模型来支持系统的需求捕获、设计、分析、验证和确认等全生命周期活动。然后,给出了MBSE方法的一般工作流程,即先构建系统的需求模型,用于指导功能模型、物理架构模型等的构建,按照事先制定好的逻辑规则建立模型间的关系,依靠模型间的关系实现设计过程中的关联性分析、参数查询等工作。最后,应用MBSE方法于载人飞船交会对接任务中。结果表明,此方法改善了人员沟通,提高了设计效率,降低了设计风险,可为MBSE方法在航天任务设计中的进一步应用提供参考。     

基于图像的经纬仪测量目标快速瞄准技术

电子经纬仪是一种高精度的测角仪器,由多台高精度电子经纬仪构成的测量系统可以实现三维坐标测量,用于对大型工业产品的几何检测。但经纬仪在测量过程中仍然需要人工瞄准目标,存在速度慢、效率低、人为因素影响大等不足。实现经纬仪自动照准目标功能将是一个新的发展方向。提出一种基于图像的自动瞄准技术,通过在经纬仪上安装一台相机获取待测目标点的图像,利用图形目标识别技术获取目标点图像坐标,依据相机与经纬仪的空间关系可以获得各目标点相对于经纬仪的初始角度,从而实现目标点的快速概略定位,理论推导及实验证明本方法能够准确有效的获得目标点的概略位置。     

捷联式天线稳定平台动力学建模与仿真分析

对于体积有限制的战术导弹应用,导引头天线伺服系统的体积受到严格限制,传统的速率陀螺稳定平台的应用受到挑战,为此提出采用捷联稳定方式来解决视线稳定问题.根据弹载捷联式天线平台的结构特点及稳定原理,应用坐标变换方法,完整地建立了两自由度捷联式天线平台的运动学与动力学模型.通过分析平台框架运动学耦合关系,表明捷联稳定方式与速率陀螺稳定方式的基本区别在于信息的获取和控制方式上,速率陀螺稳定方式是一种直接硬件稳定方法,而捷联稳定方式是一种软件补偿方法.在此基础上,对框架动力学耦合特性进行了数值仿真,结果表明:弹体对框架的耦合较强,需要进行弹体解耦,而框架之间的交叉耦合相对较弱,实际设计时可以忽略.所得结果为进一步研究捷联式天线稳定平台提供了理论基础,也为小型化导引头视线稳定平台系统的工程设计提供了一种解决方案.     

离散广义Markov跳变系统的镇定性

针对转移概率部分未知情况下的离散时间广义Markov跳变系统,研究了系统的稳定性和镇定性。转移概率部分未知的情况包含了转移概率完全已知和完全未知两种特殊情况,具有更广泛的实际意义。首先利用线性矩阵不等式方法,将离散Markov跳变系统的结论推广到离散广义Markov跳变系统,提出了使开环系统随机稳定的充分条件;在此基础上,进一步提出了闭环系统可镇定的判据,并表示为线性矩阵不等式形式;最后,通过仿真算例验证了所提方法的有效性。     

Universal scaling laws for fully-developed magnetic field turbulence near and far upstream of the Earth’s bow shock

We analyze the multifractal scaling of the modulus of the interplanetary magnetic field near and far upstream of the Earth’s bow shock, measured by Cluster and ACE, respectively, from 1 to 3 February 2002. The maximum order of the structure function is carefully estimated for each time series using two different techniques, to ensure the validity of our high-order statistics. The first technique consists of plotting the integrand of the pth order structure function, and the second technique is a quantitative method which relies on the power-law scaling of the extreme events. We compare the scaling exponents computed from the structure functions of magnetic field differences with the predictions obtained by the She–Lévêque model of intermittency in anisotropic magnetohydrodynamic turbulence. Our results show a good agreement between the model and the observations near and far upstream of the Earth’s bow shock, rendering support for the modelling of universal scaling laws based on the Kolmogorov phenomenology in the presence of sheet-like dissipative structures.