El objetivo principal es la generación de criterios de mejora en seguridad y confort para la movilidad peatonal basados en la aplicación de la biomecánica y del estudio de la percepción. La tesis se centra fundamentalmente en resolver uno de los problemas de seguridad con peores consecuencias durante la deambulación peatonal: las caídas, contemplando entre otras cuestiones la relación entre el peatón y su entorno, todo ello desde un análisis profundo de cuáles son los perfiles con requisitos intrínsecos más exigentes y cuáles son las condiciones de mayor riesgo con los que desarrollar criterios seguros para todos. Además se ha explorado si existen otros criterios más allá del rango mínimo de fricción que provoquen un efecto negativo en la deambulación segura y confortable, concretando cuál podría ser dicho efecto en los peatones incluyendo una aproximación a los mecanismos de interpretación de la seguridad y de la fricción percibida. En la tesis se ha hecho especial hincapié sobre todo en aquellos perfiles más sensibles de sufrir una caída. Para resolver las hipótesis se han empleado metodologías que van desde la biomecánica clásica de la marcha humana, el análisis lineal y no lineal de la variabilidad, el desarrollo de sistemas de medida de la fricción dinámica de superficies, y el análisis de la percepción subjetiva del entorno a través de técnicas kansei. Los resultados arrojan las siguientes conclusiones: " Las propiedades de fricción son capaces de afectar al patrón de marcha de las personas influyendo en su confort y seguridad. " Existen diferentes patrones de deambulación asociados a personas con movilidad reducida con requerimeintos más exigentes que que no están incluidos en las normas nacionales e internacionales " La fricción requerida por personas con deambulación reducida es significativamente mayor que la de las personas sin problemas de movilidad. Siendo las personas con amputación de extremidades inferiores las que requieren la máxima fricción. / Zamora Alvarez, TA. (2012). Análisis biomecánico y perceptivo de la movilidad peatonal para fijar límites de seguridad y confort en la fricción de pavimentos urbanos [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/15187 / Palancia

Publicación a texto completo no autorizada por el autor / Realiza un estudio de dos modelos fisicoquímicos de la dinámica de fluidos contaminantes en medios porosos a escala geológica, específicamente se estudia la interacción del modelo de flujo de aguas subterráneas y el modelo de transporte reactivo, orientados particularmente a los sistemas porosos como son los acuíferos o reservorios geológicos de aguas subterráneas. Complementando el estudio de los fenómenos en medios porosos de la presente tesis se presenta un ejemplo de simulación numérica de la ecuación del transporte de contaminantes en medios porosos. Debido la vital importancia de la simulación computacional se aborda también en el último capítulo una guía básica descriptiva de la simulación computacional de las ecuaciones de flujo y transporte. Básicamente se estudia un ejemplo de simulación computacional de la evolución espacio-temporal de una pluma contaminante reactiva inmersa en un medio poroso constituido por tres tipos de acuíferos. Esta simulación está basada en el programa computacional MODFLOW. Este programa es un modelador de flujo por diferencias finitas desarrollado por el Servicio Geológico de los Estados Unidos, el cual está basado en un código fuente que resuelve mediante interacciones la ecuación de flujo del agua subterránea. En cuanto al modelo de transporte éste se encuentra soportado por el programa MT3D, el cual es un modelo diseñado en computar las ecuaciones del transporte de solutos en 3D para la simulación de la advección, dispersión y reacciones geoquímicas de los constituyentes de solutos contaminantes disueltos en los sistemas de aguas subterráneas. / Tesis

