中英▼
go top

linear time logic

网络释义

  一种是线性时序逻辑

面向方面软件体系结构动态演化方法研究(硕博学位论文) - docin.com豆丁网 Pnueli于1977年首先把它引入计算机科学中【251。根据 时序逻辑语义模型的内涵不同分为两类：一种是线性时序逻辑（LinearTime Logic， LTL），它把时间看成是一个线性序列；另一种是分支时序逻辑（Computing Time Logic， CT

基于2个网页-相关网页

  线性时序逻辑

面向方面软件体系结构动态演化方法研究(硕博学位论文) - docin.com豆丁网 Pnueli于1977年首先把它引入计算机科学中【251。根据 时序逻辑语义模型的内涵不同分为两类：一种是线性时序逻辑（LinearTime Logic， LTL），它把时间看成是一个线性序列；另一种是分支时序逻辑（Computing Time Logic， CT

基于2个网页-相关网页

短语

linear-time temporal logic 随后采用线性时序逻辑 ; 线性时序逻辑

Linear-time Temprol Logic 线性时态逻辑

modified linear time temporal logic 修改的线性实时逻辑

有道翻译

linear time logic

线性时间逻辑

以上为机器翻译结果，长、整句建议使用 人工翻译 。

双语例句

  • The logic path is unpredictable and requires activity to be detected and correlated by time and sequence across multiple applications (non-linear processing).

    逻辑路径不可预测，并且要求跨多个应用程序按时间和顺序对活动进行检测和关联(非线性处理)。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定