您的位置： 专家智库 > >

国家高技术研究发展计划(2003AA1Z2210)

作品数：18 被引量：87H指数：5
相关作者：熊光泽桑楠廖勇朱清新古幼鹏更多>>
相关机构：电子科技大学中国科学院更多>>
发文基金：国家高技术研究发展计划国防科技技术预先研究基金更多>>
相关领域：自动化与计算机技术航空宇航科学技术理学电子电信更多>>

文献类型

  • 18篇中文期刊文章

领域

  • 16篇自动化与计算...
  • 1篇电子电信
  • 1篇航空宇航科学...
  • 1篇理学

主题

  • 6篇嵌入式
  • 4篇实时系统
  • 3篇调度
  • 3篇嵌入式操作
  • 3篇嵌入式操作系...
  • 3篇操作系
  • 3篇操作系统
  • 2篇调度算法
  • 2篇定制
  • 2篇动态调度
  • 2篇数字签名
  • 2篇签名
  • 2篇门限
  • 2篇门限方案
  • 2篇功耗
  • 2篇构件化
  • 2篇反馈控制
  • 1篇动态电压调整
  • 1篇动态调度算法
  • 1篇动态功耗

机构

  • 18篇电子科技大学
  • 1篇中国科学院

作者

  • 13篇熊光泽
  • 10篇桑楠
  • 6篇廖勇
  • 5篇朱清新
  • 3篇古幼鹏
  • 3篇陈旭东
  • 2篇吴琦
  • 2篇雷航
  • 2篇卿利
  • 2篇覃志东
  • 2篇王明文
  • 2篇李向蔚
  • 1篇周嗣轲
  • 1篇罗克露
  • 1篇张宁
  • 1篇匡平
  • 1篇丁晓波
  • 1篇詹瑾瑜
  • 1篇冯庆
  • 1篇冯庆

传媒

  • 6篇计算机科学
  • 3篇电子科技大学...
  • 2篇计算机应用
  • 1篇哈尔滨工业大...
  • 1篇计算机学报
  • 1篇华中科技大学...
  • 1篇计算机工程
  • 1篇四川大学学报...
  • 1篇单片机与嵌入...
  • 1篇实验科学与技...

年份

  • 4篇2007
  • 4篇2006
  • 8篇2005
  • 2篇2004
