Indaga sobre la importancia de los factores actitudinales, no racionales, para la praxis política, como una forma de reivindicar el sentido originario de la política, que pasaba por el compromiso del individuo con su sociedad. / Tesis

El comportamiento debe contemplarse desde etapas tempranas del desarrollo de software. En este contexto el modelado declarativo incremental constituye una opción atractiva para capturar y analizar los requerimientos con precisión sin atarse a prematuras decisiones operacionales. Bajo esta visión, el formalismo más utilizado son lógicas temporales como LTL. Sin embargo, en muchas ocasiones la especificación de propiedades en LTL es un desafío importante, aún para personas con experiencia en el formalismo. Más aún, el poder expresivo de LTL no es suficiente si se desea construir declarativamente un sistema desde cero a partir de las propiedades que describen su comportamiento. Varias alternativas se han desarrollado para hacer más sencilla la especificación de propiedades. La mayoría de ellas se basa en la utilización de patrones de especificación. Si bien los patrones de especificación ofrecen una manera más amigable de expresar los requerimientos típicos, el usuario necesita validar o modificar la propiedad. La evidencia indica que para realizar todas estas tareas de validación no alcanza con analizar la descripción en lenguaje natural del patrón elegido, sino que debe analizarse su traducción a un lenguaje formal. Y para estos casos, el usuario no tiene otra alternativa que enfrentarse a los lenguajes formales. Luego, la utilización de patrones de especificación no logra esconder por completo los problemas de utilizar lenguajes formales. Este contexto sugiere la necesidad de contar con un lenguaje formal de especificación que sea sencillo de usar, y lo suficientemente expresivo para permitir a todo tipo de usuarios utilizarlo de manera intuitiva. Para lograr este objetivo se presenta FVS (Feather Weight Visual Scenarios) y su extensión ω-FVS, un lenguaje declarativo, no basado en lógicas temporales, sino en simples escenarios gráficos, cuya meta es mejorar y facilitar el proceso de especificación de propiedades, y con el suficiente poder expresivo para denotar propiedades ω-regulares. La notación cuenta con una semántica declarativa basada en morfismos y un procedimiento de tableau que permite la posibilidad de realizar análisis automático. Se exhibe la usabilidad y aplicabilidad de FVS modelando todos los patrones de especificación, comparando las especificaciones resultantes con otras notaciones conocidas. Tal comparación permite observar el impacto de FVS en la especificación de propiedades. Asimismo, FVS también puede ser utilizado como un poderoso lenguaje de modelado orientado a aspectos. Finalmente, la extensión ω-FVS permite lograr el suficiente poder expresivo para denotar propiedades ω-regulares. Esto se logra a través de un tipo especial de eventos, denominados eventos fantasmas, que permiten introducir niveles de abstracción en etapas de modelado. Se ilustra el poder expresivo de ω-FVS modelando varios ejemplos, incluyendo protocolos de comunicación de software. ω-FVS cuenta con un proceso de síntesis, que traduce sus especificaciones a autómatas de Buchi, permitiendo así la capacidad de llevar a cabo diferentes tipos de razonamiento automático como consistency checking, model checking, y oráculo para verificaci´on en ejecución entre otros. / Behavior needs to be understood from early stages of software development. In this context incremental and declarative modeling seems an attractive approach for closely capturing and analyzing requirements without early operational commitment. In this situation, the most widespread formalism is LTL (Linear Temporal Logic). Unfortunately, in many cases, the formal description and validation of properties results in a daunting task, even for trained people. Moreover, LTL expressive power fall short of if the practitioner want to declaratively build a system from scratch upon the specified properties. Several attempts arise to make life easier for practitioners, in order to circumvent the complexity involved when specifying properties in LTL. The purpose of these approaches is to provide to the user an easier way to express the desired behavior. Most of them rely on specification patterns. Although patterns offer a friendlier way to express typical requirements, the user still needs to validate or modify the property. However, to perform all these validations tasks based solely on the natural language description of the patterns may be hard to achieve and many times the pattern translation into an formalism must be analyzed instead. Besides, sometimes a property needs to be slightly modified to suit actual system requirements, and this, again, suggests manipulations of the translated versions. Therefore, using patterns is not enough to entirely hide the subtleties of the underlying formalism from the user. This suggests the need of a formal specification language easy to use, and sufficiently expressive to enable skilled and non-skilled users to use it appropriately, which constitutes the main objective of this work. To achieve this goal we present FVS (Feather Weight Visual Scenarios) and its extension ω-FVS, a declarative language, not founded on temporal logics, but on simple graphical scenarios, which aims to improve and ease the property specification process, and powerful enough to express omega-regular properties. The notation is equipped with declarative semantics based on morphisms and a tableau procedure iv is given enabling the possibility of automatic analysis. We illustrate FVS applicability by modeling all the specification patterns and we thoroughly compare FVS to other known approaches, showing that FVS specifications are better suited for validation tasks. What is more, FVS is presented as a useful aspectoriented modeling language. In addition, we present ω-FVS, a simple extension of FVS capable of expressing ω- regular properties. This feature is achieved by introducing a distinctive type of events, called “ghost” events, that allow to predicate behavior in a higher level of abstraction. We illustrate ω-FVS expressive power by modeling several examples, including real world protocols specifications. On the top of these features, we also developed a synthesis procedure which translates FVS specifications into Buchi automata, enabling the possibility for different sort of analysis, namely consistency checking, model checking, and oracle for runtime verification among others.

