An aspect-oriented and model-driven approach for managing dynamic variability

Constructing and executing distributed systems that can adapt to their operating context in order to sustain provided services and the service qualities are complex tasks. Managing adaptation of multiple, interacting services is particularly difficult since these services tend to be distributed across the system, interdependent and sometimes tangled with other services. Furthermore, the exponential growth of the number of potential system configurations derived from the variabilities of each service need to be handled. Current practices of writing low-level reconfiguration scripts as part of the system code to handle run time adaptation are both error prone and time consuming and make adaptive systems difficult to validate and evolve. In this paper, we propose to combine model driven and aspect oriented techniques to better cope with the complexities of adaptive systems construction and execution, and to handle the problem of exponential growth of the number of possible configurations. Combining these techniques allows us to use high level domain abstractions, simplify the representation of variants and limit the problem pertaining to the combinatorial explosion of possible configurations. In our approach we also use models at runtime to generate the adaptation logic by comparing the current configuration of the system to a composed model representing the configuration we want to reach. © 2008 Springer-Verlag Berlin Heidelberg.

Fabrication of high aspect ratio microfluidic devices using direct FS ablation

We present a single stage direct fs ablation results which show that it is possible to make high quality and high aspect ratio devices in a single stage process using a CAD optimised approach.

Bifurcation study for a vertical channel with constant flux and large aspect ratio

Using suitable coupled Navier-Stokes Equations for an incompressible Newtonian fluid we investigate the linear and non-linear steady state solutions for both a homogeneously and a laterally heated fluid with finite Prandtl Number (Pr=7) in the vertical orientation of the channel. Both models are studied within the Large Aspect Ratio narrow-gap and under constant flux conditions with the channel closed. We use direct numerics to identify the linear stability criterion in parametric terms as a function of Grashof Number (Gr) and streamwise infinitesimal perturbation wavenumber (making use of the generalised Squire’s Theorem). We find higher harmonic solutions at lower wavenumbers with a resonance of 1:3exist, for both of the heating models considered. We proceed to identify 2D secondary steady state solutions, which bifurcate from the laminar state. Our studies show that 2D solutions are found not to exist in certain regions of the pure manifold, where we find that 1:3 resonant mode 2D solutions exist, for low wavenumber perturbations. For the homogeneously heated fluid, we notice a jump phenomenon existing between the pure and resonant mode secondary solutions for very specific wavenumbers .We attempt to verify whether mixed mode solutions are present for this model by considering the laterally heated model with the same geometry. We find mixed mode solutions for the laterally heated model showing that a bridge exists between the pure and 1:3 resonant mode 2D solutions, of which some are stationary and some travelling. Further, we show that for the homogeneously heated fluid that the 2D solutions bifurcate in hopf bifurcations and there exists a manifold where the 2D solutions are stable to Eckhaus criterion, within this manifold we proceed to identify 3D tertiary solutions and find that the stability for said 3D bifurcations is not phase locked to the 2D state. For the homogeneously heated model we identify a closed loop within the neutral stability curve for higher perturbation wavenumubers and analyse the nature of the multiple 2D bifurcations around this loop for identical wavenumber and find that a temperature inversion occurs within this loop. We conclude that for a homogeneously heated fluid it is possible to have abrup ttransitions between the pure and resonant 2D solutions, and that for the laterally heated model there exist a transient bifurcation via mixed mode solutions.

A critical analysis of the 'amyloid cascade hypothesis'

