De nos jours, réduire la consommation énergétique des infrastructures de calcul à grande échelle est devenu un véritable challenge aussi bien dans le monde académique qu’industriel. Ceci est justifié par les nombreux efforts visant à réduire la consommation énergétique de ceux-ci. Ces efforts peuvent sans nuire à la généralité être divisés en deux groupes : les approches matérielles et les approches logicielles.Contrairement aux approches matérielles, les approches logicielles connaissent très peu de succès à cause de leurs complexités. En effet, elles se focalisent sur les applications et requièrent souvent une très bonne compréhension des solutions proposées et/ou de l’application considérée. Ce fait restreint leur utilisation à un nombre limité d’experts puisqu’en général les utilisateurs n’ont pas les compétences nécessaires à leurs implémentation. Aussi, les solutions actuelles en plus de leurs complexités de déploiement ne prennent en compte que le processeur alors que les composants tel que la mémoire, le stockage et le réseau sont eux aussi de gros consommateurs d’énergie. Cette thèse propose une méthodologie de réduction de la consommation énergétique des infrastructures de calcul à grande échelle. Elaborée en trois étapes à savoir : (i) détection de phases, (ii) caractérisation de phases détectées et (iii) identification de phases et reconfiguration du système ; elle s’abstrait de toute application en se focalisant sur l’infrastructure dont elle analyse le comportement au cours de son fonctionnement afin de prendre des décisions de reconfiguration.La méthodologie proposée est implémentée et évaluée sur des grappes de calcul à haute performance de tailles variées par le biais de MREEF (Multi-Resource Energy Efficient Framework). MREEF implémente la méthodologie de réduction énergétique de manière à permettre aux utilisateurs d’implémenter leurs propres mécanismes de reconfiguration du système en fonction des besoins. Les résultats expérimentaux montrent que la méthodologie proposée réduit la consommation énergétique de 24% pour seulement une perte de performance de moins de 7%. Ils montrent aussi que pour réduire la consommation énergétique des systèmes, on peut s’appuyer sur les sous-systèmes tels que les sous-systèmes de stockage et de communication. Nos validations montrent que notre méthodologie s’étend facilement à un grand nombre de grappes de calcul sensibles à l’énergie (energy aware). L’extension de MREEF dans les environnements virtualisés tel que le cloud montre que la méthodologie proposée peut être utilisée dans beaucoup d’autres environnements de calcul. / Nowadays, reducing the energy consumption of large scale and distributed infrastructures has truly become a challenge for both industry and academia. This is corroborated by the many efforts aiming to reduce the energy consumption of those systems. Initiatives for reducing the energy consumption of large scale and distributed infrastructures can without loss of generality be broken into hardware and software initiatives.Unlike their hardware counterpart, software solutions to the energy reduction problem in large scale and distributed infrastructures hardly result in real deployments. At the one hand, this can be justified by the fact that they are application oriented. At the other hand, their failure can be attributed to their complex nature which often requires vast technical knowledge behind proposed solutions and/or thorough understanding of applications at hand. This restricts their use to a limited number of experts, because users usually lack adequate skills. In addition, although subsystems including the memory are becoming more and more power hungry, current software energy reduction techniques fail to take them into account. This thesis proposes a methodology for reducing the energy consumption of large scale and distributed infrastructures. Broken into three steps known as (i) phase identification, (ii) phase characterization, and (iii) phase identification and system reconfiguration; our methodology abstracts away from any individual applications as it focuses on the infrastructure, which it analyses the runtime behaviour and takes reconfiguration decisions accordingly.The proposed methodology is implemented and evaluated in high performance computing (HPC) clusters of varied sizes through a Multi-Resource Energy Efficient Framework (MREEF). MREEF implements the proposed energy reduction methodology so as to leave users with the choice of implementing their own system reconfiguration decisions depending on their needs. Experimental results show that our methodology reduces the energy consumption of the overall infrastructure of up to 24% with less than 7% performance degradation. By taking into account all subsystems, our experiments demonstrate that the energy reduction problem in large scale and distributed infrastructures can benefit from more than “the traditional” processor frequency scaling. Experiments in clusters of varied sizes demonstrate that MREEF and therefore our methodology can easily be extended to a large number of energy aware clusters. The extension of MREEF to virtualized environments like cloud shows that the proposed methodology goes beyond HPC systems and can be used in many other computing environments.

