国家自然科学基金(91118008)
- 作品数：6 被引量：37H指数：4
- 相关作者：丁涛杰史殿习杨小娟王建丁博更多>>
- 相关机构：国防科学技术大学北京航空航天大学华东师范大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划上海市科学技术委员会资助项目更多>>
- 相关领域：自动化与计算机技术环境科学与工程水利工程更多>>
- 一种基于非参数回归的交通速度预测方法被引量：6
- 2016年
- 非参数回归模型是近年来提出的一种交通状态预测模型。为进一步提高预测精度,基于非参数回归模型的特点,针对近邻状态的选取问题,提出了基于速度变化趋势和密集度的变K近邻精确搜索策略,对原有模型的近邻匹配方式进行了改进和优化,进而提出了一种短时交通平均速度预测模型。利用北京市浮动车系统数据对算法精度进行了验证,结果表明,该模型的预测精度优于基础的非参数回归和BP神经网络模型,并能为短时交通速度预测提供可行的结果。
- 史殿习丁涛杰丁博刘惠
- 关键词：非参数回归
- 基于Event-B方法的多应用智能卡的建模与开发被引量：2
- 2014年
- Event-B是一种基于集合论和谓词逻辑的形式化系统语言,能够采用精化策略为系统建立逐渐精化的模型。提出了如何将Event-B应用到实际工业领域的方法,包括重写需求、建立抽象模型及逐层精化三个步骤。首先从环境、功能、性质三个主要方面重写需求,明确精化策略;然后利用形式化方法建立抽象模型并验证该模型;最后,在正确的抽象模型上按照精化策略添加需求、逐层精化,并对每层模型进行验证,基于满足需求的最后一层模型,可进一步利用工具完成代码自动生成。该方法学采用精化理论,以逐层递增的方式明确被开发系统的需求及性质,并进行形式化建模与验证,确保了模型的正确性。为了说明该方法学的可行性,以真正工业界的多应用智能卡为实例,基于Event-B方法及其工具平台Rodin给出了该方法在实际建模及验证过程中的应用。
- 章玥郭建朱晓冉王文君朱晶洋汤家华陈峻念
- 关键词：智能卡EVENT-B精化定理证明
- 北京市重型客车行驶工况的构建与研究被引量：15
- 2015年
- 采用自主行驶法采集北京市重型客车行驶数据。利用自主研发的GPS车辆信息管理系统监控及采集配备行驶记录仪的400多辆试验车辆2个月的行驶数据。利用小波变换法处理数据并进行短行程划分。通过主成分分析法和K均值聚类分析法提取运动学片段的主成分进行分类。结合"最佳增量法"与"组合法"构建速度变化曲线作为代表性行驶工况。通过对特征参数和速度-加速度联合概率分布进行验证,得出构建的工况能综合反映北京市重型客车的行驶特点;通过与国内外代表性行驶工况进行对比,发现构建的北京市重型客车行驶工况有怠速时间较短,加减速段时间比例适中,匀速行驶时间比例高等特点,与北京市乘用车、公交车行驶工况以及欧洲等发达国家的交通模式相差较大。
- 杨小娟王建
- 关键词：行驶工况主成分分析法聚类分析
- 基于出租车GPS数据的道路平均速度估计方法被引量：9
- 2015年
- 浮动车技术是目前常用的获取道路交通信息技术手段之一,而出租车GPS数据是该技术重要数据来源,但其本身存在诸多不足。为更好地利用出租车GPS数据,文中提出了在定位误差、低频采样、数据量少等因素影响下的行程速度估计方法。首先结合城市复杂路段情况,提出基于车流方向、路段可达性、速度等约束条件下的实时地图匹配算法,引入反向检查机制对不确定点进行修正;然后针对出租车运营特性,建立了有效数据获取模型,并提出低频采样影响下的行程速度估计算法;最后利用北京出租车数据进行计算比较。结果表明了该方法的可用性,能满足道路状态判断的一般需求。
- 丁涛杰史殿习李永谋
- 关键词：平均行程速度地图匹配
- Delayed Switch:Cloud Service Upgrade with Low Availability and Capacity Loss
- Cloud services must upgrade continuously in order to maintain competitive.However,a large body of empirical ev...
- Xue OuyangBo DingHuaimin Wang
