面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

Study of highly perturbed spacecraft formation dynamics via approximation

This paper explores methods for approximating and analyzing the dynamics of highly perturbed spacecraft formations with an emphasis on computationally efficient approaches. This facilitates on-board computation or rapid preliminary mission design analysis. Perturbed formation dynamics are often approximated as linear time-varying (LTV) systems, for which Floquet theory can be used to analyze the degree of system instability. Furthermore, the angular momentum of the relative orbital state can be computed with the approximate dynamics to provide additional insight. A general methodology is developed first and then applied to the problem of unstable formation dynamics in asteroid orbits. Here the dominant perturbative effects due to low-order gravitational harmonics and solar radiation pressure are modeled. Numerical simulations validate the approach and illustrate the approximation accuracy achieved.     

Fully distributed time-varying formation tracking control for multiple quadrotor vehicles via finite-time convergent extended state observer

This paper investigates a time-varying anti-disturbance formation problem for a group of quadrotor aircrafts with time-varying uncertainties and a directed interaction topology. A novel Finite-Time Convergent Extended State Observer (FTCESO) based fully-distributed formation control scheme is proposed to enhance the disturbance rejection and the formation tracking performances for networked quadrotors. By adopting the hierarchical control strategy, the multi-quadrotor system is separated into two subsystems: the outer-loop cooperative subsystem and the inner-loop attitude subsystem. In the outer-loop subsystem, with the estimation of disturbing forces and uncertain dynamics from FTCESOs, an adaptive consensus theory based cooperative controller is exploited to ensure the multiple quadrotors form and maintain a time-varying pattern relying only on the positions of the neighboring aircrafts. In the inner-loop subsystem, the desired attitude generated by the cooperative control law is stably tracked under a FTCESO-based attitude controller in a finite time. Based on a detailed algorithm to specify the cooperative control protocol, the feasibility condition to achieve the time-varying anti-disturbance formation tracking is derived and the rigorous analysis of the whole closed-loop multi-quadrotor system is given. Some numerical examples are conducted to intuitively demonstrate the effectiveness and the improvements of the proposed control framework.     

Arcadia建模方法与SysML建模方法比较研究

基于模型的系统工程与传统系统工程相比,有着形象化、具体化、沟通效率高等多种优势。基于系统建模(System Modeling Language,简称SysML)语言进行建模用途广泛,但是通过实践,针对系统架构和系统运行场景分析,基于Sys ML的建模方法特点并不突出。而Arcadia的基于模型系统工程建模有着简单、清晰等特点,对于系统架构和系统定义均有着Sys ML所不具备的特点。通过系统设计的目标与特点,对基于Sys ML的建模方法和Arcadia方法进行比较研究和实践,总结两种方法在基于模型的系统工程领域中的优劣。     

月面特征稀疏环境下的视觉惯性SLAM方法

月球车在执行科学探测任务过程中，其自身的高精度定位是一项亟需解决的关键问题。针对在特征稀疏的月面环境下的定位问题，提出一种视觉惯性融合的SLAM方法，将视觉测量与惯性传感器的信息利用位姿图优化方法融合，实现高精度的联合定位。针对特征稀疏环境下的前端视觉数据关联误差较大的问题，提出了一种基于四元树的光流跟踪算法，能够有效地跟踪鲁棒的特征点，提升了关键帧之间相对位姿估计的准确性。并且针对月面环境特有的恒星无穷远点干扰问题，提出一种高效的恒星点剔除算法，能够有效改善无穷远点导致的定位精度下降的问题。搭建了一套模拟月面环境的计算机仿真系统，并构建了多个月面环境视觉惯性SLAM仿真数据集，在不同的模拟月面场景下进行定位性能仿真验证，仿真测试结果表明本文算法的鲁棒性更强，具有更高的定位准确度。     

强不确定系统“全系数之和等于1”的实现方法

摘要： 研究强不确定系统“全系数之和等于1”的实现方法，强不确定系统指的是系统的静态增益及其界不完全确知且范围较大.“全系数之和等于1”是吴宏鑫院士20世纪80年代发现的，该原理表明，对于未知连续系统，其离散化系统的系数的和在一定条件下是1.该原理的发现对于解决闭环辨识和自适应控制的瓶颈问题具有关键作用.“全系数之和等于1”是在一定条件下成立的.为了实现系统的“全系数之和等于1”，需要对系统进行一定的变换，以满足所需条件.其中，采用静态增益的标称值的倒数进行输入变换的方法在实际中得到了广泛应用.但是，当系统的不确定性较大时，该变换将带来较大偏差.针对该问题开展了深入研究，明确给出了系统静态增益的不确定性与标称值的比值的关系对于实现“全系数之和等于1”的影响.当不确定性与标称值的比值较小时，可以近似实现“全系数之和等于1”；当比值较大时，进一步给出了通过选取合适的采样周期，近似实现“全系数之和等于1”的方法.本文的研究对于特征模型理论在实际中的应用提供了一定的基础.     

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.     

基于多滑模调节器切换的机动飞行边界保护控制

针对飞行器机动过程中关键飞行参数容易超出其边界的问题,研究了基于多滑模调节器的边界保护控制器。利用滑模方法设计多个边界调节器并采用最大/最小逻辑在各调节器之间进行切换。首先对边界约束集的正不变性以及系统最终的收敛性进行了严格的证明,然后通过将系统化为可控标准型,提出了确定系统最终收敛点的直观方法;其次通过引入分段线性滑模和分段二次Lyapunov函数对闭环系统的稳定性进行了分析;然后在此基础上给出了机动边界保护系统控制器的设计步骤;最后通过仿真表明,所设计的控制器能够保证在机动过程中关键飞行参数不越界的同时对输入指令进行很好的跟踪。     

全模颤振双索悬挂系统刚体模态频率研究

研究绳系结构和绳索预紧力对全模颤振双索悬挂系统刚体模态频率的影响。首先，基于绳索并联机构理论，对双索悬挂系统进行静力学建模，引入加权矩阵，推导了双索悬挂系统静刚度模型；其次，建立双索悬挂系统无阻尼振荡方程，分析双索悬挂系统刚体模态频率变化规律；进而，搭建了双索悬挂系统地面样机，开展系统模态频率测试试验，研究系统刚体模态频率的影响因素及其变化规律；最后，参考试验结果修正所建数学模型。结果表明，随着绳索预紧力的增加，系统刚体模态频率呈上升趋势，但各阶刚体模态的固有频率上升速率不同，平动模态的固有频率受绳索预紧力影响比转动模态小得多；在转动模态方面，滚转模态的固有频率最大且上升快；在平动模态方面，升沉模态的固有频率大于横侧滑模态的固有频率；双索经过的机身前后滑轮与飞机模型质心之间的相对位置变化会不同程度地影响支撑系统俯仰模态、偏航模态的固有频率，但几乎不影响其滚转模态的固有频率。研究发现，通过控制悬挂绳索预紧力的大小，合理设计机身上的滑轮安装位置，能够有效降低双索悬挂系统刚体模态频率。研究结果对于优化设计全模颤振双索悬挂系统具有指导意义。