935 resultados para spectral spaces in MV-algebra
Resumo:
Hydrofluoric acid (HF) was used to pre-treat forest soils of south-east Queensland for assessing the effectiveness of iron (Fe) removal, carbon (C) composition using C-13 cross-polarisation (CP) with magic-angle-spinning (MAS) nuclear magnetic resonance (NMR) before and after the HF pre-treatment, and the improvement of C-13 CPMAS NMR spectra. Soil samples were collected from 4 experimental sites of different soil types, harvest residue management or prescribed burning, and tree species. More than 86% of Fe was in all soil types removed by the HF treatment. The C-13 NMR spectral quality was improved with increased resolution, especially in the alkyl C and O-alkyl C regions, and reduced NMR run-time (1-5 h per sample compared with >20 h per sample without the pre-treatment). The C composition appeared to alter slightly after the pre-treatment, but this might be largely due to improved spectrometer conditions and increased resolution leading to more accurate NMR spectral integration. Organic C recovery after HF pre-treatment varied with soil types and forest management, and soluble soil organic matter (SOM) could be lost during the pre-treatment. The Fourier Transform-Infrared (FT-IR) spectra of HF extracts indicated the preferential removal of carboxylic C groups during the pre-treatment, but this could also be due to adsorbed water on the mineral matter. The NMR spectra revealed some changes in C composition and quality due to residue management and decomposition. Overall, the HF treatment was a useful pre-treatment for obtaining semi-quantitative C-13 CPMAS NMR spectra of subtropical Australian forest soils.
Resumo:
Difference equations which discretely approximate boundary value problems for second-order ordinary differential equations are analysed. It is well known that the existence of solutions to the continuous problem does not necessarily imply existence of solutions to the discrete problem and, even if solutions to the discrete problem are guaranteed, they may be unrelated and inapplicable to the continuous problem. Analogues to theorems for the continuous problem regarding a priori bounds and existence of solutions are formulated for the discrete problem. Solutions to the discrete problem are shown to converge to solutions of the continuous problem in an aggregate sense. An example which arises in the study of the finite deflections of an elastic string under a transverse load is investigated. The earlier results are applied to show the existence of a solution; the sufficient estimates on the step size are presented. (C) 2003 Elsevier Science Ltd. All rights reserved.
Resumo:
In the present paper, we study the quasiequilibrium problem and generalized quasiequilibrium problem of generalized quasi-variational inequality in H-spaces by a new method. Some new equilibrium existence theorems are given. Our results are different from corresponding given results or contain some recent results as their special cases. (C) 2003 Elsevier Science Ltd. All rights reserved.
Resumo:
In the paper we present two continuous selection theorems in hyperconvex metric spaces and apply these to study xed point and coincidence point problems as well as variational inequality problems in hyperconvex metric spaces.
Resumo:
We present a theory for the transport of molecules adsorbed in slit and cylindrical nanopores at low density, considering the axial momentum gain of molecules oscillating between diffuse wall reflections. Good agreement with molecular dynamics simulations is obtained over a wide range of pore sizes, including the regime of single-file diffusion where fluid-fluid interactions are shown to have a negligible effect on the collective transport coefficient. We show that dispersive fluid-wall interactions considerably attenuate transport compared to classical hard sphere theory.
Resumo:
Visible range to telecom band spectral translation is accomplished using an amorphous SiC pi'n/pin wavelength selector under appropriate front and back optical light bias. Results show that background intensity works as selectors in the infrared region, shifting the sensor sensitivity. Low intensities select the near-infrared range while high intensities select the visible part according to its wavelength. Here, the optical gain is very high in the infrared/red range, decreases in the green range, stays close to one in the blue region and strongly decreases in the near-UV range. The transfer characteristics effects due to changes in steady state light intensity and wavelength backgrounds are presented. The relationship between the optical inputs and the output signal is established. A capacitive optoelectronic model is presented and tested using the experimental results. © 2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
Resumo:
Let F be a field with at least four elements. In this paper, we identify all the pairs (A, B) of n x n nonsingular matrices over F , satisfying the following property: for every monic polynomial f(x) = xn + an-1xn-1 + … +a1x + aο over F, with a root in F and aο = (-1)n det(AB), there are nonsingular matrices X, Y ϵ Fnxn such that X A X-1 Y BY-1 has characteristic polynomial f (x). © 2014 © 2014 Taylor & Francis.
Resumo:
Let F be a field with at least four elements. In this paper, we identify all the pairs (A, B) of n x n nonsingular matrices over F, satisfying the following property: for every monic polynomial f (x) = x(n) + a(n-1)x(n-1) +... + a(1)x + a(0) over F, with a root in F and a(0) = (-1)(n) det(AB), there are nonsingular matrices X, Y is an element of F-nxn such that XAX(-1)Y BY-1 has characteristic polynomial f (x).
Resumo:
The main result of this work is a new criterion for the formation of good clusters in a graph. This criterion uses a new dynamical invariant, the performance of a clustering, that characterizes the quality of the formation of clusters. We prove that the growth of the dynamical invariant, the network topological entropy, has the effect of worsening the quality of a clustering, in a process of cluster formation by the successive removal of edges. Several examples of clustering on the same network are presented to compare the behavior of other parameters such as network topological entropy, conductance, coefficient of clustering and performance of a clustering with the number of edges in a process of clustering by successive removal.
Resumo:
This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.
Resumo:
Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Geografia e Planeamento Territorial - Especialidade: Geografia Humana
Resumo:
Contém artigos apresentados na International Conference “Uncertain Spaces: Virtual Configurations in Contemporary Art and Museums”, na Fundação Calouste Gulbenkian (Lisboa), 31 Outubro - 1 de Novembro de 2014) de: Helena Barranha e Susana S. Martins - Introduction: Art, Museums and Uncertainty (pp.1-12); Alexandra Bounia e Eleni Myrivili - Beyond the ‘Virtual’: Intangible Museographies and Collaborative Museum Experiences (pp.15-32); Annet Dekker - Curating in Progress. Moving Between Objects and Processes (pp.33-54); Giselle Beiguelman - Corrupted Memories. The aesthetics of Digital Ruins and the Museum of the Unfinished (pp.55-82); Andrew Vaas Brooks - The Planetary Datalinks (pp.85-110); Sören Meschede - Curators’ Network: Creating a Promotional Database for Contemporary Visual Arts (pp.11-130); Stefanie Kogler - Divergent Histories and Digital Archives of Latin American and Latino Art in the United States – Old Problems in New Digital Formats (pp.131-156); Luise Reitstätter e Florian Bettel - Right to the City! Right to the Museum!(pp.159-182); Roberto Terracciano - On Geo-poetic systems: virtual interventions inside and outside the museum space (pp.183-210); e, Catarina Carneiro de Sousa e Luís Eustáquio - Art Practice in Collaborative Virtual Environments (pp.211-240).
Resumo:
Distribution systems, eigenvalue analysis, nodal admittance matrix, power quality, spectral decomposition