您的位置： 专家智库 > >

安徽省自然科学基金(03042203)

作品数：14 被引量：83H指数：5
相关作者：龚育昌陈香兰齐骥张晔吴明桥更多>>
相关机构：中国科学技术大学合肥工业大学更多>>
发文基金：安徽省自然科学基金国家自然科学基金中国科学院知识创新工程更多>>
相关领域：自动化与计算机技术电子电信更多>>

文献类型

  • 14篇中文期刊文章

领域

  • 13篇自动化与计算...
  • 1篇电子电信

主题

  • 7篇操作系
  • 7篇操作系统
  • 4篇执行流
  • 3篇调度
  • 3篇可重构
  • 2篇动态可重构
  • 2篇内核
  • 2篇可重构系统
  • 2篇安全操作
  • 2篇安全操作系统
  • 1篇调度算法
  • 1篇动态可重构系...
  • 1篇端口
  • 1篇硬件
  • 1篇映射
  • 1篇运行环境
  • 1篇设计技术
  • 1篇实时调度
  • 1篇实时调度算法
  • 1篇同态

机构

  • 13篇中国科学技术...
  • 1篇合肥工业大学

作者

  • 13篇龚育昌
  • 5篇陈香兰
  • 5篇齐骥
  • 4篇张晔
  • 3篇李曦
  • 3篇王立刚
  • 3篇吴明桥
  • 3篇胡楠
  • 2篇王峰
  • 2篇唐玲
  • 2篇贾永泉
  • 2篇乔磊
  • 1篇张敏
  • 1篇朱建民
  • 1篇吴昊
  • 1篇孙琳
  • 1篇赵振西
  • 1篇朱士信
  • 1篇李宏
  • 1篇周学海

传媒

  • 7篇小型微型计算...
  • 2篇中国科学技术...
  • 2篇电子学报
  • 1篇计算机研究与...
  • 1篇计算机学报
  • 1篇中国科学院研...

年份

  • 2篇2009
  • 4篇2008
  • 3篇2007
  • 4篇2006
  • 1篇2005
