1,004 research outputs found

    An Experimental Scrutiny of Visual Design Modelling: VCL up against UML+OCL

    Get PDF
    The graphical nature of prominent modelling notations, such as the standards UML and SysML, enables them to tap into the cognitive benefits of diagrams. However, these notations hardly exploit the cognitive potential of diagrams and are only partially graphical with invariants and operations being expressed textually. The Visual Contract Language (VCL) aims at improving visual modelling; it tries to (a) maximise diagrammatic cognitive effectiveness, (b) increase visual expressivity, and (c) level of rigour and formality. It is an alternative to UML that does largely pictorially what is traditionally done textually. The paper presents the results of a controlled experiment carried out four times in different academic settings and involving 43 participants, which compares VCL against UML and OCL and whose goal is to provide insight on benefits and limitations of visual modelling. The paper's hypotheses are evaluated using a crossover design with the following tasks: (i) modelling of state space, invariants and operations, (ii) comprehension of modelled problem, (iii) detection of model defects and (iv) comprehension of a given model. Although visual approaches have been used and advocated for decades, this is the first empirical investigation looking into the effects of graphical expression of invariants and operations on modelling and model usage tasks. Results suggest VCL benefits in defect detection, model comprehension, and modelling of operations, providing some empirical evidence on the benefits of graphical software design

    Age-dependent electrocardiographic changes in Pgc-1β deficient murine hearts.

    Get PDF
    Increasing evidence implicates chronic energetic dysfunction in human cardiac arrhythmias. Mitochondrial impairment through Pgc-1β knockout is known to produce a murine arrhythmic phenotype. However, the cumulative effect of this with advancing age and its electrocardiographic basis have not been previously studied. Young (12-16 weeks) and aged (>52 weeks), wild type (WT) (n = 5 and 8) and Pgc-1β-/- (n = 9 and 6), mice were anaesthetised and used for electrocardiographic (ECG) recordings. Time intervals separating successive ECG deflections were analysed for differences between groups before and after β1-adrenergic (intraperitoneal dobutamine 3 mg/kg) challenge. Heart rates before dobutamine challenge were indistinguishable between groups. The Pgc-1β-/- genotype however displayed compromised nodal function in response to adrenergic challenge. This manifested as an impaired heart rate response suggesting a functional defect at the level of the sino-atrial node, and a negative dromotropic response suggesting an atrioventricular conduction defect. Incidences of the latter were most pronounced in the aged Pgc-1β-/- mice. Moreover, Pgc-1β-/- mice displayed electrocardiographic features consistent with the existence of a pro-arrhythmic substrate. Firstly, ventricular activation was prolonged in these mice consistent with slowed action potential conduction and is reported here for the first time. Additionally, Pgc-1β-/- mice had shorter repolarisation intervals. These were likely attributable to altered K+ conductance properties, ultimately resulting in a shortened QTc interval, which is also known to be associated with increased arrhythmic risk. ECG analysis thus yielded electrophysiological findings bearing on potential arrhythmogenicity in intact Pgc-1β-/- systems in widespread cardiac regions

    Tachycardia as "Shadow Play"

    Get PDF

    MODELFY: A Model-driven Solution for Decision Making based on Fuzzy Information

    Get PDF
    There exist areas, such as the disease prevention or inclement weather protocols, in which the analysis of the information based on strict protocols require a high level of rigor and security. In this situation, it would be desirable to apply formal methodologies that provide these features. In this scope, recently, it has been proposed a formalism, fuzzy automaton, that captures two relevant aspects for fuzzy information analysis: imprecision and uncertainty. However, the models should be designed by domain experts, who have the required knowledge for the design of the processes, but do not have the necessary technical knowledge. To address this limitation, this paper proposes MODELFY, a novel model-driven solution for designing a decision-making process based on fuzzy automata that allows users to abstract from technical complexities. With this goal in mind, we have developed a framework for fuzzy automaton model design based on a Domain- Specific Modeling Language (DSML) and a graphical editor. To improve the interoperability and functionality of this framework, it also includes a model-to-text transformation that translates the models designed by using the graphical editor into a format that can be used by a tool for data analysis. The practical value of this proposal is also evaluated through a non-trivial medical protocol for detecting potential heart problems. The results confirm that MODELFY is useful for defining such a protocol in a user-friendly and rigorous manner, bringing fuzzy automata closer to domain expert

    The clinical applications of cardiogoniometry in cardiovascular disease

    Get PDF
    Cardiogoniometry (CGM) is a method of 3-dimensional electrocardiographic assessment which has primarily been investigated to evaluate its role in diagnosing patients with suspected coronary artery disease (CAD). Previous work has suggested it has considerable diagnostic ability at identifying patients with both stable CAD and those with acute coronary syndrome (ACS). However, previous studies which investigated the diagnostic performance of CGM in stable CAD did not use robust measures to accurately identify patients with physiologically significant coronary ischaemia. Furthermore, although the ability of CGM to identify specific lesions in stable CAD has been evaluated, to the best of our knowledge no research has been performed to assess the ability of CGM to detect the site of the culprit lesion in patients with non-ST elevation myocardial infarction. The first two studies of this thesis aim to address these two questions about the role of CGM in patients with CAD.Cardiac resynchronisation therapy (CRT) is a treatment used in patients with heart failure and left bundle branch block which attempts to restore synchronous contraction of the ventricles by pacing both the left and right ventricle together. Unfortunately, 25% of patients do not gain a clinical benefit from CRT, such patients are classed as ‘non-responders’. Many methods have been proposed to optimise CRT for ‘non-responders’, however, no specific optimisation method has yet been identified which significantly improves the long term benefit of CRT in non-responders. The detailed spatial and temporal information on cardiac electrical activity that CGM provides suggests that CGM may have a role in the optimisation of CRT. The aim of the third study in this thesis is to evaluate whether CGM can detect changes to CRT pacing settings, in view of developing a method of CRT optimisation using CGM

    Spatially structured oscillations in a two-dimensional excitatory neuronal network with synaptic depression

    Get PDF
    We study the spatiotemporal dynamics of a two-dimensional excitatory neuronal network with synaptic depression. Coupling between populations of neurons is taken to be nonlocal, while depression is taken to be local and presynaptic. We show that the network supports a wide range of spatially structured oscillations, which are suggestive of phenomena seen in cortical slice experiments and in vivo. The particular form of the oscillations depends on initial conditions and the level of background noise. Given an initial, spatially localized stimulus, activity evolves to a spatially localized oscillating core that periodically emits target waves. Low levels of noise can spontaneously generate several pockets of oscillatory activity that interact via their target patterns. Periodic activity in space can also organize into spiral waves, provided that there is some source of rotational symmetry breaking due to external stimuli or noise. In the high gain limit, no oscillatory behavior exists, but a transient stimulus can lead to a single, outward propagating target wave
    • …
    corecore