The 'amyloid cascade hypothesis' (ACH) is the most influential model of the pathogenesis of Alzheimer's disease (AD). The hypothesis proposes that the deposition of β-amyloid (Aβ) is the initial pathological event in AD, leading to the formation of extracellular senile plaques (SP), tau-immunoreactive neurofibrillary tangles (NFT), neuronal loss, and ultimately, clinical dementia. Ever since the formulation of the ACH, however, there have been questions regarding whether it completely describes AD pathogenesis. This review critically examines various aspects of the ACH including its origin and development, the role of amyloid precursor protein (APP), whether SP and NFT are related to the development of clinical dementia, whether Aβ and tau are 'reactive' proteins, and whether there is a pathogenic relationship between SP and NFT. The results of transgenic experiments and treatments for AD designed on the basis of the ACH are also reviewed. It was concluded: (1) Aβ and tau could be the products rather than the cause of neuro-degeneration in AD, (2) it is doubtful whether there is a direct causal link between Aβ and tau, and (3) SP and NFT may not be directly related to the development of dementia, (4) transgenic models involving APP alone do not completely replicate AD pathology, and (5) treatments based on the ACH have been unsuccessful. Hence, a modification of the ACH is proposed which may provide a more complete explanation of the pathogenesis of AD.

An aspect oriented performance analysis environment

AOSD'03 Practitioner Report Performance analysis is motivated as an ideal domain for benefiting from the application of Aspect Oriented (AO) technology. The experience of a ten week project to apply AO to the performance analysis domain is described. We show how all phases of a performance analysts’ activities – initial profiling, problem identification, problem analysis and solution exploration – were candidates for AO technology assistance – some being addressed with more success than others. A Profiling Workbench is described that leverages the capabilities of AspectJ, and delivers unique capabilities into the hands of developers exploring caching opportunities.

General Aspects of Constructing an Autonomous Adaptive Agent

There are a great deal of approaches in artificial intelligence, some of them also coming from biology and neirophysiology. In this paper we are making a review, discussing many of them, and arranging our discussion around the autonomous agent research. We highlight three aspect in our classification: type of abstraction applied for representing agent knowledge, the implementation of hypothesis processing mechanism, allowed degree of freedom in behaviour and self-organizing. Using this classification many approaches in artificial intelligence are evaluated. Then we summarize all discussed ideas and propose a series of general principles for building an autonomous adaptive agent.

On Statistical Hypothesis Testing via Simulation Method

A procedure for calculating critical level and power of likelihood ratio test, based on a Monte-Carlo simulation method is proposed. General principles of software building for its realization are given. Some examples of its application are shown.

Riemann's Hypothesis

Riemann’s memoir is devoted to the function π(x) defined as the number of prime numbers less or equal to the real and positive number x. This is really the fact, but the “main role” in it is played by the already mentioned zeta-function.

The discursive construction of evidence in police interviews:case study of a rape suspect

This article presents an analysis of the discursive construction of evidence in an English police interview with a rape suspect. The analytic findings differ from previous research on police–suspect interview discourse, in that here the interviewers actively lead an interviewee to produce defence evidence. The article seeks to make the following contributions: (i) it demonstrates the interactional mechanisms through which the interviewers co-construct the interviewee’s own version of events, and highlights the potential legal ramifications by focusing on the construction of one key evidential aspect, namely, consent; (ii) it lends weight to the hypothesis that interviewer agendas are strongly determinative of interview outcomes in terms of the evidential account produced, while making the important new contribution of showing that this is not simply a case of police interviewers being inevitably prosecution-focused; and (iii) it aims to provoke further investigation into the significance of interviewer discursive influence in cases where consent is at issue, against a backdrop of increasing numbers of rape cases being discontinued by the police at this early stage of the criminal justice process.

Fabrication of high aspect ratio microfluidic devices using direct fs ablation

We present a single stage direct fs ablation results which show that it is possible to make high quality and high aspect ratio devices in a single stage process using a CAD optimised approach. © 2008 Optical Society of America.

Négy jellegzetesség. A magyar fejlődés politikai gazdaságtani megközelítésben. 1. rész = Four characteristic features. Development in Hungary from the aspect of political economy. First Part

