检索结果-维普期刊中文期刊服务平台

基于Linux集群的分布式实时操作系统的设计被引量：2: 1; 作者章勤刘淑英《计算机工程与应用》 CSCD 北大核心 2004年第12期125-128,169,共5页; 文章针对Linux集群环境,以Linux通用操作系统为基础,提出了一种分布式实时操作系统的设计思路。以分布式实时操作系统的特殊性为线索,详细阐述了分布式实时操作系统中实时任务调度机制、实时进程间通信机制和实时网络通信机制的设计思路。; 关键词分布式实时操作系统 RTLINUX Unux集群实时调度实时网络通信实时进程间通信; 在线阅读下载PDF 职称材料

基于PRISM的分布式实时操作系统任务调度的形式化验证被引量：3: 2; 作者霍燕燕关永 +3 位作者李晓娟王瑞张杰魏洪兴《小型微型计算机系统》 CSCD 北大核心 2015年第9期2125-2129,共5页; 大规模集成电路工艺技术的飞跃发展,掀起了计算机快速发展广泛普及的浪潮,同时又向计算机网络、巨型计算机、智能化方向以及分布式实时处理方向发展.其中,分布式实时系统的需求在各个领域的需求都不断扩大,于是,分布式实时操作系统也随... 展开更多; 关键词分布式实时操作系统任务调度概率模型检测马尔科夫决策过程 PRISM; 在线阅读下载PDF 职称材料

RTLinux中分布式实时IPC的设计与实现: 3; 作者章勤刘淑英《计算机工程与科学》 CSCD 2004年第7期5-7,48,共4页; RTLinux是一个具有硬实时性能的单机实时操作系统 ,它提供了多种进程间通信机制 ,如信号量、消息队列和RT fifo等。在RTLinux提供的进程间通信机制基础上 ,本文提出了一种在RTLinux中设计并实现分布式实时IPC模块的具体方法 ,最后详细... 展开更多; 关键词 RTLINUX 分布式实时操作系统 IPC 设计进程; 在线阅读下载PDF 职称材料

基于GPS的控制系统时间同步被引量：8: 4; 作者金刚平徐欣圻《安徽大学学报（自然科学版）》 CAS 2002年第4期30-34,共5页; 介绍如何利用GPS接收器获取准确的UTC时间 ,在分布式实时操作系统QNX下 ,实现系统时间和UTC的一致。同时讨论了如何建立网络时间服务器 ,通过执行网络时间同步算法 ,实现局域网内不同计算机之间的时间同步。; 关键词控制系统时间同步 GPS QNX 网络时间服务器网络时间同步算法分布式实时操作系统; 在线阅读下载PDF 职称材料