Rotating bed reactors are used throughout the process industry. They are usedboth in the chemical industry and other industrial sectors, such as pharmaceuticals and the textile industry in decolorization due to by-products or contaminants.SpinChem AB manufactures rotary bed reactors (RBRs) to perform chemical reactions between liquids and solids. The solid material consists of spherical particles0.1 mm - 1 mm in diameter that are packed between two cylindrical spaces in theRBR. The goal of this project work is to determine the power number, the axial force thatthe RBRn experiences, the torque requirement on the motor and power consumptionof the the RBR when a fully developed turbulent flow is achieved. The purpose ofthe work is to optimize the technology from the energy usage point of view, makethe product simple and easily accessible for chemical and industrial processes as acontribution to the development of sustainable society. In order to achieve the purpose and goal of the projects, Computational Fluid Dynamics (CFD) combined withexperimental models were used. Computation were made in COMSOL Multiphysicsfor two turbulence models. In it, the rotating machinery was used with moving meshtechnique for both the standard k−ε model and the SST k−ω turbulence models.The result is then compared with the empirical models. Investigation were done for two models of the rotating bed reactors (RBRs). Onemodel is called RBR S2 with relatively small size and RBR S14 which is a muchlarger version. For RBR S2 the experimental results turned out to be, an output ofpower number which is 3.4, torque requirement of 0.03 Nm, power consumption of3 W and a thrust force of 0.11 N. While the simulation results turned out to bean output of power number which is about 1.2, torque requirement of 0.013 Nm, apower consumption of 2 W and thrust force of 0.8 N. Similarly, the experimentalresult for RBR S14 was as follows. A power number of 0.53, torque requirement of0.41 Nm, power consumption of 6 W and a thrust force of 4.16 N. The simulationresults turned out to be, a power number of 0.34, torque requirement of 0,40 Nm,a power consumption of 4.14 W and thrust force of 3.61 N. With the help of the calculated power numbers, the power required to rotate theRBR can then be determined. Power number is determined when a fully developedturbulent flow is achieved. For RBRS2, a fully developed turbulent flow is achievedat Re = 2.8·104 and the angular velocity at that Reynolds number is about 830RPM. At that speed, the power is shown to be about 4 W for RBRS2. For RBRS14,a fully developed turbulent flow is achieved at Re = 1.5 · 105 and then the speed atthat Reynols number is about 83 RPM. The power need at that stage is shown tobe about 20 W. / Roterande bäddreaktorer används inom hela processindustrin. De används bådeinom den kemiska industrin och andra industriella sektor såsom, läkemedel och textilindustrin vid avfärgning på grund av biprodukter eller föroreningar. SpinChemAB tillverkar roterande bed reaktorer (RBR) för att utföra kemiska reaktioner mellan vätska och fasta material. Det fasta materialet består av sfäriska partiklar på0,1 mm - 1 mm i diameter som packas mellan två cylindrar i RBRn. Målet med detta projektarbete var att bestämma effekt nummer, effekt som krävsvid det effekt nummer, kravet på vridmoment från motorn samt den axiella kraftensom den roterande bäddreaktorn upplever när ett fullt utvecklat turbulent flöde uppnåtts. Syftet med arbetet var optimera teknologin ur energianvändningssynpunkt, göra den enkel och lättillgänglig för kemiska och industriella processer som ett bidragför hållbar samhällsutveckling. För att kunna uppnå syftet och målet med projekten användes, avancerade beräkningsmetoder i födes mekanik (CFD) i kombinationmed experimentella modeller. Beräkningar gjordes i COMSOL Multiphysics för tvåturbulenta modeller. I de användes roterande maskineriet med en medföljande mesh (moving mesh) för både standard k-ε modellen och SST k-ω modellen. Resultatet jämfördes sedan med de empiriska modellerna. Undersökningarna gjordes för två modeller av RBR. Ena modellen heter RBR S2med relativt små tillstorlek och RBR S14 som är mycket större version. För RBR S2visar den experimentella resultaten ett effekt nummer på 3,4, vridmoment på 0,03Nm, effekt förbrukning på 3 W och en axiellkraft ("thrust force") på 0,11 N. Simuleringsresultatet visar ett effekt nummer på 1,2, vridmoment på 0,013 Nm, effektförbrukning på 2 W och en axiellkraft på 0,8 N. För RBR S14 visade det experimentella resultatet ett effekt nummer på 0,53, vridmoment på 0,41 Nm, effektförbrukning på 6 W och en axiellkraft ("thrust force") på 4,16 N. Simuleringsresultatetvisade att effekt nummer var 0,34, vridmoment på 0,40 Nm, effektförbrukning på4,14 W och en axiellkraft på 3,61 N. Med hjälp av de framräknade effektnummer kan effekten som behövs rotera RBRnbestämmas. Effektnummer bestäms när ett fullt utvecklat turbulent flöde uppnåtts. För RBRS2 uppnås ett fullt utvecklat turbulent flöde vid Re = 2,8·04 och vinkelhastigheten är 830 RPM vid det Reynolds nummer. Effekten som krävs för att drivaRBRn vid det läge är ca 4 W för RBRS2. För RBRS14 uppnås ett fullt utvecklatturbulent flöde vid Re = 1,5·105 och då har vi en hastighet på 83 RPM. Vid denhastighet visas effekten vara ca 20 W.

