Critical adsorption at chemically structured substrates

We consider binary liquid mixtures near their critical consolute points and exposed to geometrically flat but chemically structured substrates. The chemical contrast between the various substrate structures amounts to opposite local preferences for the two species of the binary liquid mixtures. Order parameters profiles are calculated for a chemical step, for a single chemical stripe, and for a periodic stripe pattern. The order parameter distributions exhibit frustration across the chemical steps which heals upon approaching the bulk. The corresponding spatial variation of the order parameter and its dependence on temperature are governed by universal scaling functions which we calculate within mean field theory. These scaling functions also determine the universal behavior of the excess adsorption relative to suitably chosen reference systems

A comparative investigation of the efficacy of CO2 and high power diode lasers for the forming of EN3 mild steel sheets

A comparative investigation of the effectiveness of a high power diode laser (HPDL) and a CO2 laser for the forming of thin section EN3 mild steel sheet has been conducted. The buckling mechanism was identified as the laser forming mechanism responsible for the induced bending. For both lasers it was found that the induced bending angles increased with an increasing number of irradiations and high laser powers, whilst decreasing as the traverse speed was increased. Also, it was apparent from the experimental results that the laser bending angle was only linearly proportional to the number of irradiations when the latter was small due to local material thickening along the bend edge with a high number of irradiations. Owing to the mild steel’s greater beam absorption at the HPDL wavelength, larger bending angles were induced when using the HPDL. However, under certain conditions the performance of the CO2 laser in terms of induced bending angle was seen to approach that of the HPDL. Nevertheless, similar results between the two lasers were only achieved with increasing irradiations, thus it was concluded that the efficacy of the HPDL was higher than that of the CO2 laser insofar as it was more efficient. From graphical results and the employment of an analytical procedure, the laser line energy range in which accurate control of the HPDL bending of the mild steel sheets could be exercised efficiently was found to be 53 J mm-1 < P/v < 78 J mm-1, whilst for the CO2 laser the range was 61 J mm-1 < P/v < 85 J mm-1

Parton distributions in the chiral quark model: a continuum computation

We compute the parton distributions for the chiral quark model. We present a new technique for performing such computations based on Green functions. This approach avoids a discretization of the spectrum. It therefore does not need any smoothing procedures. The results are similar to those of other groups, however the distributions peak at smaller $x$.Comment: 19 pages, 8 Figures, LaTeX, some typos corrected, some additional comments in the conclusion

Development and calibration of an on-line aerosol monitor for PHEBUS test FPT1

An on-line aerosol monitor (OLAM2) has been developed and tested for PHEBUS test FPT1. OLAM2 utilizes new detachable fiber optic cables and sapphire light pipes for light transmission between the OLAM and the electronics. This light transmission system was tested and found to provide better signal-to-noise performance than was achieved with the continuous fibers used for test FPT0. An additional advantage of the detachable fiber/light pipe system is ease of installation. Aerosol testing (OLAM calibration) was performed in order to verify adequate signal-to-noise performance of the new fiber optic system over the specified operating conditions and to check the quantitative light attenuation measurements against theoretical predictions. Results of the testing indicated that light extinction measurements obtained during Phebus tests could be used to estimate aerosol volume concentrations, if diamond window fouling can be avoided. OLAM2 was also subjected to a proof pressure test and a long-term thermal stability test. These tests verified the mechanical and thermal integrity of the OLAM within design specifications. Long-term output signal stability was also verified with the system maintained at design temperature and half-design pressure

Automatic cyclic termination proofs for recursive procedures in separation logic

We describe a formal verification framework and tool implementation, based upon cyclic proofs, for certifying the safe termination of imperative pointer programs with recursive procedures. Our assertions are symbolic heaps in separation logic with user defined inductive predicates; we employ explicit approximations of these predicates as our termination measures. This enables us to extend cyclic proof to programs with procedures by relating these measures across the pre- and postconditions of procedure calls. We provide an implementation of our formal proof system in the Cyclist theorem proving framework, and evaluate its performance on a range of examples drawn from the literature on program termination. Our implementation extends the current state-of-the-art in cyclic proof-based program verification, enabling automatic termination proofs of a larger set of programs than previously possible

A composite approach to produce reference datasets for extratropical cyclone tracks: application to Mediterranean cyclones

Many cyclone detection and tracking methods (CDTMs) have been developed in the past to study the climatology of extratropical cyclones. However, all CDTMs have different approaches in defining and tracking cyclone centers. This naturally leads to cyclone track climatologies with inconsistent physical characteristics. More than that, it is typical for CDTMs to produce a non-negligible number of tracks of weak atmospheric features, which do not correspond to large-scale or mesoscale vortices and can differ significantly between CDTMs. Lack of consensus in CDTM outputs and the inclusion of significant numbers of uncertain tracks therein have long prohibited the production of a commonly accepted reference dataset of extratropical cyclone tracks. Such a dataset could allow comparable results on the analysis of storm track climatologies and could also contribute to the evaluation and improvement of CDTMs. To cover this gap, we present a new methodological approach that combines overlapping tracks from different CDTMs and produces composite tracks that concentrate the agreement of more than one CDTM. In this study we apply this methodology to the outputs of 10 well-established CDTMs which were originally applied to ERA5 reanalysis in the 42-year period of 1979-2020. We tested the sensitivity of our results to the spatiotemporal criteria that identify overlapping cyclone tracks, and for benchmarking reasons, we produced five reference datasets of subjectively tracked cyclones. Results show that climatological numbers of composite tracks are substantially lower than the ones of individual CDTMs, while benchmarking scores remain high (i.e., counting the number of subjectively tracked cyclones captured by the composite tracks). Our results show that composite tracks tend to describe more intense and longer-lasting cyclones with more distinguished early, mature and decay stages than the cyclone tracks produced by individual CDTMs. Ranking the composite tracks according to their confidence level (defined by the number of contributing CDTMs), it is shown that the higher the confidence level, the more intense and long-lasting cyclones are produced. Given the advantage of our methodology in producing cyclone tracks with physically meaningful and distinctive life stages, we propose composite tracks as reference datasets for climatological research in the Mediterranean. The Supplement provides the composite Mediterranean tracks for all confidence levels, and in the conclusion we discuss their adequate use for scientific research and applications