- 双语例句 更多例句
1、
A Quantitative Temporal Logic Approach to the Specification of Real Time Systems
实时系统的一种定量时态逻辑描述方法
互联网摘选
2、
3、
Temporal Logic Approach on Modeling and Analysis of Workflow with Process Algebra Style
一种进程代数风格的基于时序逻辑的工作流建模方法
互联网摘选
4、
5、
它由时序逻辑语言（temporal logic language，简称TLL）XYZ/E和以该语言为基础的一组软件工程工具组成。
互联网摘选
6、
提出了将线性时态逻辑（LTL）技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想。
互联网摘选
7、
其次，D3S的谓词不具备高层的逻辑表达能力，尤其是难以表达应用程序的时态特性。
互联网摘选
8、
Scholars always tend to find out the various chains of temporal logic in their studies.
在《庄子》道体研究中,学者们总是力图寻找各种不同形态的逻辑-时间链条.
网络文摘精选
9、
模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。
互联网摘选
10、
- 相关词组
- ad hoc logic专门逻辑;
- symbolic logicn.数理逻辑，逻辑符号;
- temporal hemianopia[医]颞侧偏盲;
- temporal database[计]瞬时数据库;
- temporal seta颞毛;
- temporal lobe颞叶;
- function logic功能逻辑;
- chop logicv.强词夺理;
- affective logic情感逻辑;
- logic function逻辑函数;
- logic semantics[计]逻辑语义学;
- temporal adaptation时间适应;
- contention logic[计] 争用逻辑;
- temporal semantics[计]时序语义学;
- biasing logic偏置逻辑;
- Boolean logicn.<数>布尔逻辑;
- temporal acuity时间视敏度;
- algebraic logic代数逻辑;
- fuzzy logic模糊逻辑;
- temporal bonen.颞骨;寿台骨;
- 今日热词
- 热门搜索
- riven adj.四分五裂的，撕裂的，分裂的，硬给分开的;v.裂开;分裂;撕开;拧去（from; away; off）;使烦恼
- Irish adj.爱尔兰的，爱尔（人[语，文化…）的;n.爱尔兰人;爱尔兰语;
- 5-htp 5-羟色胺;5羟色氨酸
- lie to me 别对我撒谎;
- Ambien 安比恩（唑匹旦、唑嘧啶胺药剂的商标）;
- SMC abbr.Scientific Manpower Commission <美>科学人力委员会;滑模控制;短信中心;软磁复合材料;安全管理中心;无杆气缸
- disadvantage n.劣势;障碍;不利因素;
- carbon n.碳;复写纸;
- fit v.适合;合身;试穿;放置于;可容纳;安装;与…相配;胜任;发作;adj.健康的;适合的;俊秀的;就要;
- quake vi.发抖，颤抖;摇动，震动;
- three num.三;三个;第三（章，页等）;n.三个（人或物）;第三（课、章、行等） ;三岁;表示三的符号（3, iii, III）;<英橄> 中卫;三个（人或物）一组;3字型
- safety n.安全（性）;安全场所;中卫;adj.保障安全的;安全的;保护的，防护的;稳妥地;有把握地
