基于模型的飞行管理系统安全性分析

提出一种基于模型的飞行管理系统安全性分析实施方法，首先对飞行管理系统进行了功能危害性分析， 识别了各项功能的失效状态及其影响，确定了失效状态的分类和失效概率要求。然后采用形式化语言AltaRica 对飞行管理系统模型进行了描述，借助商用软件对飞行管理系统进行了AltaRica 建模和故障树分析。分析过程 表明，基于模型的安全性分析，清晰直观，适合工程应用，是一种简单高效的安全性分析方法。     

ATM中的ADS—SSR数据融合模型和算法

民航空中交通管理系统的核心是信息处理，根据民航用空中交通管理系统与军方用空中交通管理系统的不同特点，通过对一个可能的ＡＤＳ－ＳＳＲ数据融合模型的探讨，给出了此模型的具体算法。本算法综合了两者的优点，可实现整个飞行过程的无间断的可靠的监视，并且在高密度终端区提供必要的数据精度     

基于VAPS～FLSIM的FMS导航系统实时仿真系统设计

基于VAPS、FLSIM软件建立了飞行管理系统控制显示组件(CDU)和导航模型实时仿真系统.在满足实时性前提下,给出了基于FLSIM的导航模型设计方法.建立了一个通用的、基于网络连接的飞行管理系统的CDU和导航模型.实现了飞机管理系统中控制显示组件的动态图形仿真以及在实时环境中飞行计划的生成.给出了航线导航的设计方法,实现了导航信息数据的实时传输.     

论高校学报的交流与利用

阐述了高校学报交流的意义、重要性和必要性。提出了交流学报应纳入图书馆的统一管理系统。进而实现学报的宣传服务、检索服务、咨询服务和多元化的信息服务。     

基于UML的教务管理系统模型分析

介绍了在统一过程模型的基础上应用UML进行系统分析、设计，建立系统模型的简洁方法。文中通过对一个教务管理系统的建模过程，运用UML语言的图形表达方式，从需求分析，到详细设计，及类与类之间的消息传递关系，给出了该方法的应用细节，并对该方法进行了验证。实践表明，在基于统一过程模型体系结构为中心的建模方法指导下，应用UML语言丰富的可视化表达元素，可以清晰、快速地定义面向对象的软件系统模型。     

飞机技术状态管理系统开发与工程应用

简要介绍了飞机技术状态管理系统的网络模型与开发方案设计，详细论述了系统的工程更改管理、数据分析、数据查询与报表定义等功能模块的设计。将网络系统建模、动态服务器网页设计、远程数据对象与VBA Office Web组件编程技术开发的飞机技术状态管理系统，成功应用于型号研制中。     

发展基于人工智能的自动化空中交通管理系统的探讨

本文就对如何发展基于人工智能的自动化空中交通管理系统的迫切性进行了探讨，阐述了现代一体化空管新理念，提出了基于人工智能的自动化空中交通管理系统的模型。对于引入自动化以后，空中交通管制系统中人的因素和如何处理和防止出现应急情况进行了初步研究。     

飞行试验计划管理系统初探

本文简要介绍了飞行试验计划管理系统可用于飞行试验中去的必要性，以及飞行试验计划系统在国外的应用情况，结合我国实际，提出适合我院飞行试验的计算管理系统研制初步模型，为今后我院进一步应用与全面开发该系统打下了良好的基础，对飞行试验进行自动综合的科学管理具有特别重要的实际意义。     

生产实施系统

在当前市场竞争日益激烈、制造企业朝着中小批量生产方式发展的现实情况下,迫切需要一种以企业现有的生产条件为基础,能够迅速提高生产效率、保证按用户需求及时交货的生产管理系统。生产实施系统(MES)就是一个能够满足上述要求的计算机化的生产管理系统与技术。本文首先回顾了计算机化生产管理系统的发展历史,详细介绍了MES的技术概念、功能模型、技术模型,阐述了推行基于单元化制造系统MES的必要性。     

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

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

航空推进系统性能寻优控制的系统模型

航空推进系统性能寻优控制是基于模型的控制技术,各部分采用的系统模型是其关键技术之一。根据性能寻优控制的原理,分析了系统模型选择的原则。详细描述了2部分核心模型：估计模型和性能优化模型。根据寻优控制实时计算的要求,给出了状态变量模型和稳态变量模型的线性化表达式,并介绍了工程实现时模型的使用方法。     

New model-based method for aero-engine turbine blade tip clearance measurement

Active control of aero-engine turbine tip clearance is one of the best chances for engine performance uplift currently. To do that, the first requirement is real-time measurement of tip clearance in aero-engine working environment. However, turbine complexity makes it unlikely for tip clearance sensors to be loaded. In recognition of that, this paper proposed a model-based method for tip clearance measurement. Firstly, by considering previously wrongly neglected factors such as load deformation, a mathematical model to monitor dynamic tip clearance changes is built to improve calculation accuracy. Then, after clarifying the coupling relationship between engine models and tip clearance models, this paper builds a component-level mathematical model integrating dynamic characteristics of turbine tip clearance, which helps realize accurate measurement of tip clearance in working environment. How tip clearance affects turbine efficiency is studied afterwards and reported to aero-engine model, so as to mitigate performance difference between aero-engine model and real engines caused by turbine tip clearance. Lastly, by hardware-in-the-loop simulation, tip clearance model demonstrates 15.9% better accuracy than previously built models in terms of turbine centrifugal deformation calculation. As tip clearance measurement model takes averagely 0.34 ms in calculation, meeting the operation requirement, it proves to be an effective new way.     