共 18 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
针对SoC设计正确性和时间性的形式化协同验证方法(英文)被引量：2
2005年
给传统嵌入式系统验证方法带来巨大挑战的是SoC设计中硬件部分采用IP核、软件部分采用构件技术,这就需要一种既能克服传统方法缺陷又能适合SoC的新方法。针对SoC提出了一种基于着色Petri网的数学模型,形式化定义了IP核、构件和用户自定义逻辑模块,并阐述了从SoC设计体系结构到着色Petri网模型的转换方法,还介绍了如何利用现有工具CPNTools来分析Petri网模型。该方法不仅能验证SoC设计的正确性,还能验证其时间性,一旦给出SoC设计中IP核、构件和用户自定义逻辑的体系结构,那么就能够验证出整个系统的设计正确性和时间性,最后通过一个验证PDA手机音频和视频子系统的例子证明该方法行之有效,并给出了相应的实验结果。
詹瑾瑜熊光泽桑楠
关键词：SOCIP核着色PETRI网
Linux 2.6内核的内核对象机制分析被引量：12
2005年
文中介绍了Linux2.6内核中管理设备及其驱动程序的内核对象机制,重点分析了该机制的主要数据结构、工作原理和操作函数。提出了基于嵌入应用时简化目录结构的方法。
丁晓波桑楠张宁
关键词：LINUX设备管理
嵌入式操作系统定制的通用性研究被引量：17
2005年
嵌入式系统的专用性和资源约束要求嵌入式操作系统必须是可定制的。嵌入式操作系统的多样性为应用开发者提供了对操作系统选择的多种可能性,却导致嵌入式操作系统相关联的配置工具的多样性及配置方式的迥异,增加了应用开发者根据已有的操作系统模块选择配置应用需要的操作系统的难度。为方便用户对不同的操作系统进行配置,本文建立了一个统一的定制过程模型,并在此基础上实现了一个嵌入式Linux的配置剪裁器。
李向蔚桑楠熊光泽
关键词：嵌入式操作系统定制嵌入式LINUX专用性
嵌入式实时数据库中基于价值函数的并发研究被引量：2
2005年
提出一种新的适用于嵌入实时数据库系统(ERTDBS)的并发控制协议VB-SCC,该协议将事务的价值函数和SCC协议相结合。其目标是提高并发事务带给系统的价值收益。另外,该协议建立在基于功能替代的实时事务模型上,适用于嵌入式实时数据库系统。最后通过模拟试验证实VB-SCC比现有的VOSP、VPSP协议具有更好的稳定性。
张涛雷航
关键词：嵌入式实时数据库并发控制
基于软件复用的嵌入式操作系统的定制被引量：2
2007年
嵌入式系统的专用和资源约束等特性要求嵌入式操作系统必须是可定制的。以软件模块化复用设计为基础的操作系统剪裁配置技术为应用开发者定制系统提供了有力的支持。为了降低配置方式与工具的多样性所导致的定制操作系统的难度,该文基于模块的抽象关系提出了一种统一的定制过程模型,并在此基础上实现了一个嵌入式Linux的配置剪裁器。
李向蔚桑楠熊光泽
关键词：嵌入式开发嵌入式系统裁减
嵌入式应用中运行支撑框架的构件化技术研究被引量：7
2005年
为增强嵌入式软件的复用性、可移植性,缩短开发周期,通过研究现有的主流构件运行支撑技术,提出了一种面向嵌入式领域的运行支撑体系结构。为实现灵活、开放的嵌入式应用平台,本文首先建立了构件化的嵌入式运行支撑框架模型,然后结合PDA手机领域重点分析了开放式HLA结构和虚拟OS平台等关键技术,最后利用伪代码示例探讨了该领域中应用平台的定制与扩展方法。
冯庆桑楠熊光泽
关键词：嵌入式构件中间件嵌入式操作系统
一个用于移动网络的可视通信系统
2005年
介绍一个应用于宽带无线环境中的可视通信系统。根据MPEG-4标准的结构特点设计了保证QoS质量的自适应策略,并针对无线通信环境的差错来源提供了一些应对方法。
周嗣轲罗克露冯庆
关键词：流媒体QOS移动网络MPEG-4
一种基于构件的嵌入式实时软件框架被引量：3
2004年
嵌入式实时软件面临着规模大、复杂性高而开发周期相对较短,必须具备可定制和演化的能力等挑战,因此一个重用性高、扩展性和维护性好的软件框架显得非常必要。本文提出了一种基于构件的实时软件框架CBRTSF,它在其实时构件模型RTC的接口中显式定义了构件需要的服务——输入方法,并将接口中的每个方法赋予优先级特性。在此基础上,利用方法连接来描述构件间的交互,采用基于方法连接的可抢占优先级调度算法,从而得到一个全构件化的实时软件框架。最后,我们举了CBRTSF的一个应用例子,并将CBRTSF与相关研究工作进行了比较分析,说明了CBRTSF在满足系统实时性、重用性、扩展性和维护性方面具有较大的优势。
古幼鹏桑楠熊光泽覃志东
关键词：嵌入式实时软件重用性接口扩展性软件框架
基于随机决策模型的动态功耗管理策略研究被引量：10
2007年
由于功耗的严格约束,现代嵌入式计算终端必须采用科学的动态功耗管理策略.文中在对计算机系统的动态功耗管理(Dynamic Power Management,DPM)模型深入研究的基础上,采用改进的DPM随机决策模型,从理论上证明了DPM最优策略是确定性马尔可夫策略,这为简化DPM控制算法提供了理论依据.在实例研究中,比较了空闲时间长度服从负指数分布与Pareto分布两种情况,发现经典的空闲时间长度服从负指数分布的假设与实际情况偏差很大.Pareto分布很好解释DPM超时策略在实际应用中可以取得优良节能效果这一现象.
吴琦熊光泽
关键词：动态功耗管理PARETO分布马尔可夫决策过程
一种基于灵巧连接件的软件体系结构被引量：5
2004年
为了提高软件的重用性和维护性,本文提出了一种基于灵巧连接件的软件体系结构 SCBSA。SCBSA 是构件化和独立连接件思想相结合的产物,它将连接件进一步构件化得到灵巧连接件,从而形成了一个彻底的构件化体系结构。文章对 SCBSA 的主要概念和体系结构风格以及 SCBSA 的实现环境进行了详细讨论,然后列举了一个 SCBSA 的应用实例,最后将 SCBSA 与相关研完工作进行了详细比较分析,并对 SCBSA 的特点进行了总结。
古幼鹏桑楠熊光泽
关键词：软件体系结构连接件
全选 清除 导出
共2页<12>
聚类工具0