A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty

Dynamically adaptive systems (DASs) are intended to monitor the execution environment and then dynamically adapt their behavior in response to changing environmental conditions. The uncertainty of the execution environment is a major motivation for dynamic adaptation; it is impossible to know at development time all of the possible combinations of environmental conditions that will be encountered. To date, the work performed in requirements engineering for a DAS includes requirements monitoring and reasoning about the correctness of adaptations, where the DAS requirements are assumed to exist. This paper introduces a goal-based modeling approach to develop the requirements for a DAS, while explicitly factoring uncertainty into the process and resulting requirements. We introduce a variation of threat modeling to identify sources of uncertainty and demonstrate how the RELAX specification language can be used to specify more flexible requirements within a goal model to handle the uncertainty. © 2009 Springer Berlin Heidelberg.

RELAX:incorporating uncertainty into the specification of self-adaptive systems

Self-adaptive systems have the capability to autonomously modify their behaviour at run-time in response to changes in their environment. Self-adaptation is particularly necessary for applications that must run continuously, even under adverse conditions and changing requirements; sample domains include automotive systems, telecommunications, and environmental monitoring systems. While a few techniques have been developed to support the monitoring and analysis of requirements for adaptive systems, limited attention has been paid to the actual creation and specification of requirements of self-adaptive systems. As a result, self-adaptivity is often constructed in an ad-hoc manner. In this paper, we argue that a more rigorous treatment of requirements explicitly relating to self-adaptivity is needed and that, in particular, requirements languages for self-adaptive systems should include explicit constructs for specifying and dealing with the uncertainty inherent in self-adaptive systems. We present RELAX, a new requirements language for selfadaptive systems and illustrate it using examples from the smart home domain. © 2009 IEEE.

The madness that is the world:young activists' emotional reasoning and their participation in a local Occupy movement

The focus of this paper is young people’s participation in the Occupy protest movement that emerged in the early autumn of 2011. Its concern is with the emotional dimensions of this and in particular the significance of emotions to the reasoning of young people who came to commit significant time and energy to the movement. Its starting point is the critique of emotions as narrowly subjective, whereby the passions that events like Occupy arouse are treated as beyond the scope of human reason. The rightful rejection of this reductionist argument has given rise to an interest in under- standings of the emotional content of social and political protest as normatively con- stituted, but this paper seeks a different perspective by arguing that the emotions of Occupy activists can be regarded as a reasonable force. It does so by discussing find- ings from long-term qualitative research with a Local Occupy movement somewhere in England and Wales. Using the arguments of social realists, the paper explores this data to examine why things matter sufficiently for young people to care about them and how the emotional force that this involves constitutes an indispensable source of reason in young activists’ decisions to become involved in Local Occupy.

Describing and communicating uncertainty within the semantic web

The Semantic Web relies on carefully structured, well defined, data to allow machines to communicate and understand one another. In many domains (e.g. geospatial) the data being described contains some uncertainty, often due to incomplete knowledge; meaningful processing of this data requires these uncertainties to be carefully analysed and integrated into the process chain. Currently, within the SemanticWeb there is no standard mechanism for interoperable description and exchange of uncertain information, which renders the automated processing of such information implausible, particularly where error must be considered and captured as it propagates through a processing sequence. In particular we adopt a Bayesian perspective and focus on the case where the inputs / outputs are naturally treated as random variables. This paper discusses a solution to the problem in the form of the Uncertainty Markup Language (UncertML). UncertML is a conceptual model, realised as an XML schema, that allows uncertainty to be quantified in a variety of ways i.e. realisations, statistics and probability distributions. UncertML is based upon a soft-typed XML schema design that provides a generic framework from which any statistic or distribution may be created. Making extensive use of Geography Markup Language (GML) dictionaries, UncertML provides a collection of definitions for common uncertainty types. Containing both written descriptions and mathematical functions, encoded as MathML, the definitions within these dictionaries provide a robust mechanism for defining any statistic or distribution and can be easily extended. Universal Resource Identifiers (URIs) are used to introduce semantics to the soft-typed elements by linking to these dictionary definitions. The INTAMAP (INTeroperability and Automated MAPping) project provides a use case for UncertML. This paper demonstrates how observation errors can be quantified using UncertML and wrapped within an Observations & Measurements (O&M) Observation. The interpolation service uses the information within these observations to influence the prediction outcome. The output uncertainties may be encoded in a variety of UncertML types, e.g. a series of marginal Gaussian distributions, a set of statistics, such as the first three marginal moments, or a set of realisations from a Monte Carlo treatment. Quantifying and propagating uncertainty in this way allows such interpolation results to be consumed by other services. This could form part of a risk management chain or a decision support system, and ultimately paves the way for complex data processing chains in the Semantic Web.

