1) A break or gap.
间断，中断
2) intermittence
[英][intə'mitəns] [美][ɪntɚ'mɪtəns]
中断，间断，间歇[性]
3) intermediate assertion
中间断言
1.
The main purpose of this paper is to illuminate two thoughts and methods of formal verification: intermediate assertion and weakest predicate, on this base, two problems are solved:the relation to "Q contain Q′"and program correction; to verify program correction, if intermediate assertion is weaker, sometimes it is not better.
本文阐明了形式化验证中“中间断言”和“最弱前置谓词”两种思想和方法 ,在此基础上 ,解决了两个问题 :开始前置断言Q蕴涵非常弱的前置断言Q′与程序正确性的关系 ;对于验证程序正确性 ,中间断言并不是越弱越
4) disruption time
中断时间
1.
Mobile multicast is a research hotspot of mobile network,but most of mobile multicast schemes suffer from the long multicast disruption time and heavy protocol cost.
移动组播是移动互联网络技术的一个研究热点,但现有移动组播方案存在着组播中断时间长、协议开销大等问题。
5) intermittence
[英][intə'mitəns] [美][ɪntɚ'mɪtəns]
中(间)断
6) time interrupt
时间中断
补充资料：断言
断言
assertion
断盲脚留时妞.;。，移.曰.卜拿粤伽勺p万盛咖或s纽把-~)，(断亨)争匆((assej七Ve)sen让泊戊) 一个由其意义可断定其真假的陈述语句，在狭义下，数理逻辑中把它理解为逻辑一数学语言的一个闭公式，并且由其语言的语义(se江旧叮t心)可以断定其真假. 于是公理集合论中的各种数学命题，例如选择公擎~of咖让)，诊琴卿娜田掀加姻nh男沁th口is)等都能写成公式的形式;根据通常的语义法则、这个公式就表示了命题所包含的内容.但这决不意味着存在一个识别语言中命题的真假的方法.而且，语义学本身并未充分发展，或可以提供在解决某些断言真假的问题时会遇到的基本困难.在一个理论的框架内，某些断言的不可解性是由形式化方法(如m刘lza由n业血刃)阐明的(例如见公理集合论恤心。叮坦t允sett坛幻钾)).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条