Adaptive sliding mode control of chaotic dynamical systems with application to synchronization

We address the problem of control and synchronization of a class of uncertain chaotic systems. Our approach follows techniques of sliding mode control and adaptive estimation law. The adaptive algorithm is constructed based on the sliding mode control to ensure perfect tracking and synchronization in presence of system uncertainty and external disturbance. Stability of the closed-loop system is proved using Lyapunov stability theory. Our theoretical findings are supported by simulation results.     

Performance analysis of available bandwidth estimation tools for grid networks

Modern large-scale grid computing systems for processing advanced science and engineering applications rely on geographically distributed clusters. In such highly distributed environments, estimating the available bandwidth between clusters is a key issue for efficient task scheduling. We analyze the performance of two well known available bandwidth estimation tools, pathload and abget, with the aim of using them in grid environments. Differently than previous investigations (Jain et al., ; Shriram et al., in Passive and active network measurement: 6th international workshop, PAM 2005. Springer, Berlin, 2005), our experiments consider a series of relevant metrics such as accuracy of the estimation, convergence time, degree of intrusion in the grid links, and ability to handle multiple simultaneous estimations. No previous work has analyzed the use of available bandwidth tools for the derivation of efficient grid scheduling.     

Reducing the Health and Digital Divides: A Model for Using Community‐Based Participatory Research Approach to E‐Health Interventions in Low‐Income Hispanic Communities

Low‐income Hispanics are the most digitally underserved population in the U.S. This article examines the potential of community‐based participatory research approach to e‐health to decrease the disparities in access to technology and health information in low‐income Hispanic communities. To demonstrate this framework, we describe the process of designing a community‐based e‐health intervention to increase knowledge and parental self‐efficacy in coping with young children's mental health problems including mental health service utilization. Our model incorporates utilizing promotoras de salud (lay community health educators) and community media principles to create the content of e‐health interventions and train community members in using the technology. This case study illustrates the processes involved in using this approach, barriers for participatory e‐health interventions in bridging the Digital Divide, and lessons learned.     

Simultaneous algorithm for trajectory planning

This paper addresses the solution of smooth trajectory planning for industrial robots in environments with obstacles using a direct method, creating the trajectory gradually as the robot moves. The presented method deals with the uncertainties associated with the lack of knowledge of kinematic properties of intermediate via‐points since they are generated as the algorithm evolves looking for the solution. Several cost functions are also proposed, which use the time that has been calculated to guide the robot motion. The method has been applied successfully to a PUMA 560 robot and four operational parameters (execution time, computational time, distance travelled and number of configurations) have been computed to study the properties and influence of each cost function on the trajectory obtained. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

Modeling and control of the doubly fed induction generator wind turbine

The present paper deals with the modeling of wind turbine generation systems. The model of a doubly fed induction generator, along with the corresponding converter, crow bar protection and electrical grid is described. The different level control strategies both in normal operation and under voltage dig conditions are discussed, including speed control, torque and reactive power control for the rotor-side converter, reactive and DC voltage control for the grid-side converter and the corresponding current loops control. The results obtained with simulations are compared to experimental data obtained from voltage sags provoked to real wind turbines.     

A systematic mapping study of software product lines testing

Context

In software development, Testing is an important mechanism both to identify defects and assure that completed products work as specified. This is a common practice in single-system development, and continues to hold in Software Product Lines (SPL). Even though extensive research has been done in the SPL Testing field, it is necessary to assess the current state of research and practice, in order to provide practitioners with evidence that enable fostering its further development.

Objective

This paper focuses on Testing in SPL and has the following goals: investigate state-of-the-art testing practices, synthesize available evidence, and identify gaps between required techniques and existing approaches, available in the literature.

Method

A systematic mapping study was conducted with a set of nine research questions, in which 120 studies, dated from 1993 to 2009, were evaluated.

Results

