摘要：在面向对象Petri网建模的基础上,在对象内部引入了一个特殊的变迁——控制变迁,在各对象之间引入了控制器,提出了一种基于控制结构的面向对象Petri网(CS-OOPN)模型,并阐述了CS-OOPN建模的步骤。该模型克服了传统的面向对象Petri网建模缺乏流程柔性和系统灵活性的缺点,能更加直观、灵活地描述工作流程。最后通过利用该模型为某集团公司设备采购管理系统建模,以审批部门的CS-OOPN模型为例,求其关联矩阵、可覆盖性树和P不变量,并进行相关性分析,结果表明了CS-OOPN的有效性和强大的建模能力。

摘要：提出了一种将构件的通用属性和特殊属性分开描述及管理的构件通用属性描述方法CGADM及其扩展机制,阐述了该描述方法的定义,分析了其特点。基于该描述方法设计实现了一个构件管理实验系统,证明了该描述方法具有良好的描述性能和扩展性能。

摘要：阐述了面向对象技术和Petri网的结合方式,提出了面向对象Petri网的建模过程,给出其详细的建模步骤和流程图,讨论了面向对象Petri网的动态特性分析方法,分析和总结了OOPN、OOCPN、OOAPN以及OOTPN的研究现状和各自建模的利弊,最后对面向对象Petri网的相关技术和发展趋势进行了综述与展望。

摘要：《网络安全》是一门实践性很强的课程,如何设计好该课程的实践学习是掌握该门课程的一个重要环节。以该课程自身特点为基础,结合虚拟实验技术,阐述如何构建虚拟网络环境,并以Sniffer抓包分析TCP/IP协议实验和使用"冰河"木马进行远程控制为案例,详细描述实验过程。实验表明,使用虚拟机技术构建网络安全试验教学环境投资少、推广性强,并能够增强学生学习兴趣,提升教学效果。摘要: