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.     

Integration of lessons from recent research for “Earth to Mars” life support systems

Development of reliable and robust strategies for long-term life support for planetary exploration must be built from real-time experimentation to verify and improve system components. Also critical is incorporating a range of viable options to handle potential short-term life system imbalances. This paper revisits some of the conceptual framework for a Mars base prototype which has been developed by the authors along with others previously advanced (“Mars on Earth^®”) in the light of three years of experimentation in the Laboratory Biosphere, further investigation of system alternatives and the advent of other innovative engineering and agri-ecosystem approaches. Several experiments with candidate space agriculture crops have demonstrated the higher productivity possible with elevated light levels and improved environmental controls. For example, crops of sweet potatoes exceeded original Mars base prototype projections by an average of 46% (53% for best crop) ultradwarf (Apogee) wheat by 9% (23% for best crop), pinto bean by 13% (31% for best crop). These production levels, although they may be increased with further optimization of lighting regimes, environmental parameters, crop density etc. offer evidence that a soil-based system can be as productive as the hydroponic systems which have dominated space life support scenarios and research. But soil also offers distinct advantages: the capability to be created on the Moon or Mars using in situ space resources, reduces long-term reliance on consumables and imported resources, and more readily recycling and incorporating crew and crop waste products. In addition, a living soil contains a complex microbial ecosystem which helps prevent the buildup of trace gases or compounds, and thus assist with air and water purification. The atmospheric dynamics of these crops were studied in the Laboratory Biosphere adding to the database necessary for managing the mixed stands of crops essential for supplying a nutritionally adequate diet in space. This paper explores some of the challenges of small bioregenerative life support: air-sealing and facility architecture/design, balance of short-term variations of carbon dioxide and oxygen through staggered plantings, options for additional atmospheric buffers and sinks, lighting/energy efficiency engineering, crop and waste product recycling approaches, and human factor considerations in the design and operation of a Mars base. An “Earth to Mars” project, forging the ability to live sustainably in space (as on Earth) requires continued research and testing of these components and integrated subsystems; and developing a step-by-step learning process.     

一类基于四面体组合单元的模块化构架式可展开天线机构

针对现有基于四面体单元的构架式天线机构结构复杂、收拢率低、运动副数量多等问题，基于3RR-3RRR四面体组合单元和基于3RR-3URU四面体对称组合单元分别提出了两种新型模块化可展结构。以3个组合单元组成的模块化结构为分析对象，首先，详细介绍了模块化结构的组成及虎克铰轴线布置，并利用组合单元本身的自由度数目及性质，采用拆杆-等效-复原的思想，应用螺旋理论和G-K公式分别对提出的两种模块化结构进行了自由度分析，得到了自由度数目及性质。其次，应用Adams动力学仿真软件对两种模块化结构进行运动仿真，仿真结果验证了自由度分析的正确性。以完全展开和完全收拢时机构所占的空间体积比值表征该机构的收拢率，计算现有基于四面体单元的非模块化机构与提出的模块化机构的收拢率。最后，对比分析非模块化机构与模块化机构的自由度数目、运动副数目及收拢率。分析结果表明，基于3RR-3URU四面体对称组合单元的模块化结构既能实现较大收拢率，自由度及运动副数目也相对减少，且组成大型天线时杆件类型较少。研究结果为该类模块化构架式可展天线结构的设计与分析提供一定理论依据。     

混合三元系超大集

对于三类混合三元系超大集Ti-OLGD（v）（i=1,2,3）,T1-OLGD（v）和T2-OLGD（v）的存在谱已经完全解决了,而对于T3-OLGD（v）的存在性问题,所知结果很少。本文利用代数和组合设计相结合的方法,主要利用有限域的相关知识,对于T3-OLGD（q-1）（q为素数幂）,给出了一种新的构造方法,从而得到了一系列的结果。     

模块航天器间激光无线能量传输系统方案设想

模块化航天器是未来航天器发展的重要方向,模块航天器之间的能量传输是实现模块化功能应用的关键技术。文章针对模块化航天器系统能量分配需求,对无线激光能量传输技术进行了研究。阐述了无线激光能量传输系统的功能组成,建立了系统框架模型,分析了系统的关键技术,并对系统各组成模块进行了初步设计。在此基础上对激光传能系统进行了试验验证,获得了理想的光电转换效率。文章的研究成果可为我国模块航天器的发展提供技术支持。     

