基于Modelica语言的交通信息物理系统的仿真方法
【专利摘要】基于Modelica语言的交通信息物理系统（T-CPS）的仿真方法，属于T-CPS与计算机仿真【技术领域】。该方法针对T-CPS的建模与系统验证，将物理和信息过程模型化并借助于Modelica语言构建仿真系统平台。该系统平台丰富的组件机制便于构建大规模复杂系统模型；多种接口机制，可以灵活地定义信息部分与物理部分之间的接口及接口属性；Modelica具备的描述离散混合系统的能力，可以处理系统仿真过程中的并发和同步问题。为未来的软硬件验证和系统评价提供技术支撑。
【专利说明】 基于Model ica语言的交通信息物理系统的仿真方法
【技术领域】
[0001]本发明属于交通信息物理系统(也称为交通控制物联网)与计算机仿真【技术领域】，具体涉及用Modelica语言对交通领域信息物理系统进行建模并对其仿真验证的方法。
【背景技术】
[0002]交通信息化与智能化已成为国际上交通系统现代化的主要发展方向，是当代科学技术的前沿领域。交通系统本质上是非线性、强耦合、泛时空复杂系统，近年来信息物理系统(CyberPhysicalSystems, CPS,也称为控制物联网)理论与技术的出现，为传统交通系统中感知、计算、通信和控制等过程之间由于缺乏互联互通互操作而导致的系统不能实现充分的协调与优化的问题提供了新的解决途径。目前关于CPS的理论研究还处于探索阶段，而对于交通领域的CPS更是近几年才得到关注，很多学者对其研究也仅仅是在结合自己的研究工作的基础上提出了一些概念层面的设想，基于CPS概念并结合交通系统的特点提出了交通信息物理系统的基本架构，包含感知、通信、计算、控制和服务五个层次。但是，这些研究也只是停留在诠释相应模块的功能及涉及到的若干关键技术上，虽然为下一代智能交通系统的发展提供了理论层面的支撑，但是却没有在计算机仿真实现方面对交通信息物理系统进行深入的研究，而面向CPS的系统建模与仿真却是研究CPS的基础技术之一。目前相关研究集中于系统建模与系统验证等方面，其中，如何将一个物理过程借助于数学框架抽象为能够用于计算机仿真的数学模型是研究CPS所必须面临的挑战。基于方程的建模语言Modelica由于其所固有的特性使得在构建CPS系统模型方面具有极大的潜力与优势，比如:l)ModeliCa接口和组件机制便于构建大规模复杂系统模型；2)基于Modelica中丰富的接口机制，能够灵活方便的定义信息部分与物理部分之间的接口及接口属性；3) Modelica同步数据流原则和单赋值原则是其具备描述离散混合系统的能力，并在仿真过程中处理系统中的并发和同步问题。
【发明内容】
[0003]本发明的目的在于提出了一种基于Modelica语言的交通信息物理系统的仿真方法，该方法针对面向CPS的系统建模与仿真，且相关研究集中于系统建模与系统验证方面，将一个物理过程借助于数学框架抽象为能够用于计算机仿真的数学模型研究。
[0004]为实现上述目的，本发明采用的技术方案为一种基于Modelica语言的交通信息物理系统的仿真方法，该方法的实现过程如下，
[0005]1、系统模型整体架构
[0006]对交通信息物理系统功能进行分析，将系统划分为6个功能层。提出系统的基本架构如图1所示，从中可清晰的看出交通信息物理系统的物理部分和信息部分的分离与融
口 O
[0007](I)对象层
[0008]对象层包括车辆和人在内的交通对象、交通工具、交通基础设施物理单元，其中有些直接参与交通系统而影响系统状态，有些由于影响交通状态而包含在系统中。
[0009](2)检测层
[0010]系统检测部分是系统通信、计算、控制和服务的基础，包括大量的检测设备，如红夕卜、微波、超声波检测器、RFID、视频和线圈采集设备。这些传感器负责检测用户感兴趣的物理世界的状态，例如:对交通载运工具、交通参与者及交通基础设施等交通要素在内的信息检测。检测的原始数据经节点汇集融合处理之后传输到信息控制中心，而随着嵌入式技术的发展，部分原始数据经过初步处理后传输至所需要的单元。
[0011](3)计算层
[0012]系统数据处理部分，根据系统需要对数据做相应的处理。嵌入式技术和计算机技术的发展，使得数据处理的速度和量度有了较大的进步。交通信息物理系统包含海量数据，并随着大数据时代的来临，传统的数据处理技术已不能满足未来的需要，因此，越来越多的先进技术和理论都将应用于交通信息物理系统，使其获得了更加强劲的发展。这里数据处理也将做为一个单独的模块进行分析、建模。
[0013](4)控制层
[0014]从获取的有效信息进行相应决策，从而实现对目标的控制作用。目前交通领域内的控制方式相对简单且固定、控制灵活性差，有时会出现难以实现系统范围内的最优控制而不得不牺牲系统的整体运行效率。在交通控制信息物理系统中应当设计科学适宜的控制算法，使交通信息物理达到我们预先设定的控制目标。
[0015](5)执行层
[0016]执行控制决策，以达到控制被控对象的目的。在交通信息物理系统中，交通参与者接触最多的就是各执行单元，其中包括交通信号灯、可变信息板以及电台广播。执行单元通过一定方式作用于交通参与者，改变其交通行为，从而实现相应的控制目标。
[0017](6)通信层
[0018]通行层由若干通信基站和网络单元组成，分布于整个系统工作流程中，负责各层之间的信息传输。在实际中通信层要同时保证车-车、车-路侧单元和路侧单元-服务器之间的可靠通信，如:有线宽带、专用短程通信技术(DSRC)、3G/4G、WiFi通信方式。鉴于交通信息物理系统需要实时获取并处理大量的外界信息，因此，信息传递过程的可靠性与有效性是系统能够正常运行的保障。
[0019]2、模型库开发及使用
[0020]为了实现系统仿真模型的快速建立，利用Modelica语言开发了应用于交通领域的信息物理系统的模块库，如图2所示是在分析系统功能之后将各个物理实体抽象并做简单化处理之后所设计的模型库架构。整个模型库充分提取对象的通用模型，开发常用的功能模块，在保证模型完备性的同时赋予模型规范的接口，最后将各个子库有序的整合起来形成合理的整体，以便于模型库的管理、使用和扩充。由于数据处理的结果主要应用于给出控制决策，因此将控制和计算合并在一起，开发了 5类组件模块，分别为:对象模块、检测模块、控制模块、执行模块、通信模块，分别对应模型库中不同的子库。
[0021]对于整个系统而言，如何把系统中的各个部件转化为能够用计算机语言描述的模型是实现整个模型库搭建的关键。道路交通流模型库主要是对实际的路网进行分割，把实际的路段根据已有的宏观交通流模型(如:元胞传输模型)分解为基本的交通流传递单元。路段连接模型库是描述模型中各个元胞相连接时的车流传输关系，主要包括:多路段融合与分离、交叉口处各方向出入口传输关系。控制器模型库是对系统中控制器计算、控制的建模。检测装置模型库是对各种检测装置的模拟封装。执行装置库是对执行设备，如:信号灯、VMS、电台广播信息的模拟，这里首先考虑可以起到强制性措施的信号灯的建模。支撑工具库主要是OpenModelica工具软件自身所带有的模型库，这里所用到的主要是输入输出模块。实例库存放的是基于已设计好的模块搭建的实际路网模型。图3是模型库各个功能模块的展开图。
[0022]2.1道路交通流模型库
[0023]基于元胞传输模型及其改进模型，开发相应元胞的组件模块。如图4所示。(I)源元胞
[0024]源元胞表示车流的起点，路网的边界，给路网提供交通需求。在实际中它往往代表的是小区、停车场，由历史数据可知从源元胞向路网发送的车辆数目大致等于一个定值，且每天大致符合一定的规律。本发明根据历史数据拟合发车曲线，并将其离散化处理，核心代码如下:
[0025]......[0026]equation
[0027]S = floor (m*LaneNum*T) 〃单个时间间隔发送的最大车辆数目〃；
[0028]y = floor (abs (5*sin (0.2*time))) "floor (x)结果是取不大于 x 的最大整数〃；
[0029]if sample (O, T) then
[0030]if y < S then
[0031]s = y;
[0032]else
[0033]s = S;
[0034]end if;
[0035]else
[0036]s=0;
[0037]end if;
[0038]s = -port_al.v;
[0039]q = port_al.p;
[0040]......[0041](2)中间元胞
[0042]中间元胞路网的基本单元，车流按规定的方向行驶或停留。既能接收上游元胞传输的车辆，也可以向下游元胞传输车辆，且遵循一定的元胞传输模型传输机制。核心代码如下:
[0043]
【权利要求】
1.基于Modelica语言的交通信息物理系统的仿真方法，其特征在于:该方法的实现过程如下 . 1)系统模型整体架构 对交通信息物理系统功能进行分析，将系统划分为6个功能层； (1)对象层 对象层包括车辆和人在内的交通对象、交通工具、交通基础设施物理单元； (2)检测层 系统检测部分是系统通信、计算、控制和服务的基础，包括大量的检测设备，如红外、微波、超声波检测器、RFID、视频和线圈采集设备；这些传感器负责检测用户感兴趣的物理世界的状态，例如，对交通载运工具、交通参与者及交通基础设施等交通要素在内的信息检测；检测的原始数据经节点汇集融合处理之后传输到信息控制中心，而随着嵌入式技术的发展，部分原始数据经过初步处理后传输至所需要的单元； (3)计算层 系统数据处理部分，根据系统需要对数据做相应的处理；计算曾采用嵌入式技术和计算机技术，同时将数据处理做为一个单独的模块进行分析、建模； (4)控制层 从获取的有效信息进行相应决策，从而实现对目标的控制作用； (5)执行层 执行控制决策，以达到控制被控对象的目的；在交通信息物理系统中，交通参与者接触最多的就是各执行单元，其中包括交通信号灯、可变信息板以及电台广播；执行单元通过一定方式作用于交通参与者，改变其交通行为，从而实现相应的控制目标； (6)通信层 通行层由若干通信基站和网络单元组成，分布于整个系统工作流程中，负责各层之间的信息传输；在实际中通信层要同时保证车-车、车-路侧单元和路侧单元-服务器之间的可靠通信，如有线宽带、专用短程通信技术、3G/4G、WiFi通信方式；鉴于交通信息物理系统需要实时获取并处理大量的外界信息；. 2)模型库开发及使用 为了实现系统仿真模型的快速建立，利用Modelica语言开发了应用于交通领域的信息物理系统的模块库；整个模型库充分提取对象的通用模型，开发常用的功能模块，在保证模型完备性的同时赋予模型规范的接口，最后将各个子库有序的整合起来形成合理的整体，以便于模型库的管理、使用和扩充；由于数据处理的结果应用于给出控制决策，因此将控制和计算合并在一起，开发了 5类组件模块，分别为:对象模块、检测模块、控制模块、执行模块、通信模块，分别对应模型库中不同的子库； 对于整个系统而言，如何把系统中的各个部件转化为能够用计算机语言描述的模型是实现整个模型库搭建的关键；道路交通流模型库是对实际的路网进行分割，把实际的路段根据已有的宏观交通流模型分解为基本的交通流传递单元；路段连接模型库是描述模型中各个兀胞相连接时的车流传输关系，包括多路段融合与分离、交叉口处各方向出入口传输关系；控制器模型库是对系统中控制器计算、控制的建模；检测装置模型库是对各种检测装置的模拟封装；执行装置库是对执行设备，如信号灯、VMS、电台广播信息的模拟，这里首先考虑可以起到强制性措施的信号灯的建模；支撑工具库是OpenModelica工具软件自身所带有的模型库，这里所用到的是输入输出模块；实例库存放的是基于已设计好的模块搭建的实际路网模型； `2.1)道路交通流模型库 基于元胞传输模型及其改进模型，开发相应元胞的组件模块； (O源元胞 源元胞表示车流的起点，路网的边界，给路网提供交通需求；在实际中它往往代表的是小区、停车场，由历史数据可知从源元胞向路网发送的车辆数目大致等于一个定值，且每天大致符合一定的规律；本发明根据历史数据拟合发车曲线，并将其离散化处理，核心代码如下:
equation S = floor (m*LaneNum*T) 〃单个时间间隔发送的最大车辆数目〃； y = floor (abs (5*sin (0.2*time))) "floor (x)结果是取不大于 x 的最大整数〃;
if sample (O, T) then
if y < S then
s = y;
else
s = S;
end if;
else
s = 0;
end if;
s = -port—al.v;
q = port_al.p; `(2)中间元胞 中间元胞路网的基本单元，车流按规定的方向行驶或停留；既能接收上游元胞传输的车辆，也可以向下游元胞传输车辆，且遵循一定的元胞传输模型传输机制；核心代码如下:
【文档编号】G06F17/50GK103970936SQ201410146969
【公开日】2014年8月6日 申请日期:2014年4月14日 优先权日:2014年4月14日
【发明者】陈阳舟, 张二青, 罗江, 李伟, 石建军, 代桂平 申请人:北京工业大学