Development of a polyimide for use as a temperature and solvent resistant sealant

Polyimide developed by the interaction of benzophenone tetracarboxylic dianhydride, polyoxypropylene diamine, and oxydianiline is used for fuel tanks that are exposed to extreme temperatures

Non-genetic therapeutic approaches to Canavan disease

Canavan disease (CD) is a rare leukodystrophy characterized by diffuse spongiform white matter degeneration, dysmyelination and intramyelinic oedema with consequent impairment of psychomotor development and early death. The molecular cause of CD has been identified as being mutations of the gene encoding the enzyme aspartoacylase (ASPA) leading to its functional deficiency. The physiological role of ASPA is to hydrolyse N-acetyl-l-aspartic acid (NAA), producing l-aspartic acid and acetate; as a result, its deficiency leads to abnormally high central nervous system NAA levels. The aim of this article is to review what is currently known regarding the aetiopathogenesis and treatment of CD, with emphasis on the non-genetic therapeutic strategies, both at an experimental and a clinical level, by highlighting: (a) major related hypotheses, (b) the results of the available experimental simulatory approaches, as well as (c) the relevance of the so far examined markers of CD neuropathology. The potential and the limitations of the current non-genetic neuroprotective approaches to the treatment of CD are particularly discussed in the current article, in a context that could be used to direct future experimental and (eventually) clinical work in the field

Conformance relations for distributed testing based on CSP

Copyright @ 2011 Springer Berlin HeidelbergCSP is a well established process algebra that provides comprehensive theoretical and practical support for refinement-based design and verification of systems. Recently, a testing theory for CSP has also been presented. In this paper, we explore the problem of testing from a CSP specification when observations are made by a set of distributed testers. We build on previous work on input-output transition systems, but the use of CSP leads to significant differences, since some of its conformance (refinement) relations consider failures as well as traces. In addition, we allow events to be observed by more than one tester. We show how the CSP notions of refinement can be adapted to distributed testing. We consider two contexts: when the testers are entirely independent and when they can cooperate. Finally, we give some preliminary results on test-case generation and the use of coordination messages. © 2011 IFIP International Federation for Information Processing

Effect of anisotropy and destructuration on behavior of Haarajoki test embankment

This paper investigates the influence of anisotropy and destructuration on the behavior of Haarajoki test embankment, which was built by the Finnish National Road Administration as a noise barrier in 1997 on a soft clay deposit. Half of the embankment is constructed on an area improved with prefabricated vertical drains, while the other half is constructed on the natural deposit without any ground improvement. The construction and consolidation of the embankment is analyzed with the finite-element method using three different constitutive models to represent the soft clay. Two recently proposed constitutive models, namely S-CLAY1 which accounts for initial and plastic strain induced anisotropy, and its extension, called S-CLAY1S which accounts, additionally, for interparticle bonding and degradation of bonds, were used in the analysis. For comparison, the problem is also analyzed with the isotropic modified cam clay model. The results of the numerical analyses are compared with the field measurements. The simulations reveal the influence that anisotropy and destructuration have on the behavior of an embankment on soft clay

The Verifying Compiler: A Grand Challenge for Computing Research

Abstract. This contribution proposes a set of criteria that distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the interest of scientists and engineers. As an example drawn from Computer Science, it revives an old challenge: the construction and application of a verifying compiler that guarantees correctness of a program before running it. Introduction. The primary purpose of the formulation and promulgation of a grand challenge is the advancement of science or engineering. A grand challenge represents a commitment by a significant section of the research community to work together towards a common goal, agreed to be valuable and achievable by a team effort within a predicted timescale. The challenge is formulated by th

Drained cavity expansion analysis with a unified state parameter model for clay and sand

This paper presents an analytical solution for drained expansion in both spherical and cylindrical cavities with a unified state parameter model for clay and sand (CASM). The solution developed here provides the stress and strain fields during the expansion of a cavity from an initial to an arbitrary final radius. Small strains are assumed for the elastic region and large strains are applied to soil in the plastic region by using logarithmic strain definitions. Since its development, the unified CASM model has been demonstrated by many researchers to be able to capture the overall soil behaviour for both clay and sand under both drained and undrained loading conditions. In this study, the CASM model is used to model soil behaviour whilst a drained cavity expansion solution is developed with the aid of an auxiliary variable. This is an extension of the undrained solution presented by the authors in 2017. The parametric study investigates the effects of various model constants including the stress-state coefficient and the spacing ratio on soil stress paths and cavity expansion curves. Both London clay and Ticino sand are modelled under various initial stress conditions and initial state parameters. The newly developed analytical solution highlights the potential applications in geotechnical practice (e.g., for the interpretation of cone penetration test data) and also provides useful benchmarks for numerical simulations of cavity expansion problems in critical state soils

Timed patterns: TCOZ to timed automata

Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real-time systems. However, the challenge is how to verify the TCOZ models with tool support, especially for analyzing timing properties. Specialized graph-based modeling technique, Timed Automata (TA), has powerful mechanisms for designing real-time models using multiple clocks and has well developed automatic tool support. One weakness of TA is the lack of high level composable graphical patterns to support systematic designs for complex systems. The investigation of possible links between TCOZ and TA may benefit both techniques. For TCOZ, TA’s tool support can be reused to check timing properties. For TA, a set of composable graphical patterns can be defined based on the semantics of the TCOZ constructs, so that those patterns can be re-used in a generic way. This paper firstly defines the composable TA graphical patterns, and then presents sound transformation rules and a tool for projecting TCOZ specifications into TA. A case study of a railroad crossing system is demonstrated

Rotation Curves of Spiral Galaxies

Rotation curves of spiral galaxies are the major tool for determining the distribution of mass in spiral galaxies. They provide fundamental information for understanding the dynamics, evolution and formation of spiral galaxies. We describe various methods to derive rotation curves, and review the results obtained. We discuss the basic characteristics of observed rotation curves in relation to various galaxy properties, such as Hubble type, structure, activity, and environment.Comment: 40 pages, 6 gif figures; Ann. Rev. Astron. Astrophys. Vol. 39, p.137, 200

Pinhão Manso recomendação técnica sobre o plantio no Brasil.

bitstream/CNPA/19904/1/Folder_Pinhao_Manso.pdfFolde