Diploma thesis deals with the application of unconventional technologies of wire electro discharge machining in the production in the manufacture of punch with a focus on effective use of EDM machines for the manufacture of components with the similar character.

At present, there are different Electronic Identity (eID) systems utilized in EU, resulting in difficulties to carry eID information and transfer eID data of e-learning systems from one EU country to another. A project entitled Secure idenTity acrOss boRders linKed (STORK) was launched to address this problem, by installing a Pan European Proxy Service (PEPS) server. Currently, Logica, a Swedish company, cooperates with Department of Computer and Systems Sciences (DSV) to implement the PEPS at DSV. This thesis aims to build various testing cases for the PEPS server installed at DSV. The PEPS is well-developed and separate packages working together with the Service Provider (SP) and Identity Provider (IDP) to implement its respective functionalities. The tests performed on PEPS are used to test the whole PEPS infrastructure: SP, PEPS and IDP, that is, the communication between these packages. The purpose of implementation of PEPS is to support the Ilearn@DSV to connect with STORK. Hence, the SP in this thesis is Ilearn@DSV system embedded with SP package. This thesis first introduces the background of eID, e-learning and the e-learning system Ilearn@DSV. Then, it describes the test hierarchy and test requirements, and completes data collection step. The details of various test cases are provided for the predetermined test items in test plans. Test plans and test cases must abide by the IEEE test format and meet the IEEE Standard 829-2008. Finally, test cases are validated against depth, breadth and effectiveness. / För närvarande finns det olika elektroniska identitetssystem (eID) som används inom EU, vilket resulterar i svårigheter att använda eID-information och överföra e-lärande systems eID-data från ett EU-land till annat. Projektet Secure idenTity acrOss boRders linKed (STORK) lanserades för att lösa detta problem, genom att installera en Pan European Proxy Service (PEPS)-server. Nu samarbetar Logica, ett svenskt företag, med Institutionen för data- och systemvetenskap (DSV) för att implementera PEPS på DSV. Detta examensarbete syftar till att bygga olika testfall för PEPS-servern installerad hos DSV. PEPS är välutvecklat och separata paket som arbetar tillsammans med Service Provider (SP) och Identity Provider (IDP) för att implementera respektiv funktioner. Testerna som utförs på PEPS används för att testa hela PEPS-infrastrukturen: SP, PEPS och IDP, det vill säga kommunikationen mellan dessa paket. Syftet med implementeringen av PEPS är att stödja Ilearn@DSV för att få kontakt med STORK. Därför är SP i detta examensarbete Ilearn@DSV-systemet inbyggt i SP-paket. Detta examensarbete först introducerar bakgrunden till eID, e-learning och e-learning-systemet Ilearn@DSV. Sedan beskriver den testhierarkin och testkraven och slutför datainsamlingssteget. Detaljerna för olika testfall tillhandahålls för de förutbestämda testobjekten i testplanerna. Testplaner och testfall får följa IEEE-testformatet och uppfylla IEEE Standard 829-2008. Slutligen valideras testfall mot djup, bredd och effektivitet.

Gymnasieskolor har fått kritik av Skolinspektionen (2010) för avsaknad av individanpassning av matematikundervisningen och det saknas tid för elever till reflektion över olika matematikfenomen och inlärningssätt. Det här Syftet med detta examensarbete är att sammanställa aktuell forskningslitteratur som behandlar elevers individuella inlärningsstilar (här kallad lärstilar) för att öka kunskapen hos lärare och blivande lärare huruvida lärstilar har betydelse för elevers inlärning och lärastilars betydelse för organisation av matematikundervisningen. Följande frågeställningar analyseras utifrån litteraturen: Hur kan olika lärstilar klassificeras? Vilka tester används för att fastställa olika lärstilar? På vilket sätt kan olikhet i lärstilar få konsekvenser för hur lärare bör planera och organisera matematikundervisningen? Mina resultat pekar på att det finns en mängd av konkurreande lärstilsteorier men visar trots det på att det går att hitta gemensamma nämnare för klassificering av de olika teoriernas lärstilar. De tester som har identifierats är LSI (Kolb´s lärstilsteori) och PEPS (Dunn´s lärstilsteori), vilkas validitet kritiseras och kontinuerliga omarbetningar av testerna utförs. Lästilsteorierna baserar sig på att elever lär sig bäst genom undervisning anpassad efter elevernas olika lärstilar, vilket betyder att läraren behöver ta hänsyn till anpassning i form av olika faktorer såsom miljöfaktorer, emotionella faktorer, sociala faktorer osv. En klass består oftast av elever med olika lärstilar och en konsekvens är att läraren behöver använda olika undervisningsmetoder och matematikundervisningen kan i och med det bli mer omväxlande och därigenom öka lusten för matematikstudier. Min studie pekar också på att lärstilsteorierna ger matematiklärare möjlighet att reflektera över individanpassning av matematikundervisningen.

