A fast algorithm to formulate Markov system equations

In this paper a new and efficient algorithm is presented to formulate a set of equations corresponding to a system with repair without pass through Markov graphs [1,2]. Using Karnaugh maps [3] for the states of the system and by the introduction of the concept of contiguous states, a basic method by inspection is derived. The hazard rates are assumed to be constant.     

Reliability analysis of two special three-state devices

In this paper Markov models of two special three-state devices are developed. Both of them have a single operating state considered as a good state. The first device has two mutually exclusive failure modes with repair. The second device has two mutually exclusive failure modes, one with repair and another without repair. Functions reliability and availability are computed.     

Autonomous and teleoperation control of a mobile robot

The present work proposes an autonomous tracking control system and a control structure to combine autonomous and teleoperation commands in a bicycle-type mobile robot. This compounded operation renders great flexibility to the control system of the mobile robot. For autonomous operation, a simple tracking controller that includes compensation of the robot dynamics is developed. This tracking control system is proved to be stable in the sense that it asymptotically reaches the tracking objective. Teleoperation with visual access to the robot’s workspace is integrated via a joystick with the autonomous operation of the robot. Simulations and experimental results on a prototype robot show the feasibility and performance of the proposed control system.     

An iterative physical optics approach for analyzing theelectromagnetic scattering by large open-ended cavities

A formulation based on the high frequency asymptotic principles of physical optics is developed for analyzing the scattering by relatively arbitrary open-ended waveguide cavities containing complex interior terminations. A magnetic field integral equation (MFIE) is obtained for the equivalent currents on the interior cavity walls and is solved using an iterative physical optics (IPO) algorithm which iteratively applies physical optics to account for multiple reflections inside the cavity. The number of iterations required for convergence is related to the expected number of important reflections. The IPO method is more approximate than a matrix solution of the MFIE, but it is quite accurate for electrically large cavities and is much more efficient. Numerical results are presented which demonstrate the convergence and accuracy of the method by comparison with modal reference solutions     

Improved Message Forwarding for Multi-Hop HaRTES Real-Time Ethernet Networks

Nowadays, switched Ethernet networks are used in complex systems that encompass tens to hundreds of nodes and thousands of signals. Such scenarios require multi-switch architectures where communications frequently occur in multiple hops. In this paper we investigate techniques to allow efficient multi-hop communication using HaRTES switches. These are modified Ethernet switches that provide real-time traffic scheduling, dynamic bandwidth management and temporal isolation between real-time and non-real-time traffic. This paper addresses the problem of forwarding traffic in HaRTES networks. Two methods have been recently proposed, namely Distributed Global Scheduling (DGS) that buffers traffic between switches, and Reduced Buffering Scheme (RBS), that uses immediate forwarding. In this paper, we discuss the design and implementation of RBS within HaRTES and we carry out an experimental validation with a prototype implementation. Then, we carry out a comparison between RBS and DGS using worst-case response time analysis and simulation. The comparison clearly establishes the superiority of RBS concerning end-to-end response times. In fact, with sample message sets, we achieved reductions in end-to-end delay that were as high as 80 %.     

Touch‐Interactive Flexible Sustainable Energy Harvester and Self‐Powered Smart Card

Sustainable and safe energy sources combined with cost effectiveness are major goals for society when considering the current scenario of mass production of portable and Internet of Things (IoT) devices along with the huge amount of inevitable e‐waste. The conceptual design of a self‐powered “eco‐energy” smart card based on paper promotes green and clean energy, which will bring the zero e‐waste challenge one step closer to fruition. A commercial raw filter paper is modified through a fast in situ functionalization method, resulting in a conductive cellulose fiber/polyaniline composite, which is then applied as an energy harvester based on a mechano‐responsive charge transfer mechanism through a metal/conducting polymer interface. Different electrodes are studied to optimize charge transfer based on contact energy level differences. The highest power density and current density obtained from such a paper‐based “eco‐energy” smart card device are 1.75 W m^?2 and 33.5 mA m^?2 respectively. This self‐powered smart energy card is also able to light up several commercial light‐emitting diodes, power on electronic devices, and charge capacitors.     

RPSF: a new QoS bandwidth request mechanism for the IEEE?802.16

The IEEE 802.16 standard is a Broadband Wireless Access (BWA) technology which offers Quality of Service (QoS) support to different types of applications. This standard defines the physical (PHY) and medium access control (MAC) layers. Its MAC layer defines different types of QoS mechanisms to support various types of applications, being the multicast polling one of these mechanisms. Under this mechanism, based on a contention process, every connection competes to gain access to the channel in order to place its bandwidth requests. In this paper, we propose a new signalling mechanism, called Requests Per Service Flow (RPSF), to reduce the contention phase in the frame. Additionally, we undertake a comparison of this new method with respect to other mechanisms. The simulation results show that our new proposal outperforms other mechanisms recently reported in the literature, in terms of throughput and end-to-end delay.     

Interoperability in semantic Web of Things: Design issues and solutions

The significant improvement in processing power, communication, energy consumption, and the size of computational devices has led to the emergence of the Internet of Things (IoT). IoT projects raise many challenges, such as the interoperability between IoT applications because of the high number of sensors, actuators, services, protocols, and data associated with these systems. Semantics solves this problem by using annotations that define the role of each IoT element and reduces the ambiguity of information exchanged between the devices. This work presents SWoTPAD, a semantic framework that helps in the development of IoT projects. The framework is designer oriented and provides a semantic language that is more user‐friendly than OWL‐S and WSML and allows the IoT designer to specify devices, services, environment, and requests. Following this, it makes use of these specifications and maps them for RESTful services. Additionally, it generates an automatic service composition engine that is able to combine services needed to handle complex user requests. We validated this approach with two case studies. The former concerns a residential security system and the latter, the cloud application deployment. The average time required for service discovery and automatic service composition corresponds to 72.9% of the service execution time in the case study 1 and 64.4% in the case study 2.