Constructive model-based analysis for safety assessment

The aerospace industry still uses fault trees to perform reliability analysis. This is because fault-tree modeling and analysis (FTA) seems easier to practical engineers when compared with Markov models, even though FTA provides a weaker form of analysis. In this paper, we propose an automatic strategy for generating Markov-based models and corresponding analysis formulations, according to ARP 4761, directly from Simulink diagrams annotated with failure information. The generated Markov-based models are expressed in the formal language PRISM, and the analysis is carried out by the PRISM model checker. The strategy is compositional and based on a comprehensive set of translation rules from Simulink to PRISM. We briefly address soundness and completeness of the rules and, to illustrate the application of the strategy, we apply it to a classical avionics case study: an actuator control system.     

Global insight into microwave stoneware firing: Macro and microstructural changes

Industrial competition and environmental concerns lead to the exploration of alternative and energy-efficient technologies for ceramic materials processing. The main objective of this work was to present microwave heating as a viable option for stoneware processing. Stoneware functional properties are presented and discussed, with emphasis on impact strength, water absorption, porosity, and color. Microstructure analyses show that microwave- and gas-fired samples have higher densifications than electrically fired samples. A relevant finding for processing conditions is that microwave firing requires temperatures approximately 100°C lower than those required by conventional firing. Microwave-fired samples’ rupture energies are approximately twice (0.57 ± 0.06 (J)) those of the reference samples (0.26 ± 0.03 (J)), and their water absorptions are approximately one-half (1.5% at 1170°C and 0.8% at 1190°C) of those of the reference samples (2.0%), whereas the water absorption of electrically fired samples at 1180°C has been estimated to be 7.5%. Color analysis also evidences a shift to lower microwave firing temperatures, what is attributed to the enhanced transformations promoted by microwave heating when comparing with the transformations promoted by conventional (gas or electric) heating.     

Low-cost sensor to detect overtaking based on optical flow

The automotive industry invests substantial amounts of money in driver-security and driver-assistance systems. We propose an overtaking detection system based on visual motion cues that combines feature extraction, optical flow, solid-objects segmentation and geometry filtering, working with a low-cost compact architecture based on one focal plane and an on-chip embedded processor. The processing is divided into two stages: firstly analog processing on the focal plane processor dedicated to image conditioning and relevant image-structure selection, and secondly, vehicle tracking and warning-signal generation by optical flow, using a simple digital microcontroller. Our model can detect an approaching vehicle (multiple-lane overtaking scenarios) and warn the driver about the risk of changing lanes. Thanks to the use of tightly coupled analog and digital processors, the system is able to perform this complex task in real time with very constrained computing resources. The proposed method has been validated with a sequence of more than 15,000 frames (90 overtaking maneuvers) and is effective under different traffic situations, as well as weather and illumination conditions.     

Characterization of poly(diethoxyphosphazene) by size exclusion chromatography and viscometry

Two samples of poly(diethoxyphosphazene) (PDEP) having very different molecular weights have been studied by viscometry and size exclusion chromatography in THF solution. The results obtained, together with light scattering data of these samples, allow the calculation of the Mark-Houwink constants a=0.65 and K=2.5 10^-4 in THF at 25°C. The method of calculation employed takes into account the great polydispersity of the samples. The characteristic ratio of the unperturbed dimensions was also calculated giving C_n = r²_o/n² 18, a value slightly higher than those previously reported for poly(dihexoxyphosphazene), C_n13 and poly (dichlorophosphazene), C_n13.5.     

Controlling the phase stability of polymer blends through the introduction of impenetrable interfaces

In this work, the effect of the introduction of modified solid surfaces into polymer blends on the phase‐separation process was investigated. Glass fibers with surfaces having different chemistries were introduced into polystyrene–poly(methyl methacrylate) blends. The glass fibers used either had fully hydrated surfaces or had surfaces covered with a random copolymer, poly(styrene‐co‐methyl methacrylate). The copolymer was synthesized by free‐radical polymerization of styrene and methyl methacrylate in the presence of previously vinyl silane‐treated glass fibers. The copolymerization and grafting procedures were investigated by FTIR and thermal analysis. Blends containing the fibers were studied using FTIR microscopy and optical microscopy. FTIR microscopy results showed that the composition of the phases in the blends was shifted by using fibers with different surface chemistries. Fibers with grafted copolymers were capable of narrowing the immiscibility region in the phase diagram, while fully hydrated fibers were able to expand the gap. It was proposed that interfacial interactions regulated by a hydrophilic–hydrophobic type of forces were responsible for guiding the described phase‐separation process. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 87: 1619–1627, 2003     

