牟永敏 作品数:120 被引量:267 H指数:9 供职机构: 北京信息科技大学 更多>> 发文基金: 北京市自然科学基金 北京市重点实验室开放基金 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 医药卫生 文化科学 经济管理 更多>>
基于FPGA的数字频率计设计 被引量:1 2012年 减少数字频率计的测量误差,提高测量精度是频率计设计的热点问题。文章中数字频率计采用了多周期同步测频法,从而保证了闸门信号与被测信号同步。克服了基于传统测频原理的频率计的测量精度随被测信号频率变化而变化的缺点,并消除对被测信号±1的测量误差,实现频率范围内的等精度测频方案。系统采用VHDL语言实现设计,有效提高了设计效率和系统的可靠性。 李慧丽 牟永敏 张志华关键词:FPGA 等精度 数字频率计 面向业务的智能化通讯与监管系统设计 2012年 基于局域网的即时通讯软件与局域网监管软件结合,不仅满足了通讯和管理的需求,更能有效提高办公效率、节省资源。文章利用C/S模式,进行了网络通讯及监管相结合的智能化系统的设计。该系统功能齐全,具有结构模块化、升级扩展方便等特点。可进一步提高面向业务的通讯效率,降低企业的管理成本,对提高信息监管水平具有一定的借鉴意义。 张亚楠 牟永敏 张志华基于静态分析的C++虚函数匹配算法研究 2010年 在分析C++程序的静态路径时,确定出虚函数调用所对应的函数原型是非常重要的。根据多态性的实现机制,以静态分析建立的虚函数表为基础,从数据流角度出发,分别对赋值和函数调用进行定值和别名分析方法,并建立相应的表,确定出虚函数调用所对应的类的函数原型。对面向路径的C++语言程序自动化测试起到了关键作用。 龚健 牟永敏 张志华关键词:多态性 自动化测试 命名实体识别方法研究进展 被引量:4 2018年 命名实体识别是自然语言处理领域中非常重要的基础任务,近年来,由于机器学习的发展以及深度学习在文本处理方面的应用,命名实体识别的研究取得进一步的发展。为了了解近几年来命名实体识别方法的研究进展,介绍命名实体识别的研究内容与涉及领域,重点详细介绍近几年命名实体识别研究的主要技术方法并进行分析,对BLSTM-CRF模型进行实验。 黄晴雁 牟永敏关键词:命名实体识别 自然语言处理 信息抽取 基于互信息的缺陷定位方法 被引量:1 2021年 为充分挖掘执行结果与程序频谱的潜在关系,提出基于互信息的可疑度计算公式MIStar(mutual information star)。通过分析程序在不同测试用例下的执行信息,引用互信息对传统的怀疑度公式进行优化,给每条语句赋予权重值,不断修正不确定性参数Star,获得良好的定位效果。实验结果表明,该方法较其它可疑度算法在准确度上有了明显提高,具备良好的实用价值。 李倩倩 牟永敏 崔展齐关键词:互信息 基于函数调用路径关联分析的缺陷定位方法研究 被引量:5 2016年 缺陷关联使得目前的缺陷定位方法面临着严峻挑战,为了快速准确定位软件缺陷,保证软件产品质量,对定位方法的改进势在必行。基于函数调用路径(function calling path,FCP)技术,把缺陷定位的整体粒度由语句级提升到函数级。依据失效原理和FP-树分析缺陷关联,逐步缩减缺陷定位问题空间为"执行路径—路径节点—节点语句",获得缺陷关联拓扑图,局部细化缺陷函数到细粒度,并提出了基于函数排名的评价方法。实验结果表明,FCP缺陷定位方法可有效缩减查找缺陷时的代码审查范围,提高软件缺陷定位的精度和效率。该方法为基于路径分析的缺陷定位提供了理论依据和实践方法,并保证测试的安全进行。 刘丹凤 牟永敏关键词:FP-树 可编程序控制器应用程序的自动生成方法及装置 可编程序控制器应用程序自动生成方法,包括知识库生成步骤,基于多种PLC机型应用程序在功能、实现算法、编程模式等方面的共性,利用面向对象的理论,归纳抽象出描述该些共性的基本知识库,生成应用程序的基本程序模块,根据生产环节不... 牟永敏文献传递 面向C#的函数调用路径生成方法 本发明提供一种面向C#的函数调用路径生成方法,包括:通过C#程序中与函数相关的信息,所述信息包括:类、命名空间、数据集信息、参数信息;根据每一函数的调用关系,分别生成每一函数的函数调用关系树,其中所述函数调用关系树的每一... 牟永敏文献传递 复杂系统中不可达函数调用路径检测方法 本发明提供一种复杂系统中不可达函数调用路径检测方法,包括:步骤1、针对源代码进行函数指针处理,以区分出函数指针的声明、赋值、使用;步骤2、将经过函数指针处理的源代码生成源代码的中间代码;其中所述中间代码包括多个函数单元,... 牟永敏文献传递 基于条件概率的错误定位方法 被引量:2 2019年 有效的软件调试是保证软件可靠性的关键。调试旨在发现程序中存在的错误并进行修复,其中错误定位最为烦琐,针对目前性能优异的基于程序频谱的定位方法展开研究。为了能直观地表现程序频谱与执行结果之间的联系,结合条件概率的思想对这种联系进行量化分析,并基于条件概率模型的特征提出了一种新的可疑度计算公式CPStar,该方法采用了不确定性系数Star,通过调节系数的大小提高公式的可用性,可以有效修正成功测试用例的数量对定位效果的不利影响。实验结果表明,提出的CPStar方法可以在一定程度上提高错误定位的准确性与效率,其定位效果优于其他方法。 黄晴雁 牟永敏