基于实时发布订阅模式的数控总线通信机制研究 |
| |
引用本文: | 胡毅,于东,岳东峰,刘旭军,黄骏. 基于实时发布订阅模式的数控总线通信机制研究[J]. 小型微型计算机系统, 2009, 30(10) |
| |
作者姓名: | 胡毅 于东 岳东峰 刘旭军 黄骏 |
| |
作者单位: | 1. 中国科学院研究生院,北京,100039;中国科学院沈阳计算技术研究所高档数控国家工程研究中心,辽宁,沈阳,110171 2. 中国科学院沈阳计算技术研究所高档数控国家工程研究中心,辽宁,沈阳,110171 3. 中国科学技术大学计算机科学与技术学院,安徽,合肥,230027 4. 沈阳高精数控技术有限公司,辽宁,沈阳,110171 |
| |
基金项目: | 国家"高档数控机床与基础制造装备"科技重大专项,科技部国家科技支撑计划重点项目 |
| |
摘 要: | 在研究传统通信机制基础上,针对数控总线特点,本文提出一种新型基于实时发布订阅模式的数控总线通信机制.详细阐述该机制的核心部件消息中间件的设计过程,采用形式化方法对这种机制进行分析,构建出基于概率时间自动机的系统状态转换模型,最后通过模型验证器PRISM时该机制的稳定性与实时性进行了验证.结果表明该机制满足数控总线通信要求.
|
关 键 词: | 数控总线 RTPS机制 形式化分析 模型验证 |
Reaserch on RTPS-based Communication Mechanism for CNC Fieldbus |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 万方数据 等数据库收录! |
|