958 resultados para First-order logic


Relevância:

80.00% 80.00%

Publicador:

Resumo:

Remote Laboratories or WebLabs constitute a first-order didactic resource in engineering faculties. However, in many cases, they lack a proper software design, both in the client and server side, which degrades their quality and academic usefulness. This paper presents the main characteristics of a Remote Laboratory, analyzes the software technologies to implement the client and server sides in a WebLab, and correlates these technologies with the characteristics to facilitate the selection of a technology to implement a WebLab. The results obtained suggest the adoption of a Service Oriented Laboratory Architecture-based approach for the design of future Remote Laboratories so that client-agnostic Remote Laboratories and Remote Laboratory composition are enabled. The experience with the real Remote Laboratory, WebLab-Deusto, is also presented.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Eucalyptus globulus sapwood and heartwood showed no differences in lignin content (23.0% vs. 23.7%) and composition: syringyl-lignin (17.9% vs. 18.0%) and guaiacyl-lignin (4.8% vs. 5.2%). Delignification kinetics of S- and G-units in heartwood and sapwood was investigated by Py-GC–MS/FID at 130, 150 and 170 °C and modeled as double first-order reactions. Reactivity differences between S and G-units were small during the main pulping phase and the higher reactivity of S over G units was better expressed in the later pulping stage. The residual lignin composition in pulps was different from wood or from samples in the initial delignification stages, with more G and H-units. S/G ratio ranged from 3 to 4.5 when pulp residual lignin was higher than 10%, decreasing rapidly to less than 1. The S/H was initially around 20 (until 15% residual lignin), decreasing to 4 when residual lignin was about 3%.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Hierarchical wrinkling on elastomeric Janus spheres is permanently imprinted by swelling, for different lengths of time, followed by drying the particles in an appropriate solvent. First-order buckling with a spatial periodicity (lambda(11)) of the order of a few microns and hierarchical structures comprising of 2nd order buckling with a spatial periodicity (lambda(12)) of the order of hundreds of nanometers have been obtained. The 2nd order buckling features result from a Grinfeld surface instability due to the diffusion of the solvent and the presence of sol molecules.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

We investigate the behavior of a patchy particle model close to a hard-wall via Monte Carlo simulation and density functional theory (DFT). Two DFT approaches, based on the homogeneous and inhomogeneous versions of Wertheim's first order perturbation theory for the association free energy are used. We evaluate, by simulation and theory, the equilibrium bulk phase diagram of the fluid and analyze the surface properties for two isochores, one of which is close to the liquid side of the gas-liquid coexistence curve. We find that the density profile near the wall crosses over from a typical high-temperature adsorption profile to a low-temperature desorption one, for the isochore close to coexistence. We relate this behavior to the properties of the bulk network liquid and find that the theoretical descriptions are reasonably accurate in this regime. At very low temperatures, however, an almost fully bonded network is formed, and the simulations reveal a second adsorption regime which is not captured by DFT. We trace this failure to the neglect of orientational correlations of the particles, which are found to exhibit surface induced orientational order in this regime.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

We generalize Wertheim's first order perturbation theory to account for the effect in the thermodynamics of the self-assembly of rings characterized by two energy scales. The theory is applied to a lattice model of patchy particles and tested against Monte Carlo simulations on a fcc lattice. These particles have 2 patches of type A and 10 patches of type B, which may form bonds AA or AB that decrease the energy by epsilon(AA) and by epsilon(AB) = r epsilon(AA), respectively. The angle theta between the 2 A-patches on each particle is fixed at 601, 90 degrees or 120 degrees. For values of r below 1/2 and above a threshold r(th)(theta) the models exhibit a phase diagram with two critical points. Both theory and simulation predict that rth increases when theta decreases. We show that the mechanism that prevents phase separation for models with decreasing values of theta is related to the formation of loops containing AB bonds. Moreover, we show that by including the free energy of B-rings ( loops containing one AB bond), the theory describes the trends observed in the simulation results, but that for the lowest values of theta, the theoretical description deteriorates due to the increasing number of loops containing more than one AB bond.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

We investigate the liquid-vapor interface of a model of patchy colloids. This model consists of hard spheres decorated with short-ranged attractive sites ("patches") of different types on their surfaces. We focus on a one-component fluid with two patches of type A and nine patches of type B (2A9B colloids), which has been found to exhibit reentrant liquid-vapor coexistence curves and very low-density liquid phases. We have used the density-functional theory form of Wertheim's first-order perturbation theory of association, as implemented by Yu and Wu [J. Chem. Phys. 116, 7094 (2002)], to calculate the surface tension, and the density and degree of association profiles, at the liquid-vapor interface of our model. In reentrant systems, where AB bonds dominate, an unusual thickening of the interface is observed at low temperatures. Furthermore, the surface tension versus temperature curve reaches a maximum, in agreement with Bernardino and Telo da Gama's mesoscopic Landau-Safran theory [Phys. Rev. Lett. 109, 116103 (2012)]. If BB attractions are also present, competition between AB and BB bonds gradually restores the monotonic temperature dependence of the surface tension. Lastly, the interface is "hairy," i.e., it contains a region where the average chain length is close to that in the bulk liquid, but where the density is that of the vapor. Sufficiently strong BB attractions remove these features, and the system reverts to the behavior seen in atomic fluids.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

A thesis submitted in fulfilment of the requirements for the Degree of Doctor of Philosophy in Sanitary Engineering in the Faculty of Sciences and Technology of the New University of Lisbon

Relevância:

80.00% 80.00%

Publicador:

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.

Relevância:

80.00% 80.00%

Publicador:

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.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Doutor em Matemática

Relevância:

80.00% 80.00%

Publicador:

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

Relevância:

80.00% 80.00%

Publicador:

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.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Tese de Doutoramento em Engenharia Industrial e de Sistemas (PDEIS)

Relevância:

80.00% 80.00%

Publicador:

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.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Tese de Doutoramento em Engenharia Química e Biológica