说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 规约模式
1)  Specification Patterns
规约模式
1.
Properties Description and Verification of C Program Based on Specification Patterns;
基于规约模式的C程序性质描述与验证
2)  service-pattern specification
服务模式规约
1.
Component tailoring based on service-pattern specification;
基于服务模式规约的构件剪裁
3)  protocol template
规约模板
4)  scale restriction
规模约束
5)  contract size
合约规模
1.
Financial futures trading is sensitive to the contract size, as excessive small contracts are subject to relatively higher trading cost and excessive large contract usually block small contracts.
金融期货合约规模的大小会对市场交易造成影响。
6)  formal specifications
形式规约
1.
As an important part of pervasive computing environment, many RFID security protocols have been brought forward recently, which have no formal specifications and analyses.
首次利用形式规约语言Z对RFID安全协议HB进行形式规约,并对HB协议应该满足的安全性质进行形式化描述,使用Z模式推理从协议及其运行环境两个方面验证了协议的关键安全属性,发现了HB协议在设计方面的缺陷,提出了HB协议的一种改进方法。
补充资料:植物命名的模式和模式标本
    科或科级以下的分类群的名称,都是由命名模式来决定的。但更高等级(科级以上)分类群的名称,只有当其名称是基于属名的也是 由命名模式来决定的。种或种级以下的分类群的命名必须有模式标本根据。模式标本必须要永久保存,不能是活植物。模式标本有下列几种:
    (1)主模式标本(全模式标本、正模式标本)(holotype)是由命名人指定的模式标本,即著者发表新分类群时据以命名、描述和绘图的那一份标本。
    (2)等模式标本(同号模式标本、复模式标本)(isotype)系与主模式标本同为一采集者在同一地点与时间所采集的同号复份标本。
    (3)合模式标本(等值模式标本)(syntype)著者在发表一分类群时未曾指定主模式而引证了2个以上的标本或被著者指定为模式的标本,其数目在2个以上时,此等标本中的任何1份,均可称为合模式标本。
    (4)后选模式标本(选定模式标本)(lectotype)当发表新分类群时,著作未曾指定主模式标本或主模式已遗失或损坏时,是后来的作者根据原始资料,在等模式或依次从合模式、副模式、新模式和原产地模式标本中,选定1份作为命名模式的标本,即为后选模式标本。
    (5)副模式标本(同举模式标本)(paratype)对于某一分类群,著者在原描述中除主模式、等模式或合模式标本以外同时引证的标本,称为副模式标本。
    (6)新模式标本(neotype)当主模式、等模式、合模式、副模式标本均有错误、损坏或遗失时,根据原始资料从其他标本中重新选定出来充当命名模式的标本。
    (7)原产地模式标本(topotype)当不能获得某种植物的模式标本时,便从该植物的模式标本产地采到同种植物的标本,与原始资料核对,完全符合者以代替模式标本,称为原产地模式标本。

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条