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
注汽热采条件下稠油井下催化改质的研究进展
互联网摘选
实验结果表明,经微生物降解后,稠油粘度和凝固点分别降低了36%和75℃;
互联网摘选
本文主要经实验研究单一乳化剂、增稠剂复配后的效果。
互联网摘选
包括超稠油乳化最佳特征参数的测定,目标活性剂主剂的确定合成,优选评价技术和对后续破乳影响因素的研究。
互联网摘选
