Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

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.

Análisis comparativo entre actividades de aprendizaje diseñadas con Estudio de Casos y Aprendizaje Basado en Problemas, y actividades de tipo tradicional, como dispositivos didácticos en Educación a Distancia. Comparative analysis of learning activities designed with Problem Based Learning and Case Study approaches, and activities designed with traditional methods, in Distance Education.

Identificación y caracterización del problema: El problema que guía este proyecto, pretende dar respuesta a interrogantes tales como: ¿De qué modo el tipo de actividades que se diseñan, se constituyen en dispositivos posibilitadores de la comprensión de los temas propios de cada asignatura, por parte de los alumnos? A partir de esta pregunta, surge la siguiente: Al momento de resolver las actividades, ¿qué estrategias cognitivas ponen en juego los estudiantes? y ¿cuáles de ellas favorecen procesos de construcción del conocimiento? Hipótesis: - Las asignaturas cuyas actividades están elaboradas bajo la metodología de Aprendizaje Basado en Problemas y Estudio de Casos, propician aprendizajes significativos por parte de los estudiantes. - Las actividades elaboradas bajo la metodología del Aprendizaje Basado en Problemas y el Estudio de Casos requieren de procesos cognitivos más complejos que los que se implementan en las de tipo tradicional. Objetivo: - Identificar el impacto que tienen las actividades de aprendizaje de tipo tradicional y las elaboradas bajo la metodología de Aprendizaje Basado en Problemas y Estudio de Casos, en el aprendizaje de los alumnos. Materiales y Métodos: a) Análisis de las actividades de aprendizaje del primero y segundo año de la carrera de Abogacía, bajo lamodalidad a Distancia. b) Entrevistas tanto a docentes contenidistas como así también a los tutores. c) Encuestas y entrevistas a los alumnos. Resultados esperados: Se pretende confirmar que las actividades de aprendizaje, diseñadas bajo la metodología del Aprendizaje Basado en Problemas y el Estudio de Casos, promueven aprendizajes significativos en los alumnos. Importancia del proyecto y pertinencia: La relevancia del presente proyecto se podría identificar a través de dos grandes variables vinculadas entre sí: la relacionada con el dispositivo didáctico (estrategias implementadas por los alumnos) y la referida a lo institucional (carácter innovador de la propuesta de enseñanza y posibilidad de extenderla a otras cátedras). El presente proyecto pretende implementar mejoras en el diseño de las actividades de aprendizaje, a fin de promover en los alumnos la generación de ideas y soluciones responsables y el desarrollo de su capacidad analítica y reflexiva.

Implementing a site waste management plan: a case study of a medium sized building contractor in Ireland

Construction and demolition waste management is becoming increasingly important on construction sites as landfill space in Ireland is rapidly depleting and waste management costs are rising. Due to these factors waste management plans are seen as a good response to minimising waste on site and this thesis aims to investigate how to implement such a plan on a practical case study as well as investigating the legislation regarding construction and demolition waste along with market availability for the reuse of the waste. Main contractor surveys were also carried out in order to gain a better understanding of current attitudes within the industry and these surveys are analysed in chapter five. A survey was also carried out among sub-contractors but this survey has not been used for this thesis as the study is on-going. The primary aim of this thesis is to examine the waste hierarchy opportunities that are available for construction and demolition waste in Ireland and to examine the effects of management strategies on construction and demolition waste reduction at the project level. A partnership was developed with Carey Developments Ltd in Co. Galway and an analysis of their waste management practices was undertaken. The primary case study will be the ‘Taylors Hill’ project in Co. Galway where work commenced in March, 2012. The secondary aim of the thesis is to develop specific waste minimisation strategies for the company and to develop a training tool kit for use on site.

The financial sustainability of passive house construction in Ireland.

