A-SMGCS V级系统中机载场面告警算法

针对目前机场场面的监控主要通过人工及目视辅助设备实现的不足,同时为了减轻管制员与飞行员的负担,提高机场场面的运行效率,提出一种自动化场面告警探测算法:基于高级场面活动引导与控制系统（A-SMGCS）中的监视源数据,对滑行道冲突、起降跑道长度不足2种情形实现自动化的告警探测与提示。针对与他机目标冲突告警问题,提出基于速度矢量法的潜在冲突判断算法;针对起降跑道长度不足告警问题,提出实时计算起降所需跑道长度的运动学模型。最后搭建仿真环境模拟真实的飞机场面滑行,为模型提供监视源数据,以对算法进行验证。验证结果表明:告警响应均在警情发生的0.5 s内,无虚警、漏警,符合预期结果;该算法是可行的。     

基于事故树分析法的跑道侵入风险评价及应用研究

随着中国民航运输业的发展和进步,机场地面活动不断地增加,跑道侵入造成的安全压力越来越突出,造成的危害也越来越严重,因此如何防止跑道侵入已经成为了保障机场安全运行的重要课题。然而目前,特别是我国西部地区的民航安全形势仍然不容乐观,尤其在西安咸阳机场关于防止跑道侵入方面存在着不少安全漏洞和隐患。因此,本研究首先通过对跑道侵入的原因进行研究,系统地介绍了跑道侵入的基本概念,给出跑道侵入的类型和严重度分类,综合运用风险管理理论、安全科学等相关学科的理论方法,进行综合分析。     

基于航空器位置-速度矢量关系的短期冲突检测算法

为了解决高密度飞行环境下航空器对的短期冲突虚警问题,研究了航空器当前位置和速度矢量的相互关系,证明了只有位置差与速度差矢量内积小于零的航迹对才具有潜在冲突,并根据安全飞行间隔规定,采用线性预测方法对其进行冲突有效性确认,实现快速有效的短期冲突检测.通过模拟试验下的监视雷达数据,验证了本文算法的有效和准确性,相对于其他算法,本算法快速准确地实现了高密度飞行情况下潜在短期冲突航空器对的检测,并解决了当航空器背向飞行时不再进行告警的问题,减少了地面管制人员的工作量.     

跑道侵入中的人为因素

跑道侵入是严重的安全问题,由跑道侵入所导致的跑道碰撞事件常常是重大人员伤亡的灾难性事故。跑道侵入事件大多数跟人为因素有关,本文着重研究人为因素的特点,并结合飞行员、管制员、机场内车辆驾驶员分析人为因素对跑道侵入的影响,讨论跑道侵入和人为因素的关系。通过研究跑道侵入中的人为因素,找出减少和避免跑道侵入中人为因素的措施,使人为因素对跑道侵入的影响最小。     

跑道侵入危害性分析

跑道侵入已经成为威胁航空安全的重要潜在因素。而随着航班量的快速增长和机场构型的日益复杂,跑道侵入事件发生的概率也随之增加,其类型也日趋复杂。通过研究已发生的跑道侵入事件,总结出跑道侵入事件发生的潜在原因,找出关键岗位关键时段的关键风险点,制定出切实有效的措施,从而有效避免类似事件的再次发生。     

机场Ⅱ类运行下航空器起降间隔研究

为了预估低能见度时航空器起降间隔变化,提高跑道使用效率,减少航班延误,提出机场Ⅱ类运行下航空器起降间隔模型。首先,分析Ⅱ类运行下航空器起降运行程序,细化航空器起飞、降落、进入跑道、脱离跑道过程。其次,基于Ⅱ类运行规定建立航空器起飞、降落模型。然后,定义元胞结构,引入避让减速规则和脱离跑道条件,定义航空器滑行元胞自动机模型。最后,将管制规则抽象为约束条件并量化航空器起降间隔。以乌鲁木齐机场为例进行仿真验证,计算机模拟得到机型比例、起降比例、临界区长度、脱离时间等参数对起降间隔、间隔标准差等值的影响。数值分析表明,Ⅱ类运行时起降间隔较大,峰值为228.6 s,降落、起飞容量仅为正常运行情况下的60%、90%,间隔标准差峰值为74 s,是正常运行情况下的1.64倍。脱离道位置对前机脱离时间影响较大,是连续降落间隔增加的主要因素。仿真结果表明,该模型能量化关键因素对起降间隔的影响,仿真结果与实际运行相符,能为提高机场Ⅱ类运行效率提供理论依据。     

