In this Master thesis are mentioned the most used constructions of non-return valves. Further consist of operation principles, fields of application, properties and diffi-culties connected to non-return valves. Motion plug of check valve in liquid is described based on CFD Software simulation.

The Diploma thesis deals with the safety assesment of the small water reservoir Bartošovice III during the floods, according to requirments of TNV 75 2935 (technical standard). First two chapters are devoted to the description of the dam purpose. Following chapter deals with the summary of basic information and documentation, including hydraulic analysis. In the following section maximum permissible safe water level is determined together with the maximum check flood water level in reservoir which reflects the flood wave transformation. In the final evaluation the comparison of the maximum permissible safe water level with maximum check flood level is carried out. At the end of the thesis recommendations leading to ensuring of reliability and safety of water reservoir are listed.

<p>In April and May 2015 Nepal suffered two massive earthquakes of 7.5 and 6 5 magnitudes in the Richter scale, killing 8856 and injuring 22309. Two years later in September 2017, Puerto Rico underwent the Category 5 Hurricane Maria, killing an estimate of 800 to 8000 people and displacing hundreds of thousands of Puerto Ricans (Kishore et al., 2018). This dissertation project is the comparative study of Nepal’s and Puerto Rico’s networked communities, their actors, participants (Potts, 2014), and the users (Ingraham, 2015; Johnson, 1998) who used crisis communication practices to address the havoc created by the disaster. Using a mixed-methods research approach and with framework created with the Assemblage Theory (DeLanda, 2016), I argue that disasters create situations in which various networked communities are formed into transnational assemblages along with an emergence of innovative digital technical and professional communication practices.</p>

During the last decade, the number of devices capable of connecting to the Internet has grown enormously. The Internet of Things describes a scenario where Internet connected devices are ubiquitous and even the smallest device has a connection to the Internet. Many of these devices will be running on constrained platforms with limited power and computing resources. Implementing protocols that are both secure and resource efficient is challenging. Current protocols have generally been designed for mains powered devices; hence, they are not optimized for running on constrained devices. The Constrained Application Protocol (CoAP) is a protocol for network communication specifically designed for constrained devices. This thesis project examines CoAP and presents an extension that adds authentication in a way that is suitable for constrained devices, with respect to minimizing resource use. The proposed solution has been compared and contrasted with other alternatives for authentication, particularly those alternatives used with CoAP. It has also been implemented in code and experimentally evaluated with regards to performance versus vanilla CoAP. The main goal of this project is to implement a lightweight authentication extension for CoAP to be deployed and evaluated on constrained devices. This extension, called Short Message Authentication ChecK (SMACK), can be used on devices that require a method for secure authentication of messages while using only limited power. The main goal of the extension is to protect against battery exhaustion and denial of sleep attacks. Other benefits are that the extension adds no additional overhead when compared with the packet structure described in the latest CoAP specification. Minimizing overhead is important since some constrained networks may only support low bandwidth communication. / Under det senaste århundradet har antalet enheter som kan ansluta sig till Internet ökat enormt. ”The Internet of Things” beskriver ett scenario där Internet-anslutna enheter är närvarande överallt och även den minsta enhet har en uppkoppling till Internet. Många av dessa enheter kommer att vara begränsade plattformar med restriktioner på både kraft- och beräkningsresurser. Att implementera protokoll som både är säkra och resurseffektiva är en utmaning. Tillgängliga protokoll har i regel varit designade för enheter med anslutning till det fasta kraftnätet; på grund av detta är de inte optimerade för att köras på begränsade plattformar. Constrained Application Protocol (CoAP) är ett protokoll för nätverkskommunikation speciellt framtaget för begränsade plattformar. Denna uppsats undersöker CoAP protokollet och presenterar ett tillägg som erbjuder autentisering på ett sätt som passar begränsade plattformar, med avseende på att minimera resursanvändning. Den föreslagna lösningen har blivit beskriven och jämförd med andra alternativ för autentisering, speciellt de alternativ som används med CoAP. Lösningen har också implementerats i kod och blivit experimentellt utvärderad när det gäller prestanda jämfört med standardversionen av CoAP. Det huvudsakliga målet för detta projekt är att implementera en lättviktslösning för autentisering till CoAP som ska installeras och utvärderas på begränsade plattformar. Detta tillägg, Short Message Authentication checK (SMACK), kan användas på enheter som behöver en metod för säker autentisering av meddelanden samtidigt som kraftåtgången hålls låg. Huvudmålet för detta tillägg är att skydda mot batteridräneringsattacker och attacker som hindrar en enhet från att gå i viloläge. Andra fördelar är att tillägget inte kräver någon extra dataanvändning jämfört med paketstrukturen som beskrivs i den senaste CoAP-specifikationen. Att minimera overhead i kommunikationsprotokoll är viktigt eftersom vissa begränsade nätverk endast stödjer kommunikation över låg bandbredd.

