13,955 research outputs found

    Surface properties of ocean fronts

    Get PDF
    Background information on oceanic fronts is presented and the results of several models which were developed to study the dynamics of oceanic fronts and their effects on various surface properties are described. The details of the four numerical models used in these studies are given in separate appendices which contain all of the physical equations, program documentation and running instructions for the models

    From Uncertainty Data to Robust Policies for Temporal Logic Planning

    Full text link
    We consider the problem of synthesizing robust disturbance feedback policies for systems performing complex tasks. We formulate the tasks as linear temporal logic specifications and encode them into an optimization framework via mixed-integer constraints. Both the system dynamics and the specifications are known but affected by uncertainty. The distribution of the uncertainty is unknown, however realizations can be obtained. We introduce a data-driven approach where the constraints are fulfilled for a set of realizations and provide probabilistic generalization guarantees as a function of the number of considered realizations. We use separate chance constraints for the satisfaction of the specification and operational constraints. This allows us to quantify their violation probabilities independently. We compute disturbance feedback policies as solutions of mixed-integer linear or quadratic optimization problems. By using feedback we can exploit information of past realizations and provide feasibility for a wider range of situations compared to static input sequences. We demonstrate the proposed method on two robust motion-planning case studies for autonomous driving

    Cross-entropy Temporal Logic Motion Planning

    Get PDF
    This paper presents a method for optimal trajectory generation for discrete-time nonlinear systems with linear temporal logic (LTL) task specifications. Our approach is based on recent advances in stochastic optimization algorithms for optimal trajectory generation. These methods rely on estimation of the rare event of sampling optimal trajectories, which is achieved by incrementally improving a sampling distribution so as to minimize the cross-entropy. A key component of these stochastic optimization algorithms is determining whether or not a trajectory is collision-free. We generalize this collision checking to efficiently verify whether or not a trajectory satisfies a LTL formula. Interestingly, this verification can be done in time polynomial in the length of the LTL formula and the trajectory. We also propose a method for efficiently re-using parts of trajectories that only partially satisfy the specification, instead of simply discarding the entire sample. Our approach is demonstrated through numerical experiments involving Dubins car and a generic point-mass model subject to complex temporal logic task specifications

    The Carrington event not observed in most ice core nitrate records

    Get PDF
    The Carrington Event of 1859 is considered to be among the largest space weather events of the last 150 years. We show that only one out of 14 well-resolved ice core records from Greenland and Antarctica has a nitrate spike dated to 1859. No sharp spikes are observed in the Antarctic cores studied here. In Greenland numerous spikes are observed in the 40 years surrounding 1859, but where other chemistry was measured, all large spikes have the unequivocal signal, including co-located spikes in ammonium, formate, black carbon and vanillic acid, of biomass burning plumes. It seems certain that most spikes in an earlier core, including that claimed for 1859, are also due to biomass burning plumes, and not to solar energetic particle (SEP) events. We conclude that an event as large as the Carrington Event did not leave an observable, widespread imprint in nitrate in polar ice. Nitrate spikes cannot be used to derive the statistics of SEPs

    Comment on “Low time resolution analysis of ice cores cannot detect impulsive nitrate events” by D. F. Smart et al.

    Get PDF
    Smart et al. (2014) suggested that the detection of nitrate spikes in polar ice cores from solar energetic particle (SEP) events could be achieved if an analytical system with sufficiently high resolution was used. Here we show that the spikes they associate with SEP events are not reliably recorded in cores from the same location, even when the resolution is clearly adequate. We explain the processes that limit the effective resolution of ice cores. Liquid conductivity data suggest that the observed spikes are associated with sodium or another nonacidic cation, making it likely that they result from deposition of sea salt or similar aerosol that has scavenged nitrate, rather than from a primary input of nitrate in the troposphere. We consider that there is no evidence at present to support the identification of any spikes in nitrate as representing SEP events. Although such events undoubtedly create nitrate in the atmosphere, we see no plausible route to using nitrate spikes to document the statistics of such events

    Direct Injection Liquid Chromatography High-Resolution Mass Spectrometry for Determination of Primary and Secondary Terrestrial and Marine Biomarkers in Ice Cores

    Get PDF
    Many atmospheric organic compounds are long-lived enough to be transported from their sources to polar regions and high mountain environments where they can be trapped in ice archives. While inorganic components in ice archives have been studied extensively to identify past climate changes, organic compounds have rarely been used to assess paleo-environmental changes, mainly due to the lack of suitable analytical methods. This study presents a new method of direct injection HPLC-MS analysis, without the need of pre-concentrating the melted ice, for the determination of a series of novel biomarkers in ice-core samples indicative of primary and secondary terrestrial and marine organic aerosol sources. Eliminating a preconcentration step reduces contamination potential and decreases the required sample volume thus allowing a higher time resolution in the archives. The method is characterised by limits of detections (LODs) in the range of 0.01-15 ppb, depending on the analyte, and accuracy evaluated through an interlaboratory comparison. We find that many components in secondary organic aerosols (SOA) are clearly detectable at concentrations comparable to those previously observed in replicate preconcentrated ice samples from the Belukha glacier, Russian Altai Mountains. Some compounds with low recoveries in preconcentration steps are now detectable in samples with this new direct injection method significantly increasing the range of environmental processes and sources that become accessible for paleo-climate studies

    Energy-level quantization in YBa2Cu3O7-x phase-slip nanowires

    Full text link
    Significant progress has been made in the development of superconducting quantum circuits, however new quantum devices that have longer decoherence times at higher temperatures are urgently required for quantum technologies. Superconducting nanowires with quantum phase slips are promising candidates for use in novel devices that operate on quantum principles. Here, we demonstrate ultra-thin YBa2Cu3O7-x nanowires with phase-slip dynamics and study their switching-current statistics at temperatures below 20 K. We apply theoretical models that were developed for Josephson junctions and show that our results provide strong evidence for energy-level quantization in the nanowires. The crossover temperature to the quantum regime is 12-13 K, while the lifetime in the excited state exceeds 20 ms at 5.4 K. Both values are at least one order of magnitude higher than those in conventional Josephson junctions based on low-temperature superconductors. We also show how the absorption of a single photon changes the phase-slip and quantum state of a nanowire, which is important for the development of single-photon detectors with high operating temperature and superior temporal resolution. Our findings pave the way for a new class of superconducting nanowire devices for quantum sensing and computing

    Probing the Crust of the Neutron Star in EXO 0748-676

    Get PDF
    X-ray observations of quiescent X-ray binaries have the potential to provide insight into the structure and the composition of neutron stars. EXO 0748-676 had been actively accreting for over 24 yr before its outburst ceased in late 2008. Subsequent X-ray monitoring revealed a gradual decay of the quiescent thermal emission that can be attributed to cooling of the accretion-heated neutron star crust. In this work, we report on new Chandra and Swift observations that extend the quiescent monitoring to ~5 yr post-outburst. We find that the neutron star temperature remained at ~117 eV between 2009 and 2011, but had decreased to ~110 eV in 2013. This suggests that the crust has not fully cooled yet, which is supported by the lower temperature of ~95 eV that was measured ~4 yr prior to the accretion phase in 1980. Comparing the data to thermal evolution simulations reveals that the apparent lack of cooling between 2009 and 2011 could possibly be a signature of convection driven by phase separation of light and heavy nuclei in the outer layers of the neutron star.Comment: 9 pages, 4 tables, 3 figures. Minor revisions according to referee report. Accepted to Ap
    corecore