Intraprocedural Analysis Based on Symbolic Execution for Bug Detection

Programming and Computer Software - In this paper, we overview the approaches and techniques employed by the Svace static analysis tool for intraprocedural analysis. This analysis implies the...     

Deformation of a surface layer and coating application using a flexible tool

The microstructure and properties of the functional coatings formed by impact friction processing of product surfaces with a flexible tool are studied. It is established that the processing produces a hard nanostructured surface layer with fragments up to 0.13 µm in size, as it is achieved by severe plastic deformation.     

Design and evaluation of a mobile smart home interactive system with elderly users in Brazil

Personal and Ubiquitous Computing - This article presents a study concerning the evaluation of a smart home control system for elderly people with a sample of 10 users in a city in the interior of...     

Inferring kinetic dissolution of NaCl in aqueous glycol solution using a low-cost apparatus and population balance model

An experimental methodology for inferring brine dissolution rate in monoethylene glycol (MEG) solutions at different temperatures using a webcam combined with a mathematical model is presented. The measurement system is designed to track the RGB (red, green, and blue) colour variations during the dissolution process. A dynamic model augmented with the population balance equation is applied to describe the dissolution process. Moreover, the dissolution rate is consistently related to the temperature and MEG concentration through the driving force based on the Gibbs energy and chemical affinity. The applied low-cost measurement apparatus proved to be a useful resource for tracking the dissolution dynamics in a wide range of undersaturation.     

Preparation of highly crystalline titanium-based ceramic microfibers from polymer precursor blend by needle-less electrospinning

The aim of the present contribution is to study the influence of the post-spinning heat - treatment of single TiO₂/PVP precursor fibers on the properties and morphology of the final titanium-based microfibers. The post-spinning treatment conditions were: calcination in air at 450–600?°C and pyrolysis in argon at 1000–1700?°C. Calcination resulted in a production of anatase-rich and pure rutile fibers. The use of an alternative sintering method, the low-temperature plasma treatment, led to the crystallization of the composite Magnéli phases/polymer fibers. As a result of the same one precursor, pyrolysis at 1000?°C, the Carbon/TiO₂ composite fibers were obtained. Rising the treatment temperature in inert atmosphere led to the formation of the titanium carbide fibers. The formation process and all the obtained products were characterized by differential scanning calorimetry accompanied with thermogravimetric analysis (DSC/TGA), scanning and transmission electron microscopy (SEM, TEM), X-ray diffraction (XRD), and image analysis techniques.