I bygg- och fastighetssektorn används en tredjedel av Sveriges totala slutliga energianvändning till byggnader. EU-kommissionen har infört att alla nyproducerade byggnader ska vara nära nollenergibyggnader till den 31 december 2020. I takt med en ökad miljömedvetenhet ställs det högre krav på byggnaders miljöprestanda och som en följd av detta har miljöcertifieringssystem för bostäder blivit allt vanligare. För en långsiktig hållbar utveckling bör man även ta hänsyn till förändringar i människans livsstil och beteende. Studien syftar till att undersöka vad bostadskunder, på den svenska marknaden, värderar för olika hållbarhetsaspekter i en bostad och dess närområde. Studien ska också undersöka hur väl de befintliga miljöcertifieringssystemen Miljöbyggnad, Svanen, FEBY18 och PHI för byggnader täcker in dessa aspekter samt undersöka betalningsviljan för en miljöcertifierad bostad. Fyra enkätundersökningar har utförts med totalt 601 mottagna svar från potentiella bostadskunder till Derome Hus AB, boende i certifierade Passivhus och Svanen-märkta småhus. Enkätundersökningen visar att det finns en efterfrågan hos bostadskunder på miljöcertifiering av bostäder. Majoriteten av respondenterna i studien, oavsett om de bor i miljöcertifierade bostäder eller inte, uppgav att de var villiga att betala en merkostnad på upp till 5 % för en miljöcertifierad byggnad. De flesta respondenterna i studien värdesatte fem aspekter högst i bostaden; låg energianvändning, god ljudmiljö, bra inomhusklimat, god tillgång till dagsljus och energisnåla vitvaror i hemmet. De aspekter som de med högst betalningsvilja prioriterade i högre utsträckning jämfört med de som hade lägre betalningsvilja var miljövänliga invändiga interiörer, miljöbedömda byggprodukter i byggnaden, laddstolpar för elbilar, lättillgänglig möjlighet till källsortering och cykelförvaring. För gruppen potentiella bostadskunder sågs en samvariation mellan antal aspekter som värdesattes och betalningsviljan, det vill säga fler aspekter värdesattes i samband med en ökad betalningsvilja. Boende i redan miljöcertifierade bostäder värdesatte fler aspekter oavsett betalningsviljan. Studien ger ökad kunskap om vilka aspekter bostadskunder värdesätter med avseende på både hållbarhet och betalningsvilja. / In the building and real estate sector, one-third of the total final energy is used for buildings in Sweden. The EU Commission has, through the Energy Performance of Buildings Directive, decided that all new produced buildings must be nearly zero energy buildings by 31 December 2020. In combination with increased environmental awareness, the higher demands concerning the environmental performance of buildings increases, where environmental certification systems on dwellings have become increasingly common in Sweden. For a long-term sustainable development, the changes in human lifestyle and behaviors should also be considered. The study aims to analyze how residential customers´ on the Swedish market´s valuation of sustainability aspects in dwellings and the neighborhood, how well the existing rating certification systems Miljöbyggnad, Svanen, FEBY18 and PHI for buildings cover the valuated aspects and the willingness to pay (WTP) for a certified building. Four surveys have been carried out, with total 601 responses received from potential residential customers, to Derome Hus AB, residents of certified passive houses and Svanen-labeled small houses. The survey shows that there is a demand for environmental certification on buildings among residential customers. Most of the respondents in the study, whether they were living in a certified building or not, stated that they were willing to pay an additional cost of up to 5 % for an environmentally certified building. Most respondents in the study valuated five aspects high in a dwelling; low use of energy, good noise environment, good indoor climate, good access to daylight and energy-efficient appliances. Those with the highest WTP to a higher extent valuated environmentally labelled interiors, environmentally assessed building products in the building, charging stations for electric cars, easily accessible possibility of sorting a source and bicycle storage compared to those who had a lower WTP. For the group of potential residential customers, the results show a co-variation between the number of aspects that the respondents valuated and the WTP. Thus, with an increased WTP, the respondents valuated an increased amount of aspects. Owners living in already certified buildings valuated more aspects regardless of the WTP. The study provides increased knowledge about which aspects residential customers valuate, both concerning sustainability and the willingness to pay.

D'après le Modèle standard, l'asymétrie CP dépendante du temps est la même dans les canaux de désintégration Bd0 -> J/Psi KS0 et Bd0 -> Phi KS0 et donne accès à sin(2 beta). Un écart entre les asymétries CP mesurées dans ces deux canaux signerait la présence phénomènes au-delà du Modèle standard. Ma thèse étudie la sensibilité de l'expérience LHCb à une telle différence en estimant l'erreur statistique avec laquelle elle mesurera sin(2 beta) dans le canal Bd0 -> Phi KS0. Le nombre d'événements de bruit de fond simulés est trop faible en regard de la statistique annuelle pour obtenir des évaluations précises. Nous avons développé plusieurs approches pour améliorer ces évaluations. Cette étude a été menée dans le cadre du détecteur LHCb classique, puis dans celui du détecteur réoptimisé. Nous prédisons dans les cas les plus optimistes une erreur statistique sur sin(2 beta) de 0.56 dans le cadre classique et de 0.29 dans le cadre réoptimisé.

