Inhaltsverzeichnis
Auswahl der wissenschaftlichen Literatur zum Thema „Algorithme linéaire“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Algorithme linéaire" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Zeitschriftenartikel zum Thema "Algorithme linéaire"
1
SAIDI, IMEN, und NAHLA TOUATI. „APPRENTISSAGE DE COMMANDE POUR LE SUIVI DE TRAJECTOIRE D'UN PENDULE INVERSÉ À ROUE D'INERTIE NON LINÉAIRE“. REVUE ROUMAINE DES SCIENCES TECHNIQUES — SÉRIE ÉLECTROTECHNIQUE ET ÉNERGÉTIQUE 68, Nr. 4 (23.12.2023): 424–30. http://dx.doi.org/10.59277/rrst-ee.2023.4.17.
Der volle Inhalt der QuelleAnnotation:
Cet article propose le contrôle d'apprentissage itératif pour les systèmes sous-actionnés non linéaires. Pour améliorer la vitesse de convergence du contrôle d'apprentissage itératif pour de tels systèmes et réduire la fluctuation de l'erreur du système, un algorithme de contrôle d'apprentissage itératif en boucle fermée de type D à gain variable exponentiel a été choisi. L'analyse de simulation MATLAB a ensuite été réalisée sur un système sous-actionné, non linéaire et instable, à savoir le pendule inversé à roue d'inertie. Les résultats de la simulation montrent que l'algorithme est efficace. De bonnes performances de suivi ont été obtenues. Le système converge vers des cycles limites stables après quelques itérations, garantissant des erreurs fluides et une vitesse de convergence satisfaisante.
2
Dinh Tao, Pham. „Un algorithme pour la résolution du programme linéaire général“. RAIRO - Operations Research 25, Nr. 2 (1991): 183–201. http://dx.doi.org/10.1051/ro/1991250201831.
Der volle Inhalt der Quelle
3
Carbillet, Stani, Fabrice Richard, Frédéric Thiebaud und Mohammed Lamine Boubakar. „Algorithme hybride pour l'identification du comportement non linéaire d'un CMO“. Revue des composites et des matériaux avancés 15, Nr. 1 (23.04.2005): 71–87. http://dx.doi.org/10.3166/rcma.15.71-87.
Der volle Inhalt der Quelle
4
Hilali, A., und A. Wazner. „Un algorithme de calcul de l'invariant de Katz d'un système différentiel linéaire“. Annales de l’institut Fourier 36, Nr. 3 (1986): 67–81. http://dx.doi.org/10.5802/aif.1060.
Der volle Inhalt der Quelle
5
Monnier, Fabrice, Bruno Vallet, Nicolas Paparoditis, Jean-Pierre Papelard und Nicolas David. „Mise en cohérence de données laser mobile sur un modèle cartographique par recalage non-rigide“. Revue Française de Photogrammétrie et de Télédétection, Nr. 202 (16.04.2014): 27–41. http://dx.doi.org/10.52638/rfpt.2013.49.
Der volle Inhalt der QuelleAnnotation:
Depuis quelques années, des véhicules de cartographie mobile ont été développés pour acquérir des données géoréférencées très précises et en grande quantité au niveau du canyon urbain. L'application majeure des données collectées par ces véhicules est d'améliorer les bases de données géographiques existantes, en particulier leur précision, leur niveau de détail et la diversité des objets représentés. On peut citer entre autres applications la modélisation géométrique fine et la texturation des façades, l'extraction de "petits" objets comme les troncs d'arbres, poteaux, panneaux, mobiliers urbain, véhicules,...Cependant, les systèmes de géopositionnement de ces véhicules ne parviennent pas à fournir une localisation d'une précision suffisante pour cette tâche. En particulier, les masques GPS fréquents en milieu urbain sont paliés par les mesures de la centrale inertielle grâce à un algorithme de fusion de données pouvant entraîner une dérive. C'est pourquoi, un recalage est indispensable pour mettre en correspondance ces données mobiles très détaillées avec les bases de données géographiques moins détaillées mais mieux géopositionnées, qu'elles soient 2D ou 3D.Cet article présente une méthode générique et efficace permettant un tel recalage. Le processus est basé sur une méthode de type ICP ("Iterative Closest Point") point à plan.On suppose que l'erreur de géopositionnement, ou dérivevarie de façon non linéaire, mais lentement en fonction du temps. On modélise donc la trajectoire par une "chaîne" ayant une certaine rigidité. A chaque itération, la trajectoire est déformée afin de minimiser la distance des points laser aux primitives planes du modèle.Cette méthode permet d'approximer la dérive par une fonction linéaire par intervalle de temps.La méthode est testée sur des données réelles ( 3,6 millions de points laser acquis sur un quartier de la ville de Paris sont recalés sur un modèle 3D d'environ 71.400 triangles). Enfin, la robustesse et la précision de cet algorithme sont évaluées et discutées.
6
Aktas, D., L. Mtimet, D. Sanak, G. Palmisano, K. Peris, V. Del Marmol und M. Suppa. „Validation d’un algorithme diagnostique du carcinome basocellulaire par tomographie par cohérence optique confocale à champ linéaire“. Annales de Dermatologie et de Vénéréologie - FMC 3, Nr. 8 (Dezember 2023): A177. http://dx.doi.org/10.1016/j.fander.2023.09.328.
Der volle Inhalt der Quelle
7
Raïssi, Nadia, und Mustapha Serhani. „Algorithme de dualité pour un problème d'optimisation non convexe : application à un problème de Stokes non linéaire“. Comptes Rendus de l'Académie des Sciences - Series I - Mathematics 333, Nr. 8 (Oktober 2001): 801–6. http://dx.doi.org/10.1016/s0764-4442(01)02130-9.
Der volle Inhalt der Quelle
8
Blanpain, O., L. Petit, J. Le Gouevec und S. Merchez. „Une approche pour l'approximation du profil en long des réseaux d'assainissement à partir de données incomplètes“. Revue des sciences de l'eau 12, Nr. 4 (12.04.2005): 661–69. http://dx.doi.org/10.7202/705371ar.
Der volle Inhalt der QuelleAnnotation:
Très souvent, les services techniques ne disposent que du plan du réseau d'assainissement sans le profil en long. Or les cotes radiers sont nécessaires aux simulations hydrauliques effectuées, par exemple, lors des études diagnostic. Pour pallier ce manque, les bureaux d'étude effectuent généralement un relevé sommaire et interpolent linéairement les cotes radier manquantes. Cette interpolation linéaire peut être la source d'erreurs importantes. Nous proposons donc dans cet article une nouvelle méthode d'interpolation permettant de minimiser ces erreurs. Cette méthode utilise trois types d'informations : les données connues, les contraintes et les critères. Les données connues correspondent aux informations disponibles quant au réseau. Les contraintes sont les règles constructives auxquelles tout réseau d'assainissement doit se conformer. Les critères sont les règles d'optimisation construites à partir d'observations sur des réseaux réels. Pour résoudre ce problème d'optimisation sous contraintes, nous utilisons des algorithmes génétiques parce que ces derniers sont capables de travailler avec un grand nombre de variables, des nombres réels et des fonctions non-linéaires. Des tests ont été effectués sur les réseaux des villes d'Annequin, de Bapaume et de Lyon. Dans tous les cas (tronçons longs ou courts, pente forte ou faible), les résultats obtenus avec notre méthode sont meilleurs que ceux obtenus avec la classique interpolation linéaire. Il est même possible de déterminer la présence de contre-pente.
9
TOUHAMI, MOHAMED, und ABDELDJEBAR HAZZAB. „L’AMELIORATION APPORTEE PAR LE CONTROLEUR NLPI PAR RAPPORT AU VGPI“. REVUE ROUMAINE DES SCIENCES TECHNIQUES — SÉRIE ÉLECTROTECHNIQUE ET ÉNERGÉTIQUE 68, Nr. 2 (03.07.2023): 158–63. http://dx.doi.org/10.59277/rrst-ee.2023.68.2.7.
Der volle Inhalt der QuelleAnnotation:
Le contrôleur PI non linéaire (NLPI) est un contrôleur à utiliser pour fournir un meilleur niveau de performance par rapport à ceux des algorithmes les plus connus pour le contrôle de la vitesse et du flux. C'est le contrôleur le mieux adapté pour contrôler les paramètres de l'évolution des caractéristiques du processus. Cet article rend compte du développement d'un contrôleur NLPI utilisant l'approche de la fonction non linéaire. Fournir la théorie, l'algorithme utilisé et les aspects logiciels de la mise en œuvre du système ainsi que les résultats des tests de simulations obtenus sur un système de contrôle de processus.
10
Andriamanampisoa, Tsiry A., Gabriely Ranaivoniarivo, Bienvenue Raheliarilalao und Edouard Andrianarison. „Caractérisation Rhéologique Empirique Et Relative - Détermination De La Loi Constitutive Des Suspensions Eau Et Déchets Papiers-Cartons“. International Journal of Progressive Sciences and Technologies 38, Nr. 2 (30.05.2023): 465. http://dx.doi.org/10.52155/ijpsat.v38.2.5362.
Der volle Inhalt der QuelleAnnotation:
Pour mettre au point un procédé de fabrication de briques autobloquantes à partir de déchets papier-carton, et d’en garantir la reproductibilité, maîtriser la qualité de la suspension eaux et déchets papier-cartons devient fondamental. En effet, cette suspension est mélangée avec du sable et du ciment pour obtenir les briques autobloquantes. Il est alors essentiel de déterminer la loi constitutive des suspensions eaux et déchets papier-carton. Une méthode de caractérisation rhéologique empirique et relative du type viscosimètre rotatif a été adoptée à partir de la conception et de réalisation d’un broyeur de déchets-papiers. Cette méthode propose d’utiliser ce broyeur comme rhéomètre de process et de définir la viscosité apparente de la suspension à partir de celle d’un fluide newtonien de référence qui nécessiterait la même puissance consommée dans des conditions opératoires et géométriques identiques. Dans le cadre de cette étude, la suspension eaux et déchets cellulosiques suit la loi d’Ostwald de Waële et l’eau est utilisée comme fluide de référence. La courbe caractéristique obtenue sur le broyeur avec l’eau sera comparée avec celles obtenues avec les différentes pâtes de papier. Les données mesurées sont les vitesses de rotation et les puissances électriques consommées pour en déduire les nombres de puissances (Np). À partir de la fonction modèle Np = k RexFry, les paramètres k, x, y seront déterminées pour ajuster les données expérimentales enregistrées. Pour constituer ces données expérimentales et modéliser les courbes caractéristiques du broyeur, l’inclinaison des pales de l’agitateur a été variée : 30° (T30), 45° (T45) et 60° (T60). Différents types de déchets cellulosiques ont également été utilisés : papiers journaux (PJ), papiers vélin (PV) et papiers cartons (PC). La vitesse de rotation du mobile passe de 1 tr/s, à 2,5 tr/s, à 4 tr/s, à 5 tr/s puis elle est augmentée par pas de 2,5 tr/s jusqu’à atteindre la vitesse maximale du moteur qui est de 25 tr/s. Les nombres de puissances obtenus des expériences ont été ajustés par la régression non-linéaire avec deux types de mises en équation sous MatLab. La première mise en équation a été faite par l’algorithme de Nelder Mead (N-M) qui, après 38 à 47 itérations et 75 à 88 évaluations des fonctions, a donné des valeurs de k, x et y. La deuxième a été faite par l’algorithme de Levenberg Marquadt (L-M) et a donné des valeurs de k, x, y après 4 à 5 itérations et 15 à 18 évaluations des fonctions. Ces deux méthodes donnent des résultats différents. Les nombres d’itérations montrent la puissance de chaque algorithme et celui de Levenberg Marquadt converge plus vite. Les valeurs du facteur de fiabilité R <5% obtenues montrent une différence négligeable des équations littérales issues des deux méthodes et valident la multiplicité des solutions. De ces courbes caractéristiques littérales obtenues par ajustement, nous procédons à une caractérisation rhéologique empirique et relative des suspensions eaux et déchets papiers-cartons en déterminant successivement par identification un Nombres de Reynolds apparente, une viscosité apparente et les lois constitutives suivant le modèle de puissance d’Ostwald Waële. Les lois constitutives obtenues sont de la forme n avec m, indice de consistance et n, indice d’écoulement. Nous avons constaté un indice de consistance entre 9.10-4 et 11.10-4 et un indice d’écoulement entre 1,03 et 1,08. La cohérence de ces valeurs a été constatée en ayant un n> 1, qui signifie un comportement rhéoépaississant. Les suspensions eaux et déchets papiers-cartons sont généralement dans les mêmes classes des solutions d’amidons agitées.
Dissertationen zum Thema "Algorithme linéaire"
1
Sultan, Ziad. „Algèbre linéaire exacte, parallèle, adaptative et générique“. Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAM030/document.
Der volle Inhalt der QuelleAnnotation:
Les décompositions en matrices triangulaires sont une brique de base fondamentale en calcul algébrique. Ils sont utilisés pour résoudre des systèmes linéaires et calculer le rang, le déterminant, l'espace nul ou les profiles de rang en ligne et en colonne d'une matrix. Le projet de cette thèse est de développer des implantations hautes performances parallèles de l'élimination de Gauss exact sur des machines à mémoire partagée.Dans le but d'abstraire le code de l'environnement de calcul parallèle utilisé, un langage dédié PALADIn (Parallel Algebraic Linear Algebra Dedicated Interface) a été implanté et est basé essentiellement sur des macros C/C++. Ce langage permet à l'utilisateur d'écrire un code C++ et tirer partie d’exécutions séquentielles et parallèles sur des architectures à mémoires partagées en utilisant le standard OpenMP et les environnements parallel KAAPI et TBB, ce qui lui permet de bénéficier d'un parallélisme de données et de taches.Plusieurs aspects de l'algèbre linéaire exacte parallèle ont été étudiés. Nous avons construit de façon incrémentale des noyaux parallèles efficaces pour les multiplication de matrice, la résolution de systèmes triangulaires au dessus duquel plusieurs variantes de l'algorithme de décomposition PLUQ sont construites. Nous étudions la parallélisation de ces noyaux en utilisant plusieurs variantes algorithmiques itératives ou récursives et en utilisant des stratégies de découpes variées.Nous proposons un nouvel algorithme récursive de l'élimination de Gauss qui peut calculer simultanément les profiles de rang en ligne et en colonne d'une matrice et de toutes ses sous-matrices principales, tout en étant un algorithme état de l'art de l'élimination de Gauss. Nous étudions aussi les conditions pour qu'un algorithme de l'élimination de Gauss révèle cette information en définissant un nouvel invariant matriciel, la matrice de profil de rangTriangular matrix decompositions are fundamental building blocks in computational linear algebra. They are used to solve linear systems, compute the rank, the determinant, the null-space or the row and column rank profiles of a matrix. The project of my PhD thesis is to develop high performance shared memory parallel implementations of exact Gaussian elimination.In order to abstract the computational code from the parallel programming environment, we developed a domain specific language, PALADIn: Parallel Algebraic Linear Algebra Dedicated Interface, that is based on C/C + + macros. This domain specific language allows the user to write C + + code and benefit from sequential and parallel executions on shared memory architectures using the standard OpenMP, TBB and Kaapi parallel runtime systems and thus providing data and task parallelism.Several aspects of parallel exact linear algebra were studied. We incrementally build efficient parallel kernels, for matrix multiplication, triangular system solving, on top of which several variants of PLUQ decomposition algorithm are built. We study the parallelization of these kernels using several algorithmic variants: either iterative or recursive and using different splitting strategies.We propose a recursive Gaussian elimination that can compute simultaneously therow and column rank profiles of a matrix as well as those of all of its leading submatrices, in the same time as state of the art Gaussian elimination algorithms. We also study the conditions making a Gaussian elimination algorithm reveal this information by defining a new matrix invariant, the rank profile matrix
2
Wegner, Karas Elizabeth. „Exemples de chemins centraux non réguliers et un algorithme de filtre pour l'optimisation non-linéaire“. Paris 1, 2002. http://www.theses.fr/2002PA010070.
Der volle Inhalt der QuelleAnnotation:
Ce travail se divise en deux parties indépendantes. Dans la première partie, nous étudions dans le cadre de l'optimisation convexe, quelques exemples de chemins centraux à l'allure mouvementée, nous construisons des fonctions objectifs de complexité croissante dans une région très simple de R2. La première de ces fonctions est convexe continue ; et conduit à un chemin cnetral en forme d'antenne, avec un nombre infini de segments horizontaux de longueur constante. Dans le deuxième exemple, on perturbe la première fonction. Le résultat est un chemin en forme de zigzag, avec variation infinie. Nous régularisons ces deux fonctions en gardant leur convexité et sans modifier la disposition des chemins centraux nous obtenons les mêmes allures pour des fonctions objectifs de classe C infinie. Dans la deuxième partie, nous introduisons un algorithme de filtre globalement convergent pour l'optimisation non linéaire. Chaque itération est composée d'une phase d'admissibilité et dune phase d'optimisation. Les deux phases sont indépendantes, et peuvent faire intervenir n'importe quels algorithmes (qui doivent toutefois satisfaire quelques hypothèses raisonnables). Le seul lien entre les deux phases est qu'elles ne doivent pas permettre de générer des points interdits par le filtre. Sous des hypothèses classiques nous montrons que la suite générée par l'algorithme a pint d'accumulation stationnaire. Alors nous montrons comment un petit changement dans l'algorithme principal exclue la possibilité de gérer des points d'accumulation non stationnaires.
3
Vau, Bernard. „Algorithmes d’identification par régression pseudo-linéaire avec prédicteurs paramétrisés sur des bases généralisées de fonctions de transfert orthonormales“. Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLN062.
Der volle Inhalt der QuelleAnnotation:
Cette thèse porte sur l’identification des systèmes linéaires stationnaires, représentés par des fonctions de transfert en temps discret. Pour un ordre donné, contrairement aux méthodes d'identification visant explicitement à minimiser la variance de l'erreur de prédiction, les algorithmes basés sur la régression pseudo-linéaire induisent des modèles dont la distribution des biais est dépendante de la paramétrisation du prédicteur. Ceci a été démontré grâce au concept innovant d'erreur de prédiction équivalente, signal en général non mesurable, dont la variance est effectivement minimisée dans le cadre de la régression pseudo-linéaire.Dans un second temps, sont proposées des versions revisitées des algorithmes récursifs de l'erreur de sortie et des moindres carrés étendus (ainsi que de leurs équivalents en boucle fermée), dont les prédicteurs sont exprimés sur les bases généralisées de fonctions de transfert orthonormales, introduites par Heuberger et al. dans les années 1990 et 2000. La sélection des pôles de la base revient à imposer le noyau reproduisant de l'espace de Hilbert auquel appartiennent ces fonctions de transfert, et à spécifier la manière dont l'approximation est réalisée par les algorithmes. Nous utilisons une expression particulière de ce noyau reproduisant pour introduire un indicateur de l'effet des pôles de la base sur la qualité de l'ajustement du modèle dans le domaine fréquentiel. Cet indicateur joue un grand rôle d'un point de vue heuristique. Enfin, un test de validation en adéquation avec ces algorithmes d'identification est proposé, dont les propriétés statistiques sont explicitées. Les retombées concrètes de ces travaux résident dans la mise à disposition de paramètres de réglages simples et peu nombreux (les pôles de la base), utilisables en fonction du but implicite assigné à l'identification. L'obtention de modèles d'ordre réduit s'en trouve facilitée. De plus l'identification des systèmes raides - comportant des modes dont les fréquences sont séparées de plusieurs décades- jusqu'alors impossible en temps discret, est rendue accessibleThis thesis deals with identification of linear time invariant systems described by discrete-time transfer functions. For a given order, contrary to identification methods minimizing explicitly the prediction error variance, algorithms based on pseudo-linear regression produce models with a bias distribution dependent on the predictor parametrization. This has been demonstrated by the innovating concept of equivalent prediction error, a signal in general non-measurable, whose variance is effectively minimized by the pseudo-linear regression.In a second step, revisited versions of recursive algorithms are proposed (Output Error, extended least squares, and their equivalents in closed-loop), whose predictors are expressed on generalized bases of transfer functions introduced by Heuberger et al. in the 1990s and 2000s. The selection of the basis poles is equivalent to define the reproducing kernel of the Hilbert space associated to these functions, and to impose how approximation is achieved by the algorithms. A particular expression of this reproducing kernel is employed to introduce an indicator of the basis poles effect on the model fit in the frequency domain. This indicator plays a great role from a heuristic point of view.At last, a validation test in accordance with these algorithms is proposed. Its statistical properties are given. This set of algorithms provides to the user some simple tuning parameters (the basis poles) that can be selected in function of the implicit purpose assigned to the identification procedure. Obtaining reduced order models is made easier, while identification of stiff systems –impossible until now in discrete-time- becomes accessible
4
Gilardet, Mathieu. „Étude d'algorithmes de restauration d'images sismiques par optimisation de forme non linéaire et application à la reconstruction sédimentaire“. Phd thesis, Université de Pau et des Pays de l'Adour, 2013. http://tel.archives-ouvertes.fr/tel-00952964.
Der volle Inhalt der QuelleAnnotation:
Nous présentons une nouvelle méthode pour la restauration d'images sismiques. Quand on l'observe, une image sismique est le résultat d'un système de dépôt initial qui a été transformé par un ensemble de déformations géologiques successives (flexions, glissement de la faille, etc) qui se sont produites sur une grande période de temps. L'objectif de la restauration sismique consiste à inverser les déformations pour fournir une image résultante qui représente le système de dépôt géologique tel qu'il était dans un état antérieur. Classiquement, ce procédé permet de tester la cohérence des hypothèses d'interprétations formulées par les géophysiciens sur les images initiales. Dans notre contribution, nous fournissons un outil qui permet de générer rapidement des images restaurées et qui aide donc les géophysiciens à reconnaître et identifier les caractéristiques géologiques qui peuvent être très fortement modifiées et donc difficilement identifiables dans l'image observée d'origine. Cette application permet alors d'assister ces géophysiciens pour la formulation d'hypothèses d'interprétation des images sismiques. L'approche que nous introduisons est basée sur un processus de minimisation qui exprime les déformations géologiques en termes de contraintes géométriques. Nous utilisons une approche itérative de Gauss-Newton qui converge rapidement pour résoudre le système. Dans une deuxième partie de notre travail nous montrons différents résultats obtenus dans des cas concrets afin d'illustrer le processus de restauration d'image sismique sur des données réelles et de montrer comment la version restaurée peut être utilisée dans un cadre d'interprétation géologique.
5
Dormoy, Jérôme. „Un algorithme linéaire de calcul de points fixes dans les systèmes de transitions : parallélisation et études expérimentales“. Bordeaux 1, 1997. http://www.theses.fr/1997BOR10628.
Der volle Inhalt der QuelleAnnotation:
Actuellement, le domaine de la verification est confronte au probleme de l'explosion combinatoire des systemes modelises. Les axes de recherche pour lutter contre ce probleme se portent a la fois sur la realisation d'algorithmes rapides, et sur la mise au point de techniques visant a contourner le delicat probleme de la taille de tels systemes. En ce qui concerne, les algorithmes rapides, nous presentons un algorithme de calcul de points fixes dont la complexite est lineaire. D'autre part, plusieurs approches comme par exemple la verification a la volee, ou les representations plus compactes a l'aide de diagrammes binaires de decisions, permettent d'attenuer le probleme de la taille des systemes modelises. Nous avons choisi d'explorer une nouvelle approche qui consiste a repartir le systeme sur plusieurs processeurs. Nous presentons donc egalement une etude sur la parallelisation de l'algorithme lineaire de calcul de points fixes. Pour chaque algorithme, sequentiel et parallele, et c'est un des aspects original de cette etude, nous avons effectue une importante phase d'experimentations. Cette analyse nous a permis de verifier tout d'abord que la complexite de l'implementation sequentielle etait bien conforme au modele theorique, et ensuite la pertinence de l'approche parallele.
6
Dumas, Jean-Guillaume. „Algorithmes parallèles efficaces pour le calcul formel : algèbre linéaire creuse et extensions algébriques“. Phd thesis, Grenoble INPG, 2000. http://tel.archives-ouvertes.fr/tel-00002742.
Der volle Inhalt der QuelleAnnotation:
Depuis quelques années, l'extension de l'utilisation de l'informatique dans tous les domaines de recherche scientifique et technique se traduit par un besoin croissant de puissance de calcul. Il est donc vital d'employer les microprocesseurs en parallèle. Le problème principal que nous cherchons à résoudre dans cette thèse est le calcul d'une forme canonique de très grandes matrices creuses à coefficients entiers, la forme normale de Smith. Par "très grandes", nous entendons un million d'inconnues et un million d'équations, c'est-à-dire mille milliards de variables. De tels systèmes sont même, en général, impossibles à stocker actuellement. Cependant, nous nous intéressons à des systèmes dans lesquels beaucoup de ces variables sont identiques et valent zéro; on parle dans ce cas de système creux. Enfin, nous voulons résoudre ces systèmes de manière exacte, c'est-à-dire que nous travaillons avec des nombres entiers ou dans une structure algébrique plus petite et autorisant toutes les opérations classiques, un corps fini. La reconstruction de la solution entière à partir des solutions plus petites est ensuite relativement aisée.
7
Andral, Ugo. „Algorithme d'évolution pour laser à fibre optique en régime d'impulsions courtes“. Thesis, Dijon, 2016. http://www.theses.fr/2016DIJOS050/document.
Der volle Inhalt der QuelleAnnotation:
Le sujet de cette thèse se rapporte à la génération d’impulsions ultracourtes dans une cavité laser fibrée à travers l’optimisation automatique de ses paramètres par un algorithme d’évolution. L’intérêt pour cette problématique provient de la difficulté à explorer les dynamiques impulsionnelles de manière systématique dans un large domaine de paramètres expérimentaux. Nous avons montré que l’implémentation d’un algorithme d’évolution sur une cavité laser fibrée de ce type peut être réalisée, en prenant les précautions adéquates pour que cette association soit la plus efficace possible. Nous avons démontré expérimentalement pour la première fois le verrouillage de modes depuis la seule optimisation des contrôleurs de polarisation utilisant une procédure automatique d’auto-apprentissage. Nous avons démontré que la sélection du blocage de modes depuis son spectre radio-fréquence permet de sélectionner le taux de répétition desimpulsions à l’intérieur de la cavité. Ces résultats préliminaires démontrent les potentialités de notre méthode employée dans des situations de dynamique non linéaire ultrarapide de grande complexité, particulièrement sensibles aux paramètresThis thesis deals with the generation of ultrashort pulses within a fiber laser cavity through the automatic optimization of its parameters by an evolutionary algorithm. The interest of this subject comes from the difficulty to systematically explore dynamics in a large domain of experimental parameters. We have shown that it is possible to implement an evolutionary algorithm on fiber laser cavity with appropriate precautions. We have experimentally demonstrated for the first time the mode locking of a laser cavity only using the optimization of polarization controllers through an automatic and self-learning procedure. We also have demonstrated that selecting the mode locking from it radio-frequency spectrum allow to select the pulses repetition rate within the cavity. These preliminary results show the promising aspect of our method used in situations of non linear ultrafast dynamics with high complexity which are particularly sensitive to parameters
8
Keraghel, Abdelkrim. „Étude adaptative et comparative des principales variantes dans l'algorithme de Karmarkar“. Phd thesis, Grenoble 1, 1989. http://tel.archives-ouvertes.fr/tel-00332749.
Der volle Inhalt der QuelleAnnotation:
Après une description de la méthode de Karmarkar, il est montré que la valeur du pas de déplacement peut être largement améliorée. Les principales difficultés pratiques de la méthode sont discutées. Plus particulièrement, l'hypothèse de connaitre, au départ, la valeur optimale de l'objectif. Diverses extensions et variantes sont étudiées dans le but de relaxer l'hypothèse ci-dessus
9
Thomé, Emmanuel. „Algorithmes de calcul de logarithmes discrets dans les corps finis“. Phd thesis, Ecole Polytechnique X, 2003. http://tel.archives-ouvertes.fr/tel-00007532.
Der volle Inhalt der QuelleAnnotation:
Le calcul de logarithmes discrets est un problème central en cryptologie. Lorsqu'un algorithme sous-exponentiel pour résoudre ce problème existe, le cryptosystème concerné n'est pas nécessairement considéré comme disqualifié, et il convient d'actualiser avec soin l'état de l'art de la cryptanalyse. Les travaux de ce mémoire s'inscrivent dans cette optique. Nous décrivons en particulier comment nous avons atteint un record de calculs de logarithmes discrets: \GFn(607).Dans une première partie, nous exposons les différentes améliorations que nous avons apportées à l'algorithme de Coppersmith pour le calcul de logarithmes discrets en caractéristique 2. Ces améliorations ont rendu possible le record que nous avons atteint. La portée de ce calcul dépasse
le simple cadre des corps finis, à cause de l'existence de la réduction MOV d'une part, et de la récente introduction des cryptosystèmes fondés sur l'identité.
On s'intéresse plus en détail, dans une seconde partie du mémoire, au problème classique de la résolution d'un système linéaire creux défini sur un corps fini, porté aux limites de ce que la technologie (théorique et pratique) permet. Nous montrons comment une amélioration substantielle de l'algorithme de Wiedemann par blocs a rendu celui-ci compétitif pour la résolution d'un grand système linéaire creux sur \GF p.
Une partie de ce mémoire est consacrée au point de vue de l'expérimentateur, grand utilisateur de moyens de calcul, de la surcharge de travail humain que cela impose, et des constatations que cette position amène.
10
Viry, Guy. „Algorithmes de factorisation des polynômes à coefficients entiers“. Nancy 1, 1989. http://www.theses.fr/1989NAN10489.
Der volle Inhalt der QuelleAnnotation:
Cette thèse présente les algorithmes classiques de factorisation des polynômes à une ou plusieurs variables. Dans le cas des polynômes à une variable, deux nouvelles méthodes sont proposées. Dans la première, on calcule un facteur linéaire modulo un nombre premier P, puis on définit un multiple de ce facteur qui divise P sur ZX. Dans la seconde méthode, le calcul des produits des facteurs de P modulo P#N est remplacé par le calcul des sommes des images de ces facteurs de P. Dans le cas des polynômes à plusieurs variables, on donne deux méthodes pour diminuer les calculs de la dernière étape de la factorisation des algorithmes classiques. On utilise une représentation polyedrale et la notion de polynômes normalisés. La dernière étape de la thèse donne une méthode pour diminuer le degré total du polynôme donné, lorsque c'est possible. Cette méthode utilise la programmation linéaire entière
Bücher zum Thema "Algorithme linéaire"
1
La programmation linéaire dans les modèles de production. Paris: Masson, 1988.
Den vollen Inhalt der Quelle finden
2
Linear programming. Boston: Birkhäuser, 1991.
Den vollen Inhalt der Quelle finden
3
Algorithmic geometry. Cambridge, United Kingdom: Cambridge University Press, 1998.
Den vollen Inhalt der Quelle finden
4
Linear programming. New York: Birkhäuser, 2009.
Den vollen Inhalt der Quelle finden
5
Ciarlet, Philippe G. Introduction à l'analyse numérique matricielle et à l'optimisation. Paris: Masson, 1985.
Den vollen Inhalt der Quelle finden
6
Floudas, Christodoulos A. A collection of test problems for constrained global optimization algorithms. Berlin: Springer-Verlag, 1990.
Den vollen Inhalt der Quelle finden
7
Yger, Alain, und Jacques-Arthur Weil. Mathématiques appliquées L3: Cours complet avec 500 tests et exercices corrigés. Paris: Pearson Education, 2009.
Den vollen Inhalt der Quelle finden
8
Nazareth, J. L. Computer solution of linear programs. New York: Oxford University Press, 1987.
Den vollen Inhalt der Quelle finden
9
Van Landingham, Hugh F., 1935-, Hrsg. Algorithms for computer-aided design of multivariable control systems. New York: M. Dekker, 1993.
Den vollen Inhalt der Quelle finden
10
I, Agoshkov V., und Shuti͡a︡ev V. P, Hrsg. Adjoint equations and perturbation algorithms in nonlinear problems. Boca Raton, Fla: CRC Press, 1996.
Den vollen Inhalt der Quelle findenBuchteile zum Thema "Algorithme linéaire"
1
Korte, Bernhard, Jens Vygen, Jean Fonlupt und Alexandre Skoda. „Algorithmes de programmation linéaire“. In Optimisation combinatoire, 73–99. Paris: Springer Paris, 2010. http://dx.doi.org/10.1007/978-2-287-99037-3_4.
Der volle Inhalt der Quelle
2
KRYSANDER, Mattias, und Erik FRISK. „Analyse structurelle“. In Diagnostic et commande à tolérance de fautes 1, 87–114. ISTE Group, 2024. http://dx.doi.org/10.51926/iste.9058.ch2.
Der volle Inhalt der QuelleAnnotation:
Ce chapitre explore les méthodes de conception de systèmes de diagnostic basés sur des modèles mathématiques. Il examine l'analyse des diagnostics de défauts des modèles, la complexité croissante avec le modèle, et l'approche structurale pour les problèmes non linéaires à grande échelle. L'analyse structurelle évalue la détectabilité et l'isolabilité des défauts, aidant à placer les capteurs et à concevoir des détecteurs. Des outils informatiques, notamment une Toolbox MATLAB et Python, sont disponibles pour faciliter cette analyse. La formalisation de la détection et de l'isolation des défauts est discutée, suivie d'une exploration des modèles structurels et des algorithmes graphiques pour l'analyse de diagnostic.