Health is closely related to air pollution, with increasing evidence showing the consequences of longand short-term exposure to, in particular, fine particulate matter (PM2.5). In 2008, the European Union adopted a directive (directive 2008/50/EC) to improve air quality and to regulate a number of air pollutants, including PM2.5, in the member states. This directive has recently been assessed by a socalled “fitness check”. The aim of this thesis is to analyse how air quality regarding fine particulate matter has developed in Sweden between 2000 and 2018 and to examine possible future scenarios for stricter requirements in renewed EU legislation, based on the outcomes of the “fitness check”. Data are analysed from monitoring stations throughout Sweden with a focus on the last ten years up to 2018. Average urban exposure levels are estimated to compare them with the average exposure index (AEI) defined in the directive and source sectorsfor PM2.5 are identified to determine the potential for measures to reduce concentrations. The results show that Sweden is not challenged by the current EU legislation, neither exceeding the current annual limit value of 25 µg/m3 nor requiring a reduction of the urban exposure levels. However, Sweden will need to take further initiatives if requirements are tightened up, for example if a daily ceiling of 25 µg/m3 is implemented or the annual limit decreased to 10 µg/m3 , both values based on WHO’s latest recommendations. Rural and urban concentrations show an exponentially decreasing trend from southern to northern Sweden. It is concluded that PM2.5 is dominated by long-distance transportation, but with significant local contributions in urban areas. Overall, concentrations reduced during the period studied, which is mainly due to a reduction in international emissions, occasionally combined with individual local measures. PM2.5 concentrations are, however, above natural background levels, which makes it worthwhile to decrease them further, with local action considered to be of particular importance from a health perspective. / Luftkvalitet är en viktig faktor inom hälsa, eftersom ett stort antal negativa effekter på kroppen har fastställts vid exponering av ökade halter partiklar (PM, eng. ”particulate matter”), bland annat, i luft. Både kort- och långtidsexponering av fina partiklar (PM2.5) har dokumenterade hälsofarliga konsekvenser, därför fastställde den Europeiska unionen under 2008 ett direktiv (direktiv 2008/50/EC) för att förbättra luftkvaliteten och reglera ett antal luftföroreningar, bland annat PM2.5-koncentrationerna i medlemsländerna. För att undersöka implementeringen av direktivet utfördes nyligen en så kallad ”fitness check”. Detta arbete ska analysera hur luftkvalitet i samband med fina partiklar har utvecklats i Sverige under perioden 2000 till 2018. Utöver det undersöks möjliga framtidsscenarier för skärpta krav i ett reviderat EU-direktiv vilka är baserade på slutsatserna från denna ”fitness check”. Data från mätstationer i hela Sverige används med fokus på de sista tio åren fram tills 2018. Genomsnittliga urbana exponeringshalter är uppskattade för att jämföra dessa med exponeringsindexet (AEI, eng. ”average exposure index”) som är definierat i direktivet. Källområden för PM2.5 är identifierade för att uppskatta behovet av potentiella åtgärder för att reducera koncentrationen av fina partiklar. Resultaten visar att Sverige når målsättningen i den befintliga EU-lagstiftningen eftersom varken årsmedelvärdet av 25 µg/m3 eller taket för exponeringsindexet överskrids vid mätstationerna. Om kraven skulle skärpas, till exempel vid implementeringen av ett dygnsgränsvärde av 25 µg/m3 eller om det årliga gränsvärdet skulle sänkas till 10 µg/m3 (i enlighet med WHO:s senaste rekommendationer), kommer det krävas ytterligare åtgärder. Den regionala och urbana koncentrationen uppvisar en exponentiellt avtagande trend från södra till norra Sverige. Slutsatsen kan dras att PM2.5 är dominerad av långdistanstransporter, dock med synliga lokala tillskott i de urbana områdena. Sammanfattningsvis har koncentrationerna reducerats under den observerade perioden, vilket framförallt kan antas vara baserat på en reducering av internationella emissioner, i vissa fall kombinerat med lokala åtgärder. PM2.5 koncentrationerna är fortfarande högre än den naturliga förekomsten, därför är det relevant ur ett hälsoperspektiv att även reducera dem i framtiden, framförallt på lokal nivå.

