25 resultados para Environmental modelling
Resumo:
Tese de Doutoramento em Ciência e Engenharia de Polímeros e Compósitos
Resumo:
Tese de Doutoramento (Programa Doutoral em Engenharia Biomédica)
Resumo:
Tese de Doutoramento em Ciências (Especialidade em Matemática)
Resumo:
Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.
Resumo:
Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.
Resumo:
Tau-mediated neurodegeneration is a central event in Alzheimer's disease (AD) and other tauopathies. Consistent with suggestions that lifetime stress may be a clinically-relevant precipitant of AD pathology, we previously showed that stress triggers tau hyperphosphorylation and accumulation; however, little is known about the etiopathogenic interaction of chronic stress with other AD risk factors, such as sex and aging. This study focused on how these various factors converge on the cellular mechanisms underlying tau aggregation in the hippocampus of chronically stressed male and female (middle-aged and old) mice expressing the most commonly found disease-associated Tau mutation in humans, P301L-Tau. We report that environmental stress triggers memory impairments in female, but not male, P301L-Tau transgenic mice. Furthermore, stress elevates levels of caspase-3-truncated tau and insoluble tau aggregates exclusively in the female hippocampus while it also alters the expression of the molecular chaperones Hsp90, Hsp70, and Hsp105, thus favoring accumulation of tau aggregates. Our findings provide new insights into the molecular mechanisms through which clinically-relevant precipitating factors contribute to the pathophysiology of AD. Our data point to the exquisite sensitivity of the female hippocampus to stress-triggered tau pathology.
Resumo:
Aromatic amines are widely used industrial chemicals as their major sources in the environment include several chemical industry sectors such as oil refining, synthetic polymers, dyes, adhesives, rubbers, perfume, pharmaceuticals, pesticides and explosives. They result also from diesel exhaust, combustion of wood chips and rubber and tobacco smoke. Some types of aromatic amines are generated during cooking, special grilled meat and fish, as well. The intensive use and production of these compounds explains its occurrence in the environment such as in air, water and soil, thereby creating a potential for human exposure. Since aromatic amines are potential carcinogenic and toxic agents, they constitute an important class of environmental pollutants of enormous concern, which efficient removal is a crucial task for researchers, so several methods have been investigated and applied. In this chapter the types and general properties of aromatic amine compounds are reviewed. As aromatic amines are continuously entering the environment from various sources and have been designated as high priority pollutants, their presence in the environment must be monitored at concentration levels lower than 30 mg L1, compatible with the limits allowed by the regulations. Consequently, most relevant analytical methods to detect the aromatic amines composition in environmental matrices, and for monitoring their degradation, are essential and will be presented. Those include Spectroscopy, namely UV/visible and Fourier Transform Infrared Spectroscopy (FTIR); Chromatography, in particular Thin Layer (TLC), High Performance Liquid (HPLC) and Gas chromatography (GC); Capillary electrophoresis (CE); Mass spectrometry (MS) and combination of different methods including GC-MS, HPLC-MS and CE-MS. Choosing the best methods depend on their availability, costs, detection limit and sample concentration, which sometimes need to be concentrate or pretreated. However, combined methods may give more complete results based on the complementary information. The environmental impact, toxicity and carcinogenicity of many aromatic amines have been reported and are emphasized in this chapter too. Lately, the conventional aromatic amines degradation and the alternative biodegradation processes are highlighted. Parameters affecting biodegradation, role of different electron acceptors in aerobic and anaerobic biodegradation and kinetics are discussed. Conventional processes including extraction, adsorption onto activated carbon, chemical oxidation, advanced oxidation, electrochemical techniques and irradiation suffer from drawbacks including high costs, formation of hazardous by-products and low efficiency. Biological processes, taking advantage of the naturally processes occurring in environment, have been developed and tested, proved as an economic, energy efficient and environmentally feasible alternative. Aerobic biodegradation is one of the most promising techniques for aromatic amines remediation, but has the drawback of aromatic amines autooxidation once they are exposed to oxygen, instead of their degradation. Higher costs, especially due to power consumption for aeration, can also limit its application. Anaerobic degradation technology is the novel path for treatment of a wide variety of aromatic amines, including industrial wastewater, and will be discussed. However, some are difficult to degrade under anaerobic conditions and, thus, other electron acceptors such as nitrate, iron, sulphate, manganese and carbonate have, alternatively, been tested.
Resumo:
The use of chemicals and chemical derivatives in agriculture and industry has contributed to their accumulation and persistence in the environment. Persistent organic pollutants (POPs) are among the environmental pollutants of most concern since, when improperly handled and disposed, they can persist in the environment, bioaccumulate through the food web, and may create serious public health and environmental problems. Development of an effective degradation process has become an area of intense research. The physical/chemical methods employed, such as volatilization, evaporation, photooxidation, adsorption, or hydrolysis, are not always effective, are very expensive, and, sometimes, lead to generation/disposal of other contaminants. Biodegradation is one of the major mechanisms by which organic contaminants are transformed, immobilized, or mineralized in the environment. A clear understanding of the major processes that affect the interactions between organic contaminants, microorganisms, and environmental matrix is, thus, important for determining persistence of the compounds, for predicting in situ transformation rates, and for developing site remediation. Information on their risks and impact and occurrence in the different environmental matrices is also important, in order to attenuate their impact and apply the appropriate remediation process. This chapter provides information on the fate of pesticides and polycyclic aromatic hydrocarbons (PAHs), their impact, bioavailability, and biodegradation. © Springer Science+Business Media Dordrecht 2014.
Resumo:
In recent decades, an increased interest has been evidenced in the research on multi-scale hierarchical modelling in the field of mechanics, and also in the field of wood products and timber engineering. One of the main motivations for hierar-chical modelling is to understand how properties, composition and structure at lower scale levels may influence and be used to predict the material properties on a macroscopic and structural engineering scale. This chapter presents the applicability of statistic and probabilistic methods, such as the Maximum Likelihood method and Bayesian methods, in the representation of timber’s mechanical properties and its inference accounting to prior information obtained in different importance scales. These methods allow to analyse distinct timber’s reference properties, such as density, bending stiffness and strength, and hierarchically consider information obtained through different non, semi or destructive tests. The basis and fundaments of the methods are described and also recommendations and limitations are discussed. The methods may be used in several contexts, however require an expert’s knowledge to assess the correct statistic fitting and define the correlation arrangement between properties.
Resumo:
Dissertação de mestrado em Bioengenharia