策略

With regard to the practical problems of estimating product quality on-line in hydrocracking fractionator, the soft-sensing engineering implementation strategy, which combines several soft sensors by weights for product quality estimating, is proposed to improve robustness of on-line estimation.

运用此控制策略对Shell公司重油常压塔和Wood-Berry精馏塔进行了仿真研究，通过与直接针对实际对象的基于RNNARX模型的多变量约束预测控制策略的仿真结果相比较，显示了PLS-MPC控制策略的有效性。

The existing control strategies of the fresh food compartment/freezer compartment prior based on the temperature control of the two-circuit cycle refrigerator-freezers with parallel evaporators were analyzed.

分析了现有蒸发器并联双循环冰箱采用基于温度的冷藏室优先的控制策略，提出了基于温度与分时运行联合控制的控制策略，并对该控制策略进行了理论分析。

The first pace, click begin bill of fare / setting / Control Panel / administrative tool, safety of ground of double stroke book size is politic, safety of pitch on IP is politic, in this locality computer, the blank place in right window case is right attack a mouse, play a quick menu, the choice founds IP safe strategy, play then give a guide.

第一步，点击"开始"菜单/设置/控制面板/治理工具，双击打开"本地安全策略"，选中"IP 安全策略，在本地计算机"，在右边窗格的空白位置右击鼠标，弹出快捷菜单，选择"创建 IP 安全策略"，于是弹出一个向导。

On the basis of analyzing multicast schemes,such as MMT,AMFM and ATMM,this paper proposes an annular management strategy for multicast tree in MPLS network,aiming at that single management node brings bottleneck of the multicast tree and affects haleness of the MPLS network.

在分析MMT，AMFM和ATMM等组播方案的基础上，针对其单一管理节点容易成为骨干网上组播的瓶颈，影响MPLS骨干网上组播树的健壮性问题，提出一种环形管理组播树的策略，通过对该策略的仿真分析，表明该策略能有效地解决单个管理节点超载和组播聚合树的信息丢失等问题，提高骨干网络中组播聚合树的效率和健壮性。

According to the different compensatory objects, this paper took a project which based on symmetry components to compensate. When SVC is used as the system compensatory, it is mainly used to adjust the system voltage. Therefore, the balanced control strategy is adopted. When SVC is used as the load compensatory, it is mainly used to restrain the voltage fluctuation and flash during the running of the impactive loads,so the unbalanced control strategy is adopted. According to this project, the hardware and software for the control system of SVC are designed.

本文首先分析了无功补偿的基本原理，针对SVC补偿对象的不同，采用一种基于对称分量法的SVC分相补偿方案：作为系统补偿时，SVC主要用来调节系统电压，因此采用平衡控制策略；而作为负荷补偿时，SVC主要用来抑止冲击性负荷运行时引起的电压剧烈波动和闪变，因此采用不平衡控制策略，依据此方案，对SVC控制系统的软、硬件进行设计，对控制系统的数据处理方法及控制策略也进行了详细的分析。

Finally, it analyses the time complexity of the algorithm and researches how it is influenced by culture operator.3、The paper presents the evaluation standard of the GA's application capability. Basing on characters such as continuity, multi-peak, vibration, randomicity as well as large-scale, five functions are selected to test search ability and robustcity of co-evolution algorithm. Finally, it analyses the simulation result and researches the influence of algorithm brought by culture operators.4、Basing on the concept of collection overcast, it researches the task distribution issue and constitutes delaminated math model on task distribution issue. It puts out the co-evolution algorithm of subtask's decomposing. The experiment compare IGA、SGA to CN and validates the efficiency of co-evolution algorithm on the NP completeness issue.5、Being aim at the optimization issue of load of antenna near ground, it combines many GA strategies and puts forward strategic meme. And it puts out co-evolution algorithm of load of antenna design. And it emulates the optimization design of load of antenna near ground. Finally, it valuates the co-evolution algorithm's efficiency on the continuum search issues of multi-variable and multi-peak value.6、Being aiming at the knowledge of image model matching, it adopts single meme and real code. It puts out fast co-evolution matching algorithm strategy. Basing on NPROD resemble measurement, I emulate the indiscrimination model matching and discrimination model matching. Finally, it valuates the co-evolution algorithm's efficiency on the real code and real time search issue.

分析了算法的时间复杂度，研究了文化算子对算法时间复杂度的影响。3、提出了GA的应用性能评价标准，从连续性、多峰性、随机性、振荡性、广域性多个角度出发选择五个测试函数，对共同进化算法的搜索性能和鲁棒性作了函数优化的性能测试，分析了仿真结果，研究了文化算子对算法的影响。4、基于集覆盖的概念，研究了MAS中的任务分配问题，建立了任务分配问题的分层数学模型，给出了子任务分解共同进化算法，实验比较了IGA、SGA、CN，验证了共同进化算法对NP完全问题的有效性。5、针对近地天线加载优化设计问题，结合多种改进GA策略，提出了策略型拟子，给出天线加载设计的共同进化算法，对有耗半空间对称偶极子天线加载优化设计作了仿真实验，验证了共同进化算法对多变量多峰连续搜索问题上的有效性。6、针对图像模板匹配问题的领域知识，采用单类拟子和实数编码，给出快速共同进化匹配算法策略，基于NPROD相似度测度，仿真试验了无差别和有差别模板匹配，验证了共同进化算法对实数编码和实时性搜索问题上的有效性。

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定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

A detailed analysis of the main circuit introduction, control method and working principle of the direct-drive wind energy conversion system are given to introduce the two important parts a of this paper: First part is the control method of the multiple boost convertor, the important instantaneous current control method of this paper is given through the analysis of the main circuit structure, control method and working principle. Then a steady-state analysis for low-frequency, a high-frequency component analysis, and a closed-loop tracking performance analysis for dynamic response are provided to analyze the method proposed; And the second part is the control method of invertor.

在系统变流器整体结构分析的基础上，引出本文重点研究的两个变流环节的控制：第一部分是系统升压斩波器的控制，通过分析相关主电路结构、原理，建立了数学模型，引出本文重点研究的瞬时值控制策略的概念和具体实现，并对升压斩波器的瞬时值控制策略进行了详细的高频、低频模型分析和稳态、动态性能分析；第二部分是系统并网逆变器的控制，通过对逆变器主电路的数学建模和控制要求分析，研究了并网逆变器的瞬时值控制策略，包括电感电流控制内环和直流电压控制外环的具体设计和实现方法。

The inference engine performs the forward and backward mixed inference strategy and width-first search strategy.

在推理机方面所采取的策略是正反向混合推理的推理策略及宽度优先的搜索策略。

This mixed strategy has been tested on benchmark functions. The simulation results show that the mixed mutation strategy is superior to any pure mutation strategy.

使用国际通用标准函数来测试这种新算法，仿真的结果表明了基于物种保护的混合变异算子进化策略优于任何一种纯策略的进化策略。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。