查询词典 interval algebra

By describing trusty degree of information through membership function defined on the tuple, they broaden relation algebra of general meaning, add an attribute function to every tuple, define meaning of fuzzy attribute, express similar degree in the interval of fuzzy object and entity with semanteme distance in the interval of tuple, and also studys the fuzzy relation operating.

通过定义在元组上的隶属函数反映信息的可信度，对通常意义下的关系代数进行了扩展，每一元组都附一属性函数，定义了模糊属性的含义，用元组间的语义距离表示模糊对象和实体间的相似度，并对该意义下的关系操作进行了相应的研究和讨论。

The article based on temporal knowledge representation theory, used Allen's interval algebra method, studied temporal problem in the continual fault stage.

该文基于时态知识表示理论，通过Allen区间代数方法，研究了相继故障的时序问题。

In order to introduce the formal techniques such as stepwise refinement, automatic transformation and testing based on formal specification to the multimedia field, we first present a powerful subset of Allen's interval algebra as the temporal specification language to multimedia program.

为了在多媒体领域中应用逐步求精、程序自动生成和面向形式规范的并发系统测试等形式化技术，本文首先研究一个表达能力足够的Allen区间代数的子集合，以它作为多媒体对象时序关系的描述语言。

Malti-agent system ; interval algebra ; IA network ; temporal relation

多自主体系统；区间代数； IA网络；时序关系

The paper introduces Allen's interval algebra and the extension-the INDU network, applies the Heisenberg Uncertainty Principle to the INDU network, and deletes the fifteen basic relations of INDU where the intervals have at least one same endpoints or the same durations.

介绍了Allen的区间代数及其扩展－INDU网络，将Heisenberg不确定性原理应用于INDU网络，并将INDU的25种基本关系中两区间有端点相等或区间段相等的15种关系删除。

We study the properties of $BR_0$-algebra and the total complication triple I method on complete $BR_0$-algebra, and we apply the results to $R_0$-Unite interval $\overline{W}$. Not only we have simplified the proof of the results of $R_0$-type triple I method on $R_0$-Unite interval $\overline{W}$, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the $R_0$-type triple I method is a matching fuzzy inference with $B{\cal L}^*$ system.

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法，对一般蕴涵算子给出了三I算法解存在的一个充分条件，并将结果应用于$R_0$-单位区间$\overline{W}$，不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法。

The third part proposes in Luk the concept of lattice-valued truth degrees based on the second part by generalizing truth values from the MV-unit interval(a special MV-algebra) to a general MV-algebra. And the properties of lattice-valued truth degrees suggest that this generalization is natural and reasonable. Because of the equivalence between the two algebra systems, i.e. MV-algebra and lattice implication algebra, it's natural and easy to grade the truth of formulas in lattice-valued propositional logic whose basic algebra system is the lattice implication algebra.

中。 本文第三部分在第二部分的基础上，将Luk中公式的真度值推广到了一般的MV代数上，相对于第二部分的数值真度，给出公式的格值真度，并通过格值真度的性质说明格值真度是数值真度的合理推广。

We study the properties of BR0-algebra and the total complication triple I method on complete BR0-algebra, and we apply the results to R0-Unite interval W. Not only we have simplified the proof of the results of R0-type triple I method on R0-Unite interval W, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the R0-type triple I method is a matching fuzzy inference with B?

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法，对—般蕴涵算子给出了三I算法解存在的—个充分条件，并将结果应用于R0-单位区间W，不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了R0-型三I算法是与B？

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了