如何在Exchange Server 2007上设置本地连续复制你会发现Exchange Server2007的高可用性是如此直接

想象一下,你一个人在刮着大风的路上开车。突然,你发现汽车的刹车失灵了。你开始恐慌,但是忽然记起来你的车里好像还有一个紧急刹车。这个例子生动地告诉我们,对于一个系统来说,备用措施是多么的重要。甚至可以说是越多越好,特别当这个系统是与机械相关时。     

基于压力偏差的射流管航空刹车伺服阀研究

针对某射流管航空刹车伺服阀生产交付和使用中遇到的额定输出刹车压力偏低等技术问题，进行影响因素分析，推导刹车压力方程，同时采用某飞机刹车系统附件，模拟管路长度，搭建系统模型试验台架，进行试验验证和改进措施研究。结果表明，该型阀输出刹车压力受多方面因素影响，且受试验检验条件的影响很大；供油和回油压力试验结果与理论计算基本一致，验证了理论分析有效性；采取增加在公差边界测试，严格试验操作等措施，可有效降低产品故障和返厂率。     

基于神经网络的飞机静液刹车系统设计

针对无人机的滑跑安全问题,为有效缩短刹车距离,提高刹车效率,设计了一种新型的静液刹车系统;根据新型刹车系统的特点,并综合考虑飞机机体、机轮、跑道状况的特性,以及刹车系统的非线性和不确定性,难以精确控制的特点,设计了神经网络控制器(NNC);并将神经网络控制器,新型刹车系统和飞机滑跑模型应用于仿真环境,建立了整体的仿真模型;仿真结果表明,采用神经网络的刹车系统鲁棒性增强,刹车效率提高,明显优于采用传统控制律的刹车系统。     

基于模糊免疫PID控制的飞机防滞刹车研究

研究飞机防滞刹车系统优化控制问题,由于飞机防滞刹车系统存在非线性特点,影响刹车系统的稳定性和控制的性能,造成飞机的着陆安全控制的较大困难。采用传统PID(比例、积分、微分)控制的飞机刹车参数整定困难,刹车效率低下,系统的鲁棒性差,现代飞机的起降重量与速度越来越大,在刹车低速阶段存在机轮抱死打滑现象,影响降落安全。针对于此,使用模糊免疫PID控制方法,以期改善飞机刹车低速阶段性能。仿真结果表明,可以较显著的改善飞机刹车的低速阶段性能,减少刹车低速阶段机轮打滑时间,缩短刹车距离,为飞机防滞刹车优化系统的设计提供了可靠依据。     

飞机防滑刹车检测系统设计

防滑刹车系统是飞机的重要部分之一,它控制着飞机降落、着陆和减速的全过程;为了提高飞机防滑刹车系统检测的自动化程度、效率和检测精度,使用专用的检测设备是十分必要的;该系统采用独特的设计方法完成了对整个复杂系统的检测,以计算机为核心的方案,使得检测系统的智能化程度和灵活性更好;应用结果表明,该检测系统运行稳定可靠,检测精度高,能满足现有的检测需求。     

飞机刹车半物理仿真系统实时软件设计

从飞机刹车半物理仿真系统的实时性要求出发,提出了以实时操作系统RT-Linux为平台开发该系统实时软件的设计方案;介绍了飞机刹车半物理仿真系统的组成原理及其系统软件开发平台,并详细给出了实时软件的结构,RT-Linux的内核分析以及实时代码的生成过程;该系统可以实现飞机在各类环境下起飞和着陆的模拟实验,为飞机刹车系统的设计、改进以及其参数的优化提供了可靠的试验依据。     

基于T-S模糊神经网络的飞机防滑刹车系统研究

航空业的发展对飞机防滑刹车系统提出了更高的要求,而传统PID+PBM控制器存在着低速打滑、刹车效率较低等问题;针对刹车过程中的不确定性和非线性问题,提出采用T-S模糊神经网络来进行防滑刹车控制器设计;在MATLAB/SIMULINK平台建立飞机刹车总体仿真模型,将设计的控制器与传统控制器进行对比仿真试验;仿真结果表明,基于T-S模糊神经网络的控制器解决了传统PID+PBM系统存在的问题,具有良好的控制效果,系统具有鲁棒性,能够适应变化的跑道情况,为飞机防滑刹车控制提供了一种新的方法。     

AltaRica 3.0模型到Promela模型转换与验证方法研究

AltaRica语言用于安全关键系统的建模,其拥有一套完整的建模分析工具,但随着AltaRica3.0的更新,ARC等传统的AltaRica建模分析工具已不再支持,而SPIN作为一个穷尽式模型验证工具被广泛应用。介绍了AltaRica3.0相对于之前版本在表达能力方面的改进,以及其底层模型GTS的基本结构。以AltaRica3.0扁平化为GTS模型的思想为基础,提出了一种AltaRica3.0模型向Promela模型的转换规则。以民用飞机中机轮刹车系统WBS为例,建立了AltaRica3.0模型,并且通过转换规则转为Promela模型。最后根据民用航空标准SAE ARP 4761中对机轮刹车系统的安全性要求,利用SPIN工具对机轮刹车系统的安全属性进行了验证。     

面向SysML的系统安全性分析工具与实例研究

基于模型的安全性分析方法能够提高对目前复杂安全关键系统的建模与分析能力。系统建模语言(System Modeling Language,SysML)是一类在工业领域被广泛应用的非形式化系统功能建模语言,AltaRica是面向系统安全性分析的形式化建模语言。针对国内目前缺乏面向SysML的系统安全性分析工具的现状,设计实现了一个面向SysML的系统安全性分析工具并进行了实例研究。首先建立了SysML设计模型到AltaRica分析模型的映射规则;同时根据映射规则设计算法实现两种模型的自动转换,并集成了Altarica的分析引擎对系统模型进行自动化安全性分析;最后以SAE-AIR6110标准中的一个复杂的机轮刹车系统(Wheel Brake System,WBS)为实例,验证了所提工具的可行性和有效性。实验结果表明,对于包含25个组件类型、34个组件实例的复杂系统,该工具可有效地完成SysML模型到AltaRica模型的转换并进行正确的安全性分析。     

机轮刹车系统的控制与仿真技术

通过航空机轮刹车系统的控制类型、控制方式以及控制规律的现状分析,给出了目前航空机轮刹车控制系统存在的刹车偏航、爆胎、起落架抖动以及新型防滑控制律设计与应用等主要问题,提出了飞机防滑刹车控制系统的研究新领域:自动刹车技术、刹车余度控制技术、跑道自动识别技术以及电刹车系统的控制技术等;探讨了航空机轮刹车系统的模拟仿真技术、半实物仿真技术以及刹车系统的性能评估方法,展望了机轮刹车控制系统的研究方向和发展前景.