Efficient schedulability analysis for mixed-criticality systems under deadline-based scheduling

Safety-critical avionics systems which become more complex and tend to integrate multiple functionalities with different levels of criticality for better cost and power efficiency are subject to certifications at various levels of rigorousness. In order to simultaneously guarantee temporal constraints at all different levels of assurance mandated by different criticalities, novel scheduling techniques are in need. In this paper, a mixed-criticality sporadic task model with multiple virtual deadlines is built and a certification-cognizant dynamic scheduling approach referred as earliest virtual-deadline first with mixed-criticality（EVDF-MC） is considered, which exploits different relative deadlines of tasks in different criticality modes. As for the corresponding schedulability analysis problem, a sufficient and efficient schedulability test is proposed on the basis of demand-bound functions derived in the mixed-criticality scenario. In addition, a modified simulated annealing（MSA）-based heuristic approach is established for virtual deadlines assignment. Experiments performing simulations with randomly generated tasks indicate that the proposed approach is computationally efficient and competes well against the existing approaches.     

基于航线对象的五边进近调配程序模型研究

针对进近管制飞行密集、潜在冲突多、调配难度大的特点,提出一种智能化的调配程序研究方法。将五边调配程序分解为基本的飞行程序,并引入航线对象的概念,结合五边进近飞行特点建立调配程序的参数模型。通过模型计算得到关键位置点及飞行控制参数信息,同时生成飞行路径,综合全部信息即得到完整的调配方案,能够为实际管制工作提供参考和服务。计算机仿真结果证明了理论方法的可行性。     

昂首阔步向天行——长征三号丙火箭研制历程纪实

金秋十月,秋高气爽,长征三号丙火箭(以下简称长三丙)静静地伫立在金色的阳光下,等待着振翅高飞,奔向月球的那一刻.与其它运载火箭相比,长三丙火箭还是长征家族中的新成员,她虽然没有身经百战的经历,但身出名门,继承成熟技术,具有技术性能先进、高可靠性、运载能力适中、适应能力强等特点,也因此使她成为了执行嫦娥二号发射任务的首选火箭.     

压剪联合载荷作用下复合材料壁板屈曲及后屈曲性能计算与优化方法研究

复合材料壁板被广泛用于航空航天结构,在外部复杂工况下壁板通常会受到面内压剪载荷的联合作用,其屈曲及后屈曲响应直接影响此类结构的极限承载能力。为此,基于改进的Koiter摄动理论,提出一种能够快速精确地开展复合材料壁板非线性屈曲分析的摄动有限元降阶方法,然后计算获得壁板的屈曲/后屈曲性能指标,即非线性屈曲载荷、后屈曲承载刚度以及承载刚度残余系数,最后将摄动降阶方法嵌套到复合材料铺层优化的分析流程中,获得压剪联合载荷下各种屈曲/后屈曲性能指标的最优铺层信息。数值算例验证了所提出方法的高效性和有效性。     

Expression of estrogen receptor α in human breast cancer cells regulates mitochondrial oxidative stress under simulated microgravity

This study investigated intracellular oxidative stress and its underlying mechanisms in a rotary cell culture system used to achieve a simulated microgravity (SMG) environment. Experiments were conducted with human breast cancer cell lines MCF-7 (an estrogen receptor (ER) α positive cell line) and MDA-MB-231 (an ERα negative cell line) encapsulated in alginate/collagen carriers. After 48 h, SMG led to oxidative stress and DNA damage in the MDA-MB-231 cells but a significant increase in mitochondrial activity and minimal DNA damage in the MCF-7 cells. The activity of superoxide dismutase (SOD) significantly increased in the MCF-7 cells and decreased in MDA-MB-231 cells in the SMG environment compared with a standard gravity control. Moreover, SMG promoted expression of ERα and protein kinase C (PKC) epsilon in MCF-7 cells treated with PKC inhibitor Gö6983. Overall, exposure to SMG increased mitochondrial activity in ERα positive cells but induced cellular oxidative damage in ERα negative cells. Thus, ERα may play an important role in protecting cells from oxidative stress damage under simulated microgravity.     

涡流图像的革新

通过加强涡流仪器的观察平台,通过简化判断程序,通过色码选择信息和发展新技术,使得较多的用户友好界面途径信息体现出来,涡流检测才能实现它的全部潜能.     

Virtual flight test techniques to predict a blended-wing-body aircraft in-flight departure characteristics

As one of the promising configurations of the next generation of commercial aircraft,research on departure characteristics of the Blended-Wing-Body(BWB) is of great signification to safe flight limits. A three-degree-of-freedom(3-DOF) virtual flight test in a wind tunnel has been implemented for a candidate configuration to predict the departure characteristics. The support mechanism, the test model and the control law of the virtual flight test are introduced. In order to show the relationship ...     

Station-keeping control for a stratospheric airship platform via fuzzy adaptive backstepping approach

This paper presents a novel approach for station-keeping control of a stratospheric airship platform in the presence of parametric uncertainty and external disturbance. First, conceptual design of the stratospheric airship platform is introduced, including the target mission, configuration, energy sources, propeller and payload. Second, the dynamics model of the airship platform is presented, and the mathematical model of its horizontal motion is derived. Third, a fuzzy adaptive backstepping control approach is proposed to develop the station-keeping control system for the simplified horizontal motion. The backstepping controller is designed assuming that the airship model is accurately known, and a fuzzy adaptive algorithm is used to approximate the uncertainty of the airship model. The stability of the closed-loop control system is proven via the Lyapunov theorem. Finally, simulation results illustrate the effectiveness and robustness of the proposed control approach.     

Investigations of an integrated angular velocity measurement and attitude control system for spacecraft using magnetically suspended double-gimbal CMGs

This paper presents an integrated angular velocity measurement and attitude control system of spacecraft using magnetically suspended double-gimbal control moment gyros (MSDGCMGs). The high speed rotor of MSDGCMG is alleviated by a five-degree-of-freedom permanent magnet biased AMB control system. With this special rotor supported manner, the MSDGCMG has the function of attitude rate sensing as well as attitude control. This characteristic provides a new approach to a compact light-weight spacecraft design, which can combine these two functions into a single device. This paper discusses the principles and implementations of AMB-based angular velocity measurement. Spacecraft dynamics with DGMSCMG actuators, including the dynamics of magnetically suspended high-speed rotor, the dynamics of inner gimbal and outer gimbal, as well as the determination method of spacecraft angular velocity are modeled, respectively. The effectiveness of the proposed integrated system is also validated numerically and experimentally.