查询词典 specification

This paper introduces a convenient reengineering assistanttool which was developed by the author and other researchers in De Montfort University,UK,and can be used to abstract a specification from a pro-gram(i.e.from source code text to specification source text),and give a case study with RA.

因为程序设计和规约是在更高的抽象层次上，这一层次更简洁或易于理解。从源代码中成功抽取面向语义的规约，将有利于理解，从而有助于对遗留系统进行再工程。从

At present, the products of the company have the specification of the k100-wd140 , k100-wd160, k100-wd180 specified environmental protection type carpet special used to heat up belt and various of specification nog strip , carpet glue , antislipery cushion, the aluminium closing in strip , carpet heating up and little surporting tools and so on.

我公司拥有自营进出口权，目前公司产品有k100-wd140，k100-wd160，k100-wd180等规格的环保型地毯专用烫带，以及各种规格的木钉条，地毯胶垫，防滑垫，铝收口条，地毯烫斗和小撑子等。

Must understand the meaning of 'performance specification' and thus be able to competently handle itemized equipment specification.

必须了解性能规格的意义，从而能够胜任处理逐项的设备技术规范。

The fourth aspect is about authentication protocols analysis in special systems. We gave out the security analysis of AKE protocol and reauthentication protocol in the POD copy protection specification. We also gave out the security analysis of AKE protocols in DTCP specification.

在特定系统中认证协议分析方面，给出了配置点拷贝保护系统中认证密钥交换协议和重新认证协议的安全分析；给出了数字电视拷贝保护规范中的完全认证协议的安全分析。

The reauthentication protocol in POD copy protectionspecification can not defend the protocol against a simplest replay attack. The AKE protocol in the specification has unwelcome security attributes on implementation. The AKE protocol in DTCP specification has the sender mismatching or receiver mismatching attributes, which can threat the integrity goal of DTCP system and may affect possible application scenarios.

指出配置点拷贝保护系统中的重新认证协议不能抵抗简单的重放攻击，其中的认证密钥交换协议具有实现上不受欢迎的安全属性；指出数字电视拷贝保护规范中的完全认证协议具有发送者失配或者接收者失配属性，这些属性会威胁该规范的完整性目标，并影响该规范可能的应用场景。

Forth, depending on a limited syntax language, a research on the method and process of the semi-formal specification of the top level function is developed. This top level specification paves the way for the system verification and the covert channel analysis.

第四，借助一种受限的句法语言，研究了对系统顶层功能进行半形式化规范的方法和过程，而顶层功能规范则为系统验证、隐蔽通道分析等后继工作奠定了基础。

We follow the idea of sequential estimation method of Palandri (2007) but simplify the specification to estimate the correlations with BEKK specification proposing the Sequential-BEKK model using multistep Maximum likelihood estimation procedures to estimate.

通过运用BEKK模型模拟的数据，本文比较发现，Sequential-BEKK模型在进行样本内预测相关系数矩阵时，表现优于BEKK系列模型和OGARCH模型，稍差于CCC和Dec模型，但是Sequential-BEKK能够比其他模型更好的刻画相关系数的动态过程。

Thesis aim at the large and complicated toponyms in the maps, and make a symetic anti proper specification. According to above feature and map compilation, we can combine with asymbol data to the module of design the system of toponym standard specification and toponym database.

本文之研究针对地图中巨量、繁复的地名资料，研拟系统性之分类设计，以地名基本特性及编图原则为著眼点，并与地图符号资料相互配合，期能据以规划全国性地名资料分类体系之规范化模式。

The sandwich glass is safe, unharmful, free from color-fasting, so it is suitable for various kinds of windows and skylights, windows for vehicle and ship, for window and shelf for exhibition, in other special occasion for bulletproof and anti-riot Maximum processing specification :2400mmX6000mm Minimum processing specification :300mmX300mm Processing Thickness Range :3mm-25mm Processing Finished products Thickness :6.38mm-60mm

夹层玻璃具有安全、不伤人、不褪色等特点，适用于各种窗户和天窗；车辆和船舶等窗户；展示窗和展示架；其它有防弹防暴要求的特殊场合。

This thesis makes a detailed research into the Universal Serial Bus Mass Storage Class Specification and its relevant protocols, and builds up a set of protocol stack under the embedded Linux environment of the StrongARM processor development platform according to this specification, with which the hand-held device can communicate with the PC system easily.

本文详细分析了USB海量存储设备类规范(Universal Serial Bus Mass Storage Class Specification)及其相关协议，并在StrongARM处理器开发平台的嵌入式Linux环境下设计了一套基于此规范的嵌入式协议栈，使掌上设备可以很方便地通过USB与PC系统进行数据通讯。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。