Efficient negation using abstract interpretation

While negation has been a very active área of research in logic programming, comparatively few papers have been devoted to implementation issues. Furthermore, the negation-related capabilities of current Prolog systems are limited. We recently presented a novel method for incorporating negation in a Prolog compiler which takes a number of existing methods (some modified and improved by us) and uses them in a combined fashion. The method makes use of information provided by a global analysis of the source code. Our previous work focused on the systematic description of the techniques and the reasoning about correctness and completeness of the method, but provided no experimental evidence to evalúate the proposal. In this paper, we report on an implementation, using the Ciao Prolog system preprocessor, and provide experimental data which indicates that the method is not only feasible but also quite promising from the efficiency point of view. In addition, the tests have provided new insight as to how to improve the proposal further. Abstract interpretation techniques are shown to offer important improvements in this application.

Caracterización del biodeterioro en películas cinematográficas de interés patrimonial en Cuba

La conservación del patrimonio cultural constituye una actividad de vital importancia para salvaguardar nuestra identidad, así como para transmitir conocimientos sobre hechos históricos de gran importancia. Las obras de arte y los documentos, son testimonio de lo acontecido en nuestro pasado y presente por lo que su preservación a lo largo del tiempo es vital para las futuras generaciones. Se ha observado, en repositorios cinematográficos, que la contaminación microbiana ambiental puede deteriorar las películas cinematográficas [1]. El objetivo del presente trabajo es identificar los microorganismos que deterioran las películas cinematográficas del Patrimonio Documental de Cuba mediante técnicas biotecnológicas y microscópicas para después establecer una política de conservación certera en la institución.

El yacimiento de sulfuros masivos de Monte Rojo, provincia Holguín, Cuba: descripción petrológica y mineragráfica detallada.

El yacimiento Monte Rojo ha sido estudiado en diferentes etapas, sin embargo, las informaciones que se conservan son escasas y marcadamente generalistas. Los resultados que se presentan en este nuevo trabajo describen no sólo el aspecto petrológico de las rocas encajantes y las características intrínsecas de las menas, sino también los aspectos genéticos del yacimiento que, a juicio de los autores, podría ajustarse adecuadamente al modelo de génesis de los depósitos sulfurosos masivos tipo "Chipre". El estudio mineragráfico, realizado sobre los testigos de los sondeos PC-1126, MR-1-98, MR-2-98 y MR-99-10, estableció la presencia de menas masivas de pirita y calcopirita, con cantidades apreciables de marcasita y esfalerita. Los análisis químicos detectaron contenidos de hasta 8,43% de Cu en promedio, y Zn entre 0,1% y 0,75%, en profundidades comprendidas entre 31,50 y 60,70 metros. Las investigaciones petrológicas demostraron que las rocas encajantes se encuentran fuertemente alteradas, con predominio de silicificación, cloritización y epidotización, con mineralización sulfurosa diseminada y venífera en stock-works. El cálculo de los recursos, realizado por Costafreda, J.L. y Földessy, J. en 1988, fijó la cifra de 1.365.000 Tn de menas cupríferas y 42.164 Tn de metal de Cu, con un peso volumétrico igual 2,6 t/m3.

Un producto del metamorfismo de contacto del complejo ofiolítico de la región noroeste de Holguín, Cuba: La Turingita. Aspectos petrológicos y mineralógicos

Uno de los rasgos fundamentales del complejo ofiolítico de la región noroccidental de la Provincia Holguín es la gran variedad de productos metasomáticos, originados a partir de múltiples factores relacionados con su emplazamiento alóctono, bien por su relación espacial con las litofacies vecinas, bien por variaciones producidas en el propio seno de las ofiolitas; esto último se refiere a procesos de autometamorfismo, y también a frecuentes intrusiones de cuerpos de composición intermedia, originados, posiblemente, por diferenciación del complejo ofiolítico, en fases tardías. Uno de los productos más comunes del metamorfismo de contacto en este escenario es la turingita, que constituye el objetivo central de la presente comunicación. La turingita está espacialmente relacionada con las litologías de la serie ultramáfica del complejo ofiolítico, formando estrechos afloramientos de morfología variada, y vinculados con zonas donde se ha verificado una fuerte actividad hidrotermal. Su origen puede explicarse a partir del efecto que tuvo lugar cuando las disoluciones calientes, tanto las procedentes del autometamorfismo como las que acompañaron a los cuerpos intrusivos, actuaron sobre las rocas ultrabásicas El presente trabajo pretende aportar un breve resumen de los análisis mineralógicos realizados sobre algunas muestras de turingita recolectadas en el campo mineral de Aguas Claras y sus alrededores.