The digital revolution has introduced several tools for structural engineers in the form of computer programs. These computer tools have partly transformed the role of structural engineers from their performing manual calculations to using different computer programs, evaluating the results, and checking codes.  Advanced computer-based calculation programs are often relied on when dimensioning structural parts. However, these are associated with certain consequences, especially when using black box software, which increases the need for an estimated model.  The purpose of this paper is to examine how the design of a concrete slab is estimated and how the results of such an estimate calculation relate to the results from computer calculations. The research method involves three main steps: gathering facts from references to learn how to design a concrete slab; developing a calculation model; and learning how to use PEPS, which is a type of black box software for performing calculations. In the analysis, PEPS is compared with manual calculations and the following conclusions are drawn based on the results: The estimate dimensioning of an edge-stiffened concrete slab can be simplified by using the equilibrium equation based on the edge beam. Results from this simplified method will differ from results produced by the computer program.  Simplified calculations are used to check the reasonableness of the PEPS results: Although PEPS indicates the cause of the bearing capacity of the concrete slab, the program fails to demonstrate how the results are calculated. / Den digitala revolutionen har fått till följd att det utvecklats en mängd olika datorverktyg som konstruktörer använder i konstruktionsarbetet. Dessa datorverktyg har förändrat konstruktörens roll från att använda handberäkningar till att använda olika dataprogram som hjälper till med utvärdering av resultat och kontroll av koder.  Vid dimensionering av bärverksdelar är det vanligt förekommande att i hög grad förlita sig på avancerade datorbaserade beräkningsprogram. Det finns dock konsekvenser med det, särskilt vid användning av blackbox-mjukvaror, vilket gör att behovet av överslagsberäkning ökar. För att undvika inkorrekt konstruktionsdesign behöver konstruktörer därmed ett sätt att kunna kontrollera rimligheten av de resultat som framkommer med hjälp av dataprogram. Syftet med detta arbete är att undersöka hur konstruktionen platta på mark kan överslagdimensioneras, samt undersöka hur resultaten av sådan överslagsdimensionering förhåller sig till resultat från datorberäkningar med etablerade mjukvaror. Metoden innehåller tre huvudmoment: 1) genomförandet av en litteraturstudie för att lära sig handberäkna grundplattor, 2) framtagningen av en beräkningsmodell för överslagsberäkning samt 3) lära sig använda PEPS som är ett beräkningsprogram som kan användas vid dimensionering av betongplatta. Programmet verkar vara en blackbox-mjukvara. I resultat- och analysdelen jämförs PEPS med handberäkningar och följande slutsatser dras utifrån resultaten: En överslagsdimensionering av kantförstyvad platta på mark kan utföras med hjälp av jämviktsekvation baserad på kantbalken. Resultaten från denna förenklade överlagsmetod skiljer sig från resultaten i själva PEPS programmet. Överslagsberäkningar bör användas för att kontrollera rimligheten för PEPS resultaten. PEPS visar orsaken till bärförmågan i grundplattor, däremot visar programmet inte hur resultaten räknas fram.  Ökningen av bärförmågan hos platta på mark kan ske på olika sätt beroende på lasttyp (linje- och punktlast) samt vilken placering denna last har. Genom att ha en bättre förståelse för konstruktionens verkningssätt är det möjligt att designa platta på mark på ett mer materialeffektivt sätt.

