A formal approach using SysML for capturing functional requirements in avionics domain

In this work, a Model-Based Systems Engineering approach based on SysML is proposed. This approach is used for the capture and the definition of functional requirements in avionics domain. The motivation of this work is triple: guide the capture of functional requirements, validate these functional requirements through functional simulation, and verify efficiently the consistency of these functional requirements. The proposed approach is decomposed into several steps that are detailed to go from conceptual model of avionics domain to a formal functional model that can be simulated in its operating context. To achieve this work, a subset of SysML has been used as an intermediate modelling language to ensure progressive transformation that can be understood and agreed by system stakeholders. Formal concepts are introduced to ensure theoretical consistency of the approach. In addition, transformation rules are defined and the mappings between concepts of ARP4754A civil aircraft guidelines and SysML are formalized through meta-model. The resulting formalization enables engineers to perform functional simulation of the top-level functional architecture extracted from operational scenarios. Finally, the approach has been tested on an industrial avionics system called the Onboard Maintenance System.     

飞机机身近区电磁散射建模研究

采用物理光学法和一致性几何绕射理论，分析机身各 球面波照射下的近场电磁散射特性几何绕射并建立其雷达散射截面（ＲＣＳ）数学模型，同时对于复杂机身的前部，采用面元油、即采用双三次Ｂ样条技术对机外形进行拟合，然后再用一致性几何绕射理论进行计算。种方法具有一定的可信度。     

Controlling factors of Region 2 field-aligned current and its relationship to the ring current: Model results

One essential component of magnetosphere and ionosphere coupling is the closure of the ring current through Region 2 field-aligned current (FAC). Using the Comprehensive Ring Current Model (CRCM), which includes magnetosphere and ionosphere coupling by solving the kinetic equation of ring current particles and the closure of the electric currents between the two regions, we have investigated the effects of high latitude potential, ionospheric conductivity, plasma sheet density and different magnetic field models on the development of Region 2 field-aligned currents, and the relationship between R2 FACs and the ring current. It is shown that an increase in high latitude potential, ionospheric conductivity or plasma sheet density generally results in an increase in Region 2 FACs’ intensity, but R2 FACs display different local time and latitudinal distributions for changes in each parameter due to the different mechanisms involved. Our simulation results show that the magnetic field configuration of the inner magnetosphere is also an important factor in the development of Region 2 field-aligned current. More numerical experiments and observational results are needed in further our understanding of the complex relationship of the two current systems.     

新型环氧树脂潜伏性促进剂的合成、表征及性能研究

合成了新型环氧树脂潜伏性促进剂三(乙酰乙酸十八酯)铝,采用DSC,FT-IR,H-NMR、元素分析分别对其热分解机理、化学结构、物质纯度进行了表征.研究了以环氧ZH92-21∶双酚S∶三(乙酰乙酸十八酯)铝=l00∶3∶0.5为配比的树脂体系的固化制度、潜伏性和力学性能,树脂体系的表观粘度在室温储藏7个月后基本没有变化,相分离是其具有优异潜伏性的主要原因.     

Reliable flight performance assessment of multirotor based on interacting multiple model particle filter and health degree

Multirotor has been applied to many military and civilian mission scenarios. From the perspective of reliability, it is difficult to ensure that multirotors do not generate hardware and software failures or performance anomalies during the flight process. These failures and anomalies may result in mission interruptions, crashes, and even threats to the lives and property of human beings. Thus, the study of flight reliability problems of multirotors is conductive to the development of the drone industry and has theoretical significance and engineering value. This paper proposes a reliable flight performance assessment method of multirotors based on an Interacting Multiple Model Particle Filter (IMMPF) algorithm and health degree as the performance indicator. First, the multirotor is modeled by the Stochastic Hybrid System (SHS) model, and the problem of reliable flight performance assessment is formulated. In order to solve the problem, the IMMPF algorithm is presented to estimate the real-time probability distribution of hybrid state of the established SHS-based multirotor model, since it can decrease estimation errors compared with the standard interacting multiple model algorithm based on extended Kalman filter. Then, the reliable flight performance is assessed with health degree based on the estimation result. Finally, a case study of a multirotor suffering from sensor anomalies is presented to validate the effectiveness of the proposed method.     

同伦法在现代飞机尾旋预测中的应用

在利用ＢＡＣＴＭ法对高性动性能飞机尾旋预测中，首先要求解平衡解，为此需要使用静态，强迫振荡天平气动模型和旋转天平气动模型，而在两气动模型转换过程中，常常遇到难找或不断得到平衡解的问题，针对这一问题，利用同伦法对气动模型进行处理，有效地了解决了该问题，同时，结合某战斗机进行了有关尾旋的计算和预测，结果表明，所提出的方法是可靠和切实可行的。     

基于拉盖尔函数的卫星姿态预测控制方法

针对卫星在空间站中进行绕飞检测时的姿态控制问题，考虑卫星的姿态轴需要躲避禁飞区域并指向期望位置，提出了一种基于拉盖尔函数的模型预测控制方法，实现了对卫星姿态轴的控制。在模型预测控制方法的基础上，通过拉盖尔函数，将优化多个控制输入转换为优化少数的拉盖尔系数，建立了拉盖尔模型预测的控制策略，改善了传统的模型预测控制方法计算效率差的问题，减少了优化时间。采用卫星在空间站中绕飞的模型进行数值仿真验证，结果表明该方法能够使卫星的姿态轴躲避禁飞区并到达指定位置。与传统方法相比，这种基于拉盖尔函数的模型预测控制策略能够提高优化效率，减少计算时间。     

M数缩尺法旋翼颤振动力相似模型设计

本文以延-2复合材料桨叶旋翼为例,用M数缩尺法尝试设计了缩尺比为1/5的颤振相似模型。设计从旋翼颤振微分方程开始,应用π定理得出10个独立相似准则数,列出各有关物理量缩尺因子后进行模型结构设计,从而得出了若干有益的结论。     

金属多层膜超晶格结构研究

用高分辨的三晶体x—射线衍射仪测量了Zr、Cu金属交替的多层膜的x—射线小角反射谱。用扩展了的Born—wolf光学模型对Zr、Cu多层膜的x—射线小角反射数据进行了定量分析。结果表明，该金属多层膜在其生长方向具有超晶格结构。在两层金属膜之间的界面上，由于内扩散，形成了界面交混层，它使x—射线小角反射所产生的高阶Bragg峰的强度减弱。由于两种金属膜的晶格不匹配，使高阶Bragg峰加宽。界面的粗糙度可用来模拟x—射线小角反射曲线的阻尼振荡效应。     

Stationary flow fields prediction of variable physical domain based on proper orthogonal decomposition and kriging surrogate model

In this paper a new flow field prediction method which is independent of the governing equations, is developed to predict stationary flow fields of variable physical domain. Predicted flow fields come from linear superposition of selected basis modes generated by proper orthogonal decomposition(POD). Instead of traditional projection methods, kriging surrogate model is used to calculate the superposition coefficients through building approximate function relationships between profile geometry parameters of physical domain and these coefficients. In this context,the problem which troubles the traditional POD-projection method due to viscosity and compressibility has been avoided in the whole process. Moreover, there are no constraints for the inner product form, so two forms of simple ones are applied to improving computational efficiency and cope with variable physical domain problem. An iterative algorithm is developed to determine how many basis modes ranking front should be used in the prediction. Testing results prove the feasibility of this new method for subsonic flow field, but also prove that it is not proper for transonic flow field because of the poor predicted shock waves.