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.     

小波技术在组合导航系统故障诊断中的应用

针对组合导航系统中存在的故障类型和特点，提出一种新的基于信号处理的故障检测方法。该方法利用小波分析技术对含有故障信息的系统信号进行分析处理，并将此方法应用于SINS／GPS组合导航系统。仿真结果分析表明，小波分析技术能很好地及时检测出组合导航系统的硬故障，且更加简便灵活，从而可以将小波分析技术应用于组合导航系统的故障检测。     

基于模型的载人航天器研制方法研究与实践

载人航天器具有系统规模大、技术难度高、单件小批量、无法通过多次飞行持续完善设计、可靠性要求高等特点。当前载人航天器研制中仍存在着参数化和模型化程度不高、基于模型的系统综合仿真验证不足、研制各环节缺乏数字化集成等问题，传统基于文本的系统工程方法已无法满足研制需求，亟需采用基于模型的系统工程方法。本文针对载人航天器的研制现状和应用需求，提出了面向载人航天器全生命周期的模型体系，定义了需求模型、功能模型、产品模型、工程模型、制造模型、实做模型等六类模型，提出了基于模型的研制流程，包含系统设计闭环验证、产品设计闭环验证、实做产品闭环验证3个验证环节，并深入探索了各研制环节中不同模型间的传递与关联关系。以某型号载人航天器为应用基础，系统地验证了提出的方法。     

空间运输飞行器材料与制造技术需求分析

空间运输飞行器已经成为国际航天技术新的发展趋势,对材料和制造技术从两方面提出了新的需求:异形贮箱制造技术和热控材料与制造技术。本文对这两个问题进行了分析,结果表明:异形贮箱和热控硬件的材料与制造是制约空间运输飞行器发展的基础技术,必须在空间运输飞行器研制热潮之前先期突破。     

Development of an improved ground-based prototype of space plant-growing facility

Based on a formerly developed ground-based prototype of space plant-growing facility, the development of its improved prototype has been finished, so as to make its operating principle better adapt to the space microgravity environment. According to the developing experience of its first generation prototype and detailed demonstration and design of technique plan, its blueprint design and machining of related components, whole facility installment, debugging and trial operations were all done gradually. Its growing chamber contains a volume of about 0.5 m³ and a growing area of approximate 0.5 m²; the atmospheric environmental parameters in the growing chamber and water content in the growing media were controlled totally and effectively; lighting source is a combination of both red and blue light emitting diodes (LED). The following demonstrating results showed that the entire system design of the prototype is reasonable and its operating principle can nearly meet the requirements of space microgravity environment. Therefore, our plant-growing technique in space was advanced further, which laid an important foundation for next development of the space plant-growing facility and plant-cultivating experimental research in space microgravity condition.     

某航空企业MES实施战略

ERP、MES综合生产管理系统作为企业综合业务管理系统,主要包括控制物料、设备、人员、流程指令和设施在内的所有工厂资源来提高制造竞争力,提供了一种系统地在统一平台上集成诸如计划管理、文档管理、生产管理、质量管理等功能的方式,从而实现了实时化的EPR/MES/过程控制系统的集成一体化     

Neoplastic cell transformation by high-LET radiation: molecular mechanisms.

Experimental data on molecular mechanisms are essential for understanding the bioeffects of radiation and for developing biophysical models, which can help in determining the shape of dose-response curves at very low doses, e.g., doses less than 1 cGy. Although it has been shown that ionizing radiation can cause neoplastic cell transformation directly, that high-LET heavy ions in general can be more effective than photons in transforming cells, and that the radiogenic cell transformation is a multi-step process [correction of processes], we know very little about the molecular nature of lesions important for cell transformation, the relationship between lethal and transformational damages, and the evolution of initial damages into final chromosomal aberrations which alter the growth control of cells. Using cultured mouse embryo cells (C3H10T1/2) as a model system, we have collected quantitative data on dose-response curves for heavy ions with various charges and energies. An analysis of these quantitative data suggested that two DNA breaks formed within 80 angstroms may cause cell transformation and that two DNA breaks formed within 20 angstroms may be lethal. Through studies with restriction enzymes which produce DNA damages at specific sites, we have found that DNA double strand breaks, including both blunt- and cohesive-ended breaks, can cause cell transformation in vitro. These results indicate that DNA double strand breaks can be important primary lesions for radiogenic cell transformation and that blunt-ended double strand breaks can form lethal as well as transformational damages due to misrepair or incomplete repair in the cell. The RBE-LET relationship is similar for HGPRT gene mutation, chromosomal deletion, and cell transformation, suggesting common lesions may be involved in these radiation effects. The high RBE of high-LET radiation for cell killing and neoplastic cell transformation is most likely related to its effectiveness in producing DNA double strand breaks in mammalian cells. At present the role of oncogenes in radiation cell transformation is unclear.     

嵌金属丝推进剂燃烧起始阶段增速特性研究

考虑了使用嵌金属丝装药的发动机工作过程中的多种因素,建立了金属丝与药柱、燃气间相互作用的控制方程组,并对方程组进行了数值求解,得到了嵌金属丝推进剂在燃烧起始阶段,增速比随时间的详细变化过程。结果表明,金属丝的热扩散率、熔点、直径和黑度以各自不同的方式影响金属丝的增速效果,熔点相对较低的金属丝可能会在内弹道曲线的初始阶段形成一个轻微的压强峰,固有燃速较低、着火温度较低的推进剂对嵌入金属丝较为敏感。文中数值方法计算量小,结果可靠,适于工程应用。     

圆轨道星座全球覆盖的充分必要条件

对采用圆轨道的星座，目前的研究基本上局限于实际应用方面，很少进行理论方面的研究，本文首次提出并证明了达到全球连续多重覆盖的充要条件。这对进行星座设计具有积极的指导意义。     

Improved ZCS-PWM commutation cell for IGBTs application

An improved zero-current-switching pulsewidth-modulated (ZCS-PWM) commutation cell is presented, which is suitable for high-power applications using insulated gate bipolar transistors (IGBTs) as the power switches. It provides ZCS operation for active switches and zero-voltage-switching (ZVS) operation for passive switches. Besides operating at constant frequency and reducing commutation losses, the proposed ZCS-PWM switch cell has no additional current stress and conduction loss in the main switch. To demonstrate the feasibility of the proposed ZCS-PWM commutation cell, it was applied to a boost converter. Operating principle, theoretical analysis, design guidelines, and a design example are described and verified by experiment results obtained from a prototype rated 1 kW and operating at 40 kHz. The PWM switch model and state-space averaging approach is also used to estimate and examine the steady-state and dynamic character of ZCS-PWM boost converter system. Finally, the application of the proposed soft-switching technique in the dc-dc nonisolated converters is presented.