Hace 15 a~nos atras, el desarrollo de nuevos productos farmaceuticos consista en un proceso de prueba y error basado mayormente en la busqueda de un farmacoforo o principio activo. Sin embargo, muchos compuestos eran nalmente descartados en la ultima etapa del proceso de su desarrollo debido al comportamiento ADME-Tox. Por estos motivos, el interes en la industria y el ambito academico en las disciplinas de quimioinformatica y, en particular, en las tecnicas de tipo QSAR ha crecido considerablemente en los ultimos a~nos. El objetivo de esta tesis se centro en desarrollar metodologas para la mejora de los modelos existentes de QSAR mediante el uso de tecnicas numericas y de aprendizaje automatico. En este sentido, se obtuvo un potente metodo para lo que se considera uno de los problemas mas importantes del modelado QSAR: la seleccion de subconjuntos de descriptores relevantes. Para esta tarea se desarrollaron distintos enfoques utilizando computacion evolutiva. Asimismo, otro aspecto central considerado fue el desarrollo de una tecnica de identicacion de dominio de aplicacion para un metodo de prediccion, el cual permite determinar los alcances en las predicciones de un modelo. Para esta tecnica se considero la aplicacion de medidas de distancia entre compuestos qumicos, usando aprendizaje no supervisado. Finalmente, se desarrollo un metodo generalizado que permite la proyeccion de los datos en un espacio de menor dimension, en donde las distancias entre los datos proyectados guardan relacion con las distancias de la propiedad a modelar. Este nuevo espacio permite mejorar la visualizacion, reducir el conjunto de descriptores en forma embebida y mejorar la precision de los modelos de prediccion.

La argumentacion es un modelo de razonamiento basado e la construcción y evaluación de argumentos que interactúan entre sí. Estos argumentos tienen como fin, soportar, explcar o atacar enunciados que pueden ser opiniones, decisiones, etc. La argumentación ha sido utilzada en diferentes dominios, como razonamiento no monótono, manejo de inconsistencias en bases de conocimiento y modelado de diferentes tipos de diálgos en particular, persuasión y negociación. Un enfoque de negociación basado en argumentación tiene la venta a de que además de intercambiar ofertas, se intercambian razones que las soportan y que eventualmente podrán llevar al receptor a cambiar sus preferencias. En consecuencia, se puede llegar a un acuerdo entre ls partes de manera más conveniente. De esta manera, adoptar un enfoque de este estilo en los problemas de decisión, tendría el beneficio de que el tomador de decisiones además de tener una buena el elección, tendría las razones subyacentes que la soportan de una manera fácil de entender. La toma de decisiones basada en argumentación, es más afín al a forma en que los seres humanos deliberan y finalente toman o entienden una elección. La idea de articular decisiones en base a argumentos es relevante para varios enfoques diferentes de decisión, tales como decisión bajo incertidumbre, decisión multi-criterio y decisiones basadas en reglas. En general puede decirse que los diversos enfoques propuestos construyen para cada decisión posible un conjunto de argumentos a su favor y un conjunto de argumentos en su contra. No obstante, los tomadores de decisiones no se limitan solamente a construir estos conjuntos, sino que ellos intercambian argumentos, los hacen interactuar, atacándose o defendiéndose entre ellos. Asimismo, dentro de un enfoque particular de decisión, existen propuestas muy diversas que difieren en: los lenguajes de representación de conocimiento y razonamiento que utilizan, si su definición está dada dentro de una arquitectura de agente particular, la formalidad con l que se relacionan con enfoques clásicos de toma de decisiones, etc. En particular, en esta Tesis, se presenta un framework original de toma de decisiones individual es que está vinculado formalmente con la Teoría de Decisión Clásica, pero justificado desde el punto de vista de la argumentación. El framework propuesto paral a toma de decisiones basadas en argumentación, combina el uso de argumentos y reglas de decisión. El criterio de comparación de argumentos utilzado, se basa en prioridades entre literales que representan las preferencias del agente (tomador de decisiones). Estos literales forman parte del programa del agente, y al realizar cambios en las relaciones de preferencia entre los mismos, se puede cambiar de manera flexible las preferencias del agente y el criterio de preferencia entre argumentos. Nuestro enfoque también incluye una metodolgía simple para desarrollar las componentes de decisión del agente. De esta manera, un framework de decisión desarrollado siguiendo esta metodolgía exhibe propiedades interesantes, con respecto a la coherencia que muestra el agente en la toma de decisiones. Si el agente, tiene disponible todo el conocimiento relvante acerca de sus preferencias con respecto a todas las posibles alternativas que se l podrán presentar, entonces el comportamiento de el eccion correspondiente al framework propuesto, coincide con el comportamiento optimo respecto de una relación de preferencia racional. En cambio, si el agente tiene conocimiento parcial acerca de sus preferencias, las decisiones que este tomará también exhibirán un cierto grado de coherencia. En particular en este caso, nuestro enfoque implmenta una estructura de elcción que satisface el axioma débil de la preferencia revelada. Los principios enunciados en esta Tesis, serán ejemplificados en dos dominios de aplicación distintos. En el primero, se analiza cómo se desarrollan los procesos de decisión de un robot que realiza tareas de limpieza y debe decidir qué caja transportará a continuación. Se presentan ejemplos donde el robot posee información completa e incompleta acerca de sus preferencias de elección, consiste de un agente de software de impresión que debe decidir a qué impresora de la red manda un cierto trabajo, en función de las características de las impresoras y de su disponibilidad. En este dominio particular, también se presentan ejemplos con información completa sobre las preferencias del agente y se muestra cómo desarrollarlos componentes de decisión para la aplicación del framework.

