查询词典 ordered set

And Paella for food. I ordered the noodle Paella, and my honey ordered the rice one, but they all tasted similarly.

我点的是帕艾拉海鲜米粉，我老公点的是帕艾拉海鲜饭，但是两种的味道都是一样的。

"If I ordered a general," he would say, by way of example, if I ordered a general to change himself into a sea bird, and if the general did not obey me, that would not be the fault of the general.

他常常说：&如果我叫一位将军变成一只海鸟，而这位将军不服从我的命令，那么这就不是将军的过错，而是我的过错。&

"If I ordered a general," he would say, by way of example, if I ordered a general to change himself into a sea bird, and if the general did not obey me, that would not be the fault of the general.

国王举一个例子来说：「假如我下命令，命令一位将军把自己变成一只海鸟，但他不服从我的要求，那这就不是那位将军的错了，而是我的错。

Secondly, in a more generalized framestructrue--lattice-ordered monoids,the notion of lattice-valued Mealy-type automata is introduced,we traverse some algebraic properties of this automata and investigate the congruences and homomorphisms of this type automata.Our main results indicate that the algebraic properties of lattice-valued Mealy-type automata have Close links to the algebraic properties of lattice-ordered monoids which automata take values in.Futhermore we study the minimization of lattice-valued Mealy-type automata and provide an algorithm to achieve the minimal lattice-valued Mealy-type automata within finite steps.

其次，在更一般的框架—格半群意义下，提出具有输入和输出字符的自动机——格值Mealy自动机的概念，从代数角度出发较详细地研究了此类自动机具有的性质，同时研究了此类自动机的同余和同态，揭示了此类自动机的代数性质和格半群的紧密联系，最终研究了格值Mealy自动机的极小化问题，并给出了在有限步可实现此极小化的算法。

We inform you, that we will require delivery of this first trial order by mid August/2007 or before, in a full mix 20ft container in order to avoid any damages of these ordered goods and with the Certificate of origin, and be sure that all these ordered toys are marked or labeled with the country of origin, and all the export cartons with our shipping marks that we will inform you with the accepted proformas.

我们在此告知您，对于我们第一次试验性质订单的运输，为了避免订单商品运输货损，需要您以20尺集装箱在07年八月中旬或之前装运；并且，请存有订单商品的原产地证明，以保证这些订单玩具标示有生产国名，以及在所有的出口纸箱表面标示我们的运输唛头，以上详细信息我方都在经过双方认可的销货清单中具体告知。

In ruling out this objection I declare that the philosophers did not postulate the possibility of an infinity in causes essentially ordered, but only in causes accidentally ordered, as is evident from Avicenna\'s Metaphysics, B. VI, chapter five, where he speaks of an infinity of individuals in a species.

为了回应这一反驳，我断言那些哲学家们并没有假定存在无限的本质性因果链的可能，而仅仅是假设了存在无限偶然性因果链的可能，证据就是阿维森纳《形而上学》第十章第五节，在这里他谈及了某一物种个体的无限性。

33 Keep in mind, however, that it is one thing for causes to be essentially ordered in causing or as regards causation and quite another for the things which are causes to be essentially ordered, as is clear from Avicenna in the sixth book of the Metaphysics, chapter five.

2.33 但是，要牢记一点，正如阿维森纳在《形而上学》第六部第五章所言，一件事物由于诸因而在因果关系中或者被看成因果性而被本质性地归类，与一件事物作为原因而被本质性地归类完全是两回事。

According to evaluation of the thermal, hydraulic, environmental and mechanic characteristics and energy performance of building and VAV air-conditioning system, and evaluation of the control performance of local control loops using the simulator of VAV system, this paper presents five on-line supervisory control strategies for local control loops: on-line optimization of VAV supply air static pressure set-point, on-line optimization of AHU supply air temperature set-point, on-line optimization of on/off set of CAV sub-system, on-line optimization of outdoor air set-point and on-line optimization of chilled water secondary pump pressure set-point.

通过数字仿真器对建筑物及其变风量空调系统的热力、动力、环境和能耗等运行特性的模拟，以及对系统常规采用的下位机控制回路可控性和稳定性等控制特性的研究和分析，本文先从局部的角度开展了系统局部优化的研究。提出并在仿真器上分别实施了VAV送风静压设定的实时优化，AHU送风温度设定的实时优化，CAV子系统开／停的实时优化，新风量设定的实时优化以及二级泵冷媒水供水压差设定的实时优化。

Grinding machine, 1 set Plane Grinding machine, 3 sets EDM, 1 set CMM, 1 set universal tool microscope, 1 set cutter aligner, 1 set roughness instrument, etc., much of equipments are the most advanced in domestic.

主要 设备有：加工中心9台（FV-800A 6台、QM-800A 1台、QM-22T 1台、卧式加工中心1台）、数控车床6台（FTC-20 2台、FTC-10 2台、FTC-30 1台、FTC-150 1台）、外圆磨一台、平面磨一台、慢走丝线切割机一台、快走丝线切割机一台，电火花成形机（MOND030）、三维坐标测量仪（GALAXY/SCICNC）、万能工具显微镜（19JC），对刀仪、粗糙度仪等。

Through the analysis of the second power Cartesian product of natural number set N——N×N and the thirdpower Cartesian product of natural number set N——N×N×N,obtains the conclusion that they all have the bijective relation to natural number set N,it means that the set N×N and the set N×N×N are all countably infinite.

通过对自然数集合N的二次笛卡尔积运算———N×N和三次笛卡尔积运算———N×N×N的详细分析，得出了它们与自然数集合N之间都存在双射关系结论，即集合N×N和集合N×N×N都是可数无穷的。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。