At last, the application of Property patterns of LTL formulas was given in SPIN tool.

  • 最后介绍了线性时态逻辑特性模式在SPIN中的应用.
  • 来源:互联网摘选更新时间:2025-01-18 16:57:09

  • 重点词汇
  • formulasn. (专业术语)公式;方案;准则;程式;
  • spinv.使旋转;急转弯;疾驰;甩干衣服;有倾向性陈述;纺纱;吐丝;
  • patternsn.榜样( pattern的名词复数 );样品;花样;方式;
  • ltlabbr.零担(less than truckload);立陶宛立特(立陶宛的货币名称缩写);
  • propertyn.财产;房地产;特性;属性;
  • applicationn.应用;应用程序;申请;(尤指理论、发现等的)运用;申请表;申请书;施用;敷用,敷用药;涂抹;勤勉,勤奋,用功;
  • ofprep. 关于;属于…的;由…制成;
  • wasv. 用来表示某人或某物即主语本身,用来表示某人或某物属于某一群体或有某种性质( be的过去式 );在,存在;不受干扰;
  • atprep. 在(某时间或时刻);在(学习或工作地点);在(某处);在…岁时;向;以,达;处于最佳(或最差等)状态;在…方面;以…的方式;从事于,忙于;因为,由于;应…(而)
  • theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用,指事物或统称的人;用于姓氏的复数形式前,指家庭或夫妇;(指特定用途的事物)足够,恰好;每,一;当前的,本,此;(重读,表示所指的为知名或重要的人或事物)
  • 相关例句
1、

Simulation results of LTR control for a turbofan engine show the effectiveness of the approach.

将此设计方法应用于某型涡扇发动机的LTR控制,取得了良好的控制效果.

互联网摘选

2、

The LTR control aeroengines was studied.

研究了航空发动机的传递函数回路法(LTR)控制.

互联网摘选

3、

Promotingefficacy of the longterminal repeat ( LTR ) of the DLA-EIAV was charactenzed.

DLA-EIAV 株与其亲本马强毒L株 和驴强毒DA-EIAV 株核苷酸序列相比,同源率分别为97.0%和97.5%.

互联网摘选

4、

I mean, are you happy at LTV?

我是说, 你在L电视台高兴 吗 ?

互联网摘选

5、

Objective To study the therapeutic and protective effect of low tidal volume ( LTV ) ventilationacute respiratory failure.

目的探讨小潮气量机械通气的临床治疗及肺保护效果.

互联网摘选

6、

On 19 th October 1936, Lu Xun died in Shanghai.

民国廿五年十月十九日鲁迅死于上海.

汉英文学 - 散文英译

7、

Lu Shun's plays always act well.

鲁迅的剧本上演的效果总是良好.

《现代英汉综合大词典》

8、

" No , it is not ,'said Mrs. Lu Xun. " It's a very tough plant. "

许先生说: “ 不怕的, 最耐久! ”

汉英文学 - 散文英译

9、

After Lu Tzu-hsiao left , Hung-chien began to think how funny it was.

子潇去了, 鸿 渐 想着好笑.

汉英文学 - 围城

10、

Kong Meixi of eastern Lu suggested the title Precious Mirror of Love.

东鲁孔梅溪则题曰>.

英汉 - 翻译样例 - 文学

11、

Lu Tzu-hsiao did not mention his dinner invitation again.

陆子潇也没再提起请饭.

汉英文学 - 围城

12、

After the planekuang hong luan zha artillery, and attack groups onto the di bing.

在飞机大炮狂轰乱炸之后, 一群群敌兵又攻上来了.

互联网摘选

13、

Conclusion The source water diverted from Luan River was polluted by protozoan and viruses.

结论引滦水源已受原虫和病毒的污染.

互联网摘选

14、

Luan Ping stood still vainly ( in vain ) to answer the battery of questions Yang Zirong raised.

栾平 呆立着,回答不出杨子荣的一系列问题.

互联网摘选

15、

The main rivers are Luan River, Liuhe , and threw River, Heihe.

主要河流有滦河 、 柳河、撒河 、 黑河等.

互联网摘选

16、

Autumn Period, Luan home town , where the rule this town north Shili Pu.

春秋, 置栾邑, 治所在今县城北北十里铺.

互联网摘选

17、

Continue to surpass themselves luan Rui people are always pursuing.

不断地超越自己是銮瑞人的始终追求.

互联网摘选

18、

A result, yi luan , defeat and flee, Xiao Fu captured and sentenced to death penalty.

结果, 以卵击石, 兵败而逃, 肖芾被擒,判处死罪.

互联网摘选

19、

Luan Jujie in Fencing.

击剑:栾菊杰.

互联网摘选

20、

Luan Tou and Li Qi compliment each other.

峦头理气互扣,举一反三,环环相接.

互联网摘选

  • 今日热词
  • 热门搜索

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

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