Evolution of Air Traffic Management Concept of Operations and Its Impact on the System Architecture

The air traffic management system(ATM)has the task of ensuring safe,orderly and expeditious flow of air traffic.The ATM system architecture is very much dependent on the concept of operations(ConOps).Over the years the evolution in ConOps has resulted in changes in the ATM′s physical architecture,improving its physical infrastructure,increasing the levels of automation and making operational changes to improve air traffic flow,to cope with increasing demand for air travel.However,what is less clear is the impact of such changes in ConOps on the ATM′s functional architecture.This is vital for ensuring optimality in the implementation of the physical architecture components to support the ATM functions.This paper reviews the changes in the ConOps over the years,proposes a temporally invariant ATM functional model,and discusses some of the main key technologies expected to make significant improvements to the ATM system.     

运七-100模拟机故障剖析

对运七模拟机仪表、接口、电源各部分故障进行了比较详细的研究和剖析。     

系统群进化环境的模型设计

由于系统群复杂性的增加和有关实践的非成熟性，开发了一个系统化的方法来进行进化活动显得十分必要。本提出了一个系统群进化的综合环境的设计模型，介绍了该环境的设计思想，操作的流程，主要的模块以及如何运用系统构架知识来支持系统的进化，最后给出了该环境设计的高层结构。     

区间矩阵MIMO定常系统的可控性与可观性

针对ＭＩＭＯ系统可控性和可观性矩阵的特点，建立了一种区间矩阵ＭＩＭＯ定常系统可控性与可观性的充要条件，并给出了详细的理论推导，最后列举实际的例子。在例中与Ｆｒｏｂｅｎｉｕｓ范数区间作了比较，结果表明，如何扰动仅作用于系数矩阵Ａ，则「△Ａ，△Ｂ」的Ｆｒｏｂｅｒｉｕｓ范数区间地大大受到△Ｂ的限制。     

非线性系统的动态神经网络自适应辨识

提出了用双层动态神经网络在线辨识非线性动态系统的方法。神经网络的权重在线学习,不需要离线训练。在无逼近误差和扰动的理想情况下,所提出的在线算法能保证辨识误差趋于零,基函数持续激励条件能保证权重趋于零。在非理想情况下,权重调整律采用ｅ修正权重算法,它是ＢＰ算法的推广,不需要基函数的持续激励条件。基于李雅普诺夫稳定性理论保证了自适应辨识系统的稳定性。仿真算例说明了所提出的动态神经网络自适应辨识的有效性     

时间尺度上约束力学系统Mei对称性

研究了时间尺度上Lagrange系统、Hamilton系统和Birkhoff系统的Mei对称性.首先分别给出每一类系统的Mei对称性定义及判据,然后得到由Mei对称性导出的守恒量,再进一步研究Mei对称性的摄动和绝热不变量,最后再举例说明文中所用方法及所得结果.研究所得的守恒量是绝热不变量的特殊形式,且由于时间尺度的定...     

现代飞行模拟机技术发展概述

自20世纪中期第一台飞行模拟机投入运行以来,模拟机的设计理念、加工工艺、制造手段、电子系统的技术不断进步.特别是近十年来,更多的生产厂商参与到模拟机的研发和生产中,大量的新技术、新理念在新型号模拟机上采用,其进步和发展是计算机系统、视景系统、运动系统、飞行操纵系统、接口系统、仪表系统和软件开发模式等多方面、全方位的整体...     

具有认知能力的入侵检测系统模型

介绍了入侵检测的原理，对目前入侵检测的模型和方法进行分析，并给出了一个具有认知能力的入侵检测系统模型，该模型由基于规则的检测模块、神经网络组件、统计分析处理模块三个主要模块组成。模型采用了异常检测和误用检测相结合的方法，使系统既有对已知的攻击有较好的识别能力，又有检测未知攻击的能力。文末指出了当前入侵检测存在的问题及今后的发展方向。     

基于JSP的测试系统的分析与设计

提出了基于JSP的测试系统的基本功能和数据处理流程,并介绍了在系统开发过程中所采用的关键技术．     

飞机操纵系统与液压系统动态特性的综合分析研究

飞机操纵系统与液压系统是两个密切相关而又各自独立的系统，本文在探索两者内在联系和各自特性的基础上，提出一种以机液伺服控制为核心的、能表征和模拟它们共同特性并符合实际的系统综合模型。这里没有采用传统的建模技术，而藉以新颖的功率键合图为手段，通过数字仿真，可方便地预测和分析那些极有意义的系统参数变量的动态性能和相互关系，为飞机系统设计和参数的合理选择提供有价值的分析依据。     

