期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
公平消息传递并行程序设计的Petri网方法
被引量：
1
1
作者
崔焕庆
吴哲辉
方欢
《系统仿真学报》
CAS
CSCD
北大核心
2009年第13期3933-3936,3940,共5页
公平性是并行程序正确的主要标准之一,但是并行程序执行的不确定性导致公平性验证较为困难。针对消息传递模式的并行程序,在建立相应Petri网模型的基础上,首先证明了并行程序的公平性与其Petri网模型的公平性之间的关系,然后提出了利用T...
公平性是并行程序正确的主要标准之一,但是并行程序执行的不确定性导致公平性验证较为困难。针对消息传递模式的并行程序,在建立相应Petri网模型的基础上,首先证明了并行程序的公平性与其Petri网模型的公平性之间的关系,然后提出了利用T-不变量判断并行程序公平性,以及通过添加控制库所实现并行程序公平的算法,最后指出了将改造后的模型转换为公平并行程序的方法,并用一个实例进行了验证。
展开更多
关键词
消息传递并行程序
公平性
PETRI网
T-不变量
控制库所
在线阅读
下载PDF
职称材料
题名
公平消息传递并行程序设计的Petri网方法
被引量：
1
1
作者
崔焕庆
吴哲辉
方欢
机构
山东科技大学信息科学与工程学院
安徽理工大学数理系
出处
《系统仿真学报》
CAS
CSCD
北大核心
2009年第13期3933-3936,3940,共5页
基金
国家自然科学基金(60673053
60773034)
+2 种基金
山东省泰山学者建设工程基金项目
山东省中青年科学家科研奖励基金博士基金项目(2006BS01019)
山东科技大学春蕾计划项目(2008BZC018)
文摘
公平性是并行程序正确的主要标准之一,但是并行程序执行的不确定性导致公平性验证较为困难。针对消息传递模式的并行程序,在建立相应Petri网模型的基础上,首先证明了并行程序的公平性与其Petri网模型的公平性之间的关系,然后提出了利用T-不变量判断并行程序公平性,以及通过添加控制库所实现并行程序公平的算法,最后指出了将改造后的模型转换为公平并行程序的方法,并用一个实例进行了验证。
关键词
消息传递并行程序
公平性
PETRI网
T-不变量
控制库所
Keywords
message-passing parallel program
fairness
Petri net
T-invariant
control place
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
公平消息传递并行程序设计的Petri网方法
崔焕庆
吴哲辉
方欢
《系统仿真学报》
CAS
CSCD
北大核心
2009
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
