国家高技术研究发展计划(2007AA01Z131)

作品数：7被引量：8H指数：2
导出分析报告
相关作者：熊光泽杨霞陈文宇陈福余盛季更多>>
相关机构：电子科技大学中国人民武装警察部队警官学院攀枝花大学更多>>
相关期刊：《电子科技大学学报》《微电子学与计算机》《计算机辅助设计与图形学学报》《计算机应用研究》更多>>
相关主题：BLP安全模型高可信信息流控制线程模型HADES更多>>
相关领域：自动化与计算机技术航空宇航科学技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Hades高可信架构中分区间信息流控制的研究被引量：2
《电子科技大学学报》2012年第1期74-79,共6页杨霞 古和亦 汪强 桑楠 熊光泽 
国家863计划(2007AA01Z131)
为保障Hades高可信嵌入式操作系统体系架构自身的可信性,必须对其不同安全等级分区之间的信息交互进行严格的控制。该文分析了现有采用分区机制的可信系统的信息流控制方法的不足,提出了一种信息流控制模型,建立了信息流控制机制,并通...
关键词：BLP安全模型 高可信嵌入式操作系统体系架构 信息流控制 多级安全 可信分离内核 
嵌入式操作系统进程监测器的设计与实现
《计算机工程》2011年第9期59-61,共3页刘道宏 雷航 郭文生 
"核高基"重大专项"核心电子器件;高端通用芯片及基础软件产品"(2009ZX01039-003-001-002);国家"863"计划基金资助项目(2007AA01Z131)
为避免嵌入式操作系统的进程受到恶意软件的修改破坏,提出一种适合于嵌入式操作系统的进程监测器。监测器周期性地对系统进程控制块进行检测恢复,通过设置进程检查点为系统提供恢复操作进程,并在Linux上进行实现,给出主要的数据结构和...
关键词：进程监测器 安全攻击 检测点 检测恢复 
Java同步线程模型分析与改进被引量：6
《电子科技大学学报》2010年第3期430-434,共5页陈文宇 陈福 余盛季 孙世新 
国家863计划(2007AA01Z131);电子科技大学青年基金(L08010601JX0754)的资助
目前普遍采用急救包(Band-Aid)类库的方式解决Java线程模型存在的同步问题,但类库中的代码很难或无法实现优化。该文针对Java同步线程模型的缺陷,扩展synchronised关键字语法,使它支持多个参数和能接受一个超时说明;重新定义wait()使它...
关键词：双检锁 Java内存模型 Java线程模型 同步 
垃圾收集器实时化的研究
《微电子学与计算机》2010年第1期34-37,共4页张宁 张春宇 杨霞 熊光泽 廖勇 
国家"八六三"计划项目(2007AA01Z131)
用垃圾收集器进行动态内存管理对大规模软件系统的开发具有重要意义,为把垃圾收集器应用到嵌入式实时系统中,对垃圾收集器实时化进行了研究,提出了动态执行垃圾收集器任务以及用最短时限优先(EDF)算法调度垃圾收集器的算法,仿真实验和...
关键词：垃圾搜集器 实时系统 算法 调度 
支持MLS的多层次嵌入式高可信软件架构
《电子科技大学学报》2009年第6期1001-1005,1046,共6页杨霞 雷剑 熊光泽 
国家863计划(2007AA01Z131);电子科技大学青年基金项目(L08010601JX05030;L08010601JX0752)
为增强安全关键系统的高可信能力,在分析高可信保障机制现状的基础上,提出了一种多层次的高可信软件架构。该架构采用"时空分离"思想、虚拟机技术,为基于MLS的嵌入式安全关键系统提供了一种整体解决方案。基于该架构,研究了多层次的安...
关键词：BLP安全模型 信息流控制 多级安全 安全关键系统 安全分离内核 
嵌入式构件中的自适应机制与策略
《计算机应用研究》2009年第3期914-916,共3页万云强 陈文宇 张艳 
国家"863"计划资助项目(2007AA01Z131)
为了对嵌入式构件进行智能管理,提出了一种基于实例的学习算法。该适应算法能对经XML形式化表达过的构件进行自适应调整,从而在软件复用过程中减少人工干预。它比由自然语言描述的构件有更强的通用性、灵活性、自治性。
关键词：机器学习 扩展标记语言解析器 K-近邻法 扩展标记语言 树匹配 
用角轮廓结构实现基于O-Tree表示法的模块快速放置算法
《计算机辅助设计与图形学学报》2008年第10期1297-1302,共6页李康 虞厥邦 于永斌 
国家“八六三”高技术研究发展计划(2006AA01Z173,2007AA01Z131)
在VLSI物理设计中,O-Tree是一种高效简洁的布局表示法,但其对应的模块放置算法因为基于水平和垂直约束图及其操作而复杂且费时(算法时间复杂度为O(n2)).文中算法利用模块放置过程中右上端边沿形成的角轮廓结构的阶梯下降性,结合O-Tree...
关键词：VLSI物理设计 布局 O-Tree表示法 角轮廓 放置算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部