查询词典 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］上达到它的最大值和最小值。

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函数的方法研究了周期区间系统的平稳振荡的存在性问题，得到了一些新的结果。

Based on the interval probability and the second fuzzy probability, go a step further the definition and characters of random variables with the third fuzzy probability and the fuzzy distribution function and fuzzy probability distribution sequence were put forward.,the definition and characters of mathematical expectation and variance were studied also.

在区间概率和第二类模糊概率的基础上，进一步给出了具有第三类模糊概率的随机变量及其模糊分布函数和模糊分布列的定义和性质，并研究了模糊概率随机变量的模糊数学期望和模糊方差的定义和性质，进一步完善了模糊概率理论。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。