基于TRBAC的分布式指挥系统访问控制建模

介绍和分析了2种主流访问控制技术——基于角色的访问控制及基于任务的访问控制。针对现有模型的不足,结合某分布式系统的复杂访问控制需求和处理特点,建立了基于任务—角色的访问控制TRBAC模型,阐述了模型对最小权限原则、权限分离原则、角色层次关系的支持。     

符合民机适航标准的形式化方法研究

描述了形式化方法的定义、目的、作用和软件开发流程。以发动机仪表盘显示布局风格需求为例,通过四变量形式化方法对需求进行形式化建模,通过形式化分析证明模型的完备性和一致性。以发动机油量周期计算需求为例,通过Event-B形式化方法对需求进行形式化建模,通过形式化分析发现需求模型的缺陷。对民机适航标准形式化方法相关的三份补充文件进行了解读,对采用形式化方法进行民机软件开发具有指导意义。     

DESIGN OBJECT MODEL AND DESIGN PROCESS MODEL OF COMPUTER AIDED AIRCRAFT CONCEPTUAL DESIGN SYSTEM

ＤＥＳＩＧＮＯＢＪＥＣＴＭＯＤＥＬＡＮＤＤＥＳＩＧＮＰＲＯＣＥＳＳＭＯＤＥＬＯＦＣＯＭＰＵＴＥＲＡＩＤＥＤＡＩＲＣＲＡＦＴＣＯＮＣＥＰＴＵＡＬＤＥＳＩＧＮＳＹＳＴＥＭＳｈｅｎＺｈａｎｇ（ＡｉｒｃｒａｆｔＣＡＤＲｅｓｅａｒｃｈＣｅｎｔｅｒ，Ｂｅｉｊｉｎ...     

白车身轻量化设计分析

针对某轿车减重的项目要求,利用有限元灵敏度优化分析技术,基于经试验验证后的有限元模态分析模型建立灵敏度优化分析模型,用MSC．Nastran求解得到灵敏度矩阵和设计变量的迭代历史过程。结合灵敏度分析对基础模型减重,并对减重后的模型进行刚度、碰撞等相关性能的验证,完成轻量化分析研究。     

太阳能飞机能量平衡建模

能量平衡是太阳能飞机设计工作的核心和难点。基于太阳能飞机能量原理,结合太阳辐射模型和太阳能飞机典型飞行剖面开展太阳能飞机能量平衡建模研究。根据太阳能飞机起飞-爬升-巡航阶段和持续跨昼夜飞行阶段的飞行剖面和能量需求,分别建立了各阶段的能量平衡模型,给出了各时段的能量特性计算方法并对傍晚下滑阶段的多种飞行情况进行了分类讨论。最后以某太阳能飞机为例对本文所建立的起飞-爬升-巡航能量平衡模型和持续跨昼夜飞行能量平衡模型进行了验证。     

机场跑道运行仿真

分析了影响跑道运行的各种因素，通过建立气动、推力、道面等数学模型，结合运动学方法，采用面向对象的计算机语言实现了在最小空管间隔下跑道运行的仿真。并通过与实际数据的对比验证了该仿真模型的精确性，最后对起飞各项参数的变化及其影响因素进行了研究。     

大型运输机全寿命成本模型分析

大型运输机的发展,对于国民经济及国防事业发展具有重要的意义。由于研制大型运输机发展人力、财力投入大,使用周期长,因而,早期研制阶段进行全寿命成本模型分析对于研制方案的优选、提高竞争水平具有重要影响。本文从大型运输机概念设计中对经济性分析的需求出发,结合我国国情,探讨了大型运输机全寿命成本模型的建立方法。     

Partition method for improvement of piecewise linear model with full envelope covered

Since ambient conditions vary in a wide range within the full flight envelope, the existing piecewise linear model (PLM), which is based on sea-level static condition with use of corrected parameters for other points in the flight envelope, cannot meet the accuracy for replacing the nonlinear model. To obtain more accurate linear models, a method of partitioning the flight envelope over a grid of Mach number and altitude boxes was suggested. Then, a set of linear models for a given operating condition was selected by picking the nearest (Mach number, altitude) box in the flight envelope. Through the selected set of linear models, interpolating for power level based on a weighted sum of corrected rotor speeds can obtain a linear model with acceptable accuracy. Simulation results of different points within the full flight envelope showed that the maximum error between nonlinear model and the existing PLM was more than 50%, while the maximum error between nonlinear model and the improved PLM was within 8%. It is concluded that the improved PLM performs accurately, especially under the non-standard conditions. In addition, the improved PLM can satisfy the real-time requirement better than the existing PLM.