助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   temporal operator 的翻译结果: 查询用时:0.006秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
更多类别查询

图标索引 历史查询
 

temporal operator
相关语句
  时序算子
     The behavior of systems is analyzed and the semantics of action sequences are given, and a method of Intrusion detection based on model checking is presented to improve verifying processes, such as dealing with the problem of repeated verifications, adding constraint of deducing length, and exploiting a temporal operator to represent statistic attacks.
     在分析系统行为以及其动作序列的语义的基础上,利用时序逻辑公式描述攻击特征,提出了一种基于模型检查的入侵检测方法,该方法解决了检测中的重复验证等问题,通过增加推理链的长度约束,引入时序算子处理统计攻击,从而优化了入侵检测过程.
短句来源
  相似匹配句对
     p(x)-Laplace Operator
     p(x)—Laplace算子
短句来源
     Direction operator (?)
     引入了方向算符(?)
短句来源
     On Temporal Reasoning
     关于时间的推理
短句来源
     Temporal GIS;
     时态GIS(TGIS);
短句来源
查询“temporal operator”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  temporal operator
The deductive procedure proposed consists of decidable deductive procedures that replace infinitary and finitary induction rules for the temporal operator ``always''.
      
We will prove that the temporal operator atfirst cannot be expressed in TL' for the discrete linear bounded model of time.
      
Wherever a temporal operator takes part, search trees collect future values for those variables for the variable B.
      
Using this temporal operator it is possible to determine the time period during which the patient keeps his CVP stable.
      
The rendering stage deals with the creation of a single mosaic, by applying a temporal operator over the registered and aligned images.
      
更多          


Although BDI approach is currently a subject of much ongoing research, less relative works about modeling communication have been involved. The aim of this paper is to extend classical BDI logic for representing and reasoning about speech act interactions between multi agents. A many sorted, quantified, first order, multi modal logic with branching time structure is presented, including standard BDI modal and temporal operators like belief, goal, intention, etc. In addition, some operators and...

Although BDI approach is currently a subject of much ongoing research, less relative works about modeling communication have been involved. The aim of this paper is to extend classical BDI logic for representing and reasoning about speech act interactions between multi agents. A many sorted, quantified, first order, multi modal logic with branching time structure is presented, including standard BDI modal and temporal operators like belief, goal, intention, etc. In addition, some operators and constructs are introduced for characterizing agents' “know how” or having plans about how to achieve their intentions and for interpreting the pragmatic meanings of inter agent communication. While discussing the syntax and semantics of the logic, some kinds of illocutionary speech acts are logically classified and interpreted.

BDI(信念、期望和意图)逻辑是当前agent理论研究的热点课题之一,相关研究工作较少涉及对agent间通信的描述.文章旨在提出一个能表示和推理多agent间基于言语行为理论的通信行为的扩展BDI逻辑.该逻辑是一个多类、带量词并具有分枝时序结构的一阶多模态逻辑,除了包含标准BDI逻辑的模态和时态算子之外,还引入了一些必要的逻辑算子和构造符,用于刻画agent为实现其意图而具有的规划能力,以及对多agent通信给出正确的语用解释.文章讨论了逻辑的语法和语义,并对言语行为进行了逻辑分类和解释

By introducing unary temporal operators, any complicated relative sequential relations among events can be modeled. Based on this, a temporal event algebra for modeling composite events is redefined, along with it's mathematical properties being proven. This not only enriches the expressive power of the event language, but also provides a new approach to confluent rule execution in active database systems.

通过引入一元时序算子 ,表达事件之间任意复杂的相对次序关系 ,在此基础上重新定义了描述复合事件的时序事件代数 ,并证明了该事件代数良好的数学性质 .不仅增强了事件描述语言的描述能力 ,也为处理规则执行的合流性提供了新的方法 .

A spatial-temporal data model, named OPH model, for moving area object is presented, which considers spatial distribution and temporal evolvement of the moving object. In this model, the feature geometry of moving area object described by three kinds of spatial-temporal geometries, which are observation geometry, named O; currently present geometry, named P; and history geometry, named H. The definition of OPH is given, and then by using the union, the intersection, and the difference of set...

A spatial-temporal data model, named OPH model, for moving area object is presented, which considers spatial distribution and temporal evolvement of the moving object. In this model, the feature geometry of moving area object described by three kinds of spatial-temporal geometries, which are observation geometry, named O; currently present geometry, named P; and history geometry, named H. The definition of OPH is given, and then by using the union, the intersection, and the difference of set theory to populate and calculate the value of O, P and H is populated and calculated. The spatial-temporal topological relation is defined between moving area objects, then three spatial temporal operators based on OPH, Speed, Direction and Range of moving object, are given, and the examples of spatial-temporal query and trigger based on OPH are provided.

提出了一种平面移动对象的时空数据模型——OPH模型.在该模型中,平面移动对象由3种几何表示,即平面对象的观测几何O,目前存在的几何P以及平面移动对象的历史几何H.通过几何点集的差、并、交,研究并得出OPH的递归计算和更新策略.通过分析对象之间的空间拓扑关系和时间关系,得出两个平面移动对象在重叠时间区间上的时空拓扑关系.利用OPH模型,定义了平面移动对象的速度、方向、影响范围等空间方法;利用时空拓扑关系和空间方法,确定时空查询和空间触发事件.

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关temporal operator的内容
在知识搜索中查有关temporal operator的内容
在数字搜索中查有关temporal operator的内容
在概念知识元中查有关temporal operator的内容
在学术趋势中查有关temporal operator的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社