TY - Jour A2 - MonsErrat，Jose F. Au - 徐，郑艾 - 罗，恒杰AU - Bao，Hong Au - Wang，Pengfei Py - 2020 Da - 2020/02/10 Ti - Steim：一种时空事件交互模型V2X系统基于时间段和光栅地图SP - 1375426 VL - 2020 AB - 车辆互联网（IOV）是智能运输应用的重要人工智能研究领域。复杂的事件交互是车辆中的数据流处理的重要方法（V2X）环境。与经典的物联网（IOT）系统不同，V2X中的数据流包括时间信息和空间信息。因此，有效地表达和解决IOV中的时空数据交互是一个紧迫的问题。为了解决这个问题，我们提出了一种时空事件交互模型（Steim）。Steim分别使用时间段和栅格地图，分别为其时间模型和空间模型。在本文中，首先，我们提供了一种时空运营商和完整的Steim语法，有效地表达了V2X环境中时空事件流的时空信息。其次，我们描述了从正式语义中描述了Steim的操作语义的设计。此外，我们提供了一种基于Petri网络模型的时空事件流处理算法。 The STEIM establishes a mechanism for V2X event-stream temporal and spatial processing. Finally, the effectiveness of the STEIM-based system is demonstrated experimentally. SN - 1574-017X UR - https://doi.org/10.1155/2020/1375426 DO - 10.1155/2020/1375426 JF - Mobile Information Systems PB - Hindawi KW - ER -