丛新宇
- 作品数：3 被引量：17H指数：2
- 供职机构：上海市计算机软件评测重点实验室更多>>
- 发文基金：国家自然科学基金上海市教育发展基金会“曙光计划”项目国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于安全灰箱演算的物联网移动性建模验证被引量：1
- 2015年
- 物联网的建模和验证是物联网研究的一个重要领域。由于集成了物理进程,物联网表现出传统软件系统所不具备的物理特性。这些性质作为物联网系统中必不可少的一部分,必须在物联网模型中进行描述。移动性作为一种物理属性,能够描述物联网中物理实体的移动以及信息的流动,本文对物联网的移动性进行研究,提出了一种基于安全灰箱演算的物联网模型,并且使用灰箱逻辑对其进行分析验证。该方法能够对物联网的移动性进行描述分析,适用于具有移动特征的物联网应用。以欧洲火车控制系统(ETCS)为例,验证了本文建模和验证方法的可行性。
- 丛新宇虞慧群
- 关键词：物联网移动性
- 基于实时UML顺序图的物联网交互模型被引量：4
- 2014年
- 物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例,显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。
- 丛新宇虞慧群
- 关键词：物联网交互模型时间自动机
- 基于组合模型的交通流量预测方法被引量：12
- 2011年
- 随着智能交通系统的蓬勃发展,交通控制和交通流诱导成为智能交通系统(ITS)研究的热门问题,而实现交通控制诱导的关键问题是实时准确的短时交通流量预测,预测的精度直接影响交通控制和诱导的效果。为此,提出基于组合模型的交通流量预测方法,该方法将历史趋势模型和多元回归模型加权组合以建立组合预测模型,并利用加权平均的方法,对较精确的预测值赋予较大的权重,从而提高模型预测的精度。通过对2009年上海城市交通流量预测结果的分析,证明该方法可提高预测准确度。
- 丛新宇虞慧群范贵生
- 关键词：交通流量预测多元回归模型
