您的位置： 专家智库 > >

刘旭军

作品数：2 被引量：13H指数：2
供职机构：中国科学院沈阳计算技术研究所更多>>
发文基金：国家科技支撑计划中国科学院知识创新工程重要方向项目国家科技重大专项更多>>
相关领域：自然科学总论自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇自然科学总论

主题

  • 2篇形式化
  • 2篇形式化分析
  • 1篇实时性
  • 1篇实时性能
  • 1篇数控
  • 1篇总线
  • 1篇总线通信

机构

  • 2篇中国科学院
  • 2篇中国科学院研...
  • 1篇中国科学技术...
  • 1篇沈阳高精数控...

作者

  • 2篇于东
  • 2篇刘旭军
  • 1篇胡毅
  • 1篇马跃
  • 1篇岳东峰
  • 1篇黄骏

传媒

  • 1篇计算机工程
  • 1篇小型微型计算...

年份

  • 1篇2010
  • 1篇2009
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
发布/订阅通信模式的实时性能分析与评估被引量：11
2010年
运用成熟的队列理论知识,通过PRISM模型验证工具,对发布/订阅模式的实时性能进行形式化分析。实验结果表明,发布/订阅模式在消息响应时间及消息传输可靠性两方面比传统的通信模式表现出更良好的性能,该实验模型和实验方法对于优化发布/订阅模式及调整实际发布/订阅系统中的参数配置都有一定的帮助。
刘旭军马跃于东
关键词：实时性形式化分析
基于实时发布订阅模式的数控总线通信机制研究被引量：2
2009年
在研究传统通信机制基础上,针对数控总线特点,本文提出一种新型基于实时发布订阅模式的数控总线通信机制.详细阐述该机制的核心部件消息中间件的设计过程,采用形式化方法对这种机制进行分析,构建出基于概率时间自动机的系统状态转换模型,最后通过模型验证器PRISM对该机制的稳定性与实时性进行了验证.结果表明该机制满足数控总线通信要求.
胡毅于东岳东峰刘旭军黄骏
关键词：形式化分析
全选 清除 导出
共1页<1>
聚类工具0