您的位置： 专家智库 > >

孙毅

作品数：12 被引量：4H指数：1
供职机构：南京航空航天大学更多>>
发文基金：国家高技术研究发展计划南京航空航天大学科研创新基金更多>>
相关领域：自动化与计算机技术金属学及工艺环境科学与工程建筑科学更多>>

合作作者

文献类型

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

领域

  • 3篇自动化与计算...
  • 2篇金属学及工艺
  • 1篇建筑科学
  • 1篇环境科学与工...

主题

  • 4篇语言程序
  • 2篇递归
  • 2篇语法树
  • 2篇源程序
  • 2篇时间序列
  • 2篇求解器
  • 2篇主节点
  • 2篇命题逻辑
  • 2篇可满足性
  • 2篇化简
  • 2篇简并
  • 2篇变点
  • 2篇抽象语法
  • 2篇抽象语法树
  • 2篇词法分析
  • 1篇电解加工
  • 1篇信号
  • 1篇压缩感知
  • 1篇一阶逻辑
  • 1篇鱼眼

机构

  • 12篇南京航空航天...

作者

  • 12篇孙毅
  • 4篇陈哲
  • 2篇田裕鹏
  • 1篇李冬林
  • 1篇曲宁松
  • 1篇刘建
  • 1篇李寒松

传媒

  • 1篇机械制造与自...

年份

  • 2篇2022
  • 7篇2021
  • 1篇2020
  • 2篇2009
共 12 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种时间序列变点检测方法
本发明公开了一种时间序列变点检测方法。该方法包括步骤有转换图像、差分处理、曲率计算和变点确定，通过把待检测的时间序列数据对应转换为单连通单像素图像，对单连通单像素图像进一步运算得到差分方向码序列，然后差分方向码序列分成多...
田裕鹏孙毅龚慧刚
文献传递
一种基于压缩感知的时间序列趋势提取和预测方法
本发明公开了一种基于压缩感知的时间序列趋势提取和预测方法，属于时间序列预测方法领域。本方法通过对原始时间序列进行随机亚采样得到观测向量后，在确定重构信号稀疏度的情况下，多次重构对原始时间序列进行趋势提取。再进一步利用基于...
孙毅田裕鹏龚慧刚
文献传递
一种基于卷积神经网络的冰柜表面缺陷检测
本发明提供一种基于卷积神经网络的冰柜表面缺陷检测，目的是通过构建合适的目标检测模型对冰柜表面的缺陷进行检测，对存在缺陷的图片用Bounding Box标注缺陷位置以及标注分类标签NG，对不存在缺陷的图片只需要标注分类标签...
赵蕴龙孙毅
文献传递
一种基于可满足性求解的同步语言程序自动验证方法
本发明公开了一种基于可满足性求解的同步语言程序自动验证方法，包括将同步语言程序中的枚举值、用户自定义类型和常量内联到同步语言程序的节点里，在同步语言程序的主节点中递归地内联所有被调用的节点，得到一个包含单一节点的同步语言...
陈哲孙毅冉丹
文献传递
一种复杂同步语言程序的化简转化和自动验证方法
本发明提供了一种复杂同步语言程序的化简转化和自动验证方法，包括对复杂同步语言程序进行词法分析、语法分析后生成与源程序对应的抽象语法树。基于程序等价转化的思想，将复杂同步语言程序的抽象语法树进行化简并转化为简单同步语言程序...
陈哲冉丹孙毅
基于SMT的SCADE程序安全属性模型检测
随着SCADE（Safety Critical Application Development Environment）同步语言在安全关键领域的应用越来越广泛,使得SCADE同步语言程序的验证工作变得至关重要,尤其是SC...
孙毅
关键词：一阶逻辑
复杂监控场景下公交乘客人数统计方法研究
当前,我国城市化发展给城市交通带来了巨大压力,道路拥堵、乘客滞留、设施滞后等问题严重影响了居民的正常出行。因此,越来越多的城市居民考虑公共交通出行方式,而公交车作为整个公交系统中的关键一员,起着巨大作用的同时也存在线路规...
孙毅
关键词：目标检测人数统计
一种基于可满足性求解的同步语言程序自动验证方法
本发明公开了一种基于可满足性求解的同步语言程序自动验证方法，包括将同步语言程序中的枚举值、用户自定义类型和常量内联到同步语言程序的节点里，在同步语言程序的主节点中递归地内联所有被调用的节点，得到一个包含单一节点的同步语言...
陈哲孙毅冉丹
文献传递
一种复杂同步语言程序的化简转化和自动验证方法
本发明提供了一种复杂同步语言程序的化简转化和自动验证方法，包括对复杂同步语言程序进行词法分析、语法分析后生成与源程序对应的抽象语法树。基于程序等价转化的思想，将复杂同步语言程序的抽象语法树进行化简并转化为简单同步语言程序...
陈哲冉丹孙毅
文献传递
地下基础设施健康监测大数据处理与实现
随着城市化的迅速发展，城市地下基础设施的健康监测被视为现代化智慧城市建设中的重要一环。目前，国内外对城市地下基础设施运行综合健康监测的相关研究还处于起步阶段，城市地下基础设施的健康监测存在着数据类型多、数据量大、数据实时...
孙毅
关键词：健康监测
全选 清除 导出
共2页<12>
聚类工具0