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.     

The Trend Toward Latin American Economic Integration

Revolutionary developments in the patterns of world trade have taken place during the past five years, and Latin America is no exception. This article discusses the effects of the Latin American Free Trade Association, the Central American Common Market, and the Inter-American Development Bank on the economic integration of Latin America.     

Syndecan-1 Depletion Has a Differential Impact on Hyaluronic Acid Metabolism and Tumor Cell Behavior in Luminal and Triple-Negative Breast Cancer Cells

Glycosaminoglycans (GAGs) and proteoglycans (PGs) are major components of the glycocalyx. The secreted GAG and CD44 ligand hyaluronic acid (HA), and the cell surface PG syndecan-1 (Sdc-1) modulate the expression and activity of cytokines, chemokines, growth factors, and adhesion molecules, acting as critical regulators of tumor cell behavior. Here, we studied the effect of Sdc-1 siRNA depletion and HA treatment on hallmark processes of cancer in breast cancer cell lines of different levels of aggressiveness. We analyzed HA synthesis, and parameters relevant to tumor progression, including the stem cell phenotype, Wnt signaling constituents, cell cycle progression and apoptosis, and angiogenic markers in luminal MCF-7 and triple-negative MDA-MB-231 cells. Sdc-1 knockdown enhanced HAS-2 synthesis and HA binding in MCF-7, but not in MDA-MB-231 cells. Sdc-1-depleted MDA-MB-231 cells showed a reduced CD24-/CD44+ population. Furthermore, Sdc-1 depletion was associated with survival signals in both cell lines, affecting cell cycle progression and apoptosis evasion. These changes were linked to the altered expression of KLF4, MSI2, and miR-10b and differential changes in Erk, Akt, and PTEN signaling. We conclude that Sdc-1 knockdown differentially affects HA metabolism in luminal and triple-negative breast cancer model cell lines and impacts the stem phenotype, cell survival, and angiogenic factors.     

Nafcillin release from poly(acrylic acid–co–methyl methacrylate) hydrogels

Summary Copolymeric poly(acrylic acid-co-methyl methacrylate) hydrogels for three different compositions: (90/10), (80/20) and (60/40), have been studied. Drug release has been examined as a function of the hydrogel composition by HPLC (High Pressure Liquid Cromatography). The release experiments were carried out at 37 °C. The fraction of available drug release was linear in t^1/2. The values of the diffusional coefficient (0.50<n<1.0) indicate that the nafcillin release mechanism from the hydrogels in study is non-Fickian. The diffusion coefficients for this drug release have been calculated. The molecular diffusion of nafcillin through hydrogels is controlled by the swelling.     

A genetic tango attack against the David–Prasad RFID ultra‐lightweight authentication protocol

Radio frequency identification (RFID) is a powerful technology that enables wireless information storage and control in an economical way. These properties have generated a wide range of applications in different areas. Due to economic and technological constrains, RFID devices are seriously limited, having small or even tiny computational capabilities. This issue is particularly challenging from the security point of view. Security protocols in RFID environments have to deal with strong computational limitations, and classical protocols cannot be used in this context. There have been several attempts to overcome these limitations in the form of new lightweight security protocols designed to be used in very constrained (sometimes called ultra‐lightweight) RFID environments. One of these proposals is the David–Prasad ultra‐lightweight authentication protocol. This protocol was successfully attacked using a cryptanalysis technique named Tango attack. The capacity of the attack depends on a set of boolean approximations. In this paper, we present an enhanced version of the Tango attack, named Genetic Tango attack, that uses Genetic Programming to design those approximations, easing the generation of automatic cryptanalysis and improving its power compared to a manually designed attack. Experimental results are given to illustrate the effectiveness of this new attack.     

Pd deposited on Cu(110): a highly performant catalyst for the 1,3-butadiene hydrogenation reaction

The catalytic properties, with respect to the 1,3-butadiene hydrogenation reaction, of strained Pd films on Cu(110) (lattice mismatch 8%) has been probed as a function of the film thickness. The characterization of the adlayer has been made by the combined use of STM with LEED and AES. For deposits below 10¹⁵ Pd/cm² (i.e., about 1 ML) the catalytic activity is near zero. This is the consequence of the formation of a Pd–Cu surface alloy with tendency for Cu to migrate/segregate to the surface. The catalytic activity suddenly increases to reach a maximum value for about 3 ML; the activity is then one order of magnitude higher than that of the pure Pd(110) surface. This is the consequence of the presence of a strained Pd overlayer, with Pd surface atoms having very unusual geometry, and hence very peculiar electronic and chemical properties. The catalytic activity then decreases as the Pd coverage is increased, and tends to values near that of the pure Pd(110). Gradual relaxation of the film geometry towards that of the normal fcc Pd structure probably exists.     

