查询词典 researches

This paper mainly carries the analysis and researches on the genetic algorithm and its mixed strategy in the application of promotion combination"s optimizing, expecting to enhance this topic"s research to a quantification analysis level.

本文主要是对遗传算法及其混合策略在促销组合优化问题中的应用进行了分析和研究，以期将该课题的研究提高到量化分析的层次。

This paper firstly reviews the history of Automated Theorem Proving and Mizar,then gives a description of methods of mechanical theorem proving and verification to mathematical proposition under Mizar system.Based on that basis,the paper has done some Mizar researches on mixed operation of quaternion,differentiati- on of special composite function and the application of Rolle\'s theorem.

本文首先介绍了定理机器证明和Mizar语言系统的发展历史，其次简单描述了Mizar系统下定理机器证明和校验数学命题的方法，在此基础上对四元数的混合运算，特殊复合函数的微分以及洛尔定理的应用等方面进行了Mizar实现。

This thesis researches on four problems in the propaganda and mobilization in the Campaign of People's Commune.

首先，对运动中的文字宣传进行了历史考察。

In previous and current linguistics researches, the German modal verb s have been long neglected.

在语言学研究方面，德语情态动词一直没有得到足够的重视。

This paper researches on support vector classification in theory and model in order to solve classification problem.

目前对支持向量机的研究主要集中在对其本身性质的研究和完善以及加大应用研究的深度和广度两方面。

This topic researches on the make-up and modular function of the CAD system of Cam Mechanism based on VB and the realization of the software system.

为了提高设计效率和设计精度，基于模块化程序设计方法，采用可视化的面向对象的编程语言VB6.0为开发工具开发了凸轮机构CAD系统。

This paper mostly researches a pulse modulator which can be used in the microwave power module .

主要研究一种可用于微波功率模块的脉冲调制器。

With the research and application of the gaint and large capacity hydroupower set, the problem of vibration on hydro-unit shafts stands out. Researches on vibration mechanism have been carried out deeply and many efficient methods for status monitory and fault diagnosis have been explored.

随着水电机组的研究、制造和应用向巨型化、大容量方向发展，水轮发电机组振动问题越来越突出，人们针对机组的振动现象开展了深入的研究，积极探寻有效的状态监测与故障诊断方法并取得了许多成果。

Researches have shown that, the maximal zero effort miss which could be corrected is monotone increasing function of structure acceleration, time to go and fuel specific impulse if combustion time is equal to time to go.

研究表明：当装药燃烧时间等于待飞时间时，拦截弹可消除的最大零控脱靶量可用结构加速度、待飞时间与燃料比冲的解析表达式描述，且是三者的单调增函数。

In the preface, an introduction is made of the current situation of researches on Most-Favored-Nation treatment to China and significance of this paper.

前言部分介绍了美国国会与对华最惠国待遇的研究现状和选题的意义。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。