1) intermittence
[英][intə'mitəns] [美][ɪntɚ'mɪtəns]
中(间)断
2) A break or gap.
间断，中断
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) time interrupt
时间中断
6) intermittence
[英][intə'mitəns] [美][ɪntɚ'mɪtəns]
中断，间断，间歇[性]
补充资料：跟距关节融合和跗中关节离断术
跟距关节融合和跗中关节离断术
Syme amputation
踝部截肢时，胫骨下关节软骨切除、保留软骨下骨质，切除距骨和跟骨，保留跟骨后部骨膜和跟下脂肪垫，将其与胫骨残端骨膜缝合。残端负重性能好，也方便安装假肢。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条