Äganderätten är ett av de starkaste skydden som svenska medborgare idag åtnjuter. Denna rätt löper långt tillbaka i tiden och utgör därmed en viktig beståndsdel i ett fungerande och rättssäkert samhälle. Trots vikten och betydelsen av äganderätten kan fastighetsägares rätt att bruka och leva på sin jord i vissa fall kan begränsas. Vid inskränkning av äganderätten skall ersättning utgå enligt Regeringsformen 2 kap. 15 § 2 st, där det fastslås att den som blir utsatt skall vara tillförsäkrad full ersättning för förlusten. Vid beräkningen av ersättningens storlek används expropriationslagens bestämmelser om ersättningsberäkning. Avsikten med dessa bestämmelser är att stärka positionen för den som blir utsatt och syftar till att likställa den enskilde fastighetsägarens ekonomiska ställning till vad den var innan inskränkningen. Då staten beslutar att upphäva, begränsa eller ta i anspråk särskild rätt till en fastighet benämns det som expropriation. Expropriationsförfarandet medför en för markägaren förvånansvärt svag ägarställning, då tvångsinlösen kan ske mot dennes vilja.   Författarna har i denna uppsats valt att genom att använda den traditionella rättsdogmatiska metoden klargöra om ersättningen vid expropriation beräknas på ett tillförlitlig rättssäkert och rättvist sätt. Syftet med studien är att belysa de problemområden som finns vid beräkning av expropriationsersättning och framförallt vilken påverkan dessa har på fastighetsägaren. I studien används miljöbalkens bestämmelser om bildande av naturreservat för att skapa en grundförståelse för expropriationsförfarandet. Därefter analyseras de problemområden som berör expropriation mer generellt.   I denna uppsats finner författarna att det huvudsakligen finns två stora problemområden gällande expropriation. Den första problematiken rör användandet av marknadsvärdesprincipen, där flertalet värderingsmodeller är godtyckliga. Detta leder ofta till väldigt stora skillnader i uppfattning om fastigheters värde. Den andra problematiken uppkommer vid användandet av schablonpåslag. I dagsläget förstärks en felaktig värdering genom att påslaget beräknas med grund i en marknadsvärdesbedömning, vilket inte är en rättvis modell. Författarna menar att en lösning på dessa problemområden vore att införa en skälighetsregel vilket skulle möjliggöra en förhoppningsvis mer träffsäker och rättvis beräkning av expropriationsersättning.

Aitikgruvan drivs av Boliden AB och är en Europas största koppargruvor. Efter malmutbrytningen genomgår malmen en anrikning varvid det bildas en restprodukt, s.k anrikningssand. Anrikningssanden tillsammans med vatten pumpas ut i närliggande dammanläggningar, sk. gruvdammar och magasineras. Magasineringen sker i stora sandmagasin där sanden fås sedimentera och vattnet leds vidare till ett klarningsmagasin via en utskovskanal. Detta examensarbete undersöker utskovskanalens säkerhet genom en stabilitetsanalys av kanalväggarna och en framtagning av en deterministisk säkerhetsfaktor mot brott. Syftet med examensarbetet är att undersöka deterministiska beräkningsmodellers förmåga att beskriva stabiliteten i höga bergväggar. Problemet består i att ta fram en bergmekanisk modell över kanalväggarna som stabilitetsanalysen kan genomföras på. Med hjälp av en geologisk kartering och klassificering av kanalväggen kan bergmassan indelas i olika kvalitetsklasser med olika värden på, för stabilitetsanalysen nödvändiga bergmekaniska parametrar. Beroende på om bergmassan betraktas som ett diskontinuum eller kontinuum material sker stabilitetsanalysen av kanalväggen som en blockanalys eller kontinuum analys. De två olika metoderna resulterar i olika brottmoder i kanalväggen. Som ett försök att undersöka valda beräkningsmodellers tillförlitlighet genomförs en utvärdering av framräknade resultat från stabilitetsanalysen. Detta sker som en jämförelse mellan framräknade brottmoder och observerade brottmoder samt strukturgeologiska förhållanden i kanalväggen. Resultaten från blockanalysen visar på att ett antal instabila block bildas i kanalväggen. Från stabilitetsanalysen då bergmassan modelleras som ett kontinuum material framgår det två olika brottmoder, ett skjuvbrott och ett dragbrott. Skjuvbrottet utgör volymmässigt ett större brott än dragbrottet som visar sig som uppluckring eller draginducerade blockutfall i kanalväggen. Den beräknade säkerhetsfaktorn visar på att säkerheten mot ett skjuvbrott är större än mot ett dragbrott. Utvärderingen av de deterministiska beräkningsmodeller som används i stabilitetsanalysen resulterar i identifierade begränsningar hos använda beräkningsprogram och att blockanalysen var en alltför konservativ beräkningsmodell. Det visade sig vara svårt att finna de genererade instabila blocken från stabilitetsanalysen i kanalväggen. Däremot kunde den mindre brottmoden från kontinuumanalysen, dragbrottet, identifieras på vissa ställen. Då visade det sig som draginducerade blockutfall och kontinuummodellen kan anses ge en bra tolkning av kanalväggens verkliga beteende. Som förslag på fortsatta arbeten ges uppslag på att gå vidare med att undersöka sprickfrekvensens inflytande på blockutfall i en diskontinuum modell ur ett probabilistiskt perspektiv. Detta är något som det i stabilitetsanalysen i detta examensarbete inte har tagit hänsyn till, men anses vara den avgörande faktorn i det faktum att de genererade instabila blocken inte kunde identifieras i kanalväggen.

