La investigación nos obligó a llevar a cabo modelos y procedimientos de construcción diferenciados respecto a los convencionales, dado que los materiales, insumos y las propias estructuras suelen presentar comportamientos complejos frente a los climas mencionados. El empleo de aditivos uno plastificante (reductor de agua) Rheobuild 1000 y del aditivo inclusor de aire a través de a una aplicación rápida y precisa, nos proporcionó un Concreto capaz de ser expuesto a ciclos de congelamiento y deshielo y nos permitió obtener una producción de concreto de alta calidad normal y de peso ligero reduciendo el agua y así logrando reducir la cantidad de cemento en la mezcla y proporcionando una solución económica y ventajosa en el proyecto. Hemos comprobado con los resultados, análisis de laboratorio y con la utilización del producto en el campo la calidad del insumo fabricado y puesto en servicio, para las estructuras de drenaje proyectadas, su economía y rentabilidad al proyecto; quiero con ello agradecer el apoyo de las empresas realizadoras del proyecto carretero, y el tenaz apoyo de los investigadores jefes del laboratorio de Concreto suelos y pavimentos con quienes compartí esta investigación Ingenieros Alex Aiquipa y Roberto López por su excelente visión y apoyo a la investigación.

No description available.

Hoy en día, muchos problemas reales pueden ser modelados como problemas de satisfacción de restricciones (CSPs) y ser resueltos utilizando técnicas de programación de restricciones. Estos problemas pertenecen a diferentes áreas de conocimiento tales como inteligencia artificial, investigación operativa, sistemas de información, bases de datos, etc. Los CSPs pertenecen a la categoría de problemas NP-completos por lo que es necesario el uso de herramientas que simplifiquen el problema de forma que se encuentre una solución de forma eficiente. Las técnicas más comunes para manejar un CSP son las técnicas de consistencia y las técnicas de búsqueda. Las técnicas de consistencia o de filtrado tienen por objeto reducir el espacio de búsqueda mediante el filtrado de los dominios de las variables. Las técnicas de arcoconsistencia son las más utilizadas ya que llevan a cabo una importante poda de dominios; eliminando valores que no formaran parte de la solución; de una manera eficiente. Por ello, proponer algoritmos que alcancen la arco-consistencia ha sido un punto central en la comunidad científica reduciendo la complejidad tanto espacial como temporal de estos algoritmos. Sin embargo, muchos trabajos que investigan la arco-consistencia llevan a cabo asumpciones que no están presentes en muchos problemas de la vida real. Por ejemplo, un mismo par de variables pueden participar en más de una restricción (lo que se denomina problema no-normalizado), y cuando el tamaño de los dominios es grande, el proceso de normalización puede resultar prohibitivo. En estos casos la 2-consistencia lleva a cabo una reducción de los dominios de las variables mayor que la arco-consistencia por lo que los algoritmos de búsqueda pueden resultar más eficientes. Sin embargo, la literatura es escasa en relación al desarrollo de algoritmos que alcancen la 2-consistencia. En esta tesis presentamos nuevos algoritmos de arco-consistencia y de 2-consistencia como algoritmos de preproceso para la resolución de problemas de satisfacción de restricciones. / Arangú Lobig, MA. (2011). MODELOS Y TÉCNICAS DE CONSISTENCIA EN PROBLEMAS DE SATISFACCIÓN DE RESTRICCIONES [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/14120

Es indudable hoy en día que el desarrollo de software se ha convertido en una actividad de gran importancia, principalmente, debido a que puede repercutir en diversas actividades cotidianas de las personas. Dada dicha diversidad de actividades que abarcan los desarrollos, los equipos de trabajo suelen estar constituidos a su vez por personas que trabajan en áreas muy diversas. Resulta entonces vital para estos grupos de trabajo contar con un lenguaje común que les permita comunicarse de mejor manera. Justamente con esta intención es que nace UML (Unified Modeling Language) que se ha transformado en el lenguaje de modelado de sistemas de software más utilizado en la actualidad. UML es un lenguaje gráfico para visualizar, especificar, construir y documentar sistemas de software. Básicamente ofrece una familia de diagramas para describir distintos aspectos del sistema, incluyendo aspectos conceptuales tales como procesos de negocios y funciones del sistema, y aspectos concretos como expresiones de lenguajes de programación, esquemas de bases de datos y componentes de software reutilizables. UML fue adoptado por el OMG (Object Management Group) en el año 1997 como el estándar de-facto para el modelamiento orientado a objetos. Desde entonces atravesó varias revisiones y refinamientos hasta llegar a la versión actual (UML 2.0) aprobada en octubre de 2004 [11]. Si bien, como fue mencionado anteriormente, UML 2.0 es el estándar dentro en la industria, esto no significa que sea definitivo ya que cuenta con una serie de dificultades. De hecho, no define una clara relación entre la semántica de los distintos diagramas, ni ofrece políticas de versionamiento en el caso de la evolución de un modelo. Estas dificultades son justificadas aduciendo a que no toda inconsistencia es accidental. Por ejemplo, cuando se hace un diseño abarcando desde lo global a lo particular, se inicia el proceso de diseño con un modelo incompleto, por lo tanto inconsistente. Indudable es que el uso de herramientas CASE facilita bastante la labor del diseñador, sobre todo en desarrollos de gran tamaño y complejidad. Sin embargo, dada la posición de los creadores de UML respecto a la validez de las inconsistencias, el usuario de UML debe preocuparse de las inconsistencias en forma manual.

[pt] Na antologia que M.E. Szabo realizara dos trabalhos de Gentzen e publicara em 1969 se transcrevem, em um apêndice, algumas passagens apresentadas por Bernays ao editor pertencentes a uma primeira prova de consistência para a Aritmética de Peano realizada por Gentzen que não tinha sido publicada até então. À diferença das outras provas de consistência realizadas por Gentzen e já conhecidas na década de trinta, esta prova não utiliza o procedimento de indução transfinita até e0. Ao contrário, baseia-se na definição de um processo de redução de seqüentes que se associa sistematicamente a todo seqüente derivável permitindo reconhecê-lo como verdadeiro. Nós reconstruímos essa prova realizando algumas variações e estudamos o modo pelo qual a técnica principal utilizada (a definição do processo de redução de seqüentes) pode ser vista em relação a resultados da lógica clássica de primeira ordem tais como provas de completude. A parte central da nossa dissertação é a realização de uma versão desta prova de consistência para um sistema formal para a Aritmética de Heyting. / [en] In the antology of Gentzens works made by M.E.Szabo and published in 1969, we find out in an appendix, some passages presented by Bernays to the editor. These texts belong to a first proof of Peanos Arithmetic consistency that Gentzen did not publish. In a different way from the other proofs of consistency made by Gentzen and already known in the thirties, this proof does not use the procedure of transfinite induction up to e0. On the contrary, it is based on the definition of a reduction process for sequents that is systematically associated to every derivable sequent allowing us to recognize it as a true sequent. We reconstructed this proof making some variations and we studied how the main technique used (the definition of the reduction process) could be seen in relation with other results of first order logic like proofs of completness. The main part of our dissertation is another version of this consistency proof for a formal system for Heyting Arithmetic.

[pt] A presente tese tem por objetivo investigar consistência de desempenho em fundos de ações no Brasil, durante o período ocorrido entre julho/1994 e junho/2001, buscando resposta para a seguinte pergunta: analisando as séries temporais de retornos de fundos de ações no Brasil, será possível determinar aqueles com maior probabilidade de virem a se tornar os de maiores retornos no futuro? Em outras palavras, será o desempenho de fundos de ações consistente ao longo de tempo, permitindo a construção de modelos com capacidade preditiva? A metodologia utilizada foi de caráter exclusivamente quantitativo, hipótese de preços traduzindo informações completas. Foram aplicados testes de consistência de desempenho do tipo Tabelas de Contingência 2X2 (sem ajuste para risco e com ajuste para risco, através de classificação por Alfa s de Jensen) e Portfolio Change Measure (PCM). Os testes PCM utilizam as ponderações das carteiras, sendo tal metodologia de aplicação inédita em fundos de ações no Brasil. Os resultados apresentam evidências de consistência de desempenho entre o primeiro e o período analisados. Tais evidências não se sustentam entre o segundo e o terceiro período. O padrão de consistência é mais forte no fundos de desempenho inferior. Foram aplicados testes para detectar e mensurar impactos de viés de sobrevivência e custos de transação nos retornos dos fundos. Os resultados, obtidos através de ponderação de carteiras e demonstrativos de fontes e aplicações de recursos dos fundos, não detectam viés de sobrevivência nem influência de custos de transações nos retornos dos fundos de ações analisados. O desempenho dos fundos de ações analisados deve ser considerado insatisfatório. / [en] The present dissertation intents to analyze the consistence of performance in stock funds in Brazil, from july/1994 to june/2001. We search the answer to the following question: through the analysis of times series of returns of stock funds in Brazil, is it possible to determine the most likely winners in the future? In other words: the performance of stock funds is consistent along time, allowing for the building of models with predictive power? The methodology applied was a quantitative approach, prices with complete information. I analyzed time series of financial returns of stock funds. The tests for consistence of performance were Contingency Tables 2X2 (with risk adjustment and without risk adjustment through alfa s of Jensen) and Portfolio Change Measure (PCM). The outcomes presents a pattern of consistency between the 1st and the 2nd periods analyzed. This standard is absent between the 2nd and the 3rd periods. The observed pattern of consistence is stronger for the worse performance. We applied tests to detect and measure the effects of survival bias and transaction costs in the returns of funds. The outcomes, obtained trough the analysis of the weighted portfolios and the statements of sources and uses of cash, are the absence of survival bias and effects of transactions costs in the returns of the stock funds analyzed. The performance of the stock funds analyzed must to be considered to be unsatisfactory.

En esta tesis se ha estudiado el equilibrio de fases en sistemas formados por agua, distintos alcoholes de cadena corta y diferentes sales inorgánicas tanto desde el punto de su determinación experimental como el de su modelización termodinámica. Los resultados obtenidos han sido publicados en 10 artículos en revistas de prestigio internacional en el campo de la termodinámica que son compendiados en el trabajo presentado. En una primera parte se ha determinado la LCST (low critical solution temperature) y se ha estudiado la influencia de las distintas variables en el valor obtenido sobre sistemas en los que los alcoholes seleccionados son los cinco de cadena corta miscibles totalmente con el agua: metanol, etanol, 1-propanol, 2-propanol y tert-butanol y en los que la presencia de sal podría hacer que formaran ATPS (Aqueous Two-Phase Systems). Las dieciséis sales elegidas fueron aquellas combinaciones de los cuatro aniones y cuatro cationes más usuales: Na+, K+, NH4+ y Ca2+ y Cl-, NO3-, SO42- y CO32-. En una segunda parte del trabajo se ha llevado a cabo la determinación experimental de los datos de equilibrio SL, LL, SLL, LV, SLV, LLV y SLLV de algunos de los sistemas anteriores a diferentes temperaturas, incluyendo la de ebullición. Para ello, se ha analizado y modificado el equipo y metodología disponible y, con los resultados obtenidos, se ha estudiado la forma de las distintas regiones de sus diagramas de equilibrio y estableciendo reglas de consistencia de los datos de equilibrios de estos sistemas. Finalmente, se ha estudiado la problemática de la aplicación de modelos termodinámicos para electrolitos, especialmente en relación a la correlación de datos de equilibrio y se han obtenido los parámetros de interacción entre los distintos compuestos estudiados, usando el modelo termodinámico UNIQUAC extendido para electrolitos. Este conjunto de parámetros representa el equilibrio LL, LV y SL con gran precisión siendo el modelo capaz de predecir los equilibrios SLLV, SLL, LLV, SLV y SV. / Estudios financiados por el Vicerrectorado de Investigación de la Universidad de Alicante (contrato predoctoral UAFPU2019-21 + estancia en el extranjero UAEEBB20-04) y por el Ministerio de Economía y Competitividad (MINECO CTQ2014-59496).

Esta tesis se enmarca en una de las líneas del grupo de investigación de la Universidad de Alicante "Ecuaciones Diferenciales con Retardo", actualmente integrado dentro del grupo "Modelización de Procesos en Biogeociencias y Ecuaciones Diferenciales con Retardo". En trabajos previos del grupo se habían obtenido esquemas numéricos exactos y, a partir de ellos, se habían propuesto esquemas en diferencias finitas no estándar para distintos tipos de ecuaciones diferenciales con retardo lineales. Inicialmente se consideraron ecuaciones escalares de tipo retardado de primer orden y los resultados fueron posteriormente extendidos al caso de sistemas acoplados del mismo tipo con coeficientes matriciales que conmutan y, de forma parcial, a sistemas con retardo lineales de primer orden generales, sin condiciones de conmutación en sus coeficientes. En esta tesis se avanza en la construcción de esquemas numéricos exactos y no estándar para ecuaciones y sistemas de ecuaciones diferenciales con retardo más generales, incluyendo ecuaciones de segundo orden y ecuaciones de tipo neutral, basándose en los resultados obtenidos previamente. En el Capítulo 1 se presenta una breve introducción general al tema objeto de la tesis y a los resultados previamente conocidos sobre la obtención de esquemas numéricos exactos y no estándar para problemas con retardo. En el Capítulo 2, basándose en la forma de los esquemas numéricos exactos obtenidos en trabajos anteriores para ecuaciones y sistemas con retardo, derivados a partir de expresiones explícitas para las soluciones exactas, se plantea la posibilidad de construir directamente nuevos esquemas sin el conocimiento previo de la solución exacta del problema. Este nuevo enfoque se aplica a la ecuación lineal general de primer orden de tipo neutral, obteniéndose por primera vez un esquema numérico exacto para este tipo de ecuaciones. En el Capítulo 3 se considera la extensión de los resultados del Capítulo 2 a ciertos tipos particulares de sistemas de tipo neutral, presentando algunos ejemplos de aplicación. En el Capítulo 4, basándose en los resultados previamente desarrollados para sistemas generales de ecuaciones con retardo de primer orden, se obtienen por primera vez esquemas exactos para ecuaciones con retardo de segundo orden. A partir de ellos se propone una familia de esquemas en diferencias finitas no estándar para estos problemas con orden de convergencia tan alto como sea preciso y manteniendo las propiedades dinámicas de estabilidad dependiente del retardo del sistema. En el capítulo final de Conclusiones se resumen los resultados principales de la tesis y se plantean posibles desarrollos para futuras investigaciones.

[pt] Neste trabalho, investigamos como garantir duas propriedades no desenvolvimento de aplicações multimídia distribuídas interativas: determinismo e consistência. Determinismo é uma propriedade individual dos nós em uma aplicação distribuída e refere-se à característica de um programa sempre produzir a mesma saída a partir de uma mesma entrada. Consistência é uma propriedade de todo o sistema e está relacionada a todos os nós terem sempre a mesma visão da ordem dos eventos. Avaliamos o uso da linguagem síncrona Céu no contexto de programação multimídia para garantir o determinismo. Em relação à consistência, avaliamos se a arquitetura GALS (Globally Asynchronous Local Synchronous) é capaz de prover consistência. Tradicionalmente, aplicações multimídia são desenvolvidas usando linguagens de domínio específico ou linguagens de propósito geral utilizando frameworks especializados. Nenhuma dessas duas abordagens promove o desenvolvimento de aplicações multimídia distribuídas interativas determinísticas e consistentes. Nossa investigação sobre o uso de linguagens síncronas no campo de multimídia levou ao desenvolvimento de Céu-Media, uma biblioteca multimídia determinística para a linguagem síncrona Céu, e Mars, um middleware GALS para aplicações multimídia distribuídas interativas. Os resultados desta tese indicam que, usando as garantias da linguagem síncrona Céu, é possível desenvolver aplicações multimídia determinísticas usando Céu-Media. Além disso, eles também indicam que o modelo de consistência implementado pelo middleware GALS Mars garante que todos os nós sempre concordem com a ordem dos eventos em uma apresentação distribuída. Nós validamos nossa proposta discutindo o desenvolvimento de aplicações multimídia distribuídas propostas pela comunidade de pesquisa usando Céu-Media e Mars, destacando as principais vantagens e também as desvantagens em usar nossa abordagem. / [en] In this, work we investigate how to guarantee two properties in the development of interactive distributed multimedia applications: determinism and consistency. Determinism is a property of individual nodes in a distributed application and states that a program always produces the same output when fed with the same input. Consistency is a property of the whole system and states that all nodes should have the same view of the order of events. We evaluate the use of the synchronous language Céu in the context of multimedia programming for guaranteeing the determinism property. Regarding consistency, we evaluate the GALS (Globally Asynchronous Locally Synchronous) architecture for enforcing consistency. Traditionally, multimedia applications are developed using either a domain specific language or a general purpose language supported by specialized frameworks. Neither of the two approaches promotes the development of deterministic and consistent interactive distributed multimedia applications. Our investigation of the use of synchronous languages in the multimedia field led to the development of Céu-Media, a deterministic multimedia library for the synchronous language Céu, and Mars, a GALS middleware for interactive distributed multimedia applications. The results of this thesis indicate that using the guarantees of the synchronous language Céu it is possible to develop deterministic multimedia applications using Céu-Media. Furthermore, they also indicate that the consistency model enforced by the GALS middleware Mars guarantees that all nodes always agree upon the order of events in a distributed presentation. We validate our proposal by discussing the development of real-world distributed multimedia applications proposed by the research community using both, Céu-Media and Mars, highlighting the main advantages and also the drawbacks of using our approach.

Influencias generadas por la nueva información y las tecnologías de comunicación - TIC han traído cambios considerables en todo el mundo, por lo que la sociedad actual en una sociedad red real. Estos avances tecnológicos han impactado más allá de todos los ámbitos de la vida, generan un movimiento constante y permanente de los flujos globales de información. Y como no podría ser de otra manera, el ámbito laboral fue también muy afectada con la llegada de estas nuevas tecnologías, generando, así como cambios en los conceptos clásicos de la legislación laboral, también dieron lugar a un nuevo régimen de trabajo denominado teletrabajo, que, brevemente, se distingue de un trabajo tradicional de la distancia debido al uso intensivo de las TIC. Sin embargo, el teletrabajo se enfrenta a Brasil en un problema difícil debido a la falta de legislación específica que regula. Este hecho en los últimos años se han convertido en el objeto de análisis de los casos los jueces laborales que implican conflictos relacionados con teletrabajo, cuestionamiento emergente que si tales decisiones han sido capaces de proteger los derechos de estos trabajadores a distancia con la integridad y la coherencia, siguiendo las normas principiológicas de esta rama Ley especializado, o hacer frente a las decisiones subjetivas sin ningún criterio de decidibilidad. En respuesta a esto se buscó dar a conocer una teoría de decidibilidad aplicable al régimen de trabajo a distancia se basa en las aportaciones teóricas de la teoría de Ronald Dworkin. Para ello, se utilizó el método de enfoque fenomenológico-hermenéutico. El método del procedimiento utilizado fue histórica y monográfica, combinado con técnicas de investigación bibliográfica en libros, revistas y tesis y el estudio de la jurisprudencia, con el marco teórico de las obras de jusfilósofo estadounidense Ronald Dworkin. Por lo tanto, de manera concluyente, una teoría decidibilidad aplicable a los contratos de teletrabajo debe basarse en la ley como la integridad, y debe respetar una coherencia con los principios constitucionales que encarnan la comunidad en la que aparece, representada por los principios de equidad, justicia y debido proceso fresco, y, específicamente, en cosecha mano de obra especializada, la interpretación debe darse a la luz de la preservación y la realización de la dignidad humana. Pronto, buscando una mayor proximidad a la realidad tribunal laboral brasileña fue promovido una investigación bajo la perspectiva hermenéutica constitucional de las decisiones tomadas por el portal de búsqueda de jurisprudencia disponible en el sitio de la Corte Superior de Trabajo, después de haber llegado a la conclusión de que a partir de la teoría de la Ronald Dworkin tales decisiones pueden ser asignados en su conjunto y coherente con respecto al resultado (dispositivo) obtenido por ellos, sin embargo, con respecto a sus fundamentos, sólo dos de los jueces del juicio se aprovecharon de un argumento siguiendo estrictamente la coherencia de las normas y la integridad, haciendo uso tanto del sistema principiológico formada por las decisiones predecesores, como el respeto a los principios constitucionales. Por lo tanto, la esencialidad de las razones de las decisiones de acuerdo con la integridad y la coherencia de criterios con respecto al sistema de principios de la comunidad y las disposiciones constitucionales, parece indispensable, así como asegurar que la decisión es el más adecuado para el caso, lo que contribuye para la velocidad y la eficacia procesal, prevenir futuros jueces decidirán en desacuerdo con la cadena de principio de las decisiones del pasado, evitando así que el decisionismo arbitrario y antidemocrático. / As influências geradas pelas novas tecnologias de informação e comunicação – TICs trouxeram consideráveis mudanças em todo o globo, tornando a sociedade contemporânea numa verdadeira sociedade em rede. Esses avanços tecnológicos além de impactarem todas as esferas sociais, geraram um constante e permanente movimento de fluxos informacionais globais. E, como não poderia ser diferente, a esfera trabalhista também foi fortemente impactada com o advento destas novas tecnologias, gerando além de transformações em conceitos clássico do Direito do Trabalho, também fez emergir um novo regime laboral denominado de Teletrabalho, o qual, sumariamente, se distingue de um trabalho à distância tradicional em razão do uso intensivo das TICs. Contudo, o Teletrabalho enfrenta no Brasil uma difícil problemática em razão da ausência de uma legislação específica que o regulamente. Nesta feita, nos últimos anos passaram a ser objeto de análise dos julgadores trabalhistas casos envolvendo conflitos ligados ao regime de Teletrabalho, emergindo o questionamento de que se tais decisões têm conseguido proteger os direitos desses teletrabalhadores com integridade e coerência, seguindo os padrões principiológicos deste ramo especializado do Direito, ou se tratam de decisões subjetivas, sem qualquer critério de decidibilidade. Em resposta a isto se buscou desvelar uma teoria da decidibilidade aplicável ao regime de Teletrabalho, tendo como fundamento os aportes teóricos da teoria de Ronald Dworkin. Para tanto, foi utilizado o método de abordagem fenomenológico-hermenêutico. O método de procedimento empregado foi o histórico e monográfico, aliado às técnicas de pesquisa bibliográfica em livros, periódicos e teses e o estudo jurisprudencial, tendo como marco teórico as obras do jusfilósofo norte-americano Ronald Dworkin. Deste modo, conclusivamente, uma teoria da decidibilidade aplicável ao regime de Teletrabalho deve ter como fundamento o Direito como integridade, devendo respeitar uma coerência com os princípios constitucionais que personificam a comunidade em que está inserido, representados pelos princípios da equidade, justiça e devido processo legal, e, especificamente na seara especializada trabalhista, a interpretação deve se dar à luz da preservação e efetivação da dignidade da pessoa humana. Logo, buscando uma proximidade maior com a realidade judicial trabalhista brasileira, se promoveu uma investigação sob a perspectiva hermenêutico constitucional das decisões obtidas junto ao portal de busca de jurisprudências disponível no site do Tribunal Superior do Trabalho, tendo-se concluído que, a partir da teoria de Ronald Dworkin, tais decisões podem ser conferidas como íntegras e coerentes no que tange ao resultado (dispositivo) obtido por elas, porém, no que tange às suas fundamentações, apenas em dois dos julgados os julgadores se valeram de uma argumentação seguindo estritamente os padrões de coerência e integridade, lançando mão tanto do sistema principiológico formado pelas decisões antecessoras, como o respeito aos preceitos constitucionais. Assim, a essencialidade da fundamentação das decisões conforme os critérios de integridade e coerência, com respeito ao sistema de princípios da comunidade e aos preceitos constitucionais, mostra-se indispensável, pois além de garantir que a decisão seja a mais adequada ao caso concreto, contribuindo para a celeridade e eficiência processual, impedem que juízes futuros venham a decidir em desacordo com a cadeia principiológica das decisões passadas, impedindo, assim, o decisionismo arbitrário e antidemocrático.