查询词典 temporal

Linear temporal logic properties of the system can be verified based on the automata theory of model checking. The method of verifying a complex multi-object system modeled by Statecharts and collaboration diagram is also presented in this paper.

使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质，并给出方法验证由Statecharts和协同图建模的复杂多对象系统。

Thucydides' use of history is closer to the modern understanding — a narrative account of a great event with a clear temporal aspect.

修昔底德使用的"历史"接近于现代的意义——从显然是当时的角度来叙述伟大的事件。

YYQ: The Horse Outside is Peeping at Her and We Who are Being Peeped at by Her. There was a smokestack in the background. The horse was looking at the girl and the girl was looking at us. It was like there was a titmouse in the back. This spatial-temporal relationship was a kind of metaphor for external culture and the self's situation at the time.

叶帅：《屋外的马窥视的她和被她端视的我们》，后面还有个烟囱，外面那个马看着女孩，女孩看着我们——有点黄雀在后的意思，这种时空关系是一种当时感受到的对于外力文化和自身处境的隐喻。

We concluded that high difinition CT scan showed a better visualization of temporal bone than X-ray tomogram,but the adiagnosis should combine with clinical information.

CT扫描较X线摄片具有明显的优越性，但作出诊断还应密切结合临床。

On entity aspect, instead of the complex spatio-temporal topological problem, the identification and decomposition method corresponding to synchronous change of entities with hierarchy structure was paid much more attention to.

在实体方面，暂时抛开复杂的时空拓扑问题，转而注重于分析应该如何定义变化的实体，如何对实体的等级层次结构按照同步变化要求进行分解。

The innovations of this paper as follows:(1)The topological relation model between complex spatial objects is brought forward, which represented by some composite basic 9I matrix and results in general signification.(2)Time and space integrated topological model is suggested to reason about spatio-temporal change types;(3)Sweep-line algorithm is improved, and a new little circles of polyline nodes overlapped with region method is proposed. As result, it's efficient to calculate line-line, line-region and region-region topological relations.

本文的创新之处在于提出了一种能够描述复杂对象的数学表达模型，将复杂对象间的复合拓扑关系表示成基本拓扑关系的组合，具有一定的普适意义；研究了时空拓扑关系的内涵和表达方法，说明利用时空拓扑关系可隐性地实现时空变化语义的查询；对平面扫描线法进行了改进，提出了一种新的节点微小圆求交的算法，可有效地解决线面、线线、面面拓扑关系的计算问题。

Everyday life as the practice basis of sublime transcendence connotation contains the reasons that sublime becomes value identity of temporal society.

日常生活作为崇高超越性内涵的现实基础，蕴含着崇高成为世俗社会价值认同符号的发生学动因。

Based on this,temporal logic formula is used to express the properties that the data flow must satisfy,before the verification,an algorithm transforming the UML Statecharts model into reachable state transition graph is given,finally the correctness of the data flow is verified by model checking technique.

在此基础上，使用时序逻辑公式表示数据流所需满足的性质，在验证数据流的正确性之前，给出了将它的UML Statechart图模型转化为可达状态迁移图的算法，最后通过模型检测算法验证数据流的正确性。

Then, temporal logic formula is used to express the property requirements the data flow must meet before the verification, an algorithm transforming the UML Statecharts model into reachable state transition graph is presented.

然后，采用时序逻辑公式表示数据流所需满足的性质，同时给出了将UML Statechart图模型转化为可达状态迁移图的算法，最后通过模型检测算法验证数据流的正确性。

Not finding a transition matrix may be one of the reasons that even with so many CERN stations, after so many years of data collection, researchers have been unable to accomplish a true temporal dynamic analysis.

找不到转移矩阵可能是研究者们，即使拥有如此多的定位站，搜集了如此多年的数据，仍未能完成一个真正的系统时间动态分析的原因之一。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