L'étude de problèmes de physique hadronique dans le cadre de la théorie des champs nécessite l'emploi de méthodes non-perturbatives, les approches perturbatives ne pouvant s'appliquer pour QCD à basse énergie. L'équivalence formelle existant entre la théorie des champs et le problème à N corps nous a conduit à adapter des techniques non-perturbatives usuelles de la théorie du problème à N corps, comme l'approximation de champ moyen (ou approximation gaussienne) et l'approximation de la phase aléatoire (RPA).<br> En se plaçant au-delà du champ moyen où seules sont prises en compte les corrélations entre une particule et un potentiel "moyen" à un corps, la RPA va permettre de rajouter dans le calcul de l'état fondamental des corrélations entre particules.<br> Afin de mettre en place le formalisme, on applique la RPA, sons différentes formes (standard, renormalisée, en termes de fonctions de Green), à l'une des plus simples théories des champs en interaction, la théorie scalaire lambda x phi^4. On montre qu'il se produit une transition de phase due à une brisure dynamique de symétrie dont le paramètre critique se rapproche des résultats obtenus sur réseaux et par la technique des "clusters". Les résultats sont aussi présentés à température finie pour le champ moyen.<br> On étudie également un modèle effectif réaliste de la transition de phase chirale, le modèle sigma-linéaire et on montre que le théorème de Goldstone est restauré, contrairement à l'approximation gaussienne.<br> Enfin pour éclaircir quelques points de la RPA et, aller au-delà des corrélations obtenues dans la forme renormalisée, on considère l'oscillateur anharmonique en mécanique quantique, en introduisant les corrélations minimales au-delà du champ moyen et on montre que les corrélations RPA améliorent grandement le résultat obtenu en champ moyen.

Recherche de nouvelle physique dans le canal B0s --> J/psi phi auprès de l'expérience LHCb: Dans le Modèle Standard, la différence de phase apparaissant dans la désintégration B0s --> J/psi phi est prèdite avec une grande précision. Cette observable est une sonde pour mettre en évidence de la Nouvelle Physique car l'oscillation B0s -B0sbar s'effectue via un diagramme en boucles sensible à la nouvelles particules. Nous avons développé une sélection simplifiée pour les données de 2010. Elle évite tous biais sur la distribution en temps propre afin de réduire l'incertitude systématique. De plus, nous contrôlons les performances d'étiquetage pour les événements B0s --> J/psi phi en utilisant les canaux similaires B0d--> J/psi K*0 et B+ --> J/psi K+. Avec les données de 2010, nous obtenons 570 événements de signal avec une luminosité intégré de 36 pb−1, une puissance de d'étiquetage de (2, 2 ± 0, 4)% et une résolution temporelle de 50 fs. Nous avons étudié une sélection alternative, qui maximise la sensibilité à la phase phis en utilisant des coupures biasant le temp propre. Nous avons proposé une méthode pour corriger la déformation de temps propre à partir des données. Nous avons développé un programme d'ajustement pour déterminer la phase phis. Avec les données 2010, la valeur touveé est phis = [−2, 7,−0, 5] rad à 68% de confiance. Ce résultat est compatible avec la prédiction du Modèle Standard.

The role of $f_{0}(980)$ and $a_{0}(980)$ scalar meson intermediate states in the mechanism of radiative $phi (1020)$ meson decay into two charged $K (494)$ mesons and a photon $phirightarrow K^{+} + K^{-} + gamma$ is investigated. For the contribution of scalar meson intermediate state two models are considered. In the kaon-loop model, the scalar meson intermediate state couples the final state to the initial $phi$ meson through a charged kaon-loop. The second model, called no-structure model, consist of point-like coupling of intermediate scalar meson state to the initial state. It is found that in the kaon-loop model, scalar meson intermediate state results in a considerable modification of the pure Bremsstrahlung photon spectrum.

In this paper, we will review two fundamental counting methods: inclusionexclusion and pigeonhole principles. The inclusion-exclusion principle considers the elements of the sets satisfied some conditions, and avoids repeat counting by disjoint sets. We also use the inclusion-exclusion principle to solve the problems of Euler phi function and the number of onto functions in number theory, and derangement and the number of nonnegative integer solutions of equations in combinatorics. We derive the closed-form formula to those problems. For the forbidden positions problems, we use the rook polynomials to simplify the counting process. We also show the form of the inclusion-exclusion principle in probability, and use it to solve some probability problems. The pigeonhole principle is an easy concept. We can establish some sets and use the pigeonhole principle to discuss the extreme value about the number of elements. Choose the pigeons and pigeonholes, properly, and solve problems by the concept of the pigeonhole principle. We also introduce the Ramsey theorem which is an important application of the pigeonhole principle. This theorem provides a method to solve problems by complete graph. Finally, we give some contest problems about the inclusion-exclusion and pigeonhole principles to show how those principles are used.

