停机问题

图灵应用它证明了计算理论中著名的停机问题。

Turing applied it to prove the famous halting problem in the computation theory .

然而，所有这些计算系统受到的停机问题已知的限制。

However , all such computational systems are subject to a limitation known as the Halting problem .

DF（11）型机车紧急停车时柴油机停机问题的探讨

Discussion on the issue of abnormal stop of DF_ ( 11 ) locomotive engine at locomotive emergency stop

水轮发电机组电气制动停机问题的综合分析与处理

Comprehensive Analysis on the Problems of Hydrogenerator Outage by Electric Braking and Their Treatment

解决机械优化设计运行停机问题措施的研究

Study of the Measures for Solving Problem of Breaking off Calculation in Mechanical Optimal Design

解决强热风回流威胁汽轮机停机问题的探讨

To Approach the Solution of Problem : Strong Hot Wind Backflow Threatens the Steam Turbine to Be Shut Down

最后以某汽车企业冲压车间的停机问题为例进行实例分析，用实例验证了模型的效果和实用性。

Finally , an example of halting problem in an automotive stamping was used to verify the effectiveness and practicability of the model .

试图在编译阶段验证动态代码会使你陷入停机问题的漩涡。

To try to verify dynamic code at compile time would likely walk you straight into the halting problem just like it would for many kinds of tooling .

然后从概念层、逻辑层和可计算层分析讨论了停机问题处理知识网络模型，包括因果网络模型和方案网络模型。

Second , the paper analyzed and discussed the construction of halting problem solving knowledge network from conceptual 、 logical and computable perspective . The networks included causal network model and solution network model .

挤压机停机纹问题的液压系统改造的优化研究

The Optimum Research of Hydraulic System for Halt Stria of Extrusion Press

在市场竞争条件下探讨发电厂机组启停机计划问题，有助于发电厂做好发电机组安全经济运行方案。

Unit commitment scheme problem researched under competitive markets can helping power plants make good security and economic operating schedule .

通过实际织造试验，对C/401挠性剑杆织机织造双绉的停机档问题进行了探讨。

Based on weaving tests a discussion is made on the weft bars of silk crepe-de-chine caused by C / 401 flexible rapier loom stopping .

其中模块拆分、启停功能、接口层改造和类管理器的方式能够比较有效的解决C/S项目升级必须停机的问题。

Split , start and stop functions of modules , interface layer transformation and class manager resolved the shut down problem of C / S application .

本文围绕游梁式抽油机节能降耗，提高效率，针对油井的空抽问题和停机监控问题进行分析研究，设计了抽油用自适应电机智能控制系统。

In this thesis , in order to make the beam pumper save energy and improve efficiency , the problem of dry and empty pumping and parking monitor are analysised and researched .

由于遗传算法用于解决启停机优化问题中，常出现群体早熟和有时收敛于局部最优解等问题。而模拟退火算法在接受新解时却显示出较好的特性。

Since genetic algorithms often cause premature convergence and do not give out global optimality in solving unit commitment ( UC ) scheme problems , while the simulated annealing algorithm shows better performance in accepting new solutions .

为了解决大流量、高扬程、地形及管道条件复杂供水系统的停机水锤问题，文中介绍了管道内置式水锤清除器的结构和工作原理。

In order to solve water hammer problem of conduit under the condition of sudden stopping pump in water supply system of large discharge , high delivery lift and complex topography , this paper introduces the structure and wording principle of inside putting water-hammer suppressor .

Tom的经理收到了大量电子邮件，并且随着客户受到的影响越来越大，停机导致的问题也变得越来越严重。

Tom 's manager then gets a flood of e-mails , some of which are escalated , and the situation grows steadily worse as customers are increasingly affected .

机场停机位分配问题的图着色模型及其算法

Graph Coloring Model and Algorithm of Gate Assignment in Airport

基于遗传算法的机场停机位分配问题研究

Research on Airport Stands Assignment Problem Based on GA

停机位分配问题优化技术

Research on Optimization of Aircraft Stands Assignment Problem

为解决新安电厂凝汽器带负荷不停机清洗的问题，提出了降负荷凝汽器分段法不停机清洗的方案。

A chemical cleaning method for condenser during operation is put forward with staged cleaning under part load operation of condenser .

本实用新型通过上述结构，有效的解决了在过滤过程中极易堵塞，经常中途停机清洗的问题。

The structure of the utility model resolves the problem of clogging in the filtrating process and stoppage halfway for cleaning effectively .

燃气轮发电机起停机保护的特殊问题

Specificity of Starting-Up Protection for Gas Turbine Generator

随著扩建新翼的和额外的停机位，这个问题可能得到解决。

With the expansion of new wing and additional parking bays , this issue may be solved .

文中提出的混合优化算法较适用于求解市场条件下的启停机计划等优化问题。

And the proposed hybrid optimization method is more suitable to solve the optimization problem such as unit commitment in market environment .

相反，必须不断进行审查，以快速确定问题，从而尽可能减少停机时间，在问题带来大的影响前发现这些问题。

Instead , constant reviews must occur to quickly identify problems so that down time is minimized and imminent problems are caught before they cause big headaches .

第三，以停机位分配时刻表的稳定性和鲁棒性为目标函数，采用改进的遗传算法求解停机位分配问题，实验证明该方法切实有效。

We prove the feasibility and effectiveness of this approach . Thirdly , we use the robustness of the gate assignment timetable as the objective function and adapt the improved genetic algorithm to tackle with the gate assignment problem .