Distribution modeling of nonlinear inverse controllers under a Bayesian framework

The inverse controller is traditionally assumed to be a deterministic function. This paper presents a pedagogical methodology for estimating the stochastic model of the inverse controller. The proposed method is based on Bayes' theorem. Using Bayes' rule to obtain the stochastic model of the inverse controller allows the use of knowledge of uncertainty from both the inverse and the forward model in estimating the optimal control signal. The paper presents the methodology for general nonlinear systems and is demonstrated on nonlinear single-input-single-output (SISO) and multiple-input-multiple-output (MIMO) examples. © 2006 IEEE.

Enhancing the performance of intelligent control systems in the face of higher levels of complexity and uncertainty

Modern advances in technology have led to more complex manufacturing processes whose success centres on the ability to control these processes with a very high level of accuracy. Plant complexity inevitably leads to poor models that exhibit a high degree of parametric or functional uncertainty. The situation becomes even more complex if the plant to be controlled is characterised by a multivalued function or even if it exhibits a number of modes of behaviour during its operation. Since an intelligent controller is expected to operate and guarantee the best performance where complexity and uncertainty coexist and interact, control engineers and theorists have recently developed new control techniques under the framework of intelligent control to enhance the performance of the controller for more complex and uncertain plants. These techniques are based on incorporating model uncertainty. The newly developed control algorithms for incorporating model uncertainty are proven to give more accurate control results under uncertain conditions. In this paper, we survey some approaches that appear to be promising for enhancing the performance of intelligent control systems in the face of higher levels of complexity and uncertainty.

Cooperation under incomplete contracting

We examine the notion of the core when cooperation takes place in a setting with time and uncertainty. We do so in a two-period general equilibrium setting with incomplete markets. Market incompleteness implies that players cannot make all possible binding commitments regarding their actions at different date-events. We unify various treatments of dynamic core concepts existing in the literature. This results in definitions of the Classical Core, the Segregated Core, the Two-stage Core, the Strong Sequential Core, and the Weak Sequential Core. Except for the Classical Core, all these concepts can be defined by requiring absence of blocking in period 0 and at any date-event in period 1. The concepts only differ with respect to the notion of blocking in period 0. To evaluate these concepts, we study three market structures in detail: strongly complete markets, incomplete markets in finance economies, and incomplete markets in settings with multiple commodities.

A válság mint negatív információ és bizonytalansági tényező. A válság hatása az egy részvényre jutó nyereség-előrejelzésekre (The financial crisis as negative information and a factor of uncertainty. Analysing the EPS forecasting error in Hungary and Austria)

A szerző a 2008-ban kezdődött gazdasági világválság hatását vizsgálja az egy részvényre jutó nyereség előrejelzésének hibájára. Számos publikáció bizonyította, hogy az elemzők a tényértékeknél szisztematikusan kedvezőbb tervértéket adnak meg az egy részvényre jutó előrejelzéseikben. Más vizsgálatok azt igazolták, hogy az egy részvényre jutó előrejelzési hiba bizonytalan környezetben növekszik, míg arra is számos bizonyítékot lehet találni, hogy a negatív hírek hatását az elemzők alulsúlyozzák. A gazdasági világválság miatt az elemzőknek számtalan negatív hírt kellett figyelembe venniük az előrejelzések készítésekor, továbbá a válság az egész gazdaságban jelentősen növelte a bizonytalanságot. A szerző azt vizsgálja, hogy miként hatott a gazdasági világválság az egy részvényre jutó nyereség- előrejelzés hibájára, megkülönböztetve azt az időszakot, amíg a válság negatív hír volt, attól, amikor már hatásaként jelentősen megnőtt a bizonytalanság. _____ The author investigated the impact of the financial crisis that started in 2008 on the forecasting error for earnings per share. There is plentiful evidence from the 1980s that analysts give systematically more favourable values in their earnings per share (EPS) forecasts than reality, i.e. they are generally optimistic. Other investigations have supported the idea that the EPS forecasting error is greater under uncertain environmental circumstances, while other researchers prove that the analysts under-react to the negative information in their forecasts. The financial crisis brought a myriad of negative information for analysts to consider in such forecasts, while also increasing the level of uncertainty for the entire economy. The article investigates the impact of the financial crisis on the EPS forecasting error, distinguishing the period when the crisis gave merely negative information, from the one when its effect of uncertainty was significantly increased over the entire economy.

