郑征 作品数:68 被引量:89 H指数:7 供职机构: 北京航空航天大学 更多>> 发文基金: 国家自然科学基金 中国航空科学基金 国家科技重大专项 更多>> 相关领域: 自动化与计算机技术 航空宇航科学技术 文化科学 社会学 更多>>
一种面向巧合一致性问题的统计学软件缺陷定位方法 一种面向巧合一致性问题的统计学软件缺陷定位方法,它包括五个步骤:(1)对含有缺陷的程序插桩;(2)加载程序的测试用例,运行插桩后的程序;(3)收集程序运行成功和运行失败时桩函数的输出信息;(4)对收集到的谓词动态执行信息... 郑征 郝鹏 张震宇 蔡开元文献传递 基于相容粒度空间模型的图像纹理识别 被引量:5 2009年 信息粒广泛存在于现实世界中,是对现实的抽象。信息粒化旨在建立基于外部世界的有效的并以用户为中心的概念,同时简化人们对物理世界和虚拟世界的认识。使用信息粒进行计算是粒度计算的基本思想,在问题描述和求解中都具有重要的意义。主要研究一种新的粒度计算模型—相容粒度空间模型在图像纹理识别中的应用。该模型基于这样的思想,即人类具有根据具体的任务特性把相关数据和知识泛化或者特化成不同程度、不同大小的粒的能力,并进一步根据这些粒和粒之间的关系进行问题求解的能力。通过在多个数据集上和10种其他图像纹理识别算法的比较实验表明,该方法在图像纹理识别上具有良好的应用效果。 郑征关键词:粒度计算 纹理识别 信息粒 一种基于蜕变测试技术的无人机智能航路规划测试方法 本发明一种基于蜕变测试技术的无人机智能航路规划测试方法:步骤1、对无人机智能航路规划算法进行分析,定义蜕变关系,设计后续测试用例生成器和结果比较器;步骤2、利用随机值法在一定约束规则下,生成初始测试用例集,并输入算法中,... 郑征 张建涛文献传递 基于谓词执行信息分析的自适应缺陷定位算法 被引量:7 2014年 查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通过比较程序运行成功与失败时谓词的执行信息差异来获得谓词与缺陷的关联程度.然而实验研究发现,固定算法中信息利用的强度会造成信息利用不足或过分利用现象的发生,导致现有PBSFL方法对某些缺陷定位不够准确.针对这一问题,文中设计了一种基于谓词执行信息分析的自适应缺陷定位算法,该算法通过分析测试用例运行时谓词的执行情况来动态地为每个谓词选择合适的信息利用强度.实验结果表明,该方法在Siemens和space两个程序包上表现出很好的定位效果以及定位稳定性. 郝鹏 郑征 张震宇 高乙超 宫成 薛云志关键词:自适应 软件测试 一种基于谓词执行序列的软件动态缺陷定位方法 一种基于谓词执行序列的软件动态缺陷定位方法,包括五个步骤:(1)对含缺陷的程序插桩;(2)加载程序的测试用例,运行插有输出谓词执行序列桩函数的程序;(3)分别收集程序运行正确时,和运行错误时,桩函数的输出信息;(4)对收... 郑征 李伟 梁宇 蔡开元一种基于状态水平覆盖的深度强化学习软件测试用例选择方法 本发明公开了一种基于状态水平覆盖的深度强化学习软件测试用例选择方法。该方法系首次提出面向深度强化学习软件的覆盖准则度量设计以及根据状态覆盖准则进行测试用例选择,通过定义主要探索空间,对连续的状态空间离散化,设计基于状态边... 郑征 石颖快速平滑收敛策略下基于QS-RRT的UAV运动规划 被引量:9 2012年 基于快速扩展随机树(rapidly exploring random tree,RRT)的运动规划算法,通过随机采样的方式探索未知任务空间,具有概率完备性和较高的计算效率.该类算法在应用于无人机运动规划时必须对飞行距离、过程安全性和航路平滑度进一步优化.针对这一问题,首先对威胁环境、无人机运动学性能和探测能力建模,然后根据飞行特征设计了随机采样、威胁规避、路径可跟踪性以及全局与局部平滑性等优化策略,并构建快速平滑收敛RRT(quick and smooth convergence RRT,QS-RRT),最后以此为基础分别提出了面向已知和未知任务空间的无人机运动规划算法.仿真结果表明,该算法能够在保证飞行路径收敛性、安全性及其规划效率的基础上,有效缩短飞行距离,改善航路的可跟踪性和平滑度,增强在实际飞行过程中的可操作性.此外,该算法还易于在航路优化效果和规划效率之间权衡,增强了对不同规划任务需求的适应性. 刘伟 郑征 刘伟 郑征关键词:快速扩展随机树 无人机 平滑度 一种威胁信息共享环境下的无人机群实时航路规划方法 一种威胁信息共享环境下的无人机群实时航路规划方法,该方法有七大步骤:步骤一:初始化;步骤二:目标点规划;步骤三:计算Δθ<Sub>PS</Sub>和w<Sub>PS</Sub>;步骤四:解模糊;步骤五:确定其余参量;步骤... 全权 郑征 赵立蒙 刘伟 蔡开元文献传递 深度学习框架测试研究综述 被引量:1 2024年 随着大数据和计算能力的快速发展,深度学习技术取得巨大突破,并迅速成为一个具有众多实际应用场景和活跃研究课题的领域.为了满足日益增长的深度学习任务开发需求,深度学习框架应运而生.深度学习框架作为连接应用场景和硬件平台的中间部件,向上支撑深度学习应用的开发,帮助用户快速构造不同的深度神经网络模型,向下深度适配各类计算硬件,满足不同算力架构和环境下的计算需求.作为人工智能领域的关键基础软件,深度学习框架中一旦存在问题,即使是一个只有几行代码的缺陷都可能导致在其基础上构造的模型发生大规模失效,严重威胁深度学习系统安全.作为以深度学习框架测试为主题的研究性综述,首先对深度学习框架发展历程和基本架构进行介绍;其次,通过对55篇与深度学习框架测试研究直接相关的学术论文进行梳理,对深度学习框架缺陷特性、测试关键技术和基于不同测试输入形式的测试方法这3个方面进行系统分析和总结;针对不同测试输入形式的特点,重点探究如何结合测试关键技术来解决研究问题;最后对深度学习框架测试尚未解决的难点问题进行总结以及对未来值得探索的研究方向进行展望.可以为深度学习框架测试研究领域的相关人员提供参考和帮助,推动深度学习框架的不断发展成熟. 马祥跃 杜晓婷 采青 郑阳 胡崝 郑征关键词:实证研究 一种数据血缘管理方法、装置及电子设备 本发明提出了一种数据血缘管理方法、装置及电子设备,包括:将数据信息输入到数据管理终端中,通过所述数据管理终端进行暂时存储;数据解析:存储的数据执行解析,进行数据整理,以使得血缘数据以来源表、目标表的形式进行显示;对解析后... 吴江 王志方 张海霞 符洪洋 樊小东 张凯翔 郑征