Although several aspects regarding testing have been covered by single-system development approaches, many cannot be directly applied in the SPL context due to specific issues. In addition, particular aspects regarding SPL are not covered by the existing SPL approaches, and when the aspects are covered, the literature just gives brief overviews. This scenario indicates that additional investigation, empirical and practical, should be performed.

Conclusion

The results can help to understand the needs in SPL Testing, by identifying points that still require additional investigation, since important aspects regarding particular points of software product lines have not been addressed yet.     

A strategy for allowing meaningful and comparable scores in approximate matching

Approximate data matching aims at assessing whether two distinct instances of data represent the same real-world object. The comparison between data values is usually done by applying a similarity function which returns a similarity score. If this score surpasses a given threshold, both data instances are considered as representing the same real-world object. These score values depend on the algorithm that implements the function and have no meaning to the user. In addition, score values generated by different functions are not comparable. This will potentially lead to problems when the scores returned by different similarity functions need to be combined for computing the similarity between records. In this article, we propose that thresholds should be defined in terms of the precision that is expected from the matching process rather than in terms of the raw scores returned by the similarity function. Precision is a widely known similarity metric and has a clear interpretation from the user's point of view. Our approach defines mappings from score values to precision values, which we call adjusted scores. In order to obtain such mappings, our approach requires training over a small dataset. Experiments show that training can be reused for different datasets on the same domain. Our results also demonstrate that existing methods for combining scores for computing the similarity between records may be enhanced if adjusted scores are used.     

The use of ‘exploratory learning’ for supporting immersive learning in virtual environments

User interfaces are becoming more intuitive following the requirements of the individual learner and reinforcing the drive towards more personalised learning and greater learner autonomy. There are clearly a new set of challenges emerging for teaching practitioners that will have implications upon not just what is learned but importantly upon lesson planning. This paper explores these changes to teaching through a consideration of an exploratory learning model which allows practitioners to rethink how they teach in 3D and immersive spaces where learning sequences and experiences are choreographed to support peer interactions and exchanges. The ELM extends from Kolb’s experiential learning model to adapt the use of 3D applications, and provides examples from research and development projects to exemplify how the model works in practice. Teaching in these contexts provides less emphasis upon curriculum and more emphasis upon sequencing learning experiences, meta-reflection, peer assessment and group work.     

Sources and nature of secondary school teachers’ education in computer-related ergonomics

Teachers’ knowledge of computer-related ergonomics in education will have an effect on the learning process and the work practices of their students. However little is known about teacher education in this area. The study aimed to investigate the sources and nature of secondary school teachers’ education about computer-related ergonomics. It also investigated the use of computers by secondary school children. The study included all secondary schools in the Republic of Ireland. The findings suggest that computers are widely available and are used frequently by students and teachers. However, there is evidence that teachers are not receiving information on computer-related ergonomics. Teachers were generally dissatisfied with this and would welcome information on the subject. The study discusses the implications of the findings and makes recommendations to meet the needs of the teachers.     

Featherweight Java with dynamic and static overloading

We propose FMJ (Featherweight Multi Java), an extension of Featherweight Java with encapsulated multi-methods thus providing dynamic overloading. Multi-methods (collections of overloaded methods associated to the same message, whose selection takes place dynamically instead of statically as in standard overloading) are a useful and flexible mechanism which enhances re-usability and separation of responsibilities. However, many mainstream languages, such as, e.g., Java, do not provide it, resorting to only static overloading.The proposed extension is conservative and type safe: both “message-not-understood” and “message-ambiguous” are statically ruled out. Possible ambiguities are checked during type checking only on method invocation expressions, without requiring to inspect all the classes of a program. A static annotation with type information guarantees that in a well-typed program no ambiguity can arise at run-time. This annotation mechanism also permits modeling static overloading in a smooth way.Our core language can be used as the formal basis for an actual implementation of dynamic (and static) overloading in Java-like languages.