|
|||||
|
|
| 基于实时发布订阅模式的数控总线通信机制研究 | |
| 引用本文： | 胡毅,于东,岳东峰,刘旭军,黄骏.基于实时发布订阅模式的数控总线通信机制研究[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: | |
| 本文献已被 万方数据 等数据库收录！ | |