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

  • 定义了稠密时间区间时序逻辑,它是区间时序逻辑的一种实时扩充。
  • 来源:互联网摘选更新时间:2025-01-20 18:23:49

  • 重点词汇
  • temporaladj.时间的;世俗的;暂存的;<语>表示时间的;
  • logicn.逻辑(学);思维方式;(做某事的)道理;
  • aart. (用于可数名词或单数名词前,表示未曾提到的)一(人、事、物);用于前有形容词或后有短语的不可数名词前;一(个);每一(个);任一(个);
  • problemn.问题;习题;
  • presentadj. 现在的;目前的;出席的;[语法学]现在时的;存在;当前的;出现;出席;在场;现存的
  • denseadj.密集的,稠密的;浓密的,浓厚的;愚钝的;
  • theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用,指事物或统称的人;用于姓氏的复数形式前,指家庭或夫妇;(指特定用途的事物)足够,恰好;每,一;当前的,本,此;(重读,表示所指的为知名或重要的人或事物)
  • exploitvt.开发;剥削;发挥;利用(…为自己谋利);压榨;运用
  • timed同步的,定时的,时控的;
  • andconj. 和,与;而且;于是,然后;因此;
  • 相关例句
1、

Based on the scheduling decidability conditions, we propose a heterogeneous multiprocessor multi-frame real-time task scheduling algorithm based on genetic algorithm.

以此为基础利用调度可判定性条件,提出了基于遗传算法的异构多处理器多帧实时任务调度算法。

互联网摘选

2、

The decidability of system M can thus be derived from the finite model property.

这不仅可以证明M的完全性,还可证明M的有穷模型性,因此M是可判定的。

互联网摘选

3、

Could you give me, a foreigner, a lecture first?

可不可以先给我这个老外讲一讲.

互联网摘选

4、

No.4 Open your mouth bravely because foreigners are just scarecrows.

老外都是纸老虎,勇敢的说出来.

互联网摘选

5、

Along the river bar sat a group blonde foreigner.

河边沿街的酒吧里坐着一群群金发碧眼的老外.

互联网摘选

6、

And the same logic should apply to everyone, including foreigners or Americans.

这一逻辑同样可运用到每个人身上, 包括老外或老美.

互联网摘选

7、

Dogs there barked as we passed, which quite frightened a fellow foreigner.

我们一路喧哗惹得村里的狗狂吠不停, 把同行的老外吓得不轻.

互联网摘选

8、

He spoke that way as if he were a foreigner.

他讲话的方式就好像是老外.

互联网摘选

9、

The west's negative or positive is our criteria for good and bad?

老外赞扬与否,难道就是好与坏的标准 么 ?

互联网摘选

10、

They were in fact far more expensive because they were for laowai!

它们实际上非常昂贵,就因为是为老外准备的!

互联网摘选

11、

Open your mouth bravely because foreigners are just scarecrows.

秘诀四老外都是纸老虎,勇敢的说出来.

互联网摘选

12、

And foreigners in China are also welcoming these high-quality products.

另外,在中国的老外也很喜欢这种高品质的有机食品.

互联网摘选

13、

How I admire those who can talk with foreigners fluently and freely in English!

我真羡慕那些能够流利自如地用英语同“老外”交谈的同学!

无师自通 校园英语会话

14、

Thus the learner is endowed with eight factors, and the Arahant with ten.

有学人具有八个要素, 阿罗汉具有十个要素.

互联网摘选

15、

On occasion, distinguished scholars, government experts and business leaders will be invited as visiting professors.

根据需要, 也会邀请中国及海外的访问学人、商界资深人士担任短期或客座教授.

互联网摘选

16、

He raises a parrot, which can repeat people's words.

他家养了一只绿衣使者,好象还会学人说话呢.

互联网摘选

17、

Traffic accident crime is frequently occurred nowadays.

交通肇事罪是一种多发的常见性犯罪.

互联网摘选

18、

Women's crime divided into two major types: sexual crime and crime. "

女性犯罪分为两大类型: 性犯罪和刑事犯罪.

互联网摘选

19、

Sex crimes were just as numerous as they are today.

当时性犯罪和现在一样多。

词典精选例句

20、

Jennifer: I don't know. Hey, could we afford a taxi?

詹妮弗: 我不知道. 嗨, 我们还能付得起出租车费 吗 ?

互联网摘选

  • 今日热词
  • 热门搜索

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