A conservação da biodiversidade nos discursos expositivos do Zoo de Barcelona

A Educação para a Conservação é um campo de pesquisa que se dedica ao estudo das reflexões éticas e das atitudes humanas direcionadas para com o respeito que se deve ter com o ambiente, principalmente pelo estabelecimento de ações conservacionistas pautadas em interações educativas. Os Zoos, de modo geral, estão inseridos nessa perspectiva, uma vez que se apresentam como instituições de cunho educativo voltadas para a conservação da biodiversidade. No entanto, o discurso expositivo apresentado por esses aparatos culturais no Brasil, muitas vezes, não contempla tais elementos em suas exposições. Por este motivo, buscou-se a análise de exposições zoológicas também no exterior, que contemplassem discursos sobre a conservação da biodiversidade em suas exposições, tendo sido escolhida a exposição do Zoo de Barcelona, Espanha, para a realização desta investigação. A pesquisa teve por objetivos compreender como a conservação da biodiversidade é abordada na exposição deste zoológico catalão, com base na formulação de saberes de referência constituídos a partir de diferentes áreas: os Movimentos Ambientalistas, a Filosofia da Conservação e as Éticas Ambientais. Igualmente, buscou-se compreender como o discurso expositivo sobre conservação encontra-se apresentado nos aparatos expográficos distribuídos ao longo da exposição, bem como em livros e documentos. Compreendendo a investigação como um Estudo de Caso, foram acessados documentos institucionais de acesso público encontrados no site da instituição e textos presentes nos painéis expositivos. As análises foram realizadas com base no referencial teórico da Transposição Didática/Museográfica, que permite o estudo da exposição por ao menos três lógicas: a lógica do discurso; a lógica do espaço; e a lógica do gesto. Além disso, o mesmo referencial prevê o estabelecimento de um saber de referência ou saber sábio pautado no conhecimento epistemológico sobre a conservação da biodiversidade e, nesta pesquisa, no discurso de pesquisadores da área, que foram entrevistados sobre este assunto. Este saber de referência ou saber sábio possibilitou a criação de um conjunto de categorias de análise que pautou a análise do discurso expositivo apresentado pelo Zoo de Barcelona. As categorias criadas foram classificadas em duas dimensões: a dos Valores e a das Ações. Duas categorias, a Antropocêntrica e a Não antropocêntrica constituíram a Dimensão dos Valores e quatro categorias, a Desenvolvimentista, a Sustentabilista, a Sócio-humanística e a Técnico-científica constituíram a Dimensão das Ações. Os resultados apontaram que o discurso expositivo é composto predominantemente por informações Técnico-científicas e Sustentabilistas, ambas as categorias contextualizadas por uma visão não antropocêntrica de valorização da natureza. A forma como o discurso expositivo encontra-se apresentado na parte textual da exposição corrobora a linha conceitual de assuntos abordados nos grandes eventos globais promovidos pela ONU ao longo dos últimos 40 anos, sobre a conservação do meio ambiente. Categorias como a Sócio-humanística, a Antropocêntrica e a Dimensão dos Valores foram pouco abordadas. A categoria Desenvolvimentista não foi encontrada na exposição. Pelas evidências levantadas durante a análise dos dados pode-se concluir que o Zoo de Barcelona apresenta um discurso expositivo conservacionista e que há elementos suficientes na exposição para se apontar o desenvolvimento de uma Educação para a Conservação.

Semiótica, lógica e individuación en Deleuze y Lacan: ontología y política de la clínica