Supervisor at Deutsches Elektronen-Synchrotron (DESY) in Zeuthen: Dr. Habil. Karl Jansen / Mit Tensor Netzwerken (TN) untersuchen wir auf einem hexagonalen Gitter das Hubbard-Modell mit einem chemischen Potential. Wir zeigen, dass ein TN als Ansatz für die Zustände des Modells benutzt werden kann und präsentieren die berechneten Eigenschaften bei niedrigen Energien. Unser Algorithmus wendet eine imaginäre Zeitentwicklung auf einen fermionischen projected engangled pair state (PEPS) auf einem endlichen Gitter mit offenen Randbedingungen an. Der Ansatz kann auf einen spezifischen fermionischen Paritätssektor beschränkt werden, was es uns ermöglicht, den Grundzustand und den Zustand mit einem Elektron weniger zu simulieren. Mehrere in unserer Arbeit entwickelte Verbesserungen des Algorithmus führen zu einer erheblichen Steigerung der Effizienz und Genauigkeit. Wir messen Erwartungswerte mit Hilfe eines boundary matrix product state. Wir zeigen, dass Observablen in dieser Näherung mit einer weniger starken Trunkierung, als in der Literatur erwartet wird, berechnet werden können. Dies führt zu einer erheblichen Reduzierung der numerischen Kosten des Algorithmus. Für verschiedene Stärken der lokalen Wechselwirkung, sowie für mehrere chemische Potentiale berechnen wir die Energie, die Teilchenzahl und die Magnetisierung mit guter Genauigkeit. Wir zeigen die Abhängigkeit der Teilchenzahl vom chemischen Potential und berechnen die Energielücke. Wir demonstrieren die Skalierbarkeit zu großen Gittern mit bis zu 30 × 15 Gitterpunkten und machen Vorhersagen in einem Teil des Phasenraums, der für Monte-Carlo nicht zugänglich ist. Allerdings finden wir auch Limitierungen des Algorithmus aufgrund von Instabilitäten, die die Berechnungen im Paritätssektor behindern, welcher orthogonal zum Grundzustand ist. Wir diskutieren Ursachen und Indikatoren und schlagen Lösungen vor. Unsere Arbeit bestätigt, dass TN genutzt werden können, um den niederenergetischen Sektors des Modells zu erforschen. Dies eröffnet den Weg zu einem umfassenden Verständnis des Phasendiagramms. / Using tensor network (TN) techniques, we study the Hubbard model on a honeycomb lattice with a chemical potential, which models the electron structure of graphene. In contrast to Monte Carlo methods, TN algorithms do not suffer from the sign problem when a chemical potential is present. We demonstrate that a tensor network state can be used to simulate the model and present the calculated low energy properties of the Hubbard model. Our algorithm applies an imaginary time evolution to a fermionic projected entangled pair state (PEPS) on a finite lattice with open boundary conditions. The ansatz can be restricted to a specific fermionic parity sector which allows us to simulate the ground state and the state with one electron less. Several improvements of the algorithm developed in our work lead to a substantial performance increase of the efficiency and precision. We measure expectation values with a boundary matrix product state and show that observables can be calculated with a lower bond dimension of this approximation than expected from the literature. This decreases the numerical costs of the algorithm significantly. For varying onsite interactions and chemical potentials we calculate the energy, particle number and magnetization with good precision. We show the dependence of the particle number on the chemical potential and compute the single particle gap. We demonstrate the scalability to large lattices of up to 30 × 15 sites and make predictions in a part of the phase space that is not accessible to Monte Carlo methods. However, we also find limitations of the algorithm due to instabilities that spoil the calculations in the parity sector orthogonal to the ground state. We discuss the causes and indicators of such instabilities and propose solutions. Our work validates that TNs can be utilized to study the low energy properties of the Hubbard model on a honeycomb lattice with a chemical potential, thus opening the road to finally understand its phase diagram.