957 resultados para first order modal logic
Resumo:
Corrosion of reinforcement bars in concrete structures is the most significant deterioration mechanism in these structures. Corrosion is extremely difficult to predict and, consequently, can be regarded as an unpredictable event. Following this, robustness assessment methods can be employed to define the susceptibility of a structure to corrosion. In this work, robustness is measured in terms of the remaining safety of a deteriorated structure. The proposed methodology is illustrated by means of a reinforced concrete (RC) slab subjected to dead and live loads. The performance of the corroded slab is evaluated using non-linear analysis. The reliability index is adopted to assess the safety of the deteriorated structure. To compute the reliability index a strategy combining the First Order Reliability Method (FORM) and the Response Surface Method (RSM) is used.
Resumo:
Na tentativa de se otimizar o processo de fabrico associado a uma tinta base aquosa (TBA), para minimizar os desvios de viscosidade final verificados, e de desenvolver um novo adjuvante plastificante para betão, recorreu-se a métodos e ferramentas estatísticas para a concretização do projeto. Relativamente à TBA, procedeu-se numa primeira fase a um acompanhamento do processo de fabrico, a fim de se obter todos os dados mais relevantes que poderiam influenciar a viscosidade final da tinta. Através de uma análise de capacidade ao parâmetro viscosidade, verificou-se que esta não estava sempre dentro das especificações do cliente, sendo o cpk do processo inferior a 1. O acompanhamento do processo resultou na escolha de 4 fatores, que culminou na realização de um plano fatorial 24. Após a realização dos ensaios, efetuou-se uma análise de regressão a um modelo de primeira ordem, não tendo sido esta significativa, o que implicou a realização de mais 8 ensaios nos pontos axiais. Com arealização de uma regressão passo-a-passo, obteve-se uma aproximação viável a um modelo de segunda ordem, que culminou na obtenção dos melhores níveis para os 4 fatores que garantem que a resposta viscosidade se situa no ponto médio do intervalo de especificação (1400 mPa.s). Quanto ao adjuvante para betão, o objetivo é o uso de polímeros SIKA ao invés da matériaprima comum neste tipo de produtos, tendo em conta o custo final da formulação. Escolheram-se 3 fatores importantes na formulação do produto (mistura de polímeros, mistura de hidrocarbonetos e % de sólidos), que resultou numa matriz fatorial 23. Os ensaios foram realizados em triplicado, em pasta de cimento, um para cada tipo de cimento mais utilizado em Portugal. Ao efetuar-se a análise estatística de dados obtiveram-se modelos de primeira ordem para cada tipo de cimento. O processo de otimização consistiu em otimizar uma função custo associada à formulação, garantindo sempre uma resposta superior à observada pelo produto considerado padrão. Os resultados foram animadores uma vez que se obteve para os 3 tipos de cimentocustos abaixo do requerido e espalhamento acima do observado pelo padrão.
Resumo:
Dissertação para obtenção do Grau de Doutor em Matemática
Resumo:
A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics
Resumo:
The effect of freeze–thaw cycles on concrete is of great importance for durability evaluation of concrete structures in cold regions. In this paper, damage accumulation was studied by following the fractional change of impedance (FCI) with number of freeze–thaw cycles (N). The nano-carbon black (NCB), carbon fiber (CF) and steel fiber (SF) were added to plain concrete to produce the triphasic electrical conductive (TEC) and ductile concrete. The effects of NCB, CF and SF on the compressive strength, flexural properties, electrical impedance were investigated. The concrete beams with different dosages of conductive materials were studied for FCI, N and mass loss (ML), the relationship between FCI and N of conductive concrete can be well defined by a first order exponential decay curve. It is noted that this nondestructive and sensitive real-time testing method is meaningful for evaluating of freeze–thaw damage in concrete.
Resumo:
Tese de Doutoramento em Engenharia Industrial e de Sistemas (PDEIS)
Resumo:
ABSTRACTResource partitioning is important for species coexistence. Species with similar ecomorphology are potential competitors, especially when phylogenetically close, due to niche conservatism. The aim of this study was to investigate the resource partitioning among populations of two species of lebiasinids (Copella nigrofasciata and Pyrrhulina aff. brevis) that co-occur in a first-order Amazonian stream, analyzing the trophic ecology, feeding strategies and ecomorphological attributes related to the use of food and space by these species. Fish were captured in May and September 2010. The stomach contents of 60 individuals were analyzed and quantified volumetrically to characterize the feeding ecology of both species. Eleven morphological attributes were measured in 20 specimens and combined in nine ecomorphological indices. Both species had an omnivorous-invertivorous diet and consumed predominantly allochthonous items. Both showed a tendency to a generalist diet, but intrapopulational variation in resource use was also detected. Overall feeding niche overlap was high, but differed between seasons: low during the rainy season and high in the dry season. In the latter, the food niche overlap was asymmetric because C. nigrofasciata consumed several prey of P. aff. brevis, which reduced its food spectrum. The ecomorphological analysis suggests that C. nigrofasciatahas greater swimming capacity (greater relative length of caudal peduncle) than P. aff. brevis, which has greater maneuverability and tendency to inhabit lentic environments (greater relative depth of the body). Our results demonstrate that these species have similar trophic ecology and suggest a spatial segregation, given by morphological differences related to locomotion and occupation of habitat, favoring their coexistence.
Resumo:
Tese de Doutoramento em Engenharia Química e Biológica
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:
In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.
Resumo:
The aim of this study was to investigate the effects of biosurfactants and organic matter amendments on the bioremediation of diesel contaminated soil. Two strains of Pseudomonas aeruginosa with the ability to produce biosurfactant were isolated from a water and soil sample in Co. Sligo. The first strain, Isolate A, produced a biosurfactant which contained four rhamnose containing compounds, when grown in proteose peptone glucose ammonium salts medium with glucose as the carbon source. Two of the components were identified as rhamnolipid 1 and 2 whilst the other two components were unidentified. The second strain, Isolate GO, when grown in similar conditions produced a biosurfactant which contained only rhamnolipid 2. The type of aeration system used had a significant effect on the abiotic removal of diesel from soil. Forced aeration at a rate of 120L 02/kg soil/ hour resulted in the greatest removal. Over a 112 day incubation period this type o f aeration resulted in the removal o f 48% o f total hexane extractable material. In relation to bioremediation of the diesel contaminated sandy soil, amending the soil with two inorganic nutrients, KH2PO4 and NÜ4N03, significantly enhanced the removal of diesel, especially the «- alkanes, when compared to an unamended control. The biosurfactant from Isolate A and a biosurfactant produced by Pseudomonas aeruginosa NCIMB 8628 (a known biosurfactant producer), when applied at a concentration of three times their critical micelle concentration, had a neutral effect on the biodégradation o f diesel contaminated sandy soil, even in the presence o f inorganic nutrients. It was deduced that the main reason for this neutral effect was because they were both readily biodegraded by the indigenous microorganisms. The most significant removal of diesel occurred when the soils were amended with two organic materials plus the inorganic nutrients. Amendment of the diesel contaminated soil with spent brewery grain (SBG) removed significantly more diesel than amendment with dried molassed sugar beet pulp (DMSBP). After a 108 day incubation period, amendment of the diesel contaminated soil with DMSBP plus inorganic nutrients and SBG plus inorganic nutrients resulted in 72 and 89% removal of diesel range organics (DRO), in comparison to 41% removal of DRO in an inorganic nutrient amended control. The first order kinetic model described the degradation of the different diesel components with high correlation and was used to calculate Vi lives. The V2 life, of the total «-alkanes in the diesel was reduced from 40 days in the control to 8.5 and 5.1 days in the presence of DMSBP and SBG, respectively. The V2 life o f the unresolved complex mixture (UCM) in the diesel contaminated soil was also significantly reduced in the presence o f the two organics. DMSBP and SBG addition reduced UCM V2 life to 86 and 43 days, respectively, compared to 153 days in the control. The component of diesel whose removal was enhanced the greatest through the organic material amendments was the isoprenoid, pristane, a compound which until recently was thought to be nonbiodegradable and was used as an inert biomarker in oil degradation studies. The V2 life of pristane was reduced from 533 days in the nutrient amended control to 49.5 and 19.5 days in DMSBP and SBG amended soils. These results indicate that the addition o f the DMSBP and SBG to diesel contaminated soil stimulated diesel biodégradation, probably by enhancing the indigenous diesel degrading microbial population to degrade diesel hydrocarbons, whilst the addition o f biosurfactants had no enhanced effect on the bioremediation process.
Resumo:
The sample under investigation in this project is an experimental chromium enriched yeast used as a possible additive in animal foodstuff, which was produced by growing yeast in the presence of chromium (III) chloride. Chromium on its own in not biologically active but chromium in the form of chromium enriched yeast is biologically active. The objective of this project was to show the complete absence of chromium(VI) from the sample. A literature survey describing previous work carried out on the speciation of Cr(VI) has been carried out. The principal methods of detection of Cr(VI) used in this project are Polarography, G.F.A.A. Spectroscopy, U.V. Spectroscopy and H.P.L.C. For each of the above methods a calibration curve was obtained and each method was applied to the yeast extract. The H.P.L.C. and U.V. spectroscopic method are specific for Cr(VI) but polarography and G.F.A.A. spectroscopy measure total chromium. Tris-NaOH buffer has been investigated for the extraction of chromium(VT). Problems associated with air oxidation of Cr(III) in alkaline solution have identified and procedures described for the suppression of air oxidation. Procedures are described for the application of the extraction procedure to the yeast extract and for the determination of Cr(VI) in the extract. Procedures are also described for the preconcentration of Cr(VI) on a HPLC column and for the application to the yeast extract. The rate of reduction of Cr(VI) by ascorbic acid is investigated and found to be first order with respect to ascorbic acid concentration. The reduction capacity of the yeast is also investigated and it was found that in acid solution the yeast will reduce Cr(VI) but in neutral or basic solution the reduction capacity is diminished. Conclusions regarding the objectives of the project are drawn and suggestions for further work are given.
Resumo:
In the Cerrado vegetation, where the seasonal is well defined, rainfall has an important role in controlling the flow of streams and consequently on the structure of macroinvertebrates community. Despite the effects of rainfall associated with seasonality are well studied, little is known about the effects of stochastic rains on the community. In the present study we evaluated the structure and faunal composition of four first-order streams in Central Brazil during the dry season in two years, with and without stochastic rains. Community sampling was done by colonization of boards of high density polyethylene (HDPE), removed after one month submerged in streams. Analysis of Variance (ANOVA) performed indicated no difference in rarefied richness between the two periods, different from numeric density of organisms that was higher in the period without disturbance; moreover, the Detrended Correspondence Analysis (DCA) revealed differences in faunal composition between the two periods. Our results indicate that stochastic rainfall is an important factor in structuring the macroinvertebrates community in studied region.
Resumo:
ABSTRACT This study investigated the assemblages attributes (composition, abundance, richness, diversity and evenness) and the most representative genera of Odonata, Anisoptera at Água Boa and Perobão Streams, Iguatemi River basin, Brazil. Both are first order streams with similar length that are impacted by riparian forest removal and silting. Quarterly samplings were conducted from March to December 2008 in the upper, intermediate and lower stretch of each stream. The Mantel test was used to check the influence of spatial autocorrelation on the Odonata composition. Spatial variations in the composition were summarized by the Principal Coordinates Analysis (PCoA) using Mantel test residuals. The effects of spatial correlation on richness and abundance were investigated by the spatial correlogram of Moranʼs I coefficients. The most representative genera in each stream were identified by the Indicator Value Method. The spatial variations in the attributes of the assemblages were assessed using analysis of variance of null models. We collected 500 immature individuals of 23 genera and three families. Among the attributes analyzed only the composition and abundance showed significant spatial differences, with the highest mean abundance found in the Perobão Stream. Miathyria and Zenithoptera were the indicator genera of the Água Boa Stream and Erythrodiplax, Libellula, Macrothemis, Progomphus and Tramea were the indicator genera of the Perobão Stream.
Resumo:
We consider an autonomous differential system in Rn with a periodic orbit and we give a new method for computing the characteristic multipliers associated to it. Our method works when the periodic orbit is given by the transversal intersection of n ¡ 1 codimension one hypersurfaces and is an alternative to the use of the first order variational equations. We apply it to study the stability of the periodic orbits in several examples, including a periodic solution found by Steklov studying the rigid body dynamics.