El planteamiento general de este trabajo tiene todo que ver con un intento de clarificación referido a las concepciones lógicas y semióticas en virtud de las cuales es posible sostener la irreductibilidad al discurso científico tanto de la filosofía como del psicoanálisis. Tal discurso se constituye en la modernidad y, por cuanto encuentra un peculiar modo de inserción institucional y social como práctica científica de innovación y desarrollo, además de porque dicha inserción le confiere un papel especialmente relevante en los procesos de subjetivación requeridos y propiciados por la sociedad contemporánea, entendemos que la cuestión planteada reviste una relevancia digna de ser tenida en consideración. Ahora bien, muchos son los estudios dedicados a esta cuestión desde perspectivas muy diversas, si bien frecuentemente aquello que se sitúa como objeto principal de la investigación es extraído, bien del lado de la articulación de la ciencia con las condiciones de producción de la sociedad moderna, bien del de un hipotético sujeto (en cierto sentido moral o personal) que resulta violentado o sometido por dichas condiciones. Sin embargo, el propósito y proceder de este volumen pretende situarse en un ámbito intermedio, sirviéndose del modo en el que dos figuras representativas tanto de la filosofía como del psicoanálisis durante la segunda mitad del siglo XX reciben las consecuencias del llamado “giro lingüístico”, en especial por lo que toca a su vertiente estructuralista y a los debates que aparecen a partir de su surgimiento. Tomando como partida la propuesta de Gilles Deleuze de considerar la sintomatología como una práctica propiamente crítica que concierne al modo de reunión y disociación de síntomas mediante la cual se construyen síndromes o regímenes de signos conforme a los que puede tener lugar una evaluación de los sujetos, entendemos que resulta crucial disponer de un aparato conceptual suficiente para dar cuenta de qué concepción del lenguaje y del signo en general se pone en juego en el psicoanálisis y de hasta qué punto ésta es solidaria con respecto a aquella que es efectiva en el ámbito de la sociedad contemporánea...

Modelling logical expressions exercises

Exercises of application of the systematic procedure to derive linear inequalities for logic expressions (Ejercicios de aplicación del método sistemático de obtención de restricciones lineales para expresiones lógicas).

Optimización (curso 2011-2012)

Material docente de la asignatura «Simulación y Optimización de procesos químicos». Parte de Optimización OPTIMIZACIÓN TEMA 6. Conceptos Básicos 6.1 Introducción. Desarrollo histórico de la optimización de procesos. 6.2 Funciones y regiones cóncavas y convexas. 6.3 Optimización sin restricciones. 6.4 Optimización con restricciones de igualdad y desigualdad. Condiciones de optimalidad de Karush Khun Tucker 6.5 Interpretación de los Multiplicadores de Lagrange. TEMA 7. Programación lineal 7.1 Introducción. Planteamiento del problema en forma canónica y forma estándar. 7.2 Teoremas de la programación lineal 7.3 Resolución gráfica 7.4 Resolución en forma de tabla. El método simplex. 7.5 Variables artificiales. Método de la Gran M y método de las dos fases. 7.6 Conceptos básicos de dualidad. TEMA 8. Programación no lineal 8.1 Repaso de métodos numéricos de optimización sin restricciones 8.2 Optimización con restricciones. Fundamento de los métodos de programación cuadrática sucesiva y de gradiente reducido. TEMA 9. Introducción a la programación lineal y no lineal con variables discretas. 9.1 Conceptos básicos para la resolución de problemas lineales con variables discretas.(MILP, mixed integer linear programming) 9.2 Introducción a la programación no lineal con variables continuas y discretas (MINLP mixed integer non linear programming) 9.3 Modelado de problemas con variables binarias: 9.3.1 Conceptos básicos de álgebra de Boole 9.3.2 Transformación de expresiones lógicas a expresiones algebraicas 9.3.3 Modelado con variables discretas y continuas. Formulación de envolvente convexa y de la gran M.

Traduction et terminologie. A propos de deux versions espagnoles (Madrid, 1800) de la Logique de Dumarsais

Cette étude qui relève du domaine de la traduction philosophique (lato sensu) a pour objet deux versions de la Logique de Dumarsais ([1769]1797) éditées en Espagne (1800). Nous montrons que ces deux Lógicas, oeuvres de deux traducteurs différents, qui eurent chacun des fins également différentes, comme le prouvent le contexte bibliographique et les métatextes respectifs, manifestent la présence d’une terminologie espagnole divergente pour les termes clé de la théorie de la connaissance que l’auteur français exposa dans les pages initiales de sa Logique. La première de ces traductions, qui attribue à la logique un rôle d’introduction aux sciences, choisit des termes systématiquement calqués sur ceux de Dumarsais tandis que J. M. Alea (1781-1826) argumente l’emploi d’une terminologie spécifique, non concordante avec celle du texte source. Ces infidélités terminologiques (et in fine idéologiques) de J. M. Alea peuvent s’expliquer par le désir de ce traducteur de mettre à jour une théorie de la connaissance qu’il voudra rendre conforme à celle de Condillac.

Translation and terminology. Apropos of two Spanish versions of Dumarsais’ Logique (Madrid, 1800)

This article is the English version of “Traducción y terminología. A propósito de dos versiones al español de la Logique (Madrid, 1800) de Dumarsais” by Brigitte Lépinette. It was not published on the print version of MonTI for reasons of space. The online version of MonTI does not suffer from these limitations, and this is our way of promoting plurilingualism.

