(Mobile Agent technology includes three aspects: migration mechanism, communication equipment and security system. The migration mechanism provides the basic support for Agent to move and perform on the network, and is also the basic core technology of mobile Agent Based on the study of the internal relations of the agent migration mechanism, this document proposes an optimization design scheme for strong migration of agents based on type reasoning. This document includes the following annexes:)