En el límite de la arquitectura-paisaje : las Escuelas Nacionales de Arte de La Habana

it's been 50years since the world witnessed the triumph of one of the iast revoiutíons of the twentieth-century starring a group of bearded men who descended from the mountains of Cuba and who wouid end up overthrowing the Batista regime. Ricardo Porro was a Cuban architect exiied for his revoiutionary ideais. Vittorio Garatti and Roberto Gottardi were itaiian immigrant architects. The three coincided in the effervescent city of Caracas in the iate 50's within the circie of friends of Carios Raui de Viiianueva, who had at that tí me, finished one of his most significant works, the City University of Caracas. United by a common circie of friends, they wouid soon receive their dream assignment: an Academy ofArt for the chiidren of workers in the revoiutionary Havana. The idea was directiy based on the triumphant ideoiogist of the revoiutíon: Fidei Castro and Che Guevara. Aii schoois had to represent the image of the new society. They wouid immediateiy depart for Havana. The year was 1961 and they had oniy a few months to pian and carry out the project. The schoois were officiaiiy opened in 1965 without having been compieted. The set was iocated in the Goif Course Country Ciub of Havana. The iands- cape of the goif course and the understanding of the piace, by the three architects, was the origin of the projects. initíaiiy, they worked with some common principies that conditíoned its architecturai answer and gave the group the homogeneity of a singie project: the integratíon with the iandsca- pe, the same constructíon system and a singie materiai. This research anaiyzes the conditíons used by the three architects in order to investígate the responses from the point of view of architecturai design. Han pasado más de 50 años desde que el mundo contempló el triunfo de una de las últimas revoluciones del siglo XX, protagonizada por un grupo de barbudos que descendían de la sierra de Cuba y que acabaría con el derrocamiento del régimen de Batista. Ricardo Porro era un arquitecto cubano exiliado por sus ideales revolucionarios. Vittorio Garatt y Roberto Gottardi eran arquitectos italianos emigrantes. Los tres coincidieron en la efervescente Caracas de Anales de los años 50 en torno a la figura de Carlos Raúl de Villanueva que terminaba en esa época una de sus obras más significativas, la Ciudad Universitaria de Caracas. Unidos por un círculo común de amistades pronto recibirán el encargo soñado: una Academia de las Artes para los hijos de los trabajadores en La Habana revolucionaria. La idea partia directamente de los ideólogos triunfantes de la revolución: Fidel Castro y el Che Guevara. El conjunto de las escuelas tenía que representar la imagen de la nueva sociedad. Inmediatamente partirán rumbo a La Habana. Corría el año 1961 y dispo¬nían de unos pocos meses para proyectar y ejecutar las obras. Las escuelas fueron oficialmente inauguradas en 1965 sin haberse concluido. El conjunto se ubicó en el campo de golf del Country Club de La Habana. El paisaje del campo de golf y el entendimiento del lugar, por parte de los tres arquitectos, fue el origen de los proyectos. Trabajaron inicialmente con unas premisas comunes que condicionaron su respuesta arquitectónica y le dieron al conjunto la homogeneidad de un único proyecto: la integración con el paisaje, un mismo sistema constructivo y un único material. Este trabajo de investigación parte de los condicionantes a los que se enfrentaron los tres arquitectos para así analizar las respuestas dadas desde el punto de vista del proyecto arquitectónico.

The use of wind pumps for greenhouse microirrigation: a case study for tomato in Cuba.

Crop irrigation is a major consumer of energy. Only a few countries are self-sufficient in conventional non-renewable energy sources. Fortunately, there are renewable ones, such as wind, which has experienced recent developments in the area of power generation. Wind pumps can play a vital role in irrigation projects in remote farms. A methodology based on daily estimation balance between water needs and water availability was used to evaluate the feasibility of the most economic windmill irrigation system. For this purpose, several factors were included: three-hourly wind velocity (W3 h, m/s), flow supplied by the wind pump as a function of the elevation height (H, m) and daily greenhouse evapotranspiration as a function of crop planting date. Monthly volumes of water required for irrigation (Dr, m3/ha) and in the water tank (Vd, m3), as well as the monthly irrigable area (Ar, ha), were estimated by cumulative deficit water budgeting taking in account these factors. An example is given illustrating the use of this methodology on tomato crop (Lycopersicon esculentum Mill.) under greenhouse at Ciego de Ávila, Cuba. In this case two different W3 h series (average and low wind year), three different H values and five tomato crop planting dates were considered. The results show that the optimum period of wind-pump driven irrigation is with crop plating in November, recommending a 5 m3 volume tank for cultivated areas around 0.2 ha when using wind pumps operating at 15 m of height elevation.