A két részből álló cikk a magyarországi reformfolyamat és posztszocialista átalakulás négy olyan jellegzetességét emeli ki, amelyek megszakítás nélkül, a politikai szférában bekövetkezett rendszerváltást követően is, folyamatosan jellemezték az elmúlt harminc év fejlődését: a lakosság anyagi jólétének prioritása, erős paternalista jóléti állam, a reformfolyamat és átmenet fokozatossága és a politikai nyugalom. Az 1995. március 12­én bejelentett stabilizációs program - amennyiben megvalósul - jelenthet elmozdulást ezektől a jellegzetességektől. A cikk politikai gazdaságtani megközelítésben vizsgálja, hogy miért alakult ki ez a négy jellegzetesség, miképpen hatottak azok egymásra, milyen kedvező és kedvezőtlen hatásokat fejtettek ki. Az első rész az 1956­os forradalom hatásából kiindulva politikatörténeti áttekintést ad, majd a mai jólét, biztonság és nyugalom prioritását és a társadalmi adósság felhalmozódását, végül a stabilizációs program gazdasági és politikai hatásait elemzi. / === / The article, consisting of two parts, emphasizes four characteristic features of the Hungarian reform process and the post­socialist transformation, which, uninterruptedly, characterized the development over the last thirty years, even after the systemic change in the political sphere. These were: priority of the material welfare of the population, a strong, paternalistic welfare state, the gradual progress of the reform process and the transition, as well as political calmness. The stabilization programme, announced on March 12,1995, may imply - if it materializes - a shift away from these characteristics. The article investigates, from the aspect of political economy, why the four characteristic features had developed, how they affected each other and what were their advantageous and disadvantageous impacts. Setting out from the impacts of the 1956 revolution, the first part gives an overview of political history and then analyses the priority of today's welfare, security and calm as well as the accumulation of societal debt and, finally, the economic and political impacts of the stabilization programme.

Négy jellegzetesség. A magyar fejlődés politikai gazdaságtani megközelítésben. 2. rész = Four characteristic features. Development in Hungary from the aspect of political economy - II.

A tulajdonviszonyok és intézmények átalakulását is a fokozatosság, a szerves fejlődés jellemzi; Magyarországon a hosszú reformszocialista fázist a politikai fordulat után sem követte ugrás a piacgazdaság felé, bár az átalakulás felgyorsult. A cikk a fokozatosság érvényesülését az értékesítési stratégia sokféle változatát alkalmazó, burjánzó privatizációban, az új vállalkozások keletkezésének folyamatában, a liberalizálás menetében és a jogi infrastruktúra változásában mutatja be. Elemzi az átmenet során megerősödő korporatista elemek hatását a magyar gazdaságpolitikára. Végül néhány összefoglaló megjegyzést fűz a magyar fejlődéshez a politikai gazdaságtan és a politikai filozófia szemszögéből. Az elmúlt harminc évben a mindenkori kormánynak jól érzékelhető preferenciája volt a radikális intézkedések elodázása, a társadalmi adósság felhalmozódásának vállalása a konfliktusok elkerülése érdekében. A szerző felhívja a figyelmet a különböző nemzedékek eltérő időpreferenciájára és az ezzel kapcsolatos etikai problémákra. Befejezésül a népszerűtlen intézkedéseket az állampolgárok nagy hányadának véleményével szemben is felvállaló kormányzás és a demokrácia viszonyáról szól. / === / Gradualism and organic development also distinguish the transformation of property relations and institutions. Hungary's long reform­socialist phase was not followed, after the political change, by a leap towards a market economy, although the transformation became faster. The article shows how gradualism applies to the proliferating of privatization, with its wide variety of selling strategies, to the foundation process of new firms, to the course of liberalization, and to change in the legal infrastructure. It analyses the effect on Hungarian economic policy of corporatist elements which strengthen during the transition. Finally, it makes some comments summing up Hungarian development in terms of political economy and political philosophy. The government at any time in the last thirty years showed an obvious preference for putting off radical measures and accepting an accumulation of social debt as a way of averting conflict. The article notes differences of time preference between generations and the ethical problems these raise. Finally, it makes remarks on the relationship between democracy and an administration intent on unpopular measures opposed by a high proportion of citizens.

Monetary efficacy in the community level

