A comprehensive solution for application‐level adaptation

Driven by the emergence of mobile and pervasive computing there is a growing demand for context‐aware software systems that can dynamically adapt to their run‐time environment. We present the results of project MADAM that has delivered a comprehensive solution for the development and operation of context‐aware, self‐adaptive applications. The main contributions of MADAM are (a) a sophisticated middleware that supports the dynamic adaptation of component‐based applications, and (b) an innovative model‐driven development methodology that is based on abstract adaptation models and corresponding model‐to‐code transformations. MADAM has demonstrated the viability of a general, integrated approach to application‐level adaptation. We discuss our experiences with two real‐world case studies that were built using the MADAM approach. Copyright © 2008 John Wiley & Sons, Ltd.     

Playing MUSIC — building context‐aware and self‐adaptive mobile applications

Although the idea of context‐awareness was introduced almost two decades ago, few mobile software applications are available today that can sense and adapt to their run‐time environment. The development of context‐aware and self‐adaptive applications is complex and few developers have experience in this area. On the basis of several demonstrators built by the joint European research project MUSIC, this paper describes typical context and adaptation features relevant for the development of context‐aware and self‐adaptive mobile applications. We explain how the demonstrators were realised using the open‐source platform MUSIC and present the feedback of the developers of these demonstrators. The main contribution of this paper is to show how the development complexity of context‐aware and self‐adaptive mobile applications can be mastered by using an adaptation framework such as MUSIC. Copyright © 2012 John Wiley & Sons, Ltd.     

Designing an adaptive computer‐aided ambulance dispatch system with Zanshin: an experience report

We have been witnessing growing interest in systems that can adapt their behavior to deal with deviations between their performance and their requirements at run‐time. Such adaptive systems usually need to support some form of a feedback loop that monitors the system's output for problems and carries out adaptation actions when necessary. Being an important feature, adaptivity needs to be considered in early stages of development. Therefore, adopting a requirements engineering perspective, we have proposed an approach and a framework (both called Zanshin) for the engineering of adaptive systems based on a feedback loop architecture. As part of our framework's evaluation, we have applied the Zanshin approach to the design of an adaptive computer‐aided ambulance dispatch system, whose requirements were based on a well‐known case study from the literature. In this paper, we report on the application of Zanshin for the design of an adaptive computer‐aided ambulance dispatch system, presenting elements of the design, as well as the results from simulations of run‐time scenarios. Copyright © 2013 John Wiley & Sons, Ltd.     

Toward the adaptation of component‐based architectures by model transformation: behind smart user interfaces

Graphical user interfaces are not always developed for remaining static. There are GUIs with the need of implementing some variability mechanisms. Component‐based GUIs are an ideal target for incorporating this kind of operations, because they can adapt their functionality at run‐time when their structure is updated by adding or removing components or by modifying the relationships between them. Mashup user interfaces are a good example of this type of GUI, and they allow to combine services through the assembly of graphical components. We intend to adapt component‐based user interfaces for obtaining smart user interfaces. With this goal, our proposal attempts to adapt abstract component‐based architectures by using model transformation. Our aim is to generate at run‐time a dynamic model transformation, because the rules describing their behavior are not pre‐set but are selected from a repository depending on the context. The proposal describes an adaptation schema based on model transformation providing a solution to this dynamic transformation. Context information is processed to select at run‐time a rule subset from a repository. Selected rules are used to generate, through a higher‐order transformation, the dynamic model transformation. This approach has been tested through a case study which applies different repositories to the same architecture and context. Moreover, a web tool has been developed for validation and demonstration of its applicability. The novelty of our proposal arises from the adaptation schema that creates a non pre‐set transformation, which enables the dynamic adaptation of component‐based architectures. Copyright © 2014 Copyright © 2014 John Wiley & Sons, Ltd.     

Building design‐time and run‐time knowledge for QoS‐based component assembly