This qualitative study investigates how check-in and check-out self-service technology (SST)for hotels affects the hotel experience of young hotel guests. Following study also focuses onevaluating whether the current SST technology meets the expectations of these young guests.As the hospitality industry in Sweden increasingly adopts SST solutions, understanding theperceptions and satisfaction levels of young guests becomes essential for hotels striving toenhance their service quality. The research employs a qualitative approach, utilizingsemi-structured interviews as the primary data collection method. Twenty respondents, agedbetween 20 and 28 years, were interviewed to gain in-depth insights into their experienceswith SST technology for check-in and check-out processes. / Denna studie undersöker hur självserviceteknologi (SST) på hotell i form av in- ochutcheckning påverkar hotellupplevelsen för unga hotellgäster. Studien fokuserar också på attutvärdera om den befintliga SST-teknologin uppfyller förväntningarna hos dessa unga gäster.I takt med att svenska hotellbranschen i större utsträckning börja använda SST-lösningar blirdet viktigt att förstå unga gästers uppfattningar och serviceupplevelser för att hotellen skakunna förbättra sin servicekvalitet. Studien utgår från en kvalitativ metod medsemistrukturerade intervjuer som primär datainsamlingsmetod. Tjugo respondenter i åldern20 till 28 år intervjuades för att få djupgående insikter i deras upplevelser av SST-teknologiför in- och utcheckning på hotell.

Структура работы предопределена кругом исследуемых проблем, целями и задачами исследования, состоит из введения, трех глав, заключения, списка литературы. В первой главе рассмотрены теоретические основы налогового контроля. Вторая глава посвящена анализу контрольной работы налоговых органов за исчислением и уплатой налогов организациями, применяющими специальные налоговые режимы (на примере МРИ ФНС №25 по Свердловской области г. Екатеринбурга). В третьей главе проведен анализ проблем организации контрольной работы налоговых органов за исчислением и уплатой налогов организациями, применяющими специальные налоговые режимы и путей их решения. / The structure of the work is predetermined by the range of problems studied, the goals and objectives of the study, consists of an introduction, three chapters, a conclusion, a list of references. The first chapter examines the theoretical foundations of tax control. The second chapter is devoted to the analysis of the control work of tax authorities for the calculation and payment of taxes by organizations applying special tax regimes (for example, MRI FTS No. 25 for the Sverdlovsk region of Yekaterinburg). The third chapter analyzes the problems of organizing the control work of tax authorities for the calculation and payment of taxes by organizations applying special tax regimes and ways of solving them.

