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

doi:10.16180/j.cnki.issn1007-7820.2021.07.004

Abstract

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

CLC Number:

TP311

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.

Figures/Tables 9

Figure 1.

Figure 2.

Figure 3.

Figure 4.

Table 1.

Table 2.

Figure 5.

Figure 6.

Figure 7.

References 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α)

Energy Consumption Model of Cyber-Physical System Based on Object-Oriented Fuzzy Petri Net

RichHTML

PDF (PC)

Like

Knowledge

Abstract

Cite this article

share this article

Figures/Tables 9

References 19

Related Articles 15

Metrics

Comments

Recommended 10

[1]	ZHOU Jia,WANG Ran. Weighted Maximum Network Lifetime Algorithm in Target Coverage [J]. Electronic Science and Technology, 2021, 34(7): 37-42.
[2]	ZHANG Jiapeng,LI Lin,ZHU Ye. A Review of Research on Decision-Making Method of Autonomous Vehicle Based on Reinforcement Learning [J]. Electronic Science and Technology, 2021, 34(5): 66-71.
[3]	GUO Jie,JIN Hai,SHEN Xinge. Optimization Control of Quadrotor UAVs Based on Neural Network PID Algorithm [J]. Electronic Science and Technology, 2021, 34(10): 51-55.
[4]	CHEN Yu,CHEN Long. Isogeometric Analysis of Complex Planar Porous Model [J]. Electronic Science and Technology, 2020, 33(5): 38-44.
[5]	ZHAO Yihe,SHAO Jie,CHENG Yongliang. Behavior Modeling of Class-D Power Amplifier Based on Encoder-Decoder Model [J]. Electronic Science and Technology, 2020, 33(2): 20-24.
[6]	LIU Shuai,QIN Shanshan,GUO Jinxiang. Research on Collision Risk Based NUCp of ADS-B [J]. Electronic Science and Technology, 2019, 32(9): 72-75.
[7]	WANG Yuesheng,LI Wei. Design of Voice Coil Motor Position Control System Based on PID Algorithm [J]. Electronic Science and Technology, 2019, 32(7): 76-81.
[8]	MAO Chenyue,WU Pengyong. UAV Path Planning Obstacle Avoidance Algorithm Based on Artificial Potential Field Method [J]. Electronic Science and Technology, 2019, 32(7): 65-70.
[9]	WANG Guixin,ZHENG Qi. Study on Output Characteristics of Topologies of Photovoltaic Arrays under Local Shadows [J]. Electronic Science and Technology, 2019, 32(5): 75-80.
[10]	YANG Siqi,CHEN Wei,ZHANG Qingqing,XIE Ye. Fault Diagnosis Method of Transmission Network Based on Rule Reasoning [J]. Electronic Science and Technology, 2019, 32(3): 42-46.
[11]	HAO Jiajun,WANG Yagang,MA Jiangtao. Master-slave Control System Simulation of Surgical Robot Based on LabVIEW [J]. Electronic Science and Technology, 2019, 32(2): 14-19.
[12]	YANG Biao,LIU Xiang,TANG Xian,CHEN Junting. AGV Multi-target Tracking Under Smart Factory [J]. Electronic Science and Technology, 2019, 32(11): 23-27.
[13]	CHEN Yongzhi，MAI Yunfei. Modeling and Simulation of Hydraulic Position Servo System for Steering Test Bench [J]. , 2017, 30(9): 146-.
[14]	WANG Shanshan. Research of Neural Network Model Based on Swarm Intelligence Algorithm [J]. , 2017, 30(4): 56-.
[15]	YANG Zhenyu. The Technology Research of Double Closed-loop Control System for Permanent Magnet BLDCM [J]. , 2017, 30(4): 170-.