922 resultados para Toeplitz operators, Hardy and Bergman spaces, spectral invariant Frechet algebras, DFN-domains
Resumo:
Este trabajo estudia la vida privada del pulpero rural de la campaña de Buenos Aires y las actividades que desarrolla cuando no se encuentra frente a su negocio. A través del análisis de testamentos e inventarios de pulperos rurales de Buenos Aires de fines del siglo XVIII y principios del XIX el estudio intenta penetrar en la intimidad y en las actividades alternativas que desempeñaban. El trabajo logra comprobar la existencia de un espacio protegido de la intromisión pública. Si bien la frontera que separaba ambos territorios muchas veces aparecía desfigurada, el espacio privado ha sido conquistado en mayor o menor medida por el pulpero rural. Con ello este artículo cuestiona la visión de rusticidad general que envolvía a la vida en la campaña y ubica a los pulperos dentro de los sectores medios que poblaban la campaña.
Resumo:
En pleno proceso de corrimiento de la frontera productiva y emergente disputa por el uso y apropiación de los recursos, la intervención de distintos sujetos sociales en el oeste de La Pampa está redefiniendo las prácticas productivas-reproductivas de los crianceros campesinos y, en consecuencia, la construcción social del espacio. Desde la finalización de las campañas militares contra las sociedades indígenas diferentes agentes, mediante el ejercicio de poder, construyeron determinadas representaciones territoriales y pusieron en acción prácticas tendientes a articular el oeste pampeano con la economía nacional. Sin embargo la escasa valorización de este espacio posibilitó el desarrollo de cierta autonomía en las formas de organización socio-productivas y simbólicas. Ante la expansión de la frontera ganadera, el impuso hidrocarburífero en la región y creciente presencia de nuevas lógicas territoriales crecen las confrontaciones por el desigual acceso a los recursos naturales, por la apropiación del espacio y la construcción de territorialidades. En este marco, el artículo focaliza la mirada en la organización interna de los asentamientos rurales y en los usos sociales de los espacios a través del tiempo, en dos áreas del "extremo" oeste: La Humada y Chos Malal. De este modo se pretende establecer cómo se organizaron diacrónicamente los espacios doméstico, peridoméstico y monte y qué sentidos expresan los sujetos en torno a los espacios de vida y lugares en tiempos de expansión de la frontera productiva. El nuevo campo social generado producto del avance del capitalismo sobre las unidades campesinas se expresa, no sólo en las modificaciones en las formas de manejo del ganado, organización de la producción y construcción social del espacio, sino también en las formas de sociabilidad y estrategias de resistencia colectivas. Este proceso, que se está gestando en la región, tiene un desarrollo similar en otros espacios donde el avance productivo se ha generado con anterioridad o a un ritmo más acelerado. Para la realización de la investigación se articulan diferentes estrategias de metodología cualitativa que combinan el estudio de caso con historias de vida, entrevistas en profundidad y análisis de fuentes documentales.
Resumo:
En el contexto de la privatización del sistema portuario argentino, y a partir del nuevo modelo de gestión del Puerto Quequén y su vinculación con algunas de las transformaciones territoriales, el presente trabajo analiza las prácticas espaciales y los espacios de representación de los principales actores locales vinculados a la cuestión portuaria. En cuanto al proceso de privatización portuaria se evalúa la tendencia en la re-producción del espacio, la apropiación y modos de uso mercantil del espacio-puerto por 'lo privado'. Así, el objetivo general que guió el trabajo fue analizar los cambios en las prácticas espaciales y los espacios de representación a partir del proceso de privatización, entendiendo el puerto como un territorio en disputa que es sentido, vivido y percibido de manera diversa por los diferentes actores.
Resumo:
Hay una cantidad de explotaciones familiares que aún perduran y se resisten a desaparecer, desplegando variadas y novedosas estrategias productivas, sociales y culturales. Precisamente, el objetivo de este artículo es presentar dos casos de explotaciones familiares en contextos muy diferentes: una ubicada en el Dpto. Banda de la provincia de Santiago del Estero y la otra en el Partido de Saladillo, provincia de Buenos Aires, donde la diversidad y regularidad de las estrategias adoptadas les han permitido persistir y desarrollar estrategias alternativas al modelo vigente. El despliegue del potencial productivo, ecológico y social de la agricultura familiar requiere de la construcción de espacios protegidos. Así, los espacios protegidos se presentan como un argumento sobre la potencialidad de la agricultura familiar y su capacidad de generar un desarrollo rural alternativo, en el que la pequeña producción tenga un rol activo en la construcción de este nuevo diseño. No obstante, en la actualidad, los espacios protegidos no son más que una hipótesis y una declaración de las posibilidades sobre la forma en la que el mundo agrario podría estructurarse con base en la pequeña producción. La sistematización de los casos comienza a mostrar caminos y pautas posibles de aprendizajes para esa construcción
Resumo:
El propósito de la ponencia es elaborar un panorama sobre la relevancia de la gestión del paisaje dentro del ordenamiento territorial, un tema cuya discusión ha emergido en los últimos años y en base al cual se han desarrollado numerosas normativas y técnicas dentro del contexto europeo y norteamericano. El proceso de globalización ha intensificado las dinámicas homogeneización urbana de dispersión territorial, y especialización funcional. En Europa y EEUU, como respuesta a éstas dinámicas, se han impulsado estrategias de gestión territorial sobre la base del ordenamiento del paisaje. Las acciones emprendidas responden a la instrumentación de políticas, metodologías e intervenciones impregnadas de una concepción de paisaje entendido como atributo de la totalidad del territorio; referido tanto a los espacios singulares y/o destacados como a los cotidianos y degradados. Desde el diagnóstico urbano y territorial comienzan a implementarse instrumentos que profundizan en el conocimiento del territorio desde este enfoque. El establecimiento de acuerdos internacionales dirigidos a impulsar la gestión del paisaje, ha promovido el desarrollo de legislaciones, instrumentos y proyectos que sitúan al paisaje como un componente destacado dentro del ordenamiento territorial y la planificación urbanística, que se establecen dentro de dos líneas claramente definidas: una línea propositiva en la que el paisaje es considerado como reactivador de territorios patrimoniales y una línea normativa, integrada por leyes que intentan guiar la gestión del territorio asociado a la valoración del paisaje. Las experiencias desarrolladas en Europa y en Norteamérica en materia de gestión del paisaje Invitan a pensar en estrategias adecuadas al escenario latinoamericano. Puede verificarse que dichas estrategias presentan cierto nivel de transferencia a otros contextos, dejando en claro que es posible utilizar el concepto de paisaje para dar respuesta a cuestiones de ordenamiento territorial en contextos con menor nivel de desarrollo que el europeo, sin dejar de tener en cuenta que las demandas son diferentes. De esta manera, queda por responder cómo implementar este tipo de proyectos dentro del contexto latinoamericano, resolviendo problemáticas que exceden la escala de los países desarrollados, y donde el paisaje puede constituirse como una herramienta de reconocimiento de la particular identidad local, además de cumplir un significativo rol en el aspecto medioambiental
Resumo:
En el marco de la crisis vitivinícola de principios del siglo XX, se generó, entre los agentes implicados en esa actividad, una discusión sobre sus causas y posibles soluciones. Uno de los cambios propiciados fue la renovación de la legislación que regulaba la agroindustria. Este artículo analiza la génesis de la nueva ley de vinos, sancionada en 1904, con el nº 4363, que reguló la actividad hasta fines de la década de 1930 y constituyó un avance en la definición de vino genuino y otorgó herramientas más eficaces al Estado para reprimir la falsificación del vino. Sin embargo, reforzó el modelo de producción de vino en masa y dejó "espacios" de control vacíos que fueron denunciados por otros sectores relacionados con la agroindustria.
Resumo:
A mediados del siglo XVIII los grandes comerciantes de distintos espacios hispanoamericanos, acumulan suficientes caudales que les permiten comprar títulos de nobleza, distinciones o formar mayorazgos que relumbren sus nombres y perpetúen sus bienes adquiridos. Este proceso es mayormente evidente en los espacios mexicanos y peruanos; pero no se conocen casos concretos para el espacio rioplatense. Como planteó José Torre Revello, esto no implica que los comerciantes rioplatenses no intentasen ennoblecerse. El presente estudio de caso detalla como Don Vicente de Azcuénaga intenta fundar un mayorazgo en la ciudad de Buenos Aires a favor de su primogénito Miguel. A través de este estudio basado en las "probanzas" se puede observar como la familia Azcuénaga pretende resaltar su nombre frente al resto de sus contemporáneos, pero las relaciones entre padre e hijo nos conducen a la vez a replantearnos interrogantes referentes a las tradiciones de acumulación y conservación de patrimonios
Resumo:
El presente artículo reconstruye el escenario en que la política universitaria estudiantil, a través de sus espacios de representación y participación, se estructura y posiciona en el marco de reapertura a la democracia. El caso de la Facultad de Humanidades permite figurar como se desarrolla esta compleja trama entre actores e intereses diversos
Resumo:
En el presente trabajo intentamos aproximarnos al estudio de la devoción a la Virgen en la ciudad de Buenos Aires durante la colonia a través de la identificación de las conmemoraciones del calendario y de los lugares de culto. Para ello se rastrearon las asociaciones de laicos con fines religiosos, cofradías y hermandades. Las fuentes utilizadas son libros de constituciones y actas de diferentes cofradías, un almanaque del siglo XVIII y documentación emitida por la corona española sobre la organización de las festividades religiosas y las reuniones de las cofradías. También se ha usado bibliografía editada para rastrear información sobre asociaciones y espacios de culto. Este trabajo se propone construir una base empírica para poder analizar la construcción de escenarios religiosos que desbordan los límites de la devoción privada constituyendo un espacio público, hacia finales del período colonial.
Resumo:
Alkenone sea surface temperature (SST) records were generated from the Ocean Drilling Program's (ODP) Sites 1014 and 1016 to examine the response of the California Current System to global climate change during the last 136 ka. The temperature differences between these sites (Delta SST(NEP)=SST(ODP1014)-SST(ODP1016)) reflected the intensity of the California Current and varied between 0.4 and 6.1 °C. A high Delta SST(NEP) (weaker California Current) was found for late marine isotope stage (MIS) 2 and early MIS 5e, while a low Delta SST(NEP) (stronger California Current) was detected for mid-MIS 5e and MIS 1. Spectral analysis indicated that this variation pattern dominated 23- (precession) and 30-ka periods. Comparison of the Delta SST(NEP) and SST based on data from core MD01-2421 at the Japan margin revealed anti-phase variation; the high Delta SST(NEP) (weakening of the California Current) corresponded to the low SST at the Japan margin (the southward displacement of the NW Pacific subarctic boundary), and vice versa. This variation was synchronous with a model prediction of the tropical El Niño-Southern Oscillation behavior. These findings suggest that the intensity of the North Pacific High varied in response to precessional forcing, and also that the response has been linked with the changes of tropical ocean-atmosphere interactions.
Resumo:
The fabric of sediments recovered at sites drilled on the Indus Fan, Owen Ridge, and Oman margin during Ocean Drilling Program Leg 117 was examined by scanning electron microscopy to document changes that accompany sediment burial. Two sediment types were studied: (1) biogenic sediments consisting of a variety of marly nannofossil and nannofossil oozes and chalks and (2) terrigenous sediments consisting of fine-grained turbidites deposited in association with the Indus Fan. Biogenic sediments were examined with samples from the seafloor to depths of 306 m below seafloor (mbsf) on the Owen Ridge (Site 722) and 368 mbsf on the Oman margin (Sites 723 and 728). Over these depth ranges the biogenic sediments are characterized by a random arrangement of microfossils and display little chemical diagenetic alteration. The microfossils are dispersed within a fine-grained matrix that is predominantly microcrystalline carbonate particles on the Owen Ridge and clay and organic matter on the Oman margin. Sediments with abundant siliceous microfossils display distinct, open fabrics with high porosity. Porosity reduction resulting from gravitational compaction appears to be the primary process affecting fabric change in the biogenic sediment sections. Fabric of illite-rich clayey silts and silty claystones from the Indus Fan (Site 720) and Owen Ridge (Sites 722 and 731) was examined for a composite section extending from 45 to 985 mbsf. In this section fabric of the fine-grained turbidites changes from one with small flocculated clay domains, random particle arrangement, and high porosity to a fabric with larger domains, strong preferred particle orientation roughly parallel to bedding, and lower porosity. These changes are accomplished by a growth in domain size, primarily through increasing face-to-face contacts, and by particle reorientation which is characterized by a sharp increase in alignment with bedding between 200 and 400 mbsf. Despite extensive particle reorientation, flocculated clay fabric persists in the deepest samples examined, particularly adjacent to silt grains, and the sediments lack fissility. Fabric changes over the 45-985 mbsf interval occur in response to gravitational compaction. Porosity reduction and development of preferred particle orientation in the Indus Fan and Owen Ridge sections occur at greater depths than outlined in previous fabric models for terrigenous sediments as a consequence of a greater abundance of silt and a greater abundance of illite and chlorite clays.
Resumo:
For the qualitative description of surface properties like vegetation cover or land-water-ratio of Samoylov Island as well as for the evaluation of fetch homogeneity considerations of the eddy covariance measurements and for the up-scaling of chamber flux measurements, a detailed surface classification of the island at the sub-polygonal scale is necessary. However, up to know only grey-scale Corona satellite images from the 1960s with a resolution of 2 x 2 m and recent multi-spectral LandSat images with a resolution of 30 x 30 m were available for this region. Both are not useable for the desired classification because of missing spectral information and inadequate resolution, respectively. During the Lena 2003 expedition, a survey of the island by air photography was carried out in order to obtain images for surface classification. The photographs were taken from a helicopter on 10.07.2002, using a Canon EOS100 reflex camera, a Soligor 19-23 mm lens and colour slide film. The height from which the photographs were taken was approximately 600 meters. Due to limited flight time, not all the area of the island could be photographed and some regions could only be photographed with a slanted view. As a result, the images are of a varying quality and resolution. In Potsdam, after processing the films were scanned using a Nikon LS-2000 scanner at maximal resolution setting. This resulted in a ground resolution of the scanned images of approximately 0.3x0.3 m. The images were subsequently geo-referenced using the ENVI software and a referenced Corona image dating from 18.07.1964 (Spott, 2003). Geo-referencing was only possible for the Holocene river terrace areas; the floodplain regions in the western part of the island could not be referenced due to the lack of ground reference points. In Figure 3.7-1, the aerial view of Samoylov Island composed of the geo-referenced images is shown. Further work is necessary for the classification and interpretation of the images. If possible, air photography surveys will be carried out during future expeditions in order to determine changes in surface pattern and composition.
Resumo:
Una de las principales líneas de investigación de la economía urbana es el comportamiento del mercado inmobiliario y sus relaciones con la estructura territorial. Dentro de este contexto, la reflexión sobre el significado del valor urbano, y abordar su variabilidad, constituye un tema de especial importancia, dada la relevancia que ha supuesto y supone la actividad inmobiliaria en España. El presente estudio ha planteado como principal objetivo la identificación de aquellos factores, ligados a la localización que explican la formación del valor inmobiliario y justifican su variabilidad. Definir este proceso precisa de una evaluación a escala territorial estableciendo aquellos factores de carácter socioeconómico, medioambiental y urbanístico que estructuran el desarrollo urbano, condicionan la demanda de inmuebles y, por tanto, los procesos de formación de su valor. El análisis se centra en valores inmobiliarios residenciales localizados en áreas litorales donde la presión del sector turístico ha impulsado un amplio. Para ello, el ámbito territorial seleccionado como objeto de estudio se sitúa en la costa mediterránea española, al sur de la provincia de Alicante, la comarca de la Vega Baja del Segura. La zona, con una amplia diversidad ecológica y paisajística, ha mantenido históricamente una clara distinción entre espacio urbano y espacio rural. Esta dicotomía ha cambiado drásticamente en las últimas décadas, experimentándose un fuerte crecimiento demográfico y económico ligado a los sectores turístico e inmobiliario, aspectos que han tenido un claro reflejo en los valores inmobiliarios. Este desarrollo de la comarca es un claro ejemplo de la política expansionista de los mercados de suelo que ha tenido lugar en la costa española en las dos últimas décadas y que derivado en la regeneración de un amplio tejido suburbano. El conocimiento del marco territorial ha posibilitado realizar un análisis de variabilidad espacial mediante un tratamiento masivo de datos, así como un análisis econométrico que determina los factores que se valoran positivamente y negativamente por el potencial comprador. Estas relaciones permiten establecer diferentes estructuras matemáticas basadas en los modelos de precios hedónicos, que permiten identificar rasgos diferenciales en los ámbitos económico, social y espacial y su incidencia en el valor inmobiliario. También se ha sistematizado un proceso de valoración territorial a través del análisis del concepto de vulnerabilidad estructural, entendido como una situación de fragilidad debida a circunstancias tanto sociales como económicas, tanto actual como de tendencia en el futuro. Actualmente, esta estructura de demanda de segunda residencia y servicios ha mostrado su fragilidad y ha bloqueado el desarrollo económico de la zona al caer drásticamente la inversión en el sector inmobiliario por la crisis global de la deuda. El proceso se ha agravado al existir un tejido industrial marginal al que no se ha derivado inversiones importantes y un abandono progresivo de las explotaciones agropecuarias. El modelo turístico no sería en sí mismo la causa del bloqueo del desarrollo económico comarcal, sino la forma en que se ha implantado en la Costa Blanca, con un consumo del territorio basado en el corto plazo, poco respetuoso con aspectos paisajísticos y medioambientales, y sin una organización territorial global. Se observa cómo la vinculación entre índices de vulnerabilidad y valor inmobiliario no es especialmente significativa, lo que denota que las tendencias futuras de fragilidad no han sido incorporadas a la hora de establecer los precios de venta del producto inmobiliario analizado. El valor muestra una clara dependencia del sistema de asentamiento y conservación de las áreas medioambientales y un claro reconocimiento de tipologías propias del medio rural aunque vinculadas al sector turístico. En la actualidad, el continuo descenso de la demanda turística ha provocado una clara modificación en la estructura poblacional y económica. Al incorporar estas modificaciones a los modelos especificados podemos comprobar un verdadero desmoronamiento de los valores. Es posible que el remanente de vivienda construida actualmente vaya dirigido a un potencial comprador que se encuentra en retroceso y que se vincula a unos rasgos territoriales ya no existentes. Encontrar soluciones adaptables a la oferta existente, implica la viabilidad de renovación del sistema poblacional o modificaciones a nivel económico. La búsqueda de respuestas a estas cuestiones señala la necesidad de recanalizar el desarrollo, sin obviar la potencialidad del ámbito. SUMMARY One of the main lines of research regarding the urban economy focuses on the behavior of the real estate market and its relationship to territorial structure. Within this context, one of the most important themes involves considering the significance of urban property value and dealing with its variability, particularly given the significant role of the real estate market in Spain, both in the past and present. The main objective of this study is to identify those factors linked to location, which explain the formation of property values and justify their variability. Defining this process requires carrying out an evaluation on a territorial scale, establishing the socioeconomic, environmental and urban planning factors that constitute urban development and influence the demand for housing, thereby defining the processes by which their value is established. The analysis targets residential real estate values in coastal areas where pressure from the tourism industry has prompted large-scale transformations. Therefore, the focal point of this study is an area known as Vega Baja del Segura, which is located on the Spanish Mediterranean coast in southern Alicante (province). Characterized by its scenic and ecological diversity, this area has historically maintained a clear distinction between urban and rural spaces. This dichotomy has drastically changed in past decades due to the large increase in population attributed to the tourism and real estate markets – factors which have had a direct effect on property values. The development of this area provides a clear example of the expansionary policies which have affected the housing market on the coast of Spain during the past two decades, resulting in a large increase in suburban development. Understanding the territorial framework has made it possible to carry out a spatial variability analysis through massive data processing, as well as an econometric analysis that determines the factors that are evaluated positively and negatively by potential buyers. These relationships enable us to establish different mathematical systems based on hedonic pricing models that facilitate the identification of differential features in the economic, social and spatial spheres, and their impact on property values. Additionally, a process for land valuation was established through an analysis of the concept of structural vulnerability, which is understood to be a fragile situation resulting from either social or economic circumstances. Currently, this demand structure for second homes and services has demonstrated its fragility and has inhibited the area’s economic development as a result of the drastic fall in investment in the real estate market, due to the global debt crisis. This process has been worsened by the existence of a marginal industrial base into which no important investments have been channeled, combined with the progressive abandonment of agricultural and fishing operations. In and of itself, the tourism model did not inhibit the area’s economic development, rather it is the result of the manner in which it was implemented on the Costa Brava, with a land consumption based on the short-term, lacking respect for landscape and environmental aspects and without a comprehensive organization of the territory. It is clear that the link between vulnerability indexes and property values is not particularly significant, thereby indicating that future fragility trends have not been incorporated into the problem in terms of establishing the sale prices of the analyzed real estate product in question. Urban property values are clearly dependent on the system of development and environmental conservation, as well as on a clear recognition of the typologies that characterize rural areas, even those linked to the tourism industry. Today, the continued drop in tourism demand has provoked an obvious modification in the populational and economic structures. By incorporating these changes into the specified models, we can confirm a real collapse in values. It’s possible that the surplus of already-built homes is currently being marketed to a potential buyer who is in recession and linked to certain territorial characteristics that no longer exist. Finding solutions that can be adapted to the existing offer implies the viability of renewing the population system or carrying out modifications on an economic level. The search for answers to these questions suggests the need to reform the development model, without leaving out an area’s potentiality.
Resumo:
El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de primer orden, la lógica de orden superior así como la teoría de conjuntos. A partir de los resultados matemáticos de Tarski y Freyd, esta tesis desarrolla semánticas denotacionales y operacionales para la programación lógica con restricciones usando el álgebra relacional como base. La idea principal es la utilización del concepto de semántica ejecutable, semánticas cuya característica principal es el que la ejecución es posible utilizando el razonamiento estándar del universo semántico, este caso, razonamiento ecuacional. En el caso de este trabajo, se muestra que las álgebras relacionales distributivas con un operador de punto fijo capturan toda la teoría y metateoría estándar de la programación lógica con restricciones incluyendo los árboles utilizados en la búsqueda de demostraciones. La mayor parte de técnicas de optimización de programas, evaluación parcial e interpretación abstracta pueden ser llevadas a cabo utilizando las semánticas aquí presentadas. La demostración de la corrección de la implementación resulta extremadamente sencilla. En la primera parte de la tesis, un programa lógico con restricciones es traducido a un conjunto de términos relacionales. La interpretación estándar en la teoría de conjuntos de dichas relaciones coincide con la semántica estándar para CLP. Las consultas contra el programa traducido son llevadas a cabo mediante la reescritura de relaciones. Para concluir la primera parte, se demuestra la corrección y equivalencia operacional de esta nueva semántica, así como se define un algoritmo de unificación mediante la reescritura de relaciones. La segunda parte de la tesis desarrolla una semántica para la programación lógica con restricciones usando la teoría de alegorías—versión categórica del álgebra de relaciones—de Freyd. Para ello, se definen dos nuevos conceptos de Categoría Regular de Lawvere y _-Alegoría, en las cuales es posible interpretar un programa lógico. La ventaja fundamental que el enfoque categórico aporta es la definición de una máquina categórica que mejora e sistema de reescritura presentado en la primera parte. Gracias al uso de relaciones tabulares, la máquina modela la ejecución eficiente sin salir de un marco estrictamente formal. Utilizando la reescritura de diagramas, se define un algoritmo para el cálculo de pullbacks en Categorías Regulares de Lawvere. Los dominios de las tabulaciones aportan información sobre la utilización de memoria y variable libres, mientras que el estado compartido queda capturado por los diagramas. La especificación de la máquina induce la derivación formal de un juego de instrucciones eficiente. El marco categórico aporta otras importantes ventajas, como la posibilidad de incorporar tipos de datos algebraicos, funciones y otras extensiones a Prolog, a la vez que se conserva el carácter 100% declarativo de nuestra semántica. ABSTRACT The calculus of binary relations was introduced by De Morgan in 1860, to be greatly developed by Peirce and Schröder, as well as many others in the twentieth century. Using different formulations of relational structures, Tarski, Givant, Freyd, and Scedrov have shown how relation algebras can provide a variable-free way of formalizing first order logic, higher order logic and set theory, among other formal systems. Building on those mathematical results, we develop denotational and operational semantics for Constraint Logic Programming using relation algebra. The idea of executable semantics plays a fundamental role in this work, both as a philosophical and technical foundation. We call a semantics executable when program execution can be carried out using the regular theory and tools that define the semantic universe. Throughout this work, the use of pure algebraic reasoning is the basis of denotational and operational results, eliminating all the classical non-equational meta-theory associated to traditional semantics for Logic Programming. All algebraic reasoning, including execution, is performed in an algebraic way, to the point we could state that the denotational semantics of a CLP program is directly executable. Techniques like optimization, partial evaluation and abstract interpretation find a natural place in our algebraic models. Other properties, like correctness of the implementation or program transformation are easy to check, as they are carried out using instances of the general equational theory. In the first part of the work, we translate Constraint Logic Programs to binary relations in a modified version of the distributive relation algebras used by Tarski. Execution is carried out by a rewriting system. We prove adequacy and operational equivalence of the semantics. In the second part of the work, the relation algebraic approach is improved by using allegory theory, a categorical version of the algebra of relations developed by Freyd and Scedrov. The use of allegories lifts the semantics to typed relations, which capture the number of logical variables used by a predicate or program state in a declarative way. A logic program is interpreted in a _-allegory, which is in turn generated from a new notion of Regular Lawvere Category. As in the untyped case, program translation coincides with program interpretation. Thus, we develop a categorical machine directly from the semantics. The machine is based on relation composition, with a pullback calculation algorithm at its core. The algorithm is defined with the help of a notion of diagram rewriting. In this operational interpretation, types represent information about memory allocation and the execution mechanism is more efficient, thanks to the faithful representation of shared state by categorical projections. We finish the work by illustrating how the categorical semantics allows the incorporation into Prolog of constructs typical of Functional Programming, like abstract data types, and strict and lazy functions.
Resumo:
La determinación del origen de un material utilizado por el hombre en la prehistoria es de suma importancia en el ámbito de la arqueología. En los últimos años, los estudios de procedencia han utilizado técnicas que suelen ser muy precisas pero con el inconveniente de ser metodologías de carácter destructivo. El fenómeno de la minería a gran escala es una de las características que acompaña al Neolítico, de ahí que la revolución correspondiente a este periodo sea una de las etapas más importantes para la humanidad. El yacimiento arqueológico de Casa Montero es una mina de sílex neolítica ubicada en la Península Ibérica, de gran importancia por su antigüedad y su escala productiva. Este sitio arqueológico corresponde a una cantera de explotación de rocas silícicas desarrollada en el periodo neolítico en la que solamente se han encontrado los desechos de la extracción minera, lo cual incrementa la variabilidad de las muestras analizadas, de las que se desconoce su contexto económico, social y cultural. Es de gran interés arqueológico saber por qué esos grupos neolíticos explotaban de forma tan intensiva determinados tipos de material y cuál era el destino de la cadena productiva del sílex. Además, por ser una excavación de rescate, que ha tenido que procesar varias toneladas de material, en un tiempo relativamente corto, requiere de métodos expeditivos de clasificación y manejo de dicho material. Sin embargo,la implementación de cualquier método de clasificación debe evitar la alteración o modificación de la muestra,ya que,estudios previos sobre caracterización de rocas silícicas tienen el inconveniente de alterar parcialmente el objeto de estudio. Por lo que el objetivo de esta investigación fue la modelización del registro y procesamiento de datos espectrales adquiridos de rocas silícicas del yacimiento arqueológico de Casa Montero. Se implementó la metodología para el registro y procesamiento de datos espectrales de materiales líticos dentro del contexto arqueológico. Lo anterior se ha conseguido con la aplicación de modelos de análisis espectral, algoritmos de suavizado de firmas espectrales, reducción de la dimensionalidad de las características y la aplicación de métodos de clasificación, tanto de carácter vectorial como raster. Para la mayoría de los procedimientos se ha desarrollado una aplicación informática validada tanto por los propios resultados obtenidos como comparativamente con otras aplicaciones. Los ensayos de evaluación de la metodología propuesta han permitido comprobar la eficacia de los métodos. Por lo que se concluye que la metodología propuesta no solo es útil para materiales silícicos, sino que se puede generalizar en aquellos procesos donde la caracterización espectral puede ser relevante para la clasificación de materiales que no deban ser alterados, además, permite aplicarla a gran escala, dado que los costes de ejecución son mínimos si se comparan con los de métodos convencionales. Así mismo, es de destacar que los métodos propuestos, representan la variabilidad del material y permiten relacionarla con el estado del yacimiento, según su contenido respecto de las tipologías de la cadena operativa. ABSTRACT: The determination of the origin of a material used by man in prehistory is very important in the field of archaeology. In recent years the provenance studies have used techniques that tend to be very precise but with the drawback of being destructive methodologies. The phenomenon of mining on a large scale is a feature that accompanies the Neolithic period; the Neolithic revolution is one of the most important periods of humanity. The archaeological site of Casa Montero is a Neolithic flint mine located in the Iberian Peninsula of great importance for its antiquity and its scale. This archaeological site corresponds to a quarry exploitation of silicic rocks developed in the Neolithic period, in which only found debris from mining, which increases the variability of the samples analyzed, including their economic, social and cultural context is unknown. It is of great archaeological interest to know why these Neolithic groups exploited as intensive certain types of material and what the final destination of flint was in the productive chain. In addition, being an excavation of rescue that had to process several tons of material in a relatively short time requires expeditious methods of classification and handling of the material. However, the implementation of any method of classification should avoid the alteration or modification of the sample, since previous studies on characterization of silicic rocks have the disadvantage of destroying or partially modify the object of study. So the objective of this research wasthe modeling of the registration and processing of acquired spectral data of silicic rocks of the archaeological site of Casa Montero. The methodology implemented for modeling the registration and processing of existing spectral data of lithic materials within the archaeological context, was presented as an alternative to the conventional classification methods (methods destructive and expensive) or subjective methods that depend on the experience of the expert. The above has been achieved with the implementation of spectral analysis models, smoothing of spectral signatures and the dimensionality reduction algorithms. Trials of validation of the proposed methodology allowed testing the effectiveness of the methods in what refers to the spectral characterization of siliceous materials of Casa Montero. Is remarkable the algorithmic contribution of the signal filtering, improve of quality and reduction of the dimensionality, as well the proposal of using raster structures for efficient storage and analysis of spectral information. For which it is concluded that the proposed methodology is not only useful for siliceous materials, but it can be generalized in those processes where spectral characterization may be relevant to the classification of materials that must not be altered, also allows to apply it on a large scale, given that the implementation costs are minimal when compared with conventional methods.