切片技术

作品数：500被引量：1623H指数：20
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张迎周翟培合张卫丰施龙青李必信更多>>
相关机构：南京邮电大学北京邮电大学南京大学中通服咨询设计研究院有限公司更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种提高时序安全属性静态检测实用性的方法被引量：2
《计算机学报》2012年第2期244-256,共13页霍玮 李丰 丁兆伟 桑春雷 张兆庆 冯晓兵 
国家"八六三"高技术研究发展计划项目基金(2008AA01Z115);国家自然科学基金青年科学基金项目(61100011);国家自然科学基金创新研究群体科学基金项目(60921002);国家"核高基"重大专项基金项目(2009ZX01036-001-002);国家"九七三"重点基础研究发展规划项目基金(2011CB302504)资助~~
程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组...
关键词：有限状态自动机 时序安全属性 切片技术 程序静态检测 F-衡量 
别名集切片与并行化研究被引量：1
《计算机工程》2011年第21期6-10,共5页桑春雷 张兆庆 
国家"973"计划基金资助项目(2011CB302504);"核高基"重大专项(2009ZX01036-001-002);国家自然科学基金创新研究群体资助项目(60921002)
针对复杂程序的分析问题,提出基于别名集切片的切片级并行技术与并行程序分析技术。利用传统分析算法,在每个切片上并行地进行复杂程序分析,从而实现复杂程序分析的并行化,加快复杂程序分析速度。以SPEC CPU2000/CPU2006中的部分C程序...
关键词：别名集切片 并行程序分析 切片技术 别名分析 程序检错 
地震切片技术在安达工区的应用被引量：22
《石油地球物理勘探》2010年第3期418-422,共5页雷明 王建功 刘彩艳 史忠生 韩小强 吴伟航 
国家重点基础研究发展计划973项目(2007CB209604)
地震切片包括水平切片、沿层切片和地层切片,是目前全三维地震综合解释的常用手段。本文从实际资料应用的角度,分别论述了三种类型地震切片的地球物理涵义、地质意义、使用特点和适用条件,在细分层、高精度等时对比层序地层格架下,利用...
关键词：安达工区 层序地层格架 地震沉积学 水平切片 沿层切片 地层切片 河道识别 
非经典切片技术及其在形式验证中的应用综述
《计算机工程与应用》2007年第36期43-47,54,共6页高新岩 吴尽昭 闫炜 周宁 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60373113);国家重点基础研究发展规划(973)(the National Grand Fundamental Research 973 Program of China under Grant No.2004CB318000)
切片技术最初是作为一种程序分解抽取的分析技术而出现的,经过20多年的不断发展和完善,应用范围已遍及软件工程学科的各个方面。特别是从本世纪初,随着非经典切片:计算切片和证明切片两个新兴研究方向的出现,其学术研究和工程价值越发...
关键词：程序切片 计算切片 证明切片 约简 形式验证 性质验证 模型检验 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部