查询词典 temporal

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.

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

Evolution and phylogeny are a factual system based upon the temporal order framework of fossils, which by no means can be deducible solely by any data analysis.

进化和系统发育是以化石的时序框架为基础的事实体系，而绝不可能单独通过任何数据分析就可推测。

The model presents the prerequisite conditions of the delegator and the delegatee, analyzes the constraints of the delegation width and the delegation depth, and the delegation revocation based on the temporal constraints.

该模型提出了委托用户和被委托用户的资格判定条件，分析了授权宽度和授权深度的约束条件及基于时间限制的自动撤销委托授权机制。

People often derogate others in social comparison and the past selves in temporal comparison, so

在社会比较中人们会贬低他人，在时间比较中人们会贬低过去的自我，从而来达到提高自我，最终使现在的自我感觉良好。

First, time series of spontaneous spike trains of auditory nerve, which represent Poisson distribution in time field, are pure stochastic process, or process which have inherent temporal regularity, that is, inherent deterministic mechanism?Second, if the process have inherent deterministic mechanism, how to depict it?

我们关心的问题是：一、在时间轴上放电间隔分布呈泊松分布的听神经自发放电时间序列，是一单纯的随机过程，还是具有某种内在的时序规律性，或称之为内在确定性？

Based on available effort and information,the authors summarize the temporal-spatial relation between the distribution of CO_2 and hot fluid flow, analyse the positive and negative effect of the hot fluid flow on CO_2 accumulation, and build up the model of CO_2 accumulation dominated by hot fluid diapir.

在前人的研究基础上，详细地总结了CO2分布与热流体活动在平面、纵向和时间上的对应特征，认为热流体活动与CO2分布的确存在一定的对应关系；同时，认为热流体可以促进CO2气源形成，可作为CO2气运移的载体，同时促进运移通道的扩大，也为CO2气运移提供能量，流体在上侵过程中与围岩发生反应，改造了CO2气储层，热流体在向上释放能量的过程中，造成上覆地层的拱起，形成圈闭，最终也可控制CO2气成藏。

In the process of urban development, architecture design has always been regarded as a tool to solve problems of landscapes in temporal suspension and functional dilapidation.

中文摘要城市发展中，当面对空间机能消耗殆尽所产生的悬置地景时，建筑设计往往被当作解决问题的工具。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。