Furthermore, the improvement of verification performance is also investigated by following the two ideas of grid service flow decomposition and process bug patterns respectively.

进一步，本文还从服务流验证分解和错误过程模式的两种思路，研究了对网格服务流形式化验证的性能改进。

youdao

To be able to offer frequency regulation service to the grid, cars need a bidirectional power system, so energy can flow both from the grid and to the grid, and software to allow the car to communicate with the grid.

FORBES: The Cash-Back Car: Monetizing Electric Vehicles