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.
然后在此基础上对接口自动机理论进行了完善，并研究了该理论在软件体系结构的组合分析与验证中的应用。
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.
同时，对油气体系相平衡理论和物性参数计算进行研究，为组分模型的运用奠定了坚实的理论基础。
The theory about performance prediction for gas reservoirs by numerical simulation is introduced, and the mathematical model of the compositional simulation is studied deeply;
引入数值模拟法预测气藏动态的基本思想，深入研究了组分数模模型；
The theory about performance prediction for gas reservoirs by numerical simulation is introduced, and the mathematical model of the compositional simulation is studied deeply;
引入数值模拟法预测气藏动态的基本思想，深入研究了组分数模模型；
应用推荐