Statistical Computations with AstroGrid and the Grid

We outline our first steps towards marrying two new and emerging technologies; the Virtual Observatory (e.g, AstroGrid) and the computational grid. We discuss the construction of VOTechBroker, which is a modular software tool designed to abstract the tasks of submission and management of a large number of computational jobs to a distributed computer system. The broker will also interact with the AstroGrid workflow and MySpace environments. We present our planned usage of the VOTechBroker in computing a huge number of n-point correlation functions from the SDSS, as well as fitting over a million CMBfast models to the WMAP data.Comment: Invited talk to appear in "Proceedings of PHYSTAT05: Statistical Problems in Particle Physics, Astrophysics and Cosmology

Fast Algorithms and Efficient Statistics: N-point Correlation Functions

We present here a new algorithm for the fast computation of N-point correlation functions in large astronomical data sets. The algorithm is based on kdtrees which are decorated with cached sufficient statistics thus allowing for orders of magnitude speed-ups over the naive non-tree-based implementation of correlation functions. We further discuss the use of controlled approximations within the computation which allows for further acceleration. In summary, our algorithm now makes it possible to compute exact, all-pairs, measurements of the 2, 3 and 4-point correlation functions for cosmological data sets like the Sloan Digital Sky Survey (SDSS; York et al. 2000) and the next generation of Cosmic Microwave Background experiments (see Szapudi et al. 2000).Comment: To appear in Proceedings of MPA/MPE/ESO Conference "Mining the Sky", July 31 - August 4, 2000, Garching, German

Automatic generation of language-based tools using the LISA system

Many tools have been constructed using different formal methods to process various parts of a language specification (e.g. scanner generators, parser generators and compiler generators). The automatic generation of a complete compiler was the primary goal of such systems, but researchers recognised the possibility that many other language-based tools could be generated from formal language specifications. Such tools can be generated automatically whenever they can be described by a generic fixed part that traverses the appropriate data structures generated by a specific variable part, which can be systematically derivable from the language specifications. The paper identifies generic and specific parts for various language-based tools. Several language-based tools are presented in the paper, which are automatically generated using an attribute grammar-based compiler generator called LISA. The generated tools that are described in the paper include editors, inspectors, debuggers and visualisers/animators. Because of their complexity of construction, special emphasis is given to visualisers/animators, and the unique contribution of our approach toward generating such tools.GRICES -MCTE

LinTraP: Primitive Operators for the Execution of Model Transformations with LinTra

The problems addressed by Model-Driven Engineering (MDE) approaches are increasingly complex, hence performance and scalability of model transformations are gaining importance. In previous work, we introduced LinTra, which is a platform for executing out-place model transformations in parallel. The parallel execution of LinTra is based on the Linda coordination language, where high-level model transformation languages (MTLs) are compiled to LinTra and eventually executed through Linda. In order to de ne the compilation modularly, this paper presents a minimal, yet su cient, collection of primitive operators that can be composed to (re-)construct any out-place, unidirectional MTL.Universidad de Málaga.Campus de Excelencia Internacional Andalucía Tech. Spanish Project TIN2011-2379

Primitive Operators for the Concurrent Execution of Model Transformations Based on LinTra

Performance and scalability of model transformations are becoming prominent topics in Model-Driven Engineering. In previous work, we introduced LinTra, a platform for executing out-place model transformations in parallel. LinTra is based on the Linda coordination language for archiving concurrency and distribution and is intended to be used as a middleware where high-level model transformation languages (such as ATL and QVT) are compiled. To define modularly the compilation, this paper presents a minimal, yet sufficient, collection of primitive operators that can be composed to (re-)construct any out place, unidirectional model transformation language (MTL). These primitives enable any MTL to be executed in parallel in a transparent way, without altering the original transformation.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

IXPE Mission System Concept and Development Status

The Goal of the Imaging X-Ray Polarimetry Explorer (IXPE) Mi SMEX), is to expand understanding of high-energy astrophysical processes and sources, in support of NASAs first science objective in Astrophysics: Discover how the universe works. IXPE, an international collaboration, will conduct X-ray imaging polarimetry for multiple categories of cosmic X-ray sources such as neutron stars, stellar-mass black holes, supernova remnants and active galactic nuclei. The Observatory uses a single science operational mode capturing the X-ray data from the targets. The IXPE Observatory consists of spacecraft and payload modules built up in parallel to form the Observatory during system integration and test. The payload includes three X-ray telescopes each consisting of a polarization-sensitive, gas pixel X-ray detector, paired with its corresponding grazing incidence mirror module assembly (MMA). A deployable boom provides the correct separation (focal length) between the detector units (DU) and MMAs. These payload elements are supported by the IXPE spacecraft which is derived from the BCP-small spacecraft architecture. This paper summarizes the IXPE mission science objectives, updates the Observatory implementation concept including the payload and spacecraft ts and summarizes the mission status since last years conference

Challenges and Directions in Formalizing the Semantics of Modeling Languages

Developing software from models is a growing practice and there exist many model-based tools (e.g., editors, interpreters, debuggers, and simulators) for supporting model-driven engineering. Even though these tools facilitate the automation of software engineering tasks and activities, such tools are typically engineered manually. However, many of these tools have a common semantic foundation centered around an underlying modeling language, which would make it possible to automate their development if the modeling language specification were formalized. Even though there has been much work in formalizing programming languages, with many successful tools constructed using such formalisms, there has been little work in formalizing modeling languages for the purpose of automation. This paper discusses possible semantics-based approaches for the formalization of modeling languages and describes how this formalism may be used to automate the construction of modeling tools