目标物方向感知是供应链及设备管理等射频识别(Radio Frequency Identification,RFID)应用领域中亟需解决的问题,基于RFID工作原理及天线散射理论,给出了超高频(Ultra High Frequency,UHF)RFID系统链路模型,利用天线极化分集理论,提出...目标物方向感知是供应链及设备管理等射频识别(Radio Frequency Identification,RFID)应用领域中亟需解决的问题,基于RFID工作原理及天线散射理论,给出了超高频(Ultra High Frequency,UHF)RFID系统链路模型,利用天线极化分集理论,提出了一种基于RFID技术的目标物方向感知方法.该方法是给目标物贴附两个标签,通过改变阅读器天线极化方向获取分集接收信号强度,并对所得数据进行统计分析,根据分析结果估计目标物方向.在室内开阔环境下对该方法进行了测试,测试结果表明,该方法对目标物方向平均估计误差为10.1°.展开更多
分离逻辑是John C Reynolds和Peter O'Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验...分离逻辑是John C Reynolds和Peter O'Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。展开更多
容忍延迟网络(DTN)为提高消息传输成功率,往往采用多副本策略,导致网络消息泛洪现象,需要对消息副本进行限制。提出了一种基于社会活性和副本限制的DTN路由算法(social activity and copy-limited based DTN routing algorithm,SACRA),...容忍延迟网络(DTN)为提高消息传输成功率,往往采用多副本策略,导致网络消息泛洪现象,需要对消息副本进行限制。提出了一种基于社会活性和副本限制的DTN路由算法(social activity and copy-limited based DTN routing algorithm,SACRA),该算法基于节点运动历史轨迹和相邻节点特性定义社会活性,根据社会活性和可用缓冲区大小合理分配相遇节点携带消息的份额和交换消息类型,使消息加速扩散,能尽快到达目标节点。仿真结果表明,与典型的多副本DTN路由算法相比,SACRA能够有效降低了消息转发数和负载比率,当时间在1 000 s后成功率在50%以上,从而降低了网络开销,并获得较高的消息递交成功率。展开更多
文摘目标物方向感知是供应链及设备管理等射频识别(Radio Frequency Identification,RFID)应用领域中亟需解决的问题,基于RFID工作原理及天线散射理论,给出了超高频(Ultra High Frequency,UHF)RFID系统链路模型,利用天线极化分集理论,提出了一种基于RFID技术的目标物方向感知方法.该方法是给目标物贴附两个标签,通过改变阅读器天线极化方向获取分集接收信号强度,并对所得数据进行统计分析,根据分析结果估计目标物方向.在室内开阔环境下对该方法进行了测试,测试结果表明,该方法对目标物方向平均估计误差为10.1°.
文摘分离逻辑是John C Reynolds和Peter O'Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。
基金国家自然科学基金(the National Natural Science Foundation of Chinaunder Grant No.50675208)浙江省自然科学基金(the Natural Science Foundation of Zhejiang Province of Chinaunder Grant No.Y605187)。
文摘容忍延迟网络(DTN)为提高消息传输成功率,往往采用多副本策略,导致网络消息泛洪现象,需要对消息副本进行限制。提出了一种基于社会活性和副本限制的DTN路由算法(social activity and copy-limited based DTN routing algorithm,SACRA),该算法基于节点运动历史轨迹和相邻节点特性定义社会活性,根据社会活性和可用缓冲区大小合理分配相遇节点携带消息的份额和交换消息类型,使消息加速扩散,能尽快到达目标节点。仿真结果表明,与典型的多副本DTN路由算法相比,SACRA能够有效降低了消息转发数和负载比率,当时间在1 000 s后成功率在50%以上,从而降低了网络开销,并获得较高的消息递交成功率。
