基于面向对象模糊Petri网的信息物理系统能耗模型

doi:10.16180/j.cnki.issn1007-7820.2021.07.004

摘要/Abstract

摘要：

信息物理系统是一种融合了计算、通信和控制的高级嵌入式系统,其能耗分析方法是目前的热点研究问题。文中针对CPS的模块化架构与其组件能耗的不确定性,提出面向对象模糊Petri网作为一种新的CPS能耗模型。在该模型中,CPS的模块化逻辑结构与功能流程由面向对象技术描述,而其不确定性则通过使用模糊数学理论对模型中的变迁能耗属性进行模糊化的方法来处理。在此基础上,提出了基于OFPN可达标识图的CPS组件能耗分析算法。该算法分析并统计能耗的模糊值后进行解模糊,并输出各组件的最低能耗与最高能耗的精确数值结果。最后通过一个智能厚板生产线的实际CPS案例的建模与能耗分析,进一步说明了该方法的可行性。

关键词: 信息物理系统, 建模, 能耗, 不确定性, 模糊数学, 面向对象, Petri网, 可达标识图

Abstract:

Cyber-physical system is an advanced embedded system that integrates computing, communication and control functions, and its energy consumption analysis is currently a hot research issue. In view of the modular architecture and the uncertainties of CPS, this study proposes the OFPN as a new energy consumption model of CPS. In OFPN, the modular logical structure and process of CPS are modeled by OFPN, and the uncertainties in CPS is described by using fuzzy mathematics to blur the energy consumption attributes of transitions in OPN. Besides, a CPS component energy consumption analysis algorithm based on the reachability graph of OPFN is proposed, which calculates the fuzzy energy consumptions of each component and then deblur them to get the minimum and maximum numerical results. The availability of the model and analysis method are verified by the modeling and energy consumption analysis of a real-world CPS (an intelligent thick metal plate production line).

Key words: cyber-physical system, modeling, energy consumption, uncertainty, fuzzy mathematics, object-oriented, Petri net, reachability graph

中图分类号:

TP311

余嘉伟,胡海洋. 基于面向对象模糊Petri网的信息物理系统能耗模型[J]. 电子科技, 2021, 34(7): 19-25.

YU Jiawei,HU Haiyang. Energy Consumption Model of Cyber-Physical System Based on Object-Oriented Fuzzy Petri Net[J]. Electronic Science and Technology, 2021, 34(7): 19-25.

图/表 9

图1

图2

图3

图4

表1

表2

图5

图6

图7

参考文献 19

[1]	Rajkumar R R, Lee I, Sha L, et al. 44.1 Cyber-physical systems: The next computing revolution[C]. Anaheim: Proceedings of the Forty-seventh Design Automation Conference, 2010.
[2]	Ma Z, Fu X, Yu Z. Object-oriented petri nets based formal modeling for high-confidence cyber-physical systems[C]. Shanghai: The Eighth International Conference on Wireless Communications, Networking and Mobile Computing, 2012.
[3]	Basile D, Chiaradonna S, Giandomenico F D, et al. Stochastic model-based analysis of energy consumption in a rail road switch heating system[C]. Paris:The Seventh International Workshop,Serene 2015,Springer, Cham, 2015.
[4]	Chen X, Gu F, Chen M, et al. Evaluating energy consumption for cyber-physical energy system: An environment ontology-based approach[C]. Taichung: The Thirth-ninth Annual Computer Software and Applications Conference, 2015.
[5]	Phillip R, Christian E, Peter W, et al. Worst-case energy-consumption analysis by microarchitecture-aware timing analysis for device-driven cyber-physical systems[C]. Stuttgart: The Nineteenth International Workshop on Worst-Case Execution Time Analysis,Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2019.
[6]	Gang H, Yinfeng B, Kuanjiu Z, et al. Energy consumption analysis method of CPS software based on architecture modeling[C]. Dalian:The Ninth International Conference on Frontier of Computer Science and Technology, 2015.
[7]	张广泉, 张侃, 祝义, 等. 基于体系结构能耗建模的CPS软件可信性评估方法[J]. 电子学报, 2013,41(11):2270-2275.
	Zhang Guangquan, Zhang Kan, Zhu Yi, et al. Trustworthiness evaluation method for CPS software based on software architecture energy consumption modeling[J]. Acta Electronica Sinica, 2013,41(11):2270-2275.
[8]	张晶, 王中正, 范洪博. 基于随机Petri网的嵌入式软件能耗模型[J]. 计算机工程, 2017,43(9):316-321.
	Zhang Jing, Wang Zhongzheng, Fan Hongbo. Energy consumption model of embedded software based on stochastic petri net[J]. Computer Engineering, 2017,43(9):316-321.
