Fixed-point elimination in the intuitionistic propositional calculus

It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic models of the Intuitionistic Propositional Calculus-always exist, even when these algebras are not complete as lattices. The reason is that these extremal fixed-points are definable by formulas of the IPC. Consequently, the $\mu$-calculus based on intuitionistic logic is trivial, every $\mu$-formula being equivalent to a fixed-point free formula. We give in this paper an axiomatization of least and greatest fixed-points of formulas, and an algorithm to compute a fixed-point free formula equivalent to a given $\mu$-formula. The axiomatization of the greatest fixed-point is simple. The axiomatization of the least fixed-point is more complex, in particular every monotone formula converges to its least fixed-point by Kleene's iteration in a finite number of steps, but there is no uniform upper bound on the number of iterations. We extract, out of the algorithm, upper bounds for such n, depending on the size of the formula. For some formulas, we show that these upper bounds are polynomial and optimal

Tuning of Human Modulation Filters Is Carrier-Frequency Dependent

Licensed under the Creative Commons Attribution License

TECHNICAL NOTE ON THE INTRODUCTION OF PARTRIDGE COLOURED HUNGARIAN CHICKEN IN THE MEKONG DELTA OF VIETNAM

The paper aims to provide a brief agricultural profile of Tra Vinh province, informative adaptation results of Partridge coloured Hungarian chicken (PH) in Mekong Delta and describe the procedure to introduce PH into Tra Vinh province. During the introducing process, flexibility, consideration of the local condition (temperature, humidity, daily sunlight…), and availability of local resources such as bamboo blind, rice husk is essential for introducing a new chicken breed into Mekong Delta. For this, practical examples are given in the study. Regarding adaptation results, relatively high survival rate (89.6%) of PH was recorded at the end of 8th week. Although the recorded data of PH in Tra Vinh is limited, their performance is expected to be equally good or even better in comparison with that obtained in the sub-tropical climatic zone (North Vietnam). Further studies of PH adaptability in Mekong Delta for sustainable, traditional production and crossing purposes, as well as the involvement of chicken caravans to free range farming are recommended

Operando tracking of oxidation-state changes by coupling electrochemistry with time-resolved X-ray absorption spectroscopy demonstrated for water oxidation by a cobalt-based catalyst film

Transition metal oxides are promising electrocatalysts for water oxidation, i.e., the oxygen evolution reaction (OER), which is critical in electrochemical production of non-fossil fuels. The involvement of oxidation state changes of the metal in OER electrocatalysis is increasingly recognized in the literature. Tracing these oxidation states under operation conditions could provide relevant information for performance optimization and development of durable catalysts, but further methodical developments are needed. Here, we propose a strategy to use single-energy X-ray absorption spectroscopy for monitoring metal oxidation-state changes during OER operation with millisecond time resolution. The procedure to obtain time-resolved oxidation state values, using two calibration curves, is explained in detail. We demonstrate the significance of this approach as well as possible sources of data misinterpretation. We conclude that the combination of X-ray absorption spectroscopy with electrochemical techniques allows us to investigate the kinetics of redox transitions and to distinguish the catalytic current from the redox current. Tracking of the oxidation state changes of Co ions in electrodeposited oxide films during cyclic voltammetry in neutral pH electrolyte serves as a proof of principle

Rubber Impact on 3D Textile Composites

A low velocity impact study of aircraft tire rubber on 3D textile-reinforced composite plates was performed experimentally and numerically. In contrast to regular unidirectional composite laminates, no delaminations occur in such a 3D textile composite. Yarn decohesions, matrix cracks and yarn ruptures have been identified as the major damage mechanisms under impact load. An increase in the number of 3D warp yarns is proposed to improve the impact damage resistance. The characteristic of a rubber impact is the high amount of elastic energy stored in the impactor during impact, which was more than 90% of the initial kinetic energy. This large geometrical deformation of the rubber during impact leads to a less localised loading of the target structure and poses great challenges for the numerical modelling. A hyperelastic Mooney-Rivlin constitutive law was used in Abaqus/Explicit based on a step-by-step validation with static rubber compression tests and low velocity impact tests on aluminium plates. Simulation models of the textile weave were developed on the meso- and macro-scale. The final correlation between impact simulation results on 3D textile-reinforced composite plates and impact test data was promising, highlighting the potential of such numerical simulation tools

The H1 Forward Proton Spectrometer at HERA

The forward proton spectrometer is part of the H1 detector at the HERA collider. Protons with energies above 500 GeV and polar angles below 1 mrad can be detected by this spectrometer. The main detector components are scintillating fiber detectors read out by position-sensitive photo-multipliers. These detectors are housed in so-called Roman Pots which allow them to be moved close to the circulating proton beam. Four Roman Pot stations are located at distances between 60 m and 90 m from the interaction point.Comment: 20 pages, 10 figures, submitted to Nucl.Instr.and Method

Heteroepitaxial growth of ferromagnetic MnSb(0001) films on Ge/Si(111) virtual substrates

Molecular beam epitaxial growth of ferromagnetic MnSb(0001) has been achieved on high quality, fully relaxed Ge(111)/Si(111) virtual substrates grown by reduced pressure chemical vapor deposition. The epilayers were characterized using reflection high energy electron diffraction, synchrotron hard X-ray diffraction, X-ray photoemission spectroscopy, and magnetometry. The surface reconstructions, magnetic properties, crystalline quality, and strain relaxation behavior of the MnSb films are similar to those of MnSb grown on GaAs(111). In contrast to GaAs substrates, segregation of substrate atoms through the MnSb film does not occur, and alternative polymorphs of MnSb are absent

Measurements of Transverse Energy Flow in Deep-Inelastic Scattering at HERA

Measurements of transverse energy flow are presented for neutral current deep-inelastic scattering events produced in positron-proton collisions at HERA. The kinematic range covers squared momentum transfers Q^2 from 3.2 to 2,200 GeV^2, the Bjorken scaling variable x from 8.10^{-5} to 0.11 and the hadronic mass W from 66 to 233 GeV. The transverse energy flow is measured in the hadronic centre of mass frame and is studied as a function of Q^2, x, W and pseudorapidity. A comparison is made with QCD based models. The behaviour of the mean transverse energy in the central pseudorapidity region and an interval corresponding to the photon fragmentation region are analysed as a function of Q^2 and W.Comment: 26 pages, 8 figures, submitted to Eur. Phys.