Based on the binary phase diagrams of Al-M(M=Sr, Nd), Miedema model and Toop model, the thermodynamic calculation model for predicting the precipitation behaviors of the Al-M intermetallic compounds in Mg-Al-M system was deduced.

Based on the Miedema model and the Toop model, the activities of Mg and Zn in the Mg-6Zn-1Mn alloy were calculated by a thermodynamic calculation model for predicting the precipitation behaviors of the intermetallic compounds in ternary metallic alloys.

Miedema model calculation of parameter φ~* for aluminum alloys with rare earth elements

Based on the Miedema model and Tanaka equation, a new method for calculating the parameters in the molecular interaction volume model (MIVM) has been developed to predict the activity coefficients of multicomponent liquid alloys, in which not experimental data but only some physical properties of elements are required.

The forming range of the amorphous Mg Ni alloy was calculated by the Miedema model and compared with the experimental results.

The formation enthalpies of medical Ti-based alloy are calculated by a modified Miedema model.

Based on the Miedema formation enthalpy model, the enthalpies of formation, excess entropies, excess free-energy and the activity among all components of Al-Er and Si-Er binary alloy were calculated.

Implementation of first order logic model generation;

The cycling and the connection of Petri netmodel are studied and algorithms for model solving and model generation are given.

In the paper, the model representation scheme based on Petri Nets is discussed, and the cycling and the connection of models expressed by Petri Nets are studied, and the algorithms for model solving and model generation are given.