详细的例句大全

This paper describes and discusses the design and implementation of a testing toolkit, CAUT, which is based on dynamic symbolic execution.

本文描述并讨论了一个基于动态符号执行的测试工具CAUT的设计与实现，详细描述并分析了在这套设计中的三个改进方案。

CASC declined to detail its export markets, but a spokesman said there were currently 10-20 end users.

中国航天科技集团公司拒绝详细列举其出口市场，但一位发言人称，目前有10到20家终端用户。

About four years ago, Ms. Fougner and a couple friends were dissecting the plot and characters in "Fifty Shades." They agreed that Christian was the darker, more interesting character.

四年前，弗格纳和几个朋友详细讨论过《五十度灰》中的情节和人物。她们认为克里斯蒂安才是更黑暗，更有趣的角色。

Otherwise, in the environment of the corpus borderism, interpose the key steps id how to control the A/ D switch with the SCM in details.

另外，在汇编语言环境下，利用单片机控制A/D转换的关键步骤和详细编程过程也作了介绍。

Auditorium seating 5 series Specifications Back foam: density PU foam.

详细内容:礼堂椅5系列质地说明背绵: 引用高密度定性海绵.

He inspected the car for defects.

他详细检查车子有无效障.

This paper details the fermentation technique of QINGJIU ( SAKE ) with broom corn as auxiliary substrate.

详细介绍了以黍米代替部分大米为辅料生产清酒的工艺.

Informix4GL consists of an integrated rapid development system, an interactive debugger, and a compiler ( see Resources for a link to the4GL reference guide for more details).

Informix4GL由集成的快速开发系统、交互式调试器和编译器组成（请参阅参考资料中4GL参考指南的链接了解详细信息）。

This paper expounds circuit form and work principle and main program flow of the debugger system, and detailedly introduces function of each composing part.

本文阐述了调试器系统的电路组成和工作原理，介绍了调试器系统的主程序流程，并详细地介绍了各组成部分的功能。

This paper deals with characteristics of the Devonian depositional system in south Guizhou-central Guangxi in terms of rock association, depositional fabric, profile series, biocoenoses, sedimentary mechanism and on the basis of detailed field study and previous data.

以详细的野外调查和前人资料为基础，对岩石组合、沉积组构、剖面序列、生物组合、沉积机理等进行分析，研究了黔南&桂中地区泥盆系沉积体系特征。

According to the technical requirements of BHET, this paper selects JX-300 DCS control system to make control for its production process, and introduces the functions, the structure of hardware and the design process of software of JX-300 DCS control system.

根据聚酯切片生产的技术要求，选用了JX-300DCS控制系统对其生产过程进行控制。详细地介绍了JX-300DCS控制系统的功能、硬件结构及其软件的设计过程。

In this thesis, the advantages and disadvantages of the current prevalent congestion control algorithms are discussed in detail. Based on some general AQM algorithms such as RED, REM, RED/ ECN and RED/ BECN, an improved congestion control scheme is proposed.

本文在对当前几种流行的主动队列管理算法&RED，REM，RED/ECN以及RED/BECN进行详细的分析基础上，总结出当前拥塞控制算法的优势和不足，并提出了一种更优化的解决方案。

After studying the switch technique and classic routing algorithms, we combine CDMA technique with deterministic XY routing technique, then design a new routing algorithm for the cluster mesh topology, and describe the algorithm in detail.

在分析了交换技术和经典路由算法之后，针对簇网状拓扑结构，结合码分多址技术和确定性XY路由技术，提出了一种路由算法，并给出了该算法的详细流程。

Describes the structure and principle of new type of direct evaporative cooling air conditioner.

阐述新型直接蒸发冷却空调机的结构和原理,并详细讨论复合纤维填料的性能.

A document giving details and instructions relating a shipment of goods.

关于货物运输详细情况和要求的说明文件.

This text has introduced briefly the physical performance of the Polycarbonate and production status at present. Comparatively detailed elucidation gathers the application distribution situation in nine major fields such as optics, automobile industry, aviation, spaceflight of carbonic acid ester.

介绍了聚碳酸酯的物理性能和生产现状，详细地阐明了聚碳酸酯在光学、汽车制造工业、航空航天等九大领域的应用分布情况。

Based on the methods of location estimating and location parameter estimating, the development history of current and future challenges in wireless position location are reviewed and location estimating techniques for mitigating the influence of non-line-of-sight ( NLOS) propagation are discussed.

本文以定位算法与定位参数估计为主线，综述了蜂窝通信系统中移动台定位的发展过程、现状、取得的进展以及面临的挑战，特别是对减轻非视距传播影响的定位算法进行了详细讨论。

The on-line pipe flaw detector with magnetic leakage flux principle is introduced, providing details regarding the exciter circuit structure, magnetic sensors and signal processing.

介绍了基于漏磁探伤原理的钢管管缝在线检测装置，对装置的励磁磁路结构、磁敏感检测元件及其信号处理作了较详细的分析论述。

Taking the development of the extruder die for a typical complex profile rubber sealing strip as an example, the designing method and basic thought for the extruder die were introduced.

本文以一典型异型密封条挤出模头的研制为例，详细介绍了组合式异型密封条挤出模头的设计方法及基本思路。

Reference architectures provide detailed architectural information in a common format such that solutions can be repeatedly designed and deployed in a consistent, high-quality, supportable fashion.

参考体系结构以一种通用的格式提供详细的体系结构信息，这样就能够以一致、高质量且可支持的方式重复地设计和部署解决方案。