安徽省高等学校优秀青年人才基金(2006jq1077)
- 作品数：6 被引量：7H指数：2
- 相关作者：方贤文许志才刘士喜赵艳张金朋更多>>
- 相关机构：滁州学院安徽理工大学同济大学更多>>
- 发文基金：国家自然科学基金安徽省高等学校优秀青年人才基金安徽省优秀青年科技基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Petri网软件过程执行机制的研究被引量：2
- 2007年
- 在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。
- 刘士喜许志才方贤文
- 关键词：PETRI网形式化语义
- 基于Pr/T网的网格安全体系结构的分析
- 2007年
- 网格安全体系结构GSI保障了网格环境的安全认证和安全通信,它为网格环境提供了一系列的安全协议、安全服务和命令行程序。它在实现时过程比较复杂,一般的建模图只能描述它的主要过程和静态特征,难以分析其动态特性及细节。Pr/T网能够直观地描述非确定性,以图形化的方式表示及运用数学工具模拟与分析复杂系统。利用Pr/T网的这些特性来描述和分析网格安全体系结构GSI中的任务提交与执行过程。
- 邹艳妮方贤文许志才
- 基于随机Petri网的机群系统可信赖性研究被引量：4
- 2008年
- 随机Petri网(SPN)是一种灵活有力的建模工具,在可信赖性研究方面已形成较为成熟的理论体系。采用SPN网对机群系统前端分配器及后端服务器进行建模,通过在系统建模时对前端分配器给予必要的修复保证,给出整个机群系统的SPN模型,在模型分析的基础上给出了机群系统的可信赖性参数,并对模型进行了仿真分析。仿真结果表明,在对关键系统前端分配器给予修复保证后,系统模型的稳态可用性将大大提高。
- 刘士喜许志才方贤文
- 关键词：随机PETRI网可信赖性机群系统
- 基于Petri网和Web的电子商务安全性分析被引量：1
- 2007年
- 在基于Web组合服务电子商务模型中,通过将各种电子商务的Web服务进行组合和集成以创建动态电子商务应用。但在组合的过程中,带来了新的问题,主要是安全性问题,采用一般的方法来分析是非常困难的。Petri网便于描述具有并发、异步、不确定性等特性的问题。利用Petri网的分析方法,如S-不变量、可达树、关联矩阵等,来分析模型中是否存在死锁、阻塞、冲突等问题,进而分析组合Web服务的电子商务模型的安全性。
- 方贤文许志才赵艳
- 关键词：PETRI网WEB服务电子商务死锁
- 基于Petri网的Web服务组合优化方法研究被引量：1
- 2010年
- 在实际应用中,需要将各种W eb服务进行组合和集成以创建动态W eb应用。为了使服务组合性能最优,提出一种W eb服务组合优化算法,该算法在满足用户需求的同时,根据已有的W eb服务,自动获取性能最优的服务组合方案。利用Petri网进行建模,采用可达图进行分析,通过提取网中变迁之间以及变迁序列之间的各种并发关系,得到费用最廉的组合结构。
- 张金朋方贤文
- 关键词：PETRI网WEB服务组合并发组合优化
- 基于颜色Petri网和Lookahead的数据分发管理研究
- 2007年
- 对高层体系结构(HLA)中数据分发管理(DDM)的研究,主要目标是在符合HLA标准的前提下,提高数据的过滤效率,同时减少计算量,并提供较好的可扩展性适应于各种规模的分布式仿真应用。Lookahead是分布式模拟时间管理协议中的一个重要概念,各模拟实体使用Lookahead把自己产生事件的时间标记情况更早地通知给其它实体,以加快程序的运行。采用颜色Petri网和Lookahead的数据分发机制,能够很好地对数据进行过滤,提高数据的过滤效率,并能保证数据收发的成功率。仿真实验结果表明:基于颜色Petri网和Lookahead的数据分发机制是优于区域匹配方法的。
- 方贤文许志才殷志祥
