说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 模型,模型机
1)  mock-up [英]['mɔkʌp]  [美]['mɑk,ʌp]
模型,模型机
2)  mechanism model
机理模型
1.
Application of catalytic reforming mechanism model in production planning;
重整机理模型在生产计划中的应用研究
2.
Study on parameter optimization using genetic algorithm for mechanism model of thermal equipment;
基于遗传算法的热力设备机理模型参数优化方法研究
3.
Dynamic characteristics analysis of proton exchange membrane fuel cell based on mechanism model
基于机理模型的质子交换膜燃料电池动态特性分析
3)  Probabilistic model
随机模型
1.
part of variables ,obtains the stochastic chart , then carries on the analysis, the solution to the chart,obtains the information transmission the average through- put probabilistic model, obtains summation distribution extracts the average through - put.
本文给出信息传递领域中的信息传递图,并对其部分变量进行随机化,得到随机图,进而对图进行分 析、求解得到信息传递中的平均通过量随机模型,得出和分布并求出平均通过量。
4)  random model
随机模型
1.
Equivalence of the two quadratic unbiased estimation methods for random model;
随机模型两种二次无偏估计方法的等价性
2.
Comparison and analysis of random model of single tree biomass adjustment.;
单木生物量平差随机模型的比较与分析
3.
A random model for changing cutting tools in an automatic lathe is established, which provides scientific basis for the automatic lathe management, and therefore the working efficiency is highly improved.
讨论了自动化车床连续加工零件中工序定期检查和刀具更换的最优策略问题 ;建立了自动化车床中更换刀具的随机模型 ,为自动化车床的管理提供了科学依据 ,使损失达到最小、劳动效益达到最
5)  mechanistic model
机理模型
1.
A cross-section direction two-dimensional mechanistic model of the Siemens-Westinghouse Power Corporation’s (SWPCs) cathode-supported tubular solid oxide fuel cell(SOFC) was developed.
针对Siemens-Westinghouse公司阴极支撑型(AES)管式固体氧化物燃料电池,耦合电极内部离子传导、电子传导、气体扩散、热量传递及电化学反应过程,建立了全面考虑活化极化、欧姆极化与浓差极化损失的管式SOFC横截面方向二维微观机理模型。
2.
Using the experimental data of flow boiling heat transfer in narrow annular channels as the initial conditions, the fourth-order Runge-Kutta method was used to calculate void fraction mechanistic model of subcooled boiling.
以环形狭缝通道中流动沸腾传热的实验数据为初始条件,运用四阶龙格-库塔法对过冷沸腾空泡率的机理模型进行了数值求解,并对计算结果进行了分析。
6)  model of mill
机型模式
补充资料:模型
模型
model

   能给出逻辑公式取值的一种泛代数结构。一个泛代数是指一个具有若干运算、关系及特指元素的非空集合。一个模型A由4个部分组成:一个非空个体集合AA也叫论域;论域A上的关系;A上的函数;A中指定的个体常元。如果L是一阶语言,L中的关系,函数和常量符号在模型A中都有相应的关系,函数和常量分别作他们的解释,就称A是L的模型,指定A中一些元素作L的变元符号 v0v1 的解释,称为一个指派式赋值。在一定的指派下,L中每个项就都有了A中指定的元素作解释。给定一个指派,L中的原子公式(见一阶公式)t1t2在模型A中取值为真当且仅当t1t2在A中的解释相同 ;原子公式R(t1,…tn)在A中取值为真当且仅当(t1…tn)在A中的解释满足R在A中的解释。L的公式!!!M1212_1在模型A中的取值可以归纳地定义:!!!M1212_2是原子公式已定义;如果!!!M1212_3!!!M1212_4ψ,则 !!!M1212_5取值真当且仅当ψ取值假;如果!!!M1212_6ψ1!!!M1212_7ψ2,则!!!M1212_8取值真当且仅当ψ1取值假,ψ2取值真。如果!!!M1212_9"xψ,则 !!!M1212_10取值真当且仅当用论域A中任意一个元素解释变元x时,ψ取值真。这就是一阶逻辑的基本语义定义。由这个定义,只要对 !!!M1212_11中的自由变元给出A中一定的元素作解释,!!!M1212_12的取值就唯一确定。如果!!!M1212_13是没有自由变元(见一阶公式)的句子 ,!!!M1212_14在一个模型中就有唯一确定的真假值。句子!!!M1212_15在模型A中取值为真 ,就称A是句子!!!M1212_16的模型。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条