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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

量化分析Ajax性能与应用决策

为了减少目前Ajax技术滥用带来的网络流量浪费和项目开发难度,设计一系列实验分别对传统网页和应用Ajax技术的网页性能进行测算,实验主要从数据库添加记录和查询记录两个方面展开,由数据库访问时间、注册用户数量、数据流程特征构建数学模型,定量地对Ajax技术在Web站点中的性能进行分析,通过对比得到传统网页与应用Ajax技术网页的性能分析报告,通过模型结合网站实际可以给网站开发人员提供是否应用Ajax技术的决策。