Decidability of Equivalence of Symbolic Derivations

We give in this paper an alternative, and we believe simpler, proof of a deep result by Mathieu Baudet, namely that the equivalence of symbolic constraints is decidable for deduction systems on a finite signature modulo a subterm convergent equational theory.     

Modification of Fe and Al elemental powders’ sintering with addition of magnesium and magnesium hydride

An attempt to modify sintering of iron and aluminium elemental powders with use of small additions of Mg and MgH₂ was presented in this paper. The kinetics of such modified sintering was investigated using DSC technique, XRD analysis and SEM observations. Significant changes in the mechanism of exothermal formation reaction of Fe–Al intermetallic phases in compositions doped with magnesium and its hydride was observed. Initiation temperature of Self-propagating High-temperature Synthesis (SHS) reaction was pronouncedly shifted to lower value as compared with undoped composition. Influence of additions on the SHS reaction kinetics parameters was also calculated with use of the JMA model and changes of the Avrami exponent value of specific phase formation was noticed. Positive effect of MgH₂ addition on partial homogeneity of final product was also studied.     

Extraction of phenolic compounds from sour cherry pomace with supercritical carbon dioxide: Impact of process parameters on the composition and antioxidant properties of extracts

Sour cherry (Prunus cerasus) is rich in biologically active phenolic compounds. These compounds are concentrated in fruit skin and most of them remain in the leftovers during the production of juice. Supercritical carbon dioxide extraction was used to separate phenolic compounds from sour cherry pomace. The effects of temperature, pressure and the addition of ethanol on anthocyanin and the total phenolic content and radical scavenging activity of the extracts were investigated. The best results were acquired for 35°C, 10 MPa and 80% ethanol addition. A strong correlation was found between the phenolic content and other features of the extracts.     

Elaboration of small‐diameter vascular prostheses—Selection of appropriate sterilisation method

The aim of study is the elaboration of semi‐biodegradable, multilayered tubular structures as substitutes for the reconstruction of small diameter vascular prostheses (<6 mm). The inert external layer of the prostheses will be fabricated via the melt electrospinning of poly (l ‐lactide‐co‐glycolide) (PLGA). The middle layer will be constructed from polypropylene (PP); the first prototype will be produced via melt electrospinning and the second using the melt blowing technique. The general aim of this stage of the research is the selection of a sterilisation technique that is appropriate for semi‐biodegradable, multilayered tubular structures. For this purpose, single tubular structures created via the melt electrospinning of PLGA or PP and melt blown tubular structures of PP were elaborated. The influence of steam, ethylene‐oxide (EO), and radiation sterilisation techniques on the elaborated microstructure of tubular structures was analyzed during this study. The effect of each sterilisation technique was evaluated using differential scanning calorimetry (DSC), Fourier transform infrared spectroscopy (FTIR), and scanning electron microscopy/energy‐dispersive X‐ray spectroscopy analysis (SEM/EDS). The changes in average molecular weight (M_w) and crystallinity index (CI) of the PLGA tubular structures after EO and steam sterilisation were evaluated. The EO and steam sterilisation resulted in the complete destruction of PLGA tubular structures. Only the radiation sterilisation (accelerated electrons) did not influence on PLGA tubular structures morphology as well as thermal and chemical properties. FTIR and SEM/EDS analysis indicated that no changes in the chemical properties of PP tubular structures after each sterilisation occurred. © 2014 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2014 , 131, 40812.     

Characterization of Glass Beads Surface Modified with Ionic Surfactants

Knowledge of the wetting characteristic of mineral surfaces is very important in enhancing the efficiency of separation of valuable minerals from gangue using froth flotation or oil agglomeration. In this paper a capillary rise technique was used to characterize the glass beads surface modified with cationic surfactant. The glass microspheres were used as model particles with a spherical shape and smooth surface to eliminate the roughness effect. The value of the contact angle for water was found to be 21.5 for unmodified beads, and 61.8, 89.7, 68.4 for 0.1, 1.0, 10 mg/g_solid of CTAB, and 39.8, 68.6, 87.9 for 0.1, 1.0, 10 mg/g_solid of DDAHCl, respectively. Data revealed that the adsorption of surfactant onto glass beads decreased the value of the electron donor component, γ-, which defines the hydrophobicity of the surface. Also, the property of the surface was investigated by flotation and oil agglomeration experiments. It was observed that particles with low value of contact angle for water and high for 1-bromonaphthalene and low value of γ- were floated with a recovery equal to 91.1 and 83.1% for CTAB and DDAHCl, respectively, and effectively agglomerated. This indicates that the capillary rise method can be successfully used to predict the wetting properties of solid particles in mineral processing.     

一种基于移动代理的SIP移动性结构设计

研究了移动代理的预先执行认证程序技术,提出了在无线局域网中采用基于EAP-SIM的AAA关键字管理方式,实现在无线局域网(WLAN)与移动通信网(UMTS)环境中的无缝语音漫游服务的方法。