维普中文期刊产品整合服务
意见 帮助
基本检索 作者索引 机构索引 期刊索引
  • 哲学宗教
  • 社会学
  • 政治法律
  • 军事
  • 经济管理
  • 文化科学
  • 语言文字
  • 文学
  • 艺术
  • 历史地理
  • 自然科学总论
  • 理学
  • 天文地球
  • 生物学
  • 医药卫生
  • 农业科学
  • 一般工业技术
  • 矿业工程
  • 石油与天然气工程
  • 冶金工程
  • 金属学及工艺
  • 机械工程
  • 兵器科学与技术
  • 动力工程及工程热...
  • 核科学技术
  • 电气工程
  • 电子电信
  • 自动化与计算机技术
  • 化学工程
  • 轻工技术与工程
  • 建筑科学
  • 水利工程
  • 交通运输工程
  • 航空宇航科学技术
  • 环境科学与工程
时间 1989 - 2010 学科选择学科
题名/关键词 模糊
与 题名/关键词 模糊
重新搜索 在结果中搜索
共被期刊论文引用了2次 您的检索式：您选中1篇文献正在查看引证文献汇总
选中 清除  导出 查看参考文献 查看引证文献 引用追踪 共1页 首页 上一页 第1页 下一页 末页 /1 跳转
    题名 作者 年代 出处 被引量
1提高区间运算的循环处理精度显示文摘循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。刘莉 金大海 宫云战 2011清华大学学报(自然科学版)2011，51，S1：1
2Human Security:Concept,Disputes and Practice显示文摘Human security is a new concept in the area of security and constitutes one of the important indicators for realizing human rights. It puts the point of concern about security on humans and therefore embodies aHU YUAN 2011The Journal of Human Rights2011，10，3：0
返回顶部 每页显示：
共1页 首页 上一页 第1页 下一页 末页 /1 跳转
goolge学术搜索-维普

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费