777 resultados para Razonamiento basado en casos


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Resumen basado en el de la publicaci??n

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Resumen basado en el de la publicaci??n

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Resumen basado en la publicaci??n

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Resumen basado en el de la publicaci??n

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Resumen basado en el de la publicaci??n

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Resumen basado en el de la publicaci??n

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Incluye Bibliografía

Relevância:

100.00% 100.00%

Publicador:

Resumo:

La prospectiva, es un conjunto de análisis con el fin de explorar o predecir el futuro; “se puede concebir como una realización múltiple” (Jouvenel, 1968) y “depende de la acción del hombre” (Godet, 2004); por esa razón, el hombre puede construir el futuro mejor, para lo cual debe tomar las decisiones correctas en el momento apropiado. En ordenamiento territorial, la prospectiva, constituye una fase intermedia, entre el diagnóstico y la propuesta, y se refiere a la predicción del futuro, mediante dos vías: la proyección de la tendencia y la construcción de escenarios o imágenes futuras; se denomina escenario, a la descripción de una situación territorial futura y el encadenamiento coherente de sucesos que, partiendo de la situación actual, llega a la futura (Gómez Orea, 2008); pueden identificarse múltiples escenarios por la combinación de variables; no obstante, esta tesis se centra en el diseño de tres: el tendencial, el óptimo por analogías con otros territorios a los que se desee aspirar, y uno intermedio entre los anteriores, que parte del consenso de la mayoría de voluntades políticas y ciudadanas. Existen escasas experiencias metodológicas, y en especial, aplicables a los planes de ordenamiento territorial de Centroamérica. En la mayoría de casos estudiados, se identifica la participación como herramienta básica en el diseño de los escenarios; un modelo exclusivamente técnico está abocado al fracaso. En la tesis se diseña una metodología para elaborar la fase de prospectiva en los planes de ordenamiento territorial de Centroamérica; se entiende como un metamodelo, es decir, un "modelo general formado por submodelos específicos"; además del modelo general, se diseñan los submodelos: demográfico, ambiental, poblamiento y económico; para la elaboración de los mismos se usan herramientas; algunas han sido definidas por investigadores y otras se diseñan en este trabajo. Se establece un orden de prelación para el desarrollo de los submodelos; no se recomienda la alteración del mismo, pues el resultado será distinto y erróneo. Se inicia con el submodelo demográfico; se analizan cuatro variables: población total, población distribuida en municipios, población urbana y rural, y población por edades y sexos. Se propone que el cálculo de la población total se determine por métodos clásicos, tasas de crecimiento o cohortes. Posteriormente se realiza la distribución en municipios, urbana‐rural y en los asentamientos; en el escenario tendencial se proyecta por cohortes o tasas de crecimiento, y en el óptimo e intermedio, se considera un análisis de los limitantes al desarrollo urbano, priorizando la distribución de unos municipios y núcleos con respecto a otros. Con la proyección demográfica se desarrolla el submodelo ambiental; se consideran las variables: usos del suelo, unidades ambientales con los usos del suelo predominantes, áreas naturales protegidas, y áreas de amenazas naturales; estas últimas son sumamente importantes en el territorio centroamericano, dada la vulnerabilidad existente; para la proyección de los usos del suelo predominantes se diseña una herramienta donde se establecen los usos del suelo según unidades ambientales en diferentes escenarios, aplicando imágenes multitemporales y la capacidad de acogida del territorio. Una vez definidos los anteriores, se proyecta el submodelo de poblamiento; se proponen: el tamaño, la clasificación, la superficie, la diferenciación y agrupación de los asentamientos; se define el sistema de asentamientos a partir de las variables demográficas y ambientales; para ello se aplica un análisis multivariable‐multicriterio donde se establece la jerarquía de los núcleos de población, y posteriormente se establece la superficie que ocuparan y su forma. A continuación, se propone la prospectiva del submodelo económico, en cuanto a las variables: población económicamente activa (PEA), producción, empleo, desglose por sectores económicos, y la zonificación de suelos de desarrollo económico; luego se añade la prospectiva del submodelo de infraestructuras. Finalmente, se procede a la representación cartográfica, mediante el uso de herramientas SIG (Sistemas de Información Geográfica); para la representación de los escenarios se diseñan mapas, que sean fácilmente comprensibles por los líderes políticos, actores socioeconómicos y por la ciudadanía ("clientes" finales del plan). La metodología de investigación se ha basado en ciclos repetitivos de observación de la realidad en trabajos profesionales, elaboración del modelo y submodelos y verificación posterior mediante su aplicación a casos reales. En consecuencia los submodelos anteriores se han ido desarrollando y verificando en la elaboración de numerosos planes en Centroamérica, de los cuales en la tesis se exponen los dos más expresivos: El Plan de Desarrollo Territorial de la Región de San Miguel, en El Salvador y El Plan de Ordenamiento Territorial de la Región del Valle del Lean, Honduras. El modelo no es aplicable íntegramente a otros territorios; se ha diseñado considerando las características centroamericanas: fuerte crecimiento poblacional, tenencia de la tierra, crecimiento lineal en las principales carreteras, cultivos de autoconsumo (granos básicos) en laderas y montañas, vulnerabilidad ante las amenazas naturales, bajo nivel de tecnificación, entre otras. El modelo posibilita realizar análisis de sensibilidad y el diseño de múltiples escenarios por combinación de variables, dado que se plantean ecuaciones y algoritmos que usan diferentes hipótesis; las limitantes son el tiempo y la disponibilidad de recursos, algo escaso en la redacción de los planes de ordenamiento territorial. Finalmente, la tesis constituye una aportación a los planificadores; espero que ello contribuya a profundizar en este interesante campo de actividad.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Las pruebas de software (Testing) son en la actualidad la técnica más utilizada para la validación y la evaluación de la calidad de un programa. El testing está integrado en todas las metodologías prácticas de desarrollo de software y juega un papel crucial en el éxito de cualquier proyecto de software. Desde las unidades de código más pequeñas a los componentes más complejos, su integración en un sistema de software y su despliegue a producción, todas las piezas de un producto de software deben ser probadas a fondo antes de que el producto de software pueda ser liberado a un entorno de producción. La mayor limitación del testing de software es que continúa siendo un conjunto de tareas manuales, representando una buena parte del coste total de desarrollo. En este escenario, la automatización resulta fundamental para aliviar estos altos costes. La generación automática de casos de pruebas (TCG, del inglés test case generation) es el proceso de generar automáticamente casos de prueba que logren un alto recubrimiento del programa. Entre la gran variedad de enfoques hacia la TCG, esta tesis se centra en un enfoque estructural de caja blanca, y más concretamente en una de las técnicas más utilizadas actualmente, la ejecución simbólica. En ejecución simbólica, el programa bajo pruebas es ejecutado con expresiones simbólicas como argumentos de entrada en lugar de valores concretos. Esta tesis se basa en un marco general para la generación automática de casos de prueba dirigido a programas imperativos orientados a objetos (Java, por ejemplo) y basado en programación lógica con restricciones (CLP, del inglés constraint logic programming). En este marco general, el programa imperativo bajo pruebas es primeramente traducido a un programa CLP equivalente, y luego dicho programa CLP es ejecutado simbólicamente utilizando los mecanismos de evaluación estándar de CLP, extendidos con operaciones especiales para el tratamiento de estructuras de datos dinámicas. Mejorar la escalabilidad y la eficiencia de la ejecución simbólica constituye un reto muy importante. Es bien sabido que la ejecución simbólica resulta impracticable debido al gran número de caminos de ejecución que deben ser explorados y a tamaño de las restricciones que se deben manipular. Además, la generación de casos de prueba mediante ejecución simbólica tiende a producir un número innecesariamente grande de casos de prueba cuando es aplicada a programas de tamaño medio o grande. Las contribuciones de esta tesis pueden ser resumidas como sigue. (1) Se desarrolla un enfoque composicional basado en CLP para la generación de casos de prueba, el cual busca aliviar el problema de la explosión de caminos interprocedimiento analizando de forma separada cada componente (p.ej. método) del programa bajo pruebas, almacenando los resultados y reutilizándolos incrementalmente hasta obtener resultados para el programa completo. También se ha desarrollado un enfoque composicional basado en especialización de programas (evaluación parcial) para la herramienta de ejecución simbólica Symbolic PathFinder (SPF). (2) Se propone una metodología para usar información del consumo de recursos del programa bajo pruebas para guiar la ejecución simbólica hacia aquellas partes del programa que satisfacen una determinada política de recursos, evitando la exploración de aquellas partes del programa que violan dicha política. (3) Se propone una metodología genérica para guiar la ejecución simbólica hacia las partes más interesantes del programa, la cual utiliza abstracciones como generadores de trazas para guiar la ejecución de acuerdo a criterios de selección estructurales. (4) Se propone un nuevo resolutor de restricciones, el cual maneja eficientemente restricciones sobre el uso de la memoria dinámica global (heap) durante ejecución simbólica, el cual mejora considerablemente el rendimiento de la técnica estándar utilizada para este propósito, la \lazy initialization". (5) Todas las técnicas propuestas han sido implementadas en el sistema PET (el enfoque composicional ha sido también implementado en la herramienta SPF). Mediante evaluación experimental se ha confirmado que todas ellas mejoran considerablemente la escalabilidad y eficiencia de la ejecución simbólica y la generación de casos de prueba. ABSTRACT Testing is nowadays the most used technique to validate software and assess its quality. It is integrated into all practical software development methodologies and plays a crucial role towards the success of any software project. From the smallest units of code to the most complex components and their integration into a software system and later deployment; all pieces of a software product must be tested thoroughly before a software product can be released. The main limitation of software testing is that it remains a mostly manual task, representing a large fraction of the total development cost. In this scenario, test automation is paramount to alleviate such high costs. Test case generation (TCG) is the process of automatically generating test inputs that achieve high coverage of the system under test. Among a wide variety of approaches to TCG, this thesis focuses on structural (white-box) TCG, where one of the most successful enabling techniques is symbolic execution. In symbolic execution, the program under test is executed with its input arguments being symbolic expressions rather than concrete values. This thesis relies on a previously developed constraint-based TCG framework for imperative object-oriented programs (e.g., Java), in which the imperative program under test is first translated into an equivalent constraint logic program, and then such translated program is symbolically executed by relying on standard evaluation mechanisms of Constraint Logic Programming (CLP), extended with special treatment for dynamically allocated data structures. Improving the scalability and efficiency of symbolic execution constitutes a major challenge. It is well known that symbolic execution quickly becomes impractical due to the large number of paths that must be explored and the size of the constraints that must be handled. Moreover, symbolic execution-based TCG tends to produce an unnecessarily large number of test cases when applied to medium or large programs. The contributions of this dissertation can be summarized as follows. (1) A compositional approach to CLP-based TCG is developed which overcomes the inter-procedural path explosion by separately analyzing each component (method) in a program under test, stowing the results as method summaries and incrementally reusing them to obtain whole-program results. A similar compositional strategy that relies on program specialization is also developed for the state-of-the-art symbolic execution tool Symbolic PathFinder (SPF). (2) Resource-driven TCG is proposed as a methodology to use resource consumption information to drive symbolic execution towards those parts of the program under test that comply with a user-provided resource policy, avoiding the exploration of those parts of the program that violate such policy. (3) A generic methodology to guide symbolic execution towards the most interesting parts of a program is proposed, which uses abstractions as oracles to steer symbolic execution through those parts of the program under test that interest the programmer/tester most. (4) A new heap-constraint solver is proposed, which efficiently handles heap-related constraints and aliasing of references during symbolic execution and greatly outperforms the state-of-the-art standard technique known as lazy initialization. (5) All techniques above have been implemented in the PET system (and some of them in the SPF tool). Experimental evaluation has confirmed that they considerably help towards a more scalable and efficient symbolic execution and TCG.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

