CN103678834A - 信息物理融合系统cps的建模方法及装置 - Google Patents
信息物理融合系统cps的建模方法及装置 Download PDFInfo
- Publication number
- CN103678834A CN103678834A CN201410006569.9A CN201410006569A CN103678834A CN 103678834 A CN103678834 A CN 103678834A CN 201410006569 A CN201410006569 A CN 201410006569A CN 103678834 A CN103678834 A CN 103678834A
- Authority
- CN
- China
- Prior art keywords
- model
- state
- atomic service
- composite services
- service model
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Landscapes
- Mobile Radio Communication Systems (AREA)
- Data Exchanges In Wide-Area Networks (AREA)
Abstract
本发明公开了一种信息物理融合系统CPS的建模方法及装置,该方法包括:分析信息物理融合系统CPS的功能需求,获得N个目标功能需求;其中,N为整数;分别建立N个目标功能需求的N个原子服务模型;组合N个原子服务模型,获得组合服务模型;由上可见,采用本发明的方法及装置,可实现对CPS的建模。
Description
技术领域
本发明涉及建模技术领域,特别涉及一种信息物理融合系统CPS的建模方法及装置。
背景技术
近年来,随着嵌入式计算技术、通信技术、无线传感技术及自动控制技术的迅速发展,深度融合以上各种技术的信息物理融合系统(Cyber-PhysicalSystem,CPS)应运而生;
其中,上述CPS在交通管理、电力水利、健康医疗、环境监控、工业生产以及国防生产等领域,得到了广泛的应用;同时由于上述领域大多对实时性和安全性等要求较高,因此如何保证CPS的性能成为一个研究重点;而在现有技术中,通过对CPS模型的研究,即可得出CPS的性能;因此,在现有技术中,如何对CPS建模是亟需解决的问题。
发明内容
有鉴于此,本发明的目的在于提供信息物理融合系统CPS的建模方法及装置,以实现对CPS的建模。
为实现上述目的,本发明提供如下技术方案:
一种信息物理融合系统CPS的建模方法,包括:
分析信息物理融合系统CPS的功能需求,获得N个目标功能需求;其中,所述N为整数;
分别建立所述N个目标功能需求的N个原子服务模型;
组合所述N个原子服务模型,获得组合服务模型。
优选的,针对任一目标功能需求,其建立原子服务模型的过程,包括:
为所述目标功能需求分配唯一的标识符和通信端口;
利用混成自动机模型HA=(Q,X,Init,m,Inv,Jump)对所述目标功能需求进行描述;其中,所述Q表示在所述目标功能需求中离散状态变量的集合;所述X表示在所述目标功能需求中连续状态变量的集合;所述Init表示所建立的原子服务模型的初始状态的集合,且;所述m表示在每个离散状态下连续动态方程的集合;Inv表示每个离散状态的不变集;Jump表示跳转关系集合;
利用所述标识符、通信端口和HA建立所述原子服务模型。
优选的,所述组合N个原子服务模型,获得组合服务模型,包括:
分别将所述N个原子服务模型的迁移函数设置为f(si,pi)=si+1;其中,si表示任一原子服务模型的可达状态量,i=1,2,…,n;pi表示任一原子服务模型的通信端口,i=1,2,…,n,且i及n均为整数;
为所述组合服务模型分配通信端口、迁移函数及服务状态;其中,所述通信端口为所述N个原子服务模型所有通信端口的并集;所述迁移函数为所述N个原子服务模型所有迁移函数的并集;所述服务状态为所述N个原子服务模型所有服务状态的并集;
利用所述通信端口、迁移函数及服务状态建立所述组合服务模型。
优选的,在所述利用所述通信端口、迁移函数及服务状态建立所述组合服务模型之后,还包括:设置所述组合服务模型的初始状态。
优选的,所述设置所述组合服务模型的初始状态之后,还包括:
当所述组合服务模型的状态量si在迁移函数及端口pi,到达状态量sj时,验证所述组合服务模型内的原子服务模型是否可利用迁移函数及端口pi由状态量si到达状态量sj;其中,i及j均为整数,且所述i不等于j;
当可到达时,判定所述组合服务模型为正确的。
一种信息物理融合系统CPS的建模装置,包括:
分析模块用于,分析信息物理融合系统CPS的功能需求,获得N个目标功能需求;其中,所述N为整数;
建立模块用于,分别建立所述N个目标功能需求的N个原子服务模型;
组合模块用于,组合所述N个原子服务模型,获得组合服务模型。
优选的,针对任一目标功能需求,所述建立模块包括:
第一分配单元用于,为所述目标功能需求分配唯一的标识符和通信端口;
描述单元用于,利用混成自动机模型HA=(Q,X,Init,m,Inv,Jump)对所述目标功能需求进行描述;其中,Q表示在所述目标功能需求中离散状态变量的集合;所述X表示在所述目标功能需求中连续状态变量的集合;所述Init表示所建立的原子服务模型的初始状态的集合,且;所述m表示在每个离散状态下连续动态方程的集合;Inv表示每个离散状态的不变集;Jump表示跳转关系集合;
第一建立单元用于,利用所述标识符、通信端口和HA建立所述原子服务模型。
优选的,所述组合模块包括:
第一设置单元用于,分别将所述N个原子服务模型的迁移函数设置为f(si,pi)=si+1;其中,si表示任一原子服务模型的可达状态量,i=1,2,…,n;pi表示任一原子服务模型的通信端口,i=1,2,…,n,且i及n均为整数;
第二分配单元用于,为所述组合服务模型分配通信端口、迁移函数及服务状态;其中,所述通信端口为所述N个原子服务模型所有通信端口的并集;所述迁移函数为所述N个原子服务模型所有迁移函数的并集;所述服务状态为所述N个原子服务模型所有服务状态的并集;
第二建立单元用于,利用所述通信端口、迁移函数及服务状态建立所述组合服务模型。
优选的,所述组合模块还包括:
第二设置单元用于,设置所述组合服务模型的初始状态。
优选的,还包括:
验证模块用于,当所述组合服务模型的状态量si在迁移函数及端口pi下,到达状态量sj时,验证所述组合服务模型内的原子服务模型是否可利用迁移函数及端口pi由状态量si到达状态量sj;其中,i及j均为整数,且所述i不等于j;
判定模块用于,当可到达时,判定所述组合服务模型为正确的。
由上述的技术方案可以看出,在本发明实施例中,首先分析CPS的功能需求,获得N个目标功能需求;其中,N为整数;然后分别建立N个目标功能需求的N个原子服务模型;最后组合N个原子服务模型,获得组合服务模型;由上可见,采用本发明的方法及装置,可实现对CPS的建模。
附图说明
为了更清楚地说明本发明实施例或现有技术中的技术方案,下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本发明的一些实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他的附图。
图1为本发明实施例所提供的CPS的建模方法的流程图;
图2为本发明实施例所提供的CPS的建模方法的又一流程图;
图3为本发明实施例所提供的简易的恒温系统的示意图;
图4为本发明实施例所提供的CPS的建模方法的另一流程图;
图5为本发明实施例所提供的CPS的建模装置的示意图;
图6为本发明实施例所提供的CPS的建模装置的又一示意图;
图7为本发明实施例所提供的CPS的建模装置的另一示意图;
图8为本发明实施例所提供的CPS的建模装置的又一示意图;
图9为本发明实施例所提供的全球定位服务的建模示意图;
图10为本发明实施例所提供的交通信号灯服务的建模示意图;
图11为本发明实施例所提供的停车场服务的建模示意图;
图12为本发明实施例所提供的实时路况服务的建模示意图;
图13为本发明实施例所提供的危险预警服务的建模示意图。
具体实施方式
下面将结合本发明实施例中的附图,对本发明实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例仅仅是本发明一部分实施例,而不是全部的实施例。基于本发明中的实施例,本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例,都属于本发明保护的范围。
本发明公开了一种信息物理融合系统CPS的建模方法,如图1所示,该方法至少包括以下步骤:
S11:分析CPS的功能需求,获得N个目标功能需求;其中,N为整数;
S12:分别建立N个目标功能需求的N个原子服务模型;
S13:组合N个原子服务模型,获得组合服务模型。
由上可见,在本发明实施例中,首先分析CPS的功能需求,获得N个目标功能需求;然后分别建立N个目标功能需求的N个原子服务模型;最后组合N个原子服务模型,获得组合服务模型;由上可见,采用本发明的方法及装置,可实现对CPS的建模。
在本发明其它实施例中,针对任一目标功能需求,其建立原子服务模型的过程,如图2所示,可包括:
S21:为目标功能需求分配唯一的标识符ID和通信端口port;
S22:利用混成自动机模型HA=(Q,X,Init,m,Inv,Jump)对目标功能需求进行描述;其中,Q表示在目标功能需求中离散状态变量的集合,用于描述所建立的原子服务模型的信息属性;X表示在目标功能需求中连续状态变量的集合,用于描述所建立的原子服务模型的物理属性;Init表示所建立的原子服务模型的初始状态的集合,且;m表示在每个离散状态q∈Q下连续动态方程的集合,且Q×X→X;Inv表示每个离散状态q∈Q的不变量,当所建立的原子服务模型在某一个离散状态q∈Q下的轨迹脱离不变集时,其发生离散迁移,且Q→2X;Jump表示跳转关系集合,且Jump:Q×X→2Q×X;
S23:利用标识符、通信端口和HA建立原子服务模型S;其中,S=<ID,port,HA>;
需要说明的是,由于CPS的设备大多分布在自然环境中,通常为资源受限型设备,因此所提供的服务大多为原子型服务;其中,原子服务是指能完成一定功能,但自身不可分割的服务,其每个原子服务都应该具有如下性质:
(1)拥有唯一的标识符,以区别系统内其他服务;
(2)拥有各自的物理属性或信息属性,并且可以被赋值,因此可以将其定义为一组变量集合;
(3)拥有一定的功能,如数值计算、设备控制等;
(4)拥有一个端口,用于其与外界的通信。
因此,由上可见,可采用本发明的原子服务模型S=<ID,port,HA>可对CPS的原子服务进行描述。
同时,需要说明的是,采用本发明的方法,对如图3所示的一个简易的恒温系统进行建模时,只需对两个服务进行建模:环境感知服务S1和环境改变服务S2;其中,Q(S1)={l1,l2}:l1表示低温状态,l2表示高温状态,port(S1)={p1,q1};Q(S2)={l3,l4}:l3表示关状态,l4表示开状态,Init(S1)=l1,Init(S2)=l3。当温度由状态l1改变到l2时,f1(l1,p1)=l2,S2由状态l3改变为l4进行温度调节,f2(l3,p2)=l4;而若采用传统的基于构件的设计方法对上述简易的恒温系统进行建模,则需对温度感知器、空调以及周围环境实体进行建模。
在本发明其它实施例中,如图4所示,上述所有实施例中的步骤S13可包括:
S41:分别将N个原子服务模型的迁移函数设置为f(si,pi)=si+1;其中,si表示任一原子服务模型的可达状态量,i=1,2,…,n;pi表示任一原子服务模型的通信端口,i=1,2,…,n,且i及n均为整数;
需要说明的是,上述可达状态量为原子服务模型从其初始状态出发,经过一系列执行过程后可到达的状态;
S42:为原子服务模型分配通信端口port、迁移函数f及服务状态st;其中,通信端口port为上述N个原子服务模型所有通信端口的并集;迁移函数为上述N个原子服务模型所有迁移函数的并集;服务状态为N个原子服务模型服务状态的并集;
S43:利用通信端口port、迁移函数f及服务状态st建立组合服务模型CS;其中,CS(port,f,st)=γ(S1,S2,…,Sn);
具体的,对于组合服务模型CS中的N个原子服务模型S1,S2,…,Sn,可定义它们之间的通信通道为其中,Si.port为服务Si的端口,且对于都有|Con∩Si.port|≤1,即通信通道最多只包含每个服务中的一个端口。
在本发明其它实施例中,上述所有实施例中的步骤S43之后,还可包括:
设置组合服务模型的初始状态;
具体的,在建模时,可为组合服务模型定义一个二元组Sys=<Sset,Init>,其中,Sset为服务的集合,Init为组合服务模型的初始状态;
更具体的,仍可参见图3的恒温系统,可设定为Sset={S1,S2},Init=l1∧l3,即系统初始时处于低温,且空调设备关闭。
在本发明其它实施例中,上述所有实施例中的“设置组合服务模型的初始状态”之后,还可包括:
当组合服务模型的状态量si在利用其迁移函数f及端口pi,到达状态量sj时,验证组合服务模型内的原子服务模型是否可利用自身的迁移函数及端口pi由状态量si到达状态量sj;其中,i及j均为整数,且i不等于j。
当可到达时,认定组合服务模型为正确的;
具体的,可利用下述定理对上述验证方法进行判定:
定理:对于组合服务CS=γ(S1,S2,…,Sn),它的迁移函数CS.f是唯一的充分必要条件是对于如果CS.f(si,pi)=sj,则有Si.f(si,pi)=sj,且Si的所有不参与此迁移函数的状态si都保持不变。
其中,上述定理的证明如下:
证明:(必要性)假设,使得CS.f(si,pi)=sj,且Si.f(si,pj)≠sj,则假设Si.f(si,pi)=sk,其中si,sj,sk是Si的状态量,由CS的定义可知,则有CS.f(si,pi)=sk,与CS.f是唯一的矛盾,因此Si.f(si,pj)=sj。由性质2可知,Si的所有不参与此迁移函数的状态si都保持不变。
(充分性)假设存在两个迁移函数CS.f1,CS.f2,则对于任意状态量si,sj,pi若满足CS.f1(si,pi)=sj,则Si.f(si,pi)=sj,且Si的所有不参与此迁移函数的状态si都保持不变,则Si.f是确定的,因此CS.f2(si,pi)=sj,与性质1的迁移函数唯一性矛盾,因此CS.f是唯一的。
由上可见,上述定理出了一种判定组合服务状态迁移正确性的方法,如果满足了上述定理的充分条件,即可保证上述组合服务模型的迁移函数为唯一的,从而可判定所建立的组合服务模型为正确的。
本发明还公开了一种与上述方法相对应的信息物理融合系统CPS的建模装置,如图5所示,可包括:
分析模块51用于,分析CPS的功能需求,获得N个目标功能需求;其中,N为整数;
建立模块52用于,分别建立N个目标功能需求的N个原子服务模型;
组合模块53用于,组合N个原子服务模型,获得组合服务模型;
由上可见,在本发明实施例中,首先分析CPS的功能需求,获得N个目标功能需求;然后分别建立N个目标功能需求的N个原子服务模型;最后组合N个原子服务模型,获得组合服务模型;由上可见,采用本发明的方法及装置,可实现对CPS的建模。
在本发明其它实施例中,针对任一目标功能需求,如图6所示,其建立模块52可包括:
第一分配单元61用于,为目标功能需求分配唯一的标识符和通信端口;
描述单元62用于,利用混成自动机模型HA=(Q,X,Init,m,Inv,Jump)对目标功能需求进行描述;其中,Q表示在目标功能需求中离散状态变量的集合;X表示在目标功能需求中连续状态变量的集合;Init表示所建立的原子服务模型的初始状态的集合,且;m表示在每个离散状态q∈Q下连续动态方程的集合;Inv表示每个离散状态q∈Q的不变集;Jump表示跳转关系集合;
第一建立单元63用于,利用标识符、通信端口和HA建立原子服务模型。
在本发明其它实施例中,如图7所示,上述所有实施例中的组合模块53可包括:
第一设置单元71用于,分别将N个原子服务模型的迁移函数设置为f(si,pi)=si+1;其中,si表示任一原子服务模型的可达状态量,i=1,2,…,n;pi表示任一原子服务模型的通信端口,i=1,2,…,n,且i及n均为整数;
第二分配单元72用于,为组合服务模型分配通信端口、迁移函数及服务状态;其中,通信端口为N个原子服务模型所有通信端口的并集;迁移函数为N个原子服务模型所有迁移函数的并集;服务状态为N个原子服务模型所有服务状态的并集;
第二建立单元73用于,利用通信端口、迁移函数及服务状态建立组合服务模型。
在本发明其它实施例中,上述所有实施例中的组合模块53还可包括:
第二设置单元74用于,设置组合服务模型的初始状态。
在本发明其它实施例中,如图8所示,上述所有实施例中的装置,还可包括:
验证模块81用于,当组合服务模型的状态量si在迁移函数及端口pi下,到达状态量sj时,验证组合服务模型内的原子服务模型是否可利用迁移函数及端口pi由状态量si到达状态量sj;其中,i及j均为整数,且i不等于j;
判定模块82用于,当可到达时,判定组合服务模型为正确的。
对于分析模块51、建立模块52及组合模块53的各细化功能可参见上述方法的记载,在此不再赘述。
在本发明中,可以智能交通管理为例,具体说明本发明所提供的建模过程:
假设一个交通管理系统主要提供的功能为:全球定位服务,该服务每隔一个时间段获取系统各构件的地理位置信息,是后续服务的基础;交通信号灯服务,当信号灯变为红灯时,提醒停车线前第一辆车进行减速行驶;停车场服务,每隔一个时间段获取停车场的车位信息,并发送给朝停车场方向开来的车辆或者咨询该停车场信息的车辆;实时路况服务,将路况的实时信息(如道路拥堵状况、路面状况以及天气状况等)反馈给行驶中的车辆;危险预警服务,主要提供危险情况时的预警服务,包括前方车辆的紧急刹车、路人横穿马路以及特殊情况等。各服务的建模过程如下:
全球定位服务GPS_Service=<GSid,port,(period,longitude,latitude)>,其中GSid为该服务的标识符,GPS_Service只有一个端口port,用于服务向外界提供位置信息,GPS_Service的变量有两个,服务周期period和位置信息longitude,latitude,用于每隔一个周期传送一次位置信息,初始时port=off,在每个周期时间点时,port=on,如图9所示。
交通信号灯服务L_S=<LSid,port,(period,red,yel,blue,f)>,其中LSid为该服务的标识符,port为L_S的端口,用于向外界发送信息,L_S有两组变量:连续变量period用于表示服务周期,离散变量(red,yel,blue)用于表示服务的状态,以及变迁函数f:red×period→blue,blue×period→yel,yel×period→red,用于表示服务状态在每个周期内的转换,如图10所示。
停车场服务P_S=<PSid,port,(total,rest,f)>,其中PSid为服务的标识符,port为P_S的端口,用于向外界提供服务,P_S包含两组变量total用于记录停车场总车位数,rest用于记录剩余车位数,迁移函数表示当有车辆进入或离开停车场时车位的变化情况f:rest→rest+1;rest→rest-1,如图11所示。
实时路况服务I_S=<ISid,port,(status,isbusy,weather)>,其中ISid是该服务的标识符,port是服务的端口,用于和外界进行交互,(status,isbusy,weather)分别表示实时路况信息、道路拥挤状况以及天气,如图12所示。
危险预警服务W_S=<WSid,port,(warning,guard)>其中WSid为该服务的标识符,port为服务的端口,用于与外界信息的交互,服务包含两个变量:警报warning和判定公式guard,初始时port=off,warning=false,当满足判定公式guard时,port=on,warning=true,如图13所示。
该智能交通系统的组合服务模型为CS=γ(GPS_Service,L_S,P_S,I_S,W_S),对于该模型验证的一条重要性质是系统运行过程不会出现死锁,该性质可以表述为deadlock,将此公式输入到UPPAAL的验证器中,验证结果是性质满足,说明智能交通系统的组合服务可以正确运行。
对所公开的实施例的上述说明,使本领域专业技术人员能够实现或使用本发明。对这些实施例的多种修改对本领域的专业技术人员来说将是显而易见的,本文中所定义的一般原理可以在不脱离本发明的精神或范围的情况下,在其它实施例中实现。因此,本发明将不会被限制于本文所示的这些实施例,而是要符合与本文所公开的原理和新颖特点相一致的最宽的范围。
Claims (10)
1.一种信息物理融合系统CPS的建模方法,其特征在于,包括:
分析信息物理融合系统CPS的功能需求,获得N个目标功能需求;其中,所述N为整数;
分别建立所述N个目标功能需求的N个原子服务模型;
组合所述N个原子服务模型,获得组合服务模型。
3.根据权利要求2所述的方法,其特征在于,所述组合N个原子服务模型,获得组合服务模型,包括:
分别将所述N个原子服务模型的迁移函数设置为f(si,pi)=si+1;其中,si表示任一原子服务模型的可达状态量,i=1,2,…,n;pi表示任一原子服务模型的通信端口,i=1,2,…,n,且i及n均为整数;
为所述组合服务模型分配通信端口、迁移函数及服务状态;其中,所述通信端口为所述N个原子服务模型所有通信端口的并集;所述迁移函数为所述N个原子服务模型所有迁移函数的并集;所述服务状态为所述N个原子服务模型所有服务状态的并集;
利用所述通信端口、迁移函数及服务状态建立所述组合服务模型。
4.根据权利要求3所述的方法,其特征在于,在所述利用所述通信端口、迁移函数及服务状态建立所述组合服务模型之后,还包括:设置所述组合服务模型的初始状态。
5.根据权利要求4所述的方法,其特征在于,所述设置所述组合服务模型的初始状态之后,还包括:
当所述组合服务模型的状态量si在迁移函数及端口pi,到达状态量sj时,验证所述组合服务模型内的原子服务模型是否可利用迁移函数及端口pi由状态量si到达状态量sj;其中,i及j均为整数,且所述i不等于j;
当可到达时,判定所述组合服务模型为正确的。
6.一种信息物理融合系统CPS的建模装置,其特征在于,包括:
分析模块用于,分析信息物理融合系统CPS的功能需求,获得N个目标功能需求;其中,所述N为整数;
建立模块用于,分别建立所述N个目标功能需求的N个原子服务模型;
组合模块用于,组合所述N个原子服务模型,获得组合服务模型。
8.根据权利要求7所述的装置,其特征在于,所述组合模块包括:
第一设置单元用于,分别将所述N个原子服务模型的迁移函数设置为f(si,pi)=si+1;其中,si表示任一原子服务模型的可达状态量,i=1,2,…,n;pi表示任一原子服务模型的通信端口,i=1,2,…,n,且i及n均为整数;
第二分配单元用于,为所述组合服务模型分配通信端口、迁移函数及服务状态;其中,所述通信端口为所述N个原子服务模型所有通信端口的并集;所述迁移函数为所述N个原子服务模型所有迁移函数的并集;所述服务状态为所述N个原子服务模型所有服务状态的并集;
第二建立单元用于,利用所述通信端口、迁移函数及服务状态建立所述组合服务模型。
9.根据权利要求8所述的装置,其特征在于,所述组合模块还包括:
第二设置单元用于,设置所述组合服务模型的初始状态。
10.根据权利要求9所述的装置,其特征在于,还包括:
验证模块用于,当所述组合服务模型的状态量si在迁移函数及端口pi下,到达状态量sj时,验证所述组合服务模型内的原子服务模型是否可利用迁移函数及端口pi由状态量si到达状态量sj;其中,i及j均为整数,且所述i不等于j;
判定模块用于,当可到达时,判定所述组合服务模型为正确的。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410006569.9A CN103678834B (zh) | 2014-01-07 | 2014-01-07 | 信息物理融合系统cps的建模方法及装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410006569.9A CN103678834B (zh) | 2014-01-07 | 2014-01-07 | 信息物理融合系统cps的建模方法及装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN103678834A true CN103678834A (zh) | 2014-03-26 |
CN103678834B CN103678834B (zh) | 2017-05-24 |
Family
ID=50316370
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201410006569.9A Expired - Fee Related CN103678834B (zh) | 2014-01-07 | 2014-01-07 | 信息物理融合系统cps的建模方法及装置 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN103678834B (zh) |
Cited By (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104657610A (zh) * | 2015-02-13 | 2015-05-27 | 南京邮电大学 | 一种信息物理融合系统时序逻辑鲁棒性评估方法 |
CN104866317A (zh) * | 2015-06-03 | 2015-08-26 | 南京大学 | 一种多触发机制cps在线建模与检验的方法和装置 |
CN104933298A (zh) * | 2015-06-01 | 2015-09-23 | 广东工业大学 | 一种面向信息物理融合系统的多元组复杂事件组合方法 |
CN106096126A (zh) * | 2016-06-08 | 2016-11-09 | 华东师范大学 | 一种基于SysML/MARTE的信息物理融合系统的建模方法 |
CN106329518A (zh) * | 2016-09-06 | 2017-01-11 | 中国科学院信息工程研究所 | 一种电网信息物理融合系统交互建模方法 |
CN106528970A (zh) * | 2016-10-31 | 2017-03-22 | 耿生玲 | 一种基于可能性时空混成自动机的cps建模与属性验证方法 |
CN106683448A (zh) * | 2017-01-25 | 2017-05-17 | 东南大学 | 一种基于cps的道路信号灯控制系统及其方法 |
CN106843866A (zh) * | 2017-01-12 | 2017-06-13 | 西北工业大学 | 一种信息物理融合系统服务形式化构造方法及装置 |
CN107180133A (zh) * | 2017-05-18 | 2017-09-19 | 苏州大学 | 一种cps建模的方法及装置 |
CN109976712A (zh) * | 2019-03-12 | 2019-07-05 | 中山大学 | 一种基于uppaal-smc对网络物理系统需求做形式化验证方法 |
CN110135727A (zh) * | 2019-05-14 | 2019-08-16 | 华北电力大学 | 基于信息物理融合的电力网和信息网融合模型 |
CN113098871A (zh) * | 2021-04-02 | 2021-07-09 | 西安电子科技大学 | 一种保障系统安全性的方法 |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110753346B (zh) * | 2019-10-30 | 2021-02-19 | 北京微智信业科技有限公司 | 移动通信专网密钥生成方法、装置及控制器 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102857571A (zh) * | 2012-09-13 | 2013-01-02 | 北京航空航天大学 | 组合服务仿真方法及装置 |
CN103324776A (zh) * | 2013-04-25 | 2013-09-25 | 南京大学 | 基于抽象解释的线性混成系统不变式的生成方法 |
CN103336694A (zh) * | 2013-07-08 | 2013-10-02 | 北京航空航天大学 | 一种实体行为建模的组装方法和系统 |
CN103400025A (zh) * | 2013-07-04 | 2013-11-20 | 南京大学 | 一种混成系统的可达性分析方法 |
-
2014
- 2014-01-07 CN CN201410006569.9A patent/CN103678834B/zh not_active Expired - Fee Related
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102857571A (zh) * | 2012-09-13 | 2013-01-02 | 北京航空航天大学 | 组合服务仿真方法及装置 |
CN103324776A (zh) * | 2013-04-25 | 2013-09-25 | 南京大学 | 基于抽象解释的线性混成系统不变式的生成方法 |
CN103400025A (zh) * | 2013-07-04 | 2013-11-20 | 南京大学 | 一种混成系统的可达性分析方法 |
CN103336694A (zh) * | 2013-07-08 | 2013-10-02 | 北京航空航天大学 | 一种实体行为建模的组装方法和系统 |
Non-Patent Citations (4)
Title |
---|
封飞等: "基于混成自动机的车联网服务建模方法", 《南通大学学报(自然科学版)》 * |
李仁发等: ""信息-物理融合系统若干关键问题综述"", 《计算机研究与发展》 * |
邵珠成: ""信息物理系统时空逻辑研究"", 《中国优秀硕士学位论文全文数据库 工程科技Ⅱ辑》 * |
陈志辉: ""基于时间自动机的信息物理融合系统建模与验证"", 《计算机与现代化》 * |
Cited By (19)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104657610A (zh) * | 2015-02-13 | 2015-05-27 | 南京邮电大学 | 一种信息物理融合系统时序逻辑鲁棒性评估方法 |
CN104657610B (zh) * | 2015-02-13 | 2017-11-17 | 南京邮电大学 | 一种信息物理融合系统时序逻辑鲁棒性评估方法 |
CN104933298A (zh) * | 2015-06-01 | 2015-09-23 | 广东工业大学 | 一种面向信息物理融合系统的多元组复杂事件组合方法 |
CN104866317A (zh) * | 2015-06-03 | 2015-08-26 | 南京大学 | 一种多触发机制cps在线建模与检验的方法和装置 |
CN104866317B (zh) * | 2015-06-03 | 2018-02-16 | 南京大学 | 一种多触发机制cps在线建模与检验的方法和装置 |
CN106096126A (zh) * | 2016-06-08 | 2016-11-09 | 华东师范大学 | 一种基于SysML/MARTE的信息物理融合系统的建模方法 |
CN106096126B (zh) * | 2016-06-08 | 2019-06-25 | 华东师范大学 | 一种基于SysML/MARTE的信息物理融合系统的建模方法 |
CN106329518A (zh) * | 2016-09-06 | 2017-01-11 | 中国科学院信息工程研究所 | 一种电网信息物理融合系统交互建模方法 |
CN106528970A (zh) * | 2016-10-31 | 2017-03-22 | 耿生玲 | 一种基于可能性时空混成自动机的cps建模与属性验证方法 |
CN106528970B (zh) * | 2016-10-31 | 2019-11-29 | 耿生玲 | 一种基于可能性时空混成自动机的cps建模与属性验证方法 |
CN106843866A (zh) * | 2017-01-12 | 2017-06-13 | 西北工业大学 | 一种信息物理融合系统服务形式化构造方法及装置 |
CN106683448A (zh) * | 2017-01-25 | 2017-05-17 | 东南大学 | 一种基于cps的道路信号灯控制系统及其方法 |
CN106683448B (zh) * | 2017-01-25 | 2020-04-28 | 东南大学 | 一种基于cps的道路信号灯控制系统及其方法 |
CN107180133A (zh) * | 2017-05-18 | 2017-09-19 | 苏州大学 | 一种cps建模的方法及装置 |
CN107180133B (zh) * | 2017-05-18 | 2020-08-25 | 苏州大学 | 一种cps建模的方法及装置 |
CN109976712A (zh) * | 2019-03-12 | 2019-07-05 | 中山大学 | 一种基于uppaal-smc对网络物理系统需求做形式化验证方法 |
CN110135727A (zh) * | 2019-05-14 | 2019-08-16 | 华北电力大学 | 基于信息物理融合的电力网和信息网融合模型 |
CN113098871A (zh) * | 2021-04-02 | 2021-07-09 | 西安电子科技大学 | 一种保障系统安全性的方法 |
CN113098871B (zh) * | 2021-04-02 | 2022-08-02 | 西安电子科技大学 | 一种保障系统安全性的方法 |
Also Published As
Publication number | Publication date |
---|---|
CN103678834B (zh) | 2017-05-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN103678834A (zh) | 信息物理融合系统cps的建模方法及装置 | |
Wu et al. | A novel method of vehicle-pedestrian near-crash identification with roadside LiDAR data | |
Shirazi et al. | Looking at intersections: a survey of intersection monitoring, behavior and safety analysis of recent studies | |
Vlahogianni et al. | Driving analytics using smartphones: Algorithms, comparisons and challenges | |
JP7371157B2 (ja) | 車両監視方法、装置、電子機器、記憶媒体、コンピュータプログラム、クラウド制御プラットフォームおよび車路連携システム | |
CN106918341B (zh) | 用于构建地图的方法和设备 | |
CN103903465B (zh) | 一种道路拥堵原因实时发布方法及系统 | |
CN106846801A (zh) | 一种基于车辆轨迹的区域徘徊异常行为检测方法 | |
CN102779410B (zh) | 一种多源异类海量交通数据融合的并行实现方法 | |
JP2015536004A (ja) | 交差点における衝突の危険性を評価する方法 | |
CN110910673B (zh) | 一种提醒行人碰撞车辆的方法及系统、摄像头、移动终端 | |
CN106611167A (zh) | 一种跟踪方法及系统 | |
CN110490108A (zh) | 一种违章状态的标记方法、装置、存储介质及电子装置 | |
CN103366604A (zh) | 一种基于车辆牌照信息查询停车位置信息的方法及系统 | |
CN105741566A (zh) | 基于智能交通管理系统控制的交通信息显示系统 | |
Won et al. | Safercross: Enhancing pedestrian safety using embedded sensors of smartphone | |
Billones et al. | Microscopic road traffic scene analysis using computer vision and traffic flow modelling | |
CN113793500B (zh) | 城市交通道路可计算路网的构建方法及系统 | |
CN110228476A (zh) | 一种车辆控制方法、车辆控制装置及电子设备 | |
CN108428368A (zh) | 基于数据链的行车预警系统和方法 | |
CN112837555A (zh) | 一种测试路线选择方法、装置、计算机设备和存储介质 | |
CN109446690B (zh) | Ldw功能检测方法 | |
JP2023095976A (ja) | 運転評価モデル生成装置、運転評価モデル生成方法及びプログラム | |
US20220172295A1 (en) | Systems, methods, and devices for aggregating and quantifying telematics data | |
Jang et al. | A real-time sensing system of elderly's crossing behavior at outdoor environments |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20170524 Termination date: 20200107 |
|
CF01 | Termination of patent right due to non-payment of annual fee |