| 释义 |
LTLCOCA¹⁰⁹²⁶⁵BNC¹⁴⁴⁶⁶⁴⁺³
基本例句
n.小于卡车载重量两线间的
This thesis explained the cult of Dionysus according to the theory of ' four factors of the religion' put forward by a Chinese scholar Ltl Daji.
二是以“宗教四要素”为理论框架分析狄奥尼索斯崇拜作为一种宗教现象的基本特点。 cnki
At last, the application of Property patterns of LTL formulas was given in SPIN tool.
最后介绍了线性时态逻辑特性模式在 SPIN中的应用。 cnki
At present, few academic researches for these enterprises were made, especially the study of the direct- runs and terminal-to-hub LTL.
目前针对这类物流企业所进行的理论研究比较薄弱，特别是在对直达式与中转式相关研究较少。 dictall
He and his co- authors conclude, “ In obese men, shortened LTL is a powerful marker of increased carotid intimal media thickness.”
他及他的同事的结论是，在肥胖人群，缩短的白细胞端粒长度是颈动脉内膜中层厚度增加的有力预测标志物。 dxy
In this paper, we design and implement a method of producing test oracle from program's LTL Linear Temporal Logic property.
文中，作者设计并实现了一种根据程序的线性时序逻辑 LTL的性质产生测试预言的方法。 cnki
In the applications of model checking, the software properties are usually depicted by Linear Temporal Logic LTL formulas.
在模型检查应用中，需要使用线性时态逻辑对软件具备的特性进行描述。 cnki
Low temperature hydrothermal treatment of an LTL zeolite- producing mixture produces a colloidal suspension of the zeolite;
低温水热特沸石的生产混合物产生的沸石胶体悬浮；1168818
The study indicates that exclusive LTL should be installed in approaches generally in view of the traffic operation efficiency and safety.
综合考虑交通运行效率和安全两个方面， 建议在一般情况下，交叉口进口道都应设置左转专用车道。 iciba
Then the specification is described in computation tree logic CTL or linear temporal logic LTL formula.
其次，验证规范通过可计算树逻辑 CTL或线性时态逻辑公式 LTL表示出来。 cnki
LTL cargo transportation, vehicle scheduling, network throughout the country.
零担货物运输，整车调度，网络遍及全国。 ycmhz |