Chaotic pulse position modulation to improve the efficiency of sonar sensors

Ultrasonic devices are widely used in robotics as exteroceptive sensors for ranging measurements. Robotic applications often involve a large number of sonars operating concurrently, giving rise to the phenomenon of crosstalk. In this work, the problem of improving performance of ultrasonic devices in the presence of crosstalk and noise is addressed. In order for each device to discriminate its own echo, chaos is exploited to create unique firing sequences. In particular, the firing scheme described in this work is inspired to a modulation scheme used in chaotic communications, called chaotic pulse position modulation (CPPM). The evaluation of the time of flight is performed by a detection filter. The experimental setup consists of a Polaroid 600 electrostatic transducer driven by a continuous CPPM modulator. Experimental results confirm the suitability of the approach.     

Performance evaluation of a biotrickling filter degrading mixtures of hydrophobic and hydrophilic compounds

The removal of a mixture of painting solvents from waste air using a biofiltration process was evaluated in this project. The pollutants removed included hydrophobic (aromatic hydrocarbons) and hydrophilic (water soluble ketones and esters) compounds. A trickle bed reactor with a defined immobilized mixed culture on polyethylene Pall rings was utilized in this biodegradation study. The removal efficiencies (RE) of the individual groups of pollutants during loading experiments were determined. An increase of the aromatic hydrocarbons loading resulted in a drop of their RE_AROM with no effect on the RE value of ketones. The overloading of ketones caused a rapid drop in RE_AROM and a small drop in RE_KET. To achieve a restoration of the biocatalyst degradation properties after the increase in loading, an addition of phosphate to the aqueous medium was implemented which successfully restored the removal efficiency.     

The Evolving Role of Fetuin-A in Nonalcoholic Fatty Liver Disease: An Overview from Liver to the Heart

Nonalcoholic fatty liver disease (NAFLD) is strongly associated to the features of metabolic syndrome which can progress to cirrhosis, liver failure and hepatocellular carcinoma. However, the most common cause of mortality in people with NAFLD is not liver-related but stems from atherosclerotic cardiovascular disease (CVD). The prevalence of NAFLD is on the rise, mainly as a consequence of its close association with two major worldwide epidemics, obesity and type 2 diabetes (T2D). The exact pathogenesis of NAFLD and especially the mechanisms leading to disease progression and CVD have not been completely elucidated. Human fetuin-A (alpha-2-Heremans Schmid glycoprotein), a glycoprotein produced by the liver and abundantly secreted into the circulation appears to play a role in insulin resistance, metabolic syndrome and inflammation. This review discusses the links between NAFLD and CVD by specifically focusing on fetuin-A’s function in the pathogenesis of NAFLD and atherosclerotic CVD.     

Preparation of water‐repellent silks by a reaction with octadecenylsuccinic anhydride

Silk fibers and membranes were acylated with octadecenylsuccinic anhydride (ODSA) at 75°C for different times. Swelling [N,N‐dimethylformamide (DMF) and dimethyl sulfoxide (DMSO)] and nonswelling (xylene) solvent media were used for the reaction. Silk membranes that reacted in DMF or DMSO displayed faster reaction kinetics and attained higher weight‐gain values than fibers. The effect of the solvent on the reaction yield was in the following order: DMSO > DMF ? xylene. The Fourier transform infrared spectra of acylated silk samples showed the characteristic absorption bands of the anhydride at 2990, 2852, 1780–1700, and 1170 cm^?1. The intensity of the latter band, which increased linearly with the weight gain, was used as a marker for evaluating the reaction kinetics of the samples acylated in the nonswelling medium. The moisture regain and water retention of silk fibers acylated with ODSA decreased significantly, regardless of the solvent system used. Accordingly, the water repellency increased. Acylation induced an increase in the thermal stability of the silk fibers and membranes. Fine particles adhering to the surfaces of the silk fibers acylated in xylene were detected by scanning electron microscopy. © 2003 Wiley Periodicals, Inc. J Appl Polym Sci 89: 324–332, 2003     

Formal verification of security protocol implementations: a survey

Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages. Recently, some researchers have started investigating techniques that bring automated formal proofs closer to real implementations. This paper surveys these attempts, focusing on approaches that target the application code that implements protocol logic, rather than the libraries that implement cryptography. According to these approaches, libraries are assumed to correctly implement some models. The aim is to derive formal proofs that, under this assumption, give assurance about the application code that implements the protocol logic. The two main approaches of model extraction and code generation are presented, along with the main techniques adopted for each approach.     

Phospholipid fatty acid composition in type I and type II rat muscle

The fatty acid composition of the membrane phospholipids phosphatidylcholine (PC) and phosphatidylethanolamine in insulin-sensitive Type I (soleus) and insulin-resistant Type II (EDL) muscle is not known. In the present studies, soleus and EDL muscles were removed from 250–300 g Sprague-Dawley rats, and the fatty acid composition of total and individual phospholipid (PL) species was quantitated. As expected, triglyceride content was increased twofold in soleus muscle. No quantitative differences in the individual PL species or cholesterol content were found between the two muscles. However, a striking difference in PL fatty acid composition was observed in the PC fraction. An increase in 16∶0 with decreases in 18∶0, 18∶1, 22∶5n-3, and 22∶6n-3 (P<0.001 for each) was observed in the PC fraction of EDL compared to that from soleus, consistent with reduced elongation of PC fatty acids. Inhibition of fatty acid oxidation with the carnitine palmitoyl transferase-1 inhibitor, etomoxir, did not alter the fatty acid pattern in either muscle. We conclude that an alteration in PL fatty acid composition consistent with reduced elongation of both saturated and unsaturated fatty acids is observed in Type II muscle. The restriction of these alterations to the PC fraction has important implications. Deceased (June 28, 1996).     

K- and Cs-FeV/Al2O3soot combustion catalysts for diesel exhaust treatment

Alkali-doped FeV oxide catalysts supported on -alumina were prepared and their catalytic activity in the combustion of diesel soot is reported. The catalysts were characterized by XRD, TPR and SEM–EDX analysis. The influence of the nature of the alkali metal (K and Cs), the temperature of treatment of the catalysts and the stability to sulfur poisoning have been investigated.

Catalysts doped with Cs were the most active and stable also after several combustion cycles and in the presence of sulfur in the stream. The activity measurements and microstructural results suggest that the combustion of soot is favored on catalysts where amorphous phases and/or mixed Fe---V---O phases, ensuring an intimate contact between iron and vanadium, are present. A reaction mechanism involving the participation of the redox couple Fe(II)–Fe(III) in the activation of the vanadium combustion sites, is proposed.