基于Petri网的高速网络协议的描述和验证
69372018
1993
F0104.通信网络
顾冠群
面上项目
教授
东南大学
6万元
协议工程;描述;PETRI网;高速网络协议
1994-01-01到1996-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | 混合型实时通信协议的设计及性能评价 | 期刊论文 | 顾冠群|丁心泉|吴介一| |
| 2 | 分布多媒体系统的多媒体动态同步模型 | 期刊论文 | 宋军|顾冠群| |
| 3 | 基于Petri网的MMS服务描述、验证及实现 | 期刊论文 | 费翔|顾冠群|吴介一| |
| 4 | Petri网协议分析器 | 期刊论文 | 罗军舟|顾冠群|谢俊清| |
| 5 | 分布存储媒体传输的同步算法 | 期刊论文 | 宋军|顾冠群| |
| 6 | 通信协议的并行机制研究 | 期刊论文 | 顾冠群|姜爱泉| |
| 7 | EPr/TN网可达性分析的冗余并发后继标识 | 期刊论文 | 沈俊|罗军舟|顾冠群| |
| 8 | 计算机会议流控制通道协议研究 | 期刊论文 | 刘炳华|顾冠群| |
| 9 | Researches On Protocol Migration | 期刊论文 | Wang Yun|Gu Guanqun|Dui Jiying| |
| 10 | 异构网络MMS互联的形式化描述、分析及实现 | 期刊论文 | 费翔|顾冠群|吴介一| |
| 11 | A Formal Approach to the Design of Network Protocol | 期刊论文 | Luo Junzhou|Gu Guanqun| |
| 12 | 群组通信模型及运输协议映射 | 期刊论文 | 潘建平|顾冠群| |
| 13 | 基于Petri网的协议并行化处理模型的描述和验证 | 期刊论文 | 顾冠群|姜爱泉|罗军舟| |
| 14 | 质量控制模型及运输协议投影 | 期刊论文 | 潘建平|顾冠群|沈苏彬| |
| 15 | CIMS Network Protocol and Its Net Models | 期刊论文 | Luo Junzhou|Gu Guanqun| |
| 16 | 基于Petri网的同步通信模型及算法 | 期刊论文 | 宋军|顾冠群| |
| 17 | 计算机网络协议形式技术及其应用研究 | 奖励 | 顾冠群|罗军舟|吴介一|吴国新|汪芸|丁伟|沈苏彬|费翔|沈俊| |
| 18 | 协议描述和验证的基本方法 | 期刊论文 | 罗军舟|顾冠群| |
| 19 | 基于时间Petri网的多媒体同步模型 | 期刊论文 | 宋军|顾冠群| |
| 20 | 计算机会议系统流结合模型的研究 | 期刊论文 | 刘炳华|顾冠群| |
| 21 | Modelling Distributed Multimedia Synchronization with DSPN | 期刊论文 | Song Jun|Gu Guanqun| |
查看更多信息请先登录或注册