In rapidly changing environments organization and management theories have to consider more flexible approaches to match the demands (1) (2). Agile methods attempt to enable flexible efficient ways of working in team structures (1). In this thesis we empirically study a model from a constructivist approach in an attempt to contribute to knowledge on the eternal problem of people working efficiently in the structure of teams. Social processes are argued to have a major impact on the general application of agile methods (3). However, the practitioners of agile methods tend to focus more on the physical and technical infrastructure as enablers of successful teamwork rather than the social processes of team development (4). Hence, without knowing how the social processes of a team affects the usage of agile methods for team development, an organization is at risk of becoming less efficient over time without realizing why (5) (6).Therefore it is essential to study how an agile method for team development affects and influences the social processes within a team in order to understand how it can be used for efficient teamwork. The purpose of this thesis was to study how an agile method for team development can aid a software development team to improve their way of working. We empirically tested a team-level workshop-based agile method for team development, SHC, in a case study at the Swedish Police Authority IT Department. This included 14 focus group sessions with seven development teams. We posed the following main research question to fulfill the purpose of the study: how can the use of an agile method for team development help software development teams improve theirway of working? We conclude that there are several ways in which an agile method for team development can help teams improve their way of working, and that these depend on the unique social processes within each team. The purpose of the study was fulfilled by the findings of how an agile method can serve teams in different stages of team development by fulfilling different purposes, how it can assist a team in taking action, as well as the potential it has to enable Shared Leadership. / I snabbt föränderliga miljöer måste organisations-och management-teorier ta hänsyn till mer flexibla angreppssätt för att möta kraven (1) (2). Agila metoder har som mål att möjliggöra flexibla och effektiva arbetssätt i teamstrukturer (1). I denna uppsats studerar vi empiriskt en modell ur ett konstruktivistiskt perspektiv i ett försök att bidra till kunskapen om det eviga problemet i att arbeta effektivt i teamstrukturer. Sociala processer anses ha en stor påverkan på den generella appliceringen av agila metoder (3). Utövare av agila metoder tenderar dock att fokusera mer på den fysiska och tekniska infrastrukturen som mögliggörare för effektivt teamwork snarare än de sociala processerna kring teamutveckling (4). Om en organisation alltså inte vet hur de sociala processerna hos ett team påverkar användandet av en agil metod så riskerar organisationen att bli mindre effektiv över tid utan att inse varför (5) (6). Därför är det essentiellt att studera hur en agil metod för teamutveckling påverkar och influerar de sociala processerna inom ett team, för att förstå hur metoden kan användas  för effektivt teamarbete. Syftet med denna uppsats var att studera hur en agil metod för teamutveckling kan hjälpa ett mjukvaruutvecklingsteam att förbättra sitt arbetssätt. Empiriskt testade vi en workshop-baserad agil metod på team-nivå, SHC, i en fallstudie på Polismyndighetens IT-avdelning. Denna inkluderade 14 fokusgruppsessioner med 7 olika utvecklingsteam. Vi ställde följande huvudsakliga forskningsfråga: hur kan användandet av en agil metod för teamutveckling hjälpa mjukvaruutvecklingsteam att förbättra sitt arbetssätt? Vi nådde slutsatsen att det finns flera sätt som en agil metod för teamutveckling kan hjälpa team att förbättra sitt arbetssätt, och att dessa sätt beror på de unika sociala processerna inom teamet. Syftet med studien uppfylldes av slutsatserna kring hur en agil metod kan stödja team i olika stadier av teamutveckling genom att fylla olika syften, hur en agil metod kan stödja ett team i att agera, samt potentialen metoden har i att möjliggöra delat ledarskap.

This thesis presents a novel, low cost, high precision , and efficient design for an electro-hydrostatic circuit for single rod hydraulic cylinders. The design is the main contribution of candidate to fulfill the regiments of PhD degree. The challenge of existing deigns of electro-hydrostatic circuits for single-rod cylinders is using one pump to control the cylinder under switching (resistive-assistive) loads. The proposed circuit utilizes off-the-shelf industrial elements. It uses two counterbalance valves to manage switching loads and one on/off solenoid valve to redirect the differential flow of the single rod cylinder to tank. A set of simulation studies is conducted using Simhydraulic tools of Matlab in order to study performances of the proposed circuit and compare it with existing designs. Pump-controlled hydraulic circuit for double rod cylinders was developed and is widely used by industry. It is used as the benchmark for simulation studies. As well, the proposed circuit and two major existing pump-controlled circuits for single rod cylinders are compared to the benchmark circuit. Evaluations are conducted by comparing chamber pressure responses as well as pressure vs position of the cylinder end-effector for each individual circuit. Results indicate that the proposed circuit performed as well as the benchmark circuit by controlling pressures to both sides of the cylinder at the same time. Moreover, the load in the proposed circuit is more controllable compared to the benchmark circuit. Experimental results, obtained from the developed test rig, validate accuracy of the simulation model. Maximum steady state position error of 0.06 mm applications is experimentally observed when the test rig is tested under different loading conditions with various amplitudes and frequencies. The circuit consumes up to 20% of the energy that is required by a valve controlled circuit given the same sinusoidal tracking signal. The relative efficiency of the proposed circuit over a valve xii controlled circuit depends on the pattern and frequency of the tracking signal. In all the experiments, a simple proportional controller, which uses readings of a linear position transducer, is employed. The use of the proportional controller makes the proposed circuit easy to implement and shows it is good candidate for industrial applications. The accuracy of the position response of the proposed circuit indicates, it is a good candidate for robotic applications too. / May 2016

