1) evolution theorem
演化定理
1.
Moreover,some evolution theorems and correlative certifications on evolution rule 90 and rule 184 are obtained with the help of the function forms of these rules.
进一步利用推导出的演化规则的函数形式,给出演化规则90和演化规则184的演化定理及相关定理的证明。
2) Deduction Theorem
演绎定理
1.
By means of theory of truth degrees of formulas,according to deduction theorems and completeness theorems,the new concepts of porlar index and consistency degrees for general theories in Lukasiewicz propositional fuzzy logic systems are introduced.
根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念。
2.
Having studied the formal deductive system L~* for fuzzy propositional calculus, and investigated the fuzzy deduction theorem of L~* system in detail.
对其中的演绎定理进行了详细讨论,得到了在一定条件下的L 系统中的演绎定理:设A,B∈F(S),若├(q→ p∨p)∨q→A,Γ F(S),则Γ├A→B当且仅当Γ∪{A}├B。
3) directive evolution
定向演化
5) evolution mechanism
演化机理
1.
Discussion on the synergetic evolution mechanism of surface ground subsidence caused by tunnel excavation;
隧道开挖引起地面沉陷的协同演化机理探讨
2.
Study on Evolution Mechanism & Integration Path of Industrial Chain of Coal
煤炭产业链演化机理与整合路径研究
3.
In order to find out the evolution mechanism,the paper analyzes the components of ice emergency derivation chain and how to break the chain.
因此研究冰灾危机事件衍生链的构成是有必要的,为了进一步研究冰灾危机事件导致衍生危机事件发生的衍生链演化机理,本文从冰灾危机事件衍生链的构成以及如何截断衍生链等方面进行分析。
6) evolvement mechanism
演化机理
1.
Demonstration analysis of emergencies evolvement mechanism in public spaces of China
我国公共场所突发事件演化机理实证分析
补充资料：函数逼近，正定理和逆定理
函数逼近，正定理和逆定理
approximation of functions, direct and inverse theorems
函数逼近，正定理和逆定理〔叩p川心m丽皿of加n比拙，山比Ct and inve瑰the.陀ms;.聊痴叫的日.此中加.欲浦、娜旧M“el.倾阵I‘eT印碑袖I」 描述被逼近函数的差分微分性质与各种方法产生的逼近误差量(及其特征)之间关系的定理和不等式.正定理借助于函数f的光滑性质(具有给定的各阶导数，f或其某些导数的连续模等)，给出f的逼近误差估计.利用多项式进行最佳逼近时，Jaekson型定理及其多种推广均是众所周知的正定理，见J以滋s佣不等式(J ackson inequality)和Ja改涨扣定理(Jackson theo-化m).逆定理则是根据最佳逼近或任何其他类型逼近的误差趋于零的速度来刻画函数的微分差分性质.5.N.Bernste几首次提出并在某些场合下解决了函数逼近中的逆定理问题，见[21，比较正逆定理，有时就可以利用，例如，最佳逼近序列来完全刻画具有某种光滑性质的函数类. 周期情形下正逆定理之间的关系最为明显.令C为整个实轴上周期为2二的连续函数空间，其范数定义为}}训:m。‘加川. 趁、 石(户7丁)，nf}{厂甲1}、 价任了。为至多。次的允多项J处J’‘“间l对矛中函数f的最不}遍近，。仃一川记二厂的连续模，产r(产一12一)是若;，，I率个实轴上·次连续。f微的函数集‘户，二矛);卜定理f山。‘c、，the(〕re，1”J片出如果.了。厂、则 M{_‘l 从“，，蕊奋一“甲’、万 月l、2、、厂幼，!_.少川1常数M，。。一。又.「JJ以构造矛。‘;矛中函数八，)相关的多项式序列织(_人t):不使得对产三乙，(l)的右端.叮作为误差卜厂一仁〔户一的}界，这是较(I)更强的结果.1兰定理(，n、。r、。the‘)rem)指日:对，。矛勿J果 可。，、M了岁E“，;;)，。、二 月二】(其，「，阿是绝对常数l}了司是l厂户的整数部分)日一对某个i「一整数r‘级数 艺。r一’E以讯一1) 月二1收敛.则可推得了‘〔’‘类似戈2)田(/、)，l/。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条