Con la propagación de los ambientes distribuidos, las aplicaciones distribuidas y las tareas cooperativas van en crecimiento y popularidad. Estas tareas requieren la utilización de recursos, en algunos casos los compartirán y en otros los utilizarán en forma excluyente, para ello se requieren de protocolos que sincronicen y coordinen el accesos a los mismos. En los sistemas uno de los problemas es el acceso exclusivo de un proceso hacia un recurso, y en los ambientes cooperativos varios procesos comparten la utilización del recurso para resolver una tarea. Para estas tareas es necesario contar con protocolos que garanticen exclusión mutua para procesos y para grupos de procesos. En el análisis del problema de la exclusión mutua para un proceso, se considera al sistema compuesto por n procesos, p0, p1, ..., pn−1, que compiten por acceder a un recurso. Las soluciones a este problema pueden estar basadas en memoria compartida, pasaje de mensajes basados en quorum o basados en token. En ambientes distribuidos, algunos compiten por los recursos y otros los comparten, cooperando en la realización de su tarea. Esta característica motivo el estudio del problema de exclusión mutua para grupos de proceso. Se considera que el sistema está formado por un conjunto de n procesos, p0, p1, ..., pn−1; donde los procesos pueden participar de cualquiera de los diferentes m grupos, G0, G1, . . ., Gm−1. Las soluciones al problema de la exclusión mutua para grupos de procesos se las clasifica de acuerdo a su diseño en: modelos basados en un actor y modelos basados en dos actores. A partir del estudio y análisis de la problemática de utilización de los recursos en forma excluyente y compartida, se propone en esta tesis un modelo general de diseño simple y claro para la exclusión mutua de grupos de procesos. / Distributed environments, distributed applications and collaborative tasks are growing and increasing in popularity. These tasks requiere the utilization of resources, in some cases they shared and in others compete to use in a exclusive mode. So, we need protocols that synchronize and coordinate the access to resources. One of the problems in systems is the exclusive access of a process to a resource, and in cooperative environments several processes share the utilization of the resource to solve a tasks. For these tasks are required a protocol that guarantee individual mutual exclusion and group mutual exclusion. In the analysis of the mutual exclusion problem, we consider the system with n processes, p0, p1, . . ., pn−1, that compite for access to the resource. The solutions to this problem may be based on shared memory, messages based on quorum or based on token. In distributed environments, some ones compite for the resources and others share them, cooperating in solving a task. Let be a set of n processes, p0, p1, . . ., pn−1; where the processes can participate of any of the m groups, G0, G1, . . ., Gm−1. The solutions for the group mutual exclusion problem can be classified in accordance with his design: models based in one actor and models based in two actors. Further the study and analysis of the problematic of utilization of the resources in exclusive and shared mode, we propose in this thesis a general model of simple and straightforward design for the group mutual exclusion.

Magister en Educación con Mención en Currículum y Comunidad Educativa / La Educación en Ciencias es un área que requiere mayor realce e inyección de recursos por parte de los Estados en la actualidad, dado que proporciona herramientas necesarias para poder desenvolverse en un mundo que está impregnado de ciencia y tecnología. Para ello también se requiere docentes que estén capacitados para promover aprendizajes reales en nuestros niños, niñas y jóvenes. El presente estudio exploró en qué medida el Programa de Indagación Científica para la Educación en Ciencias (ICEC), impulsado por el MINEDUC y diseñado e implementado por la Universidad Alberto Hurtado (UAH), tuvo un efecto en las concepciones sobre la Educación en Ciencias de docentes que realizan clases de ciencias en el sector municipal, en los niveles de educación parvularia, básica y media. Para llevar a cabo la investigación, con enfoque mixto, se utilizaron diversas técnicas que permitieron obtener evidencias: pruebas de Pre y Post Test escrito, encuestas, entrevistas y análisis de clases. El análisis de la información recabada pone en evidencia que efectivamente el Programa ICEC de la UAH tiene un efecto en las concepciones de los docentes respecto de la enseñanza y el aprendizaje de la ciencia y todo lo que ello implica, lo que finalmente tiene un impacto en sus prácticas en el aula

No description available.

No description available.

No description available.

No description available.