刘旭军

作品数：2被引量：12H指数：2
导出分析报告
供职机构：中国科学院沈阳计算技术研究所更多>>
发文主题：形式化分析实时性能实时性总线通信数控更多>>
发文领域：自然科学总论自动化与计算机技术更多>>
发文期刊：《小型微型计算机系统》《计算机工程》更多>>
所获基金：国家科技支撑计划中国科学院知识创新工程重要方向项目国家科技重大专项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
发布/订阅通信模式的实时性能分析与评估被引量：10
《计算机工程》2010年第20期229-231,共3页刘旭军 马跃 于东 
科技部国家科技支撑计划基金资助重点项目(2007BAP20B01);中国科学院知识创新工程重要方向基金资助项目(KGCX2-YW-119)
运用成熟的队列理论知识,通过PRISM模型验证工具,对发布/订阅模式的实时性能进行形式化分析。实验结果表明,发布/订阅模式在消息响应时间及消息传输可靠性两方面比传统的通信模式表现出更良好的性能,该实验模型和实验方法对于优化发布/...
关键词：发布/订阅 队列理论 实时性 形式化分析 
基于实时发布订阅模式的数控总线通信机制研究被引量：2
《小型微型计算机系统》2009年第10期1994-2000,共7页胡毅 于东 岳东峰 刘旭军 黄骏 
国家"高档数控机床与基础制造装备"科技重大专项(2009ZX04009-013)资助;科技部国家科技支撑计划(2007BAP20B01)资助
在研究传统通信机制基础上,针对数控总线特点,本文提出一种新型基于实时发布订阅模式的数控总线通信机制.详细阐述该机制的核心部件消息中间件的设计过程,采用形式化方法对这种机制进行分析,构建出基于概率时间自动机的系统状态转换模型...
关键词：数控总线 RTPS机制 形式化分析 模型验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部