Scaling properties of velocity and temperature spectra above the surface friction layer in a convective atmospheric boundary layer

International audienceWe report velocity and temperature spectra measured at nine levels from 1.42 meters up to 25.7 m over a smooth playa in Western Utah. Data are from highly convective conditions when the magnitude of the Obukhov length (our proxy for the depth of the surface friction layer) was less than 2 m. Our results are somewhat similar to the results reported from the Minnesota experiment of Kaimal et al. (1976), but show significant differences in detail. Our velocity spectra show no evidence of buoyant production of kinetic energy at at the scale of the thermal structures. We interpret our velocity spectra to be the result of outer eddies interacting with the ground, not "local free convection". We observe that velocity spectra represent the spectral distribution of the kinetic energy of the turbulence, so we use energy scales based on total turbulence energy in the convective boundary layer (CBL) to collapse our spectra. For the horizontal velocity spectra this scale is (zi ?o)2/3, where zi is inversion height and ?o is the dissipation rate in the bulk CBL. This scale functionally replaces the Deardorff convective velocity scale. Vertical motions are blocked by the ground, so the outer eddies most effective in creating vertical motions come from the inertial subrange of the outer turbulence. We deduce that the appropriate scale for the peak region of the vertical velocity spectra is (z ?o)2/3 where z is height above ground. Deviations from perfect spectral collapse under these scalings at large and small wavenumbers are explained in terms of the energy transport and the eddy structures of the flow. We find that the peaks of the temperature spectra collapse when wavenumbers are scaled using (z1/2 zi1/2). That is, the lengths of the thermal structures depend on both the lengths of the transporting eddies, ~9z, and the progressive aggregation of the plumes with height into the larger-scale structures of the CBL. This aggregation depends, in top-down fashion, on zi. The whole system is therefore highly organized, with even the smallest structures conforming to the overall requirements of the whole flow

The DDO IVC Distance Project: Survey Description and the Distance to G139.6+47.6

We present a detailed analysis of the distance determination for one intermediate Velocity Cloud (IVC G139.6+47.6) from the ongoing DDO IVC Distance Project. Stars along the line of sight to G139.6+47.6 are examined for the presence of sodium absorption attributable to the cloud, and the distance bracket is established by astrometric and spectroscopic parallax measurements of demonstrated foreground and background stars. We detail our strategy regarding target selection, observational setup, and analysis of the data, including a discussion of wavelength calibration and sky subtraction uncertainties. We find a distance estimate of 129 (+/- 10) pc for the lower limit and 257 (+211-33) pc for the upper limit. Given the high number of stars showing absorption due to this IVC, we also discuss the small-scale covering factor of the cloud and the likely significance of non-detections for subsequent observations of this and other similar IVC's. Distance measurements of the remaining targets in the DDO IVC project will be detailed in a companion paper.Comment: 10 pages, 6 figures, LaTe

On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases

This article studies the expressive power of finite automata recognizing sets of real numbers encoded in positional notation. We consider Muller automata as well as the restricted class of weak deterministic automata, used as symbolic set representations in actual applications. In previous work, it has been established that the sets of numbers that are recognizable by weak deterministic automata in two bases that do not share the same set of prime factors are exactly those that are definable in the first order additive theory of real and integer numbers. This result extends Cobham's theorem, which characterizes the sets of integer numbers that are recognizable by finite automata in multiple bases. In this article, we first generalize this result to multiplicatively independent bases, which brings it closer to the original statement of Cobham's theorem. Then, we study the sets of reals recognizable by Muller automata in two bases. We show with a counterexample that, in this setting, Cobham's theorem does not generalize to multiplicatively independent bases. Finally, we prove that the sets of reals that are recognizable by Muller automata in two bases that do not share the same set of prime factors are exactly those definable in the first order additive theory of real and integer numbers. These sets are thus also recognizable by weak deterministic automata. This result leads to a precise characterization of the sets of real numbers that are recognizable in multiple bases, and provides a theoretical justification to the use of weak automata as symbolic representations of sets.Comment: 17 page

