2024年8月10日
星期六
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
黄骏
作品数:
1
被引量:2
H指数:1
供职机构:
沈阳高精数控技术有限公司
更多>>
发文基金:
国家科技支撑计划
国家科技重大专项
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
刘旭军
中国科学院研究生院
岳东峰
中国科学技术大学计算机科学与技...
胡毅
中国科学院研究生院
于东
中国科学院沈阳计算技术研究所
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
中文期刊文章
领域
1篇
自动化与计算...
主题
1篇
形式化
1篇
形式化分析
1篇
数控
1篇
总线
1篇
总线通信
机构
1篇
中国科学院
1篇
中国科学技术...
1篇
中国科学院研...
1篇
沈阳高精数控...
作者
1篇
于东
1篇
胡毅
1篇
岳东峰
1篇
刘旭军
1篇
黄骏
传媒
1篇
小型微型计算...
年份
1篇
2009
共
1
条 记 录,以下是 1-1
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
基于实时发布订阅模式的数控总线通信机制研究
被引量:2
2009年
在研究传统通信机制基础上,针对数控总线特点,本文提出一种新型基于实时发布订阅模式的数控总线通信机制.详细阐述该机制的核心部件消息中间件的设计过程,采用形式化方法对这种机制进行分析,构建出基于概率时间自动机的系统状态转换模型,最后通过模型验证器PRISM对该机制的稳定性与实时性进行了验证.结果表明该机制满足数控总线通信要求.
胡毅
于东
岳东峰
刘旭军
黄骏
关键词:
形式化分析
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张