查询词典 specification

First design a reasonable XML Schema structure and under the restriction of XML Schema use XML to describe the UML class diagram and the related specification, and then extract the test specification of method from XML test script. Test specification refers to predicate sequences in the form of conjunctive normal form, extracted from basic constraint conditions of variables included in test scripts and expected outputs. Each conjunctive normal form can be transformed to an inequation set, and adopt 1×1 domain test strategy to every inequation set to produce the domain test matrix, which in turn produce the test case.

首先设计合理的XML Schema结构，并在该XML Schema的有效性约束下，用XML对UML类图及相关性约束进行脚本描述；其次对XML测试脚本进行分析，提取方法的测试规约说明，所谓测试规约说明就是从测试脚本中包含的变量的基本约束条件以及期望输出中抽取得到的以合取范式形式存在的谓词序列；每一合取范式对应一个不等式组，对每一个不等式组采用1×1域测试策略，生成域测试矩阵，最终得到测试用例。

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对系统进行描述与验证，这有利于人们对交互式用户界面的动态行为进行研究、评估与定义。

Utilized NDIS(Network Driver Interface Specification) intermediate driver and Passthru architecture, a simulation testing platform of wireless ad hoc networks is constructed. The characteristic and application prospects of the platform are introduced.

本文首先应用NDIS(Network Driver Interface Specification)技术和Passthru框架，构建了一个无线自组网络实验平台，给出了平台的特征和应用前景。

The authors emphatically research that how to utilize the intermediate driver in network driver interface specification to realize the architecture of software platform for wireless ad hoc network in power system; present Passthru based frame of program, optimized link state routing protocol and the principle to implement modules of the program; discuss the feature of the network platform and look forward to the application prospect of the network platform.

针对无线网在电力系统中广阔的应用前景，进一步研究了无线自组网在电力系统中的应用，重点讨论了如何利用NDIS(network driver interface specification)中间驱动程序实现电力系统中的无线自组网软件平台架构，介绍了基于Passthru的程序框架、最优化链路状态路由协议及程序模块的实现原理，并讨论了网络平台的特性，展望了其应用前景。

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系统进行数据通讯。

OUR COMPANY WENZHOU SUCCESS GROUP CO.,LTD IS A FAMOUS COMPREHENSIVE COMPANY IN PRODUCING ALL KINGS OF LACE AND FABRIC IN CHINA.OUR PRODUCTS INCLUDING VOILE LACE,FABRLC LACE,CHEMICAL LACE,COTTON LACE,TAFFETA,ORGANZA LACE IN DIFFERENT SPECIFICATION.MORE PRODUCTS REGARDING COLORS AND DESIGNS CAN BE UNDERTAKEN ACCORDING TO THE SPECIFIC INTERESTS OF CLIENTS.

收盘 我们公司温州成功集团有限公司是全球知名的综合性公司，生产各个国王花边纱、面料等产品在china.our花边、花边fabrlc、化学花边、花边棉、绸、organza花边specification.more不同花色的产品就可以依法开展的具体利益clients.perfect质量、价格适宜、良好的售后服务，可获任何来自世界各地的客户。

In the second chapter, basic structures of every kind of Random Access Memory and correlated knowledge of AMBA Specification 2.0 are introduced, and on the basis of which, the system specification and the whole structure designing of memory controller are introduced.

论文首先分析了各类存储器的结构、控制特点，综述了AMBA Specification 2.0的有关知识，及其在本文中相应的实现策略。

According to Maxwell' geomorphology theory and the standardization characteristic of surface texture feature based on GPS'(geometrical product specification) areal method, deeply research the change tree and Wolf pruning technology which were used in analyzing surface topography. Further standardized the Wolf pruning standard of area, line and point feature etc and the quantification parameters of charactering surface texture. And expound its feasibility in engineering practicability by taking an example.

基于Maxwell的地貌学理论及GPS(geometrical product specification)区域法表面结构要素的规范特点，深入研究应用于表面形貌分析中的变化树及Wolf修剪技术；进一步规范区域、线、点等要素的Wolf修剪标准及表征表面结构的量化参数；并以实例阐述其在工程实践中的可行性。

PR.NO.06.011 Rev.01C Nos specification remarks 20 Plain Trolley Capacity=2L,Rail size:145a 20 Chain Block Capacity=2L,Height of Lift=4m,Hanging under the Plan trolley 2 Chain Block Capacity=5L.

PR.NO.06.011 Rev.01C Nos specification remarks 20台单轨小车载重=2L，轨距：145a 20台手拉葫芦载重=2L，提升高度=4m，悬挂在单轨小车下 2台手拉葫芦载重=5L。

For more on SLD see the specification .

更多 SLD 信息，请见 SPECIFICATION 。

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.

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