No description available.

No description available.

This thesis was ordered by ÅF Industry in Uppsala with the purpose of improving the standard of Life Cycle Cost-analysis at ÅF. ÅF uses LCC-analysis to show that installing a new lighting system can be cheaper than keeping the existing system. The goal was to create a model in EXCEL that would work on different projects within lighting systems and present the results numerically and graphically. The model was constructed in Excel with the option of comparing up to two different systems, with an existing system, and calculates both economic and environmental gain.

Rapporten behandlar en jämförande studie mellan en   statisk beräkningsmodell för energi mot en dynamisk modell. För att dessa ska   kunna vara jämförbara har båda modellerna samma ingående variabler. Den   statiska modellen har utförts för hand och den dynamiska modellen har utförts   med hjälp av ett beräkningsprogram. Den tidigare forskningen behandlar i   huvudsak hur väl beräkningsprogrammet stämmer överens mot verklighet   alternativt hur detta skiljer sig åt mot andra beräkningsprogram. Energiberäkningar   ska följa de standarder som har satts upp för hur beräkningar av energiåtgång   ska utföras, samt de faktorer som påverkar denna, oavsett om en statisk   modell eller en dynamisk modell används.   Rapporten tar inte hänsyn till om konstruktionen som   sådan uppfyller kraven från BBR, utan ser endast till beräkningarna som   sådana.   Resultaten visar på skillnader i beräkningarna men   den stora skillnaden ligger i hur modellerna har hanterat återvinningen av   ventilation i konstruktionen. Anledningen till detta ligger i att den statiska   modeller ser till det sammanlagda behovet över hela tidsperioden och inte   till den enskilda beräkningstimman. Arbetet med att göra detaljerade och   noggranna energiberäkningar är tidskrävande och kräver relativt stora mängder   data varför det blir ineffektivt att utföra dessa för hand. Likväl är det   tidskrävande att rätta eller ändra i handberäkningar. Men det kan ändå finnas   ett intresse att utveckla studien genom att ställa det mot ett verkligt fall.   Att studera vilken beräkningsmetod som är mer tillämplig för verkligheten. / The   report is a comparative study between a static, simplified model for energy   calculations against a more complex and dynamic model. To be able to compare   these two models against each other the same set of variables have been   chosen. The static model has been done by hand and the dynamic model has been   calculated in a software meant for this. The previous research mainly deals   with how well the calculation program performs in comprising to the real   world or against other similar programs. Energy calculations, regardless of   whether a static model or dynamic model is used, should be executed in   accordance with the international standards setup for calculating a   building's energy performance and the factors that affect it.   The   report does not take into account whether the construction as such meets the   requirements of BBR, but only study the calculation methods and results.   The   report does not take into account whether the design as such meets the   requirements of BBR, but only looks at the calculations as such. The work of   making detailed and accurate energy calculations is time-consuming and   requires relatively large amounts of data, which makes it ineffective to do   these by hand. Thereto it is time-consuming to correct or change in hand   calculations. However, there might be interesting to expand the study to   include a case from the real world, and set the two calculation models   against it and see which is more applicable to reality. / <p>Betyg 170707, H14.</p>

In today´s automotive industry new technologies are being used to create as environmentally friendly and crash proof cars as possible. These techniques do often have high investment costs and require advanced equipment. To determine if an investment is profitable different calculation methods are being used. When making investment decisions, researchers believe that it is favourable to use life cycle costing due to its consideration of all costs from purchase to scrapping. The purpose of this study is therefor to create an understanding of the costs that may arise during an investment's life cycle. The goal is then to create a calculation model that covers these costs and generate a reliable investment basis. The calculation model has mainly been developed based on previous research but also with inspiration from interviews and the case company's maintenance system. The calculation model has been created with several alternatives so that the user can compare these options and choose the alternative that means the least cost for the company. A sensitivity analysis can also be created using these alternatives. Maintenance costs has been a great focus when developing this calculation model due to researchers that believe there is a major problem in how traditional calculation models treat corrective maintenance. The calculation model has been tested at an automotive company that uses press hardening technology when manufacturing cars. This study has focused on the company´s press hardening furnaces because it´s the costliest part of the process. The results of this study showed that the press hardening furnaces were not profitable as the annual payment surplus is negative. But since the press hardening furnaces is the costliest, there should be other processes that compensate for this and that generate an annual payment surplus that is positive. A conclusion of this study is that the calculation model is more suitable for studying a whole process rather than part of a process. The case company is also recommended to further develop the calculation model to obtain more accurate values for mainly quality deficiency costs, raw material cost and revenues.

