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