查询词典 in order to do

But for those of us who move onto this more advanced stage, Lee's team said "this shift in strategy is analogous to shifting from proofs in the first-order predicate calculus to proofs in the first-order modal predicate calculus"- in other words, it's a pretty impressive display of logical prowess and further evidence of our ability to "make deductions about abstract matters remote from our mundane life".

但是我们中的那些进入更高等级的玩家，Lee的团队说，"这次策略的转换同从一阶谓词演算证据到一阶情态谓词演算证据非常类似"——换句话说，这是一次令人印象深刻的展示：逻辑的力量和我们具备对"远离日常生活的抽象事物进行演绎"的能力。

Logical reasoning is the basis of artificial intelligence, the first-order predicate logic belonging to logic is a knowledge representation widely used, therefore,it is a meaningful task to study the reasoning problem of first-order predicate logic .

逻辑推理是人工智能的基础，而逻辑中的一阶谓词逻辑是使用较为广泛的知识表示方法，因此研究一阶谓词逻辑的推理问题是一项很有意义的工作。

The selling party should recognize according to both parties' label of order engagement inside permit toward business agent to press quality supply to match the People's Republic of China a nation standard on time of RAFES merchandise, the price sees contract attach form, the special order goods period which involves very a rules a product has selling party, business agent both parties to negotiate an assurance together.

卖方应依双方签认的订单约定之内容向代理商按时按质供应符合中华人民共和国国家标准的RAFES商品，价格见合同附表，涉及非常规性产品的特殊订单货期由卖方，代理商双方共同协商确定。3。运输以整20'货柜海运为主，散货价格另行确认。

When you place a market order, you can't control the price at which your order will be filled.

当您在市场秩序，您无法控制的价格您的订单将被填补。

In the proposed formulation, the fluid jump arc of Second order Fluid Stochastic Petri nets, which takes deterministic jump height, is introduced for the sake of modeling impulse rewards. In order to model non-Markovian stochastic systems, the fluid jump arc is combined with the flush-out arc. As a result the fluid jump arc as a modeling primitive has the function of emptying in zero time the existing fluid from the continuous place connected with it.

为方便利用该机制建模冲量回报，引入二阶流体随机 Petri 网中的流体跳跃弧，跳跃弧的跳跃高度取确定值；为方便建模非马尔科夫随机系统，将清空弧与流体跳跃弧结合，使得流体跳跃弧作为建模原语直接具有瞬间内清空与之相联接的连续库所的功能。

Total order broadcast is an important group communication primitive for building fault-tolerant distributed applications, and it guarantees that all members in a communication group receive messages in the same order even if some members are faulty.

全序组播是构建分布式应用程序的一种重要组通信原语，它能够保证一个通信组中的所有成员都按照同样的顺序接收消息。

There are not primitive roots,for mod n,by computing the order of "product number", for "product module",this artical has made a number(call generalized primitive root ),parametrically,which order is also the common multiple of the all orders.

对于没有原根的模n，通过乘积数对乘积模的次数的计算，该文构造性地得到一种整数，其次数也是所有次数的公倍数，并得到这个公倍数次数的一种计算公式。

Computer software use the VC++ 6.0 to develop a human-computer interface which can give a control order to the object, print and save the collected data in order to enquiry, deal with abnormal situations and so on. Computer hardware mainly complete the design of electrical control system, including motor-controlled, motor-driven, torque signal- acquisition and the design of interface circuit.

上位机软件采用VC++6.0进行设计，主要用它来开发一个人机交互界面，对试验台发出控制命令、可以打印采集到的扭矩数据并同时将数据进行保存以便查询、对异常情况进行处理；下位机硬件主要完成电气控制部分的设计，包括电机的控制、电机的驱动、扭矩信号的采集和接口电路的设计。

In order to obtain a lower order controller, projection of a positive-define matrix onto a deficient rank parameter space is used.

前面的方法给出了降阶控制器阶次的一个上界，但实际系统有可能存在阶次更低的降阶控制器。

So that we can process your order and promptly notify the processing of your order.

这样我们才能处理您的订单并及时通知您的订单处理情况。

I was up all night because I was in pain, she said.

我整夜，因为我在疼痛，她说。

A crow caws /craoks.

乌鸦叫。 51-论文网