Ces cinquante dernières annéees, les ordinateurs ont occupé une place toujours plus importante dans notre vie quotidienne. On les retrouve aujourd’hui présents dans de nombreuses applications, sous forme de systèmes enfouis. Ces applications sont parfois critiques, dans la mesure où toute défaillance du système informatique peut avoir des conséquences catastrophiques, tant sur le plan humain que sur le plan économique. Nous pensons par exemple aux systèmes informatiques qui contrôlent les appareils médicaux ou certains systèmes vitaux (comme les freins) des véhicules automobiles. Afin d’assurer la correction de ces systèmes informatiques, différentes techniques de vérification Assistée par Ordinateur ont été proposées, durant les trois dernières décennies principalement. Ces techniques reposent sur un principe commun: donner une description formelle tant du système que de la propriété qu’il doit respecter, et appliquer une méthode automatique pour prouver que le système respecte la propriété. Parmi les principaux modèles aptes à décrire formellement des systèmes informatiques, la classe des systèmes de transition bien structurés [ACJT96, FS01] occupe une place importante, et ce, pour deux raisons essentielles. Tout d’abord, cette classe généralise plusieurs autres classes bien étudiées et utiles de modèles à espace d’états infini, comme les réseaux de Petri [Pet62](et leurs extensions monotones [Cia94, FGRVB06]) ou les systèmes communiquant par canaux FIFO avec pertes [AJ93]. Ensuite, des problèmes intéressants peuvent être résolus algorithmiquement sur cette classe. Parmi ces problèmes, on trouve le probléme de couverture, auquel certaines propriétés intéressantes de sûreté peuvent être réduites. Dans la première partie de cette thèse, nous nous intéressons au problème de couverture. Jusqu’à présent, le seul algorithme général (c’est-à-dire applicable à n’importe quel système bien structuré) pour résoudre ce problème était un algorithme dit en arrière [ACJT96] car il calcule itérativement tous les états potentiellement non-sûrs et vérifie si l’état initial du système en fait partie. Nous proposons Expand, Enlarge and Check, le premier algorithme en avant pour résoudre le problème de couverture, qui calcule les états potentiellement accessibles du système et vérifie si certains d’entre eux sont non-sûrs. Cette approche est plus efficace en pratique, comme le montrent nos expériences. Nous présentons également des techniques permettant d’accroître l’efficacité de notre méthode dans le cas où nous analysons des réseaux de Petri (ou une de leurs extensions monotones), ou bien des systèmes communiquant par canaux FIFO avec pertes. Enfin, nous nous intéressons au calcul de l’ensemble de couverture pour les réseaux de Petri, un objet mathématique permettant notamment de résoudre le problème de couverture. Nous étudions l’algorithme de Karp & Miller [KM69], une solution classique pour calculer cet ensemble. Nous montrons qu’une optimisation de cet algorithme présenté dans [Fin91] est fausse, et nous proposons une autre solution totalement neuve, et plus efficace que la solution de Karp & Miller. Dans la seconde partie de la thèse, nous nous intéressons aux pouvoirs d’expression des systèmes bien structurés, tant en terme de mots infinis que de mots finis. Le pouvoir d’expression d’une classe de systèmes est, en quelque sorte, une mesure de la diversité des comportements que les modèles de cette classe peuvent représenter. En ce qui concerne les mots infinis, nous étudions les pouvoirs d’expression des réseaux de Petri et de deux de leurs extensions (les réseaux de Petri avec arcs non-bloquants et les réseaux de Petri avec arcs de transfert). Nous montrons qu’il existe une hiérarchie stricte entre ces différents pouvoirs d’expression. Nous obtenons également des résultats partiels concernant le pouvoir d’expression des réseaux de Petri avec arcs de réinitialisation. En ce qui concerne les mots finis, nous introduisons la classe des langages bien structurés, qui sont des langages acceptés par des systèmes de transition bien structurés étiquettés, où l’ensemble des états accepteurs est clos par le haut. Nous prouvons trois lemmes de pompage concernant ces langages. Ceux-ci nous permettent de réobtenir facilement des résultats classiques de la littérature, ainsi que plusieurs nouveaux résultats. En particulier, nous prouvons, comme dans le cas des mots infinis, qu’il existe une hiérarchie stricte entre les pouvoirs d’expression des extensions des réseaux de Petri considérées.