Modern software systems are required to dynamically adapt to changing workloads, scenarios, and objectives and to achieve a certain Quality of Service (QoS). Guaranteeing QoS requirements is not trivial, as run‐time uncertainty might invalidate the design‐time rationale, where software components have been selected by means of off‐line analysis. In this work, we propose a QoS‐based feedback approach that makes a combined use of design‐time predictions and run‐time measurements to manage QoS data over time and support software architects while selecting software components that best fit QoS requirements. We illustrate the feasibility and efficacy of the approach on a case study, where the quantitative evaluation shows how the analysis effectively identifies the sources of QoS violations and indicates possible solutions to achieve QoS requirements.     

Game‐Based Simulation for Cross‐Cultural Decision Making Training

Increasing globalization has had a major impact on manufacturing and service industries as well as on coalition operations conducted by the military. What is common to both the commercial and military sectors is the recent surge in interest in cross‐cultural decision making (CCDM) training. Existing CCDM training approaches tend to employ either some form of multi‐agent simulation or some variant of classical game theory. Despite their manifest benefits, these approaches have specific limitations that need to be overcome to create an effective cross‐cultural training system. Multi‐agent simulations typically lack theoretical underpinnings while classical game theory‐based approaches take a limited view of strategic decision making. Specifically, by adopting a Western view of rationality, game‐theoretic approaches fail to accommodate considerations such as fairness, altruism and reciprocity. Empirical research in strategic economic games has shown that humans respond to more than merely monetary incentives. In particular, research has shown that cultural norms play a central role in human decision making behavior, especially in non‐Western cultures. This paper presents an innovative approach to game‐based simulation that combines findings from behavioral game theory with classical game theory and multi‐agent simulation to exploit the strengths of each approach while making learning enjoyable, memorable, and fun. An illustrative game‐based simulation for CCDM training is also presented. The simulation framework is equally applicable to teaching other soft skills as well as skills that are too hazardous or too expensive to teach in the realworld through live exercises. © 2012 Wiley Periodicals, Inc.     

Agents in object‐oriented software engineering

Software engineers of multi‐agent systems (MASs) are faced with different concerns such as autonomy, adaptation, interaction, collaboration, learning, and mobility, which are essentially different from classical concerns addressed in object‐oriented software engineering. MAS developers, however, have relied mostly on object‐oriented design techniques and programming languages, such as Java. This often leads to a poor separation of MAS concerns and in turn to the production of MASs that are difficult to maintain and reuse. This paper discusses software engineering approaches for MASs, and presents a new method for integrating agents into object‐oriented software engineering from an early stage of design. The proposed approach encourages the separate handling of MAS concerns, and provides a disciplined scheme for their composition. Our proposal explores the benefits of aspect‐oriented software development for the incorporation of agents into object‐oriented systems. We also illustrate our aspect‐oriented approach through the Portalware multi‐agent system, a Web‐based environment for the development of e‐commerce portals. Copyright © 2004 John Wiley & Sons, Ltd.     

A Sensitivity‐Based Construction Approach to Variance Minimization of Markov Decision Processes

With a long‐run average performance as the primary criterion for a Markov decision process, variance measures are studied as its secondary criteria. The steady‐state variance and the limiting average variance along a sample path are discussed. The latter one is difficult to handle due to its special form. With a sensitivity‐based approach, the difference formula for the sample‐path variance under different policies is intuitively constructed and then the optimality equation is presented. Moreover a policy iteration algorithm is developed. This work extends the sensitivity‐based construction approach to Markov decision processes with non‐standard performance criteria. The difference between these two types of variance and bias criteria is illustrated with a numerical example.     

The software architecture of a distributed problem‐solving environment

This paper describes the functionality and software architecture of a generic problem‐solving environment (PSE) for collaborative computational science and engineering. A PSE is designed to provide transparent access to heterogeneous distributed computing resources, and is intended to enhance research productivity by making it easier to construct, run, and analyze the results of computer simulations. Although implementation details are not discussed in depth, the role of software technologies such as CORBA, Java, and XML is outlined. An XML‐based component model is presented. The main features of a Visual Component Composition Environment for software development, and an Intelligent Resource Management System for scheduling components, are described. Some prototype implementations of PSE applications are also presented. Copyright © 2000 John Wiley & Sons, Ltd.     

Triangular norm‐based cuts and possibility characteristics of triangular intuitionistic fuzzy numbers for decision making

