5G智能电网运用5G机器人巡检

2020年10月23日,在国务院新闻办公室举行的"十三 五"工业通信业发展成就新闻发布会上,工信部副部长王志军透露,我国互联网普及率提前超额完成规划目标,5G商用也驶入快车道.目前,已累计开通5G基站69万个,连接用户数超过1.6亿. 商用近一年,"5G+千行百业"的应用正在快速落地.近日,跟随中国移动组织的"5G+出...     

5G智能电网运用5G机器人巡检

2020年10月23日,在国务院新闻办公室举行的"十三 五"工业通信业发展成就新闻发布会上,工信部副部长王志军透露,我国互联网普及率提前超额完成规划目标,5G商用也驶入快车道.目前,已累计开通5G基站69万个,连接用户数超过1.6亿. 商用近一年,"5G+千行百业"的应用正在快速落地.近日,跟随中国移动组织的"5G+出新动能"媒体行活动来到广州市南沙区,实地探访"5G+智能电网"的应用.     

基于UML建模的计算机联锁进路模块Petri网验证

对于铁路车站计算机联锁软件中的重要部分之一的进路模块，使用UML对其进行建模。针对UML没有精确语义、缺少模型分析和验证手段不足的缺点，利用具有严格理论分析方法的Petri网对模型进行形式化验证，保证模型的精确性和安全性。