说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 模型
1)  model [英]['mɔdl]  [美]['mɑdḷ]
模型
1.
Calculating model of torque and drag in extended-reach well;
大位移井摩阻扭矩计算模型
2.
Study on a temperature control model and its system of vacuum freeze dryer;
真空冷冻干燥机温度控制模型与系统的研究
3.
Mass transfer models for supercritical CO_2 extraction of volatile oils;
超临界CO_2萃取植物挥发油的传质模型
2)  Models [英]['mɔdl]  [美]['mɑdḷ]
模型
1.
Concurvity in generalized additive models in study of air pollution;
广义可加模型共曲线性及其在空气污染问题研究中的应用
2.
Effluent charges models on bilevel decision-making;
双级决策的排污收费模型
3.
Code Structure and Severe Accident-related Models of SCDAP/RELAP5 MOD3 Program;
SCDAP/RELAP5程序结构及严重事故有关的模型概述
3)  modeling [英]['mɔdliŋ]  [美]['mɑdḷɪŋ]
模型
1.
Modeling of Abrasive Water Jet Cutting Process Based on ANFIS;
基于ANFIS的磨料水射流切割模型
2.
Porous grout pressure modeling in mending shaft-lining ruptures;
井壁破坏注浆治理中的浆液孔隙压强模型
3.
Modeling transfer and partitioning of potentially toxic pollutants in soil crop system for human food security.;
土壤-作物污染物迁移分配与食物安全的评价模型及其应用
4)  mode [英][məʊd]  [美][mod]
模型
1.
A mode of artificial wetland for wastewater treatment in Guangchang County;
广昌县人工湿地污水处理模型
2.
Research on mode of rank of enterprise occupational injury risk;
企业职业伤害风险分级模型研究
3.
Study on decision-making modeling of water environmental protection and economic development;
水环境保护与经济发展决策模型的研究
5)  pattern [英]['pætn]  [美]['pætɚn]
模型
1.
The Classification Pattern of DNA Sequence;
DNA序列分类数学模型
2.
Study on Innovation Pattern of Agricultural Science and Technology;
农业科技创新的双规三力互动模型
3.
Meta-evaluation of Higher Educational Evaluation and Its Quantiative Analysis pattern;
高等教育评价的元评价及其量化分析模型
6)  mold [英][məuld]  [美][mold]
模型
1.
The more accurate mold different from others is built up for finite element calculation of dryers ,which simulates the contact status of shell and cover flange well.
建立了不同于其他有限元计算模型的更精确的烘缸计算模型
2.
This paper makes analysis of the current primary single sign-on mold, and then designs a new SSO mold for information service system.
通过分析与总结当前单点登录系统的3种主要模型优缺点,结合基于代理SSO与基于经纪人SSO优点,并针对目前信息服务系统的实际需求特点,设计了BA-based SSO模型,有效地达到更简洁更安全应用于信息服务系统目的。
3.
Meanwhile,it puts forward a mold of education administration information system(EAIS)and its gradation of structure that can be processed by computers in terms of system theory.
本文用系统论与信息论相融合、管理学与工程学相交叉 ,理论与实践相结合的方法 ,论述在信息化时代 ,研究与开发高等学校教学管理信息系统的必要性及重要意义 ;从系统论、信息论角度 ,提出教学管理信息系统的信息模型及其层次结构体系并给出其计算机化模型
补充资料:模型
模型
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的模型。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条