1)canonical frame典范框架
1.In this paper,we proved the completeness of system M with respect to the class of Γcanonical frames,on which Γ-canonical models are built.对通常的典范模型方法加以改造,在典范结构的基础上,可建立相对于任意给定有穷公式集Γ的Γ-典范框架和Γ-典范模型,以证明M的框架类完全性。
2)Γ-canonical frameΓ-典范框架
3)typification framework典型框架
英文短句/例句
1.Effect of Fortification Level on Civil Engineering Construction Cost of Typical Framework设防水准对典型框架结构土建工程造价的影响
2.Effect of Protect Standard on Typical Framework Cost地震设防水准对典型框架土建成本的影响
3.R-μ Principle in Seismic Design and Overstrength Character Analysis of Typical Reinforced Concrete Frame Structures;抗震设计的R-μ基本准则及钢筋混凝土典型框架结构超强特征分析
4.Typical framed structures are beams, grids, plane and space frames or trusses.典型构架结构为梁、格栅、平面的和空间的框架或桁架。
5.Research on Computer Simulation of Typical Seismic Damage to Steel Frame Structures;钢框架结构典型震害的计算机模拟研究
6.Towards a "Frame"-Based Treatment of Examples in CELD for Chinese EFL Learners;基于框架的内向型汉英学习词典例证的构建
7.Study on Energy Policy of Typical Countries under the Framework of Global Energy Consumption;全球能源消费框架下的典型国家能源政策研究
8.A Prototypical Contrastive Study of English and Chinese Passive Constructions类典型理论框架下的英汉被动结构对比研究
9.Analysis of the damage mechanism of a typical RC frame in Wenchuan Earthquake汶川地震中典型RC框架结构的震害仿真与分析
10.Framework and prototype for B/S based 3D visualization of a mine and hazard system基于B/S模式的矿井及典型灾害仿真系统框架与原型
11.The practical application of the present method is further stated by a nonlinear full-range analysis for typical steel framed example.通过一个典型钢框架的非线性全过程分析,说明了该法的实际应用。
12.Impacts of Capital Regulation on Credit Expansion and Economic Growth:Analytic Framework and Case Study;资本约束对信贷扩张及经济增长的影响:分析框架和典型案例
13.From Media Reality to Audience s Reality:Seen from Frame Theory Domestic Media s SARS Report;从媒介现实到受众现实——从框架理论看国内媒体“非典型肺炎”报道
14.Interaction Performance Between Frames and Stairs of Typical Teaching Building in "5·12"Wenchuan Earthquake Disaster Area“5·12”汶川地震灾区典型教学楼框架与楼梯共同工作性能
15.Damage Features of R.C Frame Structures in Wenchuan Earthquake汶川地震重灾区典型钢筋混凝土框架结构震害现象
16.Contrast Between English and Chinese Typological Caused-motion Construction within Monotonic Construction Grammar Approach单层构式语法框架下英汉典型致使移动构式的认知对比分析
17.The Development of the New Classical Economics and Its Framework新兴古典经济学理论的发展及其框架
18.Pushover analysis of steel reinforced concrete frame型钢混凝土框架pushover分析
相关短句/例句
Γ-canonical frameΓ-典范框架
3)typification framework典型框架
4)Canonical Frames规范框架
5)Framework and specification框架与规范
6)neo-classical theory paradigm新古典理论框架
延伸阅读
Post典范系统Post典范系统Post canonical system ，ec~c“eTeMa]，Post演算(Post ealculus) 字的可数集的一种定义方法(见可枚举集(e口山n-erable set)).Post典范系统概念是E .Post于1943年引进的，是适用于定义任意可枚举集和不依附于生成对象的逻辑结构及其语义或推导法则(deriv如onn日e)的演算(cal以如s)的第一个一般概念.一个Post典范系统由一个四元组A，尸，了，二给出;其中A是演算的字母表，P(与A无公共元素)是变元字母表，了是由A中的字构成的表(演算公理)，而7T是形如 G!.，p;、，“·GI、。p，、。G】，。十. (*) G用，，P用、一G。。二夕，、。，G，、。，、- G、P、…G。P，G。十、的推导法则的表(G‘，j是A中指定的字;p。是尸中指定的字母).一个字Q可由字Q:，一，Q.利用法则(*)得到，如果对于(*)中尸的任何字母都能在A中找到相应的字(称为该字母的值)，当把它代入(，)中所有的变元之后，则(。)中线上边的字变为Q;，…，Q。，而线下边的字变为Q.根据对推导法则的如此理解，在P叱t典范系统中定义推演.在演算理论中，A中可枚举字的集合(cn切rnera比setof场叼川)采用下面与通常定义等价的定义:M称为可枚举的(enu几rrable)，如果它与某一Post典范系统中导出的A中的字的集合相同，这个P渭t典范系统的字母表应包含A(用至少增加一个字母亡来扩充A的必要性是不可避免的，然而可以要求，除M之外只有形如亡Q的字可以导出，其中Q是A中的字). 可以考虑PO6t典范系统概念的各种特殊形态:l)R招t正规系统(R粥t norlllal system)(所有法则形女口 GP、_ PG‘/’ 2)局部演算(local calc吐)(法则形如 夕，G尸2〕_ 17:G‘尸2」’ 3)约束演算(restricted calc吐)(一个字母的字母表，法则具有一个前提);等. 上面提到的几种特殊形态是假定有一个公理，以及一个任意的Post典范系统可以导出它们中的任意一个(Post典范系统和Post正规系统(Post蒯功目sys-tem)之间的等价是Post证明的，对寻找不可解系统有重要意义). 参考文献见演算(calculus). C.劝，Mac月OB撰[补注]正则典范系统(regular eano皿al system)的出现是特别重要的.在一个正则典范系统中每一个推导法则形如“Gp产生G’p”，其中G和G‘皆是演算的字母表上的字，p是一个变元.更详细的内容在【All中可以找到.巧st典范系统【l、活tc翻以血目哪tem;noeTa Ra.o一
