效率高

In the paper,a fast image retrieval method based on the DCT domain and correlative feedback is presented,which aims at JPEG images and uses color layout descriptors in the MPEG7 standard. As the method only needs entropy decoding,the speed of extracting image features is improved and storage space saved. The experiment result shows that the method has a high retrieval speed and a good effect.

文章针对JPEG压缩图像，结合MPEG 7中建议的颜色布局描述符，提出一种带相关反馈的基于DCT域的快速图像检索方法；该方法只需要熵解码，可提高图像特征提取的速度、节省存储空间；实验结果表明，此方法具有检索效率高、检索效果好的特点。

In this thesis,a newly designed one adopts PLC control,which is also easy-operating,high-reliable. Meanwhile,in its hydraulic system design,a special high-speed cylinder is used to drive indenter down fa...

同时在压力机液压系统设计中，采用了一个特制的快速运动缸，来实现压头快速下行，速度快、效率高，功率利用也更为合理，在生产中取得了满意的效果。

The paper consists of six chapters. Chapter One is the theoretical background, we review the course of mechanical theorem proving and briefly introduce the main mechanical theorem prover of the last decade, Among them, we stress on the Boyer-Moore theorem prover and its throretical foundation a computational logic. In Chapter Two, we discuss two theorem proving tactics. One is the rippling-out tactic, which is a tactic for manipulating the induction conclusion to enable the induction hypothesis to be used in its proof, because it extremely restricts the search space, so it has high efficiency.

全文共分六章，第一章是理论背景知识，回顾了定理机器证明的历程，并对近十年来的主要定理证明器作了扼要的介绍，其中，着重介绍了计算逻辑及Boyer-Moore定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

In the near future our country imported some 9FA type gas turbines with high effect,low infectant released.

我国近期引入了一批以天然气为燃料的9FA型燃气轮机发电机组，效率高，污染物排放低。

Bare copper flat wire technology is adopted for wire package,with H class insulant as bedding to realize functions like : quick heat dissipation,high efficiency and long working life.

线包采用丝包铜扁线技术工艺，用H级绝缘材料垫层，散热快、效率高、寿命长。

This algorithm has rotation invariability, good robustness and synchronization.

此识别算法对观测图像具有旋转不变性，对位置和星等噪声都有很好的鲁棒性，且导航星库的存储容量小、检索效率高、实时性好。

Moreover, in the case of the inverse calculation, it was shown that the stable and efficient convergences were obtained.

并且由例证可见，反算的算法收敛稳定，计算效率高。

The invention refers to a method to correct universal frequency of electric communication technique, its character: make signal index quantization on the complex number of cross product, to directly reflect the quantized numerical value of tangent value and the located quadrant of imaginary and real parts, use inverse tangent ROM table to discriminate the processed result, then make loop filter and phase accumulation on the discriminated result to obtain error-correcting angle, and use digital controlled oscillator to make table look-up and quadrant adjustment to obtain correcting factor; use the relationship of trigonometric function in each quadrant to compress inverse tangent look-up table ROM and digital controlled oscillator look-up table ROM.

一种涉及电通信技术的通用频率纠正的方法，其特征在于：它采用如下步骤：经过叉积的复数进行信号指数量化处理，通过该复数虚、实部信号的指数量化结果的差值及其极性直接反映虚、实部的正切值的量化数值以及所处象限，将处理后的结果通过反正切ROM表进行鉴频，鉴频后的结果经环路滤波和相位累加，得纠偏角度，通过数控振荡器针对纠偏角度进行查表和象限调整，得到纠正因子；通过个象限之间的三角函数关系来压缩反正切查表ROM和数控振荡器查表ROM的大小，本发明资源耗费小，效率高，可极大地节省内存资源。

It is a new type of light source in the 21st century with advantages of high efficiency, long-life span and invulnerability which can not be compared with the traditional light sources.

它是21世纪的新型光源，具有效率高、寿命长、不易破损等传统光源无法与之比较的优点。

The Jacobin matrix of the multi-body system dynamics was studied based on the spatial operator algebra theory,and the realization of the Jacobin matrix procedure was built in the environment of Matahematic5.2 software.The high effective stepping method can be used to compute velocity and static force,and has a simple math expression.

应用空间算子代数理论，在通用计算机符号演算软件Mathematic5.2的环境下，对多体系统动力学雅可比矩阵进行设计与实现，主要用于速度和静力的高效递推算法，用空间算子代数理论求出雅可比矩阵简洁形式，具有编程效率高、直观等特征。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。