终止 1.(结束) stop; end; suspend 要求终止这种不正常状态 demand an end to this abnormal state of affairs; 终止外交关系 suspend diplomatic relation; 接着喧闹声逐渐消失, 音乐也终止了。 then the din gradually dies down and the music stops.2.(停止) termination; annulment; abrogation 终止合同 terminate a contract; 终止条约通知书 notice of termination of a treaty; notice of denunciation3.[音乐] cadence; 终止符 [音乐] a full stop; a period; terminator; 终止符号 terminal; 终止日期 closing date; 终止信号 termination signal
To set the initial state to nonsignaled ,则将初始状态设置为非终止。
Sets the state of the event to nonsignaled , causing threads to block 将事件状态设置为非终止状态,导致线程阻止。
Threads can be made to wait on events by calling one of the wait methods , such as 方法被调用时才还原到非终止状态。
Changes from signaled to unsignaled automatically any time it activates a thread 激活线程,它的状态将自动从终止变为非终止。
If the object s state is unsignaled , the method registers a wait operation 如果对象状态为非终止状态,则方法将注册一个等待操作。
Instead , the event would revert to a non - signaled state after just one thread responded to the event ,则仅在一个线程响应该事件以后,该事件就还原到非终止状态。
Threads can be suspended by being made to wait on a synchronization event that is unsignaled , and can be activated by changing the event state to signaled 让线程等待非终止的同步事件可以将线程挂起,将事件状态更改为终止可以将线程激活。
This requires synchronization events , which are objects that have one of two states , signaled and un - signaled , that can be used to activate and suspend threads 这需要“同步事件” ,它是有两个状态(终止和非终止)的对象,可以用来激活和挂起线程。
9 feng s , sakabe t , inagaki y . confluence property of simple frames in dynamic term rewriting calculus . ieice trans . information and systems , 1997 , e80 - d : 625 - 645 它大幅度拓宽了前面证明方法的应用范围,并可以应用于非终止非合流以及非左线性的项重写系统。
Jon edvardsson et al pointed out that the technique developed by neelam gllpta et al is neither complete nor terminationai for w on which all of the predicate functions with respect to the input variables are linear , and suggested using linear programming and linear ( mixed ) integer programming methods instead Jonedvardsson等人指出,对于谓词函数均为输入变量的线性函数的程序路径, neelamgupta等人提出的求解方法是不完备的和非终止的,并建议采用线性规划、线性(混合)整数规划方法。