• 浪潮孙丕恕从信息时代到智能时代 人工智能价值将爆发式释放 2019-12-21
  • 四川郎酒股份有限公司获第十二届人民企业社会责任奖年度环保奖 2019-05-13
  • 银保监会新规剑指大企业多头融资和过度融资 2019-05-12
  • 韩国再提4国联合申办世界杯 中国网友无视:我们自己来 2019-05-11
  • 中国人为什么一定要买房? 2019-05-11
  • 十九大精神进校园:风正扬帆当有为 勇做时代弄潮儿 2019-05-10
  • 粽叶飘香幸福邻里——廊坊市举办“我们的节日·端午”主题活动 2019-05-09
  • 太原设禁鸣路段 设备在测试中 2019-05-09
  • 拜耳医药保健有限公司获第十二届人民企业社会责任奖年度企业奖 2019-05-08
  • “港独”没出路!“梁天琦们”该醒醒了 2019-05-07
  • 陈卫平:中国文化内涵包含三方面 文化复兴表现在其中 2019-05-06
  • 人民日报客户端辟谣:“合成军装照”产品请放心使用 2019-05-05
  • 【十九大·理论新视野】为什么要“建设现代化经济体系”?   2019-05-04
  • 聚焦2017年乌鲁木齐市老城区改造提升工程 2019-05-04
  • 【专家谈】上合组织——构建区域命运共同体的有力实践者 2019-05-03
    • / 15
    • 下载费用:30 金币  

    重庆时时彩评测网论坛: 一种基于状态分区的静态缺陷检测求精方法.pdf

    关 键 词:
    一种 基于 状态 分区 静态 缺陷 检测 方法
      专利查询网所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
    摘要
    申请专利号:

    CN201410138438.6

    申请日:

    2014.04.08

    公开号:

    CN103927258A

    公开日:

    2014.07.16

    当前法律状态:

    授权

    有效性:

    有权

    法律详情: 授权|||实质审查的生效IPC(主分类):G06F 11/36申请日:20140408|||公开
    IPC分类号: G06F11/36 主分类号: G06F11/36
    申请人: 北京邮电大学
    发明人: 金大海; 张大林; 宫云战; 王雅文; 黄俊飞
    地址: 100876 北京市海淀区西土城路10号
    优先权:
    专利代理机构: 北京路浩知识产权代理有限公司 11002 代理人: 李迪
    PDF完整版下载: PDF下载
    法律状态
    申请(专利)号:

    CN201410138438.6

    授权公告号:

    103927258B||||||

    法律状态公告日:

    2017.06.23|||2014.08.13|||2014.07.16

    法律状态类型:

    授权|||实质审查的生效|||公开

    摘要

    本发明涉及一种基于状态分区的静态缺陷检测求精方法,包括:S1:将待检测的缺陷模式属性状态机集合置于待测函数控制流入口;S2:程序通过路径由前置位置执行到目标位置;S3:属性状态机的状态沿程序路径进行传递以及变化,在目标位置处到达预设状态;S4:取控制流当前节点,判断是否为控制流最后节点;S5:如果不为控制流最后节点,则根据当前节点信息更新属性状态条件以及属性状态分区集合信息。本发明提供的基于状态分区技术的缺陷检测求精方法,给出了缺陷模式的定义,缺陷模式状态机的定义,路径条件的定义,状态条件的定义,状态分区的定义,基于状态分区技术,给出缺陷检测求精方法,从而提高缺陷检测的精度。

    关于本文
    本文标题:一种基于状态分区的静态缺陷检测求精方法.pdf
    链接地址://www.4mum.com.cn/p-6116894.html
    关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服 - 联系我们

    [email protected] 2017-2018 www.4mum.com.cn网站版权所有
    经营许可证编号:粤ICP备17046363号-1 
     


    收起
    展开
  • 浪潮孙丕恕从信息时代到智能时代 人工智能价值将爆发式释放 2019-12-21
  • 四川郎酒股份有限公司获第十二届人民企业社会责任奖年度环保奖 2019-05-13
  • 银保监会新规剑指大企业多头融资和过度融资 2019-05-12
  • 韩国再提4国联合申办世界杯 中国网友无视:我们自己来 2019-05-11
  • 中国人为什么一定要买房? 2019-05-11
  • 十九大精神进校园:风正扬帆当有为 勇做时代弄潮儿 2019-05-10
  • 粽叶飘香幸福邻里——廊坊市举办“我们的节日·端午”主题活动 2019-05-09
  • 太原设禁鸣路段 设备在测试中 2019-05-09
  • 拜耳医药保健有限公司获第十二届人民企业社会责任奖年度企业奖 2019-05-08
  • “港独”没出路!“梁天琦们”该醒醒了 2019-05-07
  • 陈卫平:中国文化内涵包含三方面 文化复兴表现在其中 2019-05-06
  • 人民日报客户端辟谣:“合成军装照”产品请放心使用 2019-05-05
  • 【十九大·理论新视野】为什么要“建设现代化经济体系”?   2019-05-04
  • 聚焦2017年乌鲁木齐市老城区改造提升工程 2019-05-04
  • 【专家谈】上合组织——构建区域命运共同体的有力实践者 2019-05-03
  • 产业基金配资比例 上证指数年线是多少 期货配资玩法 股票融资杠杆怎么申请 股票投资策略 《股票分析指标大全》 股票涨跌的计算方式 股票002626 股票600028 民生银行股票 股票分析师能炒股吗 股票融资融券是什么意思 今天上证综合指数 代理股票配资公司 在线股票配资平台 2014年上证指数