![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Modular Monadic Slicing in the Presence of Pointers
Program slicing is a family of program decomposition techniques. For traditional slicing methods lack modularity and flexibility, we have proposed a new formal method for program slicing—modular monadic slicin...
-
Chapter and Conference Paper
Droop Control of Microgrid Based on Genetic Optimization Algorithm
The microgrid is composed of multiple distributed power generation units and can be managed in combination with multiple energy sources. In the island mode, a reasonable allocation of power is required between...
-
Chapter and Conference Paper
Research on ECG Classification Method Based on Convolutional Neural Network
The electrocardiogram reflects the temporal changes in the body’s cardiac potential; This is also an imp...