基于Petri网的IPv4到IPv6协议转换分析

应用Petri网原理分析IPv4-IPv6协议转换,并结合实际的系统和详细转换流程图,建立Petri网模型。通过此Petri网模型的有界性、可达性及活性等动态特性,证明此转换模型功能和安全上的可行性。     

“算法设计与分析”课程教学改革初探

“算法设计与分析”是工程硕士研究生的一门核心课程，本文结合算法设计与分析课程的特点，对该课程的教学内容、教学方法与教学手段等三方面的改革做了一些有益的探讨。