Triangular intuitionistic fuzzy numbers (TIFNs) is one of the useful tools to manage the fuzziness and vagueness in expressing decision data and solving decision making problems. In this paper, triangular norm (t‐norm) based cuts of TIFNs are developed to synthesize the membership and nonmembership functions in describing the cut sets, then the possibility characteristics of TIFNs, i.e., the possibility mean, the possibility variance, and the possibility mean‐standard deviation ratio, are given. Thereby, on the ground of the possibility mean‐standard deviation ratio, a ranking method of TIFNs is introduced. With these elements, an approach to multiple attributes decision making (MADM) is proposed and illustrated by a numerical example. It is shown that the approach to MADM comprehensively considers both the membership and nonmembership functions and can lead to objective and reasonable results.     

A new digital watermarking evaluation and benchmarking methodology using an external group of evaluators and multi‐criteria analysis based on ‘large‐scale data’

Digital watermarking evaluation and benchmarking are challenging tasks because of multiple evaluation and conflicting criteria. A few approaches have been presented to implement digital watermarking evaluation and benchmarking frameworks. However, these approaches still possess a number of limitations, such as fixing several attributes on the account of other attributes. Well‐known benchmarking approaches are limited to robust watermarking. Therefore, this paper presents a new methodology for digital watermarking evaluation and benchmarking based on large‐scale data by using external evaluators and a group decision making context. Two experiments are performed. In the first experiment, a noise gate‐based digital watermarking approach is developed, and the scheme for the noise gate digital watermarking approach is enhanced. Sixty audio samples from different audio styles are tested with two algorithms. A total of 120 samples were evaluated according to three different metrics, namely, quality, payload, and complexity, to generate a set of digital watermarking samples. In the second experiment, the situation in which digital watermarking evaluators have different preferences is discussed. Weight measurement with a decision making solution is required to solve this issue. The analytic hierarchy process is used to measure evaluator preference. In the decision making solution, the technique for order of preference by similarity to the ideal solution with different contexts (e.g., individual and group) is utilized. Therefore, selecting the proper context with different aggregation operators to benchmark the results of experiment 1 (i.e., digital watermarking approaches) is recommended. The findings of this research are as follows: (1) group and individual decision making provide the same result in this case study. However, in the case of selection where the priority weights are generated from the evaluators, group decision making is the recommended solution to solve the trade‐off reflected in the benchmarking process for digital watermarking approaches. (2) Internal and external aggregations show that the enhanced watermarking approach demonstrates better performance than the original watermarking approach. © 2016 The Authors. Software: Practice and Experience published by John Wiley & Sons Ltd.     

Scalable large‐scale fluid–structure interaction solvers in the Uintah framework via hybrid task‐based parallelism algorithms

Uintah is a software framework that provides an environment for solving fluid–structure interaction problems on structured adaptive grids for large‐scale science and engineering problems involving the solution of partial differential equations. Uintah uses a combination of fluid flow solvers and particle‐based methods for solids, together with adaptive meshing and a novel asynchronous task‐based approach with fully automated load balancing. When applying Uintah to fluid–structure interaction problems, the combination of adaptive meshing and the movement of structures through space present a formidable challenge in terms of achieving scalability on large‐scale parallel computers. The Uintah approach to the growth of the number of core counts per socket together with the prospect of less memory per core is to adopt a model that uses MPI to communicate between nodes and a shared memory model on‐node so as to achieve scalability on large‐scale systems. For this approach to be successful, it is necessary to design data structures that large numbers of cores can simultaneously access without contention. This scalability challenge is addressed here for Uintah, by the development of new hybrid runtime and scheduling algorithms combined with novel lock‐free data structures, making it possible for Uintah to achieve excellent scalability for a challenging fluid–structure problem with mesh refinement on as many as 260K cores. Copyright © 2013 John Wiley & Sons, Ltd.     

Multi‐criteria group decision‐making method based on TODIM with probabilistic interval‐valued hesitant fuzzy information

