您的位置: 专家智库 > >

熊光泽

作品数:208 被引量:1,286H指数:20
供职机构:电子科技大学计算机科学与工程学院更多>>
发文基金:国家高技术研究发展计划国防科技技术预先研究基金中国人民解放军总装备部预研基金更多>>
相关领域:自动化与计算机技术电子电信航空宇航科学技术理学更多>>

文献类型

  • 177篇期刊文章
  • 30篇会议论文
  • 1篇科技成果

领域

  • 192篇自动化与计算...
  • 15篇电子电信
  • 9篇航空宇航科学...
  • 2篇理学
  • 1篇机械工程
  • 1篇文化科学

主题

  • 56篇嵌入式
  • 44篇操作系
  • 44篇操作系统
  • 38篇调度
  • 31篇实时系统
  • 25篇实时操作系统
  • 24篇计算机
  • 21篇网络
  • 19篇嵌入式系统
  • 17篇容错
  • 15篇可靠性
  • 15篇安全关键系统
  • 12篇多任务
  • 12篇软件开发
  • 10篇实时多任务
  • 10篇嵌入式操作
  • 10篇嵌入式操作系...
  • 10篇嵌入式软件
  • 9篇调度算法
  • 9篇体系结构

机构

  • 207篇电子科技大学
  • 4篇西南交通大学
  • 4篇郑州大学体育...
  • 4篇中国工程物理...
  • 3篇中兴通讯股份...
  • 3篇四川省电力试...
  • 2篇四川师范大学
  • 2篇厦门大学
  • 1篇东华大学
  • 1篇南京航空航天...
  • 1篇攀枝花大学
  • 1篇清华大学
  • 1篇西南石油学院
  • 1篇四川大学
  • 1篇中国科学院
  • 1篇中国石油天然...
  • 1篇中国人民武装...
  • 1篇北京系统工程...
  • 1篇北京科银京成...

作者

  • 208篇熊光泽
  • 58篇桑楠
  • 22篇杨仕平
  • 19篇雷航
  • 15篇罗蕾
  • 14篇李允
  • 14篇郭兵
  • 14篇陈宇
  • 12篇黎忠文
  • 12篇刘锦德
  • 12篇陈慧
  • 11篇常政威
  • 10篇廖勇
  • 9篇江维
  • 8篇吴新勇
  • 7篇陈丽蓉
  • 7篇詹瑾瑜
  • 7篇杨霞
  • 7篇古幼鹏
  • 6篇张宁

传媒

  • 33篇计算机科学
  • 30篇电子科技大学...
  • 26篇计算机应用
  • 12篇系统工程与电...
  • 11篇单片机与嵌入...
  • 7篇电子学报
  • 5篇计算机工程
  • 5篇计算机辅助设...
  • 4篇航空学报
  • 4篇计算机工程与...
  • 4篇计算机工程与...
  • 3篇计算机研究与...
  • 3篇计算机应用研...
  • 3篇小型微型计算...
  • 3篇计算机与数字...
  • 3篇2003中国...
  • 3篇全国抗恶劣环...
  • 2篇计算机集成制...
  • 2篇电子技术应用
  • 2篇计算机学报

年份

  • 1篇2012
  • 2篇2011
  • 4篇2010
  • 11篇2009
  • 6篇2008
  • 12篇2007
  • 11篇2006
  • 24篇2005
  • 33篇2004
  • 28篇2003
  • 18篇2002
  • 18篇2001
  • 15篇2000
  • 3篇1999
  • 5篇1998
  • 4篇1997
  • 2篇1996
  • 6篇1995
  • 3篇1994
  • 1篇1993
