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.     

Fuzzy ontologies-based user profiles applied to enhance e-learning activities

Nowadays, the impact of technological developments on improving human activities is becoming more evident. In e-learning, this situation is no different. There are common to use systems that assist the daily activities of students and teachers. Typically, e-learning recommender systems are focused on students; however, teachers can also benefit from these type of tools. A recommender system can propose actions and resources that facilitate teaching activities like structuring learning strategies. In any case, a complete user’s representation is required. This paper shows how a fuzzy ontology can be used to represent user profiles into a recommender engine and enhances the user’s activities into e-learning environments. A fuzzy ontology is an extension of domain ontologies for solving the problems of uncertainty in sharing and reusing knowledge on the Semantic Web. The user profile is built from learning objects published by the user himself into a learning object repository. The initial experiment confirms that the automatically obtained fuzzy ontology is a good representation of the user’s preferences. The experiment results also indicate that the presented approach is useful and warrants further research in recommending and retrieval information.     

Intracellular Ca2+ Signaling in Protozoan Parasites: An Overview with a Focus on Mitochondria

Ca²⁺ signaling has been involved in controling critical cellular functions such as activation of proteases, cell death, and cell cycle control. The endoplasmatic reticulum plays a significant role in Ca²⁺ storage inside the cell, but mitochondria have long been recognized as a fundamental Ca²⁺ pool. Protozoan parasites such as Plasmodium falciparum, Toxoplasma gondii, and Trypanosoma cruzi display a Ca²⁺ signaling toolkit with similarities to higher eukaryotes, including the participation of mitochondria in Ca²⁺-dependent signaling events. This review summarizes the most recent knowledge in mitochondrial Ca²⁺ signaling in protozoan parasites, focusing on the mechanism involved in mitochondrial Ca²⁺ uptake by pathogenic protists.     

Peptides to Tackle Leishmaniasis: Current Status and Future Directions

Peptide-based drugs are an attractive class of therapeutic agents, recently recognized by the pharmaceutical industry. These molecules are currently being used in the development of innovative therapies for diverse health conditions, including tropical diseases such as leishmaniasis. Despite its socioeconomic influence on public health, leishmaniasis remains long-neglected and categorized as a poverty-related disease, with limited treatment options. Peptides with antileishmanial effects encountered to date are a structurally heterogeneous group, which can be found in different natural sources—amphibians, reptiles, insects, bacteria, marine organisms, mammals, plants, and others—or inspired by natural toxins or proteins. This review details the biochemical and structural characteristics of over one hundred peptides and their potential use as molecular frameworks for the design of antileishmanial drug leads. Additionally, we detail the main chemical modifications or substitutions of amino acid residues carried out in the peptide sequence, and their implications in the development of antileishmanial candidates for clinical trials. Our bibliographic research highlights that the action of leishmanicidal peptides has been evaluated mainly using in vitro assays, with a special emphasis on the promastigote stage. In light of these findings, and considering the advances in the successful application of peptides in leishmaniasis chemotherapy, possible approaches and future directions are discussed here.     

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.     

In vivo aging of gutta‐percha dental cone

Gutta‐percha cone is the most widely used material for root canal filling. The in vivo aging of this cone focus on the degradation of its main organic component, trans‐1,4‐polyisoprene, was studied. Aged cones (25 samples) from 2 to 30 years of root canal filling were extracted from different patients in the occasion of retreatment by mechanical way. The information about the aging time was given by the patients. Gel‐permeation chromatography (GPC) and infrared spectroscopy (FTIR) were the analytical techniques used. Polyisoprene degrades with time of aging, but in a slow process. Decrease in polymer molar mass from 5.7 × 10⁵ to 1.7 × 10⁵ g/mol was observed in polyisoprene from cone after 30 years of root canal filling and inside a noninfected tooth. In tooth with caries and periodontal infection, the decrease in molar mass is higher (4.6 × 10⁴ g/mol in cone with 10 years of aging). The production of carbonyl and hydroxyl groups in the aged material indicates that the process is oxidative, even in closed teeth. In these cases, the oxygen could be provided from tissue fluid. The degradation mechanism is complex and depends on many factors, besides time of root canal filling. The dental problem caused by the aging could be the production and migration of cytotoxic substances to periodontal ligament and the reduction on the canal sealing property due to the polymer weight loss. Both of them could contribute to the root canal treatment failure. © 2006 Wiley Periodicals, Inc. J Appl Polym Sci 100:4082–4088, 2006     

