Halogenation of fluorinated cyclic 1,3-dicarbonyl compounds: new aspects of synthetic application

In order to elaborate on an approach towards 2-(fluoroacyl)phenols being the superior alternative to the conventional Fries-rearrangement based methodology, the behaviour of cyclic fluorinated 1,3-dicarbonyls in reactions with halogenating agents was examined. The synthetic relevance of the polyhalogenated compounds obtained was demonstrated by the synthesis of several new heterocycles. An aromatization via a halogenation-dehydrohalogenation sequence proved to be a rewarding synthetic route to 2-(fluoroacyl)phenols and previously unknown 3-(fluoroacyl)thiochromones. The structure of one of the synthesized compounds was confirmed by X-ray diffraction analysis.     

Eliminating disjunctions by disjunction elimination

Completeness and other forms of Zorn’s Lemma are sometimes invoked for semantic proofs of conservation in relatively elementary mathematical contexts in which the corresponding syntactical conservation would suffice. We now show how a fairly general syntactical conservation theorem that covers plenty of the semantic approaches follows from an utmost versatile criterion for conservation due to Scott.To this end we work with multi-conclusion entailment relations as extending single-conclusion entailment relations. In a nutshell, the additional axioms with disjunctions in positive position can be eliminated by reducing them to the corresponding disjunction elimination rules, which turn out provable in a wealth of mathematical instances. In deduction terms this means to fold up branchings of proof trees by way of properties of the relevant mathematical structures.Applications include syntactical counterparts of the theorems or lemmas known under the names of Artin–Schreier, Krull–Lindenbaum and Szpilrajn, as well as of the spatiality of coherent locales. Related work has been done before on individual instances, e.g. in locale theory, dynamical algebra, formal topology and proof analysis.     

Supersolid hard-core bosons on the triangular lattice

We determine the phase diagram of hard-core bosons on a triangular lattice with nearest-neighbor repulsion, paying special attention to the stability of the supersolid phase. Similar to the same model on a square lattice we find that for densities rho<1/3 or rho>2/3 a supersolid phase is unstable and the transition between a commensurate solid and the superfluid is of first order. At intermediate fillings 1/3相似文献   

Active Raman sounding of the earth's water vapor field

The typically weak cross-sections characteristic of Raman processes has historically limited their use in atmospheric remote sensing to nighttime application. However, with advances in instrumentation and techniques, it is now possible to apply Raman lidar to the monitoring of atmospheric water vapor, aerosols and clouds throughout the diurnal cycle. Upper tropospheric and lower stratospheric measurements of water vapor using Raman lidar are also possible but are limited to nighttime and require long integration times. However, boundary layer studies of water vapor variability can now be performed with high temporal and spatial resolution. This paper will review the current state-of-the-art of Raman lidar for high-resolution measurements of the atmospheric water vapor, aerosol and cloud fields. In particular, we describe the use of Raman lidar for mapping the vertical distribution and variability of atmospheric water vapor, aerosols and clouds throughout the evolution of dynamic meteorological events. The ability of Raman lidar to detect and characterize water in the region of the tropopause and the importance of high-altitude water vapor for climate-related studies and meteorological satellite performance are discussed.     

Flat histogram methods for quantum systems: algorithms to overcome tunneling problems and calculate the free energy

We present a generalization of the classical Wang-Landau algorithm [Phys. Rev. Lett. 86, 2050 (2001)]] to quantum systems. The algorithm proceeds by stochastically evaluating the coefficients of a high temperature series expansion or a finite temperature perturbation expansion to arbitrary order. Similar to their classical counterpart, the algorithms are efficient at thermal and quantum phase transitions, greatly reducing the tunneling problem at first order phase transitions, and allow the direct calculation of the free energy and entropy.     

LaNi0.6Fe0.4O3 as a cathode contact material for solid oxide fuel cells

In solid oxide fuel cells (SOFCs) the interconnects electrically link air and fuel electrodes on either side to produce a practical electrical power output. The long-term stability of intermediate temperature (650–800 °C) SOFC operation strongly depends on the composition of the ferritic steel interconnection material and the steel/ceramic interface. During high-temperature operation the Cr-containing ferritic steel forms an oxide scale at its surface, thereby causing high ohmic electrical contact resistance when connected to the surface of an electronically conducting ceramic cathode material. In the long run, the vaporization of Cr species from these oxide scales also affects the cathode activity, eventually leading to cell deterioration. One way of overcoming the problem is to incorporate another electronically conducting ceramic compliant layer, commonly known as the contact layer, between the cathode and metallic interconnect. In this contribution, LaNi_0.6Fe_0.4O₃ was tested as a cathode contact material. Its performance at 800 °C in the form of a ~50 μm thick film applied on two ferritic steel compositions was examined. After 600 h of testing, contact resistances of 60 and 160 mΩ cm² were obtained. The different values are explained by the variation in steel composition.