基于Modelica语言的交通信息物理系统的仿真方法技术方案

基于Modelica语言的交通信息物理系统（T-CPS）的仿真方法，属于T-CPS与计算机仿真技术领域。该方法针对T-CPS的建模与系统验证，将物理和信息过程模型化并借助于Modelica语言构建仿真系统平台。该系统平台丰富的组件机制便于构建大规模复杂系统模型；多种接口机制，可以灵活地定义信息部分与物理部分之间的接口及接口属性；Modelica具备的描述离散混合系统的能力，可以处理系统仿真过程中的并发和同步问题。为未来的软硬件验证和系统评价提供技术支撑。

【技术实现步骤摘要】
基于Modelica语言的交通信息物理系统的仿真方法
本专利技术属于交通信息物理系统(也称为交通控制物联网)与计算机仿真
，具体涉及用Modelica语言对交通领域信息物理系统进行建模并对其仿真验证的方法。
技术介绍
交通信息化与智能化已成为国际上交通系统现代化的主要发展方向，是当代科学技术的前沿领域。交通系统本质上是非线性、强耦合、泛时空复杂系统，近年来信息物理系统（CyberPhysicalSystems，CPS，也称为控制物联网）理论与技术的出现，为传统交通系统中感知、计算、通信和控制等过程之间由于缺乏互联互通互操作而导致的系统不能实现充分的协调与优化的问题提供了新的解决途径。目前关于CPS的理论研究还处于探索阶段，而对于交通领域的CPS更是近几年才得到关注，很多学者对其研究也仅仅是在结合自己的研究工作的基础上提出了一些概念层面的设想，基于CPS概念并结合交通系统的特点提出了交通信息物理系统的基本架构，包含感知、通信、计算、控制和服务五个层次。但是，这些研究也只是停留在诠释相应模块的功能及涉及到的若干关键技术上，虽然为下一代智能交通系统的发展提供了理论层面的支撑，但是却没有在计算机仿真实现方面对交通信息物理系统进行深入的研究，而面向CPS的系统建模与仿真却是研究CPS的基础技术之一。目前相关研究集中于系统建模与系统验证等方面，其中，如何将一个物理过程借助于数学框架抽象为能够用于计算机仿真的数学模型是研究CPS所必须面临的挑战。基于方程的建模语言Modelica由于其所固有的特性使得在构建CPS系统模型方面具有极大的潜力与优势，比如：1）Modelica接口和组件机制便于构建大规模复杂系统模型；2）基于Modelica中丰富的接口机制，能够灵活方便的定义信息部分与物理部分之间的接口及接口属性；3）Modelica同步数据流原则和单赋值原则是其具备描述离散混合系统的能力，并在仿真过程中处理系统中的并发和同步问题。
技术实现思路
本专利技术的目的在于提出了一种基于Modelica语言的交通信息物理系统的仿真方法，该方法针对面向CPS的系统建模与仿真，且相关研究集中于系统建模与系统验证方面，将一个物理过程借助于数学框架抽象为能够用于计算机仿真的数学模型研究。为实现上述目的，本专利技术采用的技术方案为一种基于Modelica语言的交通信息物理系统的仿真方法，该方法的实现过程如下，1、系统模型整体架构对交通信息物理系统功能进行分析，将系统划分为6个功能层。提出系统的基本架构如图1所示，从中可清晰的看出交通信息物理系统的物理部分和信息部分的分离与融合。（1）对象层对象层包括车辆和人在内的交通对象、交通工具、交通基础设施物理单元，其中有些直接参与交通系统而影响系统状态，有些由于影响交通状态而包含在系统中。（2）检测层系统检测部分是系统通信、计算、控制和服务的基础，包括大量的检测设备，如红外、微波、超声波检测器、RFID、视频和线圈采集设备。这些传感器负责检测用户感兴趣的物理世界的状态，例如：对交通载运工具、交通参与者及交通基础设施等交通要素在内的信息检测。检测的原始数据经节点汇集融合处理之后传输到信息控制中心，而随着嵌入式技术的发展，部分原始数据经过初步处理后传输至所需要的单元。（3）计算层系统数据处理部分，根据系统需要对数据做相应的处理。嵌入式技术和计算机技术的发展，使得数据处理的速度和量度有了较大的进步。交通信息物理系统包含海量数据，并随着大数据时代的来临，传统的数据处理技术已不能满足未来的需要，因此，越来越多的先进技术和理论都将应用于交通信息物理系统，使其获得了更加强劲的发展。这里数据处理也将做为一个单独的模块进行分析、建模。（4）控制层从获取的有效信息进行相应决策，从而实现对目标的控制作用。目前交通领域内的控制方式相对简单且固定、控制灵活性差，有时会出现难以实现系统范围内的最优控制而不得不牺牲系统的整体运行效率。在交通控制信息物理系统中应当设计科学适宜的控制算法，使交通信息物理达到我们预先设定的控制目标。（5）执行层执行控制决策，以达到控制被控对象的目的。在交通信息物理系统中，交通参与者接触最多的就是各执行单元，其中包括交通信号灯、可变信息板以及电台广播。执行单元通过一定方式作用于交通参与者，改变其交通行为，从而实现相应的控制目标。（6）通信层通行层由若干通信基站和网络单元组成，分布于整个系统工作流程中，负责各层之间的信息传输。在实际中通信层要同时保证车-车、车-路侧单元和路侧单元-服务器之间的可靠通信，如：有线宽带、专用短程通信技术（DSRC）、3G/4G、WiFi通信方式。鉴于交通信息物理系统需要实时获取并处理大量的外界信息，因此，信息传递过程的可靠性与有效性是系统能够正常运行的保障。2、模型库开发及使用为了实现系统仿真模型的快速建立，利用Modelica语言开发了应用于交通领域的信息物理系统的模块库，如图2所示是在分析系统功能之后将各个物理实体抽象并做简单化处理之后所设计的模型库架构。整个模型库充分提取对象的通用模型，开发常用的功能模块，在保证模型完备性的同时赋予模型规范的接口，最后将各个子库有序的整合起来形成合理的整体，以便于模型库的管理、使用和扩充。由于数据处理的结果主要应用于给出控制决策，因此将控制和计算合并在一起，开发了5类组件模块，分别为：对象模块、检测模块、控制模块、执行模块、通信模块，分别对应模型库中不同的子库。对于整个系统而言，如何把系统中的各个部件转化为能够用计算机语言描述的模型是实现整个模型库搭建的关键。道路交通流模型库主要是对实际的路网进行分割，把实际的路段根据已有的宏观交通流模型（如：元胞传输模型）分解为基本的交通流传递单元。路段连接模型库是描述模型中各个元胞相连接时的车流传输关系，主要包括：多路段融合与分离、交叉口处各方向出入口传输关系。控制器模型库是对系统中控制器计算、控制的建模。检测装置模型库是对各种检测装置的模拟封装。执行装置库是对执行设备，如：信号灯、VMS、电台广播信息的模拟，这里首先考虑可以起到强制性措施的信号灯的建模。支撑工具库主要是OpenModelica工具软件自身所带有的模型库，这里所用到的主要是输入输出模块。实例库存放的是基于已设计好的模块搭建的实际路网模型。图3是模型库各个功能模块的展开图。2.1道路交通流模型库基于元胞传输模型及其改进模型，开发相应元胞的组件模块。如图4所示。（1）源元胞源元胞表示车流的起点，路网的边界，给路网提供交通需求。在实际中它往往代表的是小区、停车场，由历史数据可知从源元胞向路网发送的车辆数目大致等于一个定值，且每天大致符合一定的规律。本专利技术根据历史数据拟合发车曲线，并将其离散化处理，核心代码如下：equationS＝floor(m*LaneNum*T)"单个时间间隔发送的最大车辆数目";y＝floor(abs(5*sin(0.2*time)))"floor(x)结果是取不大于x的最大整数";ifsample(0,T)thenify＜Sthens＝y;elses＝S;endif;elses＝0;endif;s＝-port_a1.v;q＝port_a1.p;（2）中间元胞中间元胞路网的基本单元，车流按规定的方向行驶或停留本文档来自技高网...

