赵娜

作品数：2被引量：136H指数：2
导出分析报告
供职机构：南京航空航天大学更多>>
发文主题：智能交通系统UPPAAL自动机时间自动机智能交通更多>>
发文领域：自动化与计算机技术交通运输工程机械工程更多>>
发文期刊：《计算机工程与科学》《计算机科学》更多>>
所获基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
智能交通系统综述被引量：133
《计算机科学》2014年第11期7-11,45,共6页赵娜 袁家斌 徐晗 
国家自然科学基金重点课题(61139002);无锡市智能交通物联网工程技术研究中心;南京航空航天大学基本科研业务费专项科研项目(NS2010231)资助
交通堵塞、环境污染等交通问题本质上可以看作是人、车、路的矛盾,智能交通系统是解决这一矛盾的一种途径。对目前国内外智能交通系统的研究与发展进行了全面的介绍和分析,重点总结了我国目前智能交通系统的发展情况。在此基础上,分析...
关键词：智能交通系统 发展现状 存在问题 发展思路 
基于时间自动机的嵌入式软件模型可调度性验证被引量：3
《计算机工程与科学》2013年第3期121-127,共7页白海洋 李静 赵娜 
基本科研业务业务费专项科研项目可信嵌入式软件的建模与验证方法(NS2012136);横向课题嵌入式软件可信性验证方法研究(KFA1151901)
结构分析与设计语言AADL在工业控制、汽车、航空航天等任务关键和实时领域的嵌入式系统开发中得到了广泛的应用。为在开发早期验证模型的可调度性,提出了AADL模型到时间自动机模型的转换方法,将AADL模型中的调度策略映射到时间自动机模...
关键词：结构分析与设计语言 时间自动机 模型转换 UPPAAL 可调度性验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部