in addition, the consistency between the operationalsemantics and the minimal model semantics based on model theory is proved in detail.

  • 进一步,我们研究了两类迁移系统的性质,并证明了操作语义和基于模型理论的极小模型语义之间的一致性。
  • 来源:互联网摘选更新时间:2026-07-13 15:00:41

  • 重点词汇
  • based on基于;以……为基础
  • AND与(计算机逻辑运算的一种,或称逻辑乘法) AND gate “与”门(电路,脉冲);
  • Andabbr.Andorra 安道尔;Andaman Islands 安达曼群岛;Andromeda 安多米达(埃塞俄比亚公主);Andalucía 安达卢西亚;
  • provedv.证明( prove的过去式和过去分词 );检验,试验;
  • minimal model极小模型
  • model theory模型论
  • andconj. 和;与;而且;于是;然后
  • theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用,指事物或统称的人;用于姓氏的复数形式前,指家庭或夫妇;(指特定用途的事物)足够,恰好;每,一;当前的,本,此;(重读,表示所指的为知名或重要的人或事物)
  • consistencyn.连贯性,一致性;稠度;
  • isvt.& vi. 是(be的三单形式);
  • semanticsn.语义学;词义学;
  • inprep. 在里面;在(某范围或空间内的)某一点;在(某物的形体或范围)中;在…内;在…中;进入
  • 相关例句
1、

an orifice with a certain diameter is arranged below the trap valve.

滤网下方设有直径一定的量孔。

互联网摘选

2、

pneumoceles may occur suddenly, presumably by a trap-valve mechanism or by rupture of a large mucocele.

窦膨出可见突然发生,大概是一种滤网机制或者是一个大的黏液囊肿破裂所致。

互联网摘选

3、

the law of karma acts over our successive lives to ensure justice.

羯摩法则在我们前后相继的生命中发挥作用,以确保公正.

互联网摘选

4、

my life is a succession of events, just like yours.

我的一生与你一样由相继的事件串成.

互联网摘选

5、

huaxi , in the southern outskirts of guiyang, is the typical suburban agriculture area in guizhou.

花溪区 地处贵阳市南郊, 是贵州典型的城郊农业区.

互联网摘选

6、

he was invited to sup with his colleague and the colleague's wife.

他被邀请与他的同事及其夫人共进晚餐。

词典精选例句

7、

he was invited to sup with a fellow employee and their partner.

他受邀与一位同事及其伴侣共进晚餐。

词典精选例句

8、

we gently sup the warm cider.

我们轻柔地小口啜饮着热苹果酒。

词典精选例句

9、

only lively lectures can amuse and impress students.

只有活泼生动的讲课才能把学生逗乐并给他们留下印象.

互联网摘选

10、

a beautiful appearance always can impress people.

漂亮的外表总是可以给人留下印象.

互联网摘选

11、

what impressed you most in shenyang?

沈阳给您留下印象最深的是 什么 ?

互联网摘选

12、

the cockney accent is a put-on adopted for effect.

这伦敦腔是一种为了给人留下印象而刻意模仿的做作口音。

词典精选例句

13、

the faint light slowly grew brighter, scarcely making an impression on her awareness.

那微弱的光慢慢变得更亮,几乎没有在她的意识中留下印象。

词典精选例句

14、

defines an embedded object.

可定义嵌入的对象.

互联网摘选

15、

a development agreement for oil and gas deposits adjacent to archangel was finalized by shell.

壳牌石油公司就阿尔汉格尔附近的油气田开发达成了一项协议。

词典精选例句

16、

training for professional athletes

职业运动员的培训

词典精选例句

17、

the company is run with authentic professional skills and an unmistakable individual touch.

这家公司以真实的专业技能和明显的个人特色运营。

词典精选例句

18、

a former professional athlete who now studies fine arts after a short soccer career.

曾有过短暂足球生涯的前职业运动员,现攻读美术专业。

词典精选例句

19、

jack nicklaus has competed in every major championship since becoming a professional golfer in 1961.

自1961年成为职业高尔夫球手以来,杰克·尼克劳斯参加了每一场大满贯赛事。

词典精选例句

20、

no time in my professional athletic journey has injuries hit me with worse timing than during my peak performance years...

在我的职业运动生涯中,伤病从未在我巅峰表现期以更糟的时机侵袭过我...

词典精选例句

  • 今日热词
  • 热门搜索

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

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