The use of wind pumps for greenhouse microirrigation: A case study for tomato in Cuba

A methodology based on daily estimation balance between water needs and water availability was used to evaluate the feasibility of the most economic windmill irrigation system. For this purpose, several factors were included: three-hourly wind velocity (W3 h, m/s), flow supplied by the wind pump as a function of the elevation height (H, m) and daily greenhouse evapotranspiration as a function of crop planting date. Monthly volumes of water required for irrigation (Dr, m3/ha) and in the water tank (Vd, m3), as well as the monthly irrigable area (Ar, ha), were estimated by cumulative deficit water budgeting taking in account these factors.

Valoración de Indicadores de calidad para el diseño e implementación de tecnologías de manejo en Luvisoles de la zona norte de la provincia de Las Tunas, Cuba

La calidad del suelo es una herramienta de evaluación que puede facilitar la adaptación de prácticas de manejo que promuevan sistemas agropecuarios sostenibles. La investigación de este trabajo se inició con un diagnóstico participativo en 12 comunidades rurales de la provincia de Las Tunas en el año 2009 en el cual los productores identificaron los puntos críticos de calidad de los suelos de la región y sirvieron de punta de partida para seleccionar las variables físicas, químicas y biológicas a determinar en cinco sistemas de uso agropecuario (arboleda, pasto natural, pasto cultivado y dos sistemas silvopastoriles) en la zona La Veguita, municipio Las Tunas. El sistema arboleda se utilizó como referencia de las propiedades naturales del suelo. El pasto natural se distingue por el desarrollo de especies de baja productividad, sin embargo el pasto cultivado está representado por Pennisetum purpureum vc CUBA CT-115, y constituye una contribución a la tecnología de bancos de biomasa, para utilizarse en el pastoreo durante la seca. Los sistemas silvopastoriles están representados por Leucaena leucocephala Lam. en franjas y Panicum maximun vc. Likoni, los que se diferencian en su diseño, manejo y propiedades mineralógicas. El objetivo fundamental fue valorar indicadores de calidad de los suelos Luvisoles háplicos sobre granitoides, para diseñar e implementar tecnologías de manejo que permitan incrementar la capacidad agroproductiva de los suelos. Mediante el análisis de componentes principales se obtuvo un conjunto mínimo de indicadores físicos, químicos y biológicos que proporcionaron información útil referente a los procesos edáficos y se integraron para determinar un índice de calidad. En el sistema de uso, caracterizado por el pasto cultivado (Pennisetum purpureum) se estableció, en parcelas experimentales, un ensayo de corta duración, en el que se comparó el laboreo tradicional y el laboreo sin inversión del prisma, con y sin aplicación de compost. En ambos sistemas de labranza se evaluó el desarrollo del cultivo e indicadores de calidad del suelo. Los resultados mostraron que del conjunto de indicadores edáficos estudiados se seleccionaron 6 en los que la capacidad de intercambio catiónico, materia orgánica, potasio intercambiable, contenido de arena, densidad aparente y biomasa de lombrices explicaron la mayor variabilidad y sirvieron de base para evaluar la calidad de estos suelos. Se establecieron valores umbrales de referencia de indicadores de calidad, que permitirán evaluar y monitorear los sistemas de uso y manejo de la región. El sistema Silvopastoril 2 resultó el de mayor índice de calidad de los suelos tomando como referencia la arboleda por su condición natural. El manejo silvopastoril influyó predominantemente en mejores resultados productivos pero las características edáficas principalmente físicas, deben definir su diseño y manejo. El sistema de pastos cultivados con Pennisetum purpureum vc CUBA CT 115, alcanzó la mayor acumulación de carbono orgánico, sin embargo, el manejo limitó su calidad física y el funcionamiento productivo del sistema. De manera general los sistemas de uso no garantizan un índice de la calidad del suelo, puesto que se ve afectado por las propiedades edáficas y las prácticas de manejo. En el ámbito biológico, las lombrices constituyeron los organismos más numerosos con predominio en los sistemas silvopastoriles y arboleda. Los valores superiores de densidad y biomasa de oligoquetos y mayor diversidad de otros individuos de la macrofauna, indican que la presencia de árboles en los pastizales de gramínea potencia y diversifican las comunidades de macroinvertebrados del suelo. El sistema de labranza sin inversión del prisma propicia una mejor calidad física del suelo, manteniendo el carbono e incrementando los rendimientos del Penisetum purpureum cv CUBA CT 115. La labranza tradicional, a base de aradura y grada, afecta a los contenidos de materia orgánica en el corto plazo y mantiene capas compactas en el horizonte subyacente, además influye desfavorablemente al flujo del aire, agua y al desarrollo radical de los pastos. La aplicación de compost favoreció mejores resultados productivos en ambas tecnologías de manejo. Los resultados alcanzados recomiendan la implantación de tecnologías de manejo conservacionistas y la aplicación de materiales orgánicos que restituyan los elementos nutricionales requeridos por los pastos, por lo que no se justifica la continuidad del uso de prácticas tradicionales de laboreo con inversión del prisma que se realizan actualmente. ABSTRACT The soil quality is an assessment tool, which could facilitate the adaptation of management practices that promote sustainable agricultural systems. The present investigation was carried out with a participatory diagnostic in twelve rural communities from Las Tunas province in 2009, in which producers identified the critical soil quality points of region and served as a starting point to select the physical, chemical and biological variables, in order to determine on five agricultural used systems (grove, natural grass, cultivated grass and two silvopastoral systems) in La Veguita zone from municipality Las Tunas. The system grove was used as reference of natural soil properties. The natural grass is distinguished by the development of low-productivity species, however the cultivated grass is represented by Pennisetum purpureum vc CUBA CT-115, and is a contribution to the biomass banks technology, in order to use in grazing during the dry season. The silvopastoral systems are represented by Leucaena leucocephala Lam. in stripes and Panicum maximum cv. Likoni, which differ in their design, handling and mineralogical properties. The main aim of this study was to assess the quality indicators for haplic Luvisols on granitoids for designing and implementing management technologies in order to increase the agroproductive capacity of soils. A minimal set of physical, chemical and biological indicators by Principal Component Analysis was obtained, which provided some useful information regarding soil processes and their integration for determining an index of quality. In the use system, characterized for the cultivated grass (Pennisetum purpureum) a short term assay in experimental plots was established, where the traditional and prism without inversion tillage were compared with and without compost application. In both tillage systems were evaluated the crop development and soil quality indicators. The results showed that the studied soil indicators set, six were selected, specifically the ones with exchangeable cationic capacity, organic matter, interchangeable potassium, sand content, bulk density and earthworm biomass, which explained the higher variability and served as the basis for evaluating the soil quality. The Reference threshold values of quality indicators for evaluating and monitoring the use and management systems from the region were established. The silvopastoral system 2 had the highest quality soil index, taking of reference the grove system for its natural condition. The silvopastoral management influenced on better productive results, but the soil characteristics, particularly the physical properties to be defined its design and management. However, the cultivated grass system with Pennisetum purpureum vc CUBA CT 115, reached the greatest accumulation of organic carbon. However, the management limited its physical quality and productive performance of the system. In addition, the use systems do not guarantee an index of soil quality, since it is affected by soil properties and management practices. From the biological aspect, the earthworms are the most numerous organisms on the silvopastoral systems and grove. The higher values of oligochaetes biomass and density and the greater diversity of other organisms from macrofauna indicate that the tree presence on the pasture grasses allows enhancing and diversifying soil macro invertebrate communities. The non-inversion prism tillage system provides a better physical quality of soil, maintaining the carbon content and increasing the yields of Penisetum purpureum vc CUBA CT 115. The traditional tillage, using the plowing and harrowing affects the organic matter content in a short term and keeps on compact layers of underlying horizon, and adversely affects the air and water flow, and pasture radical development. The compost application favored the best production results in both management technologies. The results obtained recommend the implementation of conservation management technologies and the application of organic materials that restore the nutritional elements required by the pasture, so it does not justify the continued use of traditional tillage practices with prism investment that are currently being made.