Structural Health Monitoring using Index Based Reasoning for Unmanned Aerial Vehicles

Unmanned Aerial Vehicles (UAVs) may develop cracks, erosion, delamination or other damages due to aging, fatigue or extreme loads. Identifying these damages is critical for the safe and reliable operation of the systems. ^ Structural Health Monitoring (SHM) is capable of determining the conditions of systems automatically and continually through processing and interpreting the data collected from a network of sensors embedded into the systems. With the desired awareness of the systems’ health conditions, SHM can greatly reduce operational cost and speed up maintenance processes. ^ The purpose of this study is to develop an effective, low-cost, flexible and fault tolerant structural health monitoring system. The proposed Index Based Reasoning (IBR) system started as a simple look-up-table based diagnostic system. Later, Fast Fourier Transformation analysis and neural network diagnosis with self-learning capabilities were added. The current version is capable of classifying different health conditions with the learned characteristic patterns, after training with the sensory data acquired from the operating system under different status. ^ The proposed IBR systems are hierarchy and distributed networks deployed into systems to monitor their health conditions. Each IBR node processes the sensory data to extract the features of the signal. Classifying tools are then used to evaluate the local conditions with health index (HI) values. The HI values will be carried to other IBR nodes in the next level of the structured network. The overall health condition of the system can be obtained by evaluating all the local health conditions. ^ The performance of IBR systems has been evaluated by both simulation and experimental studies. The IBR system has been proven successful on simulated cases of a turbojet engine, a high displacement actuator, and a quad rotor helicopter. For its application on experimental data of a four rotor helicopter, IBR also performed acceptably accurate. The proposed IBR system is a perfect fit for the low-cost UAVs to be the onboard structural health management system. It can also be a backup system for aircraft and advanced Space Utility Vehicles. ^

Integrated sensitivity analysis, calibration, and uncertainty propagation analysis approaches for supporting hydrological modeling

The successful performance of a hydrological model is usually challenged by the quality of the sensitivity analysis, calibration and uncertainty analysis carried out in the modeling exercise and subsequent simulation results. This is especially important under changing climatic conditions where there are more uncertainties associated with climate models and downscaling processes that increase the complexities of the hydrological modeling system. In response to these challenges and to improve the performance of the hydrological models under changing climatic conditions, this research proposed five new methods for supporting hydrological modeling. First, a design of experiment aided sensitivity analysis and parameterization (DOE-SAP) method was proposed to investigate the significant parameters and provide more reliable sensitivity analysis for improving parameterization during hydrological modeling. The better calibration results along with the advanced sensitivity analysis for significant parameters and their interactions were achieved in the case study. Second, a comprehensive uncertainty evaluation scheme was developed to evaluate three uncertainty analysis methods, the sequential uncertainty fitting version 2 (SUFI-2), generalized likelihood uncertainty estimation (GLUE) and Parameter solution (ParaSol) methods. The results showed that the SUFI-2 performed better than the other two methods based on calibration and uncertainty analysis results. The proposed evaluation scheme demonstrated that it is capable of selecting the most suitable uncertainty method for case studies. Third, a novel sequential multi-criteria based calibration and uncertainty analysis (SMC-CUA) method was proposed to improve the efficiency of calibration and uncertainty analysis and control the phenomenon of equifinality. The results showed that the SMC-CUA method was able to provide better uncertainty analysis results with high computational efficiency compared to the SUFI-2 and GLUE methods and control parameter uncertainty and the equifinality effect without sacrificing simulation performance. Fourth, an innovative response based statistical evaluation method (RESEM) was proposed for estimating the uncertainty propagated effects and providing long-term prediction for hydrological responses under changing climatic conditions. By using RESEM, the uncertainty propagated from statistical downscaling to hydrological modeling can be evaluated. Fifth, an integrated simulation-based evaluation system for uncertainty propagation analysis (ISES-UPA) was proposed for investigating the effects and contributions of different uncertainty components to the total propagated uncertainty from statistical downscaling. Using ISES-UPA, the uncertainty from statistical downscaling, uncertainty from hydrological modeling, and the total uncertainty from two uncertainty sources can be compared and quantified. The feasibility of all the methods has been tested using hypothetical and real-world case studies. The proposed methods can also be integrated as a hydrological modeling system to better support hydrological studies under changing climatic conditions. The results from the proposed integrated hydrological modeling system can be used as scientific references for decision makers to reduce the potential risk of damages caused by extreme events for long-term water resource management and planning.

