论文研究一种基于虚拟组织的网格安全协议形式化验证方法.pdf

根据生灭过程的基本原理，从处理排队系统中特定的事件出发，设计并实现了一个基于事件驱动的排队系统仿真器。该仿真器能根据特定的系统配置，对实际数据进行分析和对特定过程进行模拟。仿真器包含的开发接口支持其模拟功能的扩展。实验表明，该仿真器能快速地完成特定的模拟过程，并获得与理论值非常接近的模拟结果，因此能用于对复杂排队问题的仿真和分析。