基于多槽分桶的快速规则冲突检测算法

为解决企业海量规则集合中产生的规则自我冲突问题,提出了基于多槽分桶的快速规则冲突检测算法MSSB。该算法利用同槽实桶之间规则两两必不冲突特性,将复杂的冲突规则求解转换为线性时间内的不冲突规则求解,从而在稳定的空间和时间复杂度下有效解决规则冲突发现问题。先形式化描述了通用规则冲突和不冲突,并在合理的假设条件下证明了3个规则间关系的命题和同槽不冲突定理;然后提出了基于哈夫曼树和三角矩阵结构的MSSB算法;最终在国内民航典型机场的规则集合上完成了对比实验,结果表明新算法的冲突检测性能比Policytree算法相提高了36.2%。     

浅谈跑道侵入

由于机场改扩建、多跑道运行、航空器起降次数不断增加等原因,跑道侵入事件时常发生,已成为影响航空运行的重大安全隐患。据研究表明,一个机场的交通量增加20%将使跑道侵入可能性增大140%。因此跑道侵入成为业界频繁讨论的热点焦点的话题.本文总结归纳了跑道侵入的潜在因素,并有选择性的介绍了国际民航组织有关防范跑道侵入的建议措施。     

入侵检测中基于序列模式的告警关联分析

提出一种基于序列模式的告警关联分析模型,实现对攻击告警的分析。该模型预处理部分利用网络拓扑信息和告警属性相似度隶属函数对原始告警进行过滤和融合;在WINEPI算法的基础上,考虑告警数据库增长的情况,提出一种告警的增量式序列模式挖掘算法,用于关联规则发现;在线关联模块匹配规则库形成攻击场景图,并预测未知攻击事件。使用2000 DARPA攻击数据集测试表明,该模型能够明显改善入侵检测系统的性能,验证了模型和算法的有效性。     

基于Rete规则推理的告警关联性分析

针对现有规则推理算法无法实现在当前大规模复杂多变的网络环境中准确、实时地推理告警规则的问题,提出了一种改进的规则推理算法Im_Rete.该算法结合网络告警数据的特点,采用面向告警缺失的模糊推理策略和基于概率关联模型的事实传播策略,在提高推理准确性的同时平衡推理速度,能够更加有效地对告警进行关联分析.通过仿真实验进行对比分析,结果表明Im_Rete算法在推理速度和准确性方面均具有较好的性能.     

3维坐标系下的飞行冲突探测算法

冲突探测是空中交通管理的主要辅助决策工具.针对中国空中交通管理发展过程中面临的飞行冲突问题,提出了3维坐标系下的飞行冲突探测方法.首先根据飞行轨迹的特点提出了按时间整合航路段后求解冲突概率,以提高连续求解冲突概率的效率;其次,算法中考虑了自由飞行中高度层变化的飞行冲突情况.使用Monte Carlo方法进行大量仿真实验,分析了轨迹误差、精度参数对冲突概率值及虚警的影响.实验结果证明了算法的有效性和实用性,具有较好的参考价值.     

基于深度高斯过程的飞行冲突探测方法研究

为了更加准确地建立航班飞行轨迹的时序特征,该文引入了高斯过程预测航班飞行轨迹。考虑机动环境运动目标的非线性特征,将高斯过程与深度置信网络相结合形成深度高斯过程,将其用于预测航班飞行轨迹。同时基于预测的航班飞行轨迹,实现了概率型基于深度高斯过程的飞行冲突探测算法。在引入蒙特卡罗思想和马尔科夫链蒙特卡罗采样算法基础上,提出了求解冲突探测算法的方法。基于深度高斯过程的航班飞行轨迹预测方法不仅可以预测航班飞行的标称轨迹,还可以预测各时刻位置可信区间的概率分布,这些特征为概率型飞行冲突探测打下了良好的数据基础。通过真实历史数据的仿真实验说明,该算法较基线算法具有更高的精度和稳定性,将其应用到飞行冲突探测中可获得更低的虚警率和更多的预警时间提前量。     

论冲突规范在国际税法中的地位和作用

冲突规范本为国际私法中的概念，但其在国际税法中也有重要的地位。冲突规范在确定税收管辖权、消除国际双重征税以及国际税收争议解决中都起着重要的作用。如果在多边税收条约中能规定并设计出完善的冲突规范，许多国际税收争议都将迎刃而解。     

