Mecanización de semántica de lenguajes de programación: teoría, implementación y desarrollo.

El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.

Actividades y pluriactividades en establecimientos rurales agropecuarios y no agropecuarios. El caso de San Andrés de Giles

Muchos ámbitos rurales se configuran en la actualidad como territorios complejos en los que se desarrollan actividades económicas rurales, agropecuarias y no agropecuarias. Particularmente en las áreas rurales cercanas a las grandes ciudades, la creciente dotación de servicios, infraestructura y equipamiento, facilita el fenómeno de la expansión urbana a la vez que promueve la instalación de actividades agropecuarias intensivas, agroindustrias y diversas actividades de servicios vinculadas con las anteriores. En este trabajo nos ocuparemos de los usos del territorio rural que no se corresponden directamente con el desarrollo de una actividad agropecuaria, con el objetivo de analizar las estrategias de trabajo e ingresos implementadas por sus protagonistas. En este sentido, utilizaremos la noción de pluriactividad considerando tanto los fenómenos vinculados a las actividades como a otras fuentes de ingresos extraprediales. Intentaremos analizar si la condición de "pluriactivos", aplicada en los estudios sociales agrarios para definir a cierto tipo de productores agropecuarios, se puede extender a los propietarios de establecimientos no agrarios y sus familiares, estimando la principalidad de la actividad. Asimismo, analizaremos la fuente de los ingresos según la categoría ocupacional y la rama de la economía correspondiente. Finalmente, evaluaremos las conexiones de los establecimientos no agropecuarios con usos y actividades agrarias actuales y pasadas.El análisis contará con datos secundarios y primarios, obtenidos a partir de un trabajo de campo recientemente realizado en el partido de San Andrés de Giles, provincia de Buenos Aires

Investigation of the starch gelatinisation phenomena in water-glycerol systems: application of modulated temperature differential scanning calorimetry

The use of modulated temperature differential scanning calorimetry (MTDSC) has provided further insight into the gelatinisation process since it allows the detection of glass transition during gelatinisation process. It was found in this work that the glass transition overlapped with the gelatinisation peak temperature for all maize starch formulations studied. Systematic investigation on maize starch gelatinisation over a range of water-glycerol concentrations with MTDSC revealed that the addition of glycerol increased the gelatinisation onset temperature with an extent that depended on the water content in the system. Furthermore, the addition of glycerol promoted starch gelatinisation at low water content (0.4 g water/g dry starch) and the enthalpy of gelatinisation varied with glycerol concentration (0.73-19.61 J/g dry starch) depending on the water content and starch type. The validities of published gelatinisation models were explored. These models failed to explain the glass transition phenomena observed during the course of gelatinisation and failed to describe the gelatinisation behaviour observed over the water-glycerol concentrations range investigated. A hypothesis for the mechanisms involved during gelatinisation was proposed based on the side chain liquid crystalline polymer model for starch structure and the concept that the order-disorder transition in starch requires that the hydrogen bonds (the major structural element in the granule packing) to be broken before the collapse of order (helix-coil transition) can take place. (C) 2004 Elsevier Ltd. All rights reserved.

Desenvolvimento de pastas cimentantes contendo nanossílica como material estendedor para aplicação em fases iniciais, de poços petrolíferos, submetidas à baixa temperatura (5°c ± 3ºc)

The improved performance of hydraulic binders, the base of Portland cement, consists in the careful selection and application of materials that promote greater durability and reduced maintenance costs There is a wide variety of chemical additives used in Portland cement slurries for cementing oil wells. These are designed to work in temperatures below 0 ° C (frozen areas of land) to 300 ° C (thermal recovery wells and geothermal); pressure ranges near ambient pressure (in shallow wells) to greater than 200 MPa (in deep wells). Thus, additives make possible the adaptation of the cement slurries for application under various conditions. Among the materials used in Portland cement slurry, for oil wells, the materials with nanometer scale have been applied with good results. The nanossílica, formed by a dispersion of SiO2 particles, in the nanometer scale, when used in cement systems improves the plastic characteristics and mechanical properties of the hardened material. This dispersion is used commercially as filler material, modifier of rheological properties and / or in recovery processes construction. It is also used in many product formulations such as paints, plastics, synthetic rubbers, adhesives, sealants and insulating materials Based on the above, this study aims to evaluate the performance of nanossílica as extender additive and improver of the performance of cement slurries subjected to low temperatures (5 ° C ± 3 ° C) for application to early stages of marine oil wells. Cement slurries were formulated, with densities 11.0;12.0 and 13.0 ppg, and concentrations of 0; 0.5, 1.0 and 1.5%. The cement slurries were subjected to cold temperatures (5 ° C ± 3 ° C), and its evaluation performed by tests rheological stability, free water and compressive strength in accordance with the procedures set by API SPEC 10A. Thermal characterization tests (TG / DTA) and crystallographic (XRD) were also performed. The use of nanossílica promoted reduction of 30% of the volume of free water and increased compression resistance value of 54.2% with respect to the default cement slurry. Therefore, nanossílica presented as a promising material for use in cement slurries used in the early stages of low-temperature oil wells

