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     

An application of the thermo-radiative model SOLENE for the evaluation of street canyon energy balance

This paper presents a validation of the thermo-radiative model SOLENE and its application for analysing the street canyon energy balance. The validation data were selected from the temperature and radiation measurements obtained during the JAPEX campaign, previously described by Idczak et al. [16]: a set of four lines of steel containers buildings composing three parallel street canyons at an approximate 1:5 scale. Reference weather data and micrometeorological conditions within the canyon were measured. Numerical simulations were carried out using the meteorological measurements as model inputs. The simulated surface temperatures and radiation fluxes are compared with the measurements for a full week period, with a focus on a day with clear sky conditions. The street canyon energy balance analysis demonstrates that the most energetic surface was the street ground due to its thick surface layer of tar-coated gravels while the walls had a low heat capacity. The thermal radiation balance was negative for all canyon surfaces. The sensible heat was transferred mainly from the canyon surfaces to the ambient air, but also from the air to the ground in the morning. The effective albedo of the canyon had a diurnal value of 0.20–0.25, but dropped to 0.10 in the afternoon when the ground strongly transformed the direct and reflected solar radiation into sensible heat. This narrow street configuration enhanced solar radiation absorption and longwave radiation trapping.     

Assessing landscape change and biodiversity values of the Middle Vistula river valley, Poland, using BIO-SAFE

This paper deals with the relation between legally protected biodiversity and riverine ecotopes and with the assessment of biodiversity values of the Middle Vistula river valley (Poland). Furthermore, it describes the effects of landscape change on spatial distribution of ecotope patches and biodiversity values in Kazimierski Landscape Park. Biodiversity values were calculated using BIO-SAFE, a model meant to quantify biodiversity and to value ecotopes based on legally protected species. Dissimilarity indices depict high uniqueness of ecotope types regarding their species assemblages (e.g., river dunes, banks and bars). The actual biodiversity values of the river valley in Kazimierski Landscape Park are high in comparison with floodplains of lowland rivers in Western Europe. GIS analyses of remotely sensed ecotope maps show remarkable differences in number, acreage and patchiness of ecotopes for the years 1953 and 2003. The total number of patches increased by almost 44%. Side channels and floodplain lakes became fragmented. The average and total surface area of bush, forest and arable land increased, but decreased for bare soil, pioneer vegetation and grassland. These landscape changes indicate natural vegetation succession, intensification of agriculture and progressive impacts of river regulation. The Vistula river valley still represents high biodiversity values for higher plants, birds, herpetofauna and fish. However, current landscape changes negatively affect potential values for protected and endangered species. Assessments with BIO-SAFE can help to balance biodiversity conservation, river management and landscape planning.     

A Chamber for Testing the Release of Volatile Substances Secreted by Animals,Especially Mammals,as Exemplified by Substances Released by Rats in Response to Stress

Abstract

The success of the testing of volatile organic compounds emitted by animals is dependent on the creation of appropriate conditions for air sampling subsequently used to assay and identify the compounds. These conditions play a particularly important role in the investigation of pheromones, which are secreted in extremely low concentrations. The authors have not come across any previous work which offers constructional solutions, which would allow avoidance of contamination of the air samples containing volatile substances secreted by animals.

A constructional solution was developed, which provides optimal conditions for their sampling and isolation. Its main advantages are as follows: the exposure chamber (the chamber in which the animal is studied) is filled with synthetic air; the exposure chamber is separated from the atmospheric air with a synthetic air “jacket”; the exposure chamber has been constructed using materials which do not release chemicals and absorb them in trace quantities.     

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₄.     

Small diameter tubular structure design using solvent‐free textile techniques

The aim of research was to elaborate the non‐biodegradable (made of polypropylene (PP)) and resorbable (made of polylactide (PLA)) tubular fibrous structures for the reconstruction of the vascular vessels. For the mentioned structures design, nonconventional manufacturing techniques such as melt blown, melt electrospinning, and melt electroblowing were used. Three techniques were chosen as methods allowing on the fibrous structures manufacture containing fibers in nano‐ or submicro‐size diameter. Other advantages of free‐solvent technique use is the reduction in the clinical adverse events associated with solvent resided in the fibrous structure during the fabrication. The tubular fibrous structures of PP and PLA using above‐mentioned techniques were designed. In first stage, the analysis of the processing parameters influence on the nonbiodegradable and biodegradable tubular structures fiber diameter was performed. Subsequently, the validation step was the analysis of the influence of processing parameters on PP and PLA structural properties for each manufacturing techniques was investigated. The research results confirmed the ability of the tubular structures manufacture with various fiber diameter depending on the applied technique and processing parameters. © 2013 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2014 , 131, 40147.     

