Reasoning with first order nondeterministic specifications

The paper presents a variant of first order logic for specifying nondeterministic software. Models of the logics are multialgebras, i.e. multi-sorted algebras with set-valued operations, together with multi-sorted valuations of variables. We allow empty carrier sets but the valuations are kept total. Terms are interpreted as sets and the usual set of algebraic terms is extended by an additional construct used for limiting nondeterminism. Atomic formulae are of the form where is a rewrite operator, corresponding semantically to inclusion. For the above logic, we develop two complete deduction systems in the natural deduction style: a Rasiowa-Sikorski system for sequences of formulae, and a cut-free Gentzen-style sequent calculus. We also consider the issues of determinism and partiality, proposing alternate solutions to defining the respective predicates in our logic. Received: 4 March 1997 / 25 May 1999     

Accumulation of Cu(II) cations in poly(3,4-ethylenedioxythiophene) films doped by hexacyanoferrate anions and its application in Cu-selective electrodes with PVC based membranes

Electrochemical properties of poly(3,4-ethylenedioxythiophene) doped with hexacyanoferrate(II,III) ions (PEDOT(HCF)) were studied in the presence of Cu²⁺ ions. Voltammetric and EDAX studies revealed retention of hexacyanoferrate anions in the polymer film and accumulation of Cu(II) cations, as well as formation of solid copper hexacyanoferrate near the polymer surface.Accumulation of Cu²⁺ ions was found to be advantageous from the point of view of PEDOT(HCF) applications as a solid contact (ion-to-electron transducer) in all-solid-state Cu²⁺-selective electrodes with solvent polymeric polyvinyl chloride (PVC) based membrane, containing Cu²⁺-selective ionophore. Binding of Cu²⁺ ions in the conducting polymer layer results in analyte ions flux into the transducer phase. Thus, pronounced enhancement of selectivity of the all-solid-state Cu²⁺-selective electrode or lower detection limit of the potentiometric response range was achieved, reaching under optimised conditions 10⁻⁷ M CuSO₄.     

Science and technology in the region: The output of regional science and technology, its strengths and its leading institutions

Summary We operationalize scientific output in a region by means of the number of articles (as in the SciSearch database) per year and technology output by means of the number of patent applications (as in the database of the European Patent Office) per priority year. All informetric analyses were done using the DIALOG online-system. The main research questions are the following: Which scientific and technological fields or topics are most influent within a region and which institutions or companies are mainly publishing articles or holding patents? Do the distributions of regional science and technology fields and of publishing institutions follow the well-known informetric function? Are there - as it is expected - only few fields and few institutions which dominate the region? Is there a connection between the economic power of a region and the regional publication and patent output? Examples studied in detail are seven German regions: Aachen, Düsseldorf, Hamburg, Köln (Cologne), Leipzig - Halle - Dessau, München (Munich), and Stuttgart. Three different indicators were used, science and technology attraction of a region (number of scientific articles and patents), science and technology intensity (articles and patents per 1,000 inhabitants), and science and technology density (articles and patents per 1 billion EURO gross value added). Top region concerning both attraction and intensity is Munich, concerning density it is Aachen.     

Biodegradability evaluation of wastewaters from malt and beer production

This study reports results of respirometric measurements of activated sludge biodegrading the substrate in wastewater originating from the following brewery plant production departments: malt house, brewhouse, fermentation house and racking house. The process was conducted at two temperatures: 10 and 20°C with activated sludge adapted to brewery wastewaters. The loading of activated sludge reached 0.25 g chemical oxygen demand per gram dry matter per day, which assured complete degradation of organic matter. The physicochemical characteristics of the wastewaters are provided. The study demonstrates a correlation between the site of wastewater generation, the specific character of a unitary technological process and the quality of the wastewater discharged to the sewage system, including biodegradability. Despite significant differences in the quality of the wastewaters, they were characterized by high biodegradability at a temperature of 10 and 20°C and by the C:N:P ratio being beneficial for biological treatment, irrespective of their source of origin. Copyright © 2013 The Institute of Brewing & Distilling     

Monitoring of transient temperature and thermal stresses in pressure components of steam boilers

Two methods of solving the transient inverse heat conduction problens in complex shaped elements are presented in this paper. The time-space temperature distribution in whole element cross-section is reconstructed using the measured temperature histories at several points placed inside the element or on its easily accessible outer surface. Thermal stresses are then evaluated involving Finite Element Analysis. In both methods the heat transfer coefficient at the element inner surface is the unknown value. Four examples are presented, two for one method showing the high accuracy of the presented methods and possibility of their practical application.     

