一种飞行计划航段自动激活方法

飞机从一个航段飞向下一个航段时,需要对下个航段是否激活进行判断.提出了一种新的飞行计划航段自动激活方法,通过获取飞机当前位置及其磁差,并结合临近的3个航路点对应位置的磁差经纬度,分别计算3个航路点与飞机位置对应的磁航向角,通过磁航向角之间做差进行比较,进而判断是否被激活.算法推导完成后,通过基于模型的系统工程工具SCADE SUITE进行了建模,并结合杰普逊航图进行了实际数据采样与仿真.仿真结果表明:该航段自动激活方法能够有效稳定地激活下一航段,比传统方法计算简便,方法实用有效.已在实际飞行中成功应用,达到了预期效果.     

基于系统性能的近地告警技术研究

基于多种导航信息综合处理、告警计算的近地告警系统，对于避免可控撞地事故、 提升飞机安全具有重要意义。本文首先介绍了近地告警系统的工作原理，研究了基于 SOC 曲线的告警包线设计技术，并以过大近地速率告警模式为例进行了告警包线的仿真。最后，利用实际飞行数据分析验证了告警包线合理性以及导航信息可靠性对系统性能的影响。     

SIL验证与安全仪表系统的优化设计

安全仪表功能(SIF)回路是为了降低特定场景的安全风险而设置的,定级报告中SIF回路的功能描述是工艺设计的完整逻辑要求,包含关键动作及附件动作。安全完整性等级(SIL)验证属于概率学领域研究范畴,影响失效率的因素多且复杂。如果SIL验证无法通过,将造成大量的设计变更,浪费工程投资,影响工期。设计人员应关注SIL定级报告中关键动作的识别、要求平均失效概率以及SIF回路架构的约束。按照文中方法优化测量元件、逻辑控制器、执行元件及辅助元件的设计,可增加通过验证的概率。在没有预验证及安全要求规格书时,可以参考文中典型可通过SIL验证的SIF回路的经验架构进行优化设计,以减少工程变更。     

黔北桑木场背斜铅锌矿深部找矿实例分析*#br#

黔北桑木场背斜位于上扬子地块黔北隆起区毕节弧形褶皱带与赤水克拉通盆地的交汇部位，属于有利的铅锌成矿区带。区内铅锌矿的赋矿层位主要有震旦系灯影组、寒武系清虚洞组、高台组及石冷水组，矿体多产于背斜核部并受断层或裂隙控制。通过对地层岩性特征、地表矿化特征、控容矿构造特征、化探异常特征、物探异常特征等进行综合研究，选择在成矿有利地段进行了工程验证，为进一步开展桑木场背斜铅锌矿深部找矿工作提供了思路。     

基于残差决策的自动飞行控制系统远程实时故障诊断

针对自动飞行控制系统结构复杂、关联部件众多,发生故障时诊断时间长,从而影响飞机运行效率的问题,提出一种基于飞机通信寻址报告系统(ACARS)的远程实时故障诊断方案。首先,分析自动飞行控制系统的故障特点,设计搭建检测滤波器;然后,利用ACARS数据链实时发送的自动飞行控制系统的关键信息进行相关部件的残差计算,并根据残差决策算法进行故障诊断及定位;最后,针对不同故障部件残差间的差异大、决策门限无法统一的缺点,提出基于二次差值的残差决策改进算法,减缓了检测对象的整体变化趋势,降低了随机噪声和干扰的影响,避免了将瞬态故障诊断为系统故障的情况。实验仿真结果表明,基于二次差值的改进残差决策算法避免了多决策门限的复杂性,在采样时间为0.1 s的情况下,故障检测所需时间大约为2 s,故障检测时间大幅降低,有效故障检测率大于90%。     

基于北斗短报文的ADS-B发射器设计与验证

结合广播式自动相关监视(ADS-B)和北斗卫星导航系统(BDS),设计出基于1090 ES数据链和北斗短报文的双链路发射器。通过航空器搭载发射器进行三地转场飞行测试,在接收天线距离地面15 m,航空器飞行高度为2 400 ft的情况下,测量出发射器ADS-B信号的有效作用距离为75～80 km,报文正确率为98.7%;超出发射器ADS-B信号发射范围后,由BDS通过北斗短报文提供频率为1 min一次的监视信号。在航空器位于转场起降点地面的状态下,接收站可以稳定持续的接收信号,监视距离达到150 km。测试结果验证了发射器ADS-B信号的持续性和稳定性,以及通过BDS长距离中继监视飞机状态的可行性,为实现航空器的广域飞行动态监视提供技术参考。     

电子护照及其验证系统研究在边防检查工作中的应用

出入境边防检查是保障国家安全,维护国家正常出入境秩序的一项国家行为。电子护照的推广使用,给出入境边防检查工作带来了便利也引发了一系列新问题,因此,研究电子护照及其验证系统在边防检查工作中的应用显得极为重要,该研究将影响出入境检查工作的有效运行,对进一步维护出入境管理秩序和口岸安全稳定均有积极的指导意义。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.