Probabilistic interval‐valued hesitant fuzzy sets (PIV‐HFSs) are suitable for aggregating information from different groups because the probabilistic information of all the groups can be included by using interval values. Moreover, decision makers (DMs) prefer to use interval values to provide evaluation information. Furthermore, the traditional multi‐criteria group decision‐making (MCGDM) approach has some limitations, such as obtaining the DMs' weights with inappropriate methods and neglecting the interactions amongst the criteria and the psychological characteristics of DMs. Motivated by these research background, the main contents of this study are as follows. First, PIV‐HFSs are proposed, and the convex combination operation is extended into PIV‐HFSs. Second, a hybrid MCGDM approach with PIV‐HFSs is suggested that is based on the maximizing deviation method, fuzzy analytic network process (FANP) and TODIM (an acronym in Portuguese for interactive and multi‐criteria decision‐making model). Third, an evaluation case of health management centres based on the service‐specific failure mode and effect analysis (FMEA) is considered. The results show that the most crucial secondary factor is frequency (0.35775) and that the most serious failure mode is the inaccurate check‐in. The results demonstrate that the proposed model can evaluate service quality effectively and that it performs better than other methods.     

Sum‐of‐Squares‐Based Finite‐Time Adaptive Sliding Mode Control of Uncertain Polynomial Systems With Input Nonlinearities

This paper proposes a novel adaptive sliding mode control (ASMC) for a class of polynomial systems comprising uncertain terms and input nonlinearities. In this approach, a new polynomial sliding surface is proposed and designed based on the sum‐of‐squares (SOS) decomposition. In the proposed method, an adaptive control law is derived such that the finite‐time reachability of the state trajectories in the presence of input nonlinearity and uncertainties is guaranteed. To do this, it is assumed that the uncertain terms are bounded and the input nonlinearities belong to sectors with positive slope parameters. However, the bound of the uncertain terms is unknown and adaptation law is proposed to effectively estimate the uncertainty bounds. Furthermore, based on a novel polynomial Lyapunov function, the finite‐time convergence of the sliding surface to a pre‐chosen small neighborhood of the origin is guaranteed. To eliminate the time derivatives of the polynomial terms in the stability analysis conditions, the SOS variables of the Lyapunov matrix are optimally selected. In order to show the merits and the robust performance of the proposed controller, chaotic Chen system is provided. Numerical simulation results demonstrate chattering reduction in the proposed approach and the high accuracy in estimating the unknown parameters.     

Non‐negative sparse‐based SemiBoost for software defect prediction

Software defect prediction is an important decision support activity in software quality assurance. The limitation of the labelled modules usually makes the prediction difficult, and the class‐imbalance characteristic of software defect data leads to negative influence on decision of classifiers. Semi‐supervised learning can build high‐performance classifiers by using large amount of unlabelled modules together with the labelled modules. Ensemble learning achieves a better prediction capability for class‐imbalance data by using a series of weak classifiers to reduce the bias generated by the majority class. In this paper, we propose a new semi‐supervised software defect prediction approach, non‐negative sparse‐based SemiBoost learning. The approach is capable of exploiting both labelled and unlabelled data and is formulated in a boosting framework. In order to enhance the prediction ability, we design a flexible non‐negative sparse similarity matrix, which can fully exploit the similarity of historical data by incorporating the non‐negativity constraint into sparse learning for better learning the latent clustering relationship among software modules. The widely used datasets from NASA projects are employed as test data to evaluate the performance of all compared methods. Experimental results show that non‐negative sparse‐based SemiBoost learning outperforms several representative state‐of‐the‐art semi‐supervised software defect prediction methods. Copyright © 2016 John Wiley & Sons, Ltd.     

Quasi sliding mode‐based single input fuzzy self‐tuning decoupled fuzzy PI control for robot manipulators with uncertainty