【技术保护点】
基于Modelica语言的交通信息物理系统的仿真方法，其特征在于：该方法的实现过程如下1）系统模型整体架构对交通信息物理系统功能进行分析，将系统划分为6个功能层；（1）对象层对象层包括车辆和人在内的交通对象、交通工具、交通基础设施物理单元；（2）检测层系统检测部分是系统通信、计算、控制和服务的基础，包括大量的检测设备，如红外、微波、超声波检测器、RFID、视频和线圈采集设备；这些传感器负责检测用户感兴趣的物理世界的状态，例如，对交通载运工具、交通参与者及交通基础设施等交通要素在内的信息检测；检测的原始数据经节点汇集融合处理之后传输到信息控制中心，而随着嵌入式技术的发展，部分原始数据经过初步处理后传输至所需要的单元；（3）计算层系统数据处理部分，根据系统需要对数据做相应的处理；计算曾采用嵌入式技术和计算机技术，同时将数据处理做为一个单独的模块进行分析、建模；（4）控制层从获取的有效信息进行相应决策，从而实现对目标的控制作用；（5）执行层执行控制决策，以达到控制被控对象的目的；在交通信息物理系统中，交通参与者接触最多的就是各执行单元，其中包括交通信号灯、可变信息板以及电台广播；执行单元通过一定方式作用于交通参与者，改变其交通行为，从而实现相应的控制目标；（6）通信层通行层由若干通信基站和网络单元组成，分布于整个系统工作流程中，负责各层之间的信息传输；在实际中通信层要同时保证车‑车、车‑路侧单元和路侧单元‑服务器之间的可靠通信，如有线宽带、专用短程通信技术、3G/4G、WiFi通信方式；鉴于交通信息物理系统需要实时获取并处理大量的外界信息；2）模型库开发及使用为了实现系统仿真模型的快速建立，利用Modelica语言开发了应用于交通领域的信息物理系统的模块库；整个模型库充分提取对象的通用模型，开发常用的功能模块，在保证模型完备性的同时赋予模型规范的接口，最后将各个子库有序的整合起来形成合理的整体，以便于模型库的管理、使用和扩充；由于数据处理的结果应用于给出控制决策，因此将控制和计算合并在一起，开发了5类组件模块，分别为：对象模块、检测模块、控制模块、执行模块、通信模块，分别对应模型库中不同的子库；对于整个系统而言，如何把系统中的各个部件转化为能够用计算机语言描述的模型是实现整个模型库搭建的关键；道路交通流模型库是对实际的路网进行分割，把实际的路段根据已有的宏观交通流模型分解为基本的交通流传递单元；路段连接模型库是描述模型中各个元胞相连接时的车流传输关系，包括多路段融合与分离、交叉口处各方向出入口传输关系；控制器模型库是对系统中控制器计算、控制的建模；检测装置模型库是对各种检测装置的模拟封装；执行装置库是对执行设备，如信号灯、VMS、电台广播信息的模拟，这里首先考虑可以起到强制性措施的信号灯的建模；支撑工具库是OpenModelica工具软件自身所带有的模型库，这里所用到的是输入输出模块；实例库存放的是基于已设计好的模块搭建的实际路网模型；2.1）道路交通流模型库基于元胞传输模型及其改进模型，开发相应元胞的组件模块；（1）源元胞源元胞表示车流的起点，路网的边界，给路网提供交通需求；在实际中它往往代表的是小区、停车场，由历史数据可知从源元胞向路网发送的车辆数目大致等于一个定值，且每天大致符合一定的规律；本专利技术根据历史数据拟合发车曲线，并将其离散化处理，核心代码如下：......equationS＝floor(m*LaneNum*T)单个时间间隔发送的最大车辆数目;y＝floor(abs(5*sin(0.2*time)))floor(x)结果是取不大于x的最大整数;if sample(0,T)thenif y＜S thens＝y;elses＝S;end if;elses＝0;end if;s＝‑port_a1.v;q＝port_a1.p;......（2）中间元胞中间元胞路网的基本单元，车流按规定的方向行驶或停留；既能接收上游元胞传输的车辆，也可以向下游元胞传输车辆，且遵循一定的元胞传输模型传输机制；核心代码如下：（3）阱元胞阱元胞表示车流的终点，路网的边界，在实际中相当于停车场所；其中，所有的阱元胞都是理想元胞，即可以容纳的车辆是无限大的，所有进来的车辆在阱元胞作累计；2.2）路段连接模型库路段连接是系统物理部分，按照元胞传输模型车流传输机制设计开发了线性连接、汇合连接、分离连接和十字交叉口模块四类连接模块；（1）线性连接相连的两条路段有车辆传输时，上游元胞发送的车辆要同时兼顾下游元胞的承受能力，二者取小得到的是实际传输的车辆；当路段连接处有红绿灯时添加参数e即可，0表示无车流传输，1表示有车流传输；Real q路段之间实际传输的车辆;Real sT时间间隔内，能发送达车辆;Real rT时间间隔内，能够接受的车辆;Modelica.Bl...

