期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
图形处理器的流执行模型
1
作者
李海燕
张春元
+1 位作者
李礼
任巨
《计算机工程》
CAS
CSCD
北大核心
2008年第22期258-260,共3页
图形处理器极高的流计算能力使其成为实现实时流应用的有效方案。该文抽象出图形处理器的流执行模型,描述图形处理器流处理机制的执行过程,在图形处理器上实现了二维离散余弦变换。实验结果表明,图形处理器对标清格式的视频压缩编码效...
图形处理器极高的流计算能力使其成为实现实时流应用的有效方案。该文抽象出图形处理器的流执行模型,描述图形处理器流处理机制的执行过程,在图形处理器上实现了二维离散余弦变换。实验结果表明,图形处理器对标清格式的视频压缩编码效率可达70 fps。
展开更多
关键词
图形处理器
流
处理
流执行模型
下载PDF
职称材料
服务体执行流模型中消息通信的时间可预测性分析
被引量:
1
2
作者
邹晓婷
陈香兰
李曦
《计算机系统应用》
2015年第12期170-175,共6页
Minicore是基于服务体执行流模型的新型微内核,它有效的将操作系统中的存储模型和运行模型相分离.微内核的高度模块化的设计使Minicore对服务体(Minicore的基本单元)间的消息通信的依赖度极高.于是对于Minicore操作系统的时间可预测性...
Minicore是基于服务体执行流模型的新型微内核,它有效的将操作系统中的存储模型和运行模型相分离.微内核的高度模块化的设计使Minicore对服务体(Minicore的基本单元)间的消息通信的依赖度极高.于是对于Minicore操作系统的时间可预测性分析也无可避免的依赖于通信模块的时间可预测性.本文的工作即是通过计算Minicore通信模块的WCET,分析消息通信的时间可预测性,为未来实现时间可预测的通信机制并分析Minicore的时间可预测性提供基础.对通信模块的WCET分析计算采用静态WCET分析中的基于路径的算法,应用到Minicore系统的通信模块,包括四个阶段:提取目标代码片段,程序控制流分析,处理器特征分析和WCET计算.基于WCET计算结果本文定义配置相关的时间可预测性(CIPr)作为评估消息通信时间可预测性的指标.
展开更多
关键词
实时系统
可预测性
服务体
执行
流
模型
消息通信
WCET
下载PDF
职称材料
基于服务体/执行流模型的MiniOSEK操作系统
被引量:
1
3
作者
王仁
李曦
陈香兰
《计算机系统应用》
2010年第12期24-28,5,共6页
为解决现有OSEK操作系统实时性不高、效率低等问题,提出了一种新的OSEK操作系统——MiniOSEK。MiniOSEK是建立在服务体/执行流模型的基础上,并符合OSEK/VDX标准规范的嵌入式操作系统。其设计思想是将消息驱动的思想引入到传统OSEK操作...
为解决现有OSEK操作系统实时性不高、效率低等问题,提出了一种新的OSEK操作系统——MiniOSEK。MiniOSEK是建立在服务体/执行流模型的基础上,并符合OSEK/VDX标准规范的嵌入式操作系统。其设计思想是将消息驱动的思想引入到传统OSEK操作系统中,即当一个任务调用OSEK操作系统规范规定的应用程序编程接口(API)函数时,只需要向该接口函数发送一个消息。这样可以减少上下文切换所需的时间,提高嵌入式系统的实时性。
展开更多
关键词
服务体/
执行
流
模型
OSEK/VDX规范
嵌入式操作系统
消息驱动
应用程序编程接口
下载PDF
职称材料
基于服务体/执行流模型的MiniCore系统的容错设计
4
作者
杨金彪
陈香兰
《计算机系统应用》
2016年第3期43-49,共7页
空间环境中的计算机系统要求高可靠性.针对存储受限的空间嵌入式实时系统,从内存可靠性和任务容错调度两个角度出发,提出了一种两级容错设计方案.该方案由系统级的周期性内存检错纠错机制和任务级的一种改进的主/副版本容错调度机制组成...
空间环境中的计算机系统要求高可靠性.针对存储受限的空间嵌入式实时系统,从内存可靠性和任务容错调度两个角度出发,提出了一种两级容错设计方案.该方案由系统级的周期性内存检错纠错机制和任务级的一种改进的主/副版本容错调度机制组成.方案的实验验证在一款基于服务体/执行流模型(SEFM)设计的嵌入式操作系统Mini Core中进行.加入两级容错机制后,内存数据准确性得到保证,Mini Core内核代码空间增加了约33%,时间性能指标略微下降,任务的执行成功率和调度质量显著增加.
展开更多
关键词
空间嵌入式实时系统
容错调度
两级容错设计
服务体/
执行
流
模型
下载PDF
职称材料
一种新型的构件化操作系统的内核设计
被引量:
5
5
作者
龚育昌
张晔
+1 位作者
李曦
陈香兰
《小型微型计算机系统》
CSCD
北大核心
2009年第1期1-7,共7页
采用构件化模型是当前操作系统设计新的发展趋势.构件化操作系统设计的关键技术集中反映在其内核的设计与实现中.本文首先介绍已有的内核结构以及操作系统新的抽象——服务体/执行流模型(SEFM),进而介绍基于SEFM的构件化操作系统Minicor...
采用构件化模型是当前操作系统设计新的发展趋势.构件化操作系统设计的关键技术集中反映在其内核的设计与实现中.本文首先介绍已有的内核结构以及操作系统新的抽象——服务体/执行流模型(SEFM),进而介绍基于SEFM的构件化操作系统Minicore中内核(核心服务体)的设计技术.最后以实际的测试数据验证了所采用技术的有效性.
展开更多
关键词
构件化操作系统
服务体/
执行
流
模型
(SEFM)
内核/核心服务体
服务体间通信
端口
下载PDF
职称材料
题名
图形处理器的流执行模型
1
作者
李海燕
张春元
李礼
任巨
机构
国防科技大学计算机学院
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第22期258-260,共3页
基金
国家自然科学基金资助项目(60673148)
高等学校博士学科点专项科研基金资助项目(20069998025)
文摘
图形处理器极高的流计算能力使其成为实现实时流应用的有效方案。该文抽象出图形处理器的流执行模型,描述图形处理器流处理机制的执行过程,在图形处理器上实现了二维离散余弦变换。实验结果表明,图形处理器对标清格式的视频压缩编码效率可达70 fps。
关键词
图形处理器
流
处理
流执行模型
Keywords
Graphics Processing Unit(GPU)
stream processin
stream execution model
分类号
TN911.73 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
服务体执行流模型中消息通信的时间可预测性分析
被引量:
1
2
作者
邹晓婷
陈香兰
李曦
机构
中国科学技术大学计算机科学技术学院
出处
《计算机系统应用》
2015年第12期170-175,共6页
基金
国家"核心电子器件
高端通用芯片及基础软件产品"重大专项(2012ZX01034001-001)
+1 种基金
国家自然科学基金(61379040
61272131)
文摘
Minicore是基于服务体执行流模型的新型微内核,它有效的将操作系统中的存储模型和运行模型相分离.微内核的高度模块化的设计使Minicore对服务体(Minicore的基本单元)间的消息通信的依赖度极高.于是对于Minicore操作系统的时间可预测性分析也无可避免的依赖于通信模块的时间可预测性.本文的工作即是通过计算Minicore通信模块的WCET,分析消息通信的时间可预测性,为未来实现时间可预测的通信机制并分析Minicore的时间可预测性提供基础.对通信模块的WCET分析计算采用静态WCET分析中的基于路径的算法,应用到Minicore系统的通信模块,包括四个阶段:提取目标代码片段,程序控制流分析,处理器特征分析和WCET计算.基于WCET计算结果本文定义配置相关的时间可预测性(CIPr)作为评估消息通信时间可预测性的指标.
关键词
实时系统
可预测性
服务体
执行
流
模型
消息通信
WCET
Keywords
real-time system
time predictability
Servant / Exe-Flow Model
communication by message
WCET
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于服务体/执行流模型的MiniOSEK操作系统
被引量:
1
3
作者
王仁
李曦
陈香兰
机构
中国科学技术大学计算机科学与技术学院
中国科学技术大学苏州研究院
出处
《计算机系统应用》
2010年第12期24-28,5,共6页
基金
电子信息产业发展基金(财建[2008]329工信部运[2008]97)
文摘
为解决现有OSEK操作系统实时性不高、效率低等问题,提出了一种新的OSEK操作系统——MiniOSEK。MiniOSEK是建立在服务体/执行流模型的基础上,并符合OSEK/VDX标准规范的嵌入式操作系统。其设计思想是将消息驱动的思想引入到传统OSEK操作系统中,即当一个任务调用OSEK操作系统规范规定的应用程序编程接口(API)函数时,只需要向该接口函数发送一个消息。这样可以减少上下文切换所需的时间,提高嵌入式系统的实时性。
关键词
服务体/
执行
流
模型
OSEK/VDX规范
嵌入式操作系统
消息驱动
应用程序编程接口
Keywords
servent/exe-flow model
OSEK/VDX standard
embedded operating system
message-driven
application programming interface
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于服务体/执行流模型的MiniCore系统的容错设计
4
作者
杨金彪
陈香兰
机构
中国科学技术大学软件学院
中国科学技术大学计算机科学与技术学院
出处
《计算机系统应用》
2016年第3期43-49,共7页
基金
国家"核心电子器件
高端通用芯片及基础软件产品"重大专项(2012ZX01034001-001)
+1 种基金
国家自然科学基金(61379040
61272131)
文摘
空间环境中的计算机系统要求高可靠性.针对存储受限的空间嵌入式实时系统,从内存可靠性和任务容错调度两个角度出发,提出了一种两级容错设计方案.该方案由系统级的周期性内存检错纠错机制和任务级的一种改进的主/副版本容错调度机制组成.方案的实验验证在一款基于服务体/执行流模型(SEFM)设计的嵌入式操作系统Mini Core中进行.加入两级容错机制后,内存数据准确性得到保证,Mini Core内核代码空间增加了约33%,时间性能指标略微下降,任务的执行成功率和调度质量显著增加.
关键词
空间嵌入式实时系统
容错调度
两级容错设计
服务体/
执行
流
模型
Keywords
space embedded real-time systems
fault-tolerant scheduling
two level of fault-tolerant design
service body/execution flow model
分类号
TP302.8 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
一种新型的构件化操作系统的内核设计
被引量:
5
5
作者
龚育昌
张晔
李曦
陈香兰
机构
中国科学技术大学计算机科学技术系
出处
《小型微型计算机系统》
CSCD
北大核心
2009年第1期1-7,共7页
基金
国家自然科学基金项目(60273042)资助
安徽省自然科学基金项目(03042203)资助
文摘
采用构件化模型是当前操作系统设计新的发展趋势.构件化操作系统设计的关键技术集中反映在其内核的设计与实现中.本文首先介绍已有的内核结构以及操作系统新的抽象——服务体/执行流模型(SEFM),进而介绍基于SEFM的构件化操作系统Minicore中内核(核心服务体)的设计技术.最后以实际的测试数据验证了所采用技术的有效性.
关键词
构件化操作系统
服务体/
执行
流
模型
(SEFM)
内核/核心服务体
服务体间通信
端口
Keywords
component based operating system
servant/exe-flow model (SEFM)
kernel/kernel servant
inter-servant communication
port
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
图形处理器的流执行模型
李海燕
张春元
李礼
任巨
《计算机工程》
CAS
CSCD
北大核心
2008
0
下载PDF
职称材料
2
服务体执行流模型中消息通信的时间可预测性分析
邹晓婷
陈香兰
李曦
《计算机系统应用》
2015
1
下载PDF
职称材料
3
基于服务体/执行流模型的MiniOSEK操作系统
王仁
李曦
陈香兰
《计算机系统应用》
2010
1
下载PDF
职称材料
4
基于服务体/执行流模型的MiniCore系统的容错设计
杨金彪
陈香兰
《计算机系统应用》
2016
0
下载PDF
职称材料
5
一种新型的构件化操作系统的内核设计
龚育昌
张晔
李曦
陈香兰
《小型微型计算机系统》
CSCD
北大核心
2009
5
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部