Flow patterns and gas fractions of air–oil and air–water flow in pipe bends

An experimental study of two-phase flow in a 180° pipe bends with 0.016, 0.022 and 0.03 m and the curvature radii of 0.11, 0.154, 0.21 m, respectively have been carried out. The experiments were conducted under the input superficial phase velocity: air from 0.038 to 5.4 m s⁻¹, water from 0.018 to 0.92 m s⁻¹ and oil from 0.014 to 0.92 m s⁻¹. The conducted research involved the observation of the forming flow patterns and determination of average volumetric in situ gas fraction. On the basis of the results of experimental flow map was created for gas–liquid flow and a method of calculating gas fractions was established.     

Modeling of the degradation kinetics of biodegradable scaffolds: The effects of the environmental conditions

The rate of hydrolytic degradation of tissue‐engineered scaffolds made from bioresorbable polyesters is dependent on several factors. Some are related to the properties of the degrading polymeric material, but others are related to the geometry of the porous structure and the operating environment. It is well known that the rate of hydrolytic degradation of a given object, porous or nonporous, is lower when it is exposed to dynamic conditions, a flowing medium, than when it operates in static conditions. The most likely reason is the more efficient removal of the acidic degradation products from the vicinity of the polymeric material when it is operating in a flowing medium. In this article, we present a new phenomenological reaction–diffusion model of aliphatic polymer degradation. The model can be used to predict the significance of various factors in in vitro degradation tests, with particular reference to the flow of the degradation medium, and the frequency of medium replacement in the case of static conditions. The developed model was used to simulate the degradation of poly(dl ‐lactide‐co‐glycolide) scaffolds with different porosities subjected to static and dynamic testing conditions. The results confirm that the porosity of the scaffold had a significant influence on the degradation rate. It was shown that the combination of dynamic conditions and high porosity effectively reduced the mass loss and molecular weight loss of the degrading polymer. However, the effect of changes in the velocity of the flowing medium had a negligible effect on the rate of degradation. © 2014 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2014 , 131, 40280.     

Synthesis of Novel Phosphonic‐Type Activity‐Based Probes for Neutrophil Serine Proteases and Their Application in Spleen Lysates of Different Organisms

Neutrophils are a type of granulocyte important in the “first line of defense” of the innate immune system. Upon activation, they facilitate the destruction of invading microorganisms by the production of superoxide radicals, as well as the release of the enzymatic contents of their lysozymes. These enzymes include specific serine proteases: cathepsin G, neutrophil elastase, proteinase 3, as well as the recently discovered neutrophil serine protease 4 (NSP4). Under normal conditions, the proteolytic activity of neutrophil proteases is tightly regulated by endogenous serpins; however, this mechanism can be subverted during tissue stress, thereby resulting in the uncontrolled activity of serine proteases, which induce chronic inflammation and subsequent pathology. Herein, we describe the development of low‐molecular‐weight activity‐based probes that specifically target the active sites of neutrophil proteases.     

Use of the higher spectra in the low-amplitude fatigue testing

Particular place among the methods of vibroacoustic diagnostics is occupied by the problems of early defect detection. Let us note that the process of defect formation may lead to both. The intensification of non-linear phenomena as well as the occurrence of non-stationary effects even if during the early stages the intensity of defects is small while the growth of the level of vibration and noise is negligible, as contrasted with emergency states. A useful method is to test the higher order spectra, which, respectively, define the non-linear effects. A test bed for low-amplitude tests (10⁶-10⁷ cycles) of fatigue processes was built. The authors built a small-dimension test bed for diagnosing the low-amplitude fatigue processes. Small dimensions result from the proposal of mounting the test bed on shaker. The dimensions of test bed are 0.2×0.2×0.2 m and its weight does not exceed 2 kg, with a titan head mounted directly on the piezoelectric generator. The main goal of these investigations is to examine the low-amplitude fatigue strength of a model of the cantilever supported section of a shaft and impact of dynamic stress, which is especially important in the case of high frequency loading which is predominant in mounting elements of rotating machinery.