Sourcing the Arab Spring: A Case Study of Andy Carvin's Sources on Twitter During the Tunisian and Egyptian Revolutions

News sourcing practices are critical as they shape from whom journalists get their information and what information they obtain, mostly from elite sources. This study evaluates whether social media platforms expand the range of actors involved in the news through a quantitative content analysis of the sources cited by NPR's Andy Carvin on Twitter during the Arab Spring. Results show that, on balance, nonelite sources had a greater representation in the content than elite sources. Alternative actors accounted for nearly half of the messages. The study points to the innovative forms of production that can emerge with new communication technologies, with the journalist as a central node trusted to authenticate and interpret news flows on social awareness streams.     

Addressing universal access in social networks: an inclusive search mechanism

Social network services (SNSs) have brought new possibilities and challenges to the design of software environments that respect people’s cultural differences. These systems may represent an opportunity for social and digital inclusion. However, search mechanisms in these systems impose serious barriers for people in the process of acquiring digital literacy. One of the barriers is the difficulty of using the adequate terms/keywords to perform content searches. This paper presents an approach to allow ordinary, non-technology proficient people to access the content of a network through the use of search parameters that make sense to them. The proposal is grounded on Semantic Web technologies (Web ontology) combined with Organizational Semiotics concepts and methods to identify the users’ profile and language. A case study was conducted with the search mechanism integrated into a SNS, and a preliminary evaluation reveals the advantages and drawbacks of the approach.     

The Instabilisation of Dye-Fibre Bonds by Peroxide Treatments

The results are presented of an investigation into the instability induced in dye-fibre bonds by peroxide treatments. The nature of the reactions involved are discussed.     

Update on the pharmacology of Spirulina (Arthrospira), an unconventional food

Spirulina (Arthrospira), a filamentous, unicellular alga, is a cyanobacterium grown in certain countries as food for human and animal consumption. It is also used to derive additives in pharmaceuticals and foods. This alga is a rich source of proteins, vitamins, amino acids, minerals, and other nutrients. Its main use, therefore, is as a food supplement. Over the last few years, however, it has been found to have many additional pharmacological properties. Thus, it has been experimentally proven, in vivo and in vitro that it is effective to treat certain allergies, anemia, cancer, hepatotoxicity, viral and cardiovascular diseases, hyperglycemia, hyperlipidemia, immunodeficiency, and inflammatory processes, among others. Several of these activities are attributed to Spirulina itself or to some of its components including fatty acids omega-3 or omega-6, beta-carotene, alpha-tocopherol, phycocyanin, phenol compounds, and a recently isolated complex, Ca-Spirulan (Ca-SP). This paper aims to update and critically review the results published over the last few years with regards to these properties. The conclusion is that even if this cyanobacterium has been one of the most extensively studied from the chemical, pharmacological and toxicological points of view, it is still necessary to expand the research in order to have more consistent data for its possible use in human beings.     

Carbon nanotube supported ruthenium catalysts for the treatment of high strength wastewater with aniline using wet air oxidation

Multi-walled carbon nanotubes (MWCNT) can be efficiently used as support of ruthenium catalysts for the catalytic wet air oxidation of high strength wastewater containing aniline. Catalysts were prepared using different ruthenium precursors, Ruthenocene [Ru(η⁵-C₅H₅)₂], Ruthenium (1,5-cyclooctadiene, 1,3,5-cyclooctatriene) [Ru(cod)(cot)] and Ruthenium trichloride (RuCl₃ · xH₂O), different impregnation methods (excess solution and incipient wetness impregnation) and different MWCNT support surface chemistry (nitric acid oxidized MWCNT-COOH and Na₂CO₃ ion exchanged MWCNT-COONa). The efficiency of the aniline removal obtained with the catalysts prepared with different precursors decreases in the order [Ru(cod)(cot)] > RuCl₃ · xH₂O > [Ru(η⁵-C₅H₅)₂], 100% aniline conversion being obtained after 45 min of reaction with the catalyst prepared with [Ru(cod)(cot)]. The influence of the impregnation technique was found to be negligible, while the use of the MWCNT-COONa support led to increased catalyst performances when compared to that obtained with catalysts prepared with the MWCNT-COOH support. Leaching of ruthenium was observed in all cases, but the use of the precursor [Ru(cod)(cot)] and of the support MWCNT-COONa in the preparation of the catalysts seems to improve their stability. A direct relationship between metal load and catalyst stability was found and attributed to the strength of metal-support interactions.