Modeling is a fundamental property in today’s development of embedded systems. Models of computation enable us to describe the functionality and characteristics of a system on a higher abstraction level which gives the designer great insight in the behavior of the final implemented system at a very early stage in the design process. The ForSyDe modeling framework is based on the Model-of-computation (MoC) theory. Synchronous data-flow (SDF) is one MoC that uses actors and tokens to describe the communication and behavior of a system. Currently, the ForSyDe input modeling language exists only as a Haskell implementation and a System C implementation. The main problem is that the ForSyDe tool ecosystem is implemented across different languages without proper connections between tools. However, a framework to make such connections exists, namely the ForSyDe IO Java supporting library. In addition, any language running on the JVM can already be connected to ForSyDe IO. Hence, the thesis explores how a modeling workbench can be designed as a domain specific language (DSL) in the JVM language Groovy using the Gradle environment. Since there are many modules in the ForSyDe modeling framework, one for each MoC, this thesis targets one module: SDF. This choice is enough to explore whether it is possible to achieve the same modeling that Haskell provides in a JVM language, without sacrificing the user experience while modeling. The resulting Groovy DSL can describe the Synchronous Data-Flow MoC with the purpose of modeling SDF graphs, often used in image processing applications. By using the produced DSL workbench, a designer can model SDF applications in an efficient way. There were some differences when comparing the Groovy DSL to the Haskell implementation, such as the methods for defining actors and connecting them. However, the core modeling concepts are the same. Combining Groovy and Gradle offered an easy way of designing a DSL using the concept of closures. The created Groovy DSL is the first member of a family of textual DSL’s for describing MoC’s and therefore acts as a foundation for future work within the ForSyDe modeling framework. It can be extended to support more modules and functions or to inspire others to develop new DSL’s. / Modellering av system är en grundsten i dagens utveckling av inbyggda system. Beräkningsmodeller möjliggör att beskriva systems egenskaper och funktioner på en hög abstraktionsnivå vilket underlättar den första tiden vid utvecklingen av ett nytt inbyggt system. ForSyDe är ett modelleringsspråk baserat på beräkbarhetsteori. Det synkrona dataflödet (SDF) är en beräkningsmodell som använder sig av aktörer och tokens för att beskriva ett systems kommunikation och bettend. ForSyDe är implementerat i programmeringsspråket Haskell och System C, men är i fortsatt utveckling och grenar ut till andra språk och miljöer. Det huvudsakliga Problemet med ForSyDe är att ramverket saknar bra kopplingar mellan verktygen som erbjuds. Ett ramverk som möjliggör kopplingen mellan verktygen är stöd biblioteket ForSyDe IO och dessutom kan ett språk som kör i Javas virtuella miljö redan kopplas med ForSyDe IO. Därför undersöker uppsatsen hur ett domänspecifikt språk kan skrivas i Groovy i utvecklingsmiljön gradle för att direkt extrahera en ForSyDe IO modell utan att behöva undersöka varje element i modellen. Det finns många moduler i ForSyDe ramverket, en för varje beräkningsmodell och därför menar uppsatsen att undersöka en modul: SDF. Att undersöka SDF modulen anses tillräckligt för att bestämma sig huruvida det är möjligt att uppnå liknande modellering som Haskell erbjuder fast i java miljön, utan att offra användarvänligheten då ett system modelleras. Resultatet blev en Groovy prototyp som kan beskriva SDF-modulen med syftet att modellera SDF-grafer vars funktion ofta används inom bildbehandling. En SDF-graf beskriver ett systems dataflöde och via det resulterande domänspecifika språket kan en utvecklare på ett tillfredsställande sätt beskriva dataflöden i javamiljön. Det visade sig att det resulterande domän specifika språket i Groovy skiljer sig en aning från Haskell i hur man specificerar aktörer och deras kopplingar, men det fundamentala konceptet är detsamma. Groovy i kombination med Gradle erbjöd ett smidigt sätt att programmera ett domänspecifikt språk med hjälp av closures vilket kan användas för framtida bruk inom utvecklingsområdet. Den skapade prototypen är den första medlemmen i en familj av framtida modelleringsspråk som beskriver beräkningsmodeller. Resultatet av projektet utgör en grund för ett fortsatt arbete med att bygga vidare på prototypen, men även för att kunna lägga till fler beräkningsmoduler som i sin tur bidrar med utbyggningen av ramverket ForSyDe.