The role of models@run.time in supporting on-the-fly interoperability

Models at runtime can be defined as abstract representations of a system, including its structure and behaviour, which exist in tandem with the given system during the actual execution time of that system. Furthermore, these models should be causally connected to the system being modelled, offering a reflective capability. Significant advances have been made in recent years in applying this concept, most notably in adaptive systems. In this paper we argue that a similar approach can also be used to support the dynamic generation of software artefacts at execution time. An important area where this is relevant is the generation of software mediators to tackle the crucial problem of interoperability in distributed systems. We refer to this approach as emergent middleware, representing a fundamentally new approach to resolving interoperability problems in the complex distributed systems of today. In this context, the runtime models are used to capture meta-information about the underlying networked systems that need to interoperate, including their interfaces and additional knowledge about their associated behaviour. This is supplemented by ontological information to enable semantic reasoning. This paper focuses on this novel use of models at runtime, examining in detail the nature of such runtime models coupled with consideration of the supportive algorithms and tools that extract this knowledge and use it to synthesise the appropriate emergent middleware.

Developing and leveraging human capital resource to promote service quality:testing a theory of performance

Grounded in Vroom’s motivational framework of performance, we examine the interactive influence of collective human capital (ability) and aggregated service orientation (motivation) on the cross-level relationship between high-performance work systems (HPWS) and individual-level service quality. Results of hierarchical linear modeling (HLM) revealed that HPWS related to collective human capital and aggregated service orientation, which in turn related to individual-level service quality. Furthermore, both HLM and ordinary least squares regression analyses revealed a cross-level interaction effect of collective human capital and aggregated service orientation such that high levels of collective human capital and aggregated service orientation influence individual-level service quality.

Asymptotic theory of wall-attached convection in a horizontal fluid layer with a vertical magnetic field

A horizontal fluid layer heated from below in the presence of a vertical magnetic field is considered. A simple asymptotic analysis is presented which demonstrates that a convection mode attached to the side walls of the layer sets in at Rayleigh numbers much below those required for the onset of convection in the bulk of the layer. The analysis complements an earlier analysis by Houchens [J. Fluid Mech. 469, 189 (2002)] which derived expressions for the critical Rayleigh number for the onset of convection in a vertical cylinder with an axial magnetic field in the cases of two aspect ratios. © 2008 American Institute of Physics.

Using the Dempster-Shafer theory of evidence to resolve ABox inconsistencies

Automated ontology population using information extraction algorithms can produce inconsistent knowledge bases. Confidence values assigned by the extraction algorithms may serve as evidence in helping to repair inconsistencies. The Dempster-Shafer theory of evidence is a formalism, which allows appropriate interpretation of extractors’ confidence values. This chapter presents an algorithm for translating the subontologies containing conflicts into belief propagation networks and repairing conflicts based on the Dempster-Shafer plausibility.

TEST:a tropic, embodied, and situated theory of cognition

TEST is a novel taxonomy of knowledge representations based on three distinct hierarchically organized representational features: Tropism, Embodiment, and Situatedness. Tropic representational features reflect constraints of the physical world on the agent's ability to form, reactivate, and enrich embodied (i.e., resulting from the agent's bodily constraints) conceptual representations embedded in situated contexts. The proposed hierarchy entails that representations can, in principle, have tropic features without necessarily having situated and/or embodied features. On the other hand, representations that are situated and/or embodied are likely to be simultaneously tropic. Hence, although we propose tropism as the most general term, the hierarchical relationship between embodiment and situatedness is more on a par, such that the dominance of one component over the other relies on the distinction between offline storage versus online generation as well as on representation-specific properties. © 2013 Cognitive Science Society, Inc.

On the theory of self-similar parabolic optical pulses

Self-similar optical pulses (or “similaritons”) of parabolic intensity profile can be found as asymptotic solutions of the nonlinear Schr¨odinger equation in a gain medium such as a fiber amplifier or laser resonator. These solutions represent a wide-ranging significance example of dissipative nonlinear structures in optics. Here, we address some issues related to the formation and evolution of parabolic pulses in a fiber gain medium by means of semi-analytic approaches. In particular, the effect of the third-order dispersion on the structure of the asymptotic solution is examined. Our analysis is based on the resolution of ordinary differential equations, which enable us to describe the main properties of the pulse propagation and structural characteristics observable through direct numerical simulations of the basic partial differential equation model with sufficient accuracy.

What do people think about when they answer theory of planned behaviour questionnaires? A 'think aloud' study