共 14 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种新型的构件化操作系统的内核设计被引量：5
2009年
采用构件化模型是当前操作系统设计新的发展趋势.构件化操作系统设计的关键技术集中反映在其内核的设计与实现中.本文首先介绍已有的内核结构以及操作系统新的抽象——服务体/执行流模型(SEFM),进而介绍基于SEFM的构件化操作系统Minicore中内核(核心服务体)的设计技术.最后以实际的测试数据验证了所采用技术的有效性.
龚育昌张晔李曦陈香兰
关键词：构件化操作系统端口
一种支持可重构混成系统的操作系统设计与实现被引量：2
2009年
可重构硬件和指令集处理器构成的混成系统兼有运算速度高和编程灵活的优点,是近年来学术界研究的热点.已有的面向该类系统的操作系统由于受到传统抽象模型的制约,不能充分发挥可重构硬件的优势.文中在分析该类系统对操作系统的需求和已有运行模型缺陷的基础上,提出了一种基于服务体/执行流模型的操作系统SEF-OSHRS.它具有统一的系统对象抽象和通信接口,并可支持控制流的直接转换,因而能充分发挥混成系统的优势.文中详细介绍了该操作系统的基本抽象、系统结构和运行方式,并通过实验结果说明了该系统的可用性和高效性.
乔磊齐骥龚育昌
关键词：操作系统执行流
一种支持动态可重构系统的布局碎片量化方法被引量：7
2007年
在可重构计算领域,布局硬件任务所产生的碎片是影响系统资源利用率和任务拒绝率的关键因素之一.本文提出了一种对布局碎片进行量化的方法QFOAC,该方法将每个已占用的可重构计算单元对总碎片量化值的贡献求和,得到可重构芯片布局碎片量化值.QFOAC方法对碎片的抽象准确直观,且运算时间复杂度为常数.实验表明,将QFOAC碎片量化方法应用于布局器,可显著提高芯片利用率,降低任务拒绝率,且基本不增加系统开销,适用于动态重构和实时系统.
龚育昌齐骥胡楠王立刚
关键词：可重构
部分可重构系统布局的一种新算法被引量：4
2007年
针对动态部分可重构系统的瓶颈,即布局算法必须在保证运行速度的基础上,尽可能增加可重构芯片利用率的问题,提出了一种布局算法KVIT(keeping the vertexes information of tasks).其核心思想是尝试将新到达的硬件任务放置在已布局硬件任务的顶点处,并通过对可重构芯片内部计算单元进行编码迅速判断新任务是否可放置在该顶点.该算法的时间复杂度为O(N),N是可重构系统中当前运行的硬件任务的数目.仿真实验结果表明,KVIT算法的布局质量与现有的O(N2)时间复杂度布局算法基本一致,而其执行速度则明显高于已有算法.
龚育昌齐骥胡楠王峰王立刚
关键词：可重构调度
安全操作系统中的功能隔离机制被引量：2
2008年
在分析现有操作系统安全机制的基础上,针对空间隔离技术的不足之处,提出了功能隔离的新思想.功能隔离可以提供更细致的隔离粒度,并可使不同类别的功能请求在相互隔离的执行域中执行,从而提高系统的可靠性与安全性.详细描述了功能隔离的定义,讨论了功能划分的方法和PFI、ASFI两种功能隔离机制及其关键实现技术.实验数据说明,采用功能隔离不会明显影响系统的效率.
龚育昌唐玲张晔贾永泉
一种基于服务体/执行流的新型操作系统构造模型被引量：12
2006年
在分析进程/线程模型内在缺陷的基础上,提出了一种新的操作系统构造模型———服务体/执行流模型.该模型以执行流为运行模型,以服务体为存储模型,两者相互分立,使得数据的计算独立于数据的存储,从而融合了单地址、多地址空间和单内核、微内核结构的优点,又摒弃了它们的缺点,并可有力支持分布式计算.实验数据验证了该模型的正确有效性.
吴明桥陈香兰张晔龚育昌
关键词：执行流
一种基于组件的aspect-oriented编程框架被引量：2
2008年
面向方面的编程(AOP:aspect-oriented programming)是一种新的编程技术.它引进了aspect,将影响多个模块的行为封装到一个可重用模块中,允许程序员对横切(crosscutting concerns)进行模块化,从而消除了面向对象编程(OOP:object-oriented programming)引起的代码混乱和分散问题.本文讨论了在服务体模型上实现的一种aspect-oriented编程框架.这个编程框架使用aspect组件,定义了对OOP语言的扩展,可方便将模块化的aspect代码扩展到源程序中,解决了OOP模型在这方面的不足.
龚育昌张敏乔磊贾永泉
关键词：编程框架
k元de Bruijn序列的反馈函数的一个升级算法被引量：14
2006年
本文定义了k个从k元n级de Bruijn-Good图到k元n-1级de Bruijn-Good图的满同态映射Da,利用这些同态映射,我们证明了n级非奇反馈函数f(x1,x2,…,xn)与以Da(Gf)为状态图的n-1级非奇反馈函数g(x1,x2,…,xn-1)的一个关系定理,给出了k元de Bruijn序列的反馈函数的一个升级算法,特别当k=2,a=0时,利用映射D在Z2上运算的简单性,本文给出了一个从2元n-2r级de Bruijn序列反馈函数直接生成2元n级deBruijn序列的反馈函数的有效算法.
朱士信孙琳
关键词：DEDE同态映射
服务组合中一种静态基础服务部署研究被引量：3
2008年
服务组合是一种新型分布式应用模式,可以实现Internet上跨机构的服务之间的整合.在Web服务、服务覆盖网络、网格等研究中,服务组合所依赖的基础服务通常由第三方部署,并通过服务发现提供给服务组合.为将服务组合应用到机构内部,现有的基于服务发现的基础服务部署不再适用,为此专门针对基于Intranet的服务系统中的服务组合建立了静态服务部署问题的数学模型,并进行分析求解,获得了节点负载均衡条件、服务请求流量最小化条件,并给出了满足上述两个条件的具有最少服务分布规模的近似算法,最后通过仿真实验对算法进行验证,并对算法的容错性进行了分析和改进.
陈香兰李曦龚育昌
关键词：负载平衡
一种基于标准化QoS公平的反馈控制实时调度算法被引量：4
2007年
任务间的QoS公平性是多QoS级别的可调节动态实时调度系统中的一个重要问题.本文引入了标准化QoS公平的概念,在公平性中加入了任务的重要性因素,并构造了具有PID反馈控制环节的实时调度算法NF-QoS来达到标准化QoS公平.利用NF-QoS对系统截止期错失率进行实时采样,定期反馈给PID控制器,根据PID控制器计算的结果对各任务QoS级别进行调整,以保证各任务公平地得到处理器资源.实验结果表明,NF-QoS不仅合理地协调了系统利用率和截止期错失率,并且有效地提高了系统的QoS公平性.
王立刚陈香兰齐骥龚育昌
关键词：实时调度
全选 清除 导出
共2页<12>
聚类工具0