查询词典 performance specification

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.

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

Combined with the application of OOD in formal specification of distributed multimedia system, a scheme building on ground of LOTOS/QTL (or Esterel/QL) and adopting the idea of OOD has been given. This method can be used to construct time model and synchronization model in distributed multimedia systems.

结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析，本文提出了一种以LOTOS/QTL或Esterel/QL为基础，融合面向对象技术的形式化描述方案，该方案可用于建立分布式多媒体系统的时间模型和同步模型。

In order to guarantee the correction of the design of system, it needs to specify and verify it rigidly. The formal description and verification by use of LOTOS (language of temporal ordering specification) and ACTL are given out in this paper. These allow people to study, evaluate and define the dynamic behavior of current user interfaces.

为了保证系统设计的正确性，文章讨论了如何使用形式化描述语言LOTOS(language of temporal ordering specification)和基于动作的时序逻辑ACTL对系统进行描述与验证，这有利于人们对交互式用户界面的动态行为进行研究、评估与定义。

Core, self psychology is psychoanalytic, but there are crucial differences in how the patient-therapist relationship is viewed.

自体心理学的核心是精神分析，但在如何看待患者-治疗师关系方面，自体心理学和精神分析有着根本性的不同。

High-performance cars brake drum production costs increase less than 10%.

高性能汽车刹车鼓的生产成本增加小于10％。