国家自然科学基金(60803014) 作品数:14 被引量:60 H指数:5 相关作者: 王立福 赵文 张世琨 黄雨 李信鹏 更多>> 相关机构: 北京大学 中国科学院自动化研究所 教育部 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 国家重点基础研究发展计划 更多>> 相关领域: 自动化与计算机技术 更多>>
基于Petri网的RFID中间件中复合事件检测研究 被引量:15 2008年 探讨了一种利用复杂事件处理技术处理RFID高层业务逻辑的机制.通过用复合事件来表达RFID应用系统中常见的高层业务逻辑,将对业务逻辑的处理转化为RFID中间件对复合事件的检测.从RFID中间件检测行为的角度探讨了在这一转化过程中事件定义和事件检测的若干关键问题.基于有色网定义了RFID事件流检测网系统作为RFID事件检测模型的描述工具.给出了事件检测模型的构造规则.根据检测模型的网结构特征对具有复杂层次的复合事件的可检测性进行了分析. 叶蔚 黄雨 赵文 张世琨 王立福关键词:无线射频识别 复杂事件处理 复合事件检测 RFID网络中发现服务系统的一种形式化规约 被引量:1 2008年 本文针对EPCIS发现服务在大规模应用和数据安全方面的需求,基于"集中式索引"模式给出了EPCIS发现服务系统的一种体系结构.首先,使用TIOA语言从高层对整个系统基本功能进行了规约.然后,为了使系统在实际应用中负载均衡、具有高性能和可扩展性,又给出了一种基于Pub/Sub的多服务器分布式系统体系结构,并对该分布式系统的各个组成分别进行了规约.最后,本文基于"模拟关系"验证了该分布式系统满足(实现)了高层系统规约. 李信鹏 赵文 张世琨 王立福一种基于RFID数据集的物品工作流挖掘方法 被引量:12 2008年 不同种类的物品在供应链中的移动形成不同的物品工作流,通过对这些物品工作流的挖掘,能够发现不同种类物品的流向和主要流转路径等信息,进而基于这些信息对供应链过程进行管理和优化.本文提出了一种基于RFID数据集的物品工作流挖掘方法,其中定义了一种基于Petri网的物品工作流网,讨论了物品工作流网所支持的几种物品工作流模式,给出了基于RFID数据集的数据过滤和聚合算法,以及物品工作流网的挖掘算法,最后进行了必要的实验. 顿海强 赵文 邓鹏鹏 张世琨 王立福 谭杰关键词:PETRI网 RFID信息服务中发布/订阅系统若干关键技术问题研究 被引量:1 2008年 本文将描述逻辑中基于个体的推理方法引入到RFID信息服务的发布/订阅系统中,利用时间本体来描述事件之间的时序关系,通过判断事件断言集与订阅的一致性来解决语义匹配以及与时序相关的复合事件与复合订阅的匹配问题,并给出了订阅语言和匹配算法.实验结果表明,匹配算法的效率能够满足实际应用的需要. 刘殿兴 赵文 邓鹏鹏 张世琨 王立福关键词:RFID 描述逻辑 基于Petri网的协同设计过程模型 2011年 协同设计技术广泛应用于航天、船舶等重要军工领域,协同设计过程具有数据驱动,多层次,多状态等特点,目前仍缺少协同设计形式化过程模型,给不同学科、行业、部门之间的协同交互带来了很大的困难,因此有必要建立一个协同设计过程的形式化模型。给出了一个层次化的有色Petri网来描述协同设计过程,并根据协同设计过程特点,给出了不同的触发规则,刻画了任务的不同状态,并在此模型的形式理论基础上,开发了一个数据驱动工作流引擎。 何宇 黄舒志 刘淼 黄雨关键词:工作流 基于P2P的RFID编码解析网络结构与算法研究 被引量:5 2008年 本文结合P2P技术,提出了分级P2P RFID编码解析网络结构.并基于改进的kademlia算法,在该网络中实现了RFID编码解析服务.实验数据表明,分级P2P RFID编码解析网络相对于基于DNS技术的EPCglobal ONS,具有负载均衡、可扩展性好、能有效应对单点失效等优点.最后,本文给出分级P2P RFID编码解析网络需要继续深入考虑的问题. 刘学洋 赵文 张世琨 王立福关键词:RFID KADEMLIA 一种基于双随机数的RFID发现服务安全通信机制 被引量:1 2013年 RFID发现服务没有得到广泛应用,相关标准也没有正式颁布,主要原因之一就是存在诸多安全问题.本文首先分析了存在的典型安全问题,并给出了相应的安全需求,例如RFID私密性保护、RFID编码授权访问、供应链节点不可追踪性、节点认证、消息正确性等.针对这些安全需求,本文提出了一种基于双随机数的RFID发现服务安全通信机制.双随机数主要用来对参与通信的双方进行节点认证和消息认证,并给出了相应的查询生成和处理转发流程及算法.本文提出的安全通信机制已经在PKU RFID3S系统中得到实现.实验结果表明,系统在实现安全需求的基础上,有较好的查询命中率和查询响应时间. 赵文 刘学洋 张世琨 王立福关键词:RFID 安全通信机制 一种基于Trie树和扩展B树的RFID标签编码过滤方法研究 被引量:1 2011年 面向EPC模式(EPC Pattern)的标签编码过滤是RFID中间件的主要功能之一.为提高过滤效率,本文给出了一种基于trie树和扩展B树相结合的标签编码过滤方法.通过分析标签编码和EPC模式的结构特征,将系统中大量的EPC模式构造成一个层次查找结构,对于EPC模式中的常规编码段采用trie树表达,对于区间形式采用扩展B树表达.查找过程按照编码段由高至低依次进行,并采用了基于位向量集合的优化方法.实验表明标签编码过滤效率受EPC模式数量变化的影响较小,能够有效降低向上层应用传输数据的延迟. 赵文 刘学洋 刘殿兴 王立福关键词:RFID 中间件 EPC模式 TRIE树 B树 一种基于时间序列的RFID供应链数据分析方法 被引量:7 2010年 通过挖掘海量RFID(Radio Frequency Identification)数据来优化供应链已经成为一个研究热点.本文针对供应链流通中出现的若干周转异常并且难以发现的问题,提出了一种基于时间序列的RFID供应链数据分析方法.将供应链的RFID数据统一成反映各环节周转状况的时间序列格式,然后通过分段趋势分解方法分解提取的时间序列数据,并根据分解后的随机项建立阈值来判断数据是否异常,从而建立相应的时间序列分析模型;最后基于模型检测数据异常.通过多样本和多数据集的实验检测,结果表明这种方法有效并具有较高的效率. 高昕 赵文 叶蔚 张世琨 王立福关键词:供应链 时间序列 RFID信息服务网络中支持复合订阅的路由算法研究 被引量:1 2010年 在RFID信息服务网络中,设计了一种支持复合订阅的可靠的路由算法:在订阅转发阶段,我们将每一个复合订阅按照其语法结构进行分解,并将每个复合订阅成份分配给多个RFID信息服务(构成一个复合订阅存储单元)去维护,而事件则按照订阅分解的反方向和匹配的结果进行转发与合并.由于每个复合订阅存在多个副本,因而会显著减少因某个副本失效而产生的事件丢失.本文也给出了复合订阅存储单元内部多个复合订阅副本一致性的保持方法,以及核心信息服务的选举方法.实验结果表明,该路由算法有较高的容错性,性能可以满足实际应用的需要. 刘殿兴 赵文 李信鹏 冯志明 张世琨 王立福关键词:路由 KADEMLIA