Two studies aiming to identify the nature and extent of problems that people have when completing theory of planned behaviour (TPB) questionnaires, using a cognitive interviewing approach are reported. Both studies required participants to 'think aloud' as they completed TPB questionnaires about: (a) increasing physical activity (six general public participants); and (b) binge drinking (13 students). Most people had no identifiable problems with the majority of questions. However, there were problems common to both studies, relating to information retrieval and to participants answering different questions from those intended by researchers. Questions about normative influence were particularly problematic. The standard procedure for developing TPB questionnaires may systematically produce problematic questions. Suggestions are made for improving this procedure. Copyright © 2007 SAGE Publications.

Theory of parabolic pulse generation in tapered fiber

We examine similarities and differences between high-power parabolic pulse generation in an active medium and in tapered fiber with decreasing normal dispersion. Using a realistic tapered fiber design, we demonstrate the possibility of parabolic pulse generation without an external pump and determine the limitations of this approach. © 2007 Optical Society of America.

Moderation of cognition-intention and cognition-behaviour relations:a meta-analysis of properties of variables from the theory of planned behaviour

Meta-analysis was used to quantify the moderating effects of seven properties of cognitions-accessibility, temporal stability, direct experience, involvement, certainty, ambivalence and affective-cognitive consistency-on cognition-intention and cognition-behaviour relations. Literature searches revealed 44 studies that could be included in the review. Findings showed that all of the properties, except involvement, moderated attitude-behaviour consistency. Similarly, all relevant moderators improved the consistency between intentions and behaviour. Temporal stability moderated PBC-behaviour relations, certainty moderated subjective norm-intention relations, and ambivalence, certainty, and involvement all moderated attitude-intention relations. Overall, temporal stability appeared to be the strongest moderator of cognition-behaviour relations.

How well does the theory of planned behaviour predict alcohol consumption? A systematic review and meta-analysis

This study aimed to quantify correlations between theory of planned behaviour (TPB) variables and (i) intentions to consume alcohol and (ii) alcohol consumption. Systematic literature searches identified 40 eligible studies that were meta-analysed. Three moderator analyses were conducted: pattern of consumption, gender of participants and age of participants. Across studies, intentions had the strongest relationship with attitudes (r+ = .62), followed by subjective norms (r+ = .47) and perceived behavioural control (PBC; r+ = .31). Self-efficacy (SE) had a stronger relationship with intentions (r+ = .48) compared with perceived control (PC; r+ = −.10). Intention had the strongest relationship with alcohol consumption (r+ = .54), followed by SE (r+ = .41). In contrast, PBC and PC had negative relationships with alcohol consumption (r+ = −.05 and −.13, respectively). All moderators affected TPB relationships. Patterns of consumption with clear definitions had stronger TPB relations, females reported stronger attitude–intention relations than males, and adults reported stronger attitude–intention and SE–intention relations than adolescents. Recommendations for future research include targeting attitudes and intentions in interventions to reduce alcohol consumption, using clear definitions of alcohol consumption in TPB items to improve prediction and assessing SE when investigating risk behaviours.

Theory of optimal power budget in quasi-linear dispersion-managed fibre links

A theory of an optimal distribution of the gain of in-line amplifiers in dispersion-managed transmission systems is developed. As an example of the application of the general method, a design of the line with periodically imbalanced in-line amplification is proposed.

On the theory of autosoliton propagation in optical fibers guided by in-line nonlinear devices

A theoretical model is developed to describe the propagation of ultra-short optical pulses in fiber transmission systems in the quasi-linear regime, with periodically inserted in-line lumped nonlinear optical devices. Stable autosoliton solutions are obtained for a particular application of the general theory.

Theory of hybrid computational and physical measurement-based integration of thermal and dimensional measurement

In dimensional metrology, often the largest source of uncertainty of measurement is thermal variation. Dimensional measurements are currently scaled linearly, using ambient temperature measurements and coefficients of thermal expansion, to ideal metrology conditions at 20˚C. This scaling is particularly difficult to implement with confidence in large volumes as the temperature is unlikely to be uniform, resulting in thermal gradients. A number of well-established computational methods are used in the design phase of product development for the prediction of thermal and gravitational effects, which could be used to a greater extent in metrology. This paper outlines the theory of how physical measurements of dimension and temperature can be combined more comprehensively throughout the product lifecycle, from design through to the manufacturing phase. The Hybrid Metrology concept is also introduced: an approach to metrology, which promises to improve product and equipment integrity in future manufacturing environments. The Hybrid Metrology System combines various state of the art physical dimensional and temperature measurement techniques with established computational methods to better predict thermal and gravitational effects.