Modelling text file evaluation processes

Text file evaluation is an emergent topic in e-learning that responds to the shortcomings of the assessment based on questions with predefined answers. Questions with predefined answers are formalized in languages such as IMS Question & Test Interoperability Specification (QTI) and supported by many e-learning systems. Complex evaluation domains justify the development of specialized evaluators that participate in several business processes. The goal of this paper is to formalize the concept of a text file evaluation in the scope of the E-Framework – a service oriented framework for development of e-learning systems maintained by a community of practice. The contribution includes an abstract service type and a service usage model. The former describes the generic capabilities of a text file evaluation service. The later is a business process involving a set of services such as repositories of learning objects and learning management systems

Modelling human-computer interaction

Human-computer interaction (HCI) can effectively be understood as a continuous process of cyclic interaction between the user and the environment. The action the user takes leads to changes to the system or the environment. These are evaluated by the user, and then this evaluation results in changes to goals, and then the user takes another action based on the changes to goals. In order to effectively describe the continuous process of cyclic interaction, a notation that a user interface designer could reason about the interactivity is needed. This paper claims that a cyclic notation is able to account for the intimate connection between goal, action and the environment, allowing a user interface designer to make explicit what a process achieves, as well as what triggers that process. It is thus possible for designers to build interactive versions of the designs so as to assess the assumptions made or being made regarding the interaction between the user and the system

StocHy: automated verification and synthesis of stochastic processes

StocHy is a software tool for the quantitative analysis of discrete-time stochastic hybrid systems (SHS). StocHy accepts a high-level description of stochastic models and constructs an equivalent SHS model. The tool allows to (i) simulate the SHS evolution over a given time horizon; and to automatically construct formal abstractions of the SHS. Abstractions are then employed for (ii) formal verification or (iii) control (policy, strategy) synthesis. StocHy allows for modular modelling, and has separate simulation, verification and synthesis engines, which are implemented as independent libraries. This allows for libraries to be easily used and for extensions to be easily built. The tool is implemented in C++ and employs manipulations based on vector calculus, the use of sparse matrices, the symbolic construction of probabilistic kernels, and multi-threading. Experiments show StocHy's markedly improved performance when compared to existing abstraction-based approaches: in particular, StocHy beats state-of-the-art tools in terms of precision (abstraction error) and computational effort, and finally attains scalability to large-sized models (12 continuous dimensions). StocHy is available at www.gitlab.com/natchi92/StocHy

Multi-scale simulation of the nano-metric cutting process

Molecular dynamics (MD) simulation and the finite element (FE) method are two popular numerical techniques for the simulation of machining processes. The two methods have their own strengths and limitations. MD simulation can cover the phenomena occurring at nano-metric scale but is limited by the computational cost and capacity, whilst the FE method is suitable for modelling meso- to macro-scale machining and for simulating macro-parameters, such as the temperature in a cutting zone, the stress/strain distribution and cutting forces, etc. With the successful application of multi-scale simulations in many research fields, the application of simulation to the machining processes is emerging, particularly in relation to machined surface generation and integrity formation, i.e. the machined surface roughness, residual stress, micro-hardness, microstructure and fatigue. Based on the quasi-continuum (QC) method, the multi-scale simulation of nano-metric cutting has been proposed. Cutting simulations are performed on single-crystal aluminium to investigate the chip formation, generation and propagation of the material dislocation during the cutting process. In addition, the effect of the tool rake angle on the cutting force and internal stress under the workpiece surface is investigated: The cutting force and internal stress in the workpiece material decrease with the increase of the rake angle. Finally, to ease multi-scale modelling and its simulation steps and to increase their speed, a computationally efficient MATLAB-based programme has been developed, which facilitates the geometrical modelling of cutting, the simulation conditions, the implementation of simulation and the analysis of results within a unified integrated virtual-simulation environment

'BioNessie(G) - a grid enabled biochemical networks simulation environment

The simulation of biochemical networks provides insight and understanding about the underlying biochemical processes and pathways used by cells and organisms. BioNessie is a biochemical network simulator which has been developed at the University of Glasgow. This paper describes the simulator and focuses in particular on how it has been extended to benefit from a wide variety of high performance compute resources across the UK through Grid technologies to support larger scale simulations

BioNessie - a grid enabled biochemical networks simulation environment

The simulation of biochemical networks provides insight and understanding about the underlying biochemical processes and pathways used by cells and organisms. BioNessie is a biochemical network simulator which has been developed at the University of Glasgow. This paper describes the simulator and focuses in particular on how it has been extended to benefit from a wide variety of high performance compute resources across the UK through Grid technologies to support larger scale simulations

Hydrological Models as Web Services: An Implementation using OGC Standards

<p>Presentation for the HIC 2012 - 10th International Conference on Hydroinformatics. "Understanding Changing Climate and Environment and Finding Solutions" Hamburg, Germany July 14-18, 2012</p> <p> </p