查询词典 ordered set bounded below

"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都是可数无穷的。

Fuzzy set, Vague set and C(superscript *)-fuzzy set are extension of classical set theory. They are also results of fuzzy set theory development.

模糊集、Vague集和C-模糊集都是对经典集合论的扩展，同时又是模糊集合论分支的发展成果。

In chapter 2, basic knowledge of the rough set theory, such as indiscernibilityrelation, elementary set, approximate space, upper approximation, lower approximation, negative region, boundary region, rough set, etc., and algebraic properties of rough set are introduced. At the same time, the feature of the rough, set theory is also introduced.

第二章介绍了粗糙集理论基本知识，如不可分辨关系、基本集、近似空间、上近似、下近似、负域、边界域、粗糙集等概念，以及粗糙集的代数性质，同时还介绍了粗糙集理论的特点。

The role of the environment is very important.

的作用，环境是非常重要的。

At that time, the High Court of England and Wales Court of Queen's Bench president of William Murray, Lord Mansfield in June 22, 1772 ruling:"No matter then there is the inconvenience, but there must be a decision, I can not say that this case under the law in England are permitted or authorized; are so black should be released."

当时的英格兰及威尔士高等法院王座法庭院长William Murray， Lord Mansfield于1772年6月22日宣判：「无论有那麽不便，但总要有个决定，我不能说这件案在英格兰法律之下是准许或认可；所以黑人是应该被释放。