957 resultados para first order modal logic
Resumo:
To the vertebrates, maintain body balance against the gravitational field and be able to orient themselves in the environment are fundamental aspects for survival, in which the participation of vestibular system is essential. As part of this system, the vestibular nuclear complex is the first central station that, by integrating many information (visual, proprioceptive), and the vestibular, assumes the lead role in maintaining balance. In this study, the vestibular nuclear complex was evaluated in relation to its cytoarchitecture and neurochemical content of cells and axon terminals, through the techniques of Nissl staining and immunohistochemistry for neuronal specific nuclear protein (NeuN), glutamate (Glu), substance P (SP), choline acetyltransferase (ChAT) (enzyme that synthesizes acetylcholine-Ach) and glutamic acid decarboxylase (GAD) (enzyme that synthesizes gamma-amino butyric acid-GABA). The common marmoset (Callithrix jacchus) was used as experimental animal, which is a small primate native from the Atlantic Forest in the Brazilian Northeast. As results, the Nissl technique, complemented by immunohistochemistry for NeuN allowed to delineate the vestibular nucleus superior, lateral, medial and inferior (or descending) in the brain of the common marmoset. Neurons and terminals immunoreactive to Glu and ChAT and only immunoreactive terminals to SP and GAD were seen in all nuclei, although in varying density. This study confirms the presence in the vestibular nuclei of the common marmoset, of Glu and SP in terminals, probably from the first order neurons of vestibular ganglion, and of GABA in terminals, presumably from Purkinge cells of the cerebellum. Second-order neurons of the vestibular nuclei seem to use Glu and Ach as neurotransmitters, judging by their expressive presence in the cell bodies of these nuclei in common marmosets, as reported in other species
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
The scheme is based on Ami Harten's ideas (Harten, 1994), the main tools coming from wavelet theory, in the framework of multiresolution analysis for cell averages. But instead of evolving cell averages on the finest uniform level, we propose to evolve just the cell averages on the grid determined by the significant wavelet coefficients. Typically, there are few cells in each time step, big cells on smooth regions, and smaller ones close to irregularities of the solution. For the numerical flux, we use a simple uniform central finite difference scheme, adapted to the size of each cell. If any of the required neighboring cell averages is not present, it is interpolated from coarser scales. But we switch to ENO scheme in the finest part of the grids. To show the feasibility and efficiency of the method, it is applied to a system arising in polymer-flooding of an oil reservoir. In terms of CPU time and memory requirements, it outperforms Harten's multiresolution algorithm.The proposed method applies to systems of conservation laws in 1Dpartial derivative(t)u(x, t) + partial derivative(x)f(u(x, t)) = 0, u(x, t) is an element of R-m. (1)In the spirit of finite volume methods, we shall consider the explicit schemeupsilon(mu)(n+1) = upsilon(mu)(n) - Deltat/hmu ((f) over bar (mu) - (f) over bar (mu)-) = [Dupsilon(n)](mu), (2)where mu is a point of an irregular grid Gamma, mu(-) is the left neighbor of A in Gamma, upsilon(mu)(n) approximate to 1/mu-mu(-) integral(mu-)(mu) u(x, t(n))dx are approximated cell averages of the solution, (f) over bar (mu) = (f) over bar (mu)(upsilon(n)) are the numerical fluxes, and D is the numerical evolution operator of the scheme.According to the definition of (f) over bar (mu), several schemes of this type have been proposed and successfully applied (LeVeque, 1990). Godunov, Lax-Wendroff, and ENO are some of the popular names. Godunov scheme resolves well the shocks, but accuracy (of first order) is poor in smooth regions. Lax-Wendroff is of second order, but produces dangerous oscillations close to shocks. ENO schemes are good alternatives, with high order and without serious oscillations. But the price is high computational cost.Ami Harten proposed in (Harten, 1994) a simple strategy to save expensive ENO flux calculations. The basic tools come from multiresolution analysis for cell averages on uniform grids, and the principle is that wavelet coefficients can be used for the characterization of local smoothness.. Typically, only few wavelet coefficients are significant. At the finest level, they indicate discontinuity points, where ENO numerical fluxes are computed exactly. Elsewhere, cheaper fluxes can be safely used, or just interpolated from coarser scales. Different applications of this principle have been explored by several authors, see for example (G-Muller and Muller, 1998).Our scheme also uses Ami Harten's ideas. But instead of evolving the cell averages on the finest uniform level, we propose to evolve the cell averages on sparse grids associated with the significant wavelet coefficients. This means that the total number of cells is small, with big cells in smooth regions and smaller ones close to irregularities. This task requires improved new tools, which are described next.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
The babassu (Orbignya phalerata) is a native tree found in northern Brazil. Extracts of the babassu coconut have been widely used in industry. Babassu flour has about 60% starch, thus, besides nourishment it can be used as an alternative biofuel source. However, the properties of this starch lack of study and understanding. The main purpose of this study was to investigate the thermal behavior of raw babassu flour and its solid hydrolyzed fraction. The analyses were carried out using SHIMADZU DSC and TG thermic analyzers. The results demonstrated a reduction in thermal stability of the solid hydrolyzed fraction compared to raw matter. The kinetic parameters were investigated using non-isothermal methods and the parameters obtained for its decomposition process were an E(a) of 166.86 kJ mol(-1) and a frequency factor (beta) of 6.283 x 1014 min(-1); this was determined to be a first order reaction (n = 1). (C) 2011 Elsevier B.V. All rights reserved.
Resumo:
Dilute acid hydrolysis studies were performed on forest residues of Eucalyptus grandis, in a cylindrical reactor of stainless steel. The kinetics of this hydrolysis reaction was investigated employing 0.65% sulfuric acid, a residue/acid solution ratio of 1/9 (w/w), temperatures of 130, 140, 150, and 160 degrees C, and reaction times in the range 20-100 min. The results showed that, under the optimized conditions of acid hydrolysis employed in this study, the variables temperature and reaction time had a strong influence on hemicellulose removal and a small influence on the degree of lignin and cellulose removal. The highest xylose extraction yield was 87.6% attained at 160 degrees C, after 70 min reaction time, simultaneously with the formation of decomposition products, namely 2.8% acetic acid, 0.6% furfural, and 0.06% 5-hydroxymethylfurfural. A similar xylose extraction yield (82.8%) was observed at 150 degrees C after 100 min, with the formation of 3.2% acetic acid, 1.0% furfural, and 0.07% 5-hydroxymethylfurfural. The kinetic parameters determined at 130, 140, 150, and 160 degrees C for degradation of xylan present in the hemicellulose of the eucalyptus forest residue during the formation of xylose were the first-order reaction rate constants (k) for each temperature, 1.22 x 10(-4), 2.12 x 10(-4), 5.43 x 10(-4), and 9.05 x 10(-4) s(-1), respectively, and an activation energy (E-a) of 101.3 kJ mol(-1).
Resumo:
In this work we present some classes of models whose the corresponding two coupled first-order nonlinear equations can be put into a linear form, and consequently be solved completely. In these cases the so-called trial orbit method is completely unnecessary. We recall that some physically important models as, for instance, the problem of tiling a plane with a network of defects and polymer properties are in this class of models. (c) 2005 Elsevier B.V. All rights reserved.
Resumo:
The existence of an interpolating master action does not guarantee the same spectrum for the interpolated dual theories. In the specific case of a generalized self-dual (GSD) model defined as the addition of the Maxwell term to the self-dual model in D = 2 + 1, previous master actions have furnished a dual gauge theory which is either nonlocal or contains a ghost mode. Here we show that by reducing the Maxwell term to first order by means of an auxiliary field we are able to define a master action which interpolates between the GSD model and a couple of non-interacting Maxwell-Chern-Simons theories of opposite helicities. The presence of an auxiliary field explains the doubling of fields in the dual gauge theory. A generalized duality transformation is defined and both models can be interpreted as self-dual models. Furthermore, it is shown how to obtain the gauge invariant correlators of the non-interacting MCS theories from the correlators of the self-dual field in the GSD model and vice-versa. The derivation of the non-interacting MCS theories from the GSD model, as presented here, works in the opposite direction of the soldering approach.
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Several researches have been developed in order to verify the porosity effect over the ceramic material properties. The starch consolidation casting (SCC) allows to obtain porous ceramics by using starch as a binder and pore forming element. This work is intended to describe the porous mathematical behavior and the mechanical resistance at different commercial starch concentration. Ceramic samples were made with alumina and potato and corn starches. The slips were prepared with 10 to 50 wt% of starch. The specimens were characterized by apparent density measurements and three-point flexural test associated to Weibull statistics. Results indicated that the porosity showed a first-order exponential equation e(-x/c) increasing in both kinds of starches, so it was confirmed that the alumina ceramic porosity is related to the kind of starch used. The mechanical resistance is represented by a logarithmic expression R = A + B/1+10((Log(x0)-P)C).
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)