您的位置: 专家智库 > >

江东明

作品数:5 被引量:18H指数:3
供职机构:江西师范大学更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 3篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 4篇自动化与计算...
  • 2篇电子电信

主题

  • 2篇视觉模型
  • 2篇交互机制
  • 2篇BPMN
  • 2篇EBCOT算...
  • 2篇JPEG20...
  • 2篇并发
  • 2篇WEB服务
  • 1篇人类视觉
  • 1篇人类视觉系统
  • 1篇射频
  • 1篇视觉系统
  • 1篇图像
  • 1篇图像编码
  • 1篇图像编码算法
  • 1篇图像分割
  • 1篇无线
  • 1篇无线射频
  • 1篇小波
  • 1篇小波编码
  • 1篇ORC

机构

  • 3篇武汉大学
  • 3篇江西师范大学
  • 2篇南京理工大学
  • 1篇华东交通大学

作者

  • 5篇江东明
  • 3篇薛锦云
  • 1篇宋岚
  • 1篇游珍
  • 1篇胡启敏
  • 1篇谢武平

传媒

  • 2篇计算机科学
  • 1篇计算机工程
  • 1篇2013年全...

年份

  • 1篇2017
  • 1篇2014
  • 1篇2013
  • 1篇2003
  • 1篇2001
5 条 记 录,以下是 1-5
排序方式:
无线射频RFID识别协议自动验证方法研究被引量:3
2017年
Population Protocols是一种受生物启发的计算模型,能够表示无线网络中数量庞大但计算能力弱的多组件间的交互,它为无线传感器网络提供了一种可计算推理的理论框架。将Population Protocol理论引入到RFID识别协议中,提出了RFID识别协议系统模型验证框架;构建了标签与阅读器交互产生的状态变迁模型;最后用spin模型检测工具和LTL线性时序逻辑验证了弱公平条件下该模型的自稳定性,为分析与验证无线传感器网络中协议的正确性提供了一种行之有效的方法。
宋岚薛锦云胡启敏谢武平江东明游珍
关键词:POPULATIONRFIDSPIN
基于BPMN的Web服务并发交互机制
如何抽象描述复杂业务流程的交互是服务计算研究的重要问题.大量的国内外研究虽然关注业务流程建模,但却忽略了建模过程中组件之间的并发交互描述和实现.针对Web服务并发交互,提出一种基于BPMN的Web服务并发交互的形式化模型...
江东明薛锦云
关键词:WEB服务
文献传递
视觉模型在JPEG2000中的应用研究
该文以JPEG2000作为编码框架,应用最新的视觉模型,提出一种新的基于带内活跃性视觉模型(IaCLA)的视觉量化编码方法.该方案基于人类视觉系统的整体性设计编码量化器:在编码端小波分解后,利用非线性变换,以实现视觉亮度...
江东明
关键词:人类视觉系统视觉模型JPEG2000EBCOT算法小波编码
文献传递
视觉模型在JPEG 2000中的应用研究被引量:5
2003年
以JPEG 2000作为编码框架,应用基于带内活跃性视觉模型(IaCLA),提出视觉量化编码方法。该方案基于人类视觉系统掩盖效应设计量化器:利用非线性变换,以实现视觉亮度掩盖和对比掩盖,从而自适应调节量化步长和编码块率失真度。
江东明
关键词:视觉模型JPEG2000图像编码算法图像分割EBCOT算法
基于BPMN的Web服务并发交互机制被引量:10
2014年
如何抽象描述复杂业务流程的交互是服务计算研究的重要问题。大量的国内外研究虽然关注业务流程建模,但却忽略了建模过程中组件之间的并发交互描述和实现。针对Web服务并发交互,提出一种基于BPMN的Web服务并发交互的形式化模型。首先,采用BPMN描述业务流程中的并发交互模式;其次,将BPMN并发交互模式映射到Orc语言;最后,Web服务实例表明,所提方法可有效支持Web服务并发交互抽象建模。
江东明薛锦云
关键词:BPMNORC
共1页<1>
聚类工具0