Catalytic wet air oxidation of olive mill wastewater

Au-based catalysts, known for ambient temperature CO oxidation, have to provide stable performance of up to 5000 h in order to be commercially applicable in automotive fuel cells. In this report, the on-line deactivation characteristics of Au/TiO₂ in unconventional PROX conditions are discussed. As opposed to CO removal from air, results in this report suggests that carbonates have a minor effect on deactivation of Au/TiO₂ in dry H₂-rich conditions. Also, no conclusive correlation between surface hydration and deactivation was observed. Rather, deactivation appeared to have occurred as a result of an intrinsic transformation in the oxidation state of the active species in the reducing operating conditions; a process which was reversible in an oxidizing atmosphere.     

Performance of a Vertical‐Slot Fish Pass for the Sea Lamprey Petromyzon marinus L. and Habitat Recolonization

In 2011, a vertical‐slot fish pass was built at the Coimbra Açude‐Ponte dam (Mondego River, Portugal), approximately 45 km upstream from the river mouth. The performance of this infrastructure for sea lamprey passage was evaluated between 2011 and 2015 using several complementary methodologies, namely radio telemetry [conventional and electromyogram (EMG)], passive integrated transponder (PIT) telemetry and electrofishing surveys. During the study period, the electrofishing revealed a 29‐fold increase in the abundance of larval sea lamprey upstream of the fish pass. Of the 20 radio‐tagged individuals released downstream from the dam, 33% managed to find and successfully surpass the obstacle in less than 2 weeks, reaching the spawning areas located in the upstream stretch of the main river and in one important tributary. Fish pass efficiency was assessed with a PIT antenna installed in the last upstream pool and revealed a 31% efficiency, with differences between and within migratory seasons. Time of day and river flow significantly influenced the attraction efficiency of the fish pass, with lampreys negotiating it mainly during the night period and when discharge was below 50 m³ s^?1. Sea lampreys tagged with EMG transmitters took 3 h to negotiate the fish pass, during which high muscular effort was only registered during passage, or passage attempts, of the vertical slots. The use of complementary methodologies provided a comprehensive passage evaluation for sea lamprey, a species for which there is a considerable paucity of valuable data concerning behavioural, physiological and environmental influences on obstacle negotiation. Copyright © 2016 John Wiley & Sons, Ltd. Copyright © 2016 John Wiley & Sons, Ltd.     

Synthesis, characterization and crystal structure of a novel thiocyanate–ruthenium(II) complex

The cis-[Ru(dppb)(Me-bipy)(NCS)₂], dppb = 1,4-bis (diphenylphosphino)butane, Me-bipy = 4,4′-dimethyl-2,2′-bipyridine, and NCS = thiocyanate, was synthesized and characterized by spectroscopic and electrochemical techniques and its structure was determined by crystal X-ray analysis. The crystal structure reveals that the coordination geometry around the Ru(II) center is distorted octahedron where two molecules of thiocyanate are bonded to the ruthenium through nitrogen atom in cis orientation. The half-wave formal potential value E_1/2 = 0.8 V (versus Ag/AgCl) observed is considerable higher than that for the cis-[RuCl₂(dppb)(Me-bipy)] complex, E_1/2 = 0.6 V (versus Ag/AgCl), well illustrating the strong π-acceptor effect the NCS ligand toward the backbonding interaction with the Ru(II) metal center. The MLCT absorption bands of the thiocyanate complex present a higher molar absorptivity (about 12%) compared with the cis-[RuCl₂(dppb)(Me-bipy)] complex, in the same experimental conditions. These properties make the complex potentially promising for the photosensitization process.     

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.