El razonamiento y cambio de bases de conocimiento o knowledge bases (KBs) por sobre las inconsistencias, es de extrema importancia en áreas como la medicina y el derecho. Esto es, razonar y provocar la evolucion del conocimiento sin necesidad de restaurar la consistencia, sino proveyendo una forma de tolerancia a ella. La argumentacion puede brindar la posibilidad de dar con ambos problemas. Primeramente, me-diante la construcción de un marco argumentativo o argumen-tation framework (AF) a partir de la KB inconsistente, pode-mos decidir si aceptar o rechazar una cierta conclusion o claim a través de la interacción entre argumentos y contra-argumentos. Segundo, mediante el manejo de la dinámica de argumentos del AF, podemos dar con la dinámica del conoci-miento de la KB inconsistente subyacente.Por un lado, propondremos una nueva familia de marcos argumentativos abstractos a los cuales referimos como generalizados, e identificamos como generalized abstract argumentation frameworks (GenAF), debido a su habilidad de adaptacion a diferentes lenguajes de representación. El objetivo es proveer un marco argumentativo, no completamente abstracto, para razonar por sobre las inconsistencias de KBs representadas a través de cualquier lenguaje que se sepa conforme algún fragmento de primer-orden. Las semánticas estándar de Dung son adaptadas para construir la maquinaria de razonamiento del GenAF. En lo que constituye un primer enfoque a revision de creencias en esta tesis, se propondrá un operador de debugging para la KB subyacente definido sobre las semán-ticas argumentativas para GenAFs como un tipo de consoli-dación: operación propuesta por Hansson para restaurar consistencia a KBs. Por ello, nos basaremos sobre sus postula-dos usuales para caracterizar axiomaticamente la operación de debugging propuesta, mostrando el correspondiente teorema de representación. Luego, proponemos la reificación del lenguaje abstracto para argumentos del GenAF al lenguaje básico de descripción ALC. Esto muestra la flexibilidad del formalismo presentado y una forma de aplicar argumentación a ontologías para razonar sobre las inconsistencias. Finalmen-te, la operación de debugging provee una herramienta para reparar inconsistencias y conceptos insatisfacibles, restau-rando consistencia-coherencia a las ontologías ALC. La dinámica de argumentos ha recientemente atraído atención y aunque algunos enfoques han sido propuestos, una axioma-tización completa dentro de la teoría de revisión de creen-cias constituyó un resultado pendiente hasta el momento. Una revision surge cuando deseamos que las semánticas argumentativas acepten un nuevo argumento. La teorıa del cambio argumentativo o Argument Theory Change (ATC) define operadores de revision que modifican un AF mediante el análisis de árboles de dialéctica argumentos como nodos y ataques como arcos como la semántica argumentativa adoptada. Presentaremos un simple enfoque a ATC basado en KBs proposicionales. Esto nos permite manejar el cambio de KBs inconsistentes basandonos en la teoría clásica de revi-sión de creencias, aunque al contrario de lo que ella indica, se evitará la restauración de consistencia de la KB a trabajar. Subsecuentemente, un conjunto de postulados de racionali-dad será adaptado a argumentación y finalmente, el modelo de cambio propuesto será relacionado a los postulados a través del correspondiente teorema de representación. Seguidamente, los resultados serán extendidos a description logics, para manejar el razonamiento y evolución ontológicos con tolerancia a inconsistencias. / Reasoning and change over inconsistent knowledge bases (KBs) is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation frame-work (AF) from the inconsistent KB, we can decide whether to accept or reject a certain claim through the interplay among arguments and counterarguments. Secondly, by handling dynamics of arguments of the AF, we might deal with the dynamics of knowledge of the underlying inconsistent KB. On the one hand, we propose a new family of abstract argu-mentation frameworks which we refer as generalized (iden-tified through the acronym GenAF), due to its ability of adapting to different representation languages. The objective is to provide a not so, but still, abstract argumentation framework for reasoning over inconsistent knowledge bases (KBs) represented through any language known to conform to some first-order fragment. The well known Dungs standard semantics are adapted to construct the GenAFs reasoning machinery. Constituting the first approach to belief revision in this thesis work, we propose a debugging operator for the underlying KB defined upon the argumentation semantics for GenAFs, as a kind of belief revisions consolidation. A consolidation is a well known Hanssons operation for restoring consistency to KBs, therefore, we rely upon its usual postulates to axiomatically characterize the debugging operation proposed here, showing the corresponding representation theorem. Afterwards, we propose a reification of the GenAFs abstract language for arguments to the basic ALC description logic. This shows both the flexibility of the formalism presented, and a way to apply argumentation for reasoning over inconsistent ontologies, subject of utmost relevance in areas like medicine and law. Finally, the debugging operation provides a tool for debugging inconsistent ontologies and repairing unsatisfiable concepts, for restoring both consistency and coherency to ALC ontologies. Dynamics of arguments has recently attracted attention and although some approaches have been proposed, a full axiomatization within the theory of belief revision was still missing. A revision arises when we want the argumentation semantics to accept an argument. Argument Theory Change (ATC) encloses the revision operators that modify the AF by analyzing dialectical trees arguments as nodes and attacks as edges as the adopted argumentation semantics. We present a simple approach to ATC based on propositional KBs. This allows to manage change of incon-sistent KBs by relying upon classic belief revision, although contrary to it, consistency restoration of the KB is avoided. Subsequently, a set of rationality postulates adapted to argumentation is given, and finally, the proposed model of change is related to the postulates through the corresponding representation theorem. Afterwards, the results are extended to description logics, to handle ontology reasoning and evolution with tolerancy to inconsistency.