Fungal biodeterioration of colour cinematographic films of the cultural heritage of Cuba

Until recently, cinematographic film was largely cellulose-triacetate-based. However, this material is highly susceptible to biodeterioration, thus placing historic film collections, an important part of the cultural heritage of many countries, at risk. In the present study, samples taken from several biodeteriorated color cinematographic films belonging to the collection of the Cuban Institute for Cinematographic Industry and Arts (ICAIC) were investigated. Infrared spectroscopy showed that all films were of the same composition, i.e., a gelatin emulsion coating one side of a cellulose-triacetate-based film support. The films were analyzed by environmental scanning electron microscopy and scanning electron microscopy to determine the degree of biodeterioration and the type of colonizing microorganisms. Significant fungal colonization was found on both sides of the films in all samples, with a higher concentration of fungi on the gelatin emulsion side. Epifluorescence microscopy of fluorochrome-dyed films demonstrated that some of the fungi were still active, indicating that the films under study, and probably others at the ICAIC, are at risk of further deterioration. Fungi were identified by molecular biology techniques. The fungi mainly responsible for the observed biodeterioration were those belonging to the genera Aspergillus and Cladosporium, although other genera, such as Microascus and Penicillium, were identified as well. In accordance with the findings described herein, the existing guidelines for the prevention and control of film biodeterioration are discussed.

