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.     

采用二维贝叶斯方法求解旋转盘腔导热反问题

为了研究压气机旋转盘腔换热特性,实现准确求解转盘表面传热系数,引入二维贝叶斯方法,此方法采用先验分布优化测温误差,并且更加符合转盘的二维特性。通过加入噪声的模拟数据验证方法的可行性,结果表明无测温误差时方法的平均误差是3.2%,有测温误差时方法的平均误差是10.6%,并分析了误差来源。通过与已有实验结果对比,发现方法更适用于计算转盘迎风面与背风面传热差异较大时的表面传热系数,平均相对误差为9.6%,满足实际工程精度的要求。通过改变盘面温度测点数量,发现测点增加会提升计算精度,并采用统计抽样理论分析原因,发现在可接受误差为10%时,所需要的测点数量比较合理。     

Two-phase framework for near-optimal multi-target Lambert rendezvous

This paper proposes a two-phase framework to obtain a near-optimal solution of multi-target Lambert rendezvous problem. The objective of the problem is to determine the minimum-cost rendezvous sequence and trajectories to visit a given set of targets within a maximum mission duration. The first phase solves a series of single-target rendezvous problems for all departure-arrival object pairs to generate the elementary solutions, which provides candidate rendezvous trajectories. The second phase formulates a variant of traveling salesman problem (TSP) using the elementary solutions prepared in the first phase and determines the final rendezvous sequence and trajectories of the multi-target rendezvous problem. The validity of the proposed optimization framework is demonstrated through an asteroid exploration case study.     

可应用于民机空气动力设计中的数值优化方法简

 目前民机成功设计的一个关键要素即在设计中有效地引入计算流体力学（CFD）的模拟方法和软件,特别是具有设计能力的方法和工具。本文概要地叙述了反设计、基于CFD低可信度和高可信度模型等数值优化方法的发展和应用于民机设计的历史和现状;简单地介绍了即将举行的空气动力优化设计计算系列研讨会;重点讨论了对可应用于民机设计的基于Navier-Stokes方程解算器的OPTIMAS的数值优化方法的要求及其构造方法,并以翼身组合体整流外形和翼身融合体（BWB）外形的算例表明其有效性,说明OPTIMAS可以成为民机日常设计的方法和工具之一。     

Uncertain multiobjective redundancy allocation problem of repairable systems based on artificial bee colony algorithm

Based on the uncertainty theory, this paper is devoted to the redundancy allocation problem in repairable parallel-series systems with uncertain factors, where the failure rate, repair rate and other relative coefficients involved are considered as uncertain variables. The availability of the system and the corresponding designing cost are considered as two optimization objectives. A crisp multiobjective optimization formulation is presented on the basis of uncertainty theory to solve this resultant problem. For solving this problem efficiently, a new multiobjective artificial bee colony algorithm is proposed to search the Pareto efficient set, which introduces rank value and crowding distance in the greedy selection strategy, applies fast non-dominated sort procedure in the exploitation search and inserts tournament selection in the onlooker bee phase. It shows that the proposed algorithm outperforms NSGA-II greatly and can solve multiobjective redundancy allocation problem efficiently. Finally, a numerical example is provided to illustrate this approach.     

BTT导弹神经网络直接逆控制算法的FPGA实现研究

针对BTT导弹控制系统中导弹模型的非线性和强耦合的特点,应用逆7系统和神经网络相结合的方法建立了导弹的逆模型.并以俯仰通道为例,设计了逆控制算法的BP神经网络结构,采用Verilog HDL编写了BP神经网络各个功能模块,并将其在FPGA上实现.通过神经网络逆控制算法在FPGA硬件实现和通用计算机上软件实现的对比,表明...     

微小卫星雷达隐身性能的在轨逆合成孔径雷达成像验证

成像雷达是空间目标监视系统中的重要组成部分.为深入评估某微小卫星的隐身性能,对卫星的逆合成孔径雷达(ISAR)成像效果进行预测,从雷达成像角度评估卫星的隐身效果.首先简述用于空间目标成像的ISAR成像的基本原理.然后构造卫星的散射点模型,散射系数采用微波暗室的实际测量值.依据仿真雷达系统参数和卫星实际在轨运行参数,计算卫星ISAR成像所需成像时间.对卫星3种飞行姿态,即卫星顶部指向地球表面的隐身姿态、卫星顶部与飞行方向一致和卫星底部指向地球表面两种非隐身姿态,以及不同信噪比情况,进行ISAR仿真,详细分析每种情况下的运动补偿效果和最终ISAR成像效果,说明了卫星隐身设计的有效性.     

ISAR非平稳目标成像时间和转速联合估计方法

针对逆合成孔径雷达(ISAR)非平稳目标成像,提出基于两特显点相位联合估计成像时间和转速的方法,并得到了转速与相位斜率差(PSD)的解析表达式.首先,基于两个特显点距离单元估计目标转动相位,根据不同时间段转动相位线性度(PLD)选择成像时间.其次,在适合成像的时间段,将成像时间等分成两段,分别提取两段时间内转动相位的斜...     

高校“双困”毕业生就业难点及就业对策探析

高校"双困"毕业生是就业的特殊群体,要实现"双困"毕业生的充分就业,国家应该从政策上加大扶持力度;高校要有针对性地进行专业技能拓展、心理健康教育和就业指导,提高学生的综合素质能力;"双困"生也应认清就业形势,转变观念,培养自身能力,提升就业竞争力。只有从多方面入手,才能最终达到充分就业的目的。     

现代企业内部控制的问题与对策分析

企业内部控制制度是现代企业管理制度的重要组成部分,目前我国企业基本建立了内部控制制度,并在生产经营和管理实践中起到了重要作用,但尚不能完全适应现代企业管理的需要,存在内部控制失效等诸多问题,影响和制约了企业的发展,因此,积极采取对策加强内部控制制度成为企业管理现代化和科学化的迫切需要。