Spelling suggestions: "subject:"indeterminacy"" "subject:"determinacao""
21 |
Toleranzmanagement in der Produktentwicklung am Beispiel der Karosserie im AutomobilbauLeuschel, Roland 15 June 2011 (has links) (PDF)
Es wurde eine programmunterstützte Methode für die Umsetzung des Toleranzmanagements entwickelt, welche die Bereiche Entwicklung, Technologie und Qualität in gemeinsame Verantwortung bringt. Dabei galt es, den Iterationsprozess der Lösungsfindung in verschiedenen Detaillierungsstufen mit wenigen Schleifen und im Streben nach kurzen Entwicklungszeiten, geringen Toleranzkosten, Qualitätsverlusten und Blindleistungen zu durchlaufen.
Ein stimmiges Toleranzkonzept überzeugt durch toleranzgerechte Aufbaufolgen, robuste und funktionsnahe Referenzierungen, kompensatorische Verfahren sowie toleranzunempfindliche Beeinträchtigungen und Auswirkungen. Die Auslegung aller toleranzrelevanten Produktanforderungen und Prozessgegebenheiten wird in Form von Toleranzketten und Maßkatalogen automatisiert dokumentiert und mündet schließlich in bestätigten Kunden-Lieferanten-Vereinbarungen.
|
22 |
Games and Probabilistic Infinite-State SystemsSandberg, Sven January 2007 (has links)
<p>Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of <i>model checking</i>. At first, we investigate two categories of problems related to model checking: <i>games</i> and <i>stochastic infinite-state systems</i>. In the end, we join these two lines of research, by studying <i>stochastic infinite-state games</i>.</p><p>Game theory has been used in verification for a long time. We focus on finite-state 2-player parity and limit-average (mean payoff) games. These problems have applications in model checking for the <i>μ</i>-calculus, one of the most expressive logics for programs. We give a simplified proof of memoryless determinacy. The proof applies <i>both</i> to parity and limit-average games. Moreover, we suggest a strategy improvement algorithm for limit-average games. The algorithm is discrete and strongly subexponential.</p><p>We also consider probabilistic infinite-state systems (Markov chains) induced by three types of models. <i>Lossy channel systems (LCS)</i> have been used to model processes that communicate over an unreliable medium. <i>Petri nets</i> model systems with unboundedly many parallel processes. <i>Noisy Turing machines</i> can model computers where the memory may be corrupted in a stochastic manner. We introduce the notion of <i>eagerness</i> and prove that all these systems are eager. We give a scheme to approximate the value of a reward function defined on paths. Eagerness allows us to prove that the scheme terminates. For probabilistic LCS, we also give an algorithm that approximates the limit-average reward. This quantity describes the long-run behavior of the system.</p><p>Finally, we investigate Büchi games on probabilistic LCS. Such games can be used to model a malicious cracker trying to break a network protocol. We give an algorithm to solve these games.</p>
|
23 |
Games and Probabilistic Infinite-State SystemsSandberg, Sven January 2007 (has links)
Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. At first, we investigate two categories of problems related to model checking: games and stochastic infinite-state systems. In the end, we join these two lines of research, by studying stochastic infinite-state games. Game theory has been used in verification for a long time. We focus on finite-state 2-player parity and limit-average (mean payoff) games. These problems have applications in model checking for the μ-calculus, one of the most expressive logics for programs. We give a simplified proof of memoryless determinacy. The proof applies both to parity and limit-average games. Moreover, we suggest a strategy improvement algorithm for limit-average games. The algorithm is discrete and strongly subexponential. We also consider probabilistic infinite-state systems (Markov chains) induced by three types of models. Lossy channel systems (LCS) have been used to model processes that communicate over an unreliable medium. Petri nets model systems with unboundedly many parallel processes. Noisy Turing machines can model computers where the memory may be corrupted in a stochastic manner. We introduce the notion of eagerness and prove that all these systems are eager. We give a scheme to approximate the value of a reward function defined on paths. Eagerness allows us to prove that the scheme terminates. For probabilistic LCS, we also give an algorithm that approximates the limit-average reward. This quantity describes the long-run behavior of the system. Finally, we investigate Büchi games on probabilistic LCS. Such games can be used to model a malicious cracker trying to break a network protocol. We give an algorithm to solve these games.
|
24 |
Toleranzmanagement in der Produktentwicklung am Beispiel der Karosserie im Automobilbau: Toleranzmanagement in der Produktentwicklung am Beispiel der Karosserie im AutomobilbauLeuschel, Roland 28 June 2010 (has links)
Es wurde eine programmunterstützte Methode für die Umsetzung des Toleranzmanagements entwickelt, welche die Bereiche Entwicklung, Technologie und Qualität in gemeinsame Verantwortung bringt. Dabei galt es, den Iterationsprozess der Lösungsfindung in verschiedenen Detaillierungsstufen mit wenigen Schleifen und im Streben nach kurzen Entwicklungszeiten, geringen Toleranzkosten, Qualitätsverlusten und Blindleistungen zu durchlaufen.
Ein stimmiges Toleranzkonzept überzeugt durch toleranzgerechte Aufbaufolgen, robuste und funktionsnahe Referenzierungen, kompensatorische Verfahren sowie toleranzunempfindliche Beeinträchtigungen und Auswirkungen. Die Auslegung aller toleranzrelevanten Produktanforderungen und Prozessgegebenheiten wird in Form von Toleranzketten und Maßkatalogen automatisiert dokumentiert und mündet schließlich in bestätigten Kunden-Lieferanten-Vereinbarungen.:1 Einleitung
2 Stand der Erkenntnisse
2.1 Grundlagen der Tolerierung
2.1.1 Anforderungen an Toleranzen
2.1.2 Tolerierung und Referenzierung
2.1.3 Modellierung von Abweichungen
2.1.4 Statistische Methoden und Kenngrößen
2.1.5 Toleranzkosten und Verlustfunktion
2.2 Toleranzmanagement
2.2.1 Teilgebiet des Qualitätsmanagements
2.2.2 Toleranzanalyse und -synthese
2.2.3 Erarbeitung des Toleranzkonzeptes
2.3 Produktgerechtes Toleranzmanagement
2.3.1 Produktqualität und Anforderungen
2.3.2 Modularität und Komplexität der Baugruppen
2.4 Entwicklungsintegriertes Toleranzmanagement
2.4.1 Phasen im Produktentstehungsprozess
2.4.2 Simultaneous Engineering
2.5 Fazit des Standes der Erkenntnisse
3 Toleranzmanagement im Automobilbau
3.1 Gliederung des Produkt- und Prozessmodells
3.2 Funktionsrelevante Anforderungen
3.2.1 Zielkatalog für die Außenhaut
3.2.2 Ermittlung der Akzeptanzgrenzen
3.3 Funktionsbeeinträchtigende Abweichungen
3.3.1 Abweichungen längs der Prozesskette
3.3.2 Abweichungen der Karosserie
3.3.3 Abweichungen der Anbauteile
3.3.4 Abweichungen in der Montage
3.3.5 Veränderungen vor Auslieferung
3.3.6 Veränderungen in der Nutzung
3.4 Potenziale für ein effektives Toleranzmanagement
4 Methoden des Toleranzmanagements
4.1 Der Problemlösungszyklus
4.2 Zielsetzung und Strukturierung
4.3 Funktionsbereiche und Qualitätsmerkmale
4.4 Baugruppen und Ausrichtkonzepte
4.5 Korrelation von Ursachen und Wirkungen
4.6 Toleranzketten und Produktstatus
4.7 Messpläne und Prozessstatus
4.8 Freigabe und Maßnahmen
4.9 Potenziale für ein effizientes Toleranzmanagement
5 Zielsetzung
6 Einsatz der Toleranz-Organisations-Matrix
6.1 Allgemeine Beschreibung
6.2 Bereiche und Detailierungsgrade
6.3 Bauteilkatalog und Zuständigkeiten
6.4 Konzepte und Anforderungen
6.5 Schnittlagenmodell und Referenzpunktsystem
6.6 Funktionsbeziehungen und Paarungselemente
6.7 Algorithmus der Toleranzanalyse und -synthese
6.8 Erzeugung von Maßkatalogen und Messplänen
6.9 Ermittlung der Abweichungen
6.10 Ergebnisse und Maßnahmen
6.11 Status und Historie
7 Nutzen der Toleranz-Organisations-Matrix
7.1 Gesamthaftes Toleranzmanagement
7.2 Effizientes Toleranzmanagement
7.3 Effektives Toleranzmanagement
7.4 Toleranzstrategien, -konzepte, -parameter
8 Entwicklungsintegriertes Toleranzmanagement
9 Kriterien für das Toleranzmanagement
10 Zusammenfassung und Ausblick
|
Page generated in 0.0677 seconds