We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.
定义了稠密时间区间时序逻辑,它是区间时序逻辑的一种实时扩充。
来源:互联网摘选虽然这是张流行音乐专辑,可是它在音乐部份的稠密,让我觉得很值得探讨。
来源:互联网摘选研究用未胶化的木薯淀粉作稠化剂添加到婴幼儿食品中的生产工艺.
来源:互联网摘选NuBo Cell Dynamic Bio-Gold Essence is a not-very-nice-smelling orangey goop.
NuBo Cell Dynamic Bio-Gold Essence精华素是味道不太好闻的橙色粘稠物。
来源:互联网摘选The resulting goop gained consciousness, and became an indestructible gelatinous mass.
所得到的粘稠物质获得了意识并变成了一个无法摧毁的粘胶状物质
来源:互联网摘选套保稠油区块油藏埋深浅,油层温度低、孔隙度和渗透性高、碱敏性强、岩性疏松、底水丰富,且存在漏层。
来源:互联网摘选Chemical upgrading reactions of heavy oil with low sulfur content under steam injection
注蒸气条件下低硫稠油化学改质反应
来源:互联网摘选Advances in downhole catalytic upgrading of heavy oil under steam injection conditions
注汽热采条件下稠油井下催化改质的研究进展
来源:互联网摘选Research on the heavy oil sewage treatment technology with wet steam boiler
稠油污水回用湿蒸汽锅炉处理技术研究
来源:互联网摘选实验结果表明,经微生物降解后,稠油粘度和凝固点分别降低了36%和75℃;
来源:互联网摘选本文主要经实验研究单一乳化剂、增稠剂复配后的效果。
来源:互联网摘选包括超稠油乳化最佳特征参数的测定,目标活性剂主剂的确定合成,优选评价技术和对后续破乳影响因素的研究。
来源:互联网摘选
简答网 · 英语词汇

简答网 · 英语词汇

简答网 · 四六级英语

简答网 · 双语娱乐资讯

简答网 · 初中英语作文

简答网 · 高考英语