Secondly, some correction and enhancement are made to the theory of interface automata, and then the revised theory is applied to the compositional analysis and verification of software architectures.
然后在此基础上对接口自动机理论进行了完善，并研究了该理论在软件体系结构的组合分析与验证中的应用。
2
At the same time, the phase equilibrium theory and the physical properties parameters calculation have been studied, which lays a good theoretical foundation for the use of compositional model.
同时，对油气体系相平衡理论和物性参数计算进行研究，为组分模型的运用奠定了坚实的理论基础。
3
The theory about performance prediction for gas reservoirs by numerical simulation is introduced, and the mathematical model of the compositional simulation is studied deeply;