您的位置： 专家智库 > >

孟娜

作品数：5 被引量：3H指数：1
供职机构：北京大学信息科学技术学院高可信软件技术教育部重点实验室更多>>
发文基金：国家自然科学基金创新研究群体项目国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术文学更多>>

合作作者

文献类型

  • 4篇学位论文
  • 1篇期刊文章

领域

  • 2篇自动化与计算...
  • 2篇文学

主题

  • 1篇代码
  • 1篇代码分析
  • 1篇影像
  • 1篇影像引导
  • 1篇语境
  • 1篇预后
  • 1篇植入
  • 1篇植入治疗
  • 1篇软件质量
  • 1篇诗歌
  • 1篇斯人
  • 1篇头颈
  • 1篇头颈部
  • 1篇帕尔
  • 1篇肿瘤
  • 1篇组织间
  • 1篇组织间近距离...
  • 1篇文化
  • 1篇文化差别
  • 1篇小诗

机构

  • 5篇北京大学

作者

  • 5篇孟娜
  • 1篇钟浩
  • 1篇李进辉
  • 1篇张路
  • 1篇王千祥
  • 1篇梁广泰

传媒

  • 1篇计算机学报

年份

  • 1篇2011
  • 3篇2009
  • 1篇2005
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
一个静态程序缺陷查找工具的设计与部分实现
软件缺陷是导致软件质量下降，软件成本升高，开发周期加长等的重要因素。为了帮助程序员更快的查找软件缺陷，研发人员们经过不懈努力，提出了一些行之有效的方法，静态分析就是众多方法之一。　　 静态分析通过分析程序的源代码或者目...
孟娜
关键词：代码分析软件质量
波斯人笔下的中国
历代波斯人写了许多有关中国的著作和游记，这些著作和游记是波斯人了解中国各个方面的主要的参考文献。其中，有关中国的著作是古代波斯人通过对当时的中国进行详细的研究后编撰的，而游记则是亲自到过中国的波斯人，根据旅途见闻写成的。...
孟娜
帕尔温和冰心的诗歌比较研究
孟娜
关键词：文化差别
一个可半自动化扩展的静态代码缺陷分析工具被引量：3
2011年
基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析.这种分析技术具有使用简单、查找速度快等优点,是近年来静态代码缺陷分析方法中发展比较迅速的新技术.但是目前基于这种分析技术的大多数工具并没有为用户提供足够易用、高效的扩展方式以扩充其缺陷检测能力.针对这一问题,作者提出了一个"可半自动化扩展"的代码缺陷静态分析方法,设计并实现了一个支持该方法的工具——CODA(COde Defect Analysis tool).CODA不仅提供了"缺陷模式描述模板"以帮助用户快速地手工扩充缺陷模式库,还能在用户的指导下半自动化地挖掘新缺陷模式以快速扩充其缺陷模式库.一旦新的缺陷模式被定义并添加至缺陷模式库中,CODA便能自动具有针对该类缺陷的检测能力.
梁广泰孟娜李进辉钟浩张路王千祥
影像引导放射性125I粒子植入治疗头颈部复发肿瘤
孟娜
关键词：组织间近距离治疗影像引导预后
全选 清除 导出
共1页<1>
聚类工具0