A comparison of similar aerosol measurements made on the NASA P3-B, DC-8, and NSF C-130 aircraft during TRACE-P and ACE-Asia

Two major aircraft experiments occurred off the Pacific coast of Asia during spring 2001: the NASA sponsored Transport and Chemical Evolution over the Pacific (TRACE-P) and the National Science Foundation (NSF) sponsored Aerosol Characterization Experiment-Asia (ACE-Asia). Both experiments studied emissions from the Asian continent (biomass burning, urban/industrial pollution, and dust). TRACE-P focused on trace gases and aerosol during March/April and was based primarily in Hong Kong and Yokota Air Force Base, Japan, and involved two aircraft: the NASA DC-8 and the NASA P3-B. ACE-Asia focused on aerosol and radiation during April/May and was based in Iwakuni Marine Corps Air Station, Japan, and involved the NSF C-130. This paper compares aerosol measurements from these aircraft including aerosol concentrations, size distributions (and integral properties), chemistry, and optical properties. Best overall agreement (generally within RMS instrumental uncertainty) was for physical properties of the submircron aerosol, including condensation nuclei concentrations, scattering coefficients, and differential mobility analyzer and optical particle counter (OPC) accumulation mode size distributions. Larger differences (typically outside of the RMS uncertainty) were often observed for parameters related to the supermicron aerosols (total scattering and absorption coefficients, coarse mode Forward Scattering Spectrometer Probe and OPC size distributions/integral properties, and soluble chemical species usually associated with the largest particles, e.g., Na+, Cl−, Ca2+, and Mg2+), where aircraft sampling is more demanding. Some of the observed differences reflect different inlets (e.g., low-turbulence inlet enhancement of coarse mode aerosol), differences in sampling lines, and instrument configuration and design. Means and variances of comparable measurements for horizontal legs were calculated, and regression analyses were performed for each platform and allow for an assessment of instrument performance. These results provide a basis for integrating aerosol data from these aircraft platforms for both the TRACE-P and ACE-Asia experiments

Church-Rosser Systems, Codes with Bounded Synchronization Delay and Local Rees Extensions

What is the common link, if there is any, between Church-Rosser systems, prefix codes with bounded synchronization delay, and local Rees extensions? The first obvious answer is that each of these notions relates to topics of interest for WORDS: Church-Rosser systems are certain rewriting systems over words, codes are given by sets of words which form a basis of a free submonoid in the free monoid of all words (over a given alphabet) and local Rees extensions provide structural insight into regular languages over words. So, it seems to be a legitimate title for an extended abstract presented at the conference WORDS 2017. However, this work is more ambitious, it outlines some less obvious but much more interesting link between these topics. This link is based on a structure theory of finite monoids with varieties of groups and the concept of local divisors playing a prominent role. Parts of this work appeared in a similar form in conference proceedings where proofs and further material can be found.Comment: Extended abstract of an invited talk given at WORDS 201

An updated analysis of NN elastic scattering data to 1.6 GeV

An energy-dependent and set of single-energy partial-wave analyses of $NN$ elastic scattering data have been completed. The fit to 1.6~GeV has been supplemented with a low-energy analysis to 400 MeV. Using the low-energy fit, we study the sensitivity of our analysis to the choice of $\pi NN$ coupling constant. We also comment on the possibility of fitting $np$ data alone. These results are compared with those found in the recent Nijmegen analyses. (Figures may be obtained from the authors upon request.)Comment: 17 pages of text, VPI-CAPS-7/

Fredkin Gates for Finite-valued Reversible and Conservative Logics

The basic principles and results of Conservative Logic introduced by Fredkin and Toffoli on the basis of a seminal paper of Landauer are extended to d-valued logics, with a special attention to three-valued logics. Different approaches to d-valued logics are examined in order to determine some possible universal sets of logic primitives. In particular, we consider the typical connectives of Lukasiewicz and Godel logics, as well as Chang's MV-algebras. As a result, some possible three-valued and d-valued universal gates are described which realize a functionally complete set of fundamental connectives.Comment: 57 pages, 10 figures, 16 tables, 2 diagram

