Pasaje Artístico La Mariposa

76 p.

Energy Efficiency of Software Transactional Memory in a Heterogeneous Architecture

Hardware vendors make an important effort creating low-power CPUs that keep battery duration and durability above acceptable levels. In order to achieve this goal and provide good performance-energy for a wide variety of applications, ARM designed the big.LITTLE architecture. This heterogeneous multi-core architecture features two different types of cores: big cores oriented to performance and little cores, slower and aimed to save energy consumption. As all the cores have access to the same memory, multi-threaded applications must resort to some mutual exclusion mechanism to coordinate the access to shared data by the concurrent threads. Transactional Memory (TM) represents an optimistic approach for shared-memory synchronization. To take full advantage of the features offered by software TM, but also benefit from the characteristics of the heterogeneous big.LITTLE architectures, our focus is to propose TM solutions that take into account the power/performance requirements of the application and what it is offered by the architecture. In order to understand the current state-of-the-art and obtain useful information for future power-aware software TM solutions, we have performed an analysis of a popular TM library running on top of an ARM big.LITTLE processor. Experiments show, in general, better scalability for the LITTLE cores for most of the applications except for one, which requires the computing performance that the big cores offer.

Naturmuseet Vänern : Energieffektivisering med fokus på kyltekniska lösningar

År 2006 införde Boverket, som lyder under regeringen krav för specifik energianvändning (kWh/m2år) för byggnader i syfte att minska energianvändningen för bostäder och lokaler. För att följa Boverkets krav för specifik energianvändning är det därför relevant att bygga mer energieffektiva byggnader. Naturmuseet Vänern är en byggnad i Karlstad som befinner sig vid Vänern. Byggnaden är omgiven av en naturskön miljö och dess verksamhet är huvudsakligen ett museum. Som helhet är Naturmuseet Vänern högt i tak och har stora fönsterytor vilket leder till att byggnaden behöver kylas på grund av den stora mängden solinstrålning. För att hålla sig till en låg specifik energianvändning är det därför relevant att hitta ett hållbart kylsystem. För att en byggnad ska bli energieffektiv i ett klimat såsom det i Sverige krävs ett byggnadsmaterial med lågt U-värde samt väl anpassade systemlösningar för värme, ventilation och kyla. Utifrån datorprogrammet VIP-Energy har en energianalys gjorts för Naturmuseet Vänern, vilket legat som grund för byggnadens utformning samt valet av byggnadsmaterial och kylsystem. Resultatet har utöver hur byggandes klimatskal ska se ut även landat i systemhandlingar i form av ritningar, driftstrategi och materialspecifikation för kylsystemet. Den lägsta specifika energianvändningen för Naturmuseet Vänern är 37 kWh/m2år, vilket fås då bergkyla väljs som kylsystem.

An empirical investigation of the impact of global energy transition on Nigerian oil and gas exports

18 months embargo on the thesis and check appendix for copy right materials

Techno-economic analysis of three HVAC retrofitting options

Accounting for around 40% of the total final energy consumption, the building stock is an important area of focus on the way to reaching the energy goals set for the European Union. The relatively small share of new buildings makes renovation of existing buildings possibly the most feasible way of improving the overall energy performance of the building stock. This of course involves improvements on the climate shell, for example by additional insulation or change of window glazing, but also installation of new heating systems, to increase the energy efficiency and to fit the new heat load after renovation. In the choice of systems for heating, ventilation and air conditioning (HVAC), it is important to consider their performance for space heating as well as for domestic hot water (DHW), especially for a renovated house where the DHW share of the total heating consumption is larger. The present study treats the retrofitting of a generic single family house, which was defined as a reference building in a European energy renovation project. Three HVAC retrofitting options were compared from a techno-economic point of view: A) Air-to-water heat pump (AWHP) and mechanical ventilation with heat recovery (MVHR), B) Exhaust air heat pump (EAHP) with low-temperature ventilation radiators, and C) Gas boiler and ventilation with MVHR. The systems were simulated for houses with two levels of heating demand and four different locations: Stockholm, Gdansk, Stuttgart and London. They were then evaluated by means of life cycle cost (LCC) and primary energy consumption. Dynamic simulations were done in TRNSYS 17. In most cases, system C with gas boiler and MVHR was found to be the cheapest retrofitting option from a life cycle perspective. The advantage over the heat pump systems was particularly clear for a house in Germany, due to the large discrepancy between national prices of natural gas and electricity. In Sweden, where the price difference is much smaller, the heat pump systems had almost as low or even lower life cycle costs than the gas boiler system. Considering the limited availability of natural gas in Sweden, systems A and B would be the better options. From a primary energy point of view system A was the best option throughout, while system B often had the highest primary energy consumption. The limited capacity of the EAHP forced it to use more auxiliary heating than the other systems did, which lowered its COP. The AWHP managed the DHW load better due to a higher capacity, but had a lower COP than the EAHP in space heating mode. Systems A and C were notably favoured by the air heat recovery, which significantly reduced the heating demand. It was also seen that the DHW share of the total heating consumption was, as expected, larger for the house with the lower space heating demand. This confirms the supposition that it is important to include DHW in the study of HVAC systems for retrofitting.

Final report : task 3: occupant health, wellbeing and productivity

