Identifying and interpreting stratification in sedimentary rocks on Mars : insight from Rover and orbital observations and terrestrial field analogs

Sedimentary rocks on Mars provide insight into past aqueous and atmospheric processes, climate regimes, and potential habitability. The stratigraphic architecture of sedimentary rocks on Mars is similar to that of Earth, indicating that the processes that govern deposition and erosion on Mars can be reasonably inferred through reference to analogous terrestrial systems. This dissertation aims to understand Martian surface processes through the use of (1) ground-based observations from the Mars Exploration Rovers, (2) orbital data from the High Resolution Imaging Science Experiment onboard the Mars Reconnaissance Orbiter, and (3) the use of terrestrial field analogs to understand bedforms and sediment transport on Mars. Chapters 1 and 2 trace the history of aqueous activity at Meridiani Planum, through the reconstruction of eolian bedforms at Victoria crater, and the identification of a potential mudstone facies at Santa Maria crater. Chapter 3 uses Terrestrial Laser Scanning to study cross-bedding in pyroclastic surge deposits on Earth in order to understand sediment transport in these events and to establish criteria for their identification on Mars. The final chapter analyzes stratal geometries in the Martian North Polar Layered Deposits using tools for sequence stratigraphic analysis, to better constrain past surface processes and past climate conditions on Mars.

Quantum interference in laser-induced nonsequential double ionization in diatomic molecules: Role of alignment and orbital symmetry

We address the influence of the orbital symmetry and the molecular alignment with respect to the laser-field polarization on laser-induced nonsequential double ionization of diatomic molecules, in the length and velocity gauges. We work within the strong-field approximation and assume that the second electron is dislodged by electron-impact ionization, and also consider the classical limit of this model. We show that the electron-momentum distributions exhibit interference maxima and minima due to electron emission at spatially separated centers. The interference patterns survive integration over the transverse momenta for a small range of alignment angles, and are sharpest for parallel-aligned molecules. Due to the contributions of the transverse-momentum components, these patterns become less defined as the alignment angle increases, until they disappear for perpendicular alignment. This behavior influences the shapes and the peaks of the electron-momentum distributions.

Incremental Control Synthesis for Robotics in the Presence of Temporal Logic Specifications

This thesis presents methods for incrementally constructing controllers in the presence of uncertainty and nonlinear dynamics. The basic setting is motion planning subject to temporal logic specifications. Broadly, two categories of problems are treated. The first is reactive formal synthesis when so-called discrete abstractions are available. The fragment of linear-time temporal logic (LTL) known as GR(1) is used to express assumptions about an adversarial environment and requirements of the controller. Two problems of changes to a specification are posed that concern the two major aspects of GR(1): safety and liveness. Algorithms providing incremental updates to strategies are presented as solutions. In support of these, an annotation of strategies is developed that facilitates repeated modifications. A variety of properties are proven about it, including necessity of existence and sufficiency for a strategy to be winning. The second category of problems considered is non-reactive (open-loop) synthesis in the absence of a discrete abstraction. Instead, the presented stochastic optimization methods directly construct a control input sequence that achieves low cost and satisfies a LTL formula. Several relaxations are considered as heuristics to address the rarity of sampling trajectories that satisfy an LTL formula and demonstrated to improve convergence rates for Dubins car and single-integrators subject to a recurrence task.

Investigación previa para el taladrado orbital de apilados CFRP/Ti6Al4V.

[ES]El taladrado “one shot” de apilados de CFRP/Titanio está caracterizado por la corta vida útil de las brocas, aunque por lo general, la calidad de los agujeros es buena. Una alternativa al taladrado convencional es el taladrado orbital. Este trabajo, tiene tres objetivos principales: el primero es establecer unas condiciones de corte óptimas para el taladrado orbital en apilados de CFRP/Titanio de sección constante; la segunda, es analizar la calidad de los agujeros: rugosidad, ovalización, precisión dimensional…al igual que el desgaste de las herramientas; y el tercero es establecer una zona de trabajo dependiendo de los parámetros del proceso.

Diel vertical migration of the bigeye thresher shark (Alopias superciliosus), a species possessing orbital retia mirabilia

The bigeye thresher shark (Alopias superciliosus, Lowe 1841) is one of three sharks in the family Alopiidae, which occupy pelagic, neritic, and shallow coastal waters throughout the altropics and subtropics (Gruber and Compagno, 1981; Castro, 1983). All thresher sharks possess an elongated upper caudal lobe, and the bigeye thresher shark is distinguished from the other alopiid sharks by its large upward-looking eyes and grooves on the top of the head (Bigelow and Schroeder, 1948). Our present understanding of the bigeye thresher shark is primarily based upon data derived from specimens captured in fisheries, including knowledge of its morphological features (Fitch and Craig, 1964; Stillwell and Casey, 1976; Thorpe, 1997), geographic range as far as it overlaps with fisheries (Springer, 1943; Fitch and Craig, 1964; Stillwell and Casey, 1976; Gruber and Compagno, 1981; Thorpe, 1997), age, growth and maturity (Chen et al., 1997; Liu et al., 1998), and aspects of its reproductive biology (Gilmore, 1983; Moreno and Moron, 1992; Chen et al., 1997).

Multi-objective optimization for multiphase orbital rendezvous missions

A multi-objective optimization approach was proposed for multiphase orbital rendezvous missions and validated by application to a representative numerical problem. By comparing the Pareto fronts obtained using the proposed method, the relationships between the three objectives considered are revealed, and the influences of other mission parameters, such as the sensors' field of view, can also be analyzed effectively. For multiphase orbital rendezvous missions, the tradeoff relationships between the total velocity increment and the trajectory robustness index as well as between the total velocity increment and the time of flight are obvious and clear. However, the tradeoff relationship between the time of flight and the trajectory robustness index is weak, especially for the four- and five-phase missions examined. The proposed approach could be used to reorganize a stable rendezvous profile for an engineering rendezvous mission, when there is a failure that prevents the completion of the nominal mission.

Does the orbital degeneracy play any role in the high thermopower of lamellar cobaltites?

This article investigates the role of the CoO6 octahedron distortion on the electronic properties and more particularly on the high value of the Seebeck coefficient in the BiCaCoO lamellar cobaltites. Our measurements provide clues indicating that the t2g orbital degeneracy lifting has to be considered to account for the observed high temperature limit of the thermopower. They also provide experimental arguments for locating the a1g and eg′ orbitals levels on the energy scale, through the compression of the octahedron. These results are in agreement with recent ab initio calculation including the electronic correlations and concluding for the inversion of these levels as compared to the expectation from the crystal field theory. © 2007 American Institute of Physics.