您的位置： 专家智库 > >

刘江潮

作品数：12 被引量：3H指数：1
供职机构：国防科学技术大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 10篇专利
  • 1篇期刊文章
  • 1篇学位论文

领域

  • 7篇自动化与计算...

主题

  • 4篇浮点
  • 3篇安全性
  • 2篇迭代
  • 2篇映射
  • 2篇指向
  • 2篇软件程序
  • 2篇软件设计
  • 2篇上界
  • 2篇神经网
  • 2篇神经网络
  • 2篇神经元
  • 2篇时间开销
  • 2篇使用量
  • 2篇搜索
  • 2篇搜索结果
  • 2篇搜索算法
  • 2篇条件数
  • 2篇切片
  • 2篇缺陷修复
  • 2篇子问题

机构

  • 12篇国防科学技术...

作者

  • 12篇刘江潮
  • 11篇陈立前
  • 11篇王戟
  • 10篇毛晓光
  • 10篇董威
  • 6篇刘万伟
  • 6篇文艳军
  • 2篇李姗姗
  • 2篇陈振邦
  • 1篇董龙明

传媒

  • 1篇计算机科学

年份

  • 1篇2024
  • 2篇2023
  • 2篇2021
  • 3篇2020
  • 2篇2019
  • 1篇2013
  • 1篇2012
共 12 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于数学近似的浮点程序精度缺陷修复方法
一种基于数学近似的浮点程序精度缺陷修复方法，其步骤包括：步骤S1.预处理；步骤S2.定位精度缺陷：使用线性搜索算法查找包含能触发精度缺陷的最小输入区间I<Sub>err</Sub>；步骤S3.生成数学近似；步骤S4.补丁...
毛晓光陈立前易昕纪涛王戟董威陈振邦刘万伟刘江潮
文献传递
一种基于静态分析与抽象的软件设计重建方法
一种基于静态分析与抽象的软件设计重建方法，其步骤为：步骤S1：控制流图提取；对一个给定的软件程序P，提取出其在一组程序控制点上的具体控制流图C，控制点之间的迁移由一个动作序列集合所标注，表示其中的动作序列发生时会导致该控...
文艳军王戟陈立前董威毛晓光刘万伟尹良泽刘江潮
文献传递
一种基于数值抽象的程序资源使用量自动分析方法
本发明公开了一种基于数值抽象的程序资源使用量自动分析方法，其包括：步骤S1：资源操作API的配置；步骤S2：代码自动插桩；步骤S3：资源引用变量指向分析：通过指向分析得到程序中每个资源引用变量指向的基地址集合及对应的资源...
陈立前范广生陈涛清王戟尹帮虎刘江潮董威毛晓光李姗姗
文献传递
一种基于条件数指导的浮点程序精度缺陷检测方法
一种基于条件数指导的浮点程序精度缺陷检测方法，其步骤包括：步骤S1.预处理；步骤S2.输入域划分；步骤S3.第一阶段搜索：对分输入域使用差分演化搜索算法查找能触发可能最大条件数的程序输入，并对整个分输入域表按找到的输入对...
陈立前毛晓光易昕纪涛王戟董威文艳军刘江潮尹良泽
文献传递
一种基于静态分析与抽象的软件设计重建方法
一种基于静态分析与抽象的软件设计重建方法，其步骤为：步骤S1：控制流图提取；对一个给定的软件程序P，提取出其在一组程序控制点上的具体控制流图C，控制点之间的迁移由一个动作序列集合所标注，表示其中的动作序列发生时会导致该控...
文艳军王戟陈立前董威毛晓光刘万伟尹良泽刘江潮
一种基于迭代抽象分析的神经网络安全性质验证方法
本发明公开了一种基于迭代抽象分析的神经网络安全性质验证方法，其步骤包括：步骤S1：单遍抽象分析；对一个给定的输入域在神经网络的抽象语义下进行逐层推导，得到其对应的输出；步骤S2：基于不变式进行性质验证；通过检查不变式与待...
陈立前尹帮虎王戟刘江潮董威毛晓光文艳军刘万伟尹良泽
一种基于数值抽象的程序资源使用量自动分析方法
本发明公开了一种基于数值抽象的程序资源使用量自动分析方法，其包括：步骤S1：资源操作API的配置；步骤S2：代码自动插桩；步骤S3：资源引用变量指向分析：通过指向分析得到程序中每个资源引用变量指向的基地址集合及对应的资源...
陈立前范广生陈涛清王戟尹帮虎刘江潮董威毛晓光李姗姗
一种基于条件数指导的浮点程序精度缺陷检测方法
一种基于条件数指导的浮点程序精度缺陷检测方法，其步骤包括：步骤S1.预处理；步骤S2.输入域划分；步骤S3.第一阶段搜索：对分输入域使用差分演化搜索算法查找能触发可能最大条件数的程序输入，并对整个分输入域表按找到的输入对...
陈立前毛晓光易昕纪涛王戟董威文艳军刘江潮尹良泽
文献传递
弱关系型绝对值数值抽象域研究
数值性质是程序的重要属性之一，不仅仅因为通过分析数值性质可以直接检查程序可能产生的运行时错误（如除零错、算数溢出等），还因为数值分析是许多其他程序分析方法（如别名分析、形态分析等）的基础。程序中非凸数值性质是程序数值分析...
刘江潮
文献传递
一种基于数学近似的浮点程序精度缺陷修复方法
一种基于数学近似的浮点程序精度缺陷修复方法，其步骤包括：步骤S1.预处理；步骤S2.定位精度缺陷：使用线性搜索算法查找包含能触发精度缺陷的最小输入区间I<Sub>err</Sub>；步骤S3.生成数学近似；步骤S4.补丁...
毛晓光陈立前易昕纪涛王戟董威陈振邦刘万伟刘江潮
文献传递
全选 清除 导出
共2页<12>
聚类工具0