208 条 记 录,以下是 1-10
排序方式:
嵌入式应用中运行支撑框架的构件化技术研究被引量:7
2005年
为增强嵌入式软件的复用性、可移植性,缩短开发周期,通过研究现有的主流构件运行支撑技术,提出了一种面向嵌入式领域的运行支撑体系结构。为实现灵活、开放的嵌入式应用平台,本文首先建立了构件化的嵌入式运行支撑框架模型,然后结合PDA手机领域重点分析了开放式HLA结构和虚拟OS平台等关键技术,最后利用伪代码示例探讨了该领域中应用平台的定制与扩展方法。
冯庆桑楠熊光泽
关键词:嵌入式构件中间件嵌入式操作系统
一种高可信赖测控计算机的设计与实现被引量:3
2005年
本文首先从硬件的角度对计算机容错系统的理论基础、结构模型作简单论述,随后介绍了一种基于实时操作系统CRTOS2.0、MPC860嵌入式处理器的高可信赖的测控计算机系统硬件平台的设计方案,并着重阐述了其中最主要的热备份测控计算机CPU板电路和仲裁电路等关键模块的设计细节;该系统具有突出的通用性和高可信赖的特点。
熊建熊光泽
关键词:MPC860硬件容错双机热备份
嵌入式系统内存管理方案研究被引量:29
2005年
嵌入式系统的内存管理机制必须满足实时性和可靠性的要求。本文以开源的操作系统RTEMS为例,介绍嵌入式系统中内存管理的要求、存在的问题以及解决的策略。
曾非一桑楠熊光泽
关键词:内存管理嵌入式系统操作系统RTEMS实时性开源
防危核一致性保障技术的研究
2006年
通过理想防危策略及其制定算法把防危策略的制定与一致性险证集为一体,从而解决防危策略与系统防危需求之间一致性问题;然后研究了以Z语言为桥梁,用数学证明来解决防危核与防危策略之间一致性证明的方法。以十字路口的交通控制为例,全过程地实现和验证了所提出的思想和算法的正确性。
黎忠文熊光泽
关键词:防危核安全系统
多类型任务集的容错实时调度算法被引量:3
2004年
针对以往容错实时调度算法只能调度单一的具有容错需求任务的情况,建立了一种单处理器上的容错实时调度模型,并提出了相应的容错实时调度算法。该算法不仅能同时调度具有容错需求和无容错需求的周期实时任务,还可调度随机性非周期任务,其适用范围广泛。
王亮雷航熊光泽
关键词:容错技术实时调度可靠性
基于SDL的硬实时调度可执行分析模型被引量:1
2002年
1引言 在后PC时代,嵌入式实时系统的需求变得越来越复杂,传统的开发方法已经难于管理及实现日益复杂的实时软件.形式化描述技术FDTs(F0mal Description Techniques)为实时软件代码的自动生成提供了有力的根据,它允许实时软件的仿真、验证与确认(V&V)及代码的自动生成同步进行.
杨仕平熊光泽陈慧
关键词:软件开发嵌入式实时系统软件代码SDL
基于RT-Linux防危保障机制的实验模型
2003年
随着嵌入式实时系统在安全关键系统中日益广泛的应用,其软件不但要保证嵌入式实时系统的功能性和时间限制,对其安全性、稳定性和可靠性的要求也大大提高。软件错误的比例大大高于硬件错误,软件错误可能引起硬件误操作,进而直接威胁系统安全。使用防危核可有效防止关键设备误操作。本文以RT-Linux实时操作系统为平台,对十字路口交通灯控制建立安全实验模型,研讨防危核实现技术,为防危保障探索新的实现途径。
杨霞熊光泽杨仕平于逊
关键词:RT-LINUX实时操作系统图形用户界面内核模块
一种增强任务关键无线网络可信性的消息调度策略被引量:1
2008年
任务关键无线网络面临实时和安全等可信因素的挑战,而已有的消息调度算法忽略了安全因素。提出一种安全感知的实时调度算法(SAMS)。在不违背关键消息的实时约束和安全约束的前提下,该算法能最大化提升系统的安全服务质量。仿真结果显示SAMS的有效性和健壮性。
江维熊光泽
关键词:消息调度
可升级的高可信嵌入式系统模型被引量:3
2002年
针对嵌入式系统升级的基本需求及面临的主要问题,提出一种支持高可信嵌入式系统安全的在线升级的模型。详细分析了该模型的理论基础和结构组成,并指出实现该模型需要解决的问题。
陈宇熊光泽
关键词:嵌入式系统冗余操作系统
安全操作系统授权撤销机制的研究
2003年
1引言 为保障系统的安全性,现代信息系统都采用了基于访问控制的安全机制.访问控制包含身份认证、授权和审计等功能,其基本思想一般是采用引用监视器来拦截用户进程的系统调用操作,通过安全策略匹配检查,授予或拒绝用户访问敏感信息的权限.
吴新勇熊光泽
关键词:安全操作系统计算机系统
共21页<12345678910>
聚类工具0