（1） 掌握基本的同步与互斥算法，理解生产者消费者模型。 （2） 学习实用Windows2000/XP中基本的同步对象特性，掌握相关API的使用方法。 （3） 了解Windows2000/XP中多线程的并发执行机制，实现进程的同步与互斥。 -(1) master the basic synchronization and mutual exclusion algorithms, understanding of the producer consumer model. (2) lea

用于概率模型检测，验证系统相关性质，如某个时间内在多大的概率下功耗是多少-Probabilistic model for detection, the nature of authentication systems, such as how much a certain period of time under the probability of how much power