题名基于Linux集群的分布式实时操作系统的设计被引量：2: 1; 作者章勤刘淑英; 机构华中科技大学计算机学院; 出处《计算机工程与应用》 CSCD 北大核心 2004年第12期125-128,169,共5页; 基金国家863高技术研究发展计划"存储虚拟化及其文件系统研究"(编号:2001AA111011); 文摘文章针对Linux集群环境,以Linux通用操作系统为基础,提出了一种分布式实时操作系统的设计思路。以分布式实时操作系统的特殊性为线索,详细阐述了分布式实时操作系统中实时任务调度机制、实时进程间通信机制和实时网络通信机制的设计思路。; 关键词分布式实时操作系统 RTLINUX Unux集群实时调度实时网络通信实时进程间通信; Keywords Distributed real-time operating system,RTLinux,Linux cluster,Real-time scheduling,Real-time network com-munication,InterProcess commnunication; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于PRISM的分布式实时操作系统任务调度的形式化验证被引量：3: 2; 作者霍燕燕关永李晓娟王瑞张杰魏洪兴; 机构高可靠嵌入式系统技术北京市工程研究中心电子系统可靠性技术北京市重点实验室北京化工大学信息科学与技术学院北京航空航天大学机械工程及自动化学院; 出处《小型微型计算机系统》 CSCD 北大核心 2015年第9期2125-2129,共5页; 基金国际科技合作计划项目(2011DFG13000,2010DFB10930)资助国家自然科学基金项目(61373034,61303014)资助 +2 种基金北京市教委(KM201510028015)资助北京市属高等学校创新团队建设与教师职业发展计划项目(IDHT20150507)资助; 文摘大规模集成电路工艺技术的飞跃发展,掀起了计算机快速发展广泛普及的浪潮,同时又向计算机网络、巨型计算机、智能化方向以及分布式实时处理方向发展.其中,分布式实时系统的需求在各个领域的需求都不断扩大,于是,分布式实时操作系统也随之产生.为了保证设计的可靠性和正确性,通过模型检测的方法对分布式实时操作系统的任务调度建立马尔科夫决策过程(MDP)模型,并以机器人分布式实时操作系统为例,用概率计算树逻辑(PCTL)对一些关键属性进行描述,通过PRISM平台对任务的可调度性进行验证和分析.通过将验证和分析得到的量化结果不断反馈给设计人员,以反馈得到的结果为依据,设计人员可以作出相应的策略,进一步提高设计的可靠性和正确性.; 关键词分布式实时操作系统任务调度概率模型检测马尔科夫决策过程 PRISM; Keywords distributed real-time operating systems task scheduling probabilistic model checking M arkov decision process PRISM; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名RTLinux中分布式实时IPC的设计与实现: 3; 作者章勤刘淑英; 机构华中科技大学计算机学院; 出处《计算机工程与科学》 CSCD 2004年第7期5-7,48,共4页; 基金国家 8 63计划资助项目 ( 2 0 0 1AA1110 11); 文摘 RTLinux是一个具有硬实时性能的单机实时操作系统 ,它提供了多种进程间通信机制 ,如信号量、消息队列和RT fifo等。在RTLinux提供的进程间通信机制基础上 ,本文提出了一种在RTLinux中设计并实现分布式实时IPC模块的具体方法 ,最后详细阐述了分布式实时IPC模块的工作流程和各功能模块的实现。; 关键词 RTLINUX 分布式实时操作系统 IPC 设计进程; Keywords distributed real-time operating system RTLinux Rtnet interprocess commnunication port; 分类号 TP316.2 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于GPS的控制系统时间同步被引量：8: 4; 作者金刚平徐欣圻; 机构中国科学院国家天文台南京天文光学新技术研究所; 出处《安徽大学学报（自然科学版）》 CAS 2002年第4期30-34,共5页; 文摘介绍如何利用GPS接收器获取准确的UTC时间 ,在分布式实时操作系统QNX下 ,实现系统时间和UTC的一致。同时讨论了如何建立网络时间服务器 ,通过执行网络时间同步算法 ,实现局域网内不同计算机之间的时间同步。; 关键词控制系统时间同步 GPS QNX 网络时间服务器网络时间同步算法分布式实时操作系统; Keywords GPS QNX network time server; 分类号 TP393.09 [自动化与计算机技术—计算机应用技术] P22 [天文地球—大地测量学与测量工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于Linux集群的分布式实时操作系统的设计	章勤刘淑英	《计算机工程与应用》 CSCD 北大核心	2004	2	在线阅读下载PDF 职称材料
2	基于PRISM的分布式实时操作系统任务调度的形式化验证	霍燕燕关永李晓娟王瑞张杰魏洪兴	《小型微型计算机系统》 CSCD 北大核心	2015	3	在线阅读下载PDF 职称材料
3	RTLinux中分布式实时IPC的设计与实现	章勤刘淑英	《计算机工程与科学》 CSCD	2004	0	在线阅读下载PDF 职称材料
4	基于GPS的控制系统时间同步	金刚平徐欣圻	《安徽大学学报（自然科学版）》 CAS	2002	8	在线阅读下载PDF 职称材料