BDI reasoning with normative considerations

F. Meneguzzi thanks Fundaç ao de Amparo à Pesquisa do Estado do Rio Grande do Sul (FAPERGS, Brazil) for the financial support through the ACI program (Grant ref. 3541-2551/12-0) and the ARD program (Grant ref. 12/0808-5), as well as Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) through the Universal Call (Grant ref. 482156/2013-9) and PQ fellowship (Grant ref. 306864/2013-4). N. Oren and W.W. Vasconcelos acknowledge the support of the Engineering and Physical Sciences Research Council (EPSRC, UK) within the research project “Scrutable Autonomous Systems” (SAsSY11, Grant ref. EP/J012084/1).

Från nationsbyggare till global marknadsnomad : Om medborgarskap i svensk utbildningspolitik under 1990-talet

I den här avhandlingen är intresset riktat mot svensk utbildningspolitik och medborgarskap. I tider av globalisering, och med ett etablerat svenskt medlemskap i Europeiska unionen, har det nationella policyskapandet kring utbildningens medborgardanande funktion hamnat under ökat tryck. I studien undersöks hur detta hanteras i svensk utbildningspolitik under 1990-talet, en tid som utmärker sig genom betydande förändringar på utbildningsområdet i Sverige. Frågan är, mera precist, vilken riktning för skolans, enligt lag befästa, uppdrag att fostra demokratiska medborgare som utstakas i svensk utbildningspolitik vid denna tid. Genom att fästa vikt vid mål, visioner och motiv som formuleras i utbildningspolitiska 1990-talstexter klarläggs förståelser av medborgarskap som karaktäriserar svensk utbildningspolitik under denna tid. Även en bredare historisk analys görs, ur vilken historiska målsättningar med skolans medborgarfostran som föregår 1990-talets framträder. Studiens syfte är kritiskt. Förståelserna granskas utifrån vad de innesluter och vad de utesluter, vilka möjliga konsekvenser de kan tänkas få för olika individer och grupper i samhället, och om det finns öppningar för tänkbara alternativ. Studien visar på två historiska skiften vad gäller medborgarskapets innehåll och mening i det inhemska policyskapandet. Det första skiftet äger rum under 1990-talets tidiga del. Då bryts en etablerad samhällsbyggande medborgarroll upp, till förmån för andra mera marknadsorienterade medborgarroller. Under 1990-talets senare del, då marknadsorienteringen förstärks i neoliberal riktning, sker ett andra skifte; en historiskt vedertagen gemenskapstanke – nationen – bryts upp som grund för medborgerlig gemenskap. Denna tanke ersätts av en annan som är globaliseringsinriktad, vilken visar sig ha andra inne- och uteslutande mekanismer för olika individer och samhällsgrupper. Utifrån dessa forskningsrön tecknas avslutningsvis några konturer till ett alternativt sätt att tänka kring medborgarskap och gemenskap. Detta alternativ tar form i ambitionen att, i högre grad än vad som blir synligt i svensk utbildningspolitik, resonera kring möjligheter för ett medborgarskap bortom förhandstecknade indelningsgrunder för ett “vi”. Språk som politisk och samhällelig förändringskraft ges en central betydelse i avhandlingen. I analysen av texternas tal om skolans medborgarfostrande roll undersöks pågående politiska motsättningar när det gäller att vinna tal- och tolkningsföreträde till skolans fostransmål. Utgångarna av dessa motsättningar belyses genom tre områden för medborgarfostran som urskilts som centrala; ett politiskt, ett kulturellt samt ett ekonomi- och arbetslivsriktat. Genom dessa har rådande medborgarskapsdiskurser tagit form, ur vilka de utbildningspolitiska förståelserna av medborgarskap gestaltas och diskuteras.

