国家自然科学基金(60273042)

作品数：49被引量：118H指数：7
导出分析报告
相关作者：李曦周学海龚育昌雷霆王志刚更多>>
相关机构：中国科学技术大学国家气象信息中心更多>>
相关期刊：《计算机应用与软件》《小型微型计算机系统》《计算机研究与发展》《计算机工程》更多>>
相关主题：体系结构描述语言嵌入式系统低功耗操作系统执行流更多>>
相关领域：自动化与计算机技术电气工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种支持可重构混成系统的操作系统设计与实现被引量：2
《计算机学报》2009年第5期1046-1054,共9页乔磊 齐骥 龚育昌 
国家自然科学基金(60273042);中国科学院创新基金;安徽省自然科学基金(03042203)资助~~
可重构硬件和指令集处理器构成的混成系统兼有运算速度高和编程灵活的优点,是近年来学术界研究的热点.已有的面向该类系统的操作系统由于受到传统抽象模型的制约,不能充分发挥可重构硬件的优势.文中在分析该类系统对操作系统的需求和已...
关键词：可重构混成系统 操作系统 服务体 执行流 
一种新型的构件化操作系统的内核设计被引量：5
《小型微型计算机系统》2009年第1期1-7,共7页龚育昌 张晔 李曦 陈香兰 
国家自然科学基金项目(60273042)资助;安徽省自然科学基金项目(03042203)资助
采用构件化模型是当前操作系统设计新的发展趋势.构件化操作系统设计的关键技术集中反映在其内核的设计与实现中.本文首先介绍已有的内核结构以及操作系统新的抽象——服务体/执行流模型(SEFM),进而介绍基于SEFM的构件化操作系统Minicor...
关键词：构件化操作系统 服务体/执行流模型(SEFM) 内核/核心服务体 服务体间通信 端口 
安全操作系统中的功能隔离机制被引量：1
《中国科学院研究生院学报》2008年第4期538-548,共11页龚育昌 唐玲 张晔 贾永泉 
国家自然科学基金项目(60273042);安徽省自然科学基金项目(03042203)资助
在分析现有操作系统安全机制的基础上,针对空间隔离技术的不足之处,提出了功能隔离的新思想.功能隔离可以提供更细致的隔离粒度,并可使不同类别的功能请求在相互隔离的执行域中执行,从而提高系统的可靠性与安全性.详细描述了功能隔离的...
关键词：安全关键操作系统 空间隔离 功能隔离 功能划分 
服务组合中一种服务组合路径优化方法研究被引量：3
《小型微型计算机系统》2008年第9期1569-1573,共5页陈香兰 李曦 龚育昌 
国家自然科学基金项目(60273042)资助;国家十一五预研项目资助;高校博士点基金项目(20050358040)资助;安徽省自然科学基金项目(070412030)资助
在大规模网络环境下的服务组合路径研究中,服务组合路径长度总是大于服务组合中服务的个数.然而,在服务密集分布、节点间网络距离近似相等的环境下,这个结论不再成立.此时,服务组合路径长度服务组合中的服务路径选择问题的关键在于如何...
关键词：服务组合 服务路由 负载平衡 局域网 服务分布 
一种基于组件的aspect-oriented编程框架被引量：2
《小型微型计算机系统》2008年第7期1225-1229,共5页龚育昌 张敏 乔磊 贾永泉 
国家自然科学基金项目(60273042)资助;安徽省自然科学基金项目(03042203)资助
面向方面的编程(AOP:aspect-oriented programming)是一种新的编程技术.它引进了aspect,将影响多个模块的行为封装到一个可重用模块中,允许程序员对横切(crosscutting concerns)进行模块化,从而消除了面向对象编程(OOP:object-oriented ...
关键词：面向方面 服务体模型 编程框架 
专用指令集处理器模型的研究被引量：1
《哈尔滨工业大学学报》2008年第7期1125-1130,共6页余洁 王志刚 周学海 李曦 
国家自然科学基金资助项目(60273042)
针对现有专用指令集处理器(ASIP)模型的不足和ASIP的特点,提出了一个新型的ASIP模型——xpMODEL.它以指令行为作为设计核心,引入指令行为有限状态机IB-EFSM建立指令操作的时序调度机制,通过原语操作完成行为中对处理器资源的调用,有效...
关键词：专用指令集处理器 xpMODEL 指令行为有限状态机 
Minicore3.0操作系统上的Linux二进制兼容运行环境被引量：1
《小型微型计算机系统》2008年第6期999-1003,共5页龚育昌 唐玲 时正 吴昊 
国家自然科学基金项目(60273042)资助;安徽省自然科学基金项目(03042203)资助
首先介绍基于服务体/执行流模型的操作系统Minicore的基本特征,进而详细讨论了如何利用内核态功能实现二进制Linux应用代码的高效兼容运行方法,以及Minicore中Linux运行环境服务体设计的关键技术和解决方案,并给出了实验测试数据以说明...
关键词：服务体 执行流 MINICORE Linux运行环境 
使用形式化验证方法进行流水线验证被引量：2
《小型微型计算机系统》2008年第6期1168-1172,共5页高妍妍 李曦 熊焰 余洁 
国家自然科学基金项目(60273042)资助;高等学校博士学科点专项科研基(20050358040)资助
随着流水线技术的广泛应用,流水线设计的验证问题也越来越受到业界的关注.本文提出的方法作为自上而下验证方法的一部分,可以在指令级对流水线设计的正确性进行检验.本文从控制逻辑的角度对流水线的行为进行分析,通过为控制逻辑建立FSM...
关键词：流水线 模型检验 控制逻辑 体系结构描述语言 
服务组合中一种静态基础服务部署研究被引量：3
《小型微型计算机系统》2008年第4期709-714,共6页陈香兰 李曦 龚育昌 
国家自然科学基金项目(60273042);安徽省自然科学基金项目(03042203)资助
服务组合是一种新型分布式应用模式,可以实现Internet上跨机构的服务之间的整合.在Web服务、服务覆盖网络、网格等研究中,服务组合所依赖的基础服务通常由第三方部署,并通过服务发现提供给服务组合.为将服务组合应用到机构内部,现有的...
关键词：服务组合 静态服务部署 服务请求流量 负载平衡 服务分布规模 
基于Windows CE系统的动态电压管理
《计算机应用与软件》2008年第2期18-20,共3页王爱峰 简大圣 李曦 
国家自然科学基金(60273042);安徽省自然科学基金(03042101)资助。
基于W indows CE平台设计的动态电压管理框架提供了管理处理器运行状态的机制,其核心的电压管理驱动程序实现了对处理器运行频率的查询和设置等功能,为应用程序中实施动态电压调节优化策略提供了充分的支持,进一步降低了系统的能耗。
关键词：功耗优化 动态电压调节 WINDOWS CE驱动 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部