基于RFID技术的多标签定位系统设计

提出了一种基于低成本无线射频识别RFID的局域定位系统设计方法,介绍了系统主要硬件模块的结构和接口设计。针对RFID多标签信号碰撞的问题,采用序列号对时隙数运算的排序算法实现了多标签防碰撞策略。介绍了RFID局域定位系统的定位工作原理及定位算法的设计和实现。实验测试表明,该系统能够通过多标签信号的识别有效实现无线局域定位的功能。     

面向医院的移动机器人导航系统设计

本文设计了一种采用RFID和机器视觉相结合的自主移动机器人导航系统.该系统在搜索和识别走廊内RFID标签和门牌号的基础上实现自定位和导航.本文首先给出了移动机器人导航系统的整体设计,然后分别给出了基于RFID辅助定位方法和基于DSP的门牌号识别方法,最后在博创UpVoyager移动机器人平台上验证了本系统的有效性.     

基于uIP和RFID的监狱监控系统设计和开发

针对摄像头监控系统存在视线盲区、可靠性依赖于监控人员等问题,设计了一种利用RFID技术实现定位追踪告警、uIP实现局域网通信的监狱报警系统来弥补摄像头系统的缺陷.首先介绍整个系统结构功能,然后给出下位机具体实现方法,包括MCU控制RFID集成芯片进行通信的编程实现、以太网卡驱动程序和uIP协议在MCU上的移植过程.系统经过调试,可实现定位追踪和告警等功能,证明uIP和RFID技术在监控系统中应用的可实现性.     

基于RFID技术的连锁超市信息系统设计与实现

把基于RFID技术物品跟踪定位方案应用到连锁超市中,设计与实现了一个具有一定应用价值的基于RFID的连锁超市原型系统。该系统在完成对常规的商品信息、库存信息和销售信息等录入与查询统计的同时,重点突出了引入RFID技术以后,系统在商品跟踪识别定位等方面所具有的新特征。     

基于RFID和WSN仓储车辆定位系统设计

通过研究基于无线传感器网络的定位技术和无源超高频RFID的定位技术,提出了一种WSN-RFID协同精确定位方法对仓储运输车辆进行定位,并采用该方法设计了具有定位功能的智能小车,实现了对小车的区域定位和精确定位;文章详细阐述了RFID和WSN基本原理以及定位技术,给出了WSN与RFID硬件设计框图,搭建了仓储车辆定位系统硬件平台;通过对智能小车的定位功能进行测试,定位精度达到了86.5%,验证了WSN-RFID协同精确定位方法的有效性与可行性。     

一种基于RFID的室内车载监控系统定位方法的设计与实现

室内定位是智能家居系统中实现居境信息自主巡检的基础支撑技术。针对现有室内定位算法的不足,提出了一种基于RFID的新型室内定位方法。该方法建立基于RFID标签映射的地面坐标,借助电子罗盘获取车载系统方向,通过向量方法计算出车载系统的中心位置,有效地解决了室内定位的精度与稳定性问题。基于该方法,设计并实现了一个室内车载监控系统,验证了算法的有效性。     

RFID系统中阅读器的设计与实现

阐述了RFID基本概念及RFID系统组成,提出了一种RFID阅读器的总体设计方案,对其中各功能模块进行详细说明并作出相应的硬件和软件设计。系统采用模块化设计思想,实现了射频标签与阅读器之间数据传递与控制功能。     

面向检验检疫的电子检封锁智能监控系统设计与实现

针对某检验检疫局保税区货物运输过程中的职责监管分离问题,设计了一套电子检封锁监控系统。该电子检封锁内置模块融合了RFID、GPS和GPRS技术,其RFID射频识别模块可对车辆的ID等信息进行识别,GPS模块可实现车辆的实时监控定位,GPRS模块则通过短信传输车辆的相关信息,实现货物运输过程中的全程定位与监控。对系统硬件和软件关键技术及实现方案进行了阐述。该系统已成功用于某检验检疫局的货物监管,应用结果表明,该系统大大提高了检验检疫的效率,降低了运输货物的出错率,达到了货物的快速通关需求。     

基于RFID的天车避碰系统的设计

基于RFID的无线天车避碰系统,给出了天车定位方案的工作原理、对系统硬件和软件进行了设计。在天车运行的过程中,实现对两个天车之间距离的监测,声光报警、停车控制。与传统的天车避碰系统相比,由于采用RFID定位技术和无线数据传输技术,使系统受到的环境影响很小,数据传输范围大,定位精度较高。     

基于RFID的尾气检测系统设计与实现

RFID是一种利用射频信号自动识别目标对象并获取相关信息的技术.RFID中间件的推出很好地解决了技术与成本这两方面问题,加速了RFID技术的推广使用.作者设计了一种基于BEA RFID Edge Server中间件构建的汽车尾气检测系统,并阐述了该系统的体系结构、设计和实现.     

Assessing Ideational and Evaluative Skills and Creative Styles and Attitudes

This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style.     

Rank and select revisited and extended

The deep connection between the Burrows–Wheeler transform (BWT) and the so-called rank and select data structures for symbol sequences is the basis of most successful approaches to compressed text indexing. Rank of a symbol at a given position equals the number of times the symbol appears in the corresponding prefix of the sequence. Select is the inverse, retrieving the positions of the symbol occurrences. It has been shown that improvements to rank/select algorithms, in combination with the BWT, turn into improved compressed text indexes.     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Integrating and automating analysis and optimization

The development of an interface coupling program on personal computers for an analysis software system such as ANSYS, SAP, etc. and an optimization software system, MOST, is presented. By controlling and directing the communications the interface coupler integrates the two programs while retaining their versatility and interactive features. The integrated system is used to solve a numerical example of active noise control for a three-dimensional enclosure, in which an energy density level of control points is minimized by adding the sound source to cancel the unwanted noise. The interface coupling program automates with relatively low cost the iterative process for designing an engineering system, remaining flexible in acoustical modelling and efficient in equation solving. Also, the coupling interface is developed in a general-purpose way so that it can be expanded easily to integrate more analysis software packages of different kinds.