Escuelas (alternativas) de arquitectura. ¿Modelos (alternativos) de oposición?

Observamos un renovado interés por los modelos pedagógicos del proyecto arquitectónico, especialmente en su vertiente más agresiva o contestataria. A menudo se formulan por oposición a los modelos más tradicionales, en un marco general de crisis institucional. Este trabajo propone alternativas también desobedientes para las escuelas de arquitectura, pero que escapan a las lógicas dicotómicas o polarizadas, capaces de orientar el futuro de un modo más creativo. Para ello se propone el trabajo de autores tan dispares como el de Judith Revel, Rosi Braidotti o Brian Holmes, que desde ámbitos diversos intentan escapar a las lógicas de oposición para abrirse a formas más arriesgadas y afirmativas de estar. Finalmente, se propone una vinculación de las escuelas de arquitectura a formas de producción de comunidad a partir de criterios como el relato, la utilidad o la calidad, en la línea de las aportaciones de Richard Sennett. En definitiva, este trabajo se enmarca en una investigación más general que aspira a reflexionar sobre los órganos formativos del arquitecto desde un marco de pensamiento transversal.

Guía de Buenas Prácticas de Elaboración de Quesos Caprinos Artesanales

Tradicionalmente los productores campesinos han elaborado quesos de leche de cabra para autoconsumo y comercializando sus excedentes a través de venta local en circuitos turísticos de la región (Terán, 2006). Para ellos la quesería representa una alternativa de diversificación de ingresos, dado que no requieren de grandes inversiones iniciales. La reducida cadena quesera se desarrolló con la reconversión de la producción tradicional, no obstante, estos productores no pueden acceder a los canales formales, limitando las posibilidades de agregar valor, incrementar sus ingresos y calidad de vida (Gutman et al., 2004). El nor-noroeste de Córdoba comprende el 78% de los productores y el 87% de las existencias caprinas (SAGyA, 2006). Estos sistemas son predominantemente de subsistencia, uso extensivos de forrajes naturales, ambientes frágiles y degradados; basados en mano de obra familiar, con escasos recursos económicos y baja productividad (ADEC-ACC-CCE, 2007). Los quesos caprinos han sido implicados como vehículo de enfermedad de transmisión alimentaria, debido a su alta humedad y pH, y baja concentración de sal. Los puntos críticos en la elaboración de quesos son la recepción de la leche, pasteurización, coagulación y maduración (Dávila et al.; 2006). Legomin y Arcia (1997) aportan que el principal riesgo está en el personal que los manipula. Estas deficiencias determinan importantes problemas de salud pública (Mercado, 2007). Desde un enfoque interdisciplinario e interinstitucional, el equipo del Programa “Propuestas para la insercion de productores familiares en el mercado formal de alimentos artesanales, área de Traslasierra (Córdoba)” (PPI, financiado por Secyt, UNRC) abordó la problemática de productores cabriteros del Departamento Pocho (Agüero et al, 2013). Con alumnos del IPEM 354 de Chancaní, (Pocho) se encuestaron a 75 productores de la región, de los cuales 33 campesinos eran queseros. Posteriormente, con entrevistas de profundidad se obtuvieron datos de aspectos estructurales, procesos productivos y comerciales de 23 de ellos. Los resultados demostraron limitadas posibilidades de reproducción social y sostenibilidad económica, con reducidas herramientas para comercializar sus productos en cumplimiento con las normativas vigentes, fundamentalmente las bromatológicas. Su principal producto comercializado: el cabrito, aunque el queso de cabra les permite diversificar sus ingresos, agregar valor y obtener un producto menos perecedero. Además, se analizaron microbiológicamente 13 quesos de cabra de pasta semidura, provenientes de estos sistemas. El 100% de muestras superaron los límites máximos permitidos para coliformes fecales. Escherichia coli fue hallada en el 31% de las muestras y el 85% de las muestras fueron positivas para Staphylococcus spp. (54% con ≥ 106 UFC/g). Los resultados señalaron importantes deficiencias en las prácticas de ordeño y elaboración, evidenciando la necesidad de capacitar a los productores en prácticas de higiene para lograr un producto regional inocuo (Ponce Crivellaro et al., 2013).Según Paz et al., (2003), la complejidad de recursos y lógicas de producción afectan las posibilidades de introducir modificaciones tecnológicas, por lo que el diseño de alternativas acorde a ellas constituye una de las principales preocupaciones al momento de generar acciones tendientes a consolidar el proceso de desarrollo en el medio rural. En tal sentido se pretende diseñar una herramienta que facilite la capacitación de los actores que componen la trama productiva de esta región y permita morigerar las condiciones de vida y los reducidos ingresos que reciben por sus productos. A tal fin, se plantea complementar los talleres de capacitación participativa (del PPI) con la elaboración de una Guía de Buenas Prácticas de Manufactura adaptada a las condiciones socioeconómicas y culturales de los pequeños productores de la región.

