国家高技术研究发展计划(2006AA12A106) 作品数:94 被引量:541 H指数:13 相关作者: 丁建立 王建东 杨宏宇 徐涛 谢丽霞 更多>> 相关机构: 中国民航大学 南京航空航天大学 南通大学 更多>> 发文基金: 国家高技术研究发展计划 国家自然科学基金 中央高校基本科研业务费专项资金 更多>> 相关领域: 自动化与计算机技术 经济管理 航空宇航科学技术 交通运输工程 更多>>
基于风险评估的电子飞行包系统访问控制模型 被引量:1 2010年 对电子飞行包(EFB)系统的安全访问控制问题进行了研究。提出了一种基于风险评估的EFB系统访问控制模型,设计了包含上下文模块、访问控制模块、风险评估模块的模型框架,定义了模型的元素和控制流程,通过上下文信息模块和基于D-S证据理论的风险评估模块为访问控制决策提供依据,采用基于阈值比较的访问控制决策算法和访问控制策略动态调整机制实现访问控制决策。实验结果证明该模型能有效满足EFB系统的安全访问需求。 杨宏宇 李伟 吕宗平关键词:访问控制 风险评估 D-S证据理论 基于攻击图的多Agent网络安全风险评估模型 被引量:12 2013年 为了自主保障计算机网络的安全并对网络安全风险进行自动化评估,提出一种基于攻击图的多Agent网络安全风险评估模型(Multi-agents Risk Evaluation Model Based on Attack Graph,MREMBAG)。首先提出网络风险评估模型,设计了主从Agent的功能架构和关联关系分析流程。利用全局攻击图生成算法,以动态数据信息作为输入,通过主从Agent协同分析并构建攻击路径。基于对目标网络的攻击路径、组件、主机、网络的风险指数、漏洞及关联风险指数的计算,获取目标网络的安全风险指标。仿真实验结果验证了该评估方法的可行性和有效性。 杨宏宇 江华关键词:网络安全 风险评估 多AGENT 攻击图 基于模糊免疫策略的机场航班延误自适应实时预测方法 被引量:8 2011年 为了对航班实时延误情况做出准确的预测,在生物免疫检测的基础上,借鉴模糊隶属度的思想,提出了模糊免疫预测方法。给出了自体/非自体、抗体/抗原的定义以及抗体对延误航班集合的隶属度函数。在预测过程中,实时监测外界环境变化,自适应调整λ-截集,选取符合当前置信度的检测器,克服了基于确定性模型的局限性。对国内某大型机场做仿真实验表明,该方法比简单使用生物免疫方法更具适应性,能较准确地预测全天各个时段航班的延误数量。 丁建立 杨海彤 顾彬关键词:航班延误 自适应调整 Λ-截集 基于高斯分布的进出港航班延误免疫检测方法 被引量:1 2011年 为了对机场航班延误情况做出较准确的检测,提出了一种基于高斯分布的进出港航班延误免疫检测模型。该模型利用生物免疫机制与航班运行机制的联系,建立了相应的自体集合、检测细胞及它们之间的匹配模型,同时针对每一架飞机每天要执行多个航班,机场进港航班与出港航班形成的前序后继关系,采用高斯分布进行拟合航班链延误波及影响。对国内某机场仿真实验结果表明,该模型有较好的效果。 丁建立 杨海彤关键词:高斯分布 免疫检测 面向航班延误预警的数据挖掘系统分析与设计 在分析建立面向航班延误预警需求的数据挖掘系统必要性的基础上,从数据来源、数据结构和服务对象等方面探讨了系统的特点及设计要求;与数据挖掘流程结合,构建了一个面向航班延误预警的数据挖掘系统的体系结构,系统主要具有数据采集、数... 宰云峰 王建东 丁建立关键词:数据挖掘 航班延误 体系结构 文献传递 基于改进蚁群协同算法的枢纽机场场面滑行道优化调度模型 被引量:20 2010年 滑行道连接停机位和跑道,是机场场面调度的重要关键环节。基于飞机滑行时的冲突约束和跑道资源的动态分配,采用改进蚁群协同算法与滑动窗口控制相结合的方法,对滑行道进行优化调度。在保证滑行道零冲突、兼顾单个航班滑行时间的前提下,缩小机场进出港航班总滑行时间。对国内某枢纽机场的滑行道调度仿真实验表明,所提出的方法和模型具有明显的优势,可为枢纽机场的场面滑行调度提供决策支持。 丁建立 李晓丽 李全福动态的Ad Hoc网络密钥管理方案 被引量:1 2007年 基于双线性对密码体制,提出了一个动态密钥管理方案(DKMS),使用秘密重分配技术,能够根据网络状况动态调整分享密钥的节点以及门限值的大小,利用可验证秘密共享技术对不诚实节点进行检测和清除,使得网络在保持高效通信能力的同时具有高度安全性,并对其正确性、安全性和鲁棒性进行了证明。 任勇军 王建东 庄毅 方黎明关键词:AD HOC网络 密钥管理 安全性 基于遗传EM算法的航班延误状态空间模型(英文) 被引量:2 2011年 航班运行过程的高度动态性和随机性,航班延误因素的复杂性和不确定性导致航班延误实时预测成为难题。控制领域的动态数据驱动方法为该问题提供了一种解决方案。然而,要想运用动态数据驱动方法,首先必须建立航班延误状态空间模型来表示系统状态之间、状态与系统输入输出之间的关系。本文对单机延误事件序列进行了分析,创建了一种航班延误状态空间模型,并对其中的输入控制量进行了重点建模。在历史航班运行数据集上,采用遗传EM算法对模型参数进行了极大似然估计,并同时验证了遗传EM算法在优化参数估计和提高计算效率方面的优势。最后,采用Kol-mogorov-Smirnov方法对模型实例进行了假设检验,检验结果表明,所选模型具有较好的拟合优度。 陈海燕 王建东 徐涛关键词:航班 动态数据驱动应用系统 基于双线性对的秘密重分配方案 被引量:2 2008年 现有的秘密重分配方案只考虑了秘密分发者的不可信性,并没有考虑接收者的不可信性,而且这些方案都是基于RSA或者离散对数密码体制的.本文提出一个基于双线性对的秘密重分配方案,假设秘密的分发者和接收者都存在不诚实成员,使用可验证秘密共享技术,不仅能验证影子和子影子的正确性,而且能鉴别不诚实的秘密分发者和接收者,并证明该方案是正确的、鲁棒的和安全的. 任勇军 王建东 庄毅 方黎明关键词:秘密共享 双线性对 UCON_(onA)模型的安全研究 被引量:1 2010年 针对使用控制模型(UCON)中安全性异常复杂的问题,通过构造形式化模型的方法得出一些使用控制模型的安全结论,完成了关于授权中使用控制模型(UCONonA)的安全分析。针对使用控制模型中使用决策的持续性和属性易变性的特点,通过定义策略、模式和转换状态的方法给出一个形式化UCONonA模型;通过分析得出一般的UCONonA模型的安全问题是不确定的结论;通过构造一个有限状态机模拟的方法证明对于具有有限属性域和没有创建策略的UCONonA模型在安全性上是确定的。 翟志刚 毛宇光 王建东关键词:访问控制 授权 持续性