726 resultados para Substitutions
Resumo:
El objetivo del presente trabajo es el análisis de las transformaciones del mundo indígena durante los años inmediatamente posteriores a las Campañas Militares de fines del siglo XIX, destacando sus estrategias de adaptación ante la nueva relación con el Estado Nacional. Así, los cambios en la organización sociopolítica indígena y en sus relaciones económicas en virtud de su nueva articulación con la sociedad estatal, son enfocados a través de diferentes estudios de caso: tribus sometidas voluntariamente y relocalizadas en tierras asignadas por el Estado; y grupos familiares que, a pesar de estar aislados de sus vínculos tribales tradicionales, mantuvieron su identidad étnica y cierto grado de autonomía social y económica. Los casos se desarrollan en el territorio de la actual provincia de Neuquén, entre 1882 y 1919, y son reconstruidos gracias a documentos de los archivos Histórico Provincial y de Tierras y Colonias de la provincia de Neuquén. Estas situaciones presentan una compleja dinámica en la cual la diversidad de continuidades, reemplazos y desapariciones queda integrada dentro de una misma lógica de supervivencia, traspasando la visión tradicional de una contradicción entre resistencia y asimilación.
Resumo:
Las dos primeras ediciones de Potpourri. Silbidos de un vago aparecieron en octubre y noviembre de 1882; la tercera se publicó en diciembre del 83. Para la segunda, salvo la corrección de cinco erratas, el autor no introdujo ningún cambio. Sí lo hizo para la publicación de la tercera; el más importante: el agregado de un prólogo. En cuanto al resto del texto, el tipo de intervenciones -sustituciones léxicas y modificaciones formales que en ocasiones involucran transformaciones semánticas, ajustes que benefician la coherencia de la trama y la legibilidad- revela una preocupación evidente por el detalle
Resumo:
Seventeen samples from pillow or massive "zero age" fresh basalts from ODP Legs 106 and 109 were studied in order to examine their magnetic properties and oxidation degree. Thermomagnetic analyses of studied samples show Curie temperatures from 127°C to 220°C with reversible heating and cooling curves. Hysteresis parameters indicate the contribution of large Pseudo-Single Domain (PSD) grain of titanomagnetites with saturation magnetization between 0.4 and 0.7 emu/g which is almost twice that those of other recent mid-oceanic dredged basalts (e.g., FAMOUS and CYAMEX-RISE). The large grain sizes and higher magnetic mineral concentration may suggest a slower cooling of these basalts compared to those previously studied. Electron microprobe analyses of titanomagnetite grains combined with Curie point determinations give z = 0.3 for the degree of low temperature oxidation, which is close to the other values reported for low temperature oxidation of mid-oceanic ridge basalts.
Resumo:
This study reports the first crystal chemical database resulting from a detailed structural investigation of trioctahedral micas found in xenolithic ejecta produced during the AD 1631, 1872 and 1944 eruptions, three explosive episodes of recent volcanic period of Vesuvius volcano (Southern Italy). Three xenolith types were selected: metamorphic/metasomatic skarns, pyrometamorphic/hydrothermally altered nodules and mafic cumulates. They are related to different magma chemistry and effusive styles: from sub-plinian and most evolved (AD 1631 eruption) to violent strombolian with medium evolution degree (AD 1872 eruption) to vulcanian-effusive, least evolved (AD 1944 eruption) event, respectively. Both xenoliths and micas were investigated employing multiple techniques: the xenoliths were characterized by X-ray fluorescence, inductively-coupled plasma-mass spectrometry, optical microscopy, X-ray powder diffraction, and quantitative energy-dispersive microanalysis; the micas were studied by electron probe microanalysis and single crystal X-ray diffraction. The mica-bearing xenoliths show variable texture and mineralogical assemblage, clearly related to their different origin. Based on the major oxide chemistry, only one xenolithic sample falls in the skarn compositional field from the Somma-Vesuvius literature, some fall close to the skarns and cumulate fields, others plot close to the syenite/foidolite/essexite field. A subgroup of the selected ejecta does not fall or approach any of the compositional fields. Trace and rare earth element patterns show some petrological affinity between studied xenoliths and erupted magmas with typical Eu, Ta and Nb negative anomalies. Strongly depleted patterns were detected for the 1631 metamorphic/metasomatic skarns xenoliths. Three distinct mica groups were distinguished: 1) Mg-, Al-rich, low Ti-bearing, low to moderate F-bearing varieties (1631 xenolith), 2) Al-moderate, F- and Mg-rich, Ti-, Fe-poor varieties (1872 xenolith), and 3) Al-, Ti- and Fe-rich, F-poor phases (1944 xenolith). All the analysed mica crystals are 1M polytypes with the expected space group C2/m. Micas from xenoliths of the 1631 Vesuvius eruption are phlogopites characterized by a combination of low extent of oxy-type and variable extent OH-F-substitutions, as testified by the range of F concentration (from ~ 0.20 to 0.80 apfu). Micas from xenoliths of the 1872 Vesuvius eruption exhibit structural peculiarities typical of fluorophlogopites, i.e. OH-F-substitution is predominant. Micas from the xenolith of the 1944 Vesuvius eruption display features typical of oxy-substituted micas. The variability of the crystal chemical features of the studied micas are consistent with the remarkable variation of their host rocks. Micas from 1631 nodules are related to metasomatic, skarn-type environment, deriving from the metamorphosed wall-rocks hosting the magma reservoir. The fluorophlogopites from the 1872 xenoliths testify for strongly dehydrated environmental conditions compared to those of the 1631 and 1944 hosts. Finally, magma storage condition at depth, associated to a decreasing aH2O may have promoted major oxy-type substitutions in 1944 biotites.
Resumo:
The Armington Assumption in the context of multi-regional CGE models is commonly interpreted as follows: Same commodities with different origins are imperfect substitutes for each other. In this paper, a static spatial CGE model that is compatible with this assumption and explicitly considers the transport sector and regional price differentials is formulated. Trade coefficients, which are derived endogenously from the optimization behaviors of firms and households, are shown to take the form of a potential function. To investigate how the elasticity of substitutions affects equilibrium solutions, a simpler version of the model that incorporates three regions and two sectors (besides the transport sector) is introduced. Results indicate: (1) if commodities produced in different regions are perfect substitutes, regional economies will be either autarkic or completely symmetric and (2) if they are imperfect substitutes, the impact of elasticity on the price equilibrium system as well as trade coefficients will be nonlinear and sometimes very sensitive.
Resumo:
Program specialization optimizes programs for known valúes of the input. It is often the case that the set of possible input valúes is unknown, or this set is infinite. However, a form of specialization can still be performed in such cases by means of abstract interpretation, specialization then being with respect to abstract valúes (substitutions), rather than concrete ones. We study the múltiple specialization of logic programs based on abstract interpretation. This involves in principie, and based on information from global analysis, generating several versions of a program predicate for different uses of such predicate, optimizing these versions, and, finally, producing a new, "multiply specialized" program. While múltiple specialization has received theoretical attention, little previous evidence exists on its practicality. In this paper we report on the incorporation of múltiple specialization in a parallelizing compiler and quantify its effects. A novel approach to the design and implementation of the specialization system is proposed. The resulting implementation techniques result in identical specializations to those of the best previously proposed techniques but require little or no modification of some existing abstract interpreters. Our results show that, using the proposed techniques, the resulting "abstract múltiple specialization" is indeed a relevant technique in practice. In particular, in the parallelizing compiler application, a good number of run-time tests are eliminated and invariants extracted automatically from loops, resulting generally in lower overheads and in several cases in increased speedups.
Resumo:
Traditional schemes for abstract interpretation-based global analysis of logic programs generally focus on obtaining procedure argument mode and type information. Variable sharing information is often given only the attention needed to preserve the correctness of the analysis. However, such sharing information can be very useful. In particular, it can be used for predicting runtime goal independence, which can eliminate costly run-time checks in and-parallel execution. In this paper, a new algorithm for doing abstract interpretation in logic programs is described which concentrates on inferring the dependencies of the terms bound to program variables with increased precisión and at all points in the execution of the program, rather than just at a procedure level. Algorithms are presented for computing abstract entry and success substitutions which extensively keep track of variable aliasing and term dependence information. In addition, a new, abstract domain independent ñxpoint algorithm is presented and described in detail. The algorithms are illustrated with examples. Finally, results from an implementation of the abstract interpreter are presented.
Resumo:
Abstract. We study the problem of efficient, scalable set-sharing analysis of logic programs. We use the idea of representing sharing information as a pair of abstract substitutions, one of which is a worst-case sharing representation called a clique set, which was previously proposed for the case of inferring pair-sharing. We use the clique-set representation for (1) inferring actual set-sharing information, and (2) analysis within a top-down framework. In particular, we define the new abstract functions required by standard top-down analyses, both for sharing alone and also for the case of including freeness in addition to sharing. We use cliques both as an alternative representation and as widening, defining several widening operators. Our experimental evaluation supports the conclusión that, for inferring set-sharing, as it was the case for inferring pair-sharing, precisión losses are limited, while useful efficieney gains are obtained. We also derive useful conclusions regarding the interactions between thresholds, precisión, efficieney and cost of widening. At the limit, the clique-set representation allowed analyzing some programs that exceeded memory capacity using classical sharing representations.
Resumo:
Program specialization optimizes programs for known valúes of the input. It is often the case that the set of possible input valúes is unknown, or this set is infinite. However, a form of specialization can still be performed in such cases by means of abstract interpretation, specialization then being with respect to abstract valúes (substitutions), rather than concrete ones. This paper reports on the application of abstract múltiple specialization to automatic program parallelization in the &-Prolog compiler. Abstract executability, the main concept underlying abstract specialization, is formalized, the design of the specialization system presented, and a non-trivial example of specialization in automatic parallelization is given.
Resumo:
Studying independence of literals, variables, and substitutions has proven very useful in the context of logic programming (LP). Here we study independence in the broader context of constraint logic programming (CLP). We show that a naive extrapolation of the LP definitions of independence to CLP is unsatisfactory (in fact, wrong) for two reasons. First, because interaction between variables through constraints is more complex than in the case of logic programming. Second, in order to ensure the efUciency of several optimizations not only must independence of the search space be considered, but also an orthogonal issue - "independence of constraint solving." We clarify these issues by proposing various types of search independence and constraint solver independence, and show how they can be combined to allow different independence-related optimizations, from parallelism to intelligent backtracking. Sufficient conditions for independence which can be evaluated "a-priori" at run-time are also proposed. Our results suggest that independence, provided a suitable definition is chosen, is even more useful in CLP than in LP.
Resumo:
Traditional schemes for abstract interpretation-based global analysis of logic programs generally focus on obtaining procedure argument mode and type information. Variable sharing information is often given only the attention needed to preserve the correctness of the analysis. However, such sharing information can be very useful. In particular, it can be used for predicting run-time goal independence, which can eliminate costly run-time checks in and-parallel execution. In this paper, a new algorithm for doing abstract interpretation in logic programs is described which infers the dependencies of the terms bound to program variables with increased precisión and at all points in the execution of the program, rather than just at a procedure level. Algorithms are presented for computing abstract entry and success substitutions which extensively keep track of variable aliasing and term dependence information. The algorithms are illustrated with examples.
Resumo:
We study the problem of efñcient, scalable set-sharing analysis of logic programs. We use the idea of representing sharing information as a pair of abstract substitutions, one of which is a worst-case sharing representation called a clique set, which was previously proposed for the case of inferring pair-sharing. We use the clique-set representation for (1) inferring actual set-sharing information, and (2) analysis within a topdown framework. In particular, we define the abstract functions required by standard top-down analyses, both for sharing alone and also for the case of including freeness in addition to sharing. Our experimental evaluation supports the conclusión that, for inferring set-sharing, as it was the case for inferring pair-sharing, precisión losses are limited, while useful efñciency gains are obtained. At the limit, the clique-set representation allowed analyzing some programs that exceeded memory capacity using classical sharing representations.
Resumo:
We have investigated OsHKT2;1 natural variation in a collection of 49 cultivars with different levels of salt tolerance and geographical origins. The effect of identified polymorphism on OsHKT2;1 activity was analysed through heterologous expression of variants in Xenopus oocytes. OsHKT2;1 appeared to be a highly conserved protein with only five possible amino acid substitutions that have no substantial effect on functional properties. Our study, however, also identified a new HKT isoform, No-OsHKT2;2/1 in Nona Bokra, a highly salt-tolerant cultivar. No-OsHKT2;2/1 probably originated from a deletion in chromosome 6, producing a chimeric gene. Its 5¢ region corresponds to that of OsHKT2;2, whose full-length sequence is not present in Nipponbare but has been identified in Pokkali, a salt-tolerant rice cultivar. Its 3¢ region corresponds to that of OsHKT2;1. No-OsHKT2;2/1 is essentially expressed in roots and displays a significant level of expression at high Na+ concentrations, in contrast to OsHKT2;1. Expressed in Xenopus oocytes or in Saccharomyces cerevisiae, No-OsHKT2;2/1 exhibited a strong permeability to Na+ and K+, even at high external Na+ concentrations, like OsHKT2;2, and in contrast to OsHKT2;1. Our results suggest that No-OsHKT2;2/1 can contribute to Nona Bokra salt tolerance by enabling root K+ uptake under saline conditions.
Resumo:
The electronic structure of modified chalcopyrite CuInS2 has been analyzed from first principles within the density functional theory. The host chalcopyrite has been modified by introducing atomic impurities M at substitutional sites in the lattice host with M = C, Si, Ge, Sn, Ti, V, Cr, Fe, Co, Ni, Rh, and Ir. Both substitutions M for In and M for Cu have been analyzed. The gap and ionization energies are obtained as a function of the M-S displacements. It is interesting for both spintronic and optoelectronic applications because it can provide significant information with respect to the pressure effect and the nonradiative recombination.
Resumo:
The Cu2ZnSnS4 (CZTS) semiconductor is a potential photovoltaic material due to its optoelectronic properties. These optoelectronic properties can be potentially improved by the insertion of intermediate states into the energy bandgap. We explore this possibility using Cr as an impurity. We carried out first-principles calculations within the density functional theory analyzing three substitutions: Cu, Sn, or Zn by Cr. In all cases, the Cr introduces a deeper band into the host energy bandgap. Depending on the substitution, this band is full, empty, or partially full. The absorption coefficients in the independent-particle approximation have also been obtained. Comparison between the pure and doped host's absorption coefficients shows that this deeper band opens more photon absorption channels and could therefo:e increase the solar-light absorption with respect to the host.