Desarrollo Riguroso de Sistemas Tolerantes a Fallas

Los sistemas críticos son aquellos utilizados en áreas en las cuales las fallas, o los eventos inesperados, pueden ocasionar grandes perdidas de dinero; o quizás peor aún, daños a vidas humanas. Esta clase de sistemas juegan un rol importante en actividades esenciales de la sociedad tales como la medicina y las comunicaciones. Los sistemas críticos, cada vez son más usuales en la vida real, algunos ejemplos de estos son los sistemas de aviones, sistemas para automóviles y sistemas utilizados en telefonia móvil. Para minimizar las fallas, y las perdidas materiales o humanas ocasionadas por el funcionamiento incorrecto de dichos sistemas, se utilizan técnicas de tolerancia a fallas. Estas técnicas permiten que los sistemas continúen funcionando aún bajo la ocurrencia de fallas, o eventos inesperados. Existen diversas técnicas para lograr tolerancia a fallas utilizando, por ejemplo, redundancia a diferentes niveles de abstracción, como, por ejemplo, al nivel de hardware. Sin embargo, estas técnicas dependen fuertemente del sistema, y del contexto en las que se utilizan. Más aún, la mayoría de la técnicas de tolerancia a fallas son usadas a bajo nivel (código fuente o hardware), estimamos que el uso de formalismos rigurosos (con fundamentos matemáticos) pueden llevar al diseño de sistemas tolerantes a fallas y robustos a un nivel de abstracción más alto, a la vez que la utilización de técnicas de verificación que han sido exitosas en la práctica tales como model checking, o la síntesis de controladores, pueden llevar a una verificación y producción automática de sistemas robustos. El objetivo del presente proyecto es estudiar tanto marcos teóricos, que permitan la construcción de sistemas más robustos, como también herramientas automáticas que hagan posible la utilización de estos formalismos en escenarios complejos. Para lograr estos objetivos, será necesario considerar casos de estudios de diferente complejidad, y además que sean relevantes en la práctica. Por ejemplo: bombas de insulina, protocolos de comunicación, sistemas de vuelo y sistemas utilizados con fines médicos. Planeamos obtener prototipos de algunos de estos casos de estudio para evaluar los marcos teóricos propuestos. En los últimos años diferentes formalismos han sido utilizados para razonar sobre sistemas tolerantes a fallas de una forma rigurosa, sin embargo, la mayoría de estos son ad hoc, por lo cual sólo son aplicables a contextos específicos. Planeamos utilizar ciertas lógicas modales, en conjunto con nociones probabilísticas, para obtener un conjunto de herramientas suficientemente generales para que puedan ser utilizadas en diferentes contextos y aplicaciones. Los materiales a utilizar son equipos informáticos, en particular computadoras portátiles para el equipo de trabajo y computadoras más potentes para el testeo y desarrollo del software necesario para lograr los objetivos del proyecto. Para construir los prototipos mencionados se utilizarán equipos de computación estándar (el equipo investigación cuenta con computadoras intel y mac) en conjunto con lenguajes de programación modernos como JAVA o C#. En el caso de que los sistemas de software sean sistemas embebidos; se piensa desarrollar un motor de simulación que permita evaluar el desempeño del software cuando es ejecutado en el dispositivo mencionado. Se espera desarrollar, e investigar, las propiedades de formalismos matemáticos que permitan el desarrollo de sistemas tolerantes a fallas. Además, se desarrollarán herramientas de software para que estos sistemas tolerantes a fallas puedan verificarse, o obtenerse automáticamente. Los resultados obtenidos serán difundidos por medio de publicaciones en revistas del área. El desarrollo de sistemas tolerantes a fallas por medio de técnicas rigurosas, a diferentes niveles de abstracción (captura de requisitos, diseño, implementación y validación), permitirá minimizar los riesgos inherentes en actividades críticas.

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”.