1) property patterns
特性模式
1.
The common property patterns of LTL formulas was abstracted in two dimensions,which one was according to the properties depicted by the developers,for example,liveness and safeness,and the other was according to the sco.
通过对共同问题,找到共同的描述方法得到线性时态逻辑的特性模式。
2.
This paper introduces the syntax and semantics of Computation Tree Logic(CTL), presents property patterns of CTL based on the partition and scope of CTL, which includes absence model, absence model, university model, precedence model, response model, and so on.
介绍计算树逻辑的语法及语义,根据计算树逻辑中特性模式的划分及作用范围给出计算树逻辑常见的特性模式,包括缺失性模式、存在性模式、普遍性模式、优先性模式和跟随性模式等。
2) mode characteristics
模式特性
1.
Investigation on mode characteristics of two-segment DFB lasers;
两段式DFB半导体激光器模式特性研究
3) mode characteristic
模式特性
1.
The mode characteristics and dispersion characteristics of PCF with arbitrary transversal structures can be obtained by the FDTD technique.
采用时域有限差分法对光子晶体光纤导模的传输特性进行数值分析,通过该方法可得到任意横向结构光子晶体光纤的模式特性和色散特性。
4) modal cut-off
模式截止特性
1.
The modal cut-off property of this novel fiber was evaluated by simulating the effective index neff of the fundamental mode in the core and the effective index ncld of the fundamental space-filling mode in the PCF with layered microstructures.
通过数值模拟纤芯基模的有效折射率neff和包层空间填充基模有效折射率ncld,获得这种微结构光纤的模式截止特性。
5) working-feature mode
工作特性模式
6) radiation pattern
辐射模式;辐射特性图
补充资料：植物命名的模式和模式标本
科或科级以下的分类群的名称，都是由命名模式来决定的。但更高等级（科级以上）分类群的名称，只有当其名称是基于属名的也是 由命名模式来决定的。种或种级以下的分类群的命名必须有模式标本根据。模式标本必须要永久保存，不能是活植物。模式标本有下列几种：
（1）主模式标本（全模式标本、正模式标本）（holotype）是由命名人指定的模式标本，即著者发表新分类群时据以命名、描述和绘图的那一份标本。
（2）等模式标本（同号模式标本、复模式标本）（isotype）系与主模式标本同为一采集者在同一地点与时间所采集的同号复份标本。
（3）合模式标本（等值模式标本）（syntype）著者在发表一分类群时未曾指定主模式而引证了2个以上的标本或被著者指定为模式的标本，其数目在2个以上时，此等标本中的任何1份，均可称为合模式标本。
（4）后选模式标本（选定模式标本）（lectotype）当发表新分类群时，著作未曾指定主模式标本或主模式已遗失或损坏时，是后来的作者根据原始资料，在等模式或依次从合模式、副模式、新模式和原产地模式标本中，选定1份作为命名模式的标本，即为后选模式标本。
（5）副模式标本（同举模式标本）（paratype）对于某一分类群，著者在原描述中除主模式、等模式或合模式标本以外同时引证的标本，称为副模式标本。
（6）新模式标本（neotype）当主模式、等模式、合模式、副模式标本均有错误、损坏或遗失时，根据原始资料从其他标本中重新选定出来充当命名模式的标本。
（7）原产地模式标本（topotype）当不能获得某种植物的模式标本时，便从该植物的模式标本产地采到同种植物的标本，与原始资料核对，完全符合者以代替模式标本，称为原产地模式标本。
（1）主模式标本（全模式标本、正模式标本）（holotype）是由命名人指定的模式标本，即著者发表新分类群时据以命名、描述和绘图的那一份标本。
（2）等模式标本（同号模式标本、复模式标本）（isotype）系与主模式标本同为一采集者在同一地点与时间所采集的同号复份标本。
（3）合模式标本（等值模式标本）（syntype）著者在发表一分类群时未曾指定主模式而引证了2个以上的标本或被著者指定为模式的标本，其数目在2个以上时，此等标本中的任何1份，均可称为合模式标本。
（4）后选模式标本（选定模式标本）（lectotype）当发表新分类群时，著作未曾指定主模式标本或主模式已遗失或损坏时，是后来的作者根据原始资料，在等模式或依次从合模式、副模式、新模式和原产地模式标本中，选定1份作为命名模式的标本，即为后选模式标本。
（5）副模式标本（同举模式标本）（paratype）对于某一分类群，著者在原描述中除主模式、等模式或合模式标本以外同时引证的标本，称为副模式标本。
（6）新模式标本（neotype）当主模式、等模式、合模式、副模式标本均有错误、损坏或遗失时，根据原始资料从其他标本中重新选定出来充当命名模式的标本。
（7）原产地模式标本（topotype）当不能获得某种植物的模式标本时，便从该植物的模式标本产地采到同种植物的标本，与原始资料核对，完全符合者以代替模式标本，称为原产地模式标本。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条