说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> A值法模型
1)  A Value Method Model
A值法模型
1.
The A Value Method Model and Multi-Source Model of atmospheric environment quality prediction.
本研究根据临汾市自然环境、污染气象特征、大气环境质量现状、区域污染源分布等现有信息,建立了用于大气环境质量预测的A值法模型与多源模型,结合大气环境质量标准计算了临汾市的大气环境容量。
2)  Shapley Value Model
Shapley值法模型
1.
At last, on basis of formal Shapley Value Model, we, combining mathematical model and game theory, raise the profit distribution method on basis of risk difference and advanced optimal coefficient distribution method.
最后,结合数学模型和博弈论等相关理论,在原有Shapley值法模型的基础上,提出了基于风险差异界定的分配方法,最优系数分配方法并对其进行了改进,并结合算例,说明了动态联盟如何运用分配方法实施利益的分配,证明了方法的实用性和科学性。
3)  Equivalence rigidity method model
等值刚度法模型
4)  section points model method
区位分值模型法
5)  Quadratic Interpolation Model Method
二次插值模型法
6)  numerical-method mathematic model
数值法数学模型
补充资料: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值模型的构作
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条