Co-simulación HW/SW en Raspberry Pi

En el mundo de la simulación existen varios tipos de sistemas reales, entre los que se encuentran los sistemas de eventos discretos. Para poder simular estos sistemas se pueden utilizar, entre otras, herramientas basadas en el formalismo DEVS (Discrete EVents system Specification), como la utilizada en este proyecto: xDEVS. La simulación posee una importancia muy elevada en campos como la educación y la ciencia, y en ocasiones es necesario incluir datos del medio físico o sacar información al exterior del simulador. Por ello es necesario contar con herramientas que puedan realizar simulaciones utilizando sensores, actuadores, circuitos externos, etc., o lo que es lo mismo, que puedan realizar co-simulaciones entre software y hardware. De esta forma se puede facilitar el desarrollo de sistemas por medio de modelado y simulación, pudiendo extraer el hardware gradualmente y analizar los resultados en cada etapa. Este proyecto es de carácter incremental, y trata de extender la funcionalidad de la plataforma xDEVS para poder realizar co-simulaciones entre hardware y software sobre una Raspberry Pi. Para ello se van a utilizar circuitos lógicos como hardware externo y se enlazarán al simulador a través de ficheros de dispositivo, gestionados por módulos del kernel de Linux. Como caso de estudio se desarrolla la co-simulación entre hardware y software completa de un ascensor de siete plantas para mostrar el uso y funcionamiento en xDEVS, extrayendo los circuitos integrados de uno en uno.

Las redes como factor clave para la consolidación de nuevas cooperativas de trabajo asociado

En estos últimos años de crisis y destrucción de empleo, el interés por impulsar el dinamismo y crecimiento de la economía de un área geográfica a través de la creación de nuevas empresas ha ido en aumento. Las cooperativas de trabajo asociado (CTA) representan un modelo de empresa en el que los objetivos económicos se combinan con los sociales, logrando un crecimiento basado en el empleo, la igualdad social y la equidad. Las nuevas CTA necesitan conocimiento para su consolidación, una parte del cual proviene de la formación y experiencia de sus promotores, y otra de las relaciones de tipo interpersonal e interorganizacional dentro de su entorno económico y social. La supervivencia y crecimiento de la CTA se verá muy influida por su habilidad para mantener y extender sus redes. Este trabajo plantea como objetivo contribuir al conocimiento de los diferentes tipos de redes con los que se relaciona una cooperativa desde su nacimiento hasta la consolidación, así como el impacto que tienen en su supervivencia y crecimiento. Para ello se han realizado un total de 36 entrevistas en profundidad utilizando una metodología cualitativa (Teoría Fundamentada) con los socios promotores de CTA creadas en el periodo 2006-2007, todas ellas localizadas en la Comunidad Valenciana.

Política y economía en la crítica marxiana al derecho. Un análisis a partir de las Declaraciones de Derechos del Hombre

