邢颖
- 作品数：48 被引量：35H指数：4
- 供职机构：北京邮电大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于WL算法的加速方法
- 2010年
- 本文对WL算法和其加速方法TSVQ进行研究。通过对搜索范围的分析提出了一种通过设置搜索带、减少匹配点搜索范围的方法来确定搜索区间,并进行了实验验证。实验证明与TSVQ加速方法相比,本方法能够使合成速度大大提高,并且算法实现上更简单。
- 邢颖孙劲光
- 关键词：样图
- 一种新邮政编码的编制方法
- 本发明提供一种新邮政编码的编制方法，目标邮政编码包括邮政编码段和区域编码段，具体包括：对于任一邮政编码服务的区域，将区域对应的邮政编码作为邮政编码段；根据任一邮政编码服务的区域面积和第一区域集的总面积，获得子区域半径，根...
- 周晓光杨萌柯曾若兰张诗冉阳孟谷邢颖宋佼蓉张秋星
- 文献传递
- 一种轮毂表面异常检测方法和系统
- 本发明提供一种轮毂表面异常图像检测方法和系统，所述方法包括：获取待检测的轮毂表面图像，基于已训练的用于异常检测的深度学习模型对所述轮毂表面图像进行异常检测，标记所述轮毂表面图像中的异常区域和异常区域对应的异常类别。通过采...
- 周晓光孙沐毅党豪韩凯梁思琪沈壮壮王露笛代爱妮邢颖
- 文献传递
- 让未来世界透明可解释的智能软件技术与方法被引量：2
- 2023年
- 人工智能作为计算机科学最活跃的研究领域,在为人类持续创造新的惊喜的同时,也带来了关于可信性与可解释性的问题与挑战。2022年11月27日,中国软件大会“面向可解释人工智能的软件工程方法与技术”论坛在线上召开。论坛联合主席石川教授应邀作了题为“异质图神经网络及其在软件工程领域的应用思考”的特邀报告,分享了他在异质图神经网络模型领域的最新研究进展,着重介绍了将现实复杂交互系统建模为图结构,并通过异质图神经网络进行预测分析的模型、系统和应用的新研究成果。
- 刘璘邢颖孙昌爱李春芳石川
- 关键词：人工智能计算机科学神经网络可解释性特邀报告
- 基于可解释性人工智能的软件工程技术方法综述被引量：4
- 2023年
- 在信息处理与决策方面,人工智能(AI)方法相比传统方法表现出了优越的性能。但在将AI模型投入生产时,其输出结果并不能保证完全准确,因此AI技术的“不可信”逐渐成为AI大规模落地的一大阻碍。目前人工智能被逐步应用到软件工程中,其过度依赖历史数据和决策不透明等弊端愈发明显,因此对决策结果做出合理的解释至关重要。文中对可解释性人工智能的基本概念、可解释模型的评估进行了详细阐述,探讨了软件工程与可解释人工智能结合的可行性;同时调研了相关文献,对软件工程中的恶意软件检测、高风险组件检测、软件负载分配、二进制代码相似性分析这4个人工智能的典型应用方向做出分析,讨论如何通过可解释AI揭示系统输出的正确程度,进而提高系统决策的可信度;最后展望未来软件工程与可解释人工智能相结合的研究方向。
- 邢颖
- 关键词：软件工程
- 基于区域内存模型的C程序静态分析被引量：9
- 2014年
- 为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevalued logic,简称RSTVL)的静态分析方法.RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的各种关系,包括指向关系、层次关系与取值逻辑关系.为了提高静态分析的精度,提出了一种基于RSTVL的流敏感、域敏感的过程内分析与基于符号化函数摘要的上下文敏感的过程间分析,能够精确地分析出每个程序点上的形态信息、数据流信息与指针指向关系.实验结果表明,相对于基于符号化三值逻辑的方法,该分析方法在保证一定分析效率的前提下,能够实现较高准确度的分析.
- 董玉坤金大海宫云战邢颖
- 关键词：内存模型
- 基于贝叶斯模型和粒子群优化的软件缺陷预测方法
- 本发明提供一种基于贝叶斯模型和粒子群优化的软件缺陷预测方法。软件缺陷预测方法包括：输入源项目数据集；对源项目数据集的每一维特征计算平均值；根据平均值将源项目数据集中的样本划分为大于和小于平均值两部分；使用一阶依赖的贝叶斯...
- 邢颖林雪燕林婉婷
- 基于粒子群寻优机制的图像分割方法
- 2011年
- 利用粒子群优化(PSO)算法全局寻优、快速收敛的特点,结合模糊C-均值(FCM)图像分割算法提出一种新算法,用PSO算法代替了FCM算法的基于梯度下降的迭代过程,使算法具有很强的全局搜索能力,很大程度上避免了FCM算法易陷入局部极小的缺陷;同时也降低了FCM算法对初始值的敏感度。实验结果表明,与FCM相比该算法聚类更准确,效率更高,具有较高的分割速度和良好的抑制噪声的能力。
- 邢颖孙劲光
- 关键词：粒子群优化算法模糊C-均值算法图像分割
- 基于隐马尔可夫模型的人脸检测与识别系统
- 本文讨论了利用肤色信息进行人脸检测后,采用伪二维隐马尔可夫模型通过训练和识别两个基本部分建立起人脸识别系统。系统利用非常可靠的肤色信息检测方法,有效的定位了人脸区域;采用DCT变换,减少了系统计算的复杂度。实验证明,本系...
- 邢颖南敬昌
- 关键词：人脸检测人脸识别
- 文献传递
- 基于缺陷检测难度的测试用例检错能力模型
- 2017年
- 在经典的变异评分计算过程中,因为不考虑被播种软件缺陷的检测难度而使得变异评分的可信性受到质疑.因此提出一种基于缺陷检测难度评价测试用例集合的方法.以logistic回归为基础,利用经验回归方程建立缺陷的识别概率与缺陷检测难度之间的数量关系.借助关系曲线下的面积,变异评分被重新定义.新定义的变异评分不但不受缺陷样本的检测难度影响,而且规避了因等价变异体的出现而使得经典变异评分的计算不准确的问题.
- 谭立力王雅文邢颖王前
- 关键词：软件可测试性LOGISTIC回归
