说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 基于事务的验证
1)  Transaction-based verification
基于事务的验证
2)  transaction based formal verification(TBFV)
基于事务的形式验证
3)  transaction-based verification methodology
基于事务的验证方法
4)  Transaction Based Assertion Verification
基于事务断言验证
1.
Transaction Based Assertion Verification and Verification Platform of SDH Chip;
基于事务断言验证及SDH芯片验证平台
5)  SCVP
基于服务器的证书验证协议
1.
Server-based certificate validation protocol(SCVP) is introduced,then its character and limitation are analyzed.
对基于服务器的证书验证协议(SCVP)作了简要介绍,分析了协议的优缺点。
6)  assertion-based verification
基于断言的验证
1.
Assertion-based verification (ABV) with property specification language helps to formally characterize the behavior of the design.
基于断言的验证使用性质描述语言对系统的功能进行描述,并把这些描述写成相应的断言,通过验证工具检查断言是否成功,从而判断设计是否满足系统的功能要求。
补充资料:SOM建筑设计事务所
      美国最大的建筑师-工程师事务所之一。1936年,L.斯基德莫尔(Louis Skidmore)和J.O.梅里尔(John O.Merrill)在芝加哥开始合作,1939年 N.奥因斯(Natha-niel Owings)加入,事务所按三人的姓氏的第一个字母取名为SOM。斯基德莫尔是一位思想敏锐的设计师,梅里尔是工程师,奥因斯则是一位组织者。对于每一个重大项目,这三位合作者中有一人负责同业主打交道,一人负责具体事务,一人负责选择和支持设计师作出尽可能完善的设计,而对设计过程尽量不加干预。后来,事务所的规模逐步扩大,除芝加哥外,还在纽约、旧金山、波特兰、丹佛、洛杉矶、休斯敦、波士顿和华盛顿设立分所,拥有 1800多名建筑师和工程师。SOM的作品遍及美国和世界上40多个国家。曾获得美国建筑师协会1962年首次颁发的建筑企业奖。
  
  SOM的早期作品受 L.密斯·范·德·罗的影响很大,60年代中期以后,情况有所改变,但其作品仍然保持干净利索、简洁新颖的特点,结构体系则更为多样化,外部轮廓增加了变化。 SOM在高层和超高层建筑设计方面的成就得到公认。
  
  SOM的著名建筑师G.邦沙夫特设计,1952年建的纽约利华公司办公大厦(简称利华大厦,见彩图),是当时新型办公楼的代表。建筑理论家L.芒福德说:"它在两个显著方面超越了传统的办公楼,即设计不是根据最大租赁率而是为获得迅速开展业务的效率;充分运用了当时所能有的办法使大厦出落得舒适、雅致和漂亮。"  SOM在 60年代设计的办公楼大都是直上直下、不加装饰的各式高层框架。 如 60层的纽约大通曼哈顿银行、52层的休斯敦贝壳广场大厦、纽约美国钢铁公司等。而晚些时候芝加哥的100层约翰·汉考克大厦(1970)和110层西尔斯大厦(1974)都是非常别致的超高层建筑。约翰·汉考克大厦上小下大,斜撑外露,屋顶竖有高106米的两层电视塔;每平方米耗钢量为 145千克,相当于一般传统框架结构40~50层塔式建筑的用钢量。
  
  SOM其他著名作品很多,如比利时布鲁塞尔的朗伯特银行、沙特阿拉伯吉达新国际机场以及美国许多大学校园和一些工厂实验室等。
  

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