Al enfrentarse con las Declaraciones francesas de los Derechos del hombre y el Ciudadano en Sobre la cuestión judía, Marx parece reencontrase con la insuficiencia de lo político. Estas Declaraciones dicen disolver todo particularismo directamente político realizando de forma plena el Estado político moderno, pero parecen fallar en extender su universalidad frente a otros particulares: la religión y el interés material. Desde esta conclusión, suele pensarse el desarrollo del pensamiento marxiano como transformación a una teoríade lo económico, cuyo corolario sería una crítica de lo político como falsedad. Si bien es innegable que el espacio de lo económico y sus categorías se vuelven crecientemente centrales, se argumentará que la relación entre política/economía no se resuelve en una oposición simple entre verdad/falsedad. En el siguiente escrito nos propondremos trabajar esta hipótesis sobre la relación política-economía en Marx en particular atención a su análisis crítico del derecho moderno. Nos interesa explorar, a partir de una confrontación de las ideas marxianas con las fuentes de las Declaraciones, sus proyectos y borradores, la manera en que el derecho resulta simultáneamente una forma ilusoria de universalidad y una forma efectiva de juridización de ciertas relaciones sociales: el intercambio de los individuos particulares

The glass coffin, to be or no to be Snow White

We can widen the notion of « end of life » by including lives that are out of the race/circuit, excluded from “active life” and economic usefulness, and which entered this other major area of life we usually consider as the garbage of existence. We could compare this space to the glass coffin where the dwarves secluded Snow White, neither alive nor dead, but in end of life. This “end of life” starts very early in institutions or for those who live in the streets. Our society reinstated, without noticing, a caste of “untouchables” with whom we don’t know anymore how to relate. Accompaniment of the end of life actually appears closely bound to accompaniment of these lives finished, considered as “obsoletes”, expendable, disturbing… It gradually appeared to me that my workshops with homeless people or people deeply damaged by addictions were closer to palliative care than to “psychotherapy”.

Pasantía en laboratorio central de diagnostico veterinario y microbiología de alimentos (LCDVMA) IPSA 2015-2016

La realización de pasantías tienen un componente formativo,una pasantía debe dar la oportunidad a los jóvenes de aprender calificaciones prácticas que causarán una buena impresión sobre los potenciales empleadores.Seis meses de pasantías en el Laboratorio Central de DiagnósticoVeterinario y Microbiología de Alimentos IPSA en el área de Virología se fundamentó los tres meses iniciales en la Inducción a técnicas utilizadas en análisis de muestras para el diagnóstico de enfermedades virales tales como: Síndrome Respiratorio y Reproductivo Porcino (PRRS), Peste Porcina Clásica (PPC), Circovirus Porcino, Enfermedad de Aujeszky, Diarrea Viral Bovina (BVDV), Fiebre del Nilo Occidental, La Enfermedad de Newcastle (EN), Laringotraqueitis Infecciosa Aviar (LTI), Bronquitis Infecciosa Aviar (BIA),Virus de la Enfermedad de la Cabeza Amarilla (YHV),El virus del Síndrome de Taura (TSV), Virus de la Necrosis Hipodérmica y Hematopoyética infecciosa (IHHNV), Bacteria de la Necrosis Hepatopancreática (NHPB),Virus Mionecrosis Infecciosa (IMNV), Nodavirus del Penaeus Vannamei (PVNV),Virus Mancha Blanca (WSSV), correcto manejo de la muestras, uso de equipos en el área de virología, realización de tareas de desinfección y esterilización de materiales que se utilizan, manejo de documentación en solicitudes de análisis de muestras y resultados emitidos para mantener la trazabilidad de las mismas. Tres meses posteriores de la pasantía enfocado a un trabajo experimental que se realizó con 4 aves utilizando biología molecular en el estudio de ácidos nucleicos para implementación de una nueva técnica de diagnóstico en el área de Virología para la enfermedad aviar de Newcastle mediante PCR tiempo real ; en la cual lleve un seguimiento desde la elaboración del cronograma de actividades, vacuna de las aves, recolección de muestras por tres semanas, elaboración de bitácora del experimento, presupuesto de equipos y materiales, hasta su extracción y amplificación de ácidos nucleicos en un termociclador. (bajo supervisión del jefe de área) a través de la cadena polimerasa con el objetivo de hacer un aporte en extender el conocimiento de manejo de esta técnica en la Facultad de Ciencia Animal tan actual y para el laboratorio se sustenta la relevancia del experimento, en una necesidad tangible para ser competitivos con el mercado internacional y garantizar la inocuidad de los productos destinados a consumo humano un servicio con mayor rapidez debido a la relevancia de la enfermedad en un país con una economía insipiente donde Nicaragua es libre con vacunación de dicha enfermedad y por el cual necesitamos mantener dicho estatus a nivel internacional mediante pruebas más sensibles que vayan acorde con los requisitos estipulados por la OIE.. La pasantía me permitió la oportunidad de aplicar los conocimientos adquiridos en la Universidad Nacional Agraria, intercambiando información científica e investi gación sobre temas innovadores como el de biología molecular en el estudio de ácidos nucleicos. Realizando un conjunto de actividades de carácter teórico –práctico, en este caso en un ente estatal Laboratorio Central de Diagnostico Veterinario y Microbio logía de Alimentos (LCDVMA) IPSA, a fin de aplicar y complementar los conocimientos en el campo especifico de trabajo, colaborar en la solución de problemas y adquirir experiencias laboral.