This report presents the results of a study on indoor environment quality (IEQ) and occupant productivity in two buildings that are owned and Occupied by City of Melbourne, and located next to each other in Central Melbourne, Council House 1 (CH1) and Council House 2 (CH2). The impact of a range of relevant IEQ and other parameters on health, wellbeing and productivity of occupants is assessed. The before-and-after case study has demonstrated that the productivity of office building occupants can potentially be enhanced through good building design, and provision of a high quality, healthy, comfortable and functional interior environment, that takes account of basic occupant needs. It has shown that good indoor environment quality is a necessary pre-requisite for enhanced productivity in office buildings, but that broader aspects of overall building and interior design are also important.

Automated code checking

Most buildings constructed in Australia must comply with the Building Code of Australia (BCA). Checking for compliance against the BCA is a major task for both designers and building surveyors. This project carries out a prototype research using the EDM Model Checker and the SMC Model Checker for automated design checking against the Building Codes of Australia for use in professional practice. In this project, we develop a means of encoding design requirements and domain specific knowledge for building codes and investigate the flexibility of building models to contain design information. After assessing two implementations of EDM and SMC that check compliance against deemed-to-satisfy provision of building codes relevant to access by people with disabilities, an approach to automated code checking using a shared object-oriented database is established. This project can be applied in other potential areas – including checking a building design for non-compliance of many types of design requirements. Recommendations for future development and use in other potential areas in construction industries are discussed

Automated code checking

Most buildings constructed in Australia must comply with the Building Code of Australia (BCA). Checking for compliance against the BCA is a major task for both designers and building surveyors. This project carries out a prototype research using the EDM Model Checker and the SMC Model Checker for automated design checking against the Building Codes of Australia for use in professional practice. In this project, we develop a means of encoding design requirements and domain specific knowledge for building codes and investigate the flexibility of building models to contain design information. After assessing two implementations of EDM and SMC that check compliance against deemed-to-satisfy provision of building codes relevant to access by people with disabilities, an approach to automated code checking using a shared object-oriented database is established. This project can be applied in other potential areas – including checking a building design for non-compliance of many types of design requirements. Recommendations for future development and use in other potential areas in construction industries are discussed.

Integrating Engineering Experiences within the Elementary Mathematics Curriculum

Engineering education for elementary school students is a new and increasingly important domain of research by mathematics, science, technology, and engineering educators. Recent research has raised questions about the context of engineering problems that are meaningful, engaging, and inspiring for young students. In the present study an environmental engineering activity was implemented in two classes of 11-year-old students in Cyprus. The problem required students to use the data to develop a procedure for selecting among alternative countries from which to buy water. Students created a range of models that adequately solved the problem although not all models took into account all of the data provided. The models varied in the number of problem factors taken into consideration and also in the different approaches adopted in dealing with the problem factors. At least two groups of students integrated into their models the environmental aspect of the problem (energy consumption, water pollution) and further refined their models. Results provide evidence that engineering model-eliciting activities can be successfully integrated in the elementary mathematics curriculum. These activities provide rich opportunities for students to deal with engineering contexts and to apply their learning in mathematics and science to solving real-world engineering problems.

Design and evaluation of an image analysis platform for low-power, low-bandwidth camera networks

We describe the design and evaluation of a platform for networks of cameras in low-bandwidth, low-power sensor networks. In our work to date we have investigated two different DSP hardware/software platforms for undertaking the tasks of compression and object detection and tracking. We compare the relative merits of each of the hardware and software platforms in terms of both performance and energy consumption. Finally we discuss what we believe are the ongoing research questions for image processing in WSNs.

secFleck: A Public Key Technology Platform for Wireless Sensor Networks

We describe the design and implementation of a public-key platform, secFleck, based on a commodity Trusted Platform Module (TPM) chip that extends the capability of a standard node. Unlike previous software public-key implementations this approach provides E- Commerce grade security; is computationally fast, energy efficient; and has low financial cost — all essential attributes for secure large-scale sen- sor networks. We describe the secFleck message security services such as confidentiality, authenticity and integrity, and present performance re- sults including computation time, energy consumption and cost. This is followed by examples, built on secFleck, of symmetric key management, secure RPC and secure software update.

Towards trusted wireless sensor networks

This article presents the design and implementation of a trusted sensor node that provides Internet-grade security at low system cost. We describe trustedFleck, which uses a commodity Trusted Platform Module (TPM) chip to extend the capabilities of a standard wireless sensor node to provide security services such as message integrity, confidentiality, authenticity, and system integrity based on RSA public-key and XTEA-based symmetric-key cryptography. In addition trustedFleck provides secure storage of private keys and provides platform configuration registers (PCRs) to store system configurations and detect code tampering. We analyze system performance using metrics that are important for WSN applications such as computation time, memory size, energy consumption and cost. Our results show that trustedFleck significantly outperforms previous approaches (e.g., TinyECC) in terms of these metrics while providing stronger security levels. Finally, we describe a number of examples, built on trustedFleck, of symmetric key management, secure RPC, secure software update, and remote attestation.

Poster Abstract : A public key technology platform for wireless sensor networks

Communication security for wireless sensor networks (WSN) is a challenge due to the limited computation and energy resources available at nodes. We describe the design and implementation of a public-key (PK) platform based on a standard Trusted Platform Module (TPM) chip that extends the capability of a standard node. The result facilitates message security services such as confidentiality, authenticity and integrity. We present results including computation time, energy consumption and cost.