查询词典 automatic alarm

An unsatisfiable subformula can provide a succinct explanation of infeasibility, and help application automatic tools to rapidly locate the errors, and to determine the underlying reasons for the failure.

不可满足子式能够为布尔公式不可满足的原因提供精确的解释，帮助应用领域的自动化工具迅速定位错误，诊断问题失败的本质缘由。

A minimal unsatisfiable subformula can provide a succinct explanation of infeasibility of formulae in satisfiability modulo theories, and could be used in automatic tools to rapidly locate the errors.

极小不可满足子式能够为可满足性模理论公式的不可满足的原因提供精确的解释，帮助自动化工具迅速定位错误。

Study the automatic system of fully mechanized sublevel caving working face applying neural network control theory.

应用神经网络控制技术对综放工作面自动化系统进行了研究。

According to a typical fully mechanized sublevel caving working face, this paper analyses the function of all equipments of this working face as a whole and researches the automatic control system of equipments of this working face with application of neural network theory.

本论文根据现有的一套综放工作面设备，对其各个部分的功能进行了分析，并应用人工神经网络技术进行了控制系统的研究。

However, complexities of the individual ownership of a fully automatic weapon like submachine gun, as well as other issues caused this project to be shelved.

但是，一个像冲锋枪的全自动武器个人拥有的复杂性，以及其他问题引起的这个项目被搁置。

Commanded by automatic or Professional Quartz Chronograph movements housed within surgical grade solid stainless steel cases, leather straps, Trinite luminous hands, and submergible to 100 meters, the Lefty's prepared for war and ready for peace.

指挥自动或石英计时表内外科专业级固体不锈钢案件安置动作，皮革皮带，特里尼泰发光手，潜器至100米，米克尔森的战争与和平准备准备。

Free words I will give the result of automatic interpretation smooth to embellish, also hope everyone can tender a better interpretation submittal, can also raise own English level!

有空的话我会给自动翻译的结果润润色，也希望大家能提供更好的翻译建议，也可以提高自己的英语水平！

This paper probes the algorithm of automatic network topology from several important thoughts, mostly including the algorithm skills of showing automatically of all equipment and links, the display of the topology map of subnetwork and looking over the correlated information of any equipment or any link.

分别从算法中几个重要技巧的实现思想来探讨自动绘制网络拓扑的算法，主要包括网络设备和链路的自动显示、子网拓扑图的显示及查看设备和链路相关信息的算法技巧。

Because a derived object is also a base, there is an automatic conversion from a reference to a derived type to a reference to its base type. That is, we can convert a reference to a derived object to a reference to its base subobject and likewise for pointers.

因为派生类对象也是基类对象，所以存在从派生类型引用到基类类型引用的自动转换，即，可以将派生类对象的引用转换为基类子对象的引用，对指针也类似。

She accepted the subpoena with an automatic "thank you."

她接受了传票，随口说了声"谢谢你"

The production moved off-Broadway to New York City, where she won the Joseph E. Calloway award for her performance, and was profiled in American Theater Magazine as one of ten young theater artists to watch.

生产提出过百老汇的新的纽约市，在那里她赢得了约瑟夫calloway奖，她的表现，并于异型在美国的战区杂志之一， 10战区的青年艺术家观赏。

It's a risk tradeoff, and I believe that adding test support code usually wins.

这是一个风险的权衡，我相信添加测试代码通常会占上风。