英汉例句

• in this paper, a general inductive principle for any ordered set is proved, and the mathematical induction, the transfinite induction and the continual induction are then deduced.

  证明了一个适用于任意有序集的一般归纳原理，以此为基础导出了数学归纳法、超限归纳法和连续归纳法，从而揭示出三种归纳法的共同基础。

• by using multiple -c arguments, you can construct an ordered set of steps, as all commands are executed left to right.

  通过使用多个-c参数，您可以构造一组有序的步骤，所有命令将按从左到右的顺序执行。

• many of the queries contain sequential calculations, or calculations that operate on an ordered set of rows, queries frequently encountered during business analysis.

  很多查询都包含连续计算，或对一组已排序的行进行的计算，这些都是业务分析过程中常遇到的查询。

• software process is a partially ordered set of activities undertaken to manage, develop and maintain software systems.

  软件过程是管理、开发、维护软件系统所需要的一系列活动的偏序集合。

• we each ordered set meal that consisted a cup of coke.

  套餐里每人一杯加冰的可乐。

• this collaboration is represented as an ordered set of messages, or operation invocations, on these elements within the system.

  这种协作表现为对系统中这些要素的消息或操作调用的有序集合。

• however, there is nothing in the laws of physics that prevents the act of shuffling from producing a perfectly ordered set of cards.

  但是，这里也没有某种物理定律使得洗牌不能使扑克完美有序。

• a white box sequence diagram depicting collaborations among the elements relevant to each viewpoint is developed using the same ordered set of messages.

  利用同样的有序消息集可以开发描述与每个观点相关的要素之间协作的白盒序列图。

• the paper is concerned with the partially ordered set consisting of lattice-points onthe plane n￣2. the formula of incidence function is presented.

  研究在给定长度下由格点构成的链的数目，并给出了关联函数的任意次幂的计算公式。

• many of the queries contain sequential calculations, or calculations that operate on an ordered set of rows, queries frequently encountered during business analysis. for example

  很多查询包含连续计算，或对已排序的一组行执行的计算，这些都是在业务分析过程中常遇到的查询。

• statistics relating to or constituting the middle value of an ordered set of values (or the average of the middle two in an even-numbered set).

  关于或构成一列整齐数列的中位数的（或偶数列的中间两个的平均值的）。

• the model is based on a collection of a divisional terrain data defined as simplicial complexes arranged into a partially ordered set by time and space.

  模型把子区域地形几何数据定义为单纯复合形集，按地形变化时间顺序和空间关系组织成一个偏序集。

• by means of logic symmetric relation, single neighbouring logic path for n dimension boolean ordered set is solved.

  本文提出一种用逻辑对称轴的关系，解决n维布尔序集唯一相邻的逻辑路径问题。

• an index is an ordered set of pointers to rows in a base table.

  索引是一个指向基础表的有序指针集。

• that can become decomposition partially ordered set into totally ordered subset by analyzing the characteristics of partially ordered relation construction on partially ordered set.

  通过分析运用调机时区集合上的偏序结构特点，可以知道使用调机问题的实质是偏序集合的全序分解问题。

• an index is a db2 object (a separate vsam dataset) that is comprised of an ordered set of keys extracted from one or more columns of the corresponding table.

  索引也是一种db2对象（一个单独的vsam数据集），它由一组排好序的键组成，这些键是从相应表中的一个列或多个列抽取出来的。

• in fact, you may even find, as i did, that you already have an ordered set of vivid images in the 22 tarot symbols!

  实际上，你甚至会发现，和我一样，您已经有一个有序的生动的图像载于22塔罗象征！

• in this paper, the conception of the standard well ordered set is introduced and ten theorems of the standard well ordered set has been proved.

  本文引进标準良序集概念并且证明了标準良序集的十个定理。

• reachability testing is a general approach to testing concurrent programs via generating the minimal complete partial ordered set of test sequences.

  可达性测试是目前较为成熟的一种并发程序测试方法，该方法解决了如何生成最小完备偏序测试序列集的问题。

• what is service function chaining? an ordered set of service functions that creates subsequent traffic through them is termed as service function chaining.

  什么是业务功能链呢？业务功能链就是一系列业务功能的有序组合，引导流量按序依次通过这些功能组件。

• graphics primitives, such as points, lines, and triangles, are defined as an ordered set of vertices.

  基本图形，如点，线，和三角形，被定义为一个有序的顶点集合。

• in this paper, we proved that the definition of a semilattice as a universal algebra and the definition of a semilattice as a partial ordered set are equivalent.

  本文中，我们证明了作为泛代数的半格的定义与作为偏序集的半格的定义是等价的。

• there is no agreed and ordered set of work steps, allocation of skills, definition of interim results, or metrics for production to guide the work of the staff.

  没有指导员工工作的约定且订购的工作步骤集、技术分配、中间结果定义，或生产量度。

• for example, zorn's lemma states: 「a partially ordered set in which every chain has an upper bound contains a maximal element.」

  例如佐恩引理所述：「在任何一个偏序集中，如何任何链（译注：即有序子集）都有上界，那么这个偏序集必然存在一个最大元素。」

• a quasi-incremental algorithm is proposed to evaluate the roundness error by maximum inscribed circle(mic) method. the measured profile is regarded as an ordered set of points.

  按最大内接圆法评定圆度误差的仿增量算法是将工件轮廓看作一个有序点集，并建立一个初始子集和它的内接圆。