查询词典 temporal

This article focuses on the line-line, line-region and region-region topological relations algorithm, which come down to the same question: whether there are intersections between line and line. The sweep-line algorithm was studied by many people, but has some deficiencies to be improved, in order to handle some special cases and increase program efficiency. My works as follows: rectangular envelope to reduce executive times , vector cross multiplication to determine intersection between line and line, coordinates and slope method to deal with some special cases. C program examples are showed together.(5) Finally, to prove capability and efficiency of the model and calculation method, some test systems are developed. For example, complex spatial topological relation query, parcels' exact area with the area of linear object reduced in land use, quality inspection to cadastral data according to topological rule, spatio-temporal change query of cadastral data.

将线线、线面、面面之间的拓扑关系实现的算法归结为线与线之间求交的基本问题；为处理一些特殊的拓扑关系情况，提高扫描线算法的效率，探讨了包络矩形粗滤、判断线线是否相交的矢量叉乘法、线节点重合或共线的斜率坐标判断法等改进方法；同时还设计了一种新的节点微小圆求交的算法，可应用于图斑与线状地物细分拓扑关系及地类面积的计算；（5）本文设计了实验系统，包括复杂对象的拓扑关系表达与计算程序、图斑地类面积的计算程序、基于空间拓扑关系规则的地籍数据库质量检查功能，以及时空拓扑关系和变化语义分析等原型，验证了拓扑关系表达模型和计算方法的可行性和实用性。

Moreover, thenotion of"Cumulative Degree","Cumulative Frequency" and"Cumulative Area"is established to describe the nature of spatial and temporal accumulation.

在此基础上，论文分析了区域开发环境影响累积的机理与过程，建立了相应的概念框架，并提出了描述区域开发环境影响累积特征的指标——"累积度"、"累积频率"、"累积效应区"和"累积影响区"。

The process for this curriculum design and implementation of temporal order and cyclic time concept includes three stages such as curriculum planning, curriculum implementation and curriculum promotion.

时间顺序与周期概念课程设计与实施的历程分为：课程规划、课程实施、课程推广等三个阶段。

As far as the issue of improving the temporal order and cyclic time concept of pupils at elementary schools was concerned, the author worked with a group of teachers as a research team. The third grade pupils were chosen to be target for this curriculum design and implementation.

源於对提升国小学童时间顺序与周期概念的关怀，研究者与学年教师组成研究小组以台北市文山区某国小三年级学童为课程设计与实施对象。

Issues dealt with included temporal dietary changes of neon damsel, dietary comparisons between Stegastes spp., feeding interactions between a territorial damselfish and blennies, and the effect of anthropogenic enrichment on diets of damselfishes.

文中所探讨的课题包括：变色雀鲷食性的时序性变动、真雀鲷间的食性比较、太平洋真雀鲷与鳚科鱼类间的摄食互动以及人为营养源对雀鲷食性的影响。

The packet assembly circuit generates a position identifier indicating a temporal position of the portion relative to the stream, inserts the position identifier into the data packet and queues the data packet for transmission through a backbone of the computer network.

数据包装配电路产生指示该部分相对于数据的时间位置的位置标识符，把位置标识符插入到数据包中，并对数据包进行排队，以通过计算机网络的主干线传送。

We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.

定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。

Keywords: continuous-time temporal logic; finite precision timed automaton; decidability; model checking.

中文关键词：连续时间时序逻辑；有限精度时间自动机；可判定性；模型检测。

Then the satisfiability of DTITL is equivalently transformed to the same problem for SFO. Since the decidability of SFO can be transformed to the satisfiability of the propositional interval temporal logic, so SFO is decidable.

利用多个命题变量等价表示有界整数，把SFO的可满足性判定问题等价转换为可判定的命题区间时序逻辑的判定问题。

The possible modes are judged by spacial and temporal correlation and the procedure of mode decision is simplified.

该算法利用宏块的时间和空间相关性，预先对宏块模式进行判定，从而使模式选择过程大大简化。

The receding calculations and experiment analyses in this subject are built on the blood cast of pig tongue.

本研究课题的前期工作是采用猪舌血管铸型模拟人舌而进行的数值计算与实验分析。

"Each human infection constitutes an opportunity for genetic modification of the virus through reassortment, mutation, or both...."

&每一次人类的感染都暗藏着一次基因修改的机会，无论是通过病毒的整合、突变或者兼而有之。。。。&