Les anomalies phénotypiques et fonctionnelles des lymphocytes B (LB) sont typiques d'une infection au VIH et se traduisent principalement par une activation polyclonale, une perte de la mémoire immunitaire ainsi qu'une réponse humorale déficiente et des phénomènes auto-immunitaires souvent précurseurs de lymphomes B. Ces anomalies se retrouvent principalement chez les patients lors de la phase chronique de la maladie et semblent être reliées en partie au niveau de la charge virale ainsi qu'à un compartiment de lymphocytes T CD4+ altéré. Cependant, quoique controversé, des éléments d’activation polyclonale ont également été observés chez les non-progresseurs à long terme (LTNPs) qui présentent une charge virale faible et un compartiment T CD4+ semblable aux individus séronégatifs. Ainsi, les objectifs principaux de cette étude sont 1) d’établir une chronologie des anomalies du compartiment des cellules B chez des individus infectés par le VIH qui ont une progression différente de la maladie (PHI normaux, rapides, sains et LTNP). 2) corréler les niveaux sériques du stimulateur de lymphocytes B (BLyS), un facteur de croissance des cellules B, avec les phénotypes observés chez ces mêmes patients. L’hyperglobulinémie, les niveaux sériques de BLyS et d’auto-anticorps ont été mesuré longitudinalement chez une cohorte d’individus en primo-infection (PHI) avec des progressions différentes de la maladie (rapides et normaux), LTNP et sujets sains. Nos résultats démontrent que l’activation polyclonale des LB survient indépendamment de la vitesse de progression et persiste chez les LTNP ou malgré une thérapie antirétrovirale efficace chez les progresseurs rapides. Des niveaux élevés de BLyS dans le sérum des progresseurs rapides corrèlent avec des fréquences altérées de monocytes et cellules dendritiques, suggérant un rôle de celles-ci dans l’atteinte du compartiment des cellules B. / B lymphocyte abnormalities are an important consequence of HIV infection, where both polyclonal activation and loss of B cell memory and humoral immunity have been described, and often evolve towards rheumatic-like autoimmunity and lymphoma. Although these abnormalities are prevalent in chronically infected patients, polyclonal B cell activation is also reported in patients with primary HIV-infection (PHI), who already present signs of defective humoral immunity. Although controversial, elements of B cell dysregulation have been reported in long term non progressor (LTNP) patients, even though they bear low viral loads and present a relatively "normal" CD4+ T cell compartment, suggesting that other factors are involved. Therefore, the main objectives of this study are to 1) establish a timeline for specific B cell abnormalities in HIV-infected patients with different rates of disease progression (PHI normal and fast progressors, LTNP), and controls 2) to correlate serum levels of the B lymphocyte stimulator (BLyS) a B cell growth factor, among these patients and controls. Thus we have longitudinally assessed hyperglobulinemia, auto-antibody and soluble BLyS levels in the serum of subjects undergoing primary HIV infection (PHI) with different rates of disease progression; rapid and normal progressors, long term non-progressors (LTNPs), and healthy donors. Here, we report that B cell polyclonal activation occurs independently of the rate of disease progression, with hypergammaglobulinemia persisting beyond successful therapy in rapid progressors and despite non-progressing clinical disease in LTNPs. High levels of BLyS in the serum of PHI rapid progressors correlate with altered blood monocyte and dendritic cell frequencies suggesting their contribution in triggering B cell dysregulations.

The main topic of this thesis is the implementation and subsequent optimization of high performance applications on a cluster of Intel Xeon Phi coprocessors. Using two approaches to solve the N-Body problem, the possibilities of the program execution on a cluster of processors, coprocessors or both device types have been demonstrated. Two particular versions of the N-Body problem have been chosen - the naive and Barnes-hut. Both problems have been implemented and optimized. For better comparison of the achieved results, we only considered achieved acceleration against single node runs using processors only. In the case of the naive version a 15-fold increase has been achieved when using combination of processors and coprocessors on 8 computational nodes. The performance in this case was 9 TFLOP/s. Based on the obtained results we concluded the advantages and disadvantages of the program execution in the distributed environments using processors, coprocessors or both.

No description available.

