Blockchain for Collaborative Businesses

Mobile Networks and Applications - Blockchain applications have continuously improved ever since its first debut on cryptocurrency. From then on, its uses have branched out from the financial...     

Polyetherimide-LaNi5 composite films for hydrogen storage applications

This study investigates the preparation of polyetherimide (PEI) – LaNi₅ composites films for hydrogen storage. Prior to the polymer addition, LaNi₅ was ball-milled at different conditions (250, 350, and 450 RPM) and annealed at 500 °C for 1 h under vacuum. The composites were produced with BM-LaNi₅-350 (PEI/LaNi₅-350) and annealed BM-LaNi₅-350 (PEI/LaNi₅-350-TT). Membranes were successfully produced through solvent casting assisted by an ultrasonic bath. The particles dispersion and the film morphology did not change after hydrogenation cycles. In the H₂ sorption experiments at 43 °C and 20 bar, the films stored H₂ without incubation time; both samples reached a capacity of ~0.6 wt%. The H₂ sorption kinetics of PEI/LaNi₅-350 was comparable to that of BM-LaNi₅-350, whereas PEI/LaNi₅-350-TT presented significantly slower kinetics. LaNi₅ oxidation was hindered by PEI, showing that it can be explored to improve metal hydrides air resistance. The results demonstrated that PEI films filled with LaNi₅ are promising materials for hydrogen storage.     

The effects of behavioral tasks on the in vitro phosphorylation of intermediate filament subunits of rat hippocampus are mediated by CaMKII and PKA

In the homodimeric hemoglobin from Scapharca, HbI, functional communication between the two heme groups is based on their direct structural linkage across the subunit interface through the heme propionates. The heme-protein interactions have been altered in deutero- and meso-HbI by substituting the vinyl groups at positions 2 and 4 of protoheme with hydrogen and ethyl groups, respectively. In meso-HbI the introduction of the ethyl groups in the heme pocket induces significant alterations in the conformation of the heme peripheral substituents, including the propionates, and in the structure of bound CO, as revealed by the resonance Raman spectra. The functional counterpart of these structural changes is the loss of cooperativity in carbon monoxide binding and in the rate of oxygen dissociation. Oxygen pulse and flash photolysis experiments indicate that meso-HbI is locked in the liganded conformation. It is postulated that the ethyl groups, which occupy a larger volume than vinyl ones, impair the ligand-linked movement of the heme relative to its pocket and in turn the expression of cooperativity. In deutero-HbI structural alterations have not been monitored. Functionally, cooperativity in the CO binding kinetics is increased as if hydrogen atoms at positions 2 and 4 permitted more marked movements of the heme than in the native protein.     

Normal form approach to compiler design

This paper demonstrates how reduction to normal form can help in the design of a correct compiler for Dijkstra's guarded command language. The compilation strategy is to transform a source program, by a series of algebraic manipulations, into a normal form that describes the behaviour of a stored-program computer. Each transformation eliminates high-level language constructs in favour of lower-level constructs. The correctness of the compiler follows from the correctness of each of the algebraic transformations.     

On the solvability of the positive real lemma equations

In this paper, we consider the classical equations of the positive real lemma under the sole assumption that the state matrix A has unmixed spectrum: σ(A)∩σ(−A)=. Without any other system-theoretic assumption (observability, reachability, stability, etc.), we derive a necessary and sufficient condition for the solvability of the positive real lemma equations.     

From real to metaphoric maps: Cartography as a visual language for organizing and sharing knowledge

In this paper we discuss about geographic representations as a basis for describing, organizing, accessing and understanding heterogeneous shared information on the web. Maps are popular on the web, because of the reference to space, the most important domain of human experience, the proliferation of location aware devices and services and the availability of a set of tools that enable an heterogeneous population of users to explore and even modify these representations.Metaphorical maps, representing concepts and relations of a specific knowledge domain with symbols taken from another well known and widely used domain, couple the benefits of cartographic representation with the power and intuitiveness of the metaphor, permitting the communication and sharing of such knowledge.We introduce a classification of maps based on antinomies between real and imaginary worlds, and between direct and metaphoric knowledge; we argue that cartography can be used as a visual language for organizing and sharing knowledge related to different semantic domains, supporting our arguments with examples. Finally, we define a set of functions and related data structures able to support a user in browsing cartographic representations using state-of-art tools and systems available on the web.     

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.     

Comparative analysis of methods for determining the metabolic rate in order to provide a balance between man and the environment

The incorrect determination of metabolic rate can be linked to discrepancies between the model of the PMV (Predicted Mean Vote) and real thermal sensation collected in field studies. Aiming to improve the correlation of the PMV model and the real thermal sensation, this work established new values for the metabolic rate: one way being called “calculated” using Newton's Method and the other called "measured" using a metabolic analyzer. Welder's activities were evaluated, through the measurements of environmental and personal variables. New values of metabolic rate were determined for this activity. The values found for the calculated form and the measured one were, respectively, 178.63 and 145.46 W/m², different from the range provided by the table of ISO 8996 (2004) for this activity (75–125 W/m²). In order to verify which of the values of the metabolic rate was closer to the real thermal sensation of PMV, a linear regression was made between the PMV and the real thermal sensation in three ways: S × PMV_tabulated (R² = 0.1749), S × PMV_calculated (R ² = 0.7481) and S × PMV_measured (R² = 0.7854). It was found that the values measured by the instrument gave a higher coefficient of determination which was chosen for the correction of the table. The correction of the table provides a value of M_predicted, that is a value of metabolic rate that corrects the values provided by the tables of ISO 8996 (2004), by means of a correction coefficient. For the welder's activities in a metal-mechanics industry, tabulated values can be multiplied by the correction coefficient 1.4648 in order to minimize inaccuracies. The PMV_predicted, obtained through the M_predicted, when related to the actual thermal sensation, provides a coefficient of determination of 0.7511, thereby improving the model of the PMV.