The subject of this thesis is the construction of a residential building in the town of Brno Chrlice. It is a building with a fully podsklepeným floor and three floors. Basement part is designed as a garage and cellars. Floors are designed as units. The apartment building is a total of 8 units and 1 residential unit designed as wheelchair accessible. Total capacity is 22 Cladding basement of the formwork and floor are covered from the system HELUZ. The ceilings are designed as ceiling panels. Wood pitched roofing constructions with unbalanced tendencies. The building is based on the footings.

The subject of this master´s thesis is the construction of the guest house with restaurant in the village Plumlov near Prostejov. It is a building with a floor partially sunk into the ground and two floors. Basement is designed as part of the restaurant. Floors are designed for the guest house. In the pension there is a total of 6 accommodation rooms with a total capacity of 15 persons. The restaurant has a comfortable dining area for 25 people. The restaurant also includes a kitchen where they will prepare hot meals. Cladding basement of the shuttering and floors are designed as wood house by system "two by four". The ceiling above the restaurant is designed as a system, reinforced concrete, folded (TRAS system). The ceiling above the 1st floor is designed with wooden ceiling beams. The roof is gabled with unbalanced tendencies. The building is based on the foundation strips.

Master´s thesis is based on the design of energy efficient huts in the mountain resort Čenkovice . The specified property is currently located existing building mountain rescue . Land is the bigger size , medium steep , overgrown with trees higher . The existing building is of timber construction and is already inadequate to the needs of mountain rescue . The concept of the new HS object is to achieve the lowest power consumption of utility power to operate the building and to endeavor the least possible burden on the environment during construction. The new building is designed largely from natural materials , mostly of wood that form the supporting structure and it is well insulated. The house is rectangular in shape , with 2 floors and galleries. The first floor serves HS , second floor stay for ski school instructors . The rooms are oriented to the southwest side . The building uses solar energy to power and ventilation is forced.

The aim of my diploma thesis is a design of a new energy efficient terraced house in the gap site. Building has two dwelling unit of category 4+kitchenette and 6+ kitchenette. Building has a cellar, two floors and an attic. The cellar structures and horizontal structures are made of reinforced concrete. Sand-lime bricks are used for masonry. The building is covered with gabled roof with timber roof truss. In this building there are used rainwater and renewable energy in a form of electrical energy made by photovoltaic panels.

Over the years, every major city turns into a knot of intractable problems: overpopulation, traffic jams, environmental degradation. Some countries make a faster conversion from an industrial development to an information growth phase, than the infrastructural changes take place. Therefore, environmental design and construction would not be short-termed, but rather will be the long-term targets for all the groups associated with the construction. The healthy living is one of the most important reasons to start a complicated long-term reconstruction of eco-cities. Successful ecological reconstitution requires a knowledge about already implemented exemplary solutions. For this purpose, the dissertation analyzes the basic ecological problems of settlements, analyzing the examples of approaches to improve the environmental performance of cities on the reference of foreign experience and creates criteria and principles for designing urban structures for healthy living in CR.

Secret key generation from reciprocal multi-antenna channels is an interesting alternative to cryptographic key management in wireless systems without infrastructure access. In this work, we study the secret key rate for the basic source model with a MIMO channel. First, we derive an expression for the secret key rate under spatial correlation modelled by the Kronecker model and with spatial precoding at both communication nodes. Next, we analyze the result for uncorrelated antennas to understand the optimal precoding for this special case, which is equal power allocation. Then, the impact of correlation is characterized using Majorization theory. Surprisingly for small SNR, spatial correlation increases the secret key rate. For high SNR, the maximum secret key rate is achieved for uncorrelated antennas. The results indicate that a solid system design for reciprocal MIMO key generation is required to establish the secret key rate gains.

Newsletter des Sonderforschungsbereichs 912 "Highly Adaptive Energy-Efficient Computing" (HAEC)

Sound criteria for partial order reduction for probabilistic concurrent systems have been presented in the literature. Their realization relies on a depth-first search-based approach for generating the reduced model. The drawback of this dynamic approach is that it can hardly be combined with other techniques to tackle the state explosion problem, e.g., symbolic probabilistic model checking with multi-terminal variants of binary decision diagrams. Following the approach presented by Kurshan et al. for non-probabilistic systems, we study partial order reduction techniques for probabilistic concurrent systems that can be realized by a static analysis. The idea is to inject the reduction criteria into the control flow graphs of the processes of the system to be analyzed. We provide the theoretical foundations of static partial order reduction for probabilistic concurrent systems and present algorithms to realize them. Finally, we report on some experimental results.