Dissecting the protocol and network traffic of the OnLive cloud gaming platform

Cloud gaming is a new paradigm that is envisaged to play a pivotal role in the video game industry in forthcoming years. Cloud gaming, or gaming on demand, is a type of online gaming that allows on-demand streaming of game content onto non-specialised devices (e.g. PC, smart TV, etc.). This approach requires no downloads or game installation because the actual game is executed on the game company’s server and is streamed directly to the client. Nonetheless, this revolutionary approach significantly affects the network load generated by online games. As cloud gaming presents new challenges for both network engineers and the research community, both groups need to be fully conversant with these new cloud gaming platforms. The purpose of this paper is to investigate OnLive, one of the most popular cloud gaming platforms. Our key contributions are: (a) a review of the state-of-the-art of cloud gaming; (b) reverse engineering of the OnLive protocol; and (c) a synthetic traffic model for OnLive.     

Study of Ozonated Sunflower Oil Using 1H NMR and Microbiological Analysis

Prior studies have proven that ozonated vegetable oils present a high germicidal power. Ozonation of sunflower oil at different applied ozone dosage was carried out and peroxide and aldehydes indices along with antimicrobial activity were determined. The reaction products were identified using Proton Nuclear Magnetic Resonance Spectroscopy (¹H NMR). The principal signals intensity values were used for following the reaction course between ozone and sunflower oil. The reaction was following up to peroxide index values of 1202 mmol-equi/kg. The intensities of olefinic proton signals decreased with the gradual increase in ozone concentration but without disappearing completely. The Criegee ozonides obtained at 107.1 mg/g of ozone doses were approximately 3.9-fold higher than that at beginning of the reaction. The aldehyde protons were observed as a weak intensity signal in all the spectra. The signals belonging to olefinic protons from hydroperoxides appeared weak and increased with the increase in ozone doses. Signals from other oxygenated groups were assigned. The highest action spectrum of antimicrobial activity was obtained with the higher peroxide index. It was concluded that at higher applied ozone doses, the higher the antimicrobial activity potential of ozonized sunflower oil     

Synthesis of polystyrene/poly(butyl acrylate) core–shell latex and its surface morphology

A polystyrene (PS)/poly(butyl acrylate) (PBA) composite emulsion was produced by seeded emulsion polymerization of butyl acrylate (BA) with PS seed particles which were prepared by emulsifier‐free polymerization of styrene with potassium persulfate (KPS) under a nitrogen atmosphere at 70°C for 24 h with stirring at 60 rpm and swelled with the BA monomer in an ethanol/water medium. The structure of the PS/PBA composite particles was confirmed by the presence of the characteristic absorption band attributed to PS and PBA from FTIR spectra. The particles for pure PS and PS/PBA with a low content of the BA monomer were almost spherical and regular. As the BA monomer content was increased, the particle size of the PS/PBA composite particles became larger, and more golf ball‐like particles were produced. The surface morphology of the PS/PBA composite particles was investigated by AFM and SEM. The T_g's attributed to PS and PBA in the PS/PBA composite particles were found at 110 and ?49°C, respectively. The thermal degradation of the pure PS and PS/PBA composite particles occurred in one and two steps, respectively. With an increasing amount of PBA, the initial thermal decomposition temperature increased. On the contrary the residual weight at 450°C decreased with an increasing amount of PBA. © 2003 Wiley Periodicals, Inc. J Appl Polym Sci 88: 595–601, 2003     

Effects of the blending sequence and interfacial agent on the morphology and mechanical properties of injection molded PC/PP Blends

Summary The effects of blending sequence and the addition of an interfacial agent (triblock copolymer styrene-butylene ethylene/styrene, Kraton G1652) on the morphology and the mechanical properties of Polycarbonate (PC)/Polypropylene (PP) blends prepared by injection molding were studied. This study presents an analysis of impact resistance, tensile properties and morphology of the raw materials and the blends at different compositions. The blends, before being injected, were prepared in a twin-screw extruder by different sequences of blending. The results indicate that the blending sequence and the presence of humidity significantly affect the properties and morphology of the blends. For ternary blends (PC/PP/Kraton), only one-step mixing before injection molding proved to be sufficient to improve mechanical properties. Increasing the amount of blending steps did not present a significant change in properties. With the addition of the interfacial agent, higher impact resistance and particle size reduction were observed.