El presente trabajo de investigación está enfocado en realizar el estudio de las cargas fluctuantes generadas por el movimiento rotacional del conjunto eje-impulsor en un agitador vertical, a partir de los datos obtenidos del estudio fluido-dinámico en régimen transitorio del sistema utilizando simulación numérica. Este estudio se basa en la problemática del movimiento oscilatorio presente en el eje durante la operación del equipo. Para lograr este objetivo, se utilizó la metodología MRF (movil reference frame) utilizada en investigaciones precedentes de sistemas agitados. En primer lugar, los resultados obtenidos a partir del análisis numérico, utilizando el software ANSYS, fueron validados con las pruebas realizadas en el laboratorio. Estas pruebas fueron realizadas con un modelo a escala que cumple con todas las especificaciones técnicas de un análisis dimensional. Las variaciones presentes en el análisis son inferiores al 12% lo que comprueba el correcto trabajo realizado en el sistema numérico. Una vez realizada la validación y el estudio de las cargas dinámicas, se pueden obtener conclusiones que permiten cuantificar efectos pocas veces tomados en cuenta como el comportamiento de las cargas generadas en cada uno de los álabes, este efecto es bastante estable a lo largo del tiempo debido a que cada uno de los álabes aplica esfuerzos cortantes al fluido generando campos turbulentos a lo largo de su recorrido. Por lo tanto, la frecuencia de aplicación de las cargas coincide con la frecuencia del movimiento rotacional del eje. Una vez cuantificado este efecto, se determina que el álabe tiene un factor de seguridad cercano a la unidad cuando se lo verifica utilizando la teoría debido a la fatiga, lo cual exige un mayor análisis y cuidado durante su diseño. Además, se comprueba que el impulsor tiene una frecuencia cuyo valor es exactamente el triple de la frecuencia a la que gira el eje y el comportamiento de sus cargas está relacionado con su número de álabes. A su vez, mediante la verificación del cálculo de la falla debido a la fatiga se demuestra que el sistema está sobredimensionado excesivamente cuando se analiza el eje.