The impact of local sources and long-range transport on aerosol properties over the northeast U.S. region during INTEX-NA

We use data collected aboard the NASA DC-8 aircraft during the summer 2004, Intercontinental Transport and Chemical Evolution Experiment over North America (INTEX-NA) field campaign to examine the origin, composition, physical and optical properties of aerosols within air masses sampled over and downwind of the northeastern U.S. We note that aerosol concentrations within the region exhibited steep vertical gradients and significant variability in both time and space. An examination of air mass chemical signatures and backward trajectories indicates that transport from four, significantly different source regions contributed to the variability: the subtropical Atlantic Ocean (AO); the U.S. west coast and eastern Pacific (WCP); the U.S. east coast and Midwestern states (EC); and northwest Canada and Alaska (CA). AO air masses were typically confined to below 2 km altitude, exhibited low pollutant contents, contained enhanced levels of sea salt, and were typically observed when the Bermuda High strengthened. The most common air mass present in the upper troposphere, WCP air often contained weak dust and aged pollution enhances from convective input occurring over the central part of the continent. CA air exhibited enhancements in anthropogenic pollution tracers below 2 km and contained some black-carbon rich haze layers between 3 and 5 km that could be traced to forest fires burning in western Canada and Alaska. EC air was prevalent at lower elevations throughout the study area and exhibited enhanced scattering along with elevated levels of sulfate aerosols and combustion tracers. There is an overall balance between the observed cations and anions for all cases, except EC air mass below 4 km

Understanding the links between resilience and type-2 diabetes self-management: a qualitative study in South Australia

Background: Research conducted by Ward, Muller, Tsourtos, et al. (Soc Sci Med 72(7):1140–1148, 2011) has led to the development of the psycho-social interactive model of resilience, which reveals the interaction between individual resilience factors (i.e. coping, confidence and self esteem) and external resilience environments (i.e. employment, supportive family environments and health promoting policies) in facilitating the development of resilience. This present study explored the utility of this model of resilience for understanding how people self-manage type-2 diabetes. Methods: Data were collected via 14 semi-structured life-history interviews with women and men living with type-2 diabetes mellitus (T2DM). Participants varied according to socio-demographics (gender, age, education level, income) and were recruited based on their self-reported management (or lack thereof) of T2DM. Results: The inter-play of internal traits and external resources with additive and subtractive resilience strategies were consistent with the psycho-social interactive model of resilience. Self-management was influenced by life history. Differences in self-management and material disadvantage were also identified. Alongside increased disadvantage are higher levels of external barriers to self-management practices. Conclusions: This paper supports the concepts of additive and subtractive resilience strategies for use with diabetes populations" providing health professionals and policy makers with an increased understanding of how to recognize and foster patient resilience for the improvement of self-care, disease management and ultimately health outcomes

Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis

The classic approaches to synthesize a reactive system from a linear temporal logic (LTL) specification first translate the given LTL formula to an equivalent omega-automaton and then compute a winning strategy for the corresponding omega-regular game. To this end, the obtained omega-automata have to be (pseudo)-determinized where typically a variant of Safra's determinization procedure is used. In this paper, we show that this determinization step can be significantly improved for tool implementations by replacing Safra's determinization by simpler determinization procedures. In particular, we exploit (1) the temporal logic hierarchy that corresponds to the well-known automata hierarchy consisting of safety, liveness, Buechi, and co-Buechi automata as well as their boolean closures, (2) the non-confluence property of omega-automata that result from certain translations of LTL formulas, and (3) symbolic implementations of determinization procedures for the Rabin-Scott and the Miyano-Hayashi breakpoint construction. In particular, we present convincing experimental results that demonstrate the practical applicability of our new synthesis procedure