郝鹏

作品数:4被引量:16H指数:2
导出分析报告
供职机构:北京航空航天大学更多>>
发文主题:谓词测试用例统计学排序谓词执行更多>>
发文领域:自动化与计算机技术医药卫生更多>>
发文期刊:《计算机学报》《计算机科学与探索》《生理学报》更多>>
所获基金:国家自然科学基金国家科技重大专项北京市自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-4
视图:
排序:
AMPA受体参与的出生后大鼠海马发育早期的电生理学特点被引量:2
《生理学报》2018年第2期106-114,共9页陈雪怡 张皑峰 赵文 高钰丹 段红梅 郝鹏 杨朝阳 李晓光 
supported by the National Natural Science Foundation of China(No.31730030;31670988;31771053 and 31650001);the National Basic Research Development Program of China(No.2017YFC1104002;2017YFC1104001);Project of International Cooperation and Exchanges(No.31320103903);the Science and Technology Program of Beijing Municipality;China(No.Z171100002217066;Z18110001818007);Beijing Natural Science Foundation Program and Scientific Research Key Program of Beijing Municipal Commission of Education(No.KZ201810025030);the Special Funds for the Authors of Excellent Doctoral Dissertations of Universities and Colleges in China(No.201356)
本研究旨在探讨α-氨基-3-羟基-5-甲基-4-异恶唑丙酸(AMPA)受体参与的出生后大鼠海马发育早期的电生理学特点。选择出生后0.5月龄、1月龄、2月龄和3月龄Wistar大鼠共计48只(每组各12只)。应用全细胞膜片钳技术及MED64平面微电极阵列技...
关键词:AMPA受体 出生后发育早期 全细胞膜片钳技术 MED64平面微电极阵列记录技术 
基于谓词执行信息分析的自适应缺陷定位算法被引量:7
《计算机学报》2014年第3期500-511,共12页郝鹏 郑征 张震宇 高乙超 宫成 薛云志 
国家自然科学基金(60904066;61003027);国家科技重大专项经费(2012ZX01039-004)资助~~
查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通...
关键词:统计学缺陷定位 谓词执行信息 自适应 软件测试 程序分析中图法 
基于谓词执行序列的软件缺陷定位算法被引量:11
《计算机学报》2013年第12期2406-2419,共14页李伟 郑征 郝鹏 高乙超 饶培峰 宫成 
国家自然科学基金(60904066;91018001)资助~~
谓词执行信息收集和利用的程度会直接影响基于谓词的统计学缺陷定位方法(PBSD)的定位效果.文中主要围绕两个问题进行研究:(1)是否可以通过增加谓词的执行信息量来提高算法的定位精度?(2)执行信息量与算法定位精度有什么关系?在此基础上...
关键词:软件缺陷定位 软件调试 统计学调试 谓词 执行序列 
类别比例对缺陷定位稳定性影响的实验研究
《计算机科学与探索》2013年第6期505-517,共13页宫成 郑征 张震宇 郝鹏 饶培峰 高乙超 
国家自然科学基金Nos.60904066;61003027;国家科技重大专项No.2012zx01039-004~~
软件缺陷定位技术通过比较程序正确与错误运行过程中的不同行为特征,找出导致错误运行行为的代码。任意一种软件缺陷定位算法都有其适用的环境或条件,如果能够在其设计与选择过程中考虑到这些因素,将对提升算法的使用效果起到积极作用...
关键词:缺陷定位 程序谱 类别比例 定位稳定性 
检索报告 对象比较 聚类工具 使用帮助 返回顶部