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

Sobre los problemas binivel lineales con coeficientes intervalos en los lados derechos de las restricciones del nivel inferior.

En este trabajo se estudia una clase particular de problemas de programación binivel en donde las funciones objetivo de ambos niveles y las restricciones son lineales. Además se considera el problema del nivel inferior como un problema de programación por intervalos, en donde los coeficientes intervalos aparecen solamente en los lados derechos de las restricciones. Es decir, se asume que los lados derechos de las restricciones del nivel inferior no se conocen con exactitud sino que están dados por un intervalo delimitando un intervalo de valores. Este hecho aumenta significativamente la complejidad del problema binivel debido a que la región factible del nivel inferior no se conoce con exactitud y por consecuencia, la reacción ´optima del seguidor no puede ser obtenida de forma general repercutiendo directamente en la decisión del líder. La existencia de esta incertidumbre en el nivel inferior evita la posibilidad de obtener una solución óptima binivel que sea factible para todo el intervalo de los lados derechos. Es por esto, que se definen las soluciones robustas binivel. Se estudian dichas soluciones robustas binivel, se analizan algunas de sus propiedades y se propone una metodología eficiente para encontrar el óptimo del problema partiendo de la solución robusta binivel. La metodología propuesta se valida y ejemplifica con algunos ejemplos numéricos mostrando que el esquema de solución propuesto es conveniente para resolver este tipo de problemas.

Formulaciones lineales del problema de ruteo de vehículos con restricciones de sincronización.

El objetivo de esta investigación es estudiar y proponer nuevas formulaciones lineales para el problema de ruteo de vehículos con restricciones adicionales de sincronización. Contribuciones y conclusiones: Las principales contribuciones de esta investigación son dos, la primera de ellas es la formulación de modelos para el problema de vehículos sincronizado (SVRP). Dichas formulaciones difieren en el hecho de no considerar duplicados de nodos, consideran una menor cantidad de variables del tipo scheduling y utilizan una restricción de consistencia de tiempos modificada. La segunda contribución consiste en un análisis comparativo de los modelos propuestos y de los existentes en la literatura. En la literatura consultada, no se encontró algún trabajo que presente este tipo de análisis para el problema de estudio. Finalmente, se presentan resultados computacionales sobre un gran conjunto de instancias tomadas de la literatura. La eficiencia de los modelos propuestos ante los existentes en la literatura, queda empíricamente demostrada al ser capaces de resolver hasta un 25% más de instancias que los modelos propuestos en la literatura para instancias de 50 nodos, y un 37% para las instancias de 80 nodos.

Modelos exponenciales con dispersión y ajuste de modelos lineales generalizados con extravariación

El presente proyecto consta de dos partes. 1. Modelos exponenciales con dispersión. 2. Ajuste de modelos lineales generalizados para datos de conteo con superdispersión. (...) Objetivos generales y específicos: El estudio de los modelos exponenciales con dispersión conduce a desarrollar y perfeccionar métodos de estimación y de inferencia tanto desde el punto de vista teórico como numérico. (...) i) Presentar, sin sin usar el teorema de Mora, resultados sobre la convergencia de modelos exponenciales con dispersión infinitamente divisibles. ii) Proponer una metodología apropiada para el análisis estadístico de variables aleatorias discretas enteras en función de posibles modelos adoptados para su explicación. Construcción de los algoritmos necesarios para la estimación de los parámetros especificados en el modelo adoptado y presentación de las macros correspondientes para su implementación.

Códigos binarios no lineales en MAGMA

La finalitat d'aquest projecte és aconseguir representar codis binaris no lineals de manera eficient en un ordinador. Per fer-ho, hem desenvolupat funcions per representar un codi binari a partir del super dual. Hem millorat la funció de càlcul del kernel d'un codi binari, implementada en projectes d'anys anteriors. També hem desenvolupat un paquet software per l'intèrpret MAGMA. Aquest paquet ens proveeix d'eines per al tractament de codis binaris no necessàriament lineals.

