查询词典 additive interval function

In order to make transformation between two temporal logics, we develop other two predicates to manipulate the interval. Their function is f: I→〓.

为实现两种时间语义的统一，ISITL定义了两个形式语义为f：I→〓的函词来实现对时段的各种操作。

Alone with them, and based on the conception of time interval, and the Function Net, a rule for correctness is present, which correctness is also proved.

提出了活动状态、前序后继活动以及工作流实例状态、状态转换及状态转换图的定义和工作流运行重配置结构和数据正确性规则，在此基础上提出了进行工作流运行重配置的理论基础，形式化描述了一个完备最小的工作流模型修改操作集合WMOL，并给出了这些操作可以进行的时机。

The nature of man-land relationship is the function relation of interval correspondence, resulted from the joint action of many of its factors.

一人地关系危机及其由来人类在诞生之初，通过对自然的依赖与开发，维持生存，人地关系由此得以萌生，人地矛盾也同步形成。

The skin defense mechanism starts from afternoon to strengthen, has continued the evening, in the morning is it resists the function smallest time interval.

皮肤防御机制从下午开始增强，一直延续到晚上，清晨则是它抵御功能最小的时段。

In order to enlarge the application scope of our algorithm, the expansions of eLiveSet on four ways are studied, that is, the gradient of multi-relation, the constraints on the gradient cell, the gradient in the interval and the different gradient function.

为了扩大了算法处理问题的范围，给出了eLiveSet算法在多种关系间的梯度、梯度元组约束条件、区间上的梯度、不同的梯度函数四个方面的扩展，这些扩展可以通过修改算法的相关部分来实现。

Let f be a continuous function on the interval［a,b］, then it can reach its maximum and minimum on［a,b］.

设f是区间［a，b］上的连续函数，则f在［a，b］上达到它的最大值和最小值。

The "Re-login Interval"function in this "General Preference"window, user can even set the

便会自动重新登入，而用户亦不需再次输入网域及密码等资料！！

Callback: a parameterless function, interval: number of seconds

这个对象提供一定间隔时间上重复调用一个方法的逻辑。

By this algorithm the search was performed from a certain initial point by use of iterated function system and attractor of inner interval.

接着利用分形的自相似性与标度不变性将内区间的分形特性进行延拓，并由此构造了具有外推功能的分形插值算法，实现交通事故预测。

In this papper, the methods of decomposition of large-scale system and Liapunov function are used in studying the existence of stationary oscillation of periodic interval system and some new results are obtained.

应用大系统的分解和Liapunov函数的方法研究了周期区间系统的平稳振荡的存在性问题，得到了一些新的结果。

For the head-teacher of the class said that I had seriously broken the school rules,which led me to a three-day suspend class.

为什么呢？因为我的班主任说我严重的违反了校规，于是让我停课三天。

Many of them believe that the conversion of thousands of working-class folk in England spared that nation from the mass carnage and the tyranny that came with the revolution in France.

他们之中有许多人相信，在英国数以千计的劳工阶级之悔改信主使英国免於遭受如法国大革命所造成的大屠杀和专制暴政。