Las posibilidades de internet en la reconfiguración de la red social primaria del adulto mayor, fracturada por efecto de la migración* El caso de los adultos mayores con parientes migrantes en 6 municipios del departamento del Quindío

El presente artículo muestra cómo Internet se convierte en una herramienta de comunicación importante para reconfigurar la red social primaria del adulto mayor, fracturada por efecto de la migración. En la investigación que le da origien, se pudo constatar que hoy esta red se encuentra dividida en red primaria natural, conformada por los parientes y amigos con los que comparte el día a día, y red primaria virtual, integrada por los parientes migrantes. El escrito centra su interés en presentar las características de la red primaria virtual en la que el adulto mayor se vio impelido a participar para satisfacer sus necesidades comunicacionales. Esta red cumple la función de mantener, pero no de extender, su red social primaria. Los resultados dan cuenta de 4 aspectos: las competencias digitales desarrolladas por el adulto mayor, la estructura, las funciones y los atributos de vínculo de la red primaria virtual. Para ello se acudió a autores como Cabrera, Castell; Madarriaga, Abello & Sierra; Narváez A.; Soto, Navarro & Sánchez; Tovar & Villarraga. La investigación fue de tipo etnográfico, con enfoque cualitativo. Se aplicaron entrevistas semi-estructuradas. Para el tratamiento de la información se utilizó la teoría Fundamentad, de Strauss & Corbin (2002).

Desacoplamento mitocondrial e estresse oxidativo em espermatozoides suínos resfriados

A espécie suína (Sus scropha domesticus) possui relevância nos âmbitos da pesquisa, da xenotransplantação e da produção de carnes. O resfriamento de sêmen é capaz de reduzir o metabolismo celular e possibilitar o armazenamento dos gametas, sendo auxiliar durante práticas de reprodução assistida. Contudo, os espermatozoides suínos são sensíveis ao estresse oxidativo gerado durante o processo de resfriamento. O 2,4 dinitrofenol (DNP) poderia gerar o desacoplamento mitocondrial reduzindo o estresse oxidativo e prolongando indiretamente a viabilidade e capacidade fertilizante de espermatozoides suínos resfriados pela diminuição de espécies reativas de oxigênio. O objetivo do presente estudo foi avaliar os efeitos do desacoplamento mitocondrial induzido pelo DNP e os efeitos desse desacoplamento sobre as de fluidez e integridade de membrana plasmática, funcionalidade de mitocôndria, motilidade espermática, além dos parâmetros de estresse oxidativo de lipoperoxidação e produção de espécies reativas de oxigênio, durante o resfriamento a 17 °C de 24 até 96 horas. Utilizou-se 22 ejaculados expostos ao diluente Betsville Thawing Solution (BTS) (controle) e ao mesmo diluente acrescido das concentrações de 0,01 µM (T1); 0,1 µM (T2); 1,0 µM (T3) e 10 µM (T4) de DNP. Através do teste de Shapiro-Wilk as variáveis que não apresentaram normalidade, tiveram suas médias comparadas pelo teste de KruskalWallis. As análises estatísticas demonstraram que o DNP não se diferiu do controle independente do tempo de armazenamento, para nenhuma das variáveis analisadas. Possivelmente, a falta de ação sobre as mitocôndrias, ou seja, a não promoção do desacoplamento mitocondrial foi o motivo principal para a falta dos efeitos do DNP. Acredita-se que a utilização do DNP em temperaturas mais elevadas por estas promoverem aumento da fluidez de membrana e/ou o aumento das concentrações de DNP poderiam gerar efeitos significativos sobre as mitocôndrias e demais variáveis analisadas. Finalmente, o DNP nas concentrações testadas não se diferiu do controle em todas as variáveis analisadas independente do tempo de armazenamento.

