Matrix-Based Discrete Event Control for Surveillance Mobile Robotics

This paper focuses on the control system for an autonomous robot for the surveillance of indoor environments. Our approach proposes a matrix-based formalism which allows us to merge in a single framework discrete-event supervisory control, conflict resolution and reactive control. As a consequence, the robot is able to autonomously handle high level tasks as well as low-level behaviors, solving control and decision-making issues simultaneously. Moreover, the matrix-based controller is modular and can be easily reconfigured if mission characteristics or robot hardware configuration change. An illustrative example and a report on experimental investigations are provided to illustrate the main features of the proposed approach.     

A note on the security of PAP

In this letter, we analyze the security of an RFID authentication protocol proposed by Liu and Bailey [1], called privacy and authentication protocol (PAP). We present two traceability attacks and an impersonation attack.     

Visualization of level-of-detail meshes on the GPU

Extensive research has been carried out in multiresolution models for many decades. The tendency in recent years has been to harness the potential of GPUs to perform the level-of-detail extraction on graphics hardware. The aim of this work is to present a new level-of-detail scheme based on triangles which is both simple and efficient. In this approach, the extraction process updates vertices instead of indices, thus providing a perfect framework for adapting the algorithms to work completely on GPU shaders. One of the key aspects of our proposal is the need for just a single rendering pass in order to obtain the desired geometry. Moreover, coherence among the different approximations is maximized by means of a symmetric extraction algorithm, which performs the same process when refining and coarsening the mesh. Lastly, we also introduce different uses of the scheme to offer continuous and view-dependent resolution.     

An Efficient Solution for Model Checking Graph Transformation Systems

This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attributed typed graphs and layered transformations. Resulting models are amenable to check interesting properties expressed as combinations of LTL (Linear Temporal Logic) and graph transformation rules. The first experimental results are encouraging and show that in most cases our proposal improves existing approaches, both in terms of performance and expressiveness.     

Fracture morphology and mechanical properties of thermocatalytically polymerized MMA-impregnated mortar

Mortar mixes with different water-cement ratios and consistency were impregnated with methyl-methacrylate monomer and polymerized thermally under water using the free radical initiator, -azobis (isobutyronitrile). Results on drying, impregnation and polymerization are presented. It is shown that a considerable amount of polymer remained strongly adhered or chemically inserted in the inorganic matrix. The molecular weight of the inserted polymer is higher than that obtained in the solvent extracted polymer and this is also higher than the polymer molecular weight obtained by bulk polymerization under the same conditions. The compressive and flexural strength of the impregnated mortar were found to be a function of the amount of polymer in the composites. Fracture behaviour under load, and polymer distribution inside the composites were examined by scanning electron microscopic techniques (SEM). It was observed that the polymer acts in two ways, first as a filler of porous and microcrack voids, secondly forming an anisotropic irregular network improving the bond characteristic of the interface between aggregate and matrix. Furthermore, due to the the adhesion of the polymer to both phases, it acts as a reinforcement and improves the mechanical properties, in particular the flexural strength.     

Anaerobic monodigestion of poultry manure: determination of operational parameters for CSTR

In this work the anaerobic monodigestion for the treatment of turkey manure was evaluated, without its codigestion with another substrate. The effect of the organic loading rate (OLR) and the substrate concentration (high total solids (TS) concentration) or product concentration (high volatile fatty acids (VFA) and/or ammonia (NH(3)-N) concentrations) was studied. The results show that for a continuous stirred tank reactor (CSTR) operation, a maximum of 40 g/L of TS and 4.0 g/L of ammonium (NH(4)(+)) was required. In addition, the maximum organic loading rate (OLR) will not exceed 1.5 kg VS/m(3)d. Higher TS and NH(4)(+) concentrations and OLR lead to a reduction on the methane productivity and volatile solids (VS) removal. During the CSTR operation, a high alkalinity concentration (above 10 g/L CaCO(3)) was found; this situation allowed maintaining a constant and appropriate pH (close to 7.8), despite the VFA accumulation. In this sense, the alkalinity ratio (α) is a more appropriate control and monitoring parameter of the reactor operation compared to pH. Additionally, with this parameter a VS removal of 80% with a methane productivity of 0.50 m(3)(CH4)/m(3)(R)d is achieved.     

Monitoring and improving Greek banking services using Bayesian Networks: An analysis of mystery shopping data

Mystery shopping is a well known marketing technique used by companies and marketing analysts to measure quality of service, and gather information about products and services. In this article, we analyse data from mystery shopping surveys via Bayesian Networks in order to examine and evaluate the quality of service offered by the loan departments of Greek Banks. We use mystery shopping visits to collect information about loan products and services and, by this way, evaluate the customer satisfaction and plan improvement strategies that will assist banks to reach their internal standards. Bayesian Networks not only provide a pictorial representation of the dependence structure between the characteristics of interest but also allow to evaluate, interpret and understand the effects of possible improvement strategies.     

Modeling and gradient pattern analysis of irregular SFM structures of porous silicon

Technological applications in opto-electronic devices have increased the interest in characterizing porous silicon structure patterns. Due to its physical properties, solutions from KPZ 2D are adopted to simulate the structure of porous material interface whose spatial characteristics are equivalent to those found in porous silicon samples. The analysis of the simulated and real Scanning Force Microscopy (SFM) surfaces was done using the Gradient Pattern Analysis (GPA). We found that the KPZ 2D model presented asymmetry levels compatible with the irregular surfaces observed by means of SFM images of π-Si.