- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 21 to 29 of 29 (0.06 seconds)| 21 |
Model checking compositional Markov systemsJohr, Sven January 2007 (has links)
Zugl.: Saarbrücken, Univ., Diss., 2007
|
| 22 |
Quantifying Dislocation MicrostructuresSteinberger, Dominik 28 August 2020 (has links)
In this work, we reconstructed and full characterized a dislocation microstructure that formed during an in situ micro-cantilever beam experiment. Based on this information, we were then able to infer how the dislocations propagated from the notch into the specimen.
We propose using the so-called 'discrete-to-continuous' (D2C) method, which converts discrete dislocation data to continuum fields, as a means to quantify microstructures. With this method, we studied how different methods of initializing the microstructure in discrete dislocation dynamics simulations affects the resulting microstructure. We found that not considering cross-slip leads to very different microstructures, and that cross-slip results in more similar microstructures.
Further, we used the continuum fields extracted via the D2C methods as input features for machine learning models for the classification of dislocation microstructures in nanoparticles. We found them to be well suited and that the combination of continuum fields is dependent on whether the microstructure is dominated by statistically stored or geometrically necessary dislocations.
|
| 23 |
Kvalitetsarbete inom ett industriföretag : Struktur för ett företagsanpassat ledningssystem utifrån ISO 9000:s kvalitetsprinciper / : Structure of a corporate adapted management system based on ISO 9000's quality principlesMaras, Bruno, Qvarfordt, Peter January 2019 (has links)
The purpose of the thesis is to identify how a structure for a management system can be designed for a small industrial company based on the seven quality principles that are described in ISO 9000:2015 – fundamental concepts and principles of quality management. The aim of the thesis is to map the reference company's current situation and analyse the gap between the current situation and the quality principles. The thesis also aims to create a plan for the implementation, control and stabilisation of the proposed structure for a management system within the chosen industrial company. The theoretical selection is based on total quality management and the seven quality principles defined in ISO 9000. The case study is carried out via a qualitative strategy, where qualitative data contributes to formulating assumptions and hypotheses. Quantitative tools such as survey and self-assessment are used to identify the reference company's current situation. Qualitative tools such as document review, observations, a focus group and a group interview are used to investigate the studied phenomenon in the company more thoroughly. The study concludes that the company's current quality work is not based on any systematic working method or clear customer focus. The culture within the company is characterized by a commitment to work with quality, but the company lacks a structure to do this. The proposed structure for a corporate adapted management system is based on the process-based system model, which has been modified to include definitions of the company's risks and opportunities and the management's review. A plan for the implementation, control and stabilisation of the proposed structure is compiled and introduced in the company's reviewed strategy for work with quality. The plan's cyclical design reinforces the recurring improvement work based on the iterative four-step management method that is used for control and continuous improvement of processes and products. / Författarnas syfte med examensarbetet har varit att identifiera hur en struktur till ett företagsanpassat ledningssystem kan utformas i mindre industriföretag, utifrån de sju kvalitetsprinciperna som definieras i ISO 9000. Målet med examensarbetet har varit att kartlägga referensföretagets nuläge och analysera gapet mellan nuläget samt kvalitetsprinciperna. Målet har även varit att redovisa en plan för genomförande, uppföljning och säkring av den föreslagna strukturen för ledningssystemet inom det valda industriföretaget. Det teoretiska urvalet har sin utgångspunkt i det offensiva kvalitetsarbetet och de sju kvalitetsprinciperna som definieras inom ISO 9000. Fallstudien har genomförts via en kvalitativ strategi, där kvalitativa data har bidragit till formulering av antaganden och hypoteser. Författarna valde att använda kvalitativa verktyg såsom enkätundersökning och självskattning för att identifiera referensföretagets nuläge. Tillämpning av kvalitativa verktygen såsom dokumentgranskning, observationer, fokusgrupp och gruppintervju möjliggjorde en mer djupgående undersökningen av det studerade fenomenet. De slutsatser som författarna har kommit fram till är att företagets nuvarande kvalitetsarbete inte utgår ifrån något systematiskt arbetssätt eller ett tydligt kundfokus. Kulturen inom företaget kännetecknas dock av en vilja att jobba med kvalitet men det saknas en struktur för detta arbete. Författarnas föreslagna struktur för det företagsanpassade ledningssystemet bygger på den processbaserade systemmodellen (PBSM) som har modifierats till att omfatta definitioner av företagets risker och möjligheter samt ledningens genomgång. En plan för genomförande, uppföljning och säkring av den föreslagna strukturen har sammanställts och införts i företagets reviderade strategi för det interna kvalitetsarbetet. Planens cykliska utformning förstärker det återkommande förbättringsarbetet utifrån PDCA-cykeln.
|
| 24 |
A Formal Fault Model for Component-Based Models of Embedded SystemsFischer, Marco 14 May 2007 (has links) (PDF)
Der vierte Band der wissenschaftlichen Schriftenreihe Eingebettete Selbstorganisierende Systeme widmet sich der Entwicklung von Fehlermodellen für eingebettete, verteilte Multi – Prozessorsysteme.
Diese werden zu einem hierarchischen Netzwerk zur Steuerung von Flugzeugen (Avionik) verbunden und mehr und mehr im Automotive Bereich eingesetzt. Hier gilt es höchste Sicherheitsstandards einzuhalten und maximale Verfügbarkeit zu garantieren.
Herr Fischer integriert die Modellierung von möglichen Fehlern in den Entwurfsprozess. Auf Grundlage des π-Kalküls entwickelt Herr Fischer ein formales Fehlermodell, das eine einheitliche Modellierung von Fehlerfällen unterstützt. Dabei werden interessante Bezüge zur Bi-Simulation sowie zu Methoden des Modell Checkings hergestellt.
Die theoretischen Ergebnisse werden an einem komplexen Beispiel anschaulich illustriert. So kann der Leser die Mächtigkeit des entwickelten Ansatzes nachvollziehen und wird motiviert, die entwickelte Methodik auf weitere Anwendungsfälle zu übertragen. / The 4th volume of the scientific series Eingebettete, selbstorganisierende Systeme (Embedded Self-Organized Systems) outlines the design of fault models for embedded distributed multi processor systems. These multi processor systems will be connected to a hierarchical network to control airplanes (avionics) and also be used more and more in the automotive area. Here it is essential to meet highest safety standards and to ensure the maximum of availability. Mr Fischer integrates the modelling of potential faults into the design process. Based on the pi-calculus, he develops a formal framework, which supports a standardised modelling of faults. Thereby, interesting connections to the Bi-Simulation as well as to methods of the Model checking are established. The theoretical results are depicted on a complex example. So it is possible for the reader to understand the complexity of this approach and is motivated to use the developed methodology in other applications.
I am glad that Mr Fischer publishes his important research in this scientific series.
|
| 25 |
Att kunna skapa en tillgänglig fysisk miljö : - en fallstudie om faktorer och hänsynstaganden i en konceptförskolas byggprocess / To be able to create an accessible physical environment : - a case study on factors and considerations in a concept preschool's construction processLinerstad, Alina January 2021 (has links)
Studiens syfte var att undersöka vilka faktorer och hänsynstaganden som legat till grund i en byggprocess när en ny konceptförskola planerats i relation till barns utveckling och lärande i den fysiska miljön. Genom en fallstudie har en specifik byggprocess undersökts genom semistrukturerade digitala intervjuer tillsammans med två förskolerektorer, en lokalplanerare, en tillgänglighetssakkunnig samt byggentreprenadens projektledare och två arkitekter som ses som byggprocessens nyckelpersoner. En av konceptförskolornas verksamma förskollärare är också delaktig i studien. Resultatet visar på att byggprocessen tog hänsyn till yttre faktorer som barnanpassad och flexibel interiör och glasdörrar för transparens, neutrala färgkombinationer och en tillgänglig utomhusmiljö för att skapa en fysiskt tillgänglig, trygg och inkluderande konceptförskola för alla barn oavsett ålder eller motoriska förmågor. Specifika platser i konceptförskolan har visat sig fungerar både bra och mindre bra. Resultatet har analyserats tillsammans med en relationell dynamisk systemteori och en ekologisk systemmodell som tillsammans belyser hur den fysiska miljön skapar eller hindrar meningserbjudanden och proximala processer, samt hur de beslut som tas i exosystemet påverkar barnets möjligheter till utveckling och lärande. Slutsatserna är att det är viktigt att i det tidiga förstadiet noga diskutera vem konceptförskolan byggs för, vilka kunskaper beslut grundas på och analysera hur detta kommer att påverka barnet. Att redan tidigt i byggprocessen inkludera konceptförskolans brukares perspektiv kan gynna slutprodukten för att undvika misstag som inte går att förändra i efterhand. Vidare är det viktigt att planlösningen fungerar för att skapa tillgängliga och trygga fysiska miljöer som främjar barns utveckling och lärande men också för att bidra till en bättre arbetsmiljö för pedagogerna. / The purpose of the study was to investigate the factors and considerations that formed the basis of a construction process when a new concept preschool was planned in relation to children's development and learning in the physical environment. Through a case study, a specific construction process has been investigated through semi-structured digital interviews together with two preschool principals, a local planner, an accessibility expert and the construction project manager and two architects who are seen as the construction process's key people. One of the concept preschools' active preschool teachers is also involved in the study. The results show that the construction process took into account external factors such as child-friendly and flexible interiors and glass doors for transparency, neutral color combinations and an accessible outdoor environment to create a physically accessible, safe and inclusive concept preschool for all children regardless of age or motor skills. Specific places in the concept preschool have been shown to work both well and less well. The results have been analyzed together with a relational dynamic systems theory and an ecological systems model that together shed light on how the physical environment creates or hinders meaning offers and proximal processes, and how the decisions made in the exosystem affect the child's opportunities for development and learning. The conclusions are that it is important in the early pre-school to carefully discuss who the concept preschool is built for, what knowledge decisions are based on and analyze how this will affect the child. Including the concept preschool users' perspectives early in the construction process can benefit the end product in order to avoid mistakes that cannot be changed afterwards. Furthermore, it is important that the floor plan works to create accessible and safe physical environments that promote children's development and learning, but also to contribute to a better working environment for educators.
|
| 26 |
A Formal Fault Model for Component-Based Models of Embedded SystemsFischer, Marco 14 May 2007 (has links)
Der vierte Band der wissenschaftlichen Schriftenreihe Eingebettete Selbstorganisierende Systeme widmet sich der Entwicklung von Fehlermodellen für eingebettete, verteilte Multi – Prozessorsysteme.
Diese werden zu einem hierarchischen Netzwerk zur Steuerung von Flugzeugen (Avionik) verbunden und mehr und mehr im Automotive Bereich eingesetzt. Hier gilt es höchste Sicherheitsstandards einzuhalten und maximale Verfügbarkeit zu garantieren.
Herr Fischer integriert die Modellierung von möglichen Fehlern in den Entwurfsprozess. Auf Grundlage des π-Kalküls entwickelt Herr Fischer ein formales Fehlermodell, das eine einheitliche Modellierung von Fehlerfällen unterstützt. Dabei werden interessante Bezüge zur Bi-Simulation sowie zu Methoden des Modell Checkings hergestellt.
Die theoretischen Ergebnisse werden an einem komplexen Beispiel anschaulich illustriert. So kann der Leser die Mächtigkeit des entwickelten Ansatzes nachvollziehen und wird motiviert, die entwickelte Methodik auf weitere Anwendungsfälle zu übertragen. / The 4th volume of the scientific series Eingebettete, selbstorganisierende Systeme (Embedded Self-Organized Systems) outlines the design of fault models for embedded distributed multi processor systems. These multi processor systems will be connected to a hierarchical network to control airplanes (avionics) and also be used more and more in the automotive area. Here it is essential to meet highest safety standards and to ensure the maximum of availability. Mr Fischer integrates the modelling of potential faults into the design process. Based on the pi-calculus, he develops a formal framework, which supports a standardised modelling of faults. Thereby, interesting connections to the Bi-Simulation as well as to methods of the Model checking are established. The theoretical results are depicted on a complex example. So it is possible for the reader to understand the complexity of this approach and is motivated to use the developed methodology in other applications.
I am glad that Mr Fischer publishes his important research in this scientific series.
|
| 27 |
Att förstå arbetssättet med identifiering av hållbarhetsmål : En studie i kvalitetsteknik utförd vid LKAB / Making sense of the methodology of identifying sustainability goals in a production companyRydberg, William January 2021 (has links)
Syftet med denna studie är att lämna förslag till Luossavaara-Kiirunavaara aktiebolags (LKAB i fortsättningen) arbetssätt för framtagning av hållbarhetsmål på koncernnivå. Två frågeställningar har konstruerats för att kunna besvara studiens syfte. Frågeställningarna undersöker hur LKAB arbetar idag med att ta fram hållbarhetsmål på koncernnivå och hur ett optimerat arbetssätt med framtagning av hållbarhetsmål skulle kunna se ut. Datainsamlingen består av intervjuer med olika medarbetare som på ett eller annat sätt har varit involverade i framtagning av förslag till hållbara mål. Resultatet visar att LKAB har arbetet med identifieringen av hållbarhetsmål utifrån ett projektbaserat arbetssätt. Detta är studiens första slutsats. Analysen visar att arbetssättet med framtagning av koncernmål skulle kunna genomföras utifrån ett processbaserat arbetssätt. Analysen och diskussionen i den här studien visar att ett optimerat arbetssätt skulle kunna uppnås genom att dela huvudprocessen till två och utveckla ett processbaserat arbetssätt för varje huvudprocess. Detta är studiens andra slutsats. / The purpose of this study is to submit proposals to the company Luossavaara-Kiirunavaara (LKAB) and its mythology of identifying sustainability goals at group level. two questions have been created in order to be able to answer the study´s purpose. The questions examine LKAB´s mythology of identifying sustainability goals at group level and how an optimized mythology of identifying sustainability goals could look like. The data collection consists of interviews with various employees who have been involved in the identifying of sustainability goals. The results shows that LKAB´s mythology of identifying sustainability goals has formed on a project-based approach. This is the first conclusion of this study. The analysis shows that the mythology of identifying sustainability goals could be implemented with a process-based mythology. The analysis and the discussion in this study show that an optimized mythology could be achieved by dividing the main process into two main processes and developing a process-based mythology for each main process. This is the second conclusion of this study.
|
| 28 |
MEMS-Laser-Display-System / MEMS Laser Display SystemSpecht, Hendrik 19 October 2011 (has links) (PDF)
In der vorliegenden Arbeit werden die im Zusammenhang mit der Strahlablenkung stehenden Systemaspekte der auf MEMS-Scanner basierenden Laser-Display-Technologie theoretisch analysiert und aus den Ergebnissen die praktische Implementierung eines Laser-Display-Systems als Testplattform vorgenommen. Dabei werden mit einem Ansatz auf Basis zweier 1D-Scanner und einem weiteren Ansatz mit einem 2D-Scanner zwei Varianten realisiert. Darüber hinaus erfolgt die Entwicklung eines bildbasierten Multiparametertestverfahrens, welches sowohl für den Test komplettierter Strahlablenkeinheiten bzw. Projektionsmodule als auch zum umfassenden und zeiteffizienten Test von MEMS-Scannern auf Wafer-Level geeignet ist. Mit diesem Verfahren erfolgt eine Charakterisierung der zwei realisierten Varianten des Laser-Displays.
Ausgehend von den Eigenschaften des menschlichen visuellen Systems und den daraus resultierenden Anforderungen an das Bild sowie einer systemtheoretischen Betrachtung des mechanischen Verhaltens von MEMS-Scannern bildet die Ansteuersignalerzeugung für den resonanten Betrieb der schnellen und den quasistatischen Betrieb der langsamen Achse einen Schwerpunkt. Neben dem reinen digitalen Regler- bzw. Filterentwurf sowie mehreren Linearisierungsmaßnahmen beinhaltet dieser auch die Herleitung einer FPGA-basierten Videosignalverarbeitung zur Konvertierung von Scannpattern, Zeitregime und Auflösung mit einer entsprechenden Synchronisierung von Strahlablenkung und Lasermodulation. Auf Grundlage der daraus resultierenden Erkenntnisse über den Zusammenhang zwischen Scanner-/Systemparametern und Bildparametern werden Testbild-Bildverarbeitungsalgorithmus-Kombinationen entwickelt und diese, angeordnet in einer Sequenz, mit einem Kalibrierverfahren zu einem Testverfahren für MEMS-Scanner vervollständigt.
Die Ergebnisse dieser Arbeit entstanden im Rahmen von industriell beauftragten F&E-Projekten und fließen in die andauernde Fortführung des Themas beim Auftraggeber ein.
|
| 29 |
MEMS-Laser-Display-System: Analyse, Implementierung und TestverfahrenentwicklungSpecht, Hendrik 20 May 2011 (has links)
In der vorliegenden Arbeit werden die im Zusammenhang mit der Strahlablenkung stehenden Systemaspekte der auf MEMS-Scanner basierenden Laser-Display-Technologie theoretisch analysiert und aus den Ergebnissen die praktische Implementierung eines Laser-Display-Systems als Testplattform vorgenommen. Dabei werden mit einem Ansatz auf Basis zweier 1D-Scanner und einem weiteren Ansatz mit einem 2D-Scanner zwei Varianten realisiert. Darüber hinaus erfolgt die Entwicklung eines bildbasierten Multiparametertestverfahrens, welches sowohl für den Test komplettierter Strahlablenkeinheiten bzw. Projektionsmodule als auch zum umfassenden und zeiteffizienten Test von MEMS-Scannern auf Wafer-Level geeignet ist. Mit diesem Verfahren erfolgt eine Charakterisierung der zwei realisierten Varianten des Laser-Displays.
Ausgehend von den Eigenschaften des menschlichen visuellen Systems und den daraus resultierenden Anforderungen an das Bild sowie einer systemtheoretischen Betrachtung des mechanischen Verhaltens von MEMS-Scannern bildet die Ansteuersignalerzeugung für den resonanten Betrieb der schnellen und den quasistatischen Betrieb der langsamen Achse einen Schwerpunkt. Neben dem reinen digitalen Regler- bzw. Filterentwurf sowie mehreren Linearisierungsmaßnahmen beinhaltet dieser auch die Herleitung einer FPGA-basierten Videosignalverarbeitung zur Konvertierung von Scannpattern, Zeitregime und Auflösung mit einer entsprechenden Synchronisierung von Strahlablenkung und Lasermodulation. Auf Grundlage der daraus resultierenden Erkenntnisse über den Zusammenhang zwischen Scanner-/Systemparametern und Bildparametern werden Testbild-Bildverarbeitungsalgorithmus-Kombinationen entwickelt und diese, angeordnet in einer Sequenz, mit einem Kalibrierverfahren zu einem Testverfahren für MEMS-Scanner vervollständigt.
Die Ergebnisse dieser Arbeit entstanden im Rahmen von industriell beauftragten F&E-Projekten und fließen in die andauernde Fortführung des Themas beim Auftraggeber ein.
|
Page generated in 0.0774 seconds