La globalización, en las últimas décadas, ha tenido una amplia repercusión e influencia sobre la evolución de los procesos que intervienen en la gestión y la ordenación urbano-territorial. Esta influencia ha sido especialmente destacable en los procesos de conformación de las Ciudades Globales (CG). No obstante, dentro de los procesos actuales, y de los ya iniciados décadas atrás, se encuentran discordancias tanto con respecto a los modelos de gestión urbanoterritoriales como con relación a los procesos de conformación de las CG. Esto es debido a que cada territorio o CG no ha seguido un proceso homogéneo; sino que, a través del modelo empresarial de la “Planificación Estratégica” (PE) cada proceso ha sido adaptado para poder atender y potenciar las características más singulares de cada territorio, y de esta forma, poder alcanzar las ambiciosas posiciones de liderazgo. Por este motivo, el éxito de la PE se ha basado en simplificar la complejidad de los modelos y agentes que participan en los procesos de conformación de los territorios y ciudades globales. En esta investigación se propone analizar el valor de la PE como proceso de gestión y ordenación urbano-territorial; al igual que se pretende esclarecer tanto los modelos como los elementos de los que se compone. Para, poder así, identificar las relaciones que se producen entre los modelos y elementos principales de los que se compone una PE. Por motivos relacionados con la necesaria acotación de toda investigación, y mediante el apoyo de tanto el tutor de esta investigación como de expertos externos consultados, se ha acordado analizar los aspectos más característicos del proceso estratégico, como son: los territoriales, los económicos y los de gobernanza. Esta investigación se ha llevado a cabo a través del uso del método estudio de casos, mediante un proceso de recogida de información compuesto por dos estudios de campo, Singapur y Dubái, con similitudes tanto en el proceso como en los resultados. También se han realizado consultas a expertos multidisciplinares, cuya información y aportaciones se han articulado y procesado mediante la utilización del sistema de análisis de realidades complejas, presentado en el marco conceptual. Los resultados del estudio de los casos de Singapur y de Dubái muestran como las acciones urbano-territoriales que se han llevado a cabo en ambas ciudades y en sus territorios circundantes son consecuencia del uso de la planificación estratégica en beneficio de un mejor posicionamiento dentro del contexto global. De esta forma, mediante el análisis de las asimetrías y de las relaciones existentes entre el proceso, los casos de estudio y el contexto global, se identifica y se esclarece los términos relacionados con las ciudades globales referentes, consolidadas y emergentes. A su vez, a lo largo del marco conceptual se correlaciona y esclarece los procesos territoriales, económicos y de gobernanza, identificando las responsabilidades entre las instituciones, los organismos, los agentes y los actores (tanto públicos como privados) que inician y gestionan tanto el plan estratégico como los procesos derivados de él. Para finalizar, el análisis cruzado de los resultados demuestra la relación existente entre la planificación estratégica, la ordenación urbano-territorial, la gestión económica y la gobernanza. Pudiéndose identifican las asimetrías producidas durante la implantación de un plan estratégico, de forma que, tras un análisis del sistema de realidades complejas, estas asimetrías puedan ser solventadas. RESUMO Nas últimas décadas, a globalização tem tido um grande impacto sobre a evolução dos processos de gestão e planejamento urbano-territorial. Essa influência foi particularmente notável nos processos de formação das cidades globais (CG). No entanto, comparando os processos atuais e aqueles iniciados há décadas, as discrepâncias são encontradas tanto no que diz respeito aos modelos de uso do solo urbano, como em relação aos processos de formação e gestão das CG. Isso ocorre porque cada território ou CG não tem seguido um processo uniforme; mas, por meio do modelo de negócios de "Planejamento Estratégico" (PE) cada processo foi adaptado para servir e melhorar as características mais singulares de cada território para alcançar posições de liderança global. Portanto, o sucesso do PE é baseado na simplificação da complexidade dos modelos e atores envolvidos nos processos de formação dos territórios e das cidades globais. Esta pesquisa tem como objetivo analisar o valor do PE como um processo de gestão territorial e urbana; como também esclarecer os modelos e elementos do PE estudados. Para, então, poder identificar as relações que ocorrem entre os modelos e os principais elementos integrantes de um PE. Como recorte de pesquisa, após consultas com o tutor da pesquisa e com outros pesquisadores especialistas, decidiu-se analisar os aspectos mais característicos do processo estratégico, sendo eles: os territoriais, os econômicos e os de governabilidade. Esta pesquisa ’e um estudo de casos. Para realizá-lo, foram escolhidos dois estudos de campo (Dubai e Cingapura) e além de consultas com especialistas multidisciplinares, cujas informações e colaborações foram analisadas por um sistema de analise de realidades complexas, explicado na parte conceitual dessa tese. Os resultados do estudo dos casos de Dubai e Cingapura mostra como as ações urbanoterritoriais que foram realizadas em ambas cidades e em seus territórios circundantes são resultado do uso do planejamento estratégico em prol de uma melhor localização no contexto global. Assim, através da análise das assimetrias e da relação entre o processo, os estudos de caso e o contexto global, identifica-se e esclarece os termos relacionados com as cidades globais referentes, consolidadas e emergentes. Também, no arcabouço conceitual correlacionase e esclarecem-se os processos econômicos, territoriais e de governabilidade, identificando as responsabilidades das instituições, agências, agentes e atores (públicos e privados), que iniciam e gerenciam tanto o plano estratégico, como os processos derivados. A análise cruzada dos resultados demonstra a relação entre o planejamento estratégico, o planejamento urbano-territorial, a gestão econômica e a governabilidade. A pesquisa é capaz de identificar as assimetrias produzidas durante a implementação de um plano estratégico, para que depois da análise do sistema de realidades complexas, essas assimetrias possam ser resolvidas. ABSTRACT Globalization, in recent decades, has had a wide impact and influence on the evolution of the processes involved in the urban planning management. This influence has been particularly notable in the formation processes for the Global Cities (GC). However, within the current processes, even in those started decades ago, discrepancies are found between the urbanterritorial models and their relation to the processes of formation for the CG. This is because each territory, or CG, has not followed a uniform process; although, each process has been adapted through the business model of the "Strategic Planning" (SP) to serve and enhance the most unique characteristics of each urban territory, until reaching the ambitious global leadership positions. Therefore, the success of SP is based on simplifying the complexity of the models and actors involved in the processes of formation of the GCs and territories. This research aims to analyze the value of SP as a process for the urban and territorial management; intended to clarify both models and elements of which it is composed. And, for so, identify the relationships that occur between them. For reasons related to the required limits of all research, and through the support of this research by both the tutor and the consulted outside experts, has agreed to analyze the most characteristic aspects of the strategic process, which are: territory, economy and governance. This research was conducted through the use of the case study methodology; by a process of information collection of two field studies, Singapore and Dubai, with similarities in both the process and the results; and through consultation with a variety of multidisciplinary experts. Whose information and input has been articulated and processed by the use of a system prepared for the complex analysis of realities presented in the research’s conceptual framework. Thus, analyzing the asymmetries and relationship between the results of the study cases of Singapore and Dubai, have shown how the urban-territorial actions, which have been carried out in both cities and in their surrounding territories, are the result of the use of the strategic planning process for the benefit of a better position with respect to the global context. Meanwhile, along the conceptual framework correlates and clarifies the territorial, economic and governance processes, identifying responsibilities between the institutions, agencies, agents and actors (public and private) that initiate and manage both strategic planning and processes derived from it. Finally, the cross-analysis of the results shows the relationship between strategic planning, urban and territorial planning, economic management and governance. Being able to identify and eliminate the asymmetries produced during the implementation of a strategic planning for the formation of a Global City.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

