基于赋时颜色Petri网的NSSK协议建模

随着对计算机网络应用的不断深入,对网络协议的安全性进行分析和研究已经成为信息安全领域的一个十分重要的研究方向.设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤.验证安全协议的模型和工具有很多,主要应用赋时颜色Petri网分析了安全协议中著名的NSSK协议,应用赋时颜色Petri网的变迁为导向的建模方法,成功地对NSSK协议进行了建模,并验证了协议运行过程中的有效性.为下一步利用颜色Petri网协议针对NSSK协议的安全性进行分析打下了良好的基础.     

塑料圆形管材挤出胀大的数值模拟

挤出胀大是塑料圆形管材生产过程中不可避免的一种现象。在实际生产中,目前主要采用传统经验试差方法设计挤出口模,缺乏相关的理论研究及指导。本研究针对管材挤出工艺,建立了几何模型和数学模型,采用稳态不可压缩流体流动的有限元模型,模拟了PTT流体经过圆环口模挤出胀大现象。采用罚有限元将连续性方程引入动量方程,减少了同时计算的变量数,有效提高了计算效率。模拟结果表明,口模出口处聚合物熔体表面第一法向应力差急剧增大。口模尺寸一定时,聚合物的挤出胀大率随体积流量的增大而增大。同时也系统分析了口模尺寸对挤出胀大的影响规律。模拟结果对实际生产中的模具设计具有一定的指导意义。     

基于时间Petri网的多处理机的调度算法

任务调度是并行分布式计算机中最有挑战性的问题之一。如何合理有效地进行任务调度将直接影响到系统的并行效率。文中通过将任务图转换为时间petri网的方法,利用求时间petri网的可覆盖树的方法来分析网系统的状态变化和变迁的发生序列,从而求出关键路径和顺序队列。再将该队列分配到处理机上,来缩短相关任务图的调度长度。     

基于时间Petri网的多处理机的调度算法

任务调度是并行分布式计算机中最有挑战性的问题之一。如何合理有效地进行任务调度将直接影响到系统的并行效率。文中通过将任务图转换为时间petri网的方法,利用求时间petri网的可覆盖树的方法来分析网系统的状态变化和变迁的发生序列,从而求出关键路径和顺序队列。再将该队列分配到处理机上,来缩短相关任务图的调度长度。     

MapReduce的随机Petri网模型研究

首次提出用随机Petri网为MapReduce逻辑模型建立Petri网模型的思想,目的在于采用随机Petri网工作流性质对其进行分析。因此,在研究MapReduce逻辑模型的基础上,为其建立了随机Petri网模型。该随机Petri网模型符合随机Petri网工作流系统的性质,本文利用随机Petri网的工作流系统的性能等价公式,分析了模型的性能,最终求出整个系统的性能参数。该性能参数能够很好地说明MapReduce处理大数据集的优势。     

基于Petri网可达图的业务对齐方法

为提高过程挖掘中计算最优对齐的效率,提出一种基于Petri网可达图的业务对齐方法。首先,根据给定事件日志,提取其包含的活动子集;然后,将子集中包含的活动映射到变迁,构建花型日志模型;进一步,计算花型日志模型与过程模型之间的乘积模型及其可达图;最后,给出算法在可达图中查找出事件日志中全部迹与过程模型之间基于给定代价函数的一个最优对齐和所有最优对齐。从理论上证明了该方法的适用性与有效性。通过仿真实验,验证了该方法的可行性与优越性。     

基于有机计算的网格资源管理模型的研究

网格的复杂性日益增加,网格资源管理成为一项复杂的任务.有机计算能采取适当的措施使网格环境实现自我管理,隐蔽网格系统的复杂性.文中给出网格资源管理的层次式模型,该模型具有四层:本地资源层、全局资源层、本地服务层和用户层.并将该模型嵌入有机计算体系结构中,灵活使用有机计算中的观测器和控制器对网格中各种资源进行监测和控制.该基于有机计算的网格资源管理模型中的观测器和控制器除了具备原有的功能外,还结合网格资源动态、异构、分布等特点,添加了新的功能模块,以方便对网格资源进行管理.该模型有效地提高了资源分配效率,优化了网格资源管理的性能.     

基于Petri网的事件日志与过程模型对齐方法

为了提高过程挖掘中计算最优对齐的效率,提出一种基于Petri网的事件日志与过程模型之间的快速对齐方法——RapidAlign方法。该方法在观察日志的同时运行模型,比对日志活动与模型活动,从而得到日志移动、模型移动和同步移动;根据移动类型计算代价值,并记录日志和模型的当前状态;选取代价值最小的状态继续日志的观察和模型的运行,直到日志和模型均到达结束状态。最终生成一个最优对齐图,其源节点到终节点之间的路径包含了基于标准似然代价函数的事件日志与业务过程模型之间的所有最优对齐。对RapidAlign方法的适用性进行了详细且严格的描述,从理论上证明了该方法的正确性与有效性。通过仿真实验,验证了RapidAlign方法的优越性。