国防科技技术预先研究基金(41315040106)

作品数：11被引量：50H指数：3
导出分析报告
相关作者：熊光泽桑楠雷航覃志东古幼鹏更多>>
相关机构：电子科技大学更多>>
相关期刊：《计算机研究与发展》《计算机工程》《广东通信技术》《实验科学与技术》更多>>
相关主题：软件测试统计测试贝叶斯方法安全关键软件持续期更多>>
相关领域：自动化与计算机技术航空宇航科学技术理学电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
嵌入式高可信架构中基于静态模型的调度研究被引量：2
《航空学报》2009年第12期2387-2394,共8页杨霞 桑楠 雷剑 熊光泽 
国防重点预研基金(41315040106);国家"863"计划(2006AA01Z137;2007AA01Z131);电子科技大学校青年基金(L08010601JX05030;L08010601JX0752)
为解决嵌入式高可信软件架构中的实时调度问题,分析了现有采用分区机制的安全系统中分区调度的不足,提出了一种基于固定周期分区的静态调度模型,并采用优先级位图算法建立了两级调度机制。为了保障分区中任务的实时性和正确性,对分区中...
关键词：嵌入式安全关键系统 ARINC-653 时空隔离 静态模型 调度 两级调度机制 
基于关键引用验证的分布式实时垃圾搜集器被引量：3
《计算机应用研究》2009年第11期4036-4038,4041,共4页张宁 熊光泽 
国防重点预研基金资助项目(41315040106);国家"863"计划资助项目(2006AA01Z137)
提出了一种新的分布式垃圾搜集器(GC)机制,即基于关键引用验证的分布式GC。性能分析说明,与以往的分布式GC相比,该算法能以最短的时间延迟回收循环垃圾。尽管该算法为保留引用列表和验证过程需要额外的一些存储空间,但具有一定的实时性...
关键词：分布式垃圾搜集器 循环垃圾 时间戳 关键引用 实时 
基于EDF的分布式系统实时容错调度算法被引量：2
《计算机工程》2006年第4期76-78,共3页叶国骏 李莉丽 雷航 
国家"十五"预研基金资助项目(41315040106)
将分布式系统的任务分配算法与处理器局部调度算法相结合,提出一种主动备份的、基于EDF的分布式系统实时容错调度算法,其特点是主/副版本执行时间可以重叠。给出了该调度算法的任务集可调度的充分条件、任务集可调度所需最小处理器个数...
关键词：分布式系统 主动备份 容错调度 主版本/副版本 EDF算法 
基于自平衡的非周期任务动态实时调度算法被引量：1
《计算机科学》2006年第3期287-290,F0003,共5页陈旭东 朱清新 廖勇 熊光泽 
国家"十五"预研项目(41315040106);国家863计划资助项目(2003AA1Z2210)
为了更有效地进行开放和不可预测系统的载荷管理,提出了一种基于自平衡的动态实时调度模型——DRSSR(Dynamica Real-time Scheduling based on Self-Regulation)。DRSSR 把许可控制和 QoS 降级相结合,采用反馈控制技术来确保系统的性能...
关键词：实时系统 动态调度 非周期 自平衡 反馈控制 
基于UML模型的统计测试方法研究
《计算机科学》2005年第8期219-222,共4页朱虹虹 熊光泽 雷航 桑楠 
国家"十五"预研项目(No.41315040106)
为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,...
关键词：统计测试 使用模型 UML模型 马尔可夫链 有限状态机 测试方法 统一建模语言UML 形式化描述 可测试性 工业标准 
连续执行软件可靠性验证测试方法被引量：10
《计算机科学》2005年第6期202-205,共4页覃志东 雷航 桑楠 熊光泽 
国防预研基金(41315040106);国家高技术研究发展863计划专项经费(2003AA1Z2210);电子科技大学优秀青年教师基金(L08010601YF020806)
针对基于经典统计假设检验的固定期测试方法测试持续期太长,难以满足现代连续执行软件可靠性验证测试的需要,提出了一种基于经验贝叶斯统计推断的连续执行软件可靠性验证测试方法。该方法通过可靠性增长测试阶段的测试记录获得软件失效...
关键词：可靠性验证 测试方法 执行 验证测试 统计假设检验 软件可靠性 可靠性增长 持续期 统计推断 先验分布 软件失效 测试阶段 测试过程 动态整合 贝叶斯 可信性 
VxWorks下串行通信的实现原理与应用被引量：2
《实验科学与技术》2005年第2期47-50,共4页马德荣 桑楠 莫彩文 
十五预研项目(编号41315040106)空域信息系统显示项目资助。
结合串口通信方式在飞行数据传输系统的实际应用,讨论了在VxWorks下各种串行通信实现的基本原理和实现方式,给出了实现流程和相应的程序示例,归纳了这些方式的差异性以及在实际工程应用中的使用选择。
关键词：嵌入式操作系统 VXWORKS 数据传输 串行通信 
基于RADIUS协议的无线Internet接入业务预付费方案被引量：1
《广东通信技术》2005年第3期36-40,共5页向杰 熊光泽 
国家"十五"预研项目(No.41315040106)
以预付费的方式经营无线Internet接入业务是电信运营商较为理想的选择。文章介绍了基于智能网的无线Internet接入业务预付费方案;在研究基于智能网的传统预付费业务、固网宽带接入业务以及CDMA2000数字蜂窝移动通信网预付费相关服务器...
关键词：接入业务 RADIUS协议 无线INTERNET 预付费业务 数字蜂窝移动通信网 CDMA2000 智能网 固网 核心功能 电信运营商 
安全关键软件可靠性验证测试方法研究被引量：33
《航空学报》2005年第3期334-339,共6页覃志东 雷航 桑楠 熊光泽 古幼鹏 
国家"十五"预研基金(41315040106)资助项目
为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分...
关键词：软件可靠性 可靠性验证 贝叶斯方法 安全关键软件 软件测试 
一种实时多任务软件可靠性验证方法被引量：4
《系统工程与电子技术》2004年第10期1476-1480,共5页覃志东 雷航 熊光泽 桑楠 陈丽蓉 
国家"十五"预研项目基金资助课题(41315040106)
针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法。该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解...
关键词：软件可靠性 可靠性验证方法 统计测试 实时软件 软件测试 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部