LINEAR ALGEBRA

Auteur: DAZA FERNANDEZ VANESSA.
Année: 2003.
Université: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Lieu de l'exposition: SALA D'ACTES DE LA FME.
Lieu de préparation: FACULTAT DE MATEMATIQUES I ESTADISTICA SUD.

Auteur: Díez Machío Héctor.
Année: 2005.
Université: LEÓN [www.unileon.es].
Lieu de l'exposition: Escuela de Ingeniería Industrial e Informática.
Lieu de préparation: Escuela de Ingeniería INdustrial e Informática.

Résumé: Portée de l'étude des machines sont la thèse. Étudions trois types de machines. Dynamique sur les systèmes linéaires d'ordre supérieur, de bagues, de la dynamique et des systèmes pour CUÁNTICOS machines SECUENCIALES FINITAS (AUTÓMATAS FINITOS). Pour le premier type de machines est en train d'étudier les problèmes de CARACTERIZAR l'accessibilité et la recherche d'équivalence INVARIANTES grâce à la rétroaction. Les résultats obtenus GENERALIZAN résultats connus pour commander une dynamique de systèmes. Pour le second type de machines, et encore moins ESTUDIADAS sont TRATAN le problème de la recherche de la forme CANÓNICAS. Proposé des solutions pour des systèmes et des systèmes avec IMPERTURBADOS unique camp de contrôle externe. CANÓNICAS formes apprises sont utilisées pour résoudre l'équation de la dynamique de tels systèmes. Pour le troisième type de machines est en train d'étudier les machines avec SIMULTÁNEAMENTE classique performances et CUÁNTICO. Proposé de la machine, un modèle de raisonnement et SECUENCIAL finita ce modèle généralisations modèles de AUTÓMATAS FINITOS DETERMINISTAS, AUTÓMATAS PROBABILÍSTICAS et des modèles de clés AUTÓMATAS CUÁNTICOS. Il décrit la composition en cascade et démontre l'énorme importance que le modèle est la cohérence avec cette opération. Cela présente également le nouveau modèle de pouvoir travailler avec COMPOSICIONES machines CLÁSICAS et CUÁNTICAS SIMULTÁNEAMENTE. Enfin être traité le problème de l'équivalence pour les Etats et laisse en suspens le problème de calculer la forme finita lorsque deux états de ces machines sont équivalentes. Il offre une CONJETURA pour de tels problèmes. Portée de l'étude des machines sont la thèse. Étudions trois types de machines. Dynamique sur les systèmes linéaires d'ordre supérieur, de bagues, de la dynamique et des systèmes pour CUÁNTICOS machines SECUENCIALES FINITAS (AUTÓMATAS FINITOS). Pour le premier type de machines est en train d'étudier les problèmes de CARACTERIZAR l'accessibilité et la recherche d'équivalence INVARIANTES grâce à la rétroaction. Les résultats obtenus GENERALIZAN résultats connus pour commander une dynamique de systèmes. Pour le second type de machines, et encore moins ESTUDIADAS sont TRATAN le problème de la recherche de la forme CANÓNICAS. Proposé des solutions pour des systèmes et des systèmes avec IMPERTURBADOS unique camp de contrôle externe. CANÓNICAS formes apprises sont utilisées pour résoudre l'équation de la dynamique de tels systèmes. Pour le troisième type de machines est en train d'étudier les machines avec SIMULTÁNEAMENTE classique performances et CUÁNTICO. Proposé de la machine, un modèle de raisonnement et SECUENCIAL finita ce modèle généralisations modèles de AUTÓMATAS FINITOS DETERMINISTAS, AUTÓMATAS PROBABILÍSTICAS et des modèles de clés AUTÓMATAS CUÁNTICOS. Il décrit la composition en cascade et démontre l'énorme importance que le modèle est la cohérence avec cette opération. Cela présente également le nouveau modèle de pouvoir travailler avec COMPOSICIONES machines CLÁSICAS et CUÁNTICAS SIMULTÁNEAMENTE. Enfin être traité le problème de l'équivalence pour les Etats et laisse en suspens le problème de calculer la forme finita lorsque deux états de ces machines sont équivalentes. Il offre une CONJETURA pour de tels problèmes.

Auteur: CORTÉS UTRILLAS VANESA.
Année: 2006.
Université: ZARAGOZA [www.unizar.es].
Lieu de l'exposition: FACULTAD DE CIENCIAS.
Lieu de préparation: FACULTAD DE CIENCIAS.

Résumé: Ce mémoire fait partie du domaine de l'étude des méthodes numériques adaptées à la structure des tableaux, ce qui montre le dynamisme et la croissance des activités de recherche. Classes structurées tableaux étudier concernent les propriétés signe. Certaines des classes de matrices qui sera exploré plus dans la mémoire sont celles de la mère - signo regulares et strictement signo - regulares contenant dernière fois les matrices totalement positives tout comme négatives. Rappellent que un tableau mxn est appelée (strictement) signo ordinaire - si, lorsque k = 1 ,..., mn (h, n) en vertu du décret k tous ont le même signe (strictes). On y examine les facteurs de croissance dans l'élimination de Gauss avec différentes stratégies de pivotement. Certaines des stratégies de pivotement considéré sont nouvelles et intermédiaire entre pivotants partielle pivotants et de la stratégie récemment mis en place, les soi-disant giratoire "tour." Contrairement à la partie pivotante, qui n'est pas "en retard" stable pour l'élimination de Gauss - Jordanie, nous constatons que ces stratégies intermédiaires oui ils sont. En plus de démontrer une bonne performance pour l'élimination des Gauss.Usando appelé facteur de croissance moyenne, nous constatons que ces stratégies sont déjà très compétitifs par rapport aux intermédiaires plus coûteux pivotement "tour." Nous avons également analysé les facteurs de croissance et d'autres aspects des stratégies de pivotement Partielle d'échelle, ainsi que sa mise en œuvre économique dans le cas de leur application à des classes spéciales de matrices, telles que l'importance de la classe M, les matrices. En outre, nous proposons une stratégie de pivotement lignes (appelée dos - determinantal) associés à l'élimination de Neville pour les tableaux signo - regulares. Nous considérons que cette stratégie est optimale du facteur de croissance et peut être appliquée à une réduction du coût de calcul (moins de pivot partiel); outre, cette stratégie produit les mêmes lignes échanges stratégies pivotant partielle est monté à l'élimination de Neville. Mention spéciale que cette stratégie préserve signo - regularidad long du processus d'élimination. La caractérisation que nous avons présenté à la mère strictement signo - regulares en éliminant Neville avec cette nouvelle stratégie nous permet de fournir une solide épreuve qui vérifie la stricte signo - regularidad un tableau qui que ce soit. Enfin, nous croyons que le parent descomposiciones strictement signo - regulares. Entre descomposiciones analysées, nous pourrions mentionner le LDU, QR, le DPS, et la polaire appel simétrica triangulaire. Nous avons également la caractérisation de cette classe de matrices par le biais de certains de ses affacturage. En particulier, nous voyons que, dans de nombreux cas, ces caractérisations sont considérablement simplifiés, comme par exemple dans le cas de deux tableaux totalement négatif.