基于hp伪谱同伦凸优化的火箭垂直回收在线轨迹规划方法

针对可重复使用运载火箭垂直回收轨迹优化问题,提出了一种带有最优终端时间估计策略的hp伪谱同伦凸优化在线轨迹规划算法。首先,考虑状态约束和过程约束的非凸性,采用无损凸化处理推力幅值约束;然后,结合同伦方法与不动点迭代思想将气动力与非凸质量约束转化为线性时变剖面,完成问题凸化;进一步基于hp flipped Radau伪谱法对问题进行离散化处理,将最优控制问题转化为参数优化问题,进而采用原-对偶内点法求解;最后,为进一步减少燃料消耗,提升经济效益,考虑最优终端时间难以在线确定的问题,结合解析推导与二次插值法,设计了最优终端时间快速估计策略。仿真结果表明所设计的轨迹优化算法最优终端时间估计速度快,收敛性能良好,具有较高的精度和计算效率,具备在线应用的潜力。     

A discrete event systems approach to discriminating intermittent from permanent faults

Almost all work on model-based diagnosis （MBD） potentially presumes faults are per- sistent and does not take intermittent faults （IFs） into account. Therefore, it is common for diag- nosis systems to misjudge IFs as permanent faults （PFs）, which are the major cause of the problems of false alarms, cannot duplication and no fault found in aircraft avionics. To address this problem, a new fault model which includes PFs and IFs is presented based on discrete event systems （DESs）. Thereafter, an approach is given to discriminate between PFs and IFs by diagnosing the current fault. In this paper, the regulations of （PFs and IFs） fault evolution through fault and reset events along the traces of system are studied, and then label propagation function is modified to account for PFs and the dynamic behavior of IFs and diagnosability of PFs and IFs are defined. Finally, illustrative examples are presented to demonstrate the proposed approach, and the analysis results show the fault types can be discriminated within bounded delay if the system is diagnosable.     

Application in prestiction friction compensation for angular velocity loop of inertially stabilized platforms

To overcome the influence of the nonlinear friction on the gimbaled servo-system of an inertial stabilized platforms(ISPs) with DC motor direct-drive, the methods of modeling and compensation of the nonlinear friction are proposed. Firstly, the inapplicability of LuGre model when trying to interpret the backward angular displacement in the prestiction regime is observed experimentally and the reason is deduced theoretically. Then, based on the dynamic model of direct-drive ISPs, a modified LuGre model is proposed to describe the characteristic of the friction in the prestiction regime. Furthermore, the state switch condition of the three friction regimes including presliding, gross sliding and prestiction is presented. Finally, a composite compensation controller including a nonlinear friction observer and a feedforward compensator based on the novel LuGre model is designed to restrain the nonlinear friction and to improve the control precision. Experimental results indicate that compared with those of the conventional proportion–integration–differentiation(PID) control method and the PID plus LuGre model-based friction compensation method, the dwell-time has decreased from 0.2 s to almost 0 s, the position error decreased to 86.7%and the peak-to-peak value of position error decreased to 80% after the novel compensation controller is added. It concludes that the composite compensation controller can greatly improve the control precision of the dynamic sealed ISPs.     

模块化的形成、发展及其对企业竞争优势的贡献

越来越复杂的产品工程与越来越要求产品个性化的消费者需求对传统的大规模生产方式提出挑战。而模块化的生产方式兼顾产品的通用性和灵活性,能够在大规模生产的同时实现产品品种的多样性,从而成为解决消费者需求定制与大规模批量生产二者之间矛盾的重要手段。通过对现有文献的分析,总结出推动模块化生产方式形成发展的动因主要是技术的不断发展和分工的不断深化、适应消费者需求的多样化与个性化以及实现各个经济主体的收益增加。另外,模块化生产对企业在全球竞争中取得成功起着至关重要的作用,它能够提高企业柔性,促进新产品研发绩效以及提升顾客满意度,从而为企业赢得竞争优势。