查询词典 specification statement

Shenling has drafted the following national standards independently: air handling units for operation room, entire fresh air type dehumidifier units and low temperature packaged air conditioners.shenling has taken part in drafting the national standards: dehumidifiers, energy efficiency limit value of the chillers and its energy efficiency ratio grade, energy efficiency limit value of the packaged air conditioner and its energy efficiency ratio grade, rooftop air-conditioners, vapor compression cycle chillers, for industry and commerce use and similar purpose chillers, packaged air conditioners, changeable air amount terminal units, aeration equipment for air energy reclaiming, core documents of quality standards for constructing project products, positive displacement compressing condensers, heat pump chillers,modular air handling units,screw type refrigerant compressors, purchase specification on heating ventilating and air conditioning equipment for chemical plant.

参与起草的16项国家或行业标准是：gb/t 19411-2003《除湿机》、gb 19577-2004《冷水机组能效限定值及能源效率等级》、gb 19576-2004《单元式空气调节机能效限定值及能源效率等级》、jb/t 10538-2005《防爆除湿机及空调机》、gb/t 20738-2006《屋顶式空气调节机组》、gb/t 18430.1-2007《蒸气压缩循环冷水机组第1部分：工业或商业用及类似用途的冷水机组》、gb/t 17758《单元式空气调节机》、jb/t《空调变风量末端装置》、gb/t 21087-2007《空气-空气能量回收通风装置》、《建设工程产品质量标准核心条文》、gb/t 21363-2008《容积式制冷压缩冷凝机组》、gb/t 21362-2008《商用或工业用及类似用途的热泵热水机》、gb/t 14294《组合式空调机组》、gb/t 14296 《空气冷却器与空气加热器》、gb/t 19410《螺杆式制冷剂压缩机》、hg/t 20697-2007《化工暖通空调设备采购规定》。

The primary limiting factor is the specification of clouds.

主要的限制因子是对云的了解。

Lift an example specification, article watch is for instance medium there is 5000w now data, right now we need to increase in this watch a new data, after Insert ends, the database can be aimed at this piece of watch to build index afresh, 5000w linage pays expenses according to building the system of index or not allow to ignore.

举个例子说明，比如article表中现在有5000w条数据，此时我们需要在这个表中增加一条新的数据，insert完毕后，数据库会针对这张表重新建立索引，5000w行数据建立索引的系统开销还是不容忽视的。

Brand manager Pavla Vernerova of Soma said: 'We are keeping the specification of the new Soma Flex Imperia under wraps until drupa where it will be shown in operation running live printing jobs.

品牌经理pavla维尔内罗娃的索马说：'我们正保持规格的新索马flex的因佩里亚下结束，直到德鲁巴的地方将显示在操作运行Live印刷工作。

Any local scheme for parameter mapping and encoding is vendor defined on a product-by-product basis and lies outside the scope of this specification.

开发商自己定义的产品到产品之间的参数映射和编码的本地大纲不在本规范的范围内。

We first introduce the state of the art of Web Services Composition, and then analyze the relation between Web Service Composition and related theoretical backgrounds. Concerning the two key technologies, service composition method and service composition system, we demonstrate our work.1. Based on semantic Web Service and OWL-S specification, a first-order logic Situation Calculus planning method for services composition is introduced.

本文首先对现有的服务组合相关工作做了比较详细的阐述，在分析了语义Web服务自动组合所涉及的主要理论背景之间的关系和作用之后，针对我们所关注的两个主要技术层面——服务组合方法和服务组合系统阐述了我们的工作： 1、在语义Web服务规范OWL-S的基础上，研究通过一阶逻辑状态演算来规划组合服务的方法。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

Corresponding with the system logic diagram and hardware specification.

必须提供完整的与系统逻辑图和硬件说明相对应的L2硬件设备清单。

The configuration view is the logic architecture of product specification data base that is partial of product data base. So the solution of physical design is resultant of Bill Of Material of design product. The BOM is the set of maunfacturable physical entities that can be assembled.

由于结构视图是产品数据库中产品说明数据的逻辑结构，所以物理设计的结果可以生成构成产品系统的物理制造实体的物料清单(BOM，Bill Of Materials)。

LOTOS is a specification language that aims at describing the dynamic behavior of complex systems.

一、引言形式描述技术是用形式语义语法语言，而不是象英语那样用自然语言来定义一个系统的性能。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48