赵娜
- 作品数：4 被引量：137H指数：2
- 供职机构：南京航空航天大学更多>>
- 发文基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域：自动化与计算机技术交通运输工程机械工程更多>>
- 智能交通系统综述被引量：133
- 2014年
- 交通堵塞、环境污染等交通问题本质上可以看作是人、车、路的矛盾,智能交通系统是解决这一矛盾的一种途径。对目前国内外智能交通系统的研究与发展进行了全面的介绍和分析,重点总结了我国目前智能交通系统的发展情况。在此基础上,分析我国交通现状,探讨我国智能交通系统发展所面临的问题与挑战。最后,讨论符合我国国情的智能交通系统发展思路,提出在智能交通系统中引用物联网、云计算、数据挖掘等技术,鼓励政府、企业及高校共同参与来加强标准化工作。通过建立产业联盟促进我国智能交通系统产业链整合,并将智能交通系统与物流业相结合来提高我国智能交通系统水平。
- 赵娜袁家斌徐晗
- 关键词：智能交通系统
- 基于时间自动机的嵌入式软件模型可调度性验证被引量：3
- 2013年
- 结构分析与设计语言AADL在工业控制、汽车、航空航天等任务关键和实时领域的嵌入式系统开发中得到了广泛的应用。为在开发早期验证模型的可调度性,提出了AADL模型到时间自动机模型的转换方法,将AADL模型中的调度策略映射到时间自动机模型中的调度模板中,并给出了执行模型和附件模型的具体转换规则。转换后的模型可在UPPAAL工具中进行模拟和验证,分析原模型的可调度性。最后给出了AADL建模、模型转换和模型验证的全过程,证实了方法的有效性。
- 白海洋李静赵娜
- 关键词：时间自动机UPPAAL
- 车载自组织网络安全认证与隐私保护的研究
- 车载自组织网络是解决智能交通系统中动态信息服务,实现车联网最为关键的技术。VANET系统的研究在为人们提供更便捷服务的同时,也带来了更多的安全隐患。本文对VANET系统的安全认证与隐私保护进行研究,提出了适用于 VANE...
- 赵娜
- 关键词：智能交通系统车载自组织网络隐私保护环签名跨域认证
- 文献传递
- 基于时间自动机的嵌入式软件模型可调度性验证
- 结构分析与设计语言AADL在工业控制、汽车、航空航天等任务关键和实时领域的嵌入式系统开发中得到了广泛的应用。为在开发早期验证模型的可调度性，提出了AADL模型到时间自动机模型的转换方法，将AADL模型中的调度策略映射到时...
- 白海洋李静赵娜
- 关键词：时间自动机UPPAAL
- 文献传递
