最弱前置条件方法weakest pre-condition method Zuiruo q.QnZhl tlQOJIan fangfa最弱前置条件方法(w“‘estp份conditionmethod)基于最弱前置条件的一种程序完全正确性证明方法。最谙前!条件指保证一个语句执行正常结束并满足结果断言的最弱前提条件。它是一个谓词公式,通常用饮夕(s,R)表示,这里,R是语句S执行后所期望的结果断言(后...
死锁deadlock 5 ISUO死锁(deedl仪k)多个进程因竞争共享资源而处于永远等待的状态。例如,一个系统含有资源Rl,凡,两个进程A,B分别占有其中一个资源而申请另一个资源,这样就出现了进程A占有资源Rl而等待进程B释放资源凡;进程B占有资源R2而等待进程A释放资源Rl,于是这两个进程都不能执行下去而处于永远等待的死锁状态。 产生死锁的因素很多,不仅与系统拥有的资源数量有关,而且与资源分...
单连通和多(复)连通超导体(simplyandmultiplyconnectedsuperconductors) 单连通超导体一般指的是不包含有非超导绝缘物质或空腔贯通的整块同质超导体,若有非超导绝缘物质或空腔贯通的超导体则称为多(复)连通超导体。从几何学上讲,在超导体外表面所包围的体积内任取一曲线回路,这回路在超导物质内可收缩到零(或点),且所取的任意回路均可收缩到零而无例外,则称单连通超导体。...