郑征

作品数：20被引量：89H指数：7
导出分析报告
供职机构：北京航空航天大学更多>>
发文主题：测试用例无人机谓词航路排序更多>>
发文领域：自动化与计算机技术航空宇航科学技术文化科学社会学更多>>
发文期刊：《北京航空航天大学学报》《控制理论与应用》《电气电子教学学报》《计算机科学与探索》更多>>
所获基金：国家自然科学基金中国航空科学基金国家科技重大专项中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
深度学习框架测试研究综述被引量：2
《软件学报》2024年第8期3752-3784,共33页马祥跃 杜晓婷 采青 郑阳 胡崝 郑征 
国家自然科学基金(61772055,61872169);中央高校基本科研业务费专项资金(2023RC06)。
随着大数据和计算能力的快速发展,深度学习技术取得巨大突破,并迅速成为一个具有众多实际应用场景和活跃研究课题的领域.为了满足日益增长的深度学习任务开发需求,深度学习框架应运而生.深度学习框架作为连接应用场景和硬件平台的中间部...
关键词：深度学习框架 测试 缺陷 实证研究 
软件可信性与供应链安全前沿进展专题前言被引量：1
《软件学报》2023年第6期2507-2508,共2页向剑文 郑征 申文博 常瑞 田聪 
随着计算机应用的不断发展,软件已经渗透到国民经济和国防建设的各个领域,在信息社会中发挥着至关重要的作用.同时,各行各业依赖各类软件,软件的可信性与供应链安全已成为学术界和工业届不可忽视的根本性问题.一方面,人们对软件的可靠...
关键词：计算机应用 可解释性 信息系统 供应链安全 安全防护 系统化工程 编码过程 国防建设 
面向航空专业研究生的“软件可靠性工程”课程教学方法思考
《工业和信息化教育》2018年第11期42-47,共6页郑征 殷蓓蓓 
北京航空航天大学精品课程建设项目"软件可靠性工程"(项目编号:29816515)
随着软件密集型系统的发展,软件在航空系统中的重要性越来越高。保证新系统效能的唯一途径是通过系统工程手段保证航空软件的质量和可靠性。因此,"软件可靠性工程"课程对于新一代航空专业研究生的培养非常必要,在教学体系中的重要性也...
关键词：软件可靠性工程 教学方法 航空 
基于测试充分性准则的非死锁并发缺陷定位方法被引量：1
《计算机科学》2017年第11期195-201,共7页陈诚 郑征 王皓钦 乔禹 
并发程序的非确定性使得其调试工作异常困难。基于程序谱的软件缺陷定位方法虽然能够缓解该情况,但其定位结果依赖于调试信息。针对在此过程中难以获得调试信息及如何选择利用调试信息的问题,提出了一种基于测试充分性准则的缺陷定位方...
关键词：并发程序 软件测试 软件缺陷定位 
基于分级网络的供求系统防护资源分配方法
《系统工程与电子技术》2014年第10期1982-1993,共12页张逍怡 郑征 朱悦妮 张绍惠 
国家自然科学基金(60904066)资助课题
供求系统防护资源分配问题旨在制定合理的防护策略,以减小外界破坏带来的损失。对于基于p-中位模型的供求系统来说,一类经典的防护资源分配方法是建立并求解双层规划模型,进而得到防护策略。双层主从规划问题是个典型的NP难解问题,因此...
关键词：供求系统 关键基础设施防护 分级网络 防护资源分配 启发式方法 
关键基础设施防护主从对策模型及其求解算法被引量：7
《系统工程理论与实践》2014年第6期1557-1565,共9页朱悦妮 郑征 张逍怡 蔡开元 
国家自然科学基金(60904066);航空科学基金(2008ZG51092);北京航空航天大学基本科研业务费(YWF-14-ZDHXY-05)
针对基础服务设施系统的优化防护策略制定问题,将系统抽象成由服务设施、需求点及连接弧构成的一般性网络.应用对策论中的主从对策理论思想,描述系统防护计划制定者与攻击者在决策时相互制约的关系,并考虑设施容量限制这一现实因素对问...
关键词：关键设施 主从对策 容量限制 树搜索 
基于谓词执行信息分析的自适应缺陷定位算法被引量：7
《计算机学报》2014年第3期500-511,共12页郝鹏 郑征 张震宇 高乙超 宫成 薛云志 
国家自然科学基金(60904066;61003027);国家科技重大专项经费(2012ZX01039-004)资助~~
查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通...
关键词：统计学缺陷定位 谓词执行信息 自适应 软件测试 程序分析中图法 
基于改进快速扩展随机树方法的隐身无人机突防航迹规划被引量：13
《控制理论与应用》2014年第3期375-385,共11页莫松 黄俊 郑征 刘伟 
国家自然科学基金资助项目(60904066)
针对隐身无人机在日趋严密的雷达防御系统下的生存问题,提出了基于改进快速扩展随机树的隐身突防航迹规划方法.本文首先对隐身突防航迹规划中无人机的动态雷达散射截面积和雷达的发现准则这两个关键问题进行了分析和建模,然后针对现有...
关键词：无人机(UAV) 路径规划 快速扩展随机树(RRT) 雷达散射截面(RCS) 
基于谓词执行序列的软件缺陷定位算法被引量：11
《计算机学报》2013年第12期2406-2419,共14页李伟 郑征 郝鹏 高乙超 饶培峰 宫成 
国家自然科学基金(60904066;91018001)资助~~
谓词执行信息收集和利用的程度会直接影响基于谓词的统计学缺陷定位方法(PBSD)的定位效果.文中主要围绕两个问题进行研究:(1)是否可以通过增加谓词的执行信息量来提高算法的定位精度?(2)执行信息量与算法定位精度有什么关系?在此基础上...
关键词：软件缺陷定位 软件调试 统计学调试 谓词 执行序列 
自动化专业“C语言程序设计”教学思考被引量：10
《电气电子教学学报》2013年第6期15-17,共3页郑征 吴云洁 
北京航空航天大学优秀教学团队项目"C语言程序设计课程教学改革与创新"(No.0206004)
本文阐述了自动化专业中开设"C语言程序设计"课程面临的诸如教材编写内容、教学培养体系、学生知识结构等方面的若干问题和挑战。我们根据自动化专业的特点以及C语言本身的特征,对"C语言程序设计"课程建设和教学模式等进行了改革探索和...
关键词：C语言程序设计 教学方法 自动化专业 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部