说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 法模型
1)  A Value Method Model
A值法模型
1.
The A Value Method Model and Multi-Source Model of atmospheric environment quality prediction.
本研究根据临汾市自然环境、污染气象特征、大气环境质量现状、区域污染源分布等现有信息,建立了用于大气环境质量预测的A值法模型与多源模型,结合大气环境质量标准计算了临汾市的大气环境容量。
2)  trace method model
迹法模型
1.
This paper presents the origin, expression and principle of six traditional hysteretic nonlinear models, which are dry friction model, bilinear model, Davidenkov model, Bouc-Wen model, trace method model and Bingham model, and analyzes their advantages, disadvantages and applications.
详细介绍了六种典型的滞后非线性模型,包括:干摩擦理想模型、双线性模型、Davidenkov模型、BoucWen模型、迹法模型及Bingham模型。
3)  model element method
模型元法
1.
Deforming force distribution diagram's foundation based on model element method (MEM);
用模型元法建立变形力分布曲线
4)  model cluster method
模型簇法
1.
The density functional theory and the model cluster methods have been employed to investigate the interactions between Cu+ and ZSM-5 zeolite.
首次采用密度泛函理论方法,并结合模型簇法研究了Cu+和ZSM-5沸石的相互作用。
5)  modeling [英]['mɔdliŋ]  [美]['mɑdḷɪŋ]
模型法
1.
This paper deals with oscillation of synchronous machine by modeling, explores the new scientific teaching methods, and heightens normal students ability of creation.
本文运用模型法对电机振荡问题进行研究,探求新的科学教学方法,努力提高师范生的开拓创新能力,在这方面我们作一些尝试,并取得初步满意的效果。
6)  Modeling method
模型方法
补充资料:Boole值模型


Boole值模型
Boolean-valued model

  B.目e值模型〔致dean一初ued mdel;6yJ砚加3I.a叨翻M。口e月‘] 此模型定义如下:设Q具有单种变元的某个一阶语言的表征,即Q为函数与谓词的符号集.Boole值模型为一三元组M=(B,,踢,O衬,这里B。为非退化肠双e代数(Boolean al罗bra),V、为非空集并且O,为定义在Q上的函数,使得若p为n元函数符号,则 。。(p)。。众若p为n元谓词符号,则 。、(p)二刀冷.符号 Xy表示定义在Y上而取值于X的所有函数的集合,x”=x{‘:’‘”},这里n)o为自然数.Boole代数BM称为模型M的真假值集(set of truth vaines).集合V,称为M的全域(u niverse) .Boole值模型M也称为B模型,若真值集为Boole代数B即BM=B.若Boole代数B为二元代数(即B={o,l}),则此B模型M就是经典两值模型. 令L,为在语言L上添加新个体常元而得:对每个妊呱在L,中具有相应的个体常元v.设M为一B模型且丑=(B;o,l,e,日,自)为完全Boole代数;以下的等式1)一8)定义z、的每个闭表达式e(即_无自由变元的公式或项)的停(v alue)}一川{、· 1)!{v{·、·。这里v任V。- 2)、一p(:,.几),一。,=(0、(P川长,{一、,二,{t。引衬,这甲:l,一,:。为闭项且p为。元函数或谓词符号; 3){{价〕沙,、二一}{训}、口{}妇,。; 4)一中V班}一、=一}甲}{、日,沙娜 5)1势八价{、一川价{IM自川价}币 6)1一}砂、二一毋},、,; 7)·‘日心,(‘乏){{、二(_少:。;,}{切(v)l一、; 8)一丫心甲(衬}。=自。。,、{{价(v)l M. 关系式l)一哟对于某些非完全Boole代数亦可定义值一}?}一娜仅需要7)和8)中的无穷并和无穷交存在.Boole值模型的概念亦可对具多种类型变元的语言弓{人.在这样的情形下每种变元具有自己的变域Fo. 称闭公式甲在B模型中为真的‘true)(M卜初是指{}价州矿二互称B模型M为理论T的模型,是指对于T的所有公理价皆有M卜甲.若h为从Boo卜代数B到Boole代数B’的同态且保持无穷并和无穷交,则存在了模型M‘使对每个LM闭公式毋,!一甲{},二h(川毋:动成立.若模型M的域是可数的,则存在映射到Boole代数{O,1冲的同态h,在其下M被转化成经典两值模型M‘使M卜,一M’片甲.己经证明理论T相容,当且仅当T具有Boolc值模型.这个定理成为Boole值模型理论应用于公理理论相容性的基础. 若理论T的Boole值模型是借助于另一公理理论S而构作的,则可得到T相对于N的相容性.于是P.Cohen的理沦Z卜以2卜>杖,)相对于ZF的相容性的结果由借助于ZF构作Boole值模型而得到(见力迫法(fo川ng meth司)).Cohen力迫关系p{{一甲的构作等价三尹满足 }1叫}、二伊:川卜一叫的Boole值模型的构作
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条