查询词典 specification

Changes to FCC gasoline cutpoints and the possibility of blending by dilution (adding components such as ethers or alkylate) can be used to meet a sulfur or olefin specification for individual gasoline grades if a preliminary blend is already close to the specification and the refinery desires to increase total gasoline production.

对FCC 汽油cutpoints 的变动和混和的可能性由稀释(增加组分譬如以太或烷基化)可能使用符合各自的汽油等级的硫磺或烯烃规格如果初步混合已经是紧挨规格和精炼厂渴望增加总汽油生产。

It is important for the application of formal approach and formal specification in all stages of software development to study and design automatic refinement from Z to high-levellanguage: Insure complete formalization in all stages of software development; Avoid antilogy in refinement due to mistaken operation or computative mistake and insure consistency and integrity of system; Due to avoiding manual operation in refinement process, it is feasible to bulid a compile environment that Z specification automatic refine and form high-level programme, this will accelerate the promotion and application of Z in industry.

Z到高级语言自动求精的研究与设计对于形式化方法及形式规格说明应用于软件开发的各个阶段具有非常重要的意义：确保了从需求分析阶段开始的软件开发周期的完全形式化；避免了人工的误操作或演算错误导致的求精前后不一致，保证了系统的一致性和完整性；由于求精过程避免了手工操作，因而Z规格说明自动精化为程序代码的编译环境可以建立，这将会加速Z规格说明在工业界的推广应用。

Our company holiday lamp variety are many, specification entire, the design is new, the product has the midget lamp string, the net lamp, Mi Dengshu, the low pressure lamp, the window lamp, the decoration flower color light, the bridge lamp, the LED lamp, the rainbow tube and so on several broad headings, over a hundred kind of specification models, the majority of products have obtained GS, CE, CB, BS, and the Northern Europe four country certificate authentication.

我公司节日灯品种多，规格全，款式新，产品有微型灯串、网灯、米灯树、低压灯、窗户灯、装饰花色灯、桥灯、 LED 灯、彩虹管等十几大类，上百种规格型号。

The choosing principle and laying guard of the cable, please refer to TB 10007-99 "Designing Specification of Railway Signal Cable" and TB 10206-99 "Construction Specification of Railway Signal Cable".

3.1电缆选用原则和敷设防护，建议参考TB 10007-99《铁路信号设计规范》、TB 10206-99《铁路信号施工规范

A change of the specification may be considered small if it affects only a small number of specification modules; to ensure continuity, there must be a direct correspondence between specification, design and implementation modules.

如果一个规格的变化只影响小部分的规格模块，那么这可能会被认为无关紧要；为了确保连续性，在规格，设计和实现模块之间必须有直接对应。

The last one: Produced the application method of LOTOS specification styles in network service and protocol design, the concept of formal structural model and its design approach, Macro-oriented specification style and its implementation, the transformation of LOTOS specification to C or C++. Then an example is taken to illustrate how to use the ADT to describle a protocol.

第四部分：提出了LOTOS规范风格在网络服务和协议设计中的应用方法、形式结构模型的概念及实现方法、面向宏的概念及实现方法、LOTOS规范的C、C++实现方法；并举一案例说明基于LOTOS技术的协议设计方法。

The formal description technology based on LOTOS, the formal transformation, the formal validation and implemenation are generalized. Constructions of communication service and communication protocol, transformation from service specification into protocol specification based on bisimulation equivalence are also stated in detail. Application of LOTOS specification styles and architecture concept in service and protocol design is studied as an emphasis.

归纳总结了基于LOTOS的形式化描述方法、形式化的转换、验证和实现等方法理论，以及通信服务和协议的构造方法及服务规范到协议规范的等效性转换方法，重点研究了规范风格和结构概念在服务和协议设计中的应用。

According to the definition of technical specification by ISO and WTO and the relationship between technical specification and laws and regulations, in fact technical specification is a peremptory technical document, it has the characters both of technology and laws.

根据ISO和WTO对技术法规的定义以及技术法规与法律法规的关系，技术法规本质上是一种需要强制遵守的技术性文件，具有技术和法律两方面的规定性。

Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.

本项目研究旨在根据XYZ系统的特性，在时序逻辑语言XYZ/E的基础上，提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

Its basic idea is to adopt formal or semi-formal method to develop the component. The developer provide the component with a formal specification with a given structure firstly, then build the component from this specification, and produces the description of component by this specification and other information.

其基本思想是：采用形式化或半形式化的方法来开发组件，首先为组件提供一个特定结构的形式规格说明，开发者根据该规格说明构造组件，并根据该规格说明及相关信息获得组件描述。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。