【技术特征摘要】
1.基于Modelica语言的交通信息物理系统的仿真方法，其特征在于：该方法的实现过程如下1)系统模型整体架构对交通信息物理系统功能进行分析，将系统划分为6个功能层；(1)对象层对象层包括车辆和人在内的交通对象、交通工具、交通基础设施物理单元；(2)检测层系统检测部分是系统通信、计算、控制和服务的基础，包括红外、微波、超声波检测器、RFID、视频和线圈采集设备；这些传感器负责检测交通载运工具、交通参与者及交通基础设施这些交通要素在内的用户感兴趣的物理世界的状态；检测的原始数据经节点汇集融合处理之后传输到信息控制中心，部分原始数据经过初步处理后传输至所需要的单元；(3)计算层系统数据处理部分，根据系统需要对数据做相应的处理；计算曾采用嵌入式技术和计算机技术，同时将数据处理做为一个单独的模块进行分析、建模；(4)控制层从获取的有效信息进行相应决策；(5)执行层执行控制决策，以达到控制被控对象的目的；在交通信息物理系统中，交通参与者接触最多的就是各执行单元，其中包括交通信号灯、可变信息板以及电台广播；执行单元通过一定方式作用于交通参与者，改变其交通行为；(6)通信层通信层由若干通信基站和网络单元组成，分布于整个系统工作流程中，负责各层之间的信息传输；在实际中通信层要同时保证车-车、车-路侧单元和路侧单元-服务器之间的可靠通信，通信方式包括有线宽带、专用短程通信技术、3G/4G和WiFi；鉴于交通信息物理系统需要实时获取并处理大量的外界信息；2)模型库开发及使用利用Modelica语言开发了应用于交通领域的信息物理系统的模块库；整个模型库充分提取对象的通用模型，开发常用的功能模块，在保证模型完备性的同时赋予模型规范的接口，最后将各个子库有序的整合起来形成合理的整体，以便于模型库的管理、使用和扩充；由于数据处理的结果应用于给出控制决策，因此将控制和计算合并在一起，开发了5类组件模块，分别为：对象模块、检测模块、控制模块、执行模块、通信模块，分别对应模型库中道路交通流模型库、检测装置模型库、控制器模型库、执行装置库、路段连接模型库；道路交通流模型库是对实际的路网进行分割，把实际的路段根据已有的宏观交通流模型分解为基本的交通流传递单元；路段连接模型库是描述模型中各个元胞相连接时的车流传输关系，包括多路段融合与分离、交叉口处各方向出入口传输关系；控制器模型库是对系统中控制器计算、控制的建模；检测装置模型库是对各种检测装置的模拟封装；执行装置库是对执行设备信号灯、VMS、电台广播信息的模拟，这里首先考虑起到强制性措施的信号灯的建模；支撑工具库是OpenModelica工具软件自身所带有的模型库，这里所用到的是输入输出模块；实例库存放的是基于已设计好的模块搭建的实际路网模型；2.1)道路交通流模型库基于元胞传输模型及其改进模型，开发相应元胞的组件模块；(1)源元胞源元胞表示车流的起点，路网的边界，给路网提供交通需求；在实际中它往往代表的是小区、停车场，由历史数据可知从源元胞向路网发送的车辆数目等于一个定值，且每天符合一定的规律；根据历史数据拟合发车曲线，并将其离散化处理...

【专利技术属性】
技术研发人员：陈阳舟，张二青，罗江，李伟，石建军，代桂平，
申请(专利权)人：北京工业大学，
类型：发明
国别省市：北京;11