查询词典 archimedically ordered number field

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

In Chapter 2, we use the generating function to count the number of ordered shapes and the number of bounded-shape partitions.

在第二章，我们使用生成函数去计算对於有序及无序的有界形分割各有多少形及分法。

Invoices and delivery notes must contain: the communicated invoice address of the purchaser, the order number, the exact amount ordered, material number and exact designation, logograph of the packaging, weight and type of packaging.

发票和送货单必须包括：买方的发票联系地址，订单号，订购数量，料号及准确名称，包装标识，重量及包装类型。

Mapping ordered eigenvalue points of sample covariance matrix of the observation data onto Hough parametric space,the number of eigenvalues of noises can be estimated by detecting the peak points on Hough parametric space,and thus the number of signal source is determined.

该方法通过Hough变换将观测数据的采样协方差矩阵的排序特征值点投影到Hough参数空间，通过检测Hough参数空间中积累的峰值来估计噪声特征值的数目，从而确定信源的个数。

Since the number of trips is a non-negative integer, truncated, and of endogenous stratification, this study empirically analyzes its recreational benefits by the On-site Poisson and truncated negative binomial with endogenous stratification of the Travel Cost Method. Besides, this study adopts TNBES to see how the number of trips disperse and takes the consumer surplus to assess benefits. As to visitors' valuation, this research uses the ordered probit to do empirical analysis and then divides all satisfaction factors by the factor analysis and cluster analysis into four factors and two clusters, which then are taken as explanatory variables.

考量旅游次数为非负整数、截断、内生分层等特质，本研究在游憩效益方面，采旅游成本法中的现场波松(On-site Poisson)、截断式内生分层负二项(Truncated Negtive Binomial with Endogenous Stratification， TNBES)模型做实证分析，并於TNBES模型检定旅游次数之扩散情形，效益之评估采消费者剩余为计算标准；在游客评价方面，采次序波比模型做实证分析，并将游客对科博馆各项因素满意度以因素分析、集群分析，区分为四大因素构面与二大集群，纳入游客评价为解释变数，并探讨消费者剩余对游客评价之影响。

A C++ program is developed for composing the stiffness matrix of the temperature field, saving it in changing bandwidth method and calculating the linear algebraic function group through using the Gauss eliminating method. A module for drawing the color fringe of tire temperature field is created, which makes the result more visual. Taking the 9.00-20 cross-ply tire on CA1092 as an example, the finite element numerical simulation analysis of automobile tire 2-D steady temperature field is completed. Through comparing the result with the analysis data by ANSYS, this software is proved to be capable of the modeling, calculating and post-processing of FEA of automobile tire 2-D steady temperature field.

采用C++语言完成了温度刚度矩阵的总体合成及其一维变带宽存贮，以及线性代数方程组高斯消去法求解等工作，采用C++语言实现了汽车轮胎二维稳态温度场云纹图的绘制，使得计算结果更加直观，也更能形象地显示汽车轮胎二维稳态温度场的分布状况，以CA1092（原CA142）五吨载货汽车用9.00-20尼龙斜交胎为例，进行了汽车轮胎二维稳态温度场有限元数值仿真分析，通过与ANSYS分析结果进行比较，说明所开发的有限元建模、求解以及后处理软件能够用于汽车轮胎二维稳态温度场有限元分析。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。