El presente trabajo brinda resultados de ensayos experimentales realizados para la determinación de la longitud, dimensiones de la sección transversal y la rugosidad absoluta que debe tener el canal de disipación aguas arriba un aforador Parshall, el cual se plantea como una propuesta de solución a un problema identificado en un proyecto real dentro de la actividad minera. El estudio se aplica en una parte de la conducción del flujo de líquidos originados en el proceso de lixiviación de minerales, para lo cual básicamente se cuenta con una estructura conformada por un sistema de tuberías de colección de la solución lixiviada, la que luego se conecta una tubería denominada principal, la cual descarga a un canal de aproximación (disipador de energía) y a un aforador Parshall. Es en este canal de disipación en que el flujo impacta en la base del canal produciéndose un flujo turbulento en el aforador, lo cual origina gran imprecisión en la medición del caudal que atraviesa por este. Por lo tanto, se propone el dimensionamiento y las características de rugosidad para el canal de disipación, tal de obtener un flujo en régimen subcrítico, aguas abajo del flujo en régimen supercrítico. De esta manera se cumplirá con las condiciones que requiere el aforador Parshall para su correcto funcionamiento. La solución al problema identificado, que se halló mediante el presente trabajo de tesis está basado en el desarrollo y la aplicación de un modelo físico del prototipo, construido a escala, cuyo diseño cumple la teoría de semejanza semejanza hidráulica. La fabricación del modelo, se realizó tomando en cuenta las condiciones y restricciones existentes del lugar donde fue instalado para fines de los ensayos a realizar, es decir, en el Laboratorio de Hidráulica de la Pontificia Universidad Católica del Perú.

Se estudian los frentes de propagación en una región de dos dimensiones con forma de un tubo rectangular finito en sistemas isotérmicos autocatalíticos. Enfocamos el caso donde dos especies intervienen en una reacción y estas especies tienen coeficientes de difusión que pueden diferenciarse significativamente en magnitud. En las configuraciones de dos dimensiones, con diferentes coeficientes de difusión, los frentes de propagación pueden convertirse en inestables. La inestabilidad ocurre cuando la razón de los coeficientes de difusión excede de un valor crítico. La forma espacio temporal de los frentes no planos en tales sistemas dependen del dominio rectangular perpendicular al frente, generándose para tiempos largos, intermitencias bien definidas separadas en cada intervalo de tiempo. A medida que se incrementa el ancho del dominio rectangular, aparece el caos. También estudiamos las formas de propagación de los frentes cuando el ancho del dominio es más grande que el largo del tubo, notándose simetría de acuerdo a las condiciones iniciales hasta un cierto tiempo y luego se rompe la simetría para tiempos posteriores. Por último al sistema reacción-difusión cúbica le incluimos un flujo advectivo de Poiseuille que dan como resultado dominio de frentes simétricos y asimétricos variando la velocidad promedio del ujo desde valores negativos a valores positivos.

El objetivo de esta Tesis es el análisis para la gestión de entornos virtuales de manera eficiente. Se realizó una optimización para el middleware de planificación en forma dinámica sobre entornos de computación Grid, siendo la meta a alcanzar la asignación y utilización óptima de recursos para la ejecución coordinada de tareas. Se investigó en particular la interacción entre servicios Grid y la problemática de la distribución de tareas en meta-organizaciones con requerimientos de calidad de servicio no trivial, estableciendo una relación entre la distribución de tareas y las necesidades locales pertenecientes a organizaciones virtuales. En primer término, se realizaron experiencias sobre la problemática de aplicaciones en entornos multicluster y luego se analizó como la infraestructura Grid pueden impactar en el diseño de este tipo de aplicaciones. Se propuso e implementó una arquitectura para la gestión de entornos virtuales, logrando un máximo aprovechamiento de entornos Grid utilizando clusters de computadoras como recurso. Por último se formuló una optimización para algoritmos de planificación, donde en base a la distribución geográfica y las características de la aplicación que se debe ejecutar, se generan automáticamente entornos virtuales de ejecución utilizando el conjunto de máquinas más adecuado. Con esta optimización se logra en el mejor de los casos un incremento del 20% en el tiempo total de ejecución del sistema.