Reasoning about change over time: Actions, events and their effects

This paper presents a new formalism for reasoning about change over time. The formalism derives a clean separation between the notion of states and situations. It allows more flexible temporal causal relationships than do other formalisms for reasoning about causal change, such as the situation calculus and the event calculus. It includes effects that start during, immediately after, or some time after their causes, and which end before, simultaneously with, or after their causes. A formal distinction between actions, action-types and events is proposed, which allows the expression of common-sense causal laws at high level. It is shown how these laws can be used to deduce state change over time at low level, when events occur under certain preconditions hold. Two problems that beset most interval-based temporal systems, i.e., the so-called dividing instant problem and intermingling problem, are absent from the formalism.

Foreign direct investment motives and location decision factors under economic recession: Three cases of Finnish FDI in Portugal

The purpose of this thesis was to study how uncertainty in economic conditions of the FDI host country affects location decision of an investment, and what kinds of motives are behind the investment decision to a country in economic recession, in this case Portugal. The country has attracted foreign direct investment steadily, but it is evident that most multinational firms and investors tend to be more interested in emerging economies in general. The aim was to find out also which host country specific advantages are important in this kind of cross-border investment and which factors are important for an FDI to succeed under economic uncertainty at the host country. The study was done by analyzing three Finnish case companies: a private equity and real estate investment firm Pontos Group, A wave energy technology research and development company AW Energy and NSN, Nokia Solutions and Networks, a global telecommunications company. The research was done empirically, by interviewing experts on the subject, mainly persons representing these companies. In addition relevant articles, journals and content from case companies’ web-pages is used for the desk research regarding the topic. The results of this thesis showed that the FDIs with strategic asset-seeking investments seem most profitable FDI types under uncertain economic conditions. This kind of investments aim to strengthen the company’s long-term strategy, including the time after recession. Firm-specific ownership advantages that bring competitive advantage proved out to be important under these circumstances, as well as first-mover advantages and externally created assets such as government promotional policies regarding FDI incentives. Also the location was considered suitable for resource- or efficiency seeking motives, based on the lowered price level at the host country. Problems were related mainly to financing, but as foreign companies receive financing usually from their home countries, the economic recession of the host country does not have significant effect for FDI decision, according to this study

A Survey of the Relationship between Climatic Heat Stress Indices and Fundamental Milk Components Considering Uncertainty

The main purpose of this study is to assess the relationship between four bioclimatic indices for cattle (environmental stress, heat load, modified heat load, and respiratory rate predictor indices) and three main milk components (fat, protein, and milk yield) considering uncertainty. The climate parameters used to calculate the climate indices were taken from the NASA-Modern Era Retrospective-Analysis for Research and Applications (NASA-MERRA) reanalysis from 2002 to 2010. Cow milk data were considered for the same period from April to September when the cows use the natural pasture. The study is based on a linear regression analysis using correlations as a summarizing diagnostic. Bootstrapping is used to represent uncertainty information in the confidence intervals. The main results identify an interesting relationship between the milk compounds and climate indices under all climate conditions. During spring, there are reasonably high correlations between the fat and protein concentrations vs. the climate indices, whereas there are insignificant dependencies between the milk yield and climate indices. During summer, the correlation between the fat and protein concentrations with the climate indices decreased in comparison with the spring results, whereas the correlation for the milk yield increased. This methodology is suggested for studies investigating the impacts of climate variability/change on food and agriculture using short term data considering uncertainty.