[9]	Petri C A. Kommunikation mit Automaten[D]. Bonn:University Bonn, 1962.
[10]	Ahmad F, Huang H, Wang X. Analysis of the Petri net model of parallel manufacturing processes with shared resources[J]. Information Sciences, 2011,181(23):5249-5266. doi: 10.1016/j.ins.2011.07.034
[11]	苏国军, 汪雄海. 半导体制造系统改进Petri网模型的建立及优化调度[J]. 系统工程理论与实践, 2011,31(7):1372-1377.
	Su Guojun, Wang Xionghai. Optimal scheduling of semiconductor manufacture system based on improved Petri net model[J]. Systems Engineering-Theory & Practice, 2011,31(7):1372-1377.
[12]	何炎祥, 沈华. 随机Petri网模型到马尔可夫链的转换规则与实现[J]. 计算机科学与探索, 2013,7(1):55-62.
	He Yanxiang, Shen Hua. Rules and implementation of converting stochastic Petri net model to Markov Chain[J]. Journal of Frontiers of Computer Science and Technology, 2013,7(1):55-62.
[13]	Durrett R. Probability:Theory and examples[M].3rd ed. Cambridge: Cambridge University Press, 2005.
[14]	Klir G J, Folger T A. Fuzzy sets, uncertainty, and information[M]. Upper Saddle River:Prentice Hall, 1990.
[15]	Wang J, Ding D, Liu O, et al. A synthetic method for knowledge management performance evaluation based on triangular fuzzy number and group support systems[J]. Applied Soft Computing, 2015,39(C):11-20. doi: 10.1016/j.asoc.2015.09.041
[16]	高岩, 周德群, 刘晨琛, 等. 基于关联的三角模糊数直觉模糊集成算子及其应用[J]. 系统工程理论与实践, 2012,32(9):1964-1972.
	Gao Yan, Zhou Dequn, Liu Chenchen, et al. Triangular fuzzy number intuitionistic fuzzy aggregation operators and their application base on interaction[J]. Systems Engineering-Theory & Practice, 2012,32(9):1964-1972.
[17]	张爱武. 系数为LR型模糊数的模糊回归模型的参数估计[J]. 模糊系统与数学, 2016,27(6):140-147.
	Zhang Aiwu. Parameters estimation of the fuzzy regressive model with LR typed fuzzy coefficients[J]. Fuzzy Systems and Mathematics, 2016,27(6):140-147.
[18]	Tüysüz F, Kahraman C. Modeling a flexible manufacturing cell using stochastic Petri nets with fuzzy parameters[J]. Expert Systems with Applications, 2010,37(5):3910-3920. doi: 10.1016/j.eswa.2009.11.026
[19]	郭真林, 桑楠, 江维, 等. 基于LabVIEW的嵌入式软件能耗测量方法[J]. 计算机工程, 2013,39(1):85-88.
	Guo Zhenlin, San Nan, Jiang Wei, et al. LabVIEW-based measurement method of energy consumption for embedded software[J]. Computer Engineering, 2013,39(1):85-88.

库所	含义	变迁	含义
P₀	A型板等待打孔	T₀	打孔A型板
P₁	冲床可用	T₁	折弯B型板
P₂	B型板等待折弯	T₂	折弯A型板
P₃	A型板等待折弯	T₃	码垛
P₄	PPEC-220T可用	T₄	B型板准备码垛
P₅	PPEB-20T可用	T₅	校准B型板
P₆	A型板等待码垛	T₆	检测B型板
P₇	码垛机器人可用	T₇	B型板检测合格
P₈	B型板等待码垛	T₈	B板检测不合格
IM_1-1	B型板合格	g₁₂	门变迁
IM_1-2	B型板不合格	g₂₃	门变迁
IM₂	B型板检测请求	g_31-1	门变迁
IM₃	B型板数据	g_31-2	门变迁
OM₁	B型板检测请求	-	-
OM₂	B型板数据	-	-
OM_3-1	B型板合格	-	-
OM_3-2	B型板不合格	-	-

变迁	能耗类别	平均能耗	模糊数	α截集表示
T₀	执行器	0.074	(0.049,0.074,0.099)	(0.049+0.025α,0.099-0.025α)
T₁	执行器	0.663	(0.576,0.663,0.750)	(0.576+0.087α,0.75-0.087α)
T₂	执行器	0.221	(0.192,0.221,0.250)	(0.192+0.029α,0.25-0.029α)
T₃	执行器	0.008	(0.007,0.008,0.009)	(0.007+0.001α,0.009-0.001α)
T₄	执行器	0.116	(0.098,0.116,0.134)	(0.098+0.018α,0.134-0.018α)
T₅	传感器	25.600	(23.800,25.600,27.400)	(23.800+1.800α,27.400-1.800α)
T₆	控制器	0.700	(0.690,0.700,0.710)	(0.690+0.010α,0.710-0.010α)
T₇	控制器	0.700	(0.690,0.700,0.710)	(0.690+0.010α,0.71-0.010α)