En la actualidad las tiendas por departamento enfrentan una ardua competencia, la que se da principalmente para los productos de moda que poseen un ciclo de vida corto y alta rotación. Esta situación es generada por lo dinámico de la industria del retail, que presenta productos que cambian constantemente, lo cual impide aprender del comportamiento de la demanda y conservar stock de una temporada a otra. Tácticas de pricing se utilizan en estas circunstancias, pues el precio es una variable manejable y muestra influencia en el comportamiento de la demanda. El objetivo de este trabajo es desarrollar una metodología que determine precios en el tiempo para una categoría de productos de moda en una tienda por departamento con el fin de aumentar los ingresos. Para esto se formula un modelo matemático de optimización que maximiza ingresos junto con analizar diferentes escenarios de demanda. La metodología está dividida en dos etapas. En la primera la demanda es estimada por medio de regresiones y modelos de estimación diseñados para este tipo de productos. La segunda consta del uso del algoritmo de programación dinámica para resolver el problema de pricing para cada periodo en el horizonte de planeación. Para llevar a cabo lo anterior se utilizaron datos sobre precios y ventas de una importante cadena de tiendas por departamento. Así para la estimación de demanda se utilizó un modelo de regresión lineal, la cual mostró un ajuste de R2 cercano a 0,4. Luego al resolver la programación dinámica, la política óptima de precios obtenida mostró mejoras de hasta un 50% en los ingresos comparado con la política actual, aumentando el precio promedio de los productos, reduciendo quiebres de stock y sobrestocks mínimos al final de la temporada. Al revisar los resultados se observa que se obtuvo una política de precios que sigue la lógica para productos de moda, en los que el precio disminuye paulatinamente a medida que avanza la temporada. Además, al comparar con la política actual se observa que los modelos muestran que es conveniente partir con un precio más bajo para el producto, como también reducir su precio anticipadamente en la temporada, para así lograr mayores ventas y a precios más altos. Una de las limitaciones del modelo se encuentra en que el ajuste de la estimación de demanda no es preciso. Para solucionar lo anterior, se propone agregar en la estimación de demanda variables de promociones y publicidad, las cuales influyen en la demanda de productos, y así poder captar de mejor forma el comportamiento de esta.

No description available.

Ingeniero Civil Mecánico / Los descansos hidrodinámicos son ampliamente utilizados en equipos rotatorios debido a su capacidad de resistir altas cargas, alta amortiguación, escaso desgaste, amplia vida útil y una holgura entre rotor y descanso pequeña. La operación confiable de estos equipos bajo distintas condiciones de operación es de vital importancia. Para esto, es necesaria tanto la predicción como el control del comportamiento dinámico, esto es respuesta al desbalance, velocidades críticas e inestabilidades. En este trabajo se realizan simulaciones computacionales a través de un software con la capacidad de resolución de problemas CFD (Computational Fluid Dynamics), con una interface FSI (Fluid Structure Interaction), que buscan la determinación de coeficientes dinámicos de rigidez y de amortiguamiento. Se determinan los coeficientes dinámicos considerando términos lineales y no lineales, bajo diferentes condiciones de operación, dadas por la velocidad de rotación del eje. Estos coeficientes se obtienen mediante el uso de un método de identificación de parámetros de dominio temporal. Adicionalmente, se estudian los efectos generados por la inclusión del fenómeno de cavitación y la flexibilidad de la pared en las magnitudes de los coeficientes dinámicos. Finalmente, se validan los resultados comparando los coeficientes dinámicos lineales con aproximaciones analíticas de los distintos modelos desarrollados. Los resultados obtenidos en modelos con cavitación muestran que los coeficientes de rigidez son determinantes en el ajuste de la respuesta del fluido a la excitación del rotor, no así los coeficientes de amortiguamiento que no contribuyen mayormente al ajuste (sus magnitudes son prácticamente nulas en muchos casos). En condiciones bajo Oil Whirl los coeficientes no lineales adquieren mayor importancia, asimismo como para altas velocidades de operación. La flexibilidad del descanso es determinante sólo para cuantificar la presión desarrollada por el fluido y la ubicación del punto de equilibrio que alcanza el rotor. Por lo tanto, para la determinación de coeficientes dinámicos bastaría simular con una pared rígida.