您的位置： 专家智库 > >

滕腾

作品数：2 被引量：4H指数：2
供职机构：扬州大学信息工程学院更多>>
发文基金：江苏省教育厅自然科学基金江苏省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇直方图
  • 1篇直方图特征
  • 1篇识别方法
  • 1篇视觉特征
  • 1篇图像
  • 1篇图像识别
  • 1篇纹理
  • 1篇纹理特征
  • 1篇免疫
  • 1篇免疫系统
  • 1篇B方法

机构

  • 2篇扬州大学
  • 1篇连云港师范高...

作者

  • 2篇滕腾
  • 1篇李存华
  • 1篇邹盛荣
  • 1篇管燕
  • 1篇仲兆满
  • 1篇唐宇
  • 1篇阳雪平
  • 1篇周彬
  • 1篇吴铭

传媒

  • 1篇现代电子技术
  • 1篇河南科技大学...

年份

  • 1篇2008
  • 1篇2007
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一种基于视觉特征的鞋底图像识别方法被引量：2
2008年
提出了一种基于视觉特征的鞋底识别方法,即提取鞋底的形状、直方图、纹理特征,将这些特征进行内部和外部归一化形成鞋底图像的视觉特征,实验结果表明根据鞋底图像视觉特征进行识别是很有效的。
管燕李存华仲兆满滕腾
关键词：图像识别纹理特征直方图特征视觉特征
基于B方法验证技术的应用研究被引量：2
2007年
形式化B方法建立在严格的数学基础上,通过严格的验证技术证明其正确性,尤其对大型复杂系统的描述是非常有用和正确的。用形式化B方法描述了免疫系统的两个因子网络模型,然后通过严格和精确的验证技术:类型检查和证明义务的给出,证明了抽象机的正确性。
邹盛荣滕腾阳雪平唐宇吴铭周彬
关键词：B方法形式化方法免疫系统
全选 清除 导出
共1页<1>
聚类工具0