819 resultados para Probabilistic planning
Resumo:
Due to water scarcity, it is important to organize and regulate water resources utilization to satisfy the conflicting water demands and needs. This paper aims to describe a comprehensive methodology for managing the water sector of a defined urbanized region, using the robust capabilities of a Geographic Information System (GIS). The proposed methodology is based on finding alternatives to cover the gap between recent supplies and future demands. Nablus which is a main governorate located in the north of West Bank, Palestine, was selected as case study because this area is classified as arid to semi-arid area. In fact, GIS integrates hardware, software, and data for capturing, managing, analyzing, and displaying all forms of geographic information. The resulted plan of Nablus represents an example of the proposed methodology implementation and a valid framework for the elaboration of a water master plan.
Resumo:
Dissertação de mestrado em Engenharia Industrial
Resumo:
A novel framework for probabilistic-based structural assessment of existing structures, which combines model identification and reliability assessment procedures, considering in an objective way different sources of uncertainty, is presented in this paper. A short description of structural assessment applications, provided in literature, is initially given. Then, the developed model identification procedure, supported in a robust optimization algorithm, is presented. Special attention is given to both experimental and numerical errors, to be considered in this algorithm convergence criterion. An updated numerical model is obtained from this process. The reliability assessment procedure, which considers a probabilistic model for the structure in analysis, is then introduced, incorporating the results of the model identification procedure. The developed model is then updated, as new data is acquired, through a Bayesian inference algorithm, explicitly addressing statistical uncertainty. Finally, the developed framework is validated with a set of reinforced concrete beams, which were loaded up to failure in laboratory.
Resumo:
Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)
Resumo:
In recent decades, an increased interest has been evidenced in the research on multi-scale hierarchical modelling in the field of mechanics, and also in the field of wood products and timber engineering. One of the main motivations for hierar-chical modelling is to understand how properties, composition and structure at lower scale levels may influence and be used to predict the material properties on a macroscopic and structural engineering scale. This chapter presents the applicability of statistic and probabilistic methods, such as the Maximum Likelihood method and Bayesian methods, in the representation of timber’s mechanical properties and its inference accounting to prior information obtained in different importance scales. These methods allow to analyse distinct timber’s reference properties, such as density, bending stiffness and strength, and hierarchically consider information obtained through different non, semi or destructive tests. The basis and fundaments of the methods are described and also recommendations and limitations are discussed. The methods may be used in several contexts, however require an expert’s knowledge to assess the correct statistic fitting and define the correlation arrangement between properties.
Resumo:
La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.
Resumo:
Durante el período 2006-2008, las actividades de investigación y asistencia técnica de este equipo enfatizaron en la necesaria práctica social y política de horizontalidad en las relaciones, en la 'dimensión intersubjetiva o relacional de la regionalización' (Cáceres, 2006) en el marco de la Comunidad Regional Punilla (CRP), considerando a la identidad regional como un condicionante relevante de la 'construcción de la región como unidad de acción(Boisier, 2003). Así, durante ese período, se ha ido conformando un espacio 'regional' de composición multiactoral, social y gubernamental, para el trabajo asociativo (PROFIM, SIP, UCC 2007, 2008). Con el propósito de profundizar el Programa, este proyecto propone el fortalecimiento institucional de la CRP a través de la formalización del escenario participativo regional (Poggiese, 2001, 2002) para el diseño y gestión asociada de políticas de desarrollo. Tales propósitos y mecanismos están previstos en la Ley Orgánica de Regionalización de la Provincia de Córdoba (9.206/04) y en las normativas regionales derivadas de ésta a través de la figura del 'Consejo de la Sociedad Civil'. Con base en la observación del proceso desarrollado en Punilla desde el año 2006, esta propuesta suscribe el carácter interdisciplinario e intersectorial de la red social y política en la que se sustentará el Consejo y la lógica 'procesal y consensual' de su construcción, considerando, además, la nueva configuración del mapa político de la CRP a partir de los resultados electorales del año 2008 en tanto cambios estructurales en la relación gobierno y oposición que se presentan como una oportunidad para desarrollar los espacios públicos participativos que la sociedad regional puede ocupar para canalizar institucionalmente sus demandas. El proyecto busca 'analizar' pero también 'promover' el proceso de cambio político y social en marcha para facilitar su 'ampliación democrática' (Redín y Moroni, 2003), reflexionado críticamente y poniendo en cuestión algunos de los supuestos que han caracterizado a la retórica de la regionalización provincial: la existencia de una sociedad civil debidamente organizada en cada una de las regiones, cuya concurrencia al proceso decisorio puede asegurarse una vez 'abiertos' -formalizados- los canales de participación; la superación de la dirección bottom up en los procesos de toma de decisiones y la preeminencia de modalidades de 'articulación intermunicipal' para la gestión de políticas allí donde la Ley y las ordenanzas locales declaran establecida una 'Comunidad Regional'. El cuestionamiento de dichos supuestos sustenta, en definitiva, las preguntas que delimitan los temas- problema que se abordarán a partir de este trabajo.
Resumo:
Sustainable Development requires appropriate and continuous planning and management of economic, socio cultural and environmental resources. Tourism planning calls for continuous collaboration among tourism agencies, local authorities and local communities for success of the industry. While evidence suggests that tourism planning has been extensively documented, it is apparent that Donegal and Sligo County Councils have, in some cases failed to adequately address the significance of planning of the tourism industry for the North West of Ireland. This was investigated through interviews with chief planners of Donegal and Sligo county councils and was conducted in conjunction with the analysis of county development plans; which were formulated by both organisations involved in this study. Evidence suggests that although tourism is extensively documented by Donegal and Sligo county councils, neither of the two local authorities have developed implementation strategies to facilitate the promotion of sustainable tourism development. This research compares and analyses Donegal and Sligo county councils and how they plan for sustainable tourism development. It outlines the role of the county councils in relation to tourism planning and how Donegal and Sligo compare in how they plan for such a significant industry in the North West o f Ireland. It highlights the importance of implementation tools and methods and offers future directions that can assist in the development of sustainable tourism.
Resumo:
This research looked at the scientific evidence available on climate change and in particular, projections on sea level rise which ranged from 0.5m to 2m by the end of the century. These projections were then considered in an Irish context. A review of current policy in Ireland revealed that there was no dedicated Government policy on climate change or coastal zone management. In terms of spatial planning policy, it became apparent that there was little or no guidance on climate change either at a national, regional or local level. Therefore, to determine the likely impacts of sea level rise in Ireland based on current spatial planning practice and policy, a scenario-building exercise was carried out for two case study areas in Galway Bay. The two case study areas were: Oranmore, a densely populated town located to the east of Inner Galway Bay; and Tawin Island, a rural dispersed community, located to the south east of Inner Galway Bay. A ‘best’ and ‘worse’ case scenario was envisaged for both areas in terms of sea level rise. In the absence of specific climate change policies it was projected that in the ‘best’ case scenario of 0.5m sea level rise, Tawin Island would suffer serious and adverse impacts while Oranmore was likely to experience slight to moderate impacts. However, in the ‘worse’ case scenario of a 2m sea level rise, it was likely that Tawin Island would be abandoned while many houses, businesses and infrastructure built within the floodplain of Oranmore Bay would be inundated and permanently flooded. In this regard, it was the author’s opinion that a strategic and integrated climate change policy and adaptation plan is vital for the island of Ireland that recognises the importance of integrated land use and spatial planning in terms of mitigation and adaptation to climate change.
Resumo:
Article providing a broad historical overview of the role and typology of Olympic villages along the history of the Modern Olympic Games. This article was published in the book entitled ‘Olympic Villages: a hundred years of urban planning and shared experiences’ compiling the papers given at the 1997 International Symposium on International Chair in Olympism (IOC-UAB).
Resumo:
Precise focusing is essential for transcranial MRI-guided focused ultrasound (TcMRgFUS) to minimize collateral damage to non-diseased tissues and to achieve temperatures capable of inducing coagulative necrosis at acceptable power deposition levels. CT is usually used for this refocusing but requires a separate study (CT) ahead of the TcMRgFUS procedure. The goal of this study was to determine whether MRI using an appropriate sequence would be a viable alternative to CT for planning ultrasound refocusing in TcMRgFUS. We tested three MRI pulse sequences (3D T1 weighted 3D volume interpolated breath hold examination (VIBE), proton density weighted 3D sampling perfection with applications optimized contrasts using different flip angle evolution and 3D true fast imaging with steady state precision T2-weighted imaging) on patients who have already had a CT scan performed. We made detailed measurements of the calvarial structure based on the MRI data and compared those so-called 'virtual CT' to detailed measurements of the calvarial structure based on the CT data, used as a reference standard. We then loaded both standard and virtual CT in a TcMRgFUS device and compared the calculated phase correction values, as well as the temperature elevation in a phantom. A series of Bland-Altman measurement agreement analyses showed T1 3D VIBE as the optimal MRI sequence, with respect to minimizing the measurement discrepancy between the MRI derived total skull thickness measurement and the CT derived total skull thickness measurement (mean measurement discrepancy: 0.025; 95% CL (-0.22-0.27); p = 0.825). The T1-weighted sequence was also optimal in estimating skull CT density and skull layer thickness. The mean difference between the phase shifts calculated with the standard CT and the virtual CT reconstructed from the T1 dataset was 0.08 ± 1.2 rad on patients and 0.1 ± 0.9 rad on phantom. Compared to the real CT, the MR-based correction showed a 1 °C drop on the maximum temperature elevation in the phantom (7% relative drop). Without any correction, the maximum temperature was down 6 °C (43% relative drop). We have developed an approach that allows for a reconstruction of a virtual CT dataset from MRI to perform phase correction in TcMRgFUS.
Resumo:
This paper aims at providing a Bayesian parametric framework to tackle the accessibility problem across space in urban theory. Adopting continuous variables in a probabilistic setting we are able to associate with the distribution density to the Kendall's tau index and replicate the general issues related to the role of proximity in a more general context. In addition, by referring to the Beta and Gamma distribution, we are able to introduce a differentiation feature in each spatial unit without incurring in any a-priori definition of territorial units. We are also providing an empirical application of our theoretical setting to study the density distribution of the population across Massachusetts.
Resumo:
Continuing developments in science and technology mean that the amounts of information forensic scientists are able to provide for criminal investigations is ever increasing. The commensurate increase in complexity creates difficulties for scientists and lawyers with regard to evaluation and interpretation, notably with respect to issues of inference and decision. Probability theory, implemented through graphical methods, and specifically Bayesian networks, provides powerful methods to deal with this complexity. Extensions of these methods to elements of decision theory provide further support and assistance to the judicial system. Bayesian Networks for Probabilistic Inference and Decision Analysis in Forensic Science provides a unique and comprehensive introduction to the use of Bayesian decision networks for the evaluation and interpretation of scientific findings in forensic science, and for the support of decision-makers in their scientific and legal tasks. Includes self-contained introductions to probability and decision theory. Develops the characteristics of Bayesian networks, object-oriented Bayesian networks and their extension to decision models. Features implementation of the methodology with reference to commercial and academically available software. Presents standard networks and their extensions that can be easily implemented and that can assist in the reader's own analysis of real cases. Provides a technique for structuring problems and organizing data based on methods and principles of scientific reasoning. Contains a method for the construction of coherent and defensible arguments for the analysis and evaluation of scientific findings and for decisions based on them. Is written in a lucid style, suitable for forensic scientists and lawyers with minimal mathematical background. Includes a foreword by Ian Evett. The clear and accessible style of this second edition makes this book ideal for all forensic scientists, applied statisticians and graduate students wishing to evaluate forensic findings from the perspective of probability and decision analysis. It will also appeal to lawyers and other scientists and professionals interested in the evaluation and interpretation of forensic findings, including decision making based on scientific information.