1) canonical form
典范型
1.
By Belitskiis algorithm for reducing a matrix to a canonical form (the generalization of a Jordan normal form), some indecomposable canonical forms in a wild category with the smaller dimension vectors are obtained.
矩阵的典范型是矩阵若当标准型的推广形式 ,Belitskii算法是约化矩阵为典范型的有效方法 。
2) typical models
典型范式
3) typical specification
典型规范
1.
The problems and idea of meeting in process of typical specification research for capacitor installation were given,such as canceling outside fuse and assemble type capacitor,expansion of assemble type,reactance rate,selection of protection mode.
概括介绍了电容器装置生产、运行现状,给出了电容器装置典型规范研究过程中遇到的问题(取消外熔断器、集合式电容器的问题,集合式类型的扩展问题,电抗率的问题,保护方式的选择问题等)及指导思想。
2.
It is pointed out the problems of special notice in type selecting according to HV switchgear typical specification.
概括介绍了高压开关设备的生产和运行情况,指出了根据高压开关设备典型规范进行设备选型时须特别注意的问题,对生产厂家如何适应该典型规范要求给出了建议。
3.
Combined with typical specification,the equipment type selecting of the transformer/HV shunt reactor and implementing typical specification for manufacturers were elaborated.
文章对变压器/高压并联电抗器的主要厂商制造情况、各电压等级的变压器/高压并联电抗器的设备特点及运行情况做了介绍,结合通用设备典型规范对变压器/高压并联电抗器的设备选型以及设备厂家应如何应对该典型规范作了阐述。
5) canonical model
典范模型
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的框架类完全性。
6) prototype
[英]['prəʊtətaɪp] [美]['protə'taɪp]
典型范畴
1.
A conclusion is diawn under the prototype theory that subject and argument are members of the same category.
主张用类典型范畴的理论来定义话题和主语的关系:两者属于同一范畴。
2.
Synonymy: From the Perspective of Prototype Theory;
本文讨论了英语同义词同义关系的常见分类和Cruse的论述 ,并借鉴典型理论 ,认为 :同义关系也是一种典型范畴。
补充资料：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一
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条