957 resultados para first order modal logic
Resumo:
This paper presents vectorized methods of construction and descent of quadtrees that can be easily adapted to message passing parallel computing. A time complexity analysis for the present approach is also discussed. The proposed method of tree construction requires a hash table to index nodes of a linear quadtree in the breadth-first order. The hash is performed in two steps: an internal hash to index child nodes and an external hash to index nodes in the same level (depth). The quadtree descent is performed by considering each level as a vector segment of a linear quadtree, so that nodes of the same level can be processed concurrently. © 2012 Springer-Verlag.
Resumo:
The scale invariance manifested by the weakly-bound Efimov states implies that all the Efimov spectrum can be merged in a single scaling function. By considering this scaling function, the ratio between two consecutive energy levels, E3 (N+1) and E3 (N), can be obtained from a two-body low-energy observable (usually the scattering length a), given in units of the three-body energy level N. The zero-ranged scaling function is improved by incorporating finite range corrections in first order of r0/a (r0 is the potential effective range). The critical condition for three-identical bosons in s-wave, when the excited E3 (N+1) state disappears in the 2 + 1 threshold, is given by √E2/E3 (N) ≈ 0.38+0.12(r0/a). © 2012 Springer-Verlag.
Resumo:
In this work we study the periodic solutions, their stability and bifurcation for the class of Duffing differential equation mathematical equation represented where C > 0, ε > 0 and Λ are real parameter, A(t), b(t) and h(t) are continuous T periodic functions and ε is sufficiently small. Our results are proved using the averaging method of first order.
Resumo:
In this work we analyze the convergence of solutions of the Poisson equation with Neumann boundary conditions in a two-dimensional thin domain with highly oscillatory behavior. We consider the case where the height of the domain, amplitude and period of the oscillations are all of the same order, and given by a small parameter e > 0. Using an appropriate corrector approach, we show strong convergence and give error estimates when we replace the original solutions by the first-order expansion through the Multiple-Scale Method.
Resumo:
The objective of this research was the preparation of a silsesquioxane functionalized with eight chloropropyl chains (T8-PrCl) and of a new derivative functionalized with a pendant linear chain (2-amino-1,3,4-thiadiazole - ATD; T8-Pr-ATD). The two nanostructured materials were characterized by 13C and 29Si NMR, FTIR and elemental analysis. The new nanostructured material, octakis[3-(2-amino-1,3,4-thiadiazole)propyl] octasilsesquioxane (T8-Pr-ATD), was tested as a ligand for transition-metal ions with a special attention to adsorption isotherms. The adsorption was performed using a batchwise process and the organofunctionalized surface showed the ability to adsorb the metal ions Cu (II), Co (II), and Ni (II) from water and ethanol. The adsorption isotherms were fitted by Langmuir, Freundlich, Temkin and Dubinin-Radushkevich (D-R) model. The kinetics of adsorption of metals were performed using three models such as pseudo-first order, pseudo-second order and Elovich. The Langmuir and Elovich models were the most appropriate to describe the adsorption and kinetic data, respectively. Furthermore, the T8-Pr-ATD was successfully applied to the analysis of environmental samples (river and sea water). Subsequently, a new nanomaterial was prepared by functionalization of the T8-Pr-ATD with a Mo (II) organometallic complex (T8-Pr-ATD-Mo). Only a few works in the literature have reported this type of substitution, and none dealt with ATD and Mo (II) complexes. The new Mo-silsesquioxane organometallic nanomaterial was tested as precursor in the epoxidation of cyclooctene and styrene. © 2012 Elsevier B.V.
Resumo:
Decomposition of plant material influences soil aggregation dynamics in ways that are still poorly understood, especially for Oxisols, in which oxides are believed to play a dominant role. In an incubation experiment, we investigated (i) the effect of plant material addition from selected monocot and dicot species on soil organic C (SOC), carbohydrate composition, fungal and total microbial biomass, and aggregation of an Oxisol; and (ii) the relationship among these properties and C mineralization patterns. The experiment was carried out at 25 °C for 180 d after addition of 11 plant materials (4 g C kg-1 soil) and a control (no plant material added). Mineralization of C during the incubation was described considering two pools of C (labile and non-labile) using a first-order plus linear fitting. Compared to the control, corn materials showed larger pentose input, greater mineralization rates for the non-labile C pool (k), greater soil pentose content (xylose + arabinose) and larger mean weight diameter of soil water-stable aggregates at 180 d of incubation. These effects were independent of changes in SOC content, suggesting that total C accrual and macroaggregation may be decoupled processes in this Oxisol. Our results support the hypothesis that the non-labile plant C pool contributes to the long-lasting stability of macroaggregates of this Oxisol and that this effect is mediated by plant and soil pentoses. We propose that plant pentose content and the decomposition rate of the slow pool (k) are useful parameters for the prediction of plant effects on aggregation dynamics of Oxisols and the selection of soil conservation practices. © 2012.
Resumo:
Traditional Monte Carlo simulations of QCD in the presence of a baryon chemical potential are plagued by the complex phase problem and new numerical approaches are necessary for studying the phase diagram of the theory. In this work we consider a ℤ3 Polyakov loop model for the deconfining phase transition in QCD and discuss how a flux representation of the model in terms of dimer and monomer variable solves the complex action problem. We present results of numerical simulations using a worm algorithm for the specific heat and two-point correlation function of Polyakov loops. Evidences of a first order deconfinement phase transition are discussed. © 2013 American Institute of Physics.
Resumo:
In this work we investigate the adsorption of polyelectrolyte chains onto uniformly charged cylindrical macroions by means of the Metropolis Monte Carlo simulations and weighted histogram analysis method. Adopting a simplified model for macromolecules and treating the electrolytic solution in the Debye-Hückel level, conformational properties of the adsorbed chain, such as the radius of gyration and the thickness of the adsorbed layer, are provided as a function of ionic strength and macroion charge density. By analysis of the free energy profile as a function of the radius of gyration it was possible to identify first-order-like transitions between adsorbed and desorbed states and obtain a macroion charge density dependence of the critical ionic strength in good agreement with experiments. © 2013 AIP Publishing LLC.
Resumo:
The objective of this research was the preparation of a silica gel functionalized successively with 3-chloropropyltrimethoxysilane (SG-PrCl) and thiourea (SG-Pr-THIO), and its application in adsorption and catalysis. The materials were characterized by 13C and 29Si NMR, FTIR, scanning electron micrographs (SEM), analysis of nitrogen and elemental analysis. Aiming at its application in adsorption, the [3-(thiourea)-propyl] silica gel (SG-Pr-THIO) was tested as an adsorbent for transition-metal ions using a batchwise process. The organofunctionalized surface showed the ability to adsorb the metal ions Cd(ii), Cu(ii), Ni(ii), Pb(ii) and Co(ii) from water, ethanol and acetone. The adsorption isotherms were fitted by Langmuir, Freundlich, Temkin and Dubinin-Radushkevich (D-R) models. The kinetics of adsorption of metals were performed using three models such as pseudo-first order, pseudo-second order and Elovich. The Langmuir and pseudo-first order models were the most appropriate to describe the adsorption and kinetic data, respectively. With the purpose of application in catalysis, the SG-Pr-THIO was reacted with a Mo(ii) organometallic complex, forming the new material SG-Pr-THIO-Mo. Only a few works in the literature have reported this type of reaction, and none dealt with thiourea and Mo(ii) complexes. The new Mo-silica gel organometallic material was tested as catalyst in the epoxidation of cyclooctene and styrene. © 2013 The Royal Society of Chemistry and the Centre National de la Recherche Scientifique.
Resumo:
We study the dynamics of the noncommutative fluid in the Snyder space perturbatively at the first order in powers of the noncommutative parameter. The linearized noncommutative fluid dynamics is described by a system of coupled linear partial differential equations in which the variables are the fluid density and the fluid potentials. We show that these equations admit a set of solutions that are monochromatic plane waves for the fluid density and two of the potentials and a linear function for the third potential. The energy-momentum tensor of the plane waves is calculated. © 2013 Elsevier B.V.
Resumo:
This paper is mainly devoted to the study of the limit cycles that can bifurcate from a linear center using a piecewise linear perturbation in two zones. We consider the case when the two zones are separated by a straight line Σ and the singular point of the unperturbed system is in Σ. It is proved that the maximum number of limit cycles that can appear up to a seventh order perturbation is three. Moreover this upper bound is reached. This result confirms that these systems have more limit cycles than it was expected. Finally, center and isochronicity problems are also studied in systems which include a first order perturbation. For the latter systems it is also proved that, when the period function, defined in the period annulus of the center, is not monotone, then it has at most one critical period. Moreover this upper bound is also reached.
Resumo:
Processes involving visible to infrared energy conversion are presented for Pr3+-Yb3+ co-doped fluoroindate glasses. The emission in the visible and infrared regions, the luminescence decay time of the Pr 3+:3P0 → 3H4 (482 nm), Pr3+:1D2 → 3H6 (800 nm), Yb3+:2F5/2 → 2F 7/2 (1044 nm) transitions and the photoluminescence excitation spectra were measured in Pr3+ samples and in Pr3+-Yb 3+ samples as a function of the Yb3+ concentration. In addition, energy transfer efficiencies were estimated from Pr3+: 3P0 and Pr3+:1D2 levels to Yb3+:2F7/2 level. Down-Conversion (DC) emission is observed due to a combination of two different processes: 1-a one-step cross relaxation (Pr3+:3P0 → 1G4; Yb3+:2F7/2 → 2F5/2) resulting in one photon emitted by Pr3+ (1G4 → 3H5) and one photon emitted by Yb3+ (2F7/2 → 2F5/2); 2-a resonant two-step first order energy transfer, where the first part of energy is transferred to Yb3+ neighbor through cross relaxation (Pr3+:3P0 → 1G4; Yb3+:2F7/2 → 2F5/2) followed by a second energy transfer step (Pr 3+:1G4 → 3H4; Yb3+:2F7/2 → 2F5/2). A third process leading to one IR photon emission to each visible photon absorbed involves cross relaxation energy transfer (Pr3+: 1D2 → 3F4; Yb 3+:2F7/2 → 2F5/2). © 2013 Elsevier B.V. All rights reserved.