安徽省高校省级自然科学研究项目(KJ2008B105)
- 作品数：3 被引量：14H指数：1
- 相关作者：叶红袁志祥王小平更多>>
- 相关机构：安徽工业大学更多>>
- 发文基金：安徽省高校省级自然科学研究项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于广义随机Petri网的网格调度模型
- 2010年
- 针对网格资源调度中负载不均衡问题,在基于QoS且具有容错性的任务调度算法基础上提出一种基于任务优先级的QoS约束参数的调度策略。采用广义随机Petri网建立网格调度模型,增加Petri网的抑制弧功能,实现优先调度策略。结果证明了该策略优先运行紧迫任务,并且其运行任务时间和费用的综合代价较小。
- 袁志祥王小平
- 关键词：网格计算任务调度广义随机PETRI网QOS约束
- 可达矩阵的Warshall算法实现被引量：13
- 2011年
- 通过图的矩阵表示可以得到图的很多重要性质,将邻接矩阵看作图的结点集的关系矩阵,由此可以产生可达矩阵,从而可以反映图中各结点间是否有路.可达矩阵可用W arshall算法求得,作者用VB实现了该算法.
- 叶红
- 关键词：邻接矩阵WARSHALL算法VB可达矩阵
- SET协议的持卡人匿名性分析被引量：1
- 2010年
- 针对电子商务协议的Petri网模型中出现无法描述和演绎其逻辑推理过程的缺点,在传统Petri网基础上提出一种适合描述电子商务协议的信念Petri网。信念Petri网验证分析过程是先将电子商务协议或安全协议的协议规则分解成原始序列,对协议实体构造Petri网模型,对信道进行安全分析。以SET协议为分析对象,利用信念Petri网对SET协议的持卡人匿名性进行分析,结果说明SET协议的持卡人的隐私信息得到有效保护。
- 叶红袁志祥
- 关键词：SET协议匿名性
