分布实时系统

作品数：10被引量：18H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：方明梁洪涛袁由光谷建华周兴社更多>>
相关机构：武汉数字工程研究所西北工业大学国防科学技术大学哈尔滨工程大学更多>>
相关期刊：《计算机研究与发展》《中国铁路》《计算机与数字工程》《小型微型计算机系统》更多>>
相关基金：国防科技技术预先研究基金重庆市自然科学基金教育部“新世纪优秀人才支持计划”国际科技合作与交流专项项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
分布式实时系统的软件故障注入被引量：3
《重庆大学学报（自然科学版）》2010年第2期62-68,共7页徐光侠 陈蜀宇 常光辉 刘宴兵 刘国良 
教育部新世纪优秀人才支持计划(NCET-04-0843);科技部国际科技合作项目(2007DFR10420);国家自然科学基金资助项目(60973160);重庆市自然科学基金资助项目(CSTC;2008BB2307)
针对分布式实时系统的可信验证的难题,建立通用故障模型,将故障模型分为:内存故障、CPU故障、通信故障和服务故障4种。提出一种建立在分布式实时系统环境中的软件故障注入系统结构,它分为3个层次:目标系统、通信网络、软件故障注入系统...
关键词：分布实时系统 系统可信验证平台 软件故障注入 故障模型 
对数据发布服务标准基本要素的研究被引量：3
《计算机与数字工程》2007年第8期53-56,共4页程雄 向慧 
"十一五"国防预研项目(编号4010601010301)资助
为了更好地解决以数据交换为目的的分布实时系统"在正确的时间、正确的位置获取正确的数据"的需求,OMG组织于2004年12月发布了国际上第一个基于发布-订阅模型的、以数据为中心的实时系统数据发布服务标准DDS(Data Distribution Service...
关键词：分布实时系统 数据发布服务 发布-订阅模型 主题 
一种基于调度簇树的周期性分布实时任务调度算法被引量：3
《计算机科学》2007年第3期256-261,共6页王小非 方明 
十五国防重点预先研究项目(413160201)资助
本文针对现有的基于任务复制的静态调度算法在调度周期性分布实时任务时存在的缺点,提出了一种称之为调度簇树(SCT)的新的结构并研究了其特性,在此基础上给出了一种基于SCT树的周期性分布实时任务调度算法(SAS)。通过与OSA算法进行比较...
关键词：SCT树 任务调度 DAG 任务复制 分布实时系统 
一种基于任务全局迁移的静态调度算法被引量：2
《计算机研究与发展》2006年第5期797-805,共9页梁洪涛 袁由光 方明 
ThisworkissupportedbytheKeyDefenseResearchProjectundergrantNo.413160201.
任务调度是分布实时系统中的一个关键问题.TDS等典型算法在优化条件下可得到该问题调度长度上的最优解.但是TDS等算法在节点分配时存在节点选择范围和节点执行时间范围的局限,无法最小化算法所需处理器数目.任务全局迁移调度算法GTT(glo...
关键词：任务调度 有向无环图 任务复制 任务全局迁移 分布实时系统 
基于任务复制的静态调度算法研究被引量：1
《计算机与数字工程》2006年第2期32-35,共4页梁洪涛 袁由光 方明 
任务调度是分布实时系统中的一个关键问题。基于任务复制的静态调度算法是任务调度问题中的研究热点。通过概括任务复制静态调度算法的算法模型以及基本术语后,详细分析比较了几种典型算法。还考虑了优化条件、调度长度、处理器数目以...
关键词：任务复制 任务调度 有向无环图 分布实时系统 
日本计算机联锁用现场总线控制系统
《中国铁路》2000年第5期39-41,共3页员春欣 施莉娟 
计算机联锁系统中采用现场总线控制系统实现对道岔、信号机、轨道电路的监督与控制是计算机联锁系统值得注意的方向。文中重点介绍日本计算机联锁用现场总线控制系统的特点和结构。
关键词：计算机联锁 现场总线控制系统 分布实时系统 
分布实时系统中的点到点通信被引量：6
《小型微型计算机系统》2000年第2期190-193,共4页毛羽刚 张拥军 金士尧 
95 国防预研项目资助
本文给出了一种由点到点互连网络连接的实时系统通信方法，分析了通道建立过程，消息调度算法，缓冲预留方案，以及消息传递时间的计算模型，可提供确定性的消息传递延迟．
关键词：分布实时系统 点到点通信 网络通信 调度 
分布实时系统的概率规范和证明形式化
《计算机科学》1995年第6期16-18,共3页罗铁庚 陈火旺 齐治昌 
1引言 随着数字系统变得越来越小、越来越便宜,它们用于物理过程控制和与物理过程互协作的机会将越来越多。互相协作的过程如果出现意外行为,后果将可能很严重。
关键词：实时系统 概率规范 证明形式化 操作系统 
分布实时系统通信与管理研究被引量：1
《西北工业大学学报》1993年第3期351-356,共6页周兴社 谷建华 王毅 
针对航空航天电子综合系统等一类命令控制型分布实时系统,作者认为已有的通用管理和调度策略缺乏高效性.本文在分析该类系统特征基础之上,提出了与之相适应的层次通信机制,事件驱动策略与分布服务方式,并实现了一个分布式实时操作系统....
关键词：通信 实时操作系统 分布实时系统 
分布实时系统调试技术研究
《计算机研究与发展》1993年第3期62-65,共4页周兴社 谷建华 
本文在分析和介绍适应于分布实时系统的调试技术基础之上,提出并实现生成调试和状态冻结与重现等技术,实践证明,综合运用这些调试技术是可行有效的。
关键词：分布实时系统 调试技术 研究 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部