无穷区间

To do so, we define an equivalence relation with finite equivalence classes over state spaces of DTITL models.

通过定义DTITL无穷状态空间上的具有有限个数等价类的等价关系，把DTITL的连续状态模型离散化为一阶区间时序逻辑模型。

Infinite integral is a type of improper integral in calculi,and it is also a difficult point in integral.

无穷限积分是指函数在无限区间上的积分，例如+∫∞afdx型，它属于广义积分的一种。

However, due to the oscillation and singularity of the integrand of Green's function and that integral interval is infinite, it is difficult to compute the function and to control the accuracy.

而格林函数中被积函数的振荡性，奇异性和积分区间为无穷使得该函数的计算较为困难，精度不易控制。

The computing plots of the solutions from the two methods were inconsistent under the specified boundary-initial conditions, which stirred up the debate of the effectiveness of Maxwell's equations in lossy medium. It is found that the differences between the two numerical curves can be viewed as the Gibbs phenomenon caused by cutting off the high frequency components in computing the infinite integral of the numerical curve of Harmuth's solution.

通过比较两种解析解的数值曲线得出：两者的差异在于求解Harmuth解的数值曲线时，采取无穷积分的高频截断近似产生了吉布斯现象；在计算Harmuth解的数值曲线时不断增大积分上限，其数值曲线的振荡不断向不连续点处收缩，而且衰减加快，因此在求解Harmuth解的数值曲线时，若积分区间取为理想无限大，则可以预见相同计算精度下两种方法的电场解的数值曲线是一致的。

Be called the infinite series of functions on the interval ,where

称为定义在区间上的无穷级数，简称级数。

It is a usual presumption that distribution function can decide characteristic function and characteristic function can also decide the distribution function by the uniqueness theorem.

但通过本文引入的反例，我们可以知道，唯一性定理在有限区间上不成立，不过在无穷限区间上我们仍可以说，分布函数和特征函数是一一对应的。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。