En este librito mostramos una colección de problemas diseñados de forma colaborativa entre profesores de Farmacología de tres universidades de España y Latinoamérica durante el curso 2013-14. Son casos ideados para ser utilizados como material docente en el contexto del aprendizaje Basado en Problemas. Se trata de 11 problemas, ordenados por orden de dificultad creciente con el propósito de que sean de utilidad para los docentes en diferentes niveles de la educación universitaria, desde los cursos más elementales hasta el doctorado. En esta primera versión hemos querido que todos los problemas versen sobre alteraciones del comportamiento o trastornos de la voluntad inducidos por fármacos. En todos ellos se ha tratado de definir al paciente no solo como un sujeto clínico, sino como una persona con todos los elementos psicológicos y sociales que caracterizan a cada individuo para que los problemas se puedan abordar desde un enfoque multidisciplinar. Todos los casos que aquí se muestran han sido utilizados en el aula, con estudiantes, como elemento docente en clases reales. En algunos casos, la experiencia ha obligado a modificar el primer borrador del problema añadiendo o eliminando pistas o elementos de confusión para adecuarlo las necesidades y la forma de entender la realidad que tienen los estudiantes. Confiamos en poder sacar más versiones en cursos sucesivos, aunando los esfuerzos de más profesores y de más universidades. Cuantos más profesores y cuantas más universidades nos sumemos a este proyecto, mayores serán las sinergias y el beneficio colectivo.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Esta tesis doctoral se inicia con el Examen de Suficiencia Investigadora, para obtener el Diploma de Estudios Avanzados (DEA), defendido ante tribunal en el año 2011. Desde un principio se comprende que, el dosier del artista en Bellas Artes, sin distinguir el lenguaje de expresión o líneas de investigación del posible autor, está potencialmente vinculado a la actividad artística profesional, en diversos territorios artísticos. Permite enseñar a otros una realidad que no es fácil de demostrar en diferentes contextos y, desarrollado y presentado adecuadamente puede generar positivas relaciones profesionales. Es altamente significativo, para quienes lo elaboran y emplean como medio de comunicación con otros agentes, pero también para quienes lo demandan en el mercado del Arte. Como es el caso de las galerías y los concursos de arte, que actualmente rigen en gran medida su uso y parte de la actividad artística joven profesional. Desde el inicio de la investigación, se encontró información sobre documentos con características similares al dosier del artista, que muestran procesos y trabajos finalizados, pero en áreas profesionales aisladas a las Bellas Artes. Se comprendió que, dichas herramientas no suplían las necesidades en su totalidad con las particularidades del recurso artístico, considerando las diferencias entre los contextos de trabajo correspondientes y las propias características de los documentos. Sólo se localizó un documento que hablaba sobre el dosier del artista, realizado por Gayoso et al. (2007). En éste, el mayor propósito es promover al dosier como un Suplemento al Título Europeo, para el sistema europass. Basado en experiencias de docentes que participan ahí como coautores, y en teorías sobre herramientas académicas de condiciones similares al dosier. Ya que no hallamos gran contenido que contribuya teórica y específicamente al planteamiento de unas pautas generales para la construcción y el uso de un dosier de artista, aquel documento pasa a ser uno de los fundamentos que estructuran y dan vida a esta tesis doctoral. Aunque no se realiza ahí un énfasis sobre el desarrollo y uso del dosier, ello se convierte en la principal finalidad de los sucesivos estudios y análisis para la investigación: encontrar información real y más precisa sobre las características del dosier, su creación y uso...

Relevância:

100.00% 100.00%

Publicador:

Resumo:

El presente artículo académico busca analizar las prácticas culturales y métodos de resistencia noviolenta utilizados por las Comisiones por la Vida del Agua (CVA) de Valparaíso y la Asociación RED UNÍOS de San Vicente del Caguán, para preservar el territorio ante las políticas petroleras presentes en el Departamento del Caquetá, entre los años 2010 y 2016. A lo largo de la investigación se pretende dar cuenta de cómo dichas acciones, relacionadas en la tipificación de Gene Sharp como resistencias noviolentas, han construido una conciencia de preservación en algunas comunidades del departamento a través de los ejercicios de protesta, persuasión, intervención y no-cooperación. Para lograr dicho objetivo, se realizó un análisis de documentos de la prensa oficial del departamento del Caquetá, de las redes sociales de las dos organizaciones mencionadas y un trabajo de campo basado en entrevistas semiestructuradas a los colaboradores de las mismas.