基于速度障碍法的三维确定型冲突探测模型

自由飞行模式的提出,给空中交通安全带来了巨大压力,对冲突探测技术提出更高要求。针对自由飞行条件下传统二维速度障碍探测模型在三维空间内进行飞行冲突探测存在局限性的问题,文章提出一种基于速度障碍法的三维确定型冲突探测算法:在椭球状保护区基础上,选取飞机当前位置、速度矢量、航向为特征量,基于速度障碍法对2机的冲突状态进行定性判断,并预测冲突时间。最后,在4种随机模拟飞行场景下对算法进行仿真。仿真结果表明:在不考虑其他条件的情况下,该模型能够有效判断在三维空间内的2架飞机是否存在潜在飞行冲突,并得出预计飞行冲突时间。     

基于聚类的异常检测方法的研究与实现

入侵检测系统是一种积极主动的安全防护技术,它是信息安全保护体系结构中的一个重要组成部分。以基于数据挖掘的入侵检测技术为研究对象,以提高入侵检测的检测率、降低误报率为目标,以聚类分析为主线,提出聚类检测算法和模型,并进行仿真实验。利用KDDCUP1999数据集对模型进行实验测试,并对改进算法的效果进行了对比和分析。实验证明,新的检测系统具有良好的性能。     

空中交通管制仿真系统飞行仿真模型建模与实现

为了提高空中交通管制仿真系统仿真度,重新构建了一种简洁实用的航空器模拟飞行模型,包括航空器性能参数、飞行规则参数和飞行过程模拟参数的建立,航空器各种主要飞行过程的建模,气象情况对飞行的影响仿真;这些仿真方法在航空器参数设计、地面运动、上升/下降、加/减速模拟等方面均考虑了多种飞行影响因素,最后提出一种利用真实航迹数据建模的方法,并给出了此种方法的结果.通过在空中交通管制仿真系统的应用,证明本模型有良好的仿真度.这个仿真模型还可应用于管制程序的分析、飞行计划预演调控、交通流量评估和机场建设预估等方面.     

基于协议分析的入侵检测规则智能匹配

针对传统模式匹配检测技术存在的计算量大、检测率低误、报警率高等问题,提出了一种基于协议分析的智能匹配检测方法。该检测方法充分利用TCWIP（Transmission Control Protocol／Intemet Protocol）技术的高度规则性检测攻击的存在,明显减少了匹配检测的计算量。设计并实现了基于动态分析的自动排序规则库。实验结果表明,该智能匹配方案能使模式匹配的时间缩短20％,从而提高了入侵检测的效率。     

基于模糊理论和D-S推理的开箱报警模型与算法

为提高集装箱运输过程中非法开箱自动报警的可靠性,在对集装箱非法开箱报警机制分析的基础上,建立了基于箱门传感器、箱内传感器等多源信息的非法开箱报警决策模型,提出了基于证据模糊相似度和证据源先验可靠度修正证据权的改进D S证据融合算法来减少证据冲突,形成了集装箱非法开箱多源信息融合报警系统.实验结果表明,提出的证据融合算法能够有效降低证据冲突系数和合成悖论次数,报警模型具有较好的容错性和适应性.     

基于情景约束的工作流柔性访问控制模型

针对现有的访问控制模型在工作流系统中,基于情景的动态授权和灵活的任务相关授权等问题,提出一个应用于工作流系统的基于情景约束的柔性访问控制模型.模型定义了基于情景约束的角色指派策略和角色授权策略,分析了策略间的关系,对策略间可能存在的冲突进行了分类,给出策略冲突的静态和动态检测规则,并提出优先级规则和冲突消解策略的概念,安全管理员可以根据系统需求灵活地确定冲突消解的方式;模型还给出基于最小角色指派策略集和最小角色授权策略集的角色分配与授权决策算法,实现了工作流系统中基于情景的动态授权,并支持用户-角色和角色-权限的自动指派.     

基于图形对象的并发冲突与视图聚合

分析了基于图形对象的并发操作冲突与一致性管理的特点，提出了一个协同设计的并发操作冲突推理和一致性管理模型，它在并发操作发生冲突时自动进行冲突检测和产生分支，并根据冲突类型进行自动或半自动分支聚合．依据图形对象的操作语义，给出对象关联度概念以及基于此的聚合算法．