Spatial approaches to moons from resonance relative to invariant manifolds

In this study, the final approach to a moon or other body from resonance is explored and compared to the invariant manifolds of unstable periodic orbits. It is shown that the stable manifolds of planar Lyapunov orbits can act as a guide for the periods or resonances that are required for the final approach in both the planar and spatial problems. Previously developed techniques for the planar problem are expanded for use with resonances and used for comparison with trajectories approaching a moon from these resonances. A similar technique is then used for exploring the relationship of invariant manifolds to approach trajectories in the spatial problem. It is shown that the invariant manifolds of unstable periodic orbits provide insight into the trajectory design, and they can be used as a guide to the more direct approach trajectories.     

增强FMS柔性的关键技术研究

柔性制造技术是现代制造业广泛采用的一种先进的制造技术。实现生产柔性是引进柔性制造技术的根本目的。ＦＭＳ是柔性制造技术应用的典型模式。     

组织管理的系统思维

系统是由相互关联的元素组成的整体。系统思维(Systems Thinking)是一种以整体观点观察事物的方式。基于工程原理和法则的定量化模型方法在管理领域的应用,因为人的动机和行为的复杂性而受到了限制。综合集成是具有系统思维的管理者对现实问题的不同诠释,是认识和解决管理复杂性问题的有效方法。     

复杂可修系统效能中可信度矩阵的构造方法

复杂可修系统可信度建模对保证效能的定量分析至关重要.本文在考虑不同维修状况的基础上,着重对不同任务剖面内相应任务阶段中武器装备可信度进行了深入的定量分析和综合,进而构造出武器装备的可信度矩阵,用于武器装备的效能分析;文中以某地面车辆为例,进一步论证了武器装备可信度矩阵的工程含义,旨在为合理确定一大类武器装备的效能和可信度指标提供理论依据.     

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.     

混合三元系超大集

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

舰载飞机着舰拦阻动力学研究综述简

 拦阻着舰过程通常被认为是舰载飞机事故率最高的阶段,因此,自从有了航空母舰和舰载飞机,拦阻着舰动力学就一直是国内外相关研究人员的研究热点。本文从拦阻钩、拦阻装置和起落架3个关键部件着手,比较详细地论述了舰载飞机着舰拦阻涉及到的关键动力学问题及其研究现状,重点对拦阻钩弹跳动力学及其载荷分析、拦阻索动力学及其载荷分析、下沉速度、非对称拦阻对起落架载荷的影响、拦阻系统动力学等方面进行了综述。最后,对着舰拦阻动力学研究的发展趋势进行了展望。     

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.