This paper presents a robust adaptive control strategy for robot manipulators, based on the coupling of the fuzzy logic control with the so‐called sliding mode control (SMC) approach. The motivation for using SMC in robotics mainly relies on its appreciable features. However, the drawbacks of the conventional SMC, such as chattering effect and required a priori knowledge of the bounds of uncertainties can be destructive. In this paper, these problems are suitably circumvented by adopting a reduced rule base single input fuzzy self tuning decoupled fuzzy proportional integral sliding mode control approach. In this new approach a decoupled fuzzy proportional integral control is used and a reduced rule base single input fuzzy self‐tuning controller as a supervisory fuzzy system is added to adaptively tune the output control gain of the decoupled fuzzy proportional integral control. Moreover, it is proved that the fuzzy control surface of the single‐input fuzzy rule base is very close to the input/output relation of a straight line. Therefore, a varying output gain decoupled fuzzy proportional integral sliding mode control approach using an approximate line equation is then proposed. The stability of the system is guaranteed in the sense of the Lyapunov theorem. Simulations using the dynamic model of a 3DOF planar manipulator with uncertainties show the effectiveness of the approach in high speed trajectory tracking problems. The simulation results that are compared with the results of conventional SMC indicate that the control performance of the robot system is satisfactory and the proposed approach can achieve favorable tracking performance, and it is robust with regard to uncertainties and disturbances. Copyright © 2011 John Wiley & Sons, Ltd.     

New exponential operational laws and their aggregation operators for interval‐valued Pythagorean fuzzy multicriteria decision‐making

In this article, we define two new exponential operational laws about the interval‐valued Pythagorean fuzzy set (IVPFS) and their corresponding aggregation operators. However, the exponential parameters (weights) of all the existing operational laws of IVPFSs are crisp values in IVPFS decision‐making problems. As a supplement, this paper first introduces new exponential operational laws of IVPFS, where bases are crisp values or interval numbers and exponents are interval‐valued Pythagorean fuzzy numbers. The prominent characteristic of these proposed operations is studied. Based on these laws, we develop some new weighted aggregation operators, namely the interval‐valued Pythagorean fuzzy weighted exponential averaging operator and the dual interval‐valued Pythagorean fuzzy weighted exponential averaging. Finally, a decision‐making approach is presented based on these operators and illustrated with some numerical examples to validate the developed approach.     

Adaptive Physically Based Models in Computer Graphics

One of the major challenges in physically based modelling is making simulations efficient. Adaptive models provide an essential solution to these efficiency goals. These models are able to self‐adapt in space and time, attempting to provide the best possible compromise between accuracy and speed. This survey reviews the adaptive solutions proposed so far in computer graphics. Models are classified according to the strategy they use for adaptation, from time‐stepping and freezing techniques to geometric adaptivity in the form of structured grids, meshes and particles. Applications range from fluids, through deformable bodies, to articulated solids.     

Case‐based approach for supporting strategy decision making

The practice of strategy decision making proves that when the management board is strongly limited in its capacity to take rational actions, specifically in the context of great decision complexity and uncertainty, it is considered good practice to refer to experience through reasoning by analogy. In this paper, we would like to concentrate on supporting strategic decisions in small and medium enterprises (SMEs). The complexity of analogy‐based reasoning has its roots in an attempt to solve new problems based on past cases from a different domain, while we will focus on case‐based approach for a single domain. Additionally, we have chosen case‐based reasoning as a suitable decision‐making paradigm because it is corresponds to managers’ decision‐making behaviour. We present the STRATEGOS case‐based reasoning system for supporting strategic decision making by SMEs management boards and then the system evaluation by the dozens of chief executive officers (CEOs) from SMEs is presented. The results of the survey are promising and show the remarkable correspondence of the proposed solution with expectations and strategic behaviour of CEOs.     

An evolutionary‐based adaptive neuro‐fuzzy inference system for intelligent short‐term load forecasting

The continuing growth in size and complexity of electric power systems requires the development of applicable load forecasting models to estimate the future electrical energy demands accurately. This paper presents a novel load forecasting approach called genetic‐based adaptive neuro‐fuzzy inference system (GBANFIS) to construct short‐term load forecasting expert systems and controllers. At the first stage, all records of data are searched by a novel genetic algorithm (GA) to find the most suitable feature of inputs to construct the model. Then, determined inputs are fed into the adaptive neuro‐fuzzy inference system to evolve the initial knowledge‐base of the expert system. Finally, the initial knowledge‐base is searched by another robust GA to induce a better cooperation among the rules by rule weight derivation and rule selection mechanisms. We show the superiority and applicability of our approach by applying it to the Iranian monthly electrical energy demand problem and comparing it with the most frequently adopted approaches in this field. Results indicate that GBANFIS outperforms its rival approaches and is a promising tool for dealing with short‐term load forecasting problems.