X-ray Microtomography Analysis of the Aluminum Alloy Composite Reinforced by SiC After Friction Stir Processing

Despite many years of using friction stir processing (FSP), there are many unexplained aspects concerning the processes which appear during FSP: determining the direction of flow and mixing of the materials and the degree of mixing and microstructure fragmentation in specific areas. This paper presents the impact of FSP on the micro- and macrostructure of the composite with hypo-eutectic Si matrix reinforced by SiC particles. The analysis of the structure of the processed area in FSP in the relation to the microstructure of the base material has been made using x-ray microtomography. The results of these studies have been juxtaposed with studies using microscopic methods (light microscopy and SEM). The microtomography images revealed an additional separation on the advancing side and the weld nugget, where on the basis of a 3D reconstruction a layer microstructure on the direction of linear movement of the tool has been demonstrated. The analyses have revealed a limited flow of the material above the weld nugget. The main advantages of the research method applied were the possibility to show the invisible or barely visible elements of the microstructure using standard test methods and the ability to analyze the microstructure changes uninterruptedly in different directions in the volume of the material.     

The Characteristics of the Superconducting and Magnetic Phases in the Polycrystalline Samples of Ruthenocuprates of Nominal Compositions RuSr2GdCu2O8, Ru0.98Sr2GdCu2O8 and Ru0.5Sr2GdCu2.5O8−δ

The temperature dependencies of the resistivity for the superconducting ruthenocuprates of nominal compositions RuSr₂GdCu₂O₈, Ru_0.98Sr₂GdCu₂O₈ and Ru_0.5Sr₂GdCu_2.5O_8?δ were examined for the magnetic field dependent characteristics of the superconducting transitions. The effect of the insignificant diminishing of the Ru/Cu ratio in parent RuSr₂GdCu₂O₈ was confirmed as relevant for the stabilisation of the superconducting phase. Noted differences in the compared characteristics are interpreted for possible inhomogeneous nucleation of the superconducting phase in the parent ruthenocuprate. The phase anisotropy in RuSr₂GdCu₂O₈ and Ru_0.98Sr₂GdCu₂O₈, in presence of the compounds Ru magnetism, appears to be a cause of a significant softening of the H _c2(T) phase line. An anomalous lowering of the magnetoresistivity was observed in the approx. 10 K range above the onset of the superconducting transition, which may suggest the presence of enhanced superconducting fluctuations in the samples. The positive magnetic field shift of the temperatures, which limit the magnetoresistivity and the specific heat signatures of the magnetic ordered state of the Ru sublattice, suggests probing the influence of the ferromagnetic Ru interactions in an effective metallic-like conduction channel present in the samples. Superconducting characteristics of the Ru_0.5Sr₂GdCu_2.5O_8?δ reveal a significant contribution of the Gd paramagnetic signal at low temperatures, interpreted for the presence of a significant anisotropy of the superconducting phase. It is concluded that the Ru–Cu substituted phases of ruthenocuprates may present an opportunity to investigate the effectively anisotropic superconducting phase despite its comparatively high T _c in the compounds related to the 123-type cuprate superconductor.     

Solvent-free chemical functionalization of hydrogen-terminated boron-doped diamond electrodes with diazonium salts in ionic liquids

This paper reports on green chemical functionalization of hydrogen-terminated boron-doped diamond (BDD) surfaces with aryldiazonium salts in the presence of ionic liquids. The reaction takes place at room temperature in air without any external bias in either hydrophobic (1-butyl-3-methylimidazolium hexafluorophosphate) or hydrophilic (1-butyl-3-methylimidazolium methyl sulfate) ionic liquids. The resulting surfaces were characterized using X-ray photoelectron spectroscopy and electrochemical measurements.     

Biodegradable Polyurethane Elastomers for Biomedical Applications – Synthesis Methods and Properties

Biodegradable polyurethane elastomers (BioEPUR) are becoming increasingly important as biomaterials because they have excellent chemical, physico-mechanical and biological properties. This review presents the recent developments on BioEPUR and their potential applications in the biomedical and pharmaceutical fields. The aim of this work is to present an overview of the various methods of synthesis and properties of biomedical BioEPUR. Polyurethanes-based aliphatic or cycloaliphatic diisocyanates and polyesters, poly(ester-carbonate)s or copolymers of heterocyclic monomers were discussed.