Método alternativo a la modelización gráfica en el cálculo del espacio necesario para crear zonas lineales de aparcamiento en vías urbanas

Aquest mètode permet calcular numèricament l¿espai necessari per crear zones lineals d¿aparcament d¿ n places sense haver de recórrer a la modelització gràfica. Està dissenyat especialment per trobar amb facilitat les característiques òptimes de zones d¿aparcament en vies amb limitacions d¿espai. Aquest estudi és una anàlisi trigonomètrica d¿una àrea d¿aparcament tenint en compte el comportament d¿un vehicle estàndard en la maniobra d¿estacionament.

Las restricciones de acceso a un aborto legal y seguro como violación de los derechos humanos de las mujeres

Este trabajo tiene por objeto el estudio y análisis del acceso al aborto legal y seguro como esencial para el disfrute y efectivo ejercicio de los derechos humanos de las mujeres.Procuraré demostrar cómo el acceso al aborto seguro y legal es un elemento central para el cumplimiento de los derechos humanos de las mujeres en términos generales, incluyendo sus derechos reproductivos y aquellos relacionados a su inherente condición de persona, y cómo su penalización y demás restricciones de acceso, importan una violación de estos derechos humanos.Consecuentemente, más que de un "derecho al aborto" en sentido estricto, de lo que procuro hablar es de la concreción de los derechos a la libertad, la intimidad, la dignidad y el libre desarrollo de la personalidad, dado que, las decisiones de las mujeres en materia de aborto no tienen que ver solamente con sus cuerpos en términos abstractos, sino que, en términos másamplios, se encuentran relacionadas con sus derechos humanos inherentes a su condición de persona, a su dignidad y privacidad. Para su mejor entendimiento y desarrollo, dividiré el trabajo en 4 capítulos.El primer capítulo se dedicará al estudio y análisis de los aspectos legales del aborto: su contemplación en el marco de la Naciones Unidas, en el Consejo de Europa y en la Unión Europea. También se detallarán y explicaránlos diversos sistemas de regulación del aborto contemplados por las diferenteslegislaciones nacionales.En el segundo capítulo se analizará la problemática concerniente al aborto, realizando especial hincapié en sus causas y consecuencias; y se examinarán los principales argumentos de porqué no es útil la penalización del aborto.En el tercer capítulo abordaré, específicamente, porqué la penalización y las restricciones de acceso a un aborto legal y seguro importan una violación de los derechos humanos de las mujeres. Y en el cuarto capítulo efectuaré un análisis jurisprudencial de las principales sentencias del Tribunal Europeo de Derechos Humanos. Por último expondré mis conclusiones.

La complejidad del cuidado y el cuidado de la complejidad: un tránsito pedagógico de los reduccionismos fragmentantes a las lógicas no lineales de la complejidad

RESUMEN: Este trabajo aborda la formación inicial en enfermería y su práctica profesional utilizando para ello instrumentos conceptuales pertenecientes a lo "paradigma de la complejidad": esquemas teóricos dinámicos, categorías conceptuales ambivalentes utilizados para dar cuenta de las incertidumbres, indeterminaciones y fenómenos aleatorios que conforman los procesos que tienen lugar en la formación inicial de Enfermería y en su ejercicio profesional. Categorías que tratan de ir más allá del reduccionismo positivista que había pretendido eliminar la imprecisión, la ambigüedad y la contradicción, y se sitúan en una perspectiva en la que la paradoja, la dualidad, la incertidumbre o la contradicción que, antes que errores o límites de nuestro pensamiento, son características constitutivas de la realidad del cuidado y de la los procesos formativos que capacitan para su ejercicio profesional. La tesis central de estos planteamientos afirma que las formas de representación positivista han asignado a los fenómenos del cuidado profesional de la salud y a los de su enseñanza una certidumbre de la que realmente carecen.