Formación de profesionales en información: Educación virtual en Centroamérica

La educación es un área prioritaria en el desarrollo de los países y la formación y capacitación del recurso humano fortalece la productividad económica e intelectual y debe convertirse en un importante transmisor de conocimiento. La revolución que se ha producido en el campo de la información y de las tecnologías ha provocado la necesidad de un nuevo profesional que posea los conocimientos apropiados que le permita enfrentar estos cambios con seguridad y eficiencia.La Escuela de Bibliotecología, Documentación e Información de la Universidad Nacional en Costa Rica, dentro de su visión prospectiva plantea extender su plan de estudios al área centroamericana. Con las facilidades que ofrecen las redes de telecomunicaciones y las tecnologías de información se propone ofrecer una opción educativa en la formación de los profesionales de la información a través de la educación virtual. Esta es una propuesta de educación formal y continua que contribuirá al desarrollo bibliotecológico en esta región.

Retos en el desarrollo de intervenciones psicológicas y la práctica asistencial en salud mental

Aunque hemos avanzado notablemente en el desarrollo de recursos preventivos y especialmente, en la eficacia de los tratamientos psicológicos que intentan paliar los trastornos mentales, estamos aún lejos de la situación óptima. Este trabajo se centra en dos grandes cuestiones que consideramos retos y necesidades fundamentales en este ámbito: (a) la necesidad de mejorar y extender la prevención, la intervención temprana y la promoción de la salud mental y (b) la necesidad de una mayor divulgación de los tratamientos psicológicos eficaces, el desarrollo de nuevas intervenciones y la mayor comprensión de los mecanismos de acción de los tratamientos psicológicos. El objetivo es promover la discusión entre los agentes implicados y reflexionar sobre las líneas de trabajo que creemos prioritarias.

Evaluación del efecto de un recubrimiento a base de ceras en la calidad microbilógica y fisicoquímica en Mango (Mangifera indica)

Se fundamentó en evaluar el efecto del descubrimiento a bases de ceras (resina de colofonia y polietileno) en la calidad del mango (Mangifera indica). Las variedades utilizadas fueron: Tommy Atkins y Panades; procedente de los municipios de Suchitoto y Guazapa, en estado de madurez 3/4. Se realizó análisis micribiológico inicial (Salmonela, spp y Escherichia coli), para determinar si los mangos cumplían con los criterios microbiológicos de inocuidad establecidos en el grupo 4.1 del Reglamento Técnico Centroamericano, Criterios Microbiológicos para la Inocuidad de Alimentos. Los frutos se dividieron en cuatro bloques, dos bloques recubiertos fueron recubiertos por aspersión, con un formulario compuesto con una mezcla de cera; reconocida en el mercado como Teycer C Cp, y dos bloques sin recubrir. Todos los bloques se colocaron en bandejas plásticas a una temperatura de 10°C y cada cuatro días, hasta el día 36 fueron medidos parámetros físicoquímicos de calidad entre (sólidos solubles totales, acidez titulable, pérdida de peso e índice de maduración)y análisis microbiológicos (identificación de la presencia de Colletotrichum gloesporioides, Penicillium spp). Los resultados obtenidos fueron sometidos a un análisis de varianza, considerando como causas de variación el tiempo y el tratamiento aplicado para una condición de almacenamiento. Los valores medios significativamente diferentes, se compararon a través de pruebas de rangos múltiples, mediante el sistema de programa para el análisis estadísticos IBM SPSS Statics 23, para una probabilidad del 75%. El recubrimiento de cera es una tecnología postcosecha que permite prolongar la vida útil, mejorar la calidad y generar valor agregado al mango ya que se ha logrado extender la vida comercial del producto y mejorar su apariencia; debido a que esta tecnología actúa como una atmósfera modificada, que hace que los procesos metabólicos de la fruta se realicen de una manera gradual.

XML-Intensive software development

168 p.