晏海华

作品数：44被引量：199H指数：8
导出分析报告
供职机构：北京航空航天大学计算机学院更多>>
发文主题：软件测试软件工程白盒测试并行计算叠前时间偏移更多>>
发文领域：自动化与计算机技术天文地球文化科学电子电信更多>>
发文期刊：《计算机工程与应用》《软件学报》《计算机工程》《计算机工程与设计》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项武器装备预研基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于自动分区的海量科学数据计算框架被引量：2
《北京航空航天大学学报》2022年第6期1004-1012,共9页田杨 晏海华 
在科学研究领域,存储容量、处理效率和分析精度并不能适应科学数据的指数级增长速度。通过对科学数据结构与标准的研究,提出了一个海量科学数据计算框架BSDF。提出了一种基于模型驱动的统一数据接口,实现对异构科学数据的无差别访问;提...
关键词：科学数据 模型驱动 分区算法 叠前时间偏移 软件工程 SPARK 
基于改进Z-路径覆盖提高测试充分性的方法被引量：1
《质量与可靠性》2020年第3期62-66,共5页张晓玮 祝宇 晏海华 
单元测试是软件质量保证的重要技术方法,也是安全关键软件测试中必不可少的重要环节。介绍了传统单元测试方法中覆盖程度较高的Z-路径覆盖,通过程序实例和理论分析,对Z-路径覆盖在对循环的测试中出现的问题进行分析,证实了传统Z-路径覆...
关键词：单元测试 Z-路径覆盖 测试充分性 测试用例 覆盖分析 
一种在复杂环境中支持容错的高性能规约框架
《北京航空航天大学学报》2018年第10期2115-2124,共10页李超 赵长海 晏海华 刘超 文佳敏 王增波 
国家自然科学基金(61672073);中国石油天然气集团公司科学研究与技术开发项目(2016E-1001)~~
规约是并行应用最常用的集合通信操作之一,现存规约算法存在2方面主要问题。第一,不适应复杂环境,当计算环境出现干扰时,规约效率显著降低。第二,不支持容错,当节点发生故障时,规约被迫中断。针对上述问题,提出一种基于任务并行的高性...
关键词：规约 集合通信 复杂环境 干扰 容错 并行计算 
异构计算环境下的三维Kirchhoff叠前深度偏移混合域并行算法被引量：1
《石油地球物理勘探》2018年第3期478-486,共9页王一达 赵长海 李超 张建磊 晏海华 张威毅 
国家科技重大专项(2011ZX05019-003)资助
三维Kirchhoff叠前深度偏移(KPSDM)面对数据量的不断增长以及可编程图形处理器(GPU)的引入,传统的并行策略已经不再适合当前的超大规模异构集群的体系架构。本文提出了一种新的混合域KPSDM并行算法,从成像空间、输入数据两个维度对偏移...
关键词：Kirchhoff叠前深度偏移 并行算法 混合域 GPU 异构集群 分布式缓存 
并行程序设计课程学生作业的自动评判方法被引量：1
《计算机教育》2012年第14期73-77,共5页赵长海 晏海华 贾宝龙 王艳雷 高非 
北京航空航天大学教改项目"并行程序设计教学辅助平台"(2010-35)
针对SMP架构的多线程并行程序和集群架构的MPI并行程序,提出从正确性、性能和可扩展性三个方面进行自动评判的方法,同时还提出对正确性、性能和可扩展性三个指标进行量化的方法,并基于量化值对并行程序自动判分。
关键词：并行程序设计 并行计算 多核 虚拟机 自动评判 自动评测 
ABDOM的参数规范化与离散化改进被引量：1
《北京航空航天大学学报》2012年第10期1415-1419,共5页何智涛 晏海华 刘超 
国家自然科学基金资助项目(90718018);核高基重大专项(软件类)资助项目(2009ZX01045-005-002-02)
为了更好利用叠加式双阻尼振荡模型(ABDOM,Accumulative Bi-Damped Os-cillation Model)来描述、预测和评估真实软件缺陷发现时序过程,在提出理想软件缺陷发现时序过程范型(ISPSDD,Ideal Sequential Process of Software Defects Discov...
关键词：软件缺陷 缺陷模型 叠加双阻尼振荡模型 
软件缺陷发现时序过程的叠加双阻尼振荡模型被引量：3
《软件学报》2010年第12期2999-3010,共12页何智涛 晏海华 刘超 
国家自然科学基金No.90718018~~
在软件测试实践中,被测软件通常要经历多轮次的测试和修改过程.由于受到被测软件的缺陷分布、迭代式的开发与测试过程、测试者发现缺陷的能力等诸多非确定性因素的影响,使得软件缺陷发现的时序过程呈现出相应的周期性、随机振荡性和阻...
关键词：软件缺陷 缺陷发现 缺陷发现模型 时序 
代码相似性检测技术:研究综述被引量：23
《计算机科学》2010年第8期9-14,76,共7页熊浩 晏海华 郭涛 黄永刚 郝永乐 李舟军 
国家863项目(2007AA010302;2008AA012114);国家自然科学基金(60703057;60573084)资助
程序代码的相似性检测是使用一定的检测手段度量程序代码间的相似程度,其对于提升高等教育中计算机课程教学效果和保护软件知识产权都有着重要的意义。介绍了代码相似性检测技术的研究意义和发展历程,阐述了本领域研究过程中的概念模型...
关键词：代码相似 自动检测 概念模型 
一种基于BP神经网络的代码相似性检测方法被引量：12
《计算机科学》2010年第3期159-164,共6页熊浩 晏海华 黄永刚 郭涛 李舟军 
863国家重点基金项目(2007AA010302;2008AA012114);国家自然科学基金(60703057;60573084)资助
如何有效地检测程序设计课程作业中的抄袭现象是一个重要的问题。传统的抄袭检测方法主要利用代码的属性或结构信息来度量代码之间的相似性。给出了一种基于误差反向传播(BP算法)多层前向神经网络的代码抄袭检测方法。提取程序之间的7...
关键词：抄袭 相似性检测 BP神经网络 比较特征 
面向地震数据处理的并行与分布式编程框架被引量：17
《石油地球物理勘探》2010年第1期146-155,共10页赵长海 晏海华 王宏琳 史晓华 王雷 
国家高技术研究发展计划863(2007AA060401)
本文提出了一个适用于地震资料处理的并行与分布式编程框架GeoPF。该框架构建在集群系统之上,采用粗粒度数据并行执行模型,它可以调度串行语言编写的处理模块,同时运行在多个计算节点或者单个节点内的多个CPU核上,隐藏了计算节点及其CP...
关键词：并行执行模型 地震数据处理 编程框架 分布式 计算节点 地震资料处理 数据处理系统 串行方式 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部