徐建军
- 作品数：75 被引量：131H指数：6
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划长江学者和创新团队发展计划更多>>
- 相关领域：自动化与计算机技术电子电信文化科学军事更多>>
- 基于程序谱技术的FPGA代码缺陷定位方法及系统
- 本发明公开了基于程序谱技术的FPGA代码缺陷定位方法及系统，涉及硬件测试技术领域，其技术方案要点是：构建对目标程序进行缺陷定位测试的包含所有测试用例的测试集；以测试集中的测试用例对动态执行的目标程序进行依次测试，得到测试...
- 徐建军毛晓光吴江张卓杨德亨何枷瑜李盼盼
- 基于业务规则的工作流任务分派设计与实现被引量：6
- 2008年
- 任务分派反映了企业的人力资源管理与利用水平,是工作流系统的重要内容。任务分派实现是否有效,直接影响了企业的经济效益与发展。在分析以往工作流任务分派定义灵活性与扩展性不足的基础上引入业务规则,以提高任务分派逻辑定义的效率和质量。本工作流任务分派系统充分利用了现有规则引擎Drools,并在此基础上进行了面向业务层面的改进与扩展,以提高系统开发效率。为基于业务规则的工作流系统开发打下坚实的理论与实践基础。
- 李春芳谭庆平徐建军肖晓丽
- 关键词：任务分派工作流系统规则引擎DROOLS
- 卫星数字图像的智能处理研究被引量：1
- 2005年
- 在借鉴成熟的数字图像特征分类模型基础上,通过特征抽取及采用神经网络方法对特征树训练,得到卫星数字图像的典型特征和在图像分析中的权重。提出利用数字图像的经验处理知识来实现卫星数字图像的自动处理,并建立分类数字图像集的经典处理案例,采用基于案例推理的方法,实现了卫星数字图像处理经验的复用和效率的提高。
- 曾鹏徐建军吴玲达
- 关键词：特征提取图像处理神经网络知识
- 基于三阶段棋类游戏开发的程序设计实践课程改革被引量：2
- 2019年
- 针对计算机程序设计实践类课程的实践选题难以满足教学实际需求,分析了这类课程的具体需求和存在的问题,提出了基于三阶段棋类游戏开发实验的实践选题,并在课程组织和成绩评价等方面采取了多项改革措施,取得了良好的教学效果。
- 徐建军陈振邦尹良泽
- 关键词：程序设计实践课程
- 面向星载容错系统测评的故障注入技术研究及算法
- 本文介绍一种基于程序基本块的软件故障注入技术。首先介绍了故障注入是一种有效的测试和评价容错系统方法;紧接着讨论了软件故障注入方法能有效地模拟单粒子故障模型;在此基础上提出了故障注入的三个关键问题:①选择故障模型;②提高故...
- 谭兰芳谭庆平徐建军李建立
- 文献传递
- 一种基于多URL规则集的HTTP数据匹配方法
- 本发明公开了一种基于多URL规则集的HTTP数据匹配方法，包括：拆分待匹配URL规则集中的每一条规则；数字化规则集，即将拆分后的每一条URL规则进行分解并数字化为若干个结点；建立用于搜索的哈希二分多链表，即将数字化后的每...
- 谭庆平李盼盼曾平徐建军邵则铭孟宪凯张南邓锦洲张浩宇仵思聪刘鑫昊唐国斐谢勤政颜颖
- 文献传递
- 一种基于虚拟基本块和格式化标签的控制流检测方法被引量：5
- 2014年
- 空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些故障的主要影响之一是引发程序控制流错误.文中提出了一种软件实现的控制流检测方法CFCAF.CFCAF基于插入虚拟基本块后的控制流图对基本块分类,并为基本块设计格式化标签,然后在基本块内插装标签更新、比较指令,实现对基本块之间、基本块内和过程间调用的控制流检测.CFCAF的特点是可以根据可靠性和性能的需求进行灵活配置.对CFCAF及目前有代表性的两个同类算法进行的故障注入实验结果表明,CFCAF算法以平均41.7%的性能代价和平均34%的空间代价,使程序的平均失效率降到了5.2%,在3个同类算法中,CFCAF算法具有较低的时空开销和最高的可靠性.
- 李建立谭庆平谭兰芳徐建军
- 关键词：瞬时故障
- 一种线性汇编级的可配置容错方法、计算机、计算机程序
- 本发明属于计算机软件加固技术领域，公开了一种线性汇编级的可配置容错方法、计算机、计算机程序，将程序代码划分为若干个基本块；所有变量重命名；计算每个变量的复算效率；计算每个变量的影响因子；对全部变量进行排序并选取部分进行可...
- 谭庆平李盼盼邓锦洲徐建军邵则铭曾平张南孟宪凯张浩宇唐国斐谢勤政颜颖刘鑫昊
- 文献传递
- 一种图像压缩多核并行容错方法、计算机、处理器
- 本发明属于硬件瞬态故障检测及修复技术领域，公开了一种图像压缩多核并行容错方法、计算机、处理器，构建图像并行压缩模块，单核图像处理程序进行多核处理器上的移植与优化；根据已有核级冗余容错特征，确定非绑定异步冗余容错模型；根据...
- 谭庆平唐国斐李盼盼徐建军邵则铭曾平张南孟宪凯张浩宇邓锦洲谢勤政颜颖刘鑫昊
- 文献传递
- 一种基于线形汇编指令差异性变换的DSP软错误检测方法
- 本发明公开了一种基于线形汇编指令差异性变换的DSP软错误检测方法，目的是解决现有DSP软错误检测方法性能开销大的问题。技术方案是将程序划分为无存基本块，构建程序控制流图，识别出循环，筛选出可编排软件流水的循环；对程序进行...
- 谭庆平邵则铭徐建军宁洪姜晶菲孟宪凯张南邓锦洲曾平张浩宇
