在一段时间(或满足其他条件)后终止某个作业,通常涉及两个进程,其中一个进程运行作业而另一个进程监视作业完成条件。
互联网摘选
追逐只要没有中断,可以在中华人民共和国领海或者毗连区外继续进行。在被追逐的船舶进入其本国领海或者第三国领海时,追逐终止。
互联网摘选
形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。
互联网摘选
Burstall/Darlington提出的展开/叠卷方法是程序转换中简单而有效的一种方法,但该方法仅保持函数的部分正确性,而可能失去某些值上的终止性。
互联网摘选
用热重分析的方法分析了在此条件下固化产物的分解温度和终止温度分别为329.4℃和417.5℃,这表明所合成的新型环氧树脂具有良好的耐热性能。
互联网摘选
对接入网电池在小电流使用状态下终止电压的确定作了简单地介绍。
互联网摘选
If the cost of money is higher, the cutoff point for the incremental investment is also high.
货币成本高,增加投资的终止点也高。
互联网摘选
与瑕疵相关的所有索赔权时效最早终止于最后的客户业已实现所有索赔权后的两个月。
互联网摘选
15例患者有房颤前发生房早二联律。9例患者在房颤自然终止后出现>1.5s的长间歇。
互联网摘选
还有的干脆省略终止按钮,直接依赖标题栏的关闭框。
互联网摘选
本文考察了Fe(naph)2-Al(i Bu)3卤化物体系催化丁二烯聚合的链引发、链增长和链终止反应。
互联网摘选
雇用人依前项规定终止雇佣契约时,须以书面通知船员.
期刊摘选
Determination of the cut-off voltage of VRLA battery at Low discharging current
VRLA电池小电流放电终止电压的确定
互联网摘选
本代理协议终止后,代理人无权继续使用甲方的任何资料及商标。
互联网摘选
方法:选择自愿终止妊娠的早孕妇女160例随机分4组,于人工流产术前不同时间阴道放置不同剂量的米索前列醇,观察术中扩宫的难易程度、手术时间及手术并发症。
互联网摘选
A static analysis technique is studied in active database system for rule termination.
研究主动数据库系统中规则终止特性的静态分析技术.
互联网摘选
