Four theorems about continuous function on an closed interval are proved by a interval sequence theorem in mathematical analysis.
用数学分析中的区间套定理证明了闭区间上连续函数的四个定理。
The new algorithm defines a interval similarity function which is regarded as a new merging standard in the process of discretization.
新算法定义了一个区间相似度函数，用该区间相似度函数作为离散化过程的新的合并标准。
Fog comes, call Captain at once. Began to keep on radar for detecting to the sea all round atr a interval of every 20 mins. Sounding by echo 52 fms. S/B. Fog sig started.
雾来了，立即召唤船长，开始保持每20分钟用雷达环扫一次海面，回声测52拓，备车，开始雾号。
Cases in which many species become extinct within a geologically short interval of time are called mass extinctions.
许多物种在地质上很短的时间间隔内灭绝的情况称为大灭绝。
In the interval a blond boy dressed in white serenaded the company on the flute.
幕间休息时,一位白衣金发的男孩用长笛为来宾演奏了一支小夜曲。
There is a 15-minute interval between two boats.
两艘船之间有十五分钟的间隔。
Essentially slowing them down by putting in a loop or wait interval.
通过加入一个循环或等待间隔减慢其传入消息的速度。
Configure channels with a disconnect interval so that they can go inactive when there is no activity on the channel after a period of time.
为通道配置断开连接间隔，以便通道上在一段时间后没有活动时，通道能转为非活动状态。
Once a new interval starts, the aggregate value counters are reset to zero.
当新时间间隔开始时，聚合值计数器将重置为零。
In this example, the periodic basis is just a timer that goes off at a regular, configurable, interval.
在这个示例中，周期基础只是一个计时器，该计时器按照规律的、配置好的间隔到期。
For this sample, we'll retrieve the history using a sliding interval of one year.
对于此示例，我们将使用一年的变化区间检索历史记录。
For example, a test can run sequentially, randomly, or in weighted order; run at a set interval or repeatedly for a set number of times; run remotely; and emulate workload.
例如，一个测试能够顺序的、随机的或者按照权重顺序运行；按照设定的间隔或者次数运行；远程运行；以及仿真工作量。
This example stanza reports GC activity during a 1-second interval from a run of the demo.
这个示例输出报告了演示程序的一次运行内为时 1 秒的间隔内的GC活动。
When an estimate is produced, it usually includes a confidence interval of some kind regarding its precision.
当产生一个评估时，通常包括一个与精度有关的可信区间。
Typically, RTLS providers report location data for each tag on a predetermined time interval.
通常，RTLS提供者按照一个事先确定的时间间隔报告每个标记的位置数据。
In our measurements, we used a 10-minute collection interval.
在我们的测试中，我们使用一个10分钟的收集时间间隔。
Like iostat, it accepts a numerical interval (see Listing 6).
与iostat一样，它接受一个数值时间间隔(请参见清单6)。
The client in turn sends another request after a predetermined interval (poll interval) and this process continues until there is an update from the server.
客户机根据预定的时间间隔(轮询间隔)依次发送另一个请求，继续这个过程，直至服务器中有一个更新。
A batch processor is available to schedule tasks to run server-side either on an ongoing basis, a scheduled time interval, or at a certain time.
还可以使用一个批处理程序基于实时基础、一个预定的时间间隔或在某个时点在服务器端运行计划任务。
You can configure the update schedule to look for updates each time the platform is started or to do so at a specific interval.
您可以配置更新计划，让它在平台的每次启动时查找更新，或者在特定的时间间隔进行更新。
At a periodic interval, the outgoing email is sent, and the mail file is replicated with the server version to exchange any changes between the two databases.
按照周期性间隔发送外发的电子邮件，同时复制服务器上的邮件文件来交换两个数据库之间的任何更改。
Substitution support has been enhanced to support a new pattern: a temporary absence defined by a time interval.
替换支持已经得到增强，可以支持一个新模式：按时间间隔定义的临时缺席。
The PTT tool collects statistics on all processes that run during a user-specified interval.
PTT工具收集在用户指定时间间隔内运行的所有进程的统计数据。
Each of your tables should have a different interval increase factor (see the previous paragraph) and should be applied to items of varying difficulty.
每个表应该有不同的递增因子(见前一个段落)用来应用于不同难度的学习条目。
Figure 11 shows an example of filter criteria for a sliding interval time reference.
图11给出使用滑动时间间隔引用的过滤器条件示例。
Recur at a specified time interval.
按指定时间间隔重复发生。
A larger interval would be appropriate for some scenarios, such as a branch office network, and necessary for larger Numbers of managed nodes.
更长的间隔时间适合于诸如分支机构网络之类的一些场景，并且对于大量托管节点是必需的。
Depending on the environment, the device agent may poll for waiting jobs at a polling interval, or whenever the device is powered on, or both.
设备代理可以在轮流检测的间隔或设备启动后的任何时刻(或两种条件同时满足)查询等待执行的作业，这依赖于所处的环境。
Performance statistics are available for each workload cluster in the system for a given time interval.
可以看到系统中某段时间间隔内的每个工作负载集群的性能统计数据。
Performance statistics are available for each workload cluster in the system for a given time interval.
可以看到系统中某段时间间隔内的每个工作负载集群的性能统计数据。
应用推荐