This thesis is written on behalf of Skanska, Väg- och Anläggning Stockholm Mälardalen, vid Nya Karolinska Sjukhuset i Solna, NKS. The report has resulted in recommendations for the method of soil stabilizations of soil nailing, excavation of slope and fiber reinforced shotcrete, which is the most suitable method from a safety and a cost point at the NKS. The aim of this thesis was to investigate whether fiber reinforced shotcrete increases slope stability, with the focus being on the total stability. The main goal was to investigate which method of soil stabilization is the most suitable for the slopes that are analyzed in this report. Through studying literature, the authors have gained an understanding about the theoretical background for the given problem. Through calculations and analyses of the slopes, safety factors have been acquired. These, factors of safety, have then been compared with requirements under Skredkommisionen. The costs of each method of soil stabilization have been calculated. The factor of safety and the cost for each method have been compared, to be able to give recommendations which method is more suitable of the two. The results show that excavation of slope satisfies the requirements for slope stability at the lowest cost. / Examensarbetet görs på uppdrag av Skanska, Väg- och Anläggning Stockholm Mälardalen, vid Nya Karolinska Sjukhuset i Solna, NKS. Arbetet har resulterat i rekommendationer för vilken jordförstärkningsmetod av jordspikning, traditionell släntning och fiberarmerad sprutbetong som lämpar sig bäst ur säkerhets- och kostnadssynpunkt på NKS.   Syftet har varit att utreda om fiberarmerad sprutbetong ger något bidrag till släntstabiliteten, med inriktning på totalstabilitet. Målet har varit att utröna vilken jordförstärkningsmetod som lämpar sig bäst för de undersökta slänterna. Genom litteraturstudier har författarna bildat en uppfattning om den teoretiska bakgrunden för det givna problemet. Genom beräkningar och anlyser av slänterna, har säkerhetsfaktorer tagits fram. Dessa har sedan jämförts med krav enligt Skredkommisionen. För varje jordförstärkningsmetod har kostnader beräknats. Säkerhetsfaktorn samt kostnader för respektive metod har jämförts, för att kunna ge en rekommendation för vilken metod som är mest lämplig ur dessa två aspekter. Resultatet visar att traditionell släntning uppfyller kravet på släntstabilitet till den lägsta kostnaden.

Automated Guided Vehicles, AGV:er, används i huvudsak som monteringsplattform inom tung fordonsindustri. En AGV kan användas vid montering av motorer, växellådor och chas-sin. AGV:n transporterar produkten genom en slinga i fabriken, där produkten monteras. Idag säljs AGV:n med ett löfte om femfaldig säkerhet mot brott för alla de ingående komponenter-na. AGV:n är konstruerad för att bära upp en last på maximalt 1800 kg, med säkerhetsfaktorn inkluderad. Lastens tyngdpunkt tillåts ligga en meter ut från infästningen som kopplar sam-man AGV:n med lasten. I arbetet illustreras lasten av en fiktiv motor, som väger 1800 kg med tyngdpunkten placerad en meter ut från infästningen. I detta arbete undersöks om konstruktionen av kopplingen, som kopplar samman motorn med AGV:n, lever upp till utlovad säkerhet. De delar som, i huvudsak, utgör kopplingen mellan AGV och motor är fixtur, kamskiva samt adapterplatta. Fixturen och kamskiva är monterade på AGV:n, adapterplattan monteras temporärt på motorn. Adapterplattan har tre klackar som sammanlänkar den med fixturen. För att avgöra hur väl kopplingen lever upp till femfaldig säkerhet mot brott, kartläggs de krafter som verkar i kopplingen. Dessa krafter ligger till grund för de FE-analyser som utreder kopplingens spänningsfördelning. Utifrån FE-analyser och analytiska beräkningar av kopp-lingen bestäms hållfasthetsegenskaperna. Kopplingens komponenter har, generellt, goda hållfasthetsegenskaper som lever upp till fem-faldig säkerhet mot brott. Resultaten visar att vissa komponenter har tiofaldig säkerhet mot brott vid belastning med den 1800 kg tunga motorn. Dock visar beräkningar av skruvför-banden i kopplingen på brister som bör åtgärdas. Skruvförbanden i fixturens klackar understi-ger de krav, som baseras på säkerhetsfaktorn. Under förstudien uppdagas det att fixturen, på vissa AGV:er, monterats med skruvar med lägre hållfasthetsklass än vad som står angivet på ritningsunderlaget. Detta medför en allvar-ligt sänkt säkerhet för kopplingen. Orsaken till att fel skruvar använts är inte känd. Ett arbets-sätt för att förhindra fel skruv vid montering bör finnas. I arbetet studeras Arbetsmiljöverkets föreskrift ”AFS 2008:3 – Maskiner” vilken har legat till grund vid val av säkerhetsfaktor för konstruktionen. Utifrån studien av AFS 2008:3 genom-förs ett försök till att tolka den säkerhetsfaktor som gäller för kopplingen. Resultaten av denna rapport kan ligga till grund för ett fortsatt arbete, då en vidareutveckling av kopplingen blir aktuell. / Automated Guided Vehicles, AGV´s, are mainly used as a mounting platform in the heavy vehicle industry. An AGV is commonly used in the assembly process of; engines, gearboxes and chassis. The AGV transports the product through a predefined trail in the plant where the product is mounted. Today the AGV is being sold with a promise, from the manufacturer, that the construction is engineered with a safety factor five, against fracture, for any component in the AGV. It is engineered to support loads to a maximum of 1800 kg, with this safety factor included. The center of gravity is allowed to be one meter out from the mount that connects AGV with the supported load. This work investigates if the coupling, which connects the supported engine with the AGV, meets safety requirements. The coupling consists three main parts; fixture, cam-disk and an adapter plate. The fixture and cam-disk is mounted on the AGV, and the adapter plate is tem-porarily mounted on the engine. The adapter plate has three so called “heels” that links it with the fixture. To determine how well the coupling meets the safety requirements, the forces acting in the structure, while the AGV is loaded, is calculated. The work load is illustrated by a fictional engine, weighing 1800 kg with its center of gravity placed one meter out from the mount. These forces form the basis for the FE-analyzes, investigating the coupling strength proper-ties. Knowing the couplings strength properties, conclusions if the coupling meets the safety requirements can be adopted. The coupling component has, in general, good strength properties that meet the safety re-quirement of five-times security. The results show that some components have tenfold safety, while the AGV carries a load of 1800 kg. Calculations show that the screw connections of the fixture don’t meet the safety requirement and needs to be further investigated. The pilot study revealed that the fixture, for some AGVs, has been assembled with wrong screws. Instead of 10.9-screws, 8.8-screws were used. This leads to a serious consequence of reduced security for the construction. The cause of why fault screw was used is not known. One approach to prevent wrong screw is highlighted as suggestions for improvement. To understand why such a high security factor as five is chosen, the regulations “AFS 2008:3 – maskiner” that formed the basis for selecting the safety factor is studied. The study has been a basis for the conclusions for this work. The results of this survey may serve as a basis for further work, when further development of the coupling is relevant.

