数据静态分析技术及其在安全软件测试中的应用

对于列车运行控制系统中运行的安全软件,其安全性由软件代码和配置数据两部分共同保证.但是,对于配置数据的常见错误模式,特别是多余数据,单纯依靠传统的黑盒测试技术无法做到全面、快速的检出.介绍将面向软件代码的白盒测试技术中的静态分析技术引入数据测试的可行性,以及静态分析技术在安全软件数据测试中的典型应用场景,并分析这种技术...     

流行数据加密算法分析

随着网络技术和计算机技术的迅猛发展,数据加密算法和技术迅速进入了现代社会,数据加密技术成为现代社会中保护信息的重要手段和工具.了解并有效使用数据加密算法技术已成为计算机技术和通信领域的迫切需求,这也是信息化社会发展阶段的重要标志.     

基于POI数据的桂林市米粉店空间分布与影响因素研究

文章通过挖掘桂林市米粉店POI数据,通过比较分析、GIS空间分析以及SPSS偏相关分析,对桂林市米粉店空间分布与影响因素进行了研究。研究结果表明：桂林市60%的米粉店都集中在老中心城区以及新兴中心城区,分布密度由中心城区向周边递减,与景点分布存在高度空间重合性,与总人口、人均可支配收入及旅游景点总数呈现正相关关系,受人均可支配收入的影响最大。     

海上无人装备跨域通信技术发展研究

针对海上无人装备跨域集群作战的任务要求,总结出无人装备由于缺少人员的实时操控,其通信呈现出网络化、服务化、自主化、抗干扰、设备小型化等特点。梳理了国外无人机、无人艇、无人潜航器等无人装备通信系统的发展现状,并以美军《2017-2042年无人系统综合路线图》为参照,重点分析了无人装备跨域通信未来的发展趋势。在此基础上,重点从互操作性、自主智能、安全保密、人机协作4个方面,提出要重点研究和突破的关键技术。     

基于支持向量数据描述的驱动桥异响检测

针对驱动桥异响检测缺乏故障样本的问题,提出了异响检测的单值分类法———支持向量数据描述法(SVDD)。这种方法只需要正常运行状态的数据样本,就可以建立单值分类器,区分出正常和异常状态。试验中,提取驱动桥振动信号频谱的二维谱熵作为特征指标,输入到SVDD分类器。结果表明SVDD算法计算效率高,分类效果好,可以满足在线检测的要求。     

天气对路段行程时间可靠性的影响分析

本文考虑出行时间的连续性和降雨程度不同建立了路段出行时间可靠性模型,并采用出租车GPS数据验证了该模型。拟合结果表明,兰州市不同降雨等级的城市道路出行时间分布具有相似性,且均符合对数正态分布。此外,研究表明,可以采用缓冲指数(BI)和缓冲指数变化率(BIVR)作为出行时间可靠性指标,判断不同降雨程度对出行时间变化的影响。整体而言,出租车在路段的行车时间可靠性会由于降雨的影响而增强,其增强效果会随着降雨量的增加而增强;城市次干路和支路受降雨天气的影响较主干路大;相比主干路,降雨对出租车在次干路和支路的路段行程时间可靠性略有降低。     

综合交通运行指挥中心项目的设计与实现研究

为提升综合交通日常管理的科学性与合理性,围绕综合交通运行指挥中心项目的设计与实现进行研究,针对数据库建设、指挥中心系统建设、应用平台的搭建进行详细分析,综合应用更深层次的技术与交通专网克服难点,实现信息的安全交流和传递,为多角度处理信息创造良好的条件。     

内燃机车试验中机油消耗量的正确评定方法

在分析基础上,指出了目前内燃机车试验中评定机油使用寿命和消耗量方面所采用的数据收集和处理统计方法存在的问题,并提出了正确的机油消耗量评定方法。     

基于移动导航数据的信号配时反推

在交通管理和评价时,信号配时对监测评价路口运行状态,评价路口配时方案至关重要.但是,大范围的实时信号配时方案的获取尚缺乏简明有效的途径.本文提出两种基于移动导航数据计算固定配时路口信号配时的方法.第一种方法是在不考虑驾驶员驾驶行为差异性时,得到路口红灯和车均延误的关系模型,从而计算某相位的红灯时长.另外一种方法是基于车辆通过停止线的时间,结合本文提出的上升梯度法,得到某阶段红灯时长.本文通过实际的路口案例计算,将预测结果和已知路口的信号配时比较,表明此方法计算得到的红绿灯时长准确度较高,为后续进行路口运行状态和通行能力研究提供了数据支持.