柔性结构系统的子空间分析方法

子空间状态空间系统辨识(4SID)方法是分析线性振动系统动态特性的一种新的时域方法。该方法直接从测量数据辨识出系统的状态空间模型,无需非线性搜索和参数正则化,具有良好的数值特性,尤其适用于复杂的高阶多变量系统。本文应用其对一已知模态的桁架结构进行了仿真分析。     

空中交通管理飞行安全检查系统的需求捕获

空中交通管理飞行安全检查系统提取空中交通管理中性的不安全信息，作定量和定性分析。为飞行安全工作提供方便、客观的依据。在开发该系统初期阶段的需求获取工作中，采用“用例”技术去收集和整理系统新的需求，理解系统并知晓系统如何工作。本文试着用这种比较先进的软件分析技术去解决其系统软件的需求捕获问题，并简单描述采用这种技术的基本方法和过程。     

高速高精度数据采集分析系统在风洞中的应用

本文介绍了高速高精度数据采集分析系统组成形式、性能指标和系统内各部件包括数据放大器、数字化箱体、主控机以及系统软件的特点和功能，最后介绍了该系统在风洞中的应用情况。     

多Agent智能制造系统研究综述

Agent与多Agent系统是分布式人工智能的主要研究方向之一，Agent技术已经被认为是进行分布式工业系统建模的一种重要方法，是设计与实施分布式智能制造环境的最自然的手段，是构建下一代制造系统的重要技术之一，基于Agent的制造系统是多Agent系统理论和方法在制造领域中的具体应用，在对Agent与多Agent系统技术研究进行简要总结的基础上，综述了Agent技术在制造企业集成，供应链管理、制造规划、调度和制造控制等方面的应用及其研究现状，并对Agent制造系统研究的主要内容及关键问题进行了探讨。     

认知语法与系统功能语法对比研究

本文从时态、情态、语态、体态、归一性及小句等结构维度，探讨认知语法和系统功能语法的系统观与功能观。从系统维度讲，系统功能语法重点研究不同结构系统之间的体现关系，而认知语法侧重于分析这些结构系统之间的层次关系。从功能维度讲，系统功能语法认为语言结构实现概念功能、人际功能和语篇功能等三大元功能，而认知语法认为语言结构的主要功能是陈述事件或情状、描写和协商命题的效度。     

灰色系统理论的产生与发展

论述了灰色系统理论产生的科学背景，简要介绍了灰色系统的有关概念和灰色系统理论的主要研究内容，对灰色系统理论与概率统计、模糊数学等不确定性理论的异同作了比较，介绍了灰色系统理论这门迅速发展，日臻完善的新兴横断学科在国际国内学术界的影响和地位，及其在工业、农业、经济、能源、交通、石油、地质、水利、气象、生态、环境、医学、教育、体育、军事、法学、金融和生命科学等众多领域的成功应用。最后，提出了该领域中若干应当进一步研究的科学问题。     

矢量控制的无刷交流电动机调速系统仿真

本文介绍交流无刷电动机调速系统的仿真方法,知仿真数学模型的建立,速度调节系统控制策略的确定及仿真ＳＩＭＵＬＩＮＫ实现等。本文也给出了一个基于仿真结果设计的实际调速系统。     

中介命题扩张系统MP^＊推理规则集的简化

中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑ML，它由中介命题系统MP及其扩张系统MP^*、中介谓词演算系统MF及其扩张系统MF^*，以及带等词的中介谓词演算系统ME^*组成。本文讨论中介命题扩张系统MP^*推理规则集SA的简化。对于一个形式系统的推理规则而言，在保证其相容性、完备性和独立性的前提下，形式系统的推理规则集越简洁，使用越方便。本文对规则集SA进行了简化，方法是：如果SA中某条规则可由SA中其余规则推导出来，并且推导过程所用形式定理的证明未用到此规则，则此规则可被简化而不影响SA的效力。作者简化了SA中8条规则并且证明简化后的规则集与原规则集SA等价。     

涡扇发动机的一类大包线系统建模

基于涡扇发动机部件级模型,研究了具有非线性和时变特性的涡扇发动机非线性变参数系统建模问题.通过系统辨识的方法,以高压转子转速为调度变量,得到典型工作点的多项式非线性系统.在此基础上,借鉴增益调度思想,将高度和马赫数拟合成系统的时变参数,利用回归算法,建立大包线慢车以上非线性变参数(Nonlinear parameter...