袁小珂
- 作品数：10 被引量：11H指数：2
- 供职机构：中国民用航空飞行学院计算机学院更多>>
- 发文基金：国家自然科学基金中国民航飞行学院青年基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 认证测试方法在安全协议形式化分析中的应用研究
- 对认证测试方法在安全协议形式化分析中的应用进行了深入研究,应用认证测试方法对Needham-Schroeder协议进行了分析,指出Needham-Schroeder协议存在中间人攻击和类型错误攻击,对Needham-Sc...
- 李廷元宋劲郑涛袁小珂张建学
- 关键词：安全协议形式化方法
- 文献传递
- 基于宽带网络的小区智能化系统
- 该文在对智能住宅小区的内涵、特征以及国内外发展现状进行简要阐述后,给出了一个一般意义上的小区智能化系统组成框架.同时结合SOHO都市名苑网络监控与物业MIS系统,着重对其中的家居智能化系统和物业管理信息系统进行了详细的分...
- 袁小珂
- 关键词：智能小区接入网网络地址转换防火墙
- 文献传递
- 基于改进的证据理论在机场容量评估中的应用被引量：3
- 2012年
- 本文针对机场容量评估中的不确定因素影响问题,在D-S证据理论的基础上提出了一种改进的考虑权重和折扣率的信息融合方法,并将该方法应用到实际的机场动态容量预测过程.实验结果表明,该方法进一步降低了评估过程的主观性,为空中交通流量管理决策提供了更为科学的决策依据.
- 袁小珂
- 关键词：证据理论空中交通信度
- 基于A-Delphi方法的信息系统安全评价模型研究被引量：1
- 2012年
- 针对信息系统安全评价现有方法中各评价指标由研究者主观提出的实际情况,提出了一种新的综合层次分析法并结合德尔菲法的A-Delphi方法构建分层结构评价体系,运用该评价体系建立了一个适用于信息系统安全评价的通用数学模型。最后利用模糊综合评价法在该模型基础上对一个实际信息系统进行了安全等级评估。
- 袁小珂
- 关键词：层次分析信息系统
- 单幅图像梯度域实时去雾算法被引量：1
- 2016年
- 针对现有去雾算法实时性不足的缺陷,同时为了改善目前梯度域去雾算法易产生误差、稳定性较弱的问题,提出一种单幅图像的梯度域实时去雾算法。该算法基于大气光散射模型,根据透射率的估计值直接计算雾天图像的梯度衰减系数,并进行梯度复原。对于图像边界位置上的像素点,先在空间域上进行去雾处理,然后将处理后的像素值作为边界条件,从梯度域重建出最终的复原图像。实验结果表明,该算法能获得较好的去雾效果,且实时性较高。
- 潘磊袁小珂周欢
- 关键词：图像去雾图像复原梯度域
- 一种改进的D-S证据合成方法被引量：2
- 2013年
- 针对D-S证据理论在处理高冲突的证据时会产生有悖常理结论的情况,基于修正证据源的思想,提出了一种新的基于契比雪夫距离的证据权重确定方法,通过证据权重修正各初始证据,进而求得加权平均证据,最后对平均证据使用Dempster合成公式进行最终融合;数值仿真实验表明,该方法性能优于文中讨论的其它方法,能有效消除证据冲突悖论,在证据一致和高度冲突的情况下均表现出较好的适应性,具有更好的收敛性能和更高的可靠性,且算法的时间复杂度较小。
- 袁小珂王欣
- 关键词：证据理论
- 基于变权理论的信息系统模糊综合评价方法
- 针对信息系统安全评价指标由研究者主观提出的实际情况,提出了一种新的综合德尔菲法和改进层次分析法的D-AHP方法构建分层结构安全评价模型,并将变权理论引入到模糊综合评判过程。研究表明变权模糊综合评判方法对常权综合评判方法中...
- 袁小珂
- 关键词：变权信息系统
- 文献传递
- 基于呼叫中心的社区卫生信息系统设计与实现
- 2011年
- 呼叫中心技术涉及计算机电话集成、数据库技术和交换技术等多种技术,已成为向客户提供服务的重要方式。研究如何将呼叫中心技术内嵌到社区卫生信息系统中,并给出了一种基于线性加权优先级算法的排队模型。
- 袁小珂
- 关键词：呼叫中心有限状态机计算机电话集成
- 基于Linux的NAT技术研究
- 2011年
- 为缓解IPv4模式下的IP地址短缺问题,文中以Linux为系统平台,深入分析了网络地址转换(NAT)的基本原理和实现技术,然后对其扩展应用进行了理论和实际的探讨,最后将排队模型引入到NAT的映射过程中,并进行了相应理论分析。给出了一种NAT的形式化模型和关于NAT映射的函数,实现了一种基于端口映射方式的具体算法。研究结果表明,网络地址转换为解决IP地址短缺提供了有效的解决方案,但其应用并非仅限于此。网络地址转换技术可广泛适用于虚拟服务器、负载均衡以及多路传送等多种不同应用领域。
- 袁小珂
- 关键词：网络地址转换地址映射负载均衡虚拟服务器
- 一种新的冲突证据合成方法被引量：1
- 2013年
- 针对高冲突证据的合成问题,分析了D-S证据理论及改进方法的不足,提出了一种新的基于修正数据源思想的变权证据合成方法.该方法同时考虑了证据内焦元基本可信度分配值和各证据与平均证据的加权欧几里德距离.实验结果表明,该方法能有效消除证据冲突悖论,在证据一致和高度冲突的情况下均表现出良好的适应性,具有较快的收敛速度和高可靠性.
- 袁小珂王欣
- 关键词：证据理论变权信度
