基于Petri网的物流派送模型修复分析

目前,模型修复技术应用领域非常广泛,模型修复不仅可以达到完全重放日志的目的 ,还可以最大程度地与原始模型保持相似,能够保留原始模型的价值.因此,越来越多的学者专注于研究模型修复.基于Petri网构建了一个物流派送流程模型,然后将事件日志与流程模型进行一致性检查,主要根据成本对齐测量其偏差,并针对检查到的偏差部分,根据提出的用于辅助模型修复的算法对原始模型进行修复,使得修复后的模型能够完全重放事件日志.最后通过实例分析验证了修复模型的合理性.     

基于Petri网的Web服务组合优化方法研究

在实际应用中,需要将各种W eb服务进行组合和集成以创建动态W eb应用。为了使服务组合性能最优,提出一种W eb服务组合优化算法,该算法在满足用户需求的同时,根据已有的W eb服务,自动获取性能最优的服务组合方案。利用Petri网进行建模,采用可达图进行分析,通过提取网中变迁之间以及变迁序列之间的各种并发关系,得到费用最廉的组合结构。     

基于Petri 网的同步DRAM控制器的建模与分析

Petri 网理论已日益成为复杂系统设计与分析中不可或缺的工具.而ARM嵌入式处理器是一种高性能,低功耗的RISC芯片.同步动态RAM控制器状态间的相互转换较为复杂,且通过状态图只能描述它的静态特征,难以分析其动态特性.Petri网能够直观地描述非确定性,以图形化的方式表示及运用数学工具模拟与分析复杂系统.文章正是利用Petri网的这些特性来描述和分析ARM体系结构中同步DRAM控制器的状态和转换.     

基于Petri 网软件过程执行机制的研究

在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。     

基于行为轮廓的模块化流程模型修复方法

模型修复是业务流程领域中新的优化方法.为了让流程模型对系统的描述更加准确,使模型修复方法系统化,且进一步降低成本,减少以往修复算法的迭代次数和时间复杂度,可运用基于行为轮廓的模块化修复新方法,由分解、过滤、选择、修复、组合五个模块构成.首先,使用极大分解算法对模型进行分解,使流程模型呈片段状,便于筛选出问题片段;然后,使用过滤算法对所有片段进行线性过滤从而缩短通过行为轮廓来选择劣子模型的时间,再使用感应挖掘算法对劣子模型进行修复;接着,再对修复后的劣子模型和优子模型进行组合,从而使得修复后的模型能够重放事件日志,且能够与原始模型尽可能保持行为相似性,最后通过实验分析验证了所提方法的可行性.     

基于随机Petri网的乘积形式解存在的一个充分条件

目前,判定一类随机Petri网(SPN)是否具有乘积形式解还没有比较好的方法.在这篇文章里给出了一个基于随机Petri网的乘积形式解存在的判定定理,它对于判定一些SPN模型是非常有用的.利用这个定理,可以发现两部件自动组装生产线模型具有乘积形式解,然后画出该模型的状态空间图,根据局部平衡方程,就可以得到此模型任意状态的稳定概率.     

浅析信息类专业大学生创新团队建设与发展——以安徽理工大学为例

通过因材施教原则将信息类专业学生按兴趣和能力特点吸引进入不同的创新团队,每个团队由专业课教师组织,由优秀学生管理运行,团队的目标是提升学生创新能力培养。团队利用校企深度联合培养等模式,加强工程创新型师资队伍建设,开展学生生产训练计划,让学生参与教师科研项目,全面提高学生的工程实践能力,总结出新世纪创新型人才培养模式,从而全面提升学生就业和创业的竞争力。     

信息与计算科学专业应用型人才培养的实践与探索

针对新办专业“信息与计算科学”应用型人才的现状,结合我校实际情况从专业教学方式、综合素质评价体系、实践环节教学模式和毕业设计环节4个方面,论述了安徽理工大学在信息与计算科学专业应用型人才培养方面所采取的一些实施措施及取得的经验．     

子网行为等价的特殊网系统的同步距离

同步距离是刻画事件之间同步关系的一个重要的定量分析手段,已经有相关文献表明它对系统的设计和分析提供了很大的帮助,尤其在工作流和工业生产控制系统的协调结构设计方面有着显著的优势。然而目前只有一些特殊的子网中变迁之间的同步距离计算有较简洁的算法,为了使得更多的网系统其同步距离计算也能够有简洁的算法,证明了若一个网系统的行为等价与某个特殊的子网,那么此网系统中变迁之间的同步距离的求解就可以转化为其行为等价的特殊子网的同步距离的求解问题,并且给出了寻找其行为等价的特殊子网的算法,最后进行了相应的实验验证。