In Ireland the average energy cost for a household in 2006 was estimated to be €1,767, an increase of 4% on 2005 figures. With the state o f the current economic climate, home owners are beginning to realise the potential of energy efficient construction methods. The Passive House Standard offers a cost efficient and sustainable construction solution compared to the Traditional Irish construction methods. This report focuses on the Cost comparison between Passive House construction and traditional construction methods. The report also focuses on barriers that are slowing market penetration of the Passive House standard in the Irish Market. It also identifies potential energy savings that passive house occupants would benefit from. The report also highlights professional opinions on the future development o f the Passive House Standard in Ireland. The conclusions of this report are that the Passive House Standard is a more financially suitable construction solution compared to that o f a traditional dwelling complying with the Irish Building Regulations. The report also concludes that the Passive House Standard won’t be introduced as an Irish Building Regulation in the future but that it will have a big impact on future building regulations. The hypothesis o f this report is supported by data obtained from a literature review, qualitative data analysis and a case study. The report recommends that in order for the Passive House Standard to penetrate further into the Irish construction market, various barriers must be rectified. Local manufactures must start producing suitable components that suit the Passive House specification. The Building Energy Rating system must be altered in order for the Passive House to achieve its potential BER rating.

An analysis of the use of photogrammetric sorting to audit construction and demolition waste production on site

This study analyses the area of construction and demolition waste (C & D W) auditing. The production of C&DW has grown year after year since the Environmental Protection Agency (EPA) first published a report in 1996 which provided data for C&D W quantities for 1995 (EPA, 1996a). The most recent report produced by the EPA is based on data for 2005 (EPA, 2006). This report estimated that the quantity of C&DW produced for that period to be 14 931 486 tonnes. However, this is a ‘data update’ report containing an update on certain waste statistics so any total provided would not be a true reflection of the waste produced for that period. This illustrates that a more construction site-specific form of data is required. The Department of Building and Civil Engineering in the Galway-Mayo Institute of Technology have carried out two recent research projects (Grimes, 2005; Kelly, 2006) in this area, which have produced waste production indicators based on site-specific data. This involved the design and testing of an original auditing tool based on visual characterisation and the application of conversion factors. One of the main recommendations of these studies was to compare this visual characterisation approach with a photogrammetric sorting methodology. This study investigates the application of photogrammetric sorting on a residential construction site in the Galway region. A visual characterisation study is also carried out on the same project to compare the two methodologies and assess the practical application in a construction site environment. Data collected from the waste management contractor on site was also used to provide further evaluation. From this, a set of waste production indicators for new residential construction was produced: □ 50.8 kg/m2 for new residential construction using data provided by the visual characterisation method and the Landfill Levy conversion factors. □ 43 kg/m2 for new residential construction using data provided by the photogrammetric sorting method and the Landfill Levy conversion factors. □ 23.8 kg/m2 for new residential construction using data provided by Waste Management Contractor (WMC). The acquisition of the data from the waste management contractor was a key element for testing of the information produced by the visual characterisation and photogrammetric sorting methods. The actual weight provided by the waste management contractor shows a significant difference between the quantities provided.

Development of a data acquisition system to characterise sustainable energy technologies and to support Web-Based learning (DAQ-WBL)

Driven by concerns about rising energy costs, security of supply and climate change a new wave of Sustainable Energy Technologies (SET’s) have been embraced by the Irish consumer. Such systems as solar collectors, heat pumps and biomass boilers have become common due to government backed financial incentives and revisions of the building regulations. However, there is a deficit of knowledge and understanding of how these technologies operate and perform under Ireland’s maritime climate. This AQ-WBL project was designed to address both these needs by developing a Data Acquisition (DAQ) system to monitor the performance of such technologies and a web-based learning environment to disseminate performance characteristics and supplementary information about these systems. A DAQ system consisting of 108 sensors was developed as part of Galway-Mayo Institute of Technology’s (GMIT’s) Centre for the Integration of Sustainable EnergyTechnologies (CiSET) in an effort to benchmark the performance of solar thermal collectors and Ground Source Heat Pumps (GSHP’s) under Irish maritime climate, research new methods of integrating these systems within the built environment and raise awareness of SET’s. It has operated reliably for over 2 years and has acquired over 25 million data points. Raising awareness of these SET’s is carried out through the dissemination of the performance data through an online learning environment. A learning environment was created to provide different user groups with a basic understanding of a SET’s with the support of performance data, through a novel 5 step learning process and two examples were developed for the solar thermal collectors and the weather station which can be viewed at http://www.kdp 1 .aquaculture.ie/index.aspx. This online learning environment has been demonstrated to and well received by different groups of GMIT’s undergraduate students and plans have been made to develop it further to support education, awareness, research and regional development.