期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于着色解释Petri网的网络协议建模及协同仿真方法
被引量：
5
1
作者
彭磊
吴磊
+1 位作者
毕亚雷
曾家智
《计算机集成制造系统》
EI
CSCD
北大核心
2009年第1期82-88,96,共8页
为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网。借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方...
为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网。借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法。作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模。在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法。基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用。
展开更多
关键词
协议工程
离散事件系统
着色解释
petri
网
建模
协同仿真
下载PDF
职称材料
一种基于CIPN的网络协议建模方法
2
作者
彭磊
毕亚雷
曾家智
《计算机应用研究》
CSCD
北大核心
2008年第11期3430-3433,共4页
基于Petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作,结合CPN和IPN,提出了一种新的Petri网派生类CIPN用于网络协议的建模和形式化分析,突出了协议的离散事件系统特性。给出了CIPN的定义,并讨论了CIPN的运行...
基于Petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作,结合CPN和IPN,提出了一种新的Petri网派生类CIPN用于网络协议的建模和形式化分析,突出了协议的离散事件系统特性。给出了CIPN的定义,并讨论了CIPN的运行机制,证明了CIPN事件可观测性的充要条件。通过一个MACA协议作为示例,完成了从网络协议的一般CPN模型到CIPN模型的等价性转换,并利用CIPN的事件可观测性定理对MACA协议进行了事件观测性分析。
展开更多
关键词
网络协议
离散事件系统
着色解释
petri
网
协议工程
下载PDF
职称材料
题名
基于着色解释Petri网的网络协议建模及协同仿真方法
被引量：
5
1
作者
彭磊
吴磊
毕亚雷
曾家智
机构
电子科技大学计算机科学与工程学院
中国科学院深圳先进技术研究院
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2009年第1期82-88,96,共8页
基金
电子信息产业发展基金资助项目(财建[2006]549,信部运[2006]634)~~
文摘
为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网。借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法。作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模。在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法。基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用。
关键词
协议工程
离散事件系统
着色解释
petri
网
建模
协同仿真
Keywords
protocol
engineering
discrete
event
system
colored
interpreted
petri
nets
model
building
collaborative
simulation
分类号
TP393 [自动化与计算机技术—计算机应用技术]
TP311.5 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
一种基于CIPN的网络协议建模方法
2
作者
彭磊
毕亚雷
曾家智
机构
电子科技大学计算机科学与工程学院
中国科学院深圳先进技术研究院
出处
《计算机应用研究》
CSCD
北大核心
2008年第11期3430-3433,共4页
基金
电子信息产业发展基金资助项目(财建[2006]549号,信部运[2006]634号)
文摘
基于Petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作,结合CPN和IPN,提出了一种新的Petri网派生类CIPN用于网络协议的建模和形式化分析,突出了协议的离散事件系统特性。给出了CIPN的定义,并讨论了CIPN的运行机制,证明了CIPN事件可观测性的充要条件。通过一个MACA协议作为示例,完成了从网络协议的一般CPN模型到CIPN模型的等价性转换,并利用CIPN的事件可观测性定理对MACA协议进行了事件观测性分析。
关键词
网络协议
离散事件系统
着色解释
petri
网
协议工程
Keywords
net
work
protocols
discrete
event
system
（DES）
colored
interpreted
petri
nets
（CIPN）
protocol
engineering
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于着色解释Petri网的网络协议建模及协同仿真方法
彭磊
吴磊
毕亚雷
曾家智
《计算机集成制造系统》
EI
CSCD
北大核心
2009
5
下载PDF
职称材料
2
一种基于CIPN的网络协议建模方法
彭磊
毕亚雷
曾家智
《计算机应用研究》
CSCD
北大核心
2008
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
