It consists of a TLL ( temporal logic language) XYZ/ E to serve as its kernel and a suite of software engineering tools.

  • 它由时序逻辑语言(temporal logic language,简称TLL)XYZ/E和以该语言为基础的一组软件工程工具组成。
  • 来源:互联网摘选更新时间:2026-07-13 14:57:43

  • 重点词汇
  • logicn.逻辑(学);思维方式;(做某事的)道理;
  • xyzabbr.examine your zipper (your fly is open) 检查你的拉链(你裤子的拉链开了)(代号);
  • toprep. 向,朝着;到;关于;属于;
  • TLLabbr.tank lighter 油驳(船);tricholeukocytic leukemia 毛白细胞性白血病;television laser link 电视激光链路;triple line logical 三行逻辑(梳状滤波器);
  • andconj. 和;与;而且;于是;然后
  • consists of包含;由…组成;充斥着;
  • aart. 一(个);每一(个);任一(个),用于辅音音素开头的单词前
  • toolsn.工具( tool的名词复数 );(有助于做工或完成某事的)用具;受人利用的人;
  • 相关例句
1、

The Program ( s) shall at all times remain the sole property of TLL and shall be retaken upon termination of this Agreement.

应该始终保证TLL对改程序的唯一所有权并且在协议中止时取回程序。

互联网摘选

2、

A prototype using TLL as intermediate language in Just-In-Time compiler provides a start point for building Java Virtual Machine with tiny Trusted Computing Base.

基于TLL的一个虚拟机原型系统已经实现,它可以作为实现一个具有微小的需信任计算基础的Java虚拟机的起点。

互联网摘选

3、

The function and design way of TLL is briefly introduced, and safe interlock is realized in furnace of distillation device.

简单介绍了TLL的功能和设计方法,以及在蒸馏装置加热炉安全联锁中的应用。

互联网摘选

4、

The Application of TLL in Realizing Safe Interlock of Furnace

用TLL实现加热炉的安全联锁

互联网摘选

5、

Effect of Impurities on the Structural Phase Transition in Tll

杂质对碘化铊结构相变机理的影响

互联网摘选

6、

The TLM Model of Power Transmission and Electromagnetic Field and Its Application

TLM法在电力输电线和电磁场分析中的应用

互联网摘选

7、

The basic theory and method of TLM are discussed in this paper.

论文探讨了交易级建模的基本原理和基本方法。

互联网摘选

8、

The Advance in The TLM Method and Its Applications

传输线矩阵方法的研究及其应用进展

互联网摘选

9、

The Application of TLM Method for Analysis of the Radiation Characteristics of Antenna Arrays

传输线矩阵(TLM)方法在分析天线阵辐射特性中的应用

互联网摘选

10、

Don't intermeddle my private business,please!

请不要干涉我的私事。

互联网摘选

11、

Fatigue reliability of TLP tendon system based on inspection

基于检测结果的海洋工程结构TLP系索系统疲劳可靠性分析

互联网摘选

12、

Effect of Holding Time on TLP Bonding of 20 Steel Pipes

保温时间对20钢管道瞬时液相扩散连接的影响

互联网摘选

13、

Therefore, TLP bonding can be widely applied in oil industry.

因此,TLP连接技术在石油工业中有着广泛的应用前景。

互联网摘选

14、

The general size planning is the fundamental part in a TLP design.

平台的总体尺度规划是张力腿平台设计中最基础的工作。

互联网摘选

15、

The authorities did not interfere with us.

当局不干涉我们。

互联网摘选

16、

So, we have't right to intermeddled, but if his act would give negative influence to his country.

所以,我们没有权利去干涉。但是如果他移民的行为对他的祖国造成消极的影响。

互联网摘选

17、

Results As compared with those in C group, severe hypoxemia, hypercapnia and acidosis appeared, ALC was reduced by 49.2%, TLW and EVLW markedly increased in I group ( P < 0.01).

结果与C组相比,I组出现严重的低氧血症,ALC降低49.2%,TLW和EVLW明显增加(P<0.01);

互联网摘选

18、

That is the area of the UN, we don't have the right to intermeddle.

这是联合国辖区,我们没权干涉!

互联网摘选

19、

At the very beginning of one day, I tell myself these words: I will meet these persons who loves intermeddle, and are ungratefulness, arrogant, cheating, jealous.

一日之始就对自己说:我将遇见好管闲事的人、忘恩负义的人、傲慢的人、欺诈的人、嫉妒的人和孤僻的人。

互联网摘选

20、

The form of halt is infrequently used, so it is obvious that phenomenon of using non-plot means intermeddle narration do not stand out at the beginning.

停顿的采用很罕见,可见,在古代通俗小说的起始阶段,用非情节手段进行叙事干预的现象还不明显。

互联网摘选

  • 今日热词
  • 热门搜索

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

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