The OMII Software – Demonstrations and Comparisons between two different deployments for Client-Server Distributed Systems

This paper describes the key elements of the OMII software and the scenarios which OMII software can be deployed to achieve distributed computing in the UK e-Science Community, where two different deployments for Client-Server distributed systems are demonstrated. Scenarios and experiments for each deployment have been described, with its advantages and disadvantages compared and analyzed. We conclude that our first deployment is more relevant for system administrators or developers, and the second deployment is more suitable for users’ perspective which they can send and check job status for hundred job submissions

Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems

Parametric analysis is a powerful tool for designing modern embedded systems, because it permits to explore the space of design parameters, and to check the robustness of the system with respect to variations of some uncontrollable variable. In this paper, we address the problem of parametric schedulability analysis of distributed real-time systems scheduled by fixed priority. In particular, we propose two different approaches to parametric analysis: the first one is a novel technique based on classical schedulability analysis, whereas the second approach is based on model checking of Parametric Timed Automata (PTA). The proposed analytic method extends existing sensitivity analysis for single processors to the case of a distributed system, supporting preemptive and non-preemptive scheduling, jitters and unconstrained deadlines. Parametric Timed Automata are used to model all possible behaviours of a distributed system, and therefore it is a necessary and sufficient analysis. Both techniques have been implemented in two software tools, and they have been compared with classical holistic analysis on two meaningful test cases. The results show that the analytic method provides results similar to classical holistic analysis in a very efficient way, whereas the PTA approach is slower but covers the entire space of solutions.Comment: Submitted to ECRTS 2013 (http://ecrts.eit.uni-kl.de/ecrts13

NELIOTA Lunar Impact Flash Detection and Event Validation

NELIOTA (NEO Lunar Impacts and Optical TrAnsients) is an ESA-funded lunar monitoring project, which aims to determine the size-frequency distribution of small Near-Earth Objects (NEOs) via detection of impact flashes on the surface of the Moon. A prime focus, high-speed, twin-camera system providing simultaneous observations in two photometric bands at a rate of 30 frames-per-second on the 1.2 m Kryoneri telescope of the National Observatory of Athens was commissioned for this purpose. A dedicated software processes the images and automatically detects candidate lunar impact flashes, which are then validated by an expert user. The four year observing campaign began in February 2017 and has so far detected more than 40 lunar impact events. The software routinely detects satellites, which typically appear as streaks or dots crossing the lunar disk. To avoid confusing these events with real flashes, we check different available catalogs with spacecraft orbital information and exclude spacecraft identifications.Comment: 12 pages, 17 figures. Proceedings of the "ESA NEO and Debris Detection Conference -Exploiting Synergies-", held in ESA/ESOC, Darmstadt, Germany, 22-24 January 201

Flow Solver for Incompressible 2-D Drive Cavity

This software solves the Navier-Stokes equations for the incompressible driven cavity flow problem. The code uses second-order finite differencing on a staggered grid using the Chorin projection method. The resulting intermediate Poisson equation is efficiently solved using the fast Fourier transform. Time stepping is done using fourth-order Runge-Kutta for stability at high Reynolds numbers. Features include check-pointing, periodic field snapshots, ongoing reporting of kinetic energy and changes between time steps, time histories at selected points, and optional streakline generation

Creation of DTM and orthophotomap in Brno-Líšeň

Bakalárska práca je zameraná na tvorbu DMT a ortofotomapy v lokalite Brno-Líšeň. Úvodná časť práce je venovaná teoretickým základom fotogrametrie, postupom spracovania leteckých snímok a princípom tvorby digitálneho modelu terénu a ortofotomapy. Ďalej práca obsahuje podrobne popísaný postup prác v softvéri Photomod. V závere práce je porovnaná presnosť výslednej ortofotomapy s výsledkami kontrolného zamerania danej lokality geodetickými metódami.Bachelor's thesis is focused on the creation of DTM and orthophotomap in Brno-Líšeň. Introductory part of the thesis is devoted to photogrammetry basis, methods of aerial images proccesing and creation principles of digital terrain model and orthophotomap. The second part describes detailed working procedure in the Photomod software. The final part compares accuracy of resulting orthophotomap and the check geodetic survey outcome of given locality.

Status of the Space Radiation Monte Carlos Simulation Based on FLUKA and ROOT

The NASA-funded project reported on at the first IWSSRR in Arona to develop a Monte-Carlo simulation program for use in simulating the space radiation environment based on the FLUKA and ROOT codes is well into its second year of development, and considerable progress has been made. The general tasks required to achieve the final goals include the addition of heavy-ion interactions into the FLUKA code and the provision of a ROOT-based interface to FLUKA. The most significant progress to date includes the incorporation of the DPMJET event generator code within FLUKA to handle heavy-ion interactions for incident projectile energies greater than 3GeV/A. The ongoing effort intends to extend the treatment of these interactions down to 10 MeV, and at present two alternative approaches are being explored. The ROOT interface is being pursued in conjunction with the CERN LHC ALICE software team through an adaptation of their existing AliROOT software. As a check on the validity of the code, a simulation of the recent data taken by the ATIC experiment is underway