Particularidades geológicas del yacimiento aurífero la holguinera, parte noroccidental de la región de Holguín, Cuba.

El yacimiento Holguinera forma parte del campo metalogénico de Aguas Claras, ubicado aproximadamente a 10,5 kilómetros al norte de la ciudad de Holguín, principal núcleo poblacional de la provincia a la que da nombre. Las coordenadas del punto medio del yacimiento son 20º56’18,81’’N y 76º16’59,18’’O; mientras la cota es de 151 metros. Desde el punto de vista geográfico-administrativo, se encuentra al suroeste de la localidad Aguas Claras y colinda al oeste con el caserío de Guajabales. Este yacimiento se ubica en el extremo oriental del conocido yacimiento Reina Victoria, con el cual se conecta mediante pequeñas manifestaciones e indicios auríferos entre los que se mencionan Santiago, Casualidad, Milagro, Relámpago y Nené El yacimiento La Holguinera es uno de los más antiguos de los que se conocen en esta región. Según los informes que aún se conservan en la Oficina Nacional de Recursos Minerales de Cuba. El yacimiento La Holguinera se integra regionalmente en la mega formación conocida como Zona Estructuro-Facial Auras y representa en sí misma una alternancia de formaciones litológicas plegadas y deformadas que proceden del Complejo Ofiolítico y del Arco Volcánico Cretácico. La cobertera que yace sobre ellas consiste en materiales volcánicos y volcano-sedimentarios, que son los productos de la erosión y sedimentación de las principales unidades litológicas. La aflorabilidad del yacimiento La Holguinera y sus flancos es buena, pero se debe más bien a la actividad minera tradicional, gracias a la cual ha quedado al descubierto en superficie gran parte de las menas oxidadas. En la actualidad se observa una gran profusión de trincheras, cortas, sondeos, pozos mineros, desagües, portalones y cortes, que son los testigos de la frenética actividad minera de esos años. Los estudios mineragráficos y petrográficos de las texturas volcánicas relícticas sugieren que la mineralización aurífera del yacimiento La Holguinera se encuentra encajada en una roca de composición andesítica de textura fina microporfirítica, y de forma secundaria en la roca encajante del tipo harzburguita, alterada a listvenitas. Los mismos fluidos que alteraron a los cuerpos intrusivos difundieron hacia el encajante ultramáfico, originando una variedad litológica secundaria conocida como listvenita, compuesta por productos de alteración metasomática del tipo talco-carbonato-cuarzo-sulfuro, con mineralización aurífera acompañante (listvenitas). Las menas de este yacimiento son sulfurosas, sulfuro-polimetálicas, pirítica, cromítica y sulfurosas de hierro.

Cambios en la productividad y sus determinantes en explotaciones lecheras de Cuba

El objetivo de este artículo es estudiar los cambios en la productividad y sus elementos determinantes -cambio técnico y cambio en eficiencia- de una muestra de explotaciones lecheras cubanas ubicadas en el municipio de San José de las Lajas. Con este propósito se calculan índices Malmquist de productividad con técnicas DEA y datos correspondientes al período 2006-08. Asimismo, se asumen rendimientos variables a escala y se utiliza una orientación al producto. Se consideraron dos insumos y dos productos. Los resultados indican que debido a una caída de la productividad de las explotaciones lecheras durante el periodo 2006-2007, que no fue compensada por el incremento ocurrido durante el lapso 2007-2008, todo el periodo de estudio, del 2006 al 2008, reflejó una pequeña reducción de la productividad, que fue ocasionada en su totalidad por un ligero retroceso tecnológico. Este resultado es explicado, parcialmente, por un aumento del número de vacas en el año 2007 que no se expresó proporcionalmente en la producción correspondiente a ese año.