查询词典 specification

The partial correctness of the analogically derived program with respect to its specification is illustrated.

说明了通过类比推导所得的程序相对其规格说明的部分正确性。

We designed a JSD-based graphical operational specification language-NUJSDL and a supporting systemNUJSDS which supports the use of the method in the practice of software development. NDJSDL has the characteristics of understandable, analysable and maintainable etc. The results of the different phases in JSD development procedures are described by the various mechanisms in NUJSDL separately.

为了支持开发者将其应用到软件开发实践中，我们设计了一种基于JSD方法的图形化的操作式规格说明语言NUJSDL，并开发了其支撑系统NUJSDS，NUJSDL语言具有易理解、可分析和可维护等特性，它提供了多种机制分别刻划JSD开发过程中各阶段的结果，并且用它书写的规格说明还可以作为待开发系统的一个原型。

Look beyond the Alfa-Romeo aping hidden rear door handles and there is an awful lot of specification on offer.

看过阿尔法罗密欧式的隐藏后门把手的，车里有大量配置等着你。

We aim to provide to products with highest quality to meet our customers requirements in respect of prescise specification and quality; our well maintained effective quality gurantee system and full compliance with appliable regulations and rules help us to achieve the perfection of our products and the maximize our customers satisfaction.

我们致力于向客户提供符合其精确规格和质量要求的优质产品，并通过实行及维护严谨高效的质量保证体系，同时专注于遵守各类法规规范，我们成功地实现了产品的尽善尽美以及客户的最大满意度。

This book then covers the basic principles of applicative, imperative, and concurrent specification programming.

这本书则涵盖的基本原则的应用，势在必行，并发的规格规划。

This instruction fist state the purpose and theoratical meaning of this design, the statue of the industry nationwide, and problem existed. According to that, follows the project approachment, which introduce the style and character of braking system, and the reason why drum brake was choosed. Then construct specification will be choosed according to this design. The last step is to calculate the design, and proof the feasibility of this design.

说明书先是阐述了本设计的目的与理论意义以及国内外的发展水平与存在问题，然后是方案论证，其中介绍了制动器的形式及其特点并说明了采用领从蹄式鼓式制动器的原因，接下来针对本课题对制动器的结构参数进行选取确定，最后是计算和校核，并通过校核表明了本设计的可行性。

Be based on the executive measure of the aseismatic design method of function of structural content content through calculating a specification.

并通过算例说明基于结构内容物性能的抗震设计方法的实施步骤。

According to many years asphalt pavement construction experience of the author and combining with Technical Specification for Construction of Asphalt Pavement,this passage makes brief introduction to the two asphalt pavement construction ways,e.g.using covering cloth and using hot-mixed asphaltic concrete so as to provide reference for people who work on asphalt pavement project.

文章根据作者多年来从事沥青路面施工的经验，结合《沥青路面施工技术规范》，对撒布法沥青路面面层和热拌沥青混合料沥青路面面层施工分别作了简要介绍，以便他人从事沥青路面施工时作参考。

Western Blotting analysis of antibody specification was successful.

Western Blotting检测抗体的特异性较好。

The RAPD results illustrate that the phylogenetic relationship betweenBothriocephalid tapeworm parasitic in Grass carpCtenopharyngodon idellus(C.et V.and Common carp(Cyprinus carpio L.)from different regions ofChina is infraspecific with noticeable variance bwtween them.Thephylogenetic trees based on the 3 sequences analyses above are constructed,which show the following relationships:Bothriocephalid tapeworms fromGrass carp,Common carp and Luciobrama are found to be monophyletic,and are very close to Bothriocephalus opsariichthydis,but are divergent toanother monophyletic group comprising Bothriocephalid tapeworms fromZacco,Hemiculter and Leuciscus.On the basis of phylogenetic reconstruction,autapomorphic species conceptis used in species delimitation suitablefor determining four species in the present study:B.acheilognathi,B.opsariichthydis,and two other bothriocephalids parasitic respectively inHemiculter and Leuciscus.It is also deduced that the differentiation time ofBothriocephalid tapeworms parasitic in cyprinids is earlier than that of theirhosts,and the most recent specification happened about one million yearsago.Key words Bothriocephalid tapeworm Molecular Systematics

具体成果有：通过RAPD分析探明了我国不同地理分布的草、鲤鱼头槽绦虫的亲缘关系属于种下水平，并存在较高变异；通过基因合并分析重建头槽绦虫的系统发育关系，表明草鱼、鲤鱼及鯮鱼头槽绦虫是单系群，它们与马口鱼头槽绦虫亲缘关系较近，而与〓条、宽鳍鱲及雅罗鱼头槽绦虫构成的另一单系群亲缘关系较远；在此基础上，提出符合头槽绦虫种的界定的独征物种概念，据此确定鲤科鱼类寄生头槽绦虫的四个种：鱊头槽绦虫，马口鱼头槽绦虫，以及另两种分别寄生于〓条和雅罗鱼的头槽绦虫：根据上述研究推断鲤科鱼类寄生头槽绦虫的分化年代早于其宿主，最近的一次物种形成距今约一百万年左右。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。