Proving termination of nonlinear command sequences

We describe a simple and efficient algorithm for proving the termination of a class of loops with nonlinear assignments to variables. The method is based on divergence testing for each variable in the cone-of-influence of the loop’s condition. The analysis allows us to automatically prove the termination of loops that cannot be handled using previous techniques. We also describe a method for integrating our nonlinear termination proving technique into a larger termination proving framework that depends on linear reasoning.     

Synthesis and characterization of calcium phosphate coatings on Nitinol

In recent years, coating of metal orthopedic implants with bioactive layers to promote fixation with bones has become increasingly common. Calcium phosphate coatings on the Nitinol surface were formed using two low-temperature methods: sol–gel and electrochemically assisted deposition. The coatings formed were characterized using: X-ray diffraction analysis, field emission scanning electron microscopy, energy dispersive X-ray spectroscopy, and Fourier transform infrared spectroscopy. Cyclic voltammetry studies were carried out in the deposition solution to determine parameters for electrodeposition and to understand electrochemistry of deposition. The barrier properties and corrosion resistance of coatings were tested in the physiological Hanks’ solution using electrochemical impedance spectroscopy. The sol–gel deposited coating consisted of two phases, hydroxyapatite and tricalcium phosphate (TCP). Apatite coatings containing TCP offered the opportunity to create a grafting material with high bioactivity and bioresorbility. The electrodeposited coating consisted of Ca-deficient HAp which resembles to biological HAp.     

An electronic driver for improving the open and closed loop electro-mechanical response of Dielectric Elastomer actuators

Actuators based on Dielectric Elastomers are a promising technology in robotic and mechatronic applications. The overall actuator performances are influenced by the non-linear and highly coupled electrical and mechanical behavior of the employed materials. To date, the practical electro-mechanical response and controllability of actuators based on Dielectric Elastomers are limited by the inadequacy of the employed driving circuits, which are based on voltage-regulated converters. In this paper, first a novel activation strategy is proposed for Dielectric Elastomer actuators, which is based on a custom electronic driver derived from the flyback transformer topology. Second, two closed-loop controllers employing the proposed electronic driver are presented and compared for the accurate and fast regulation of the position of Dielectric Elastomer actuators. Experimental results are reported which show that the proposed electronic driver outperforms the traditional driving circuits in terms of energy efficiency, fast open-loop actuator activation and good closed-loop actuator controllability.     

Original article: Supercritical CO2 extraction of soybean oil: process optimisation and triacylglycerol composition

Supercritical CO₂ extraction of soybean oil was performed. Response surface methodology was applied to evaluate the effects of pressure, temperature and extraction time on soybean oil yield. The analysis of variance showed that pressure and extraction time followed by the quadratic term of pressure and interaction between pressure and time had the significant effect on the oil yield. The maximum extraction yield (6.59/100 g soybeans) at constant CO₂ flow rate of 1.629 L per min was achieved at 50 °C, 300 bar and 4 h. The experimental values agreed well with those predicted by regression model. One‐stage diffusion model was successfully applied for modelling the kinetics of soybean oil. The main triacylglycerols of soybean oil were trilinolein, dilinoleoolein, dilinoleopalmitin and linoleooleopalmitin. Soybean oil extracted by supercritical CO₂ had higher levels of linoleic and linolenic acids and lower levels of palmitic and stearic acids compared to oil extracted by organic solvent.     

Synthesis and characterization of hafnium carbide fine powders

Hafnium carbide powder was synthesized by sol–gel polycondensation of hafnium chloride with citric acid. The starting materials were dissolved in water and mixed homogeneously on a hot plate until precursor gel was formed. Pyrolysis of this gel resulted in monoclinic hafnia which after subsequent heat treatment transformed into hafnium carbide. The obtained materials were analyzed by means of X-ray diffraction and scanning electron microscopy. The results showed that the obtained carbide powders were composed of nearly equiaxed particles with narrow size distribution. Characterization by nitrogen adsorption showed that the obtained powders were micro- and mesoporous materials with high specific surface area.     

Integrating resource production and construction using BIM

This paper presents the outcomes of a research and development project carried out at the University of Maribor, Construction IT Centre, with regard to the introduction of a building information model (BIM) and a model based construction process into the operational environment of a construction company. The initiative for the project came from the industry and was performed as a joined effort of the research organization and the construction company. Work was performed in the scope of an industrialized construction environment, with the main aim to integrate mass production prefabrication processes with construction site activities. BIM was used as a link between an enterprise resource planning (ERP) information system that supports manufacturing process and construction object related information, mainly handled by CAD tools. The benefits of this link are presented with regard to project progress monitoring and material flow management.     

Experimental evidence for the interaction of C-60 fullerene with lipid vesicle membranes

There are some molecular dynamic simulations but a paucity of experimental evidence of the effects of C-60 fullerene on lipid bilayers. The aim of this study is to assess the potential for disruption of the lipid bilayer by C-60 suspended in water. We selected a C-60 suspension that has previously been shown to provoke cell membrane destabilisation in vivo. Electromobility measurements show significant negative surface charge on the C-60 nanoparticles suspended in a glucose solution and a zeta potential of ?26 mV. The prevalent C-60 clusters have hydrodynamic radii of approximately 2 nm. Phase contrast microscopy and computer aided image analysis results show that C-60 causes shape transformations and rupture of unilamellar phospholipid vesicles, indicative of changes in their average mean curvature. Small-angle X-ray scattering reveals that C-60 provokes disruptions of external membranes of multilamellar vesicles only after freeze and thaw cycles. Here, the liposomes undergo breakage and annealing steps which increase the probability for fullerenes to insert into the MLVs. Our experimental findings confirm the potential of C-60 to reconstruct lipids in biological membranes. This research enhances our understanding of the impact of engineered nanoparticles on cell membranes.     

RNA Aminoacylation Mediated by Sequential Action of Two Ribozymes and a Nonactivated Amino Acid

In the transition from the RNA world to the modern DNA/protein world, RNA‐catalyzed aminoacylation might have been a key step towards early translation. A number of ribozymes capable of aminoacylating their own 3′ termini have been developed by in vitro selection. However, all of those catalysts require a previously activated amino acid—typically an aminoacyl‐AMP—as substrate. Here we present two ribozymes connected by intermolecular base pairing and carrying out the two steps of aminoacylation: ribozyme 1 loads nonactivated phenylalanine onto its phosphorylated 5′ terminus, thereby forming a high‐energy mixed anhydride. Thereafter, a complex of ribozymes 1 and 2 is formed by intermolecular base pairing, and the “activated” phenylalanine is transferred from the 5′ terminus of ribozyme 1 to the 3′ terminus of ribozyme 2. This kind of simple RNA aminoacylase complex was engineered from previously selected ribozymes possessing the two required activities. RNA aminoacylation with a nonactivated amino acid as described here is advantageous to RNA world scenarios because initial amino acid activation by an additional reagent (in most cases, ATP) and an additional ribozyme would not be necessary.