Continuous Query Processing of Spatio-Temporal Data Streams in PLACE

The tremendous increase in the use of cellular phones, GPS-like devices, and RFIDs results in highly dynamic environments where objects as well as queries are continuously moving. In this paper, we present a continuous query processor designed specifically for highly dynamic environments (e.g., location-aware environments). We implemented the proposed continuous query processor inside the PLACE server (Pervasive Location-Aware Computing Environments); a scalable location-aware database server developed at Purdue University. The PLACE server extends data streaming management systems to support location-aware environments. These environments are characterized by the wide variety of continuous spatio-temporal queries and the unbounded spatio-temporal streams. The proposed continuous query processor includes: (1) New incremental spatio-temporal operators to support a wide variety of continuous spatio-temporal queries, (2) Extended semantics of sliding window queries to deal with spatial sliding windows as well as temporal sliding windows, and (3) A shared-execution framework for scalable execution of a set of concurrent continuous spatio-temporal queries. Experimental evaluation shows promising performance of the continuous query processor of the PLACE server. This work was supported in part by the National Science Foundation under Grants IIS-0093116, IIS-0209120, and 0010044-CCR.     

Interfacial Behavior and Debonding Failures in FRP-Strengthened Concrete Slabs

It has been demonstrated, through laboratory investigations and various field projects, that the external bonding of fiber- reinforced polymer (FRP) laminates is an effective technique for the structural enhancement of reinforced concrete slabs. In such applications, failure is generally governed by debonding of the FRP laminate. Nevertheless, numerical simulations to date of FRP-strengthened slabs have usually been based on the assumption of full bond between the concrete and FRP. In this study, the interfacial behavior between the FRP laminates and the concrete substrate is accounted for by introducing appropriate bond-slip models for the interface in a nonlinear finite-element analysis of FRP-strengthened two-way slabs. The numerical model is capable of simulating slabs strengthened in shear or in flexure; it can be applied to arbitrary FRP configurations, and can also accommodate both passive as well as prestressed FRP strengthening schemes. Results are presented in terms of load-deflection relationships, ultimate load capacities, failure modes, and interfacial slip and stress distributions. When compared to test results reported in the literature, the analysis is shown to lead to excellent predictions in that, for the entire set of FRP-strengthened specimens considered, the average of the numerical-to-experimental load capacity ratios is 0.966, with a standard deviation of 0.066. Furthermore, in all cases when FRP debonding was observed experimentally, the analysis correctly predicted the mode of failure.     

Compositional specification of real time embedded systems by priority time Petri Nets

An important key challenge in Embedded Real Time Systems (ERTS) analysis is to provide a seamless scheduling strategy. Formal methods for checking the temporal characteristics and timing constraints at a high abstraction level have proven to be useful for making the development process reliable. In this paper, we present a Petri Net modeling formalism and an analysis technique which supports not only systems scheduling analysis but also the compositional specification of real time systems. The proposed Priority Time Petri Net gives determinism aspect to the model and accelerates its execution. Indeed, a compositional specification of a PTPN for complex application and multiprocessor architecture that solves the problem of hierarchy is presented.     

Beyond the end-consumer: how would improvements in residential energy efficiency affect the power sector in Saudi Arabia?

Energy efficiency in buildings has garnered significant attention in Saudi Arabia. This paper outlines the potential effects of higher residential efficiency on electricity load profiles in the Kingdom. It further presents the associated benefits that could have been realized by the local utilities in 2011. To perform the analysis, we designed an integrated methodology in which an engineering-based residential electricity demand model is used within an economic equilibrium framework. The modeling approach allows us to capture the physical interactions arising from higher efficiency and the structural changes that could occur in the economy beyond the end-consumers. Raising the average air-conditioner energy efficiency ratio (EER) to 11 British thermal unit (BTU)/(Wh) from its 2011 average would have saved 225,000 barrels/day of crude oil in electricity generation. Alternatively, increasing the share of insulated homes from 27 to 64 % would have allowed the power sector to lower its use of the fuel by 158,000 barrels/day. Combining both measures in a single simulation yields incremental yet not additive reductions. All alternative scenarios reduce costs to the utilities and improve the average thermal efficiency for the electricity generated. The studied efficiency options shift the load curve downward during the peak load segment when the least efficient turbines would be used. We additionally show how efficiency improvements in end-uses can affect the decisions of other sectors in the economy.     

Nested saturation based control of an actuated knee joint orthosis

Wearable robots have opened a new horizon for assistance and rehabilitation of dependent/elderly persons. The present study deals with the control of an actuated lower limb orthosis at the knee joint level. The dynamics of the shank–foot–orthosis system are expressed through a nonlinear second order model taking into account viscous, inertial and gravitational properties. Shank–foot–orthosis system parameters are identified experimentally. Since the underlying dynamic model is nonlinear, a robust control strategy is needed to guarantee an accurate and precise movement generation. The proposed control strategy ensures, at the same time, the stability of the closed-loop system. A bounded control torque is applied to guarantee the asymptotic stability of the shank–foot–orthosis. The generated control respects the physical constraints imposed by the system. The effectiveness of the proposed control strategy is shown in real-time in terms of stability, position tracking performances and robustness with respect to identification errors and external disturbances.