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

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

最坏情况下的可靠性设计及可靠性试验

对安全性要求较高的产品进行可靠性设计时,为保证在最坏条件下仍然能够执行任务,要设定最坏环境及使用条件,不能疏漏,不能再采用3σ之类参数来分析其可靠性,要用允差[Y-,Y+]代替3σ的概率允差[Y′-,Y′+],这样设计出来的产品,在t=T的蜕化情况下能满足规定负载L的要求,则t=0时应能满足更高的负载L*的要求;可靠性试验时负载应该用L*再加上适当安全系数进行,不同于主要用试验设计的健壮设计。     

清风拂面来——与道金斯一席谈

在2005年4月30日，理查德·道金斯公开表明了自己无神论者的身份。他是全世界最著名的活着的无神论者，也是全世界最具争议的进化生物学家。道金斯于1976年出版的《自私的基因》一书，把他作为科学还原论的一个英俊、易怒的人性代表，推到了聚光灯下。这本书认为自然选择仅仅通过基因——而不是通过物种或者个体——发挥它的力量．     

金属多层膜超晶格结构研究

用高分辨的三晶体x—射线衍射仪测量了Zr、Cu金属交替的多层膜的x—射线小角反射谱。用扩展了的Born—wolf光学模型对Zr、Cu多层膜的x—射线小角反射数据进行了定量分析。结果表明，该金属多层膜在其生长方向具有超晶格结构。在两层金属膜之间的界面上，由于内扩散，形成了界面交混层，它使x—射线小角反射所产生的高阶Bragg峰的强度减弱。由于两种金属膜的晶格不匹配，使高阶Bragg峰加宽。界面的粗糙度可用来模拟x—射线小角反射曲线的阻尼振荡效应。     

混合三元系超大集

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

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.     

航空发动机机载健康管理系统设计方法

为解决航空发动机机载健康管理系统正向设计流程不清晰、设计需求不明确、需求设计对应及追溯不规范的问题，在对 比国内外现有健康管理功能架构体系的基础上，结合正向设计中需求捕获、需求分析和功能分配，研究了由上到下的航空发动机 健康管理系统正向设计基本流程，开发了航空发动机健康管理正向设计流程平台，实现了机载功能架构的设计。引入基于模型的 系统工程思想，采用面向对象的工程设计思路，建立功能目标量化、功能描述、模块定义等图形化设计方法，验证了该设计方法在 硬件设计中的可用性。通过研究航空发动机机载健康管理系统设计方法并分析机载功能组成，建立了可扩展的流程平台，基于模 型设计方法建立了可用的硬件设计模型，可为航空发动机机载健康管理系统设计提供参考。     

基于状态维修策略下的数据自动获取技术

阐述了在基于状态的维修策略下飞机状态参数的自动获取技术的实现过程和此过程中的技术难点,突破了飞机原厂家默认触发的状态数据的局限性,验证了以自主状态报文获取所需飞机状态数据的技术可行性,实现了飞机状态数据的自主筛选与传递。     

涡轮盘枞树形榫槽机夹拉刀设计

涡轮盘枞树形榫槽加工是涡轮盘加工的关键工序。完成榫槽加工的关键是榫槽的拉削工序,决定拉削工序的主要因素有机床、拉刀和夹具。拉刀的设计和制造质量是榫槽的拉削工序中最活跃的因素之一,也是拉削榫槽时加工涡轮盘榫槽厂家主要考虑的因素。     

卫星控制中心系统平台的高可用设计与实现

卫星控制中心是卫星地面测控管理系统的重要组成部分。随着信息技术的飞速发展和测控关键业务量的增长,高可用性、高可靠性及易维护日益成为卫星控制中心系统的设计目标。为满足卫星测控任务的需求,本文描述了卫星控制中心的网络系统、数据处理系统和数据库集群系统的高可用设计,并给出具体项目的成功实现。