助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   时间语义逻辑 的翻译结果: 查询用时:0.014秒
图标索引 在分类学科中查询
所有学科
更多类别查询

图标索引 历史查询
 

时间语义逻辑
相关语句
  interval temporal logic
     Intrusion Signatures Interval Temporal Logic Analysis and Implementation
     入侵特征的时间语义逻辑及实现
短句来源
  “时间语义逻辑”译为未确定词的双语例句
     Temporal Model and Evolutionary Strategy of Lymphocytes
     淋巴细胞的时间语义逻辑模型及其演化策略
短句来源
     Based on the interval temporal of antigens,this paper founds a interval temporal model of lymphocytes with extended logic programming using first logic as description of antigens and lymphocytes.
     基于抗原的相对时序关系,该文采用了一阶逻辑作为抗原和淋巴细胞的基本描述语言,以扩展逻辑程序构造淋巴细胞的时间语义逻辑模型,给出了淋巴细胞的逻辑表示形式。
短句来源
  相似匹配句对
     Intrusion Signatures Interval Temporal Logic Analysis and Implementation
     入侵特征的时间语义逻辑及实现
短句来源
     Temporal Model and Evolutionary Strategy of Lymphocytes
     淋巴细胞的时间语义逻辑模型及其演化策略
短句来源
     Temporal Hierarchical Semantic Structure and Understanding
     时间语义层次结构及理解
短句来源
     The Logical Meaning of “shi” in Intensive Logic
     “是”的内涵逻辑语义解释
     Time
     时间
短句来源
查询“时间语义逻辑”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  interval temporal logic
Within ATOM, a formal specification (or abstract description statement) contains Interval Temporal Logic (ITL) description of the timing, functional, and communication behavior of the proposed real-time system.
      
Moreover, the decision procedure is extended to check the satisfiability of the formulas of Propositional Interval Temporal Logic.
      
It is an extension of Interval Temporal Logic [Mos85] where one can reason about integrated constraints over time-dependent and Boolean valued states without explicit mention of absolute time.
      
In pursuing this objective we specify the Interacting Cognitive Subsystems model formally using the process calculus LOTOS and then we verify that it satisfies certain behavioural goals formulated in the interval temporal logic Mexitl.
      
The formal approach is based on Interval Temporal Logic and its executable subset, Tempura.
      
更多          


There are many semantics in digit sequence antigen space.It can improve the accuracy of system detection to recognize upon the semantics of antigens.Based on the interval temporal of antigens,this paper founds a interval temporal model of lymphocytes with extended logic programming using first logic as description of antigens and lymphocytes.As the semantics model of logic program,the matching rule of new lymphocytes is to compute the stable model of lymphocytes and antigens.Based on GILP,this paper introduces...

There are many semantics in digit sequence antigen space.It can improve the accuracy of system detection to recognize upon the semantics of antigens.Based on the interval temporal of antigens,this paper founds a interval temporal model of lymphocytes with extended logic programming using first logic as description of antigens and lymphocytes.As the semantics model of logic program,the matching rule of new lymphocytes is to compute the stable model of lymphocytes and antigens.Based on GILP,this paper introduces an evolutionary algorithm of the new lymphocytes.

数字序列抗原内部存在许多语义特征,针对抗原进行语义识别可以提高系统检测的准确性。基于抗原的相对时序关系,该文采用了一阶逻辑作为抗原和淋巴细胞的基本描述语言,以扩展逻辑程序构造淋巴细胞的时间语义逻辑模型,给出了淋巴细胞的逻辑表示形式。基于逻辑程序的稳定模型语义学,用稳定模型语义计算作为新的淋巴细胞的匹配算法。借鉴遗传归纳逻辑程序GILP的基本思想,给出了新的淋巴细胞的演化算法。

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关时间语义逻辑的内容
在知识搜索中查有关时间语义逻辑的内容
在数字搜索中查有关时间语义逻辑的内容
在概念知识元中查有关时间语义逻辑的内容
在学术趋势中查有关时间语义逻辑的内容
 
 

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