Secure authentication scheme for passive C1G2 RFID tags

Privacy and security concerns inhibit the fast adaption of RFID technology for many applications. A number of authentication protocols that address these concerns have been proposed but real-world solutions that are secure, maintain low communication cost and can be integrated into the ubiquitous EPCglobal Class 1 Generation 2 tag protocol (C1G2) are still needed and being investigated. We present a novel authentication protocol, which offers a high level of security through the combination of a random key scheme with a strong cryptography. The protocol is applicable to resource, power and computationally constraint platforms such as RFID tags. Our investigation shows that it can provide mutual authentication, untraceability, forward and backward security as well as resistance to replay, denial-ofth-service and man-in-the-middle attacks, while retaining a competitive communication cost. The protocol has been integrated into the EPCglobal C1G2 tag protocol, which assures low implementation cost. We also present a successful implementation of our protocol on real-world components such as the INTEL WISP UHF RFID tag and a C1G2 compliant reader.     

An efficient IP address lookup algorithm based on a small balanced tree using entry reduction

Due to a tremendous increase in internet traffic, backbone routers must have the capability to forward massive incoming packets at several gigabits per second. IP address lookup is one of the most challenging tasks for high-speed packet forwarding. Some high-end routers have been implemented with hardware parallelism using ternary content addressable memory (TCAM). However, TCAM is much more expensive in terms of circuit complexity as well as power consumption. Therefore, efficient algorithmic solutions are essentially required to be implemented using network processors as low cost solutions.Among the state-of-the-art algorithms for IP address lookup, a binary search based on a balanced tree is effective in providing a low-cost solution. In order to construct a balanced search tree, the prefixes with the nesting relationship should be converted into completely disjointed prefixes. A leaf-pushing technique is very useful to eliminate the nesting relationship among prefixes [V. Srinivasan, G. Varghese, Fast address lookups using controlled prefix expansion, ACM Transactions on Computer Systems 17 (1) (1999) 1-40]. However, it creates duplicate prefixes, thus expanding the search tree.This paper proposes an efficient IP address lookup algorithm based on a small balanced tree using entry reduction. The leaf-pushing technique is used for creating the completely disjointed entries. In the leaf-pushed prefixes, there are numerous pairs of adjacent prefixes with similarities in prefix strings and output ports. The number of entries can be significantly reduced by the use of a new entry reduction method which merges pairs with these similar prefixes. After sorting the reduced disjointed entries, a small balanced tree is constructed with a very small node size. Based on this small balanced tree, a native binary search can be effectively used in address lookup issue. In addition, we propose a new multi-way search algorithm to improve a binary search for IPv4 address lookup. As a result, the proposed algorithms offer excellent lookup performance along with reduced memory requirements. Besides, these provide good scalability for large amounts of routing data and for the address migration toward IPv6. Using both various IPv4 and IPv6 routing data, the performance evaluation results demonstrate that the proposed algorithms have better performance in terms of lookup speed, memory requirement and scalability for the growth of entries and IPv6, as compared with other algorithms based on a binary search.     

An on-line learning neural controller for helicopters performing highly nonlinear maneuvers

This paper presents an on-line learning adaptive neural control scheme for helicopters performing highly nonlinear maneuvers. The online learning adaptive neural controller compensates the nonlinearities in the system and uncertainties in the modeling of the dynamics to provide the desired performance. The control strategy uses a neural controller aiding an existing conventional controller. The neural controller is based on a online learning dynamic radial basis function network, which uses a Lyapunov based on-line parameter update rule integrated with a neuron growth and pruning criteria. The online learning dynamic radial basis function network does not require a priori training and also it develops a compact network for implementation. The proposed adaptive law provides necessary global stability and better tracking performance. Simulation studies have been carried-out using a nonlinear (desktop) simulation model similar to that of a BO105 helicopter. The performances of the proposed adaptive controller clearly shows that it is very effective when the helicopter is performing highly nonlinear maneuvers. Finally, the robustness of the controller has been evaluated using the attitude quickness parameters (handling quality index) at different speed and flight conditions. The results indicate that the proposed online learning neural controller adapts faster and provides the necessary tracking performance for the helicopter executing highly nonlinear maneuvers.     

Nodal ant colony optimization for solving profit based unit commitment problem for GENCOs

