Launched in 1996, Mars Global Surveyor (MGS) carries two types of mapping equipments: Mars Orbiter Laser Altimeter (MOLA) and Mar Orbiter Camera (MOC). MOLA collects accurate laser altimetry data over the Mars surface, while MOC acquires high resolution images. In the process of MOLA registration to MOC images, a certain systematic shift was reported in previous studies. This shift may possibly...

The design, calibration, and performance of the Mars Orbiter Laser Altimeter (MOLA) receiver are described. The MOLA measurements include the range to the surface, which is determined by the laser-pulse time of flight; the height variability within the footprint determined by the laser echo pulse width; and the apparent surface reflectivity determined by the ratio of the echo to transmitted pul...

This paper describes the solution of Hello World transformations in MOLA transformation language. Transformations implementing the task are relatively straightforward and easily inferable from the task specification. The required additional steps related to model import and export are also described.

In this paper we describe the solution to Hello World case [6] for TTC 20111 contest, implemented in MOLA model transformation language. The core task and all optional extensions are implemented. The SHARE image of solution is also provided. [2] The ”Hello World” task can be implemented in MOLA in a very straightforward way. We describe in the paper the basic principles of the solution. Before ...

The Mars Orbiter Laser Altimeter (MOLA) instrument on the Mars Global Surveyor (MGS) spacecraft has returned a large amount of data on the topography of Mars. It is possible to generate high resolution digital elevation models (DEMs) from these data by employing data interpolation techniques. Four interpolation algorithms were selected for testing on MOLA data: Delaunay-based linear interpolati...

The Reengineering Case of the Transformation Tool Contest 2011 deals with automatic extraction of state machine from Java source code. The transformation task involves complex, non-local matching of model elements. This paper contains the solution of the task using model transformation language MOLA. The MOLA solution uses higher-order transformations (HOT-s) to generate a part of the required ...