|
|
|
BEI DER LINEAREN GEHEIMNIS REGELUNGEN UND VERTEILT CRYTOGRAPHIC PROTOKOLLEAutor: DAZA FERNANDEZ VANESSA. Jahr: 2003. Universität: POLITÉCNICA DE CATALUÑA [ www.upc.edu]. Ort der Lesung: SALA D'ACTES DE LA FME. Ort der Vorbereitung: FACULTAT DE MATEMATIQUES I ESTADISTICA SUD.
SYSTEME UND DYNAMISCHE ENDLICHE SEQUENTIELLE MASCHINEN. VISIONEN DER KLASSISCHEN UND CUÁTICA.Autor: Díez Machío Héctor. Jahr: 2005. Universität: LEÓN [ www.unileon.es]. Ort der Lesung: Escuela de Ingeniería Industrial e Informática. Ort der Vorbereitung: Escuela de Ingeniería INdustrial e Informática. Inhaltsangabe: Anwendungsbereich der Studie der Maschinen sind die These. Studium sind drei Arten von Maschinen. Lineare dynamische Systeme auf höherer Ordnung der Ringe, die dynamische CUÁNTICOS und Systemen für die Maschinen SECUENCIALES FINITAS (AUTÓMATAS FINITOS). Für die erste Art von Maschinen ist die Untersuchung der Probleme der CARACTERIZAR die Zugänglichkeit und die Suche nach INVARIANTES durch Gleichwertigkeit Feedback. Die Ergebnisse GENERALIZAN Ergebnisse bekannt für Dynamik, um eine Systeme. Für die zweite Art von Maschinen, viel weniger ESTUDIADAS, SE TRATAN das Problem der Suche nach Form CANÓNICAS. Vorgeschlagenen Lösungen für Systeme und Anlagen mit IMPERTURBADOS einzigartige Camp externen Kontrolle. Formen CANÓNICAS gelernt werden zur Lösung der Gleichung Dynamik solcher Systeme. Für die dritte Art von Maschinen untersucht SIMULTÁNEAMENTE Maschinen mit klassischen Leistung und CUÁNTICO. Vorgeschlagen werden, ein Modell für die Maschine SECUENCIAL finita und zeigt, dass Modell GENERALIZA Modelle AUTÓMATAS FINITOS DETERMINISTAS, AUTÓMATAS PROBABILÍSTICAS und Modelle der wichtigsten AUTÓMATAS CUÁNTICOS. Er beschreibt die Mitgliedschaft in cascada und zeigt, dass das Modell der Kohärenz mit dieser Operation. Auch dieser präsentiert das neue Modell der Macht COMPOSICIONES Arbeit mit Maschinen CLÁSICAS und CUÁNTICAS SIMULTÁNEAMENTE. Schließlich behandelt werden, das Problem der Gleichwertigkeit für die Staaten und lässt offen, das Problem der Berechnung der Form finita, wenn zwei Staaten dieser Maschinen sind äquivalent. Er bietet eine CONJETURA für dieses Problem. Anwendungsbereich der Studie der Maschinen sind die These. Studium sind drei Arten von Maschinen. Lineare dynamische Systeme auf höherer Ordnung der Ringe, die dynamische CUÁNTICOS und Systemen für die Maschinen SECUENCIALES FINITAS (AUTÓMATAS FINITOS). Für die erste Art von Maschinen ist die Untersuchung der Probleme der CARACTERIZAR die Zugänglichkeit und die Suche nach INVARIANTES durch Gleichwertigkeit Feedback. Die Ergebnisse GENERALIZAN Ergebnisse bekannt für Dynamik, um eine Systeme. Für die zweite Art von Maschinen, viel weniger ESTUDIADAS, SE TRATAN das Problem der Suche nach Form CANÓNICAS. Vorgeschlagenen Lösungen für Systeme und Anlagen mit IMPERTURBADOS einzigartige Camp externen Kontrolle. Formen CANÓNICAS gelernt werden zur Lösung der Gleichung Dynamik solcher Systeme. Für die dritte Art von Maschinen untersucht SIMULTÁNEAMENTE Maschinen mit klassischen Leistung und CUÁNTICO. Vorgeschlagen werden, ein Modell für die Maschine SECUENCIAL finita und zeigt, dass Modell GENERALIZA Modelle AUTÓMATAS FINITOS DETERMINISTAS, AUTÓMATAS PROBABILÍSTICAS und Modelle der wichtigsten AUTÓMATAS CUÁNTICOS. Er beschreibt die Mitgliedschaft in cascada und zeigt, dass das Modell der Kohärenz mit dieser Operation. Auch dieser präsentiert das neue Modell der Macht COMPOSICIONES Arbeit mit Maschinen CLÁSICAS und CUÁNTICAS SIMULTÁNEAMENTE. Schließlich behandelt werden, das Problem der Gleichwertigkeit für die Staaten und lässt offen, das Problem der Berechnung der Form finita, wenn zwei Staaten dieser Maschinen sind äquivalent. Er bietet eine CONJETURA für dieses Problem. STRUCTURED ARRAYS, UND DIE BESEITIGUNG STRATEGIEN PIVOTIERUNG.Autor: CORTÉS UTRILLAS VANESA. Jahr: 2006. Universität: ZARAGOZA [ www.unizar.es]. Ort der Lesung: FACULTAD DE CIENCIAS. Ort der Vorbereitung: FACULTAD DE CIENCIAS. Inhaltsangabe: Dieser Speicher ist Teil der Bereich der Untersuchung von numerischen Methoden geeignet für strukturierte Arrays, die zeigt, eine starke und wachsende Forschungstätigkeit. Classes strukturierten Arrays als Zeichen beziehen sich auf Eigenschaften. Einige der Klassen von Matrizen, die weiter untersucht werden in den Speicher sind diejenigen der Muttergesellschaft signo-regulares und streng signo-regulares mit letzteren beiden Matrizen ganz positiv als völlig negativ. Daran erinnern, dass ein Array mxn heißt (streng) signo-regelmäßig, wenn für jedes k = 1 ,..., min (m, n), die alle unter der Bestell-haben die gleichen Zeichen (strengen). Er untersucht das Wachstum Faktor für die Beseitigung von Gauss mit unterschiedlichen Strategien schwenkenden. Einige der umlaufenden Strategien sind neu und als Vermittler zwischen umlaufenden teilweise schwenkenden und Strategie vor kurzem eingeführt, die so genannte Pivot-"Turm". Im Gegensatz zu den teilweise umlaufenden, die sich nicht "rückwärts" stabil für die Beseitigung von Gauss - Jordanien, sehen wir, dass diese Strategien mittel ja sie sind. Außerdem zeigt eine gute Leistung für die Beseitigung der Gauss.Usando genannte durchschnittliche Wachstum Faktor sehen wir, dass diese Strategien sind bereits sehr wettbewerbsfähig im Vergleich mit den mittel teurer schwenkenden "Turm". Wir haben auch das Wachstum Faktor und andere Aspekte der Strategien schwenkbaren Teilweise Skalierung, sowie seine wirtschaftliche Umsetzung im Falle der Anwendung auf spezielle Klassen von Matrizen, wie wichtig die M-Klasse von Matrizen. Darüber hinaus schlagen wir vor, eine Strategie für die umlaufenden Zeilen (dos-determinantal genannt) im Zusammenhang mit der Beseitigung von Neville für Arrays signo-regulares. Wir sehen, dass diese Strategie ist optimal growth factor und kann mit einem reduzierten Computational Kosten (weniger als der Pivot teilweise); Außerdem werden in dieser Strategie den gleichen Austausch Zeilen Strategien schwenkbaren kletterte teilweise für die Beseitigung von Neville. Besondere Erwähnung, dass diese Strategie bewahrt signo-regularidad entlang der Prozess der Beseitigung. Die Charakterisierung, die wir an die Eltern streng signo-regulares durch den Wegfall von Neville mit dieser neuen Strategie ermöglicht uns die Bereitstellung einer robusten Test, der prüft, ob die strengen signo-regularidad ein Array jedermann. Schließlich glauben wir, die Eltern descomposiciones streng signo-regulares. Zwischen descomposiciones analysiert, die wir vielleicht erwähnen, LDU, QR, die DPS und die polaren simétrica Call-Dreiecks. Wir haben auch Charakterisierungen dieser Klasse von Matrizen durch einige seiner Factoring. Insbesondere sehen wir, dass in vielen Situationen, diese Charakterisierungen sind erheblich vereinfacht, wie zum Beispiel im Fall von Arrays völlig negativ.
|
|
|