Verification of knowledge-bases is a critical step to ensure the quality of a knowledge-based system. The success of these systems depends heavily on how qualitative the knowledge is. Manual verification is however cumbersome and error prone, especially for large knowledge-bases. This thesis provides a design theory, based upon the suggested framework by Gregor and Jones (2007). The theory proposes a general design of automated verification tools, which have the abilities of verifying heuristic knowledge in rule-based systems utilizing certainty factors. Included is a verification of completeness and consistency technique customized to this class of knowledge-based systems. The design theory is instantiated in a real-world verification tool development project at Uppsala University. Considerable attention is given to the design and implementation of this artifact – uncovering issues and considerations involved in the development process. For the knowledge management practitioner, this thesis offers guidance and recommendations for automated verification tool development projects. For the IS research community, the thesis contributes with extensions of existing design theory, and reveals some of the complexity involved with verification of a specific rule-based system utilizing certainty factors.

I dagens samhälle spelar miljön en viktig roll, både för hur miljön skall bevaras och hur miljöproblem kan undvikas. Med detta uppmanas allt fler människor ha en större miljömedvetenhet. Miljöproblemet är ytterst märkbart i infrastrukturen och främst transporter av dess olika slag. Större fordon, såsom lastbilar, färdas långa sträckor för att transportera gods som i sin tur ökar bränsleförbrukning och gör att utsläppen blir allt mer. Genom att öka lasten, per transporterad enhet, på de tyngre fordonen så kan bränsleförbrukningen minskas. Företaget Parator Industri AB som tillverkar lastbilstrailers är med i ett HCT-projekt (High Capacity Transport) där de tillsammans med andra involverade företag ska ta fram en ny konstruktion av tyngre fordon med ett hållbarhetstänk.Syftet med detta examensarbete är att är att ta fram en lösning för kombination av en lastbil med kopplat släp vilket senare kommer utgöra produktionsunderlaget till företaget Parator. Detta genom att hjälpa företaget konstruera en ny DUO-trailern som kommer bestå av två chassin som ska sammanfogas och som kommer transportera containrar med gods i. Genom aktionsforskning med fokus på intervjuer och observationer, har vetenskapliga källor samlats in. Detta kombineras med modellering på dataprogrammet SolidWorks där 3D-modellering av den nya konstruktionen utförs. Med överslagsberäkning beräknas hållfastheten fram på den nya trailerns infästningar. Även ett nytt produktionsunderlag, med tillhörande materiallista och ritningar har tagits fram i rapporten. Studien har vidare analyserat huruvida de tillämpade tillverkningsmetoderna samt monteringar kan vara hållbara ur ett produktionsperspektiv. / Today the environment is a common question and how to reduce emissions into nature. With this more people are encouraged to have an environmental mindset. Mostly the environmental damage comes from the transport with different kinds of vehicles and their exhaust gas. Larger vehicles, such as trucks, travel long distances to deliver goods which increases fuel consumption and increases emissions. By increasing the load, per transported unit on the heavier vehicles, fuel consumption can be reduced. The company Parator Industry AB that designs truck-trailers is involved in an HCT-project (High Capacity Transport) together with other companies where the goal for the company is to achieve a more sustainable production material and have less impact on nature.The purpose of this study is to find a solution for a combination of the truck connected with a trailer which will later form the production basis for the company Parator. This by helping the company design a new DUO-trailer which will consist of two chassis to be joined and will transport containers with goods. Through action research with a focus on interviews and observations, scientific sources can be collected. This will be combined with modeling on the computer program SolidWorks where 3Dmodeling of the new design is performed.Estimated value of the design is done for the new attachments. The study also contains a production base with produced drawings and material list. The study also analyzes the relevance of the calculated values and if they will be sustainable in the future.