This paper proposes a nodal ant colony optimization (NACO) technique to solve profit based unit commitment problem (PBUCP). Generation companies (GENCOs) in a competitive restructured power market, schedule their generators with an objective to maximize their own profit without any regard for system social benefit. Power and reserve prices become important factors in decision process. Ant colony optimization that mimics the behavior of ants foraging activities is suitably implemented to search the UCP search space. Here a search space consisting of optimal combination of binary nodes for unit ON/OFF status is represented for the movement of the ants to maintain good exploration and exploitation search capabilities. The proposed model help GENCOs to make decisions on the quantity of power and reserve that must be put up for sale in the markets and also to schedule generators in order to receive the maximum profit. The effectiveness of the proposed technique for PBUCP is validated on 10 and 36 generating unit systems available in the literature. NACO yields an increase of profit, greater than 1.5%, in comparison with the basic ACO, Muller method and hybrid LR-GA.     

Altered mRNA and Protein Expression of Monocarboxylate Transporter MCT1 in the Cerebral Cortex and Cerebellum of Prion Protein Knockout Mice

The effect of a cellular prion protein (PrP^c) deficiency on neuroenergetics was primarily analyzed via surveying the expression of genes specifically involved in lactate/pyruvate metabolism, such as monocarboxylate transporters (MCT1, MCT2, MCT4). The aim of the present study was to elucidate a potential involvement of PrP^c in the regulation of energy metabolism in different brain regions. By using quantitative real-time polymerase chain reaction (qRT-PCR), we observed a marked reduction in MCT1 mRNA expression in the cortex of symptomatic Zürich I Prnp^−/− mice, as compared to their wild-type (WT) counterparts. MCT1 downregulation in the cortex was accompanied with significantly decreased expression of the MCT1 functional interplayer, the Na⁺/K⁺ ATPase α2 subunit. Conversely, the MCT1 mRNA level was significantly raised in the cerebellum of Prnp^−/− vs. WT control group, without a substantial change in the Na⁺/K⁺ ATPase α2 subunit expression. To validate the observed mRNA findings, we confirmed the observed change in MCT1 mRNA expression level in the cortex at the protein level. MCT4, highly expressed in tissues that rely on glycolysis as an energy source, exhibited a significant reduction in the hippocampus of Prnp^−/− vs. WT mice. The present study demonstrates that a lack of PrP^c leads to altered MCT1 and MCT4 mRNA/protein expression in different brain regions of Prnp^−/− vs. WT mice. Our findings provide evidence that PrP^c might affect the monocarboxylate intercellular transport, which needs to be confirmed in further studies.     

Global insight into microwave stoneware firing: Macro and microstructural changes

Industrial competition and environmental concerns lead to the exploration of alternative and energy-efficient technologies for ceramic materials processing. The main objective of this work was to present microwave heating as a viable option for stoneware processing. Stoneware functional properties are presented and discussed, with emphasis on impact strength, water absorption, porosity, and color. Microstructure analyses show that microwave- and gas-fired samples have higher densifications than electrically fired samples. A relevant finding for processing conditions is that microwave firing requires temperatures approximately 100°C lower than those required by conventional firing. Microwave-fired samples’ rupture energies are approximately twice (0.57 ± 0.06 (J)) those of the reference samples (0.26 ± 0.03 (J)), and their water absorptions are approximately one-half (1.5% at 1170°C and 0.8% at 1190°C) of those of the reference samples (2.0%), whereas the water absorption of electrically fired samples at 1180°C has been estimated to be 7.5%. Color analysis also evidences a shift to lower microwave firing temperatures, what is attributed to the enhanced transformations promoted by microwave heating when comparing with the transformations promoted by conventional (gas or electric) heating.     

Output controllability and optimal output control of state-dependent switched Boolean control networks

In the present paper, we investigate the output-controllability and optimal output control problems of a state-dependent switched Boolean control network. By using the semi-tensor product, the algebraic form of the system is obtained. Then, output-controllability problems of the system are discussed and some necessary and sufficient conditions are given. Next, the Mayer-type optimal output control issue is considered and an algorithm is provided to find out the control sequence. At last, an example is given to show the effectiveness of the main results.     

A survey of support for structured communication in concurrency control models

The two standard models used for communication in concurrent programs, shared memory and message passing, have been the focus of much debate for a long time. Still, we believe the main issue at stake should not be the choice between these models, but rather how to ensure that communication is structured, i.e., it occurs only in syntactically restricted code regions. In this survey, we explore concurrency control models and evaluate how their characteristics contribute positively or negatively to the support for structured communication. We focus the evaluation on three properties: reasonability, which is the main property we are interested in and determines how easily programmers can reason about a concurrent program’s execution; performance, which determines whether there are any distinct features which can prevent or facilitate efficient implementations; and composability, which determines whether a model offers constructs that can be used as building blocks for coarser-grained, or higher-level, concurrency abstractions.