80,553 research outputs found
Remote sensing of aerosols in the Arctic for an evaluation of global climate model simulations
This is an open access article under the terms of the Creative Commons Attribution-NonCommercial-NoDerivs License, which permits use and distribution in any medium, provided the original work is properly cited, the use is non-commercial and no modifications or adaptations are madeIn this study Moderate Resolution Imaging Spectroradiometer (MODIS) Aqua retrievals of aerosol optical thickness (AOT) at 555 nm are compared to Sun photometer measurements from Svalbard for a period of 9 years. For the 642 daily coincident measurements that were obtained, MODIS AOT generally varies within the predicted uncertainty of the retrieval over ocean (ΔAOT=±0.03±0.05·AOT). The results from the remote sensing have been used to examine the accuracy in estimates of aerosol optical properties in the Arctic, generated by global climate models and from in situ measurements at the Zeppelin station, Svalbard. AOT simulated with the Norwegian Earth System Model/Community Atmosphere Model version 4 Oslo global climate model does not reproduce the observed seasonal variability of the Arctic aerosol. The model overestimates clear-sky AOT by nearly a factor of 2 for the background summer season, while tending to underestimate the values in the spring season. Furthermore, large differences in all-sky AOT of up to 1 order of magnitude are found for the Coupled Model Intercomparison Project phase 5 model ensemble for the spring and summer seasons. Large differences between satellite/ground-based remote sensing of AOT and AOT estimated from dry and humidified scattering coefficients are found for the subarctic marine boundary layer in summer.Peer reviewe
Charging dynamics of aerosol OT inverse micelles
Aerosol OT (AOT) is a commonly used surfactant and charging agent in nonpolar liquids. Properties such as the conductivity of AOT suspensions in nonpolar liquids and the behavior of charged AOT inverse micelles at interfaces have been studied recently, but still little is known about the generation dynamics of charged AOT inverse micelles. In this article, the generation dynamics of charged AOT inverse micelles in dodecane are investigated with transient current measurements. At low applied voltages, the generation rate is sufficiently fast to
maintain the equilibrium concentration of charged inverse micelles, such that the current scales proportionally with the applied voltage. However, above a threshold
voltage the current becomes limited by the generation of charged inverse micelles. Al2O3‑coated electrodes are used to achieve these high-voltage current measurements while reducing surface generation currents. The dependency of the resulting generation-limited currents with the micelle concentration and the liquid volume is compatible with a bulk disproportionation mechanism. The measured currents are analyzed using a model based on drift, generation, and recombination of charged inverse micelles and the corresponding generation and recombination rates of charged AOT inverse micelles have been determined
Trends in MODIS and AERONET derived aerosol optical thickness over Northern Europe
Long-term Aqua and Terra MODIS (MODerate resolution Imaging Spectroradiometer) Collections 5.1 and 6.1 (c051 and c061, respectively) aerosol data have been combined with AERONET (AERosol RObotic NETwork) ground-based sun photometer observations to examine trends in aerosol optical thickness (AOT, at 550 nm) over Northern Europe for the months April to September. For the 1927 and 1559 daily coincident measurements that were obtained for c051 and c061, respectively, MODIS AOT varied by 86 and 90%, respectively, within the predicted uncertainty of one standard deviation of the retrieval over land (ΔAOT = ±0.05 ± 0.15·AOT). For the coastal AERONET site Gustav Dalen Tower (GDT), Sweden, larger deviations were found for MODIS c051 and c061 (79% and 75%, respectively, within predicted uncertainty). The Baltic Sea provides substantially better statistical representation of AOT than the surrounding land areas and therefore favours the investigations of trends in AOT over the region. Negative trends of 1.5% and 1.2% per year in AOT, based on daily averaging, were found for the southwestern Baltic Sea from MODIS c051 and c061, respectively. This is in line with a decrease of 1.2% per year in AOT at the AERONET station Hamburg. For the western Gotland Basin area, Sweden, negative trends of 1.5%, 1.1% and 1.6% per year in AOT have been found for MODIS c051, MODIS c061 and AERONET GDT, respectively. The strongest trend of –1.8% per year in AOT was found for AERONET Belsk, Poland, which can be compared to –1.5% per day obtained from MODIS c051 over central Poland. The trends in MODIS and AERONET AOT are nearly all statistically significant at the 95% confidence level. The strongest aerosol sources are suggested to be located southwest, south and southeast of the investigation area, although the highest prevalence of pollution events is associated with air mass transport from southwest.Peer reviewe
Mechanizing Principia Logico-Metaphysica in Functional Type Theory
Principia Logico-Metaphysica contains a foundational logical theory for
metaphysics, mathematics, and the sciences. It includes a canonical development
of Abstract Object Theory [AOT], a metaphysical theory (inspired by ideas of
Ernst Mally, formalized by Zalta) that distinguishes between ordinary and
abstract objects.
This article reports on recent work in which AOT has been successfully
represented and partly automated in the proof assistant system Isabelle/HOL.
Initial experiments within this framework reveal a crucial but overlooked fact:
a deeply-rooted and known paradox is reintroduced in AOT when the logic of
complex terms is simply adjoined to AOT's specially-formulated comprehension
principle for relations. This result constitutes a new and important paradox,
given how much expressive and analytic power is contributed by having the two
kinds of complex terms in the system. Its discovery is the highlight of our
joint project and provides strong evidence for a new kind of scientific
practice in philosophy, namely, computational metaphysics.
Our results were made technically possible by a suitable adaptation of
Benzm\"uller's metalogical approach to universal reasoning by semantically
embedding theories in classical higher-order logic. This approach enables one
to reuse state-of-the-art higher-order proof assistants, such as Isabelle/HOL,
for mechanizing and experimentally exploring challenging logics and theories
such as AOT. Our results also provide a fresh perspective on the question of
whether relational type theory or functional type theory better serves as a
foundation for logic and metaphysics.Comment: 14 pages, 6 figures; preprint of article with same title to appear in
The Review of Symbolic Logi
A model study of enhanced oil recovery by flooding with aqueous surfactant solution and comparison with theory
With the aim of elucidating the details of enhanced oil recovery by surfactant solution flooding, we have determined the detailed behavior of model systems consisting of a packed column of calcium carbonate particles as the porous rock, n-decane as the trapped oil, and aqueous solutions of the anionic surfactant sodium bis(2-ethylhexyl) sulfosuccinate (AOT). The AOT concentration was varied from zero to above the critical aggregation concentration (cac). The salt content of the aqueous solutions was varied to give systems of widely different, post-cac oil–water interfacial tensions. The systems were characterized in detail by measuring the permeability behavior of the packed columns, the adsorption isotherms of AOT from the water to the oil–water interface and to the water–calcium carbonate interface, and oil–water–calcium carbonate contact angles. Measurements of the percent oil recovery by pumping surfactant solutions into calcium carbonate-packed columns initially filled with oil were analyzed in terms of the characterization results. We show that the measured contact angles as a function of AOT concentration are in reasonable agreement with those calculated from values of the surface energy of the calcium carbonate–air surface plus the measured adsorption isotherms. Surfactant adsorption onto the calcium carbonate–water interface causes depletion of its aqueous-phase concentration, and we derive equations which enable the concentration of nonadsorbed surfactant within the packed column to be estimated from measured parameters. The percent oil recovery as a function of the surfactant concentration is determined solely by the oil–water–calcium carbonate contact angle for nonadsorbed surfactant concentrations less than the cac. For surfactant concentrations greater than the cac, additional oil removal occurs by a combination of solubilization and emulsification plus oil mobilization due to the low oil–water interfacial tension and a pumping pressure increase
Assessment of two aerosol optical thickness retrieval algorithms applied to MODIS aqua and terra measurements in Europe
© Author(s) 2012. This work is distributed under the Creative Commons Attribution 3.0 LicenseThe aim of the present study is to validate AOT (aerosol optical thickness) and A° ngström exponent (α), obtained from MODIS (MODerate resolution Imaging Spectroradiometer) Aqua and Terra calibrated level 1 data (1 km horizontal resolution at ground) with the SAER (Satellite AErosol Retrieval) algorithm and with MODIS Collection 5 (c005) standard product retrievals (10 km horizontal resolution), against AERONET (AErosol RObotic NETwork) sun photometer observations over land surfaces in Europe. An inter-comparison of AOT at 0.469 nm obtained with the two algorithms has also been performed. The time periods investigated were chosen to enable a validation of the findings of the two algorithms for a maximal possible variation in sun elevation. The satellite retrievals were also performed with a significant variation in the satellite-viewing geometry, since Aqua and Terra passed the investigation area twice a day for several of the cases analyzed. The validation with AERONET shows that the AOT at 0.469 and 0.555 nm obtained with MODIS c005 is within the expected uncertainty of one standard deviation of the MODIS c005 retrievals (1AOT =±0.05±0.15 ·AOT). The AOT at 0.443 nm retrieved with SAER, but with a much finer spatial resolution, also agreed reasonably well with AERONET measurements. The majority of the SAER AOT values are within the MODIS c005 expected uncertainty range, although somewhat larger average absolute deviation occurs compared to the results obtained with the MODIS c005 algorithm. The discrepancy between AOT from SAER and AERONET is, however, substantially larger for the wavelength 488 nm. This means that the values are, to a larger extent, outside of the expected MODIS uncertainty range. In addition, both satellite retrieval algorithms are unable to estimate accurately, although the MODIS c005 algorithm performs better. Based on the inter-comparison of the SAER and MODIS c005 algorithms, it was found that SAER on the whole is able to obtain results within the expected uncertainty range of MODIS Aqua and Terra observations.Peer reviewe
- …