Efficient Implementation of 3D Finite Difference Schemes on Recent Processors Abstract In this paper a solver is introduced that solves a problem set modelled by the Burgers equation using the finite difference method: forward in time and central in space. The solver is parallelized and optimized for Intel Xeon Phi 7120P as well as Intel Xeon E5-2699v3 processors to investigate differences in terms of performance between the two architectures. Optimized data access and layout have been implemented to ensure good cache utilization. Loop tiling strategies are used to adjust data access with respect to the L2 cache size. Compiler hints describing aligned memory access are used to support vectorization on both processors. Additionally, prefetching strategies and streaming stores have been evaluated for the Intel Xeon Phi. Parallelization was done using OpenMP and MPI. The parallelisation for native execution on Xeon Phi is based on OpenMP and yielded a raw performance of nearly 100 GFLOP/s, reaching a speedup of almost 50 at a 83\% parallel efficiency. An OpenMP implementation on the E5-2699v3 (Haswell) processors produced up to 292 GFLOP/s, reaching a speedup of almost 31 at a 85\% parallel efficiency. For comparison a mixed implementation using interleaved communications with computations reached 267 GFLOP/s at a speedup of 28 with a 87\% parallel efficiency. Running a pure MPI implementation on the PDC's Beskow supercomputer with 16 nodes yielded a total performance of 1450 GFLOP/s and for a larger problem set it yielded a total of 2325 GFLOP/s, reaching a speedup and parallel efficiency at resp. 170 and 33,3\% and 290 and 56\%. An analysis based on the roofline performance model shows that the computations were memory bound to the L2 cache bandwidth, suggesting good L2 cache utilization for both the Haswell and the Xeon Phi's architectures. Xeon Phi performance can probably be improved by also using MPI. Keeping technological progress for computational cores in the Haswell processor in mind for the comparison, both processors perform well. Improving the stencil computations to a more compiler friendly form might improve performance more, as the compiler can possibly optimize more for the target platform. The experiments on the Cray system Beskow showed an increased efficiency from 33,3\% to 56\% for the larger problem, illustrating good weak scaling. This suggests that problem sizes should increase accordingly for larger number of nodes in order to achieve high efficiency. Frederick Ceder / Effektiv implementering av finita differensmetoder i 3D på moderna processorarkitekturer Sammanfattning Denna uppsats diskuterar implementationen av ett program som kan lösa problem modellerade efter Burgers ekvation numeriskt. Programmet är byggt ifrån grunden och använder sig av finita differensmetoder och applicerar FTCS metoden (Forward in Time Central in Space). Implementationen paralleliseras och optimeras på Intel Xeon Phi 7120P Coprocessor och Intel Xeon E5-2699v3 processorn för att undersöka skillnader i prestanda mellan de två modellerna. Vi optimerade programmet med omtanke på dataåtkomst och minneslayout för att få bra cacheutnyttjande. Loopblockningsstrategier används också för att dela upp arbetsminnet i mindre delar för att begränsa delarna i L2 cacheminnet. För att utnyttja vektorisering till fullo så används kompilatordirektiv som beskriver minnesåtkomsten, vilket ska hjälpa kompilatorn att förstå vilka dataaccesser som är alignade. Vi implementerade också prefetching strategier och streaming stores på Xeon Phi och disskuterar deras värde. Paralleliseringen gjordes med OpenMP och MPI. Parallelliseringen för Xeon Phi:en är baserad på bara OpenMP och exekverades direkt på chipet. Detta gav en rå prestanda på nästan 100 GFLOP/s och nådde en speedup på 50 med en 83% effektivitet. En OpenMP implementation på E5-2699v3 (Haswell) processorn fick upp till 292 GFLOP/s och nådde en speedup på 31 med en effektivitet på 85%. I jämnförelse fick en hybrid implementation 267 GFLOP/s och nådde en speedup på 28 med en effektivitet på 87%. En ren MPI implementation på PDC's Beskow superdator med 16 noder gav en total prestanda på 1450 GFLOP/s och för en större problemställning gav det totalt 2325 GFLOP/s, med speedup och effektivitet på respektive 170 och 33% och 290 och 56%. En analys baserad på roofline modellen visade att beräkningarna var minnesbudna till L2 cache bandbredden, vilket tyder på bra L2-cache användning för både Haswell och Xeon Phi:s arkitekturer. Xeon Phis prestanda kan förmodligen förbättras genom att även använda MPI. Håller man i åtanke de tekniska framstegen när det gäller beräkningskärnor på de senaste åren, så preseterar både arkitekturer bra. Beräkningskärnan av implementationen kan förmodligen anpassas till en mer kompilatorvänlig variant, vilket eventuellt kan leda till mer optimeringar av kompilatorn för respektive plattform. Experimenten på Cray-systemet Beskow visade en ökad effektivitet från 33,3% till 56% för större problemställningar, vilket visar tecken på bra weak scaling. Detta tyder på att effektivitet kan uppehållas om problemställningen växer med fler antal beräkningsnoder. Frederick Ceder