1) compositional model checking
组合模型检验
2) multimodel experiment
模型组合实验
1.
A study on the change of efficiency in water flood reservoirs by using multimodel experiment;
用模型组合实验研究注水油层驱油效率的变化
2.
A new parameter-the minimum perm eability of water drawing layer, Kwmin of multilayerinje cted interval was measured by multimodel experiment and the relations among Kwmin and maximum permeability of multilayerinjected interva l and water flooding pressure gradient were determined by which the K wmin.
利用不同微观模型之间的物性差异及其直观性的特点，设计了微观模型组合实验，模拟油层注水，以研究储层非均质对油水运动的影响。
4) model checking
模型检验
1.
Application of model checking technology to automatically vulnerabilities finding in software;
模型检验技术在软件漏洞自动挖掘中的应用
2.
Using model checking to generate test cases for class testing;
一种基于模型检验的类测试用例生成方法
3.
Method of model checking based on linear weighted generalized list;
基于线性带权值的广义表的模型检验方法
6) model validation
模型检验
1.
Model validation is an important method to ensure its credibility.
模型检验是保证模型可信度的重要手段,根据模型输出的不同,应选用不同的检验方法。
2.
In this paper,we investigate a model validation problem when there is bounded but uncertain additive modelling error in the plant nominal model and the plant nominal model is with intended application as robust controller design.
本文研究了在控制对象的模型具有不确定的建模误差时的模型检验问题。
补充资料：组合流动模型
分子式：
CAS号：
性质：对实际的反应器中的流体，按实际情况把存在的各种流动状况用于不同的空间位置上，所组成的一个比较符合实际的流动模型。流体流动的状况可能是由多种流型混合构成的，包括有平推流、全混流、死区、短路、循环流、甚至还包括有逆流、错流等。组合流动模型的流动组合，可据实测得的停留时间分布曲线作为依据。
CAS号：
性质：对实际的反应器中的流体，按实际情况把存在的各种流动状况用于不同的空间位置上，所组成的一个比较符合实际的流动模型。流体流动的状况可能是由多种流型混合构成的，包括有平推流、全混流、死区、短路、循环流、甚至还包括有逆流、错流等。组合流动模型的流动组合，可据实测得的停留时间分布曲线作为依据。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条