Go is a relatively new programming language and has become one of the most important programming languages used widely in blockchain. A formal semantics plays an important role in program synthesis, analysis and verification. The existed formal semantics of Go are not executable and do not cover the core features, hence, this paper presents an executable formal semantics for Go, called K-Go, using rewriting logic in 𝕂 framework to make sure the semantics is both executable and applicable. K-Go includes syntax, configuration and rules and covers the declaration and definition of basic types, basic expression, concurrency, main statement data reading and writing based on channel. K-Go is validated by test set with 100% semantic coverage based on the official test suite. The evaluation experiment shows that K-Go is correct. Using formal semantics of Go language, building Go program synthesis, analysis and verification tools is easy for analyzing more characteristics of Go programs.

For the heat loss of frequency converter in 50KW class medium-frequency electron magnetic induction steam generator system, this study explored a new solution for inverter cooling and waste heat recovery, which solved the problem of coolant temperature rise while replacing the cooling water, meanwhile recovered part of the waste heat for re-production. The heat dissipation of the power device is simulated to analyze the rationality of the heat dissipation system structure, and the thermal resistance equivalent circuit is established to realize the accurate calculation of the temperature at each point in the system. Experimental research under different environmental temperatures, power, and total cooling water conditions has been done to test and verify its function, the findings show that the designed heat dissipation system for the medium frequency induction heating power supply device works well, which makes the temperature of all pivotal devices converge to normal operating temperature range and increases the energy efficiency of the system by about 4%. The proposed cooling scheme is suitable for promotion in heating projects with high power equipment.