Hypothesis of the paper is that the monetary room for manoeuvre in the European Community is determined by the institutional and strategic characteristics of the ECB, moreover the financial market environment composed by multi-state community. The methodology of the paper is built on the evaluation of the decision making and strategy of ECB as institutional aspect, and the monetary transmission in national financial markets. In policy evaluation, the monetary targeting is surveyed through HICP, monetary base, central bank rates, exchange rates and treatment of price impacts. The transmission is examined through analysis of structure of the member state’s financial markets.

An aspect-oriented approach to designing role-based access control services

Access control (AC) limits access to the resources of a system only to authorized entities. Given that information systems today are increasingly interconnected, AC is extremely important. The implementation of an AC service is a complicated task. Yet the requirements to an AC service vary a lot. Accordingly, the design of an AC service should be flexible and extensible in order to save development effort and time. Unfortunately, with conventional object-oriented techniques, when an extension has not been anticipated at the design time, the modification incurred by the extension is often invasive. Invasive changes destroy design modularity, further deteriorate design extensibility, and even worse, they reduce product reliability. ^ A concern is crosscutting if it spans multiple object-oriented classes. It was identified that invasive changes were due to the crosscutting nature of most unplanned extensions. To overcome this problem, an aspect-oriented design approach for AC services was proposed, as aspect-oriented techniques could effectively encapsulate crosscutting concerns. The proposed approach was applied to develop an AC framework that supported role-based access control model. In the framework, the core role-based access control mechanism is given in an object-oriented design, while each extension is captured as an aspect. The resulting framework is well-modularized, flexible, and most importantly, supports noninvasive adaptation. ^ In addition, a process to formalize the aspect-oriented design was described. The purpose is to provide high assurance for AC services. Object-Z was used to specify the static structure and Predicate/Transition net was used to model the dynamic behavior. Object-Z was extended to facilitate specification in an aspect-oriented style. The process of formal modeling helps designers to enhance their understanding of the design, hence to detect problems. Furthermore, the specification can be mathematically verified. This provides confidence that the design is correct. It was illustrated through an example that the model was ready for formal analysis. ^

Tests of the Intersensory Redundancy Hypothesis across early postnatal development

The Intersensory Redundancy Hypothesis (IRH; Bahrick & Lickliter, 2000, 2002, 2012) predicts that early in development information presented to a single sense modality will selectively recruit attention to modality-specific properties of stimulation and facilitate learning of those properties at the expense of amodal properties (unimodal facilitation). Vaillant (2010) demonstrated that bobwhite quail chicks prenatally exposed to a maternal call alone (unimodal stimulation) are able to detect a pitch change, a modality-specific property, in subsequent postnatal testing between the familiarized call and the same call with altered pitch. In contrast, chicks prenatally exposed to a maternal call paired with a temporally synchronous light (redundant audiovisual stimulation) were unable to detect a pitch change. According to the IRH (Bahrick & Lickliter, 2012), as development proceeds and the individual's perceptual abilities increase, the individual should detect modality-specific properties in both nonredundant, unimodal and redundant, bimodal conditions. However, when the perceiver is presented with a difficult task, relative to their level of expertise, unimodal facilitation should become evident. The first experiment of the present study exposed bobwhite quail chicks 24 hr after hatching to unimodal auditory, nonredundant audiovisual, or redundant audiovisual presentations of a maternal call for 10min/hr for 24 hours. All chicks were subsequently tested 24 hr after the completion of the stimulation (72 hr following hatching) between the familiarized maternal call and the same call with altered pitch. Chicks from all experimental groups (unimodal, nonredundant audiovisual, and redundant audiovisual exposure) significantly preferred the familiarized call over the pitch-modified call. The second experiment exposed chicks to the same exposure conditions, but created a more difficult task by narrowing the pitch range between the two maternal calls with which they were tested. Chicks in the unimodal and nonredundant audiovisual conditions demonstrated detection of the pitch change, whereas the redundant audiovisual exposure group did not show detection of the pitch change, providing evidence of unimodal facilitation. These results are consistent with predictions of the IRH and provide further support for the effects of unimodal facilitation and the role of task difficulty across early development.