Concrete buttress dams are the most common type of concrete dams for hydropower production in Sweden. Cracks have been observed in some of the them. However, only limited research has been made concerning the influence of these cracks on the structural dam safety. In conventional analytical stability calculations, a concrete dam is assumed to be a rigid body when its safety is verified. However, when cracks have been identified in a dam structure, the stability may be influenced and hence the information of cracks may need to be included in the stability calculations. The main aim of this project is to study how existing cracks and further propagation of these cracks, influence the structural dam safety. Another important topic was to study suitable methods to analyse a concrete dam to failure. In addition, a case study is performed in order to capture the real failure mode of a concrete buttress dam. The case study that has been studied is based on a previous project presented by Malm and Ansell (2011), where existing cracks were identified in a 40m high monolith, as a result from seasonal temperature variations. Two similar models are analysed where one model is defined with an irregular rock-concrete interface, and the other with a horizontal interface. Analyses have been performed on both an uncracked concrete dam but also for the case where information regarding existing cracks, from the previous project, have been included in order to evaluate the influence of cracks on the dam safety. The finite element method has been used as the main analysis tool, through the use of the commercially available software package Abaqus. The finite element models included nonlinear material behaviour and a loading approach for successively increasing forces called overloading, when performing progressive failure analyses. The results show that existing cracks and propagation of these resulted, in this case, in an increased structural safety of the studied dam. Furthermore, an internal failure mode is captured. The irregular rock-concrete interface has a favourable effect on a sliding failure and an unfavourable effect on an overturning failure, compared to the case with the horizontal interface. Based on the results, the structural safety and the failure mode of concrete buttress dams are influenced by existing cracks. Although an increased safety is obtained in this study, the results do not necessarily apply for other monoliths of similar type. It is thus important that existing cracks are considered in stability analyses of concrete buttress dams. / Lamelldammar är den vanligaste typen av betongdammar för vattenkraft produktion i Sverige. I vissa av dessa har sprickbildning observerats. Begränsad forskning har gjorts på hur dessa sprickor påverkar dammens säkerhet. I de vedertagna analytiska stabilitetsberäkningarna antas att betongdammar agerar som en stel kropp när man verifierar dess säkerhet. Befintliga sprickor i en damm kropp kan dock påverka dess stabilitet och kan därför behöva beaktas i stabilitetsberäkningarna. Huvudsyftet med detta projekt är att studera hur befintliga sprickor och dess propageringen påverkar dammsäkerheten. Ett annat viktigt syfte är att studera lämpliga metoder för att analysera en betongdamm till brott. Dessutom, genomförs en fallstudie i syfte att analysera ett verkligt brottförlopp av en lamelldamm. Fallstudien som utförs i detta projekt, baseras på ett tidigare projekt utfört av Malm and Ansell (2011), där befintliga sprickor identifierades i en monolit på 40m som ett resultat av temperaturvariationer. Två modeller med snarlik geometri har analyserats, där den ena är definierad med en med oregelbunden kontaktyta mellan berg och betong och den andra med en horisontell kontaktyta. Analyserna har utförts på dels en osprucken damm men även där information om befintliga sprickor från det tidigare projektet beaktas, i syfte att jämföra inverkan av sprickor på dammsäkerheten. Finita element metoden har använts som verktyg vid dessa analyser, genom det kommersiellt använda programmet Abaqus. De finita element modellerna inkluderar icke-linjära material egenskaper hos betong och armering samt baseras på en metod för successiv belastning, som kallas 'overloading', vid analys av brottförloppet. Resultatet visar att befintliga sprickor och propageringen av dessa i detta fall kan leda till ökad säkerhet hos den studerade dammen jämfört mot fallet utan beaktande av sprickbildning. Utöver detta fångas även ett inre brottmod. Den oregelbundna kontaktytan mellan betongen och berget har en gynnsam effekt vid ett glidbrott men en ogynnsam inverkan vid ett stjälpningsbrott, i jämförelse med fallet med en horisontell kontaktyta. Baserat på dessa resultat så påverkas dammens säkerhet och brottetförloppet hos lamelldammen utav befintliga sprickor. Även om en ökad säkerhet fås i denna studie är det inte säkert att detta stämmer för andra monoliter av samma slag. Dock är det viktigt att hänsyn tas till befintliga sprickor i stabilitets analyser av lamelldammar.