| 1. | To set the initial state to nonsignaled
，则将初始状态设置为非终止。 |
| 2. | Sets the state of the event to nonsignaled , causing threads to block
将事件状态设置为非终止状态，导致线程阻止。 |
| 3. | Threads can be made to wait on events by calling one of the wait methods , such as
方法被调用时才还原到非终止状态。 |
| 4. | Changes from signaled to unsignaled automatically any time it activates a thread
激活线程，它的状态将自动从终止变为非终止。 |
| 5. | If the object s state is unsignaled , the method registers a wait operation
如果对象状态为非终止状态，则方法将注册一个等待操作。 |
| 6. | Instead , the event would revert to a non - signaled state after just one thread responded to the event
，则仅在一个线程响应该事件以后，该事件就还原到非终止状态。 |
| 7. | 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
让线程等待非终止的同步事件可以将线程挂起，将事件状态更改为终止可以将线程激活。 |
| 8. | 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. | 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
它大幅度拓宽了前面证明方法的应用范围，并可以应用于非终止非合流以及非左线性的项重写系统。 |
| 10. | 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等人提出的求解方法是不完备的和非终止的，并建议采用线性规划、线性(混合)整数规划方法。 |
