Le travail de la thèse concerne la modélisation et l'analyse <br />mathématique du transport d'électrons confinés dans une nanostructure<br />dans le but d'implémenter des simulations numériques. Dans de tels<br />dispositifs nanométriques, les ordres de grandeurs ne jouent pas le<br />même rôle dans chaque direction. Les électrons peuvent être<br />extrêmement confinés dans une ou plusieurs directions. Un modèle <br />quantique est nécessaire pour décrire le confinement. Dans la<br />direction non confinée, le transport est supposé de nature classique. <br />Nous proposons alors un système couplé quantique/classique. <br />Les collisions intervenant lors du transport induisent un régime<br />diffusif des porteurs de charges. Le modèle diffusif est obtenu grâce<br />à une limite de diffusion d'un modèle cinétique. L'analyse<br />mathématique de cette limite de diffusion et du modèle diffusif couplé<br />sont présentées. Une simulation numérique du transport dans un<br />nanotransistor est obtenue avec ce modèle.

Lorsqu'on étudie les systèmes dynamiques engendrés par une famille de polynômes, il apparait naturellement des courbes algébriques de type cyclotomique, contenant des points périodiques ou prépériodiques. Dans le cas périodique de la famille zd + c, le premier chapitre de cette thèse montre, en collaboration avec Ou, que ces courbes sont toutes lisses et irréductibles, généralisant les résultats connus au cas d=2. Dans le cas prépériodique de la même famille, le deuxième chapitre de la thèse montre, contre tout attendu, que ces courbes sont en général réductibles. En plus, il y contient une caractérisation des composantes irréductibles ainsi que leur relation géométrique et analytique. Le deuxième thème de cette thèse concerne un nouveau sujet développé par W. Thurston, il s'agit d'entropie noyau des polynômes. Thurston a donné un algorithme, sans preuve, pour calculer ces entropies. La thèse contient une preuve rigoureuse de cet algorithme ainsi que des nouvelles méthodes pour étudier la variation de ces entropies en jonglant plusieurs points de vue. Le dernier thème de cette thèse donne une condition nécessaire et suffisante pour qu'une fraction rationnelle possède un compact errant plein dans son ensemble de Julia. On savait que dans le cas particulier des polynômes ce genre de compact ne pouvait pas du tout exister.

De nos jours, certaines applications multimédias embarquées tel que la visiophonie, l'internet à haut débit, etc., de par leur limitations en capacitée dues aux efets introduits par les canaux de transmission, requierent des traitements numériques ecaces des signaux recus. La turbo detection semble prometteuse pour ce genre de demande. Elle permet d'exploiter la totalitée de l'information mise à la disposition du récepteur. Cependant, ses performances pour des canaux fortement dégrades, dependent largement de l'estimation des paramètres du milieu de transmission. Sa complexité calculatoire est liée aux modules échangeant les informations extrinseques. Dans ce contexte, cette thèse cible la conception et l'analyse des récepteurs iteratifs de faible complexitée destinées à la transmission des symboles codés dans les canaux de Rayleigh multi trajets à évanouissements rapides, inconnus au récepteur. Nous nous interessons dans la première partie de la thèse à la turbo égalisation dans le contexte mono usager : nous proposons et analysons une architecture iterative de faible complexité, intégrant l'égalisation, le décodage et l'estimation de la réponse impulsionnelle du canal et ses statistiques. Grâce à des outils semi analytiques, nous expliquons l'in- uence des paramètres du milieu de propagation sur le turbo détecteur et justions le choix des modules realisant le meilleur compromis complexite/performances. D'autre part, nous demontrons que l'architecture proposee s'adapte bien aux milieux severement perturbes dont la reponse impulsionnelle et les statistiques sont inconnues au recepteur. Dans la seconde partie, nos travaux de recherche portent sur la turbo detection multi usagers pour une liaison montante d'un systeme DS-CDMA asynchrone. Nous etudions deux situations. Dans la premiere, le recepteur est equipe d'une seule antenne. Nous proposons et evaluons une architecture iterative constituee de modules de faible complexit e, joignant la detection multi usagers, le decodage et l'estimation des canaux de transmission. Quant a la deuxieme situation, nous exploitons le principe de diversite d'antennes en reception et etendons les modules de l'architecture proposee au contexte multi antennes. Nous demontrons par simulation que l'architecture proposee permet d'eradiquer les interferences occasionnees par les milieux de propagation sans augmenter de maniere significative le rapport signal a bruit. / Beyond their capacity limitations due to the transmission channels efects, nowadays, some embarked multimedia applications such as video telephony, broadband internet, etc., require ecient digital processing of the received signals. Turbo detection is a promising method to address these requirements. It allows exploiting all the available information at the receiver. However, its performance for the severe channels is highly dependent on the transmission parameter estimation. Its computational complexity is mainly due to the SISO modules. In this context, this thesis study the design and analysis of low complexity iterative receiver for the coded symbols over unknown fast fading multipath Rayleigh channels. In the first part of the thesis, we investigate the SISO turbo equalization for single user : we propose and analyze an iterative low complexity architecture, including equalization, decoding and channel estimation with its statistics. Using semi analytical tools, we explain the propagation efect on the turbo equalizer and justify the choice of modules realizing the best complexity/performance compromise. Furthermore, we demonstrate that the proposed architecture is efective in severe channel conditions where the impulse response and statistics are unknown to the receiver. In the second part, our research focuses on multi-user turbo detection for uplink asynchronous DS-CDMA systems. Two situations are considered. For the first one, the receiver has a single antenna. We propose and evaluate an iterative architecture involving lower complexity modules, handling multi-user detection, decoding and channels estimation. As for the second situation, we use the receiver diversity principle and we extend the proposed architecture modules to the multi antennas context. Simulation results showed that the proposed architecture eliminate almost all the interference caused by the channel without increasing significantly the required signal to noise ratio.

Face à la complexité qui caractérise les problèmes d'optimisation de grande taille l'exploration complète de l'espace des solutions devient rapidement un objectif inaccessible. En effet, à mesure que la taille des problèmes augmente, des méthodes de solution de plus en plus sophistiquées sont exigées afin d'assurer un certain niveau d 'efficacité. Ceci a amené une grande partie de la communauté scientifique vers le développement d'outils spécifiques pour la résolution de problèmes de grande taille tels que les méthodes hybrides. Cependant, malgré les efforts consentis dans le développement d'approches hybrides, la majorité des travaux se sont concentrés sur l'adaptation de deux ou plusieurs méthodes spécifiques, en compensant les points faibles des unes par les points forts des autres ou bien en les adaptant afin de collaborer ensemble. Au meilleur de notre connaissance, aucun travail à date n'à été effectué pour développer un cadre conceptuel pour la résolution efficace de problèmes d'optimisation de grande taille, qui soit à la fois flexible, basé sur l'échange d'information et indépendant des méthodes qui le composent. L'objectif de cette thèse est d'explorer cette avenue de recherche en proposant un cadre conceptuel pour les méthodes hybrides, intitulé la recherche itérative de l'espace restreint, ±Iterative Restricted Space Search (IRSS)>>, dont, la principale idée est la définition et l'exploration successives de régions restreintes de l'espace de solutions. Ces régions, qui contiennent de bonnes solutions et qui sont assez petites pour être complètement explorées, sont appelées espaces restreints "Restricted Spaces (RS)". Ainsi, l'IRSS est une approche de solution générique, basée sur l'interaction de deux phases algorithmiques ayant des objectifs complémentaires. La première phase consiste à identifier une région restreinte intéressante et la deuxième phase consiste à l'explorer. Le schéma hybride de l'approche de solution permet d'alterner entre les deux phases pour un nombre fixe d'itérations ou jusqu'à l'atteinte d'une certaine limite de temps. Les concepts clés associées au développement de ce cadre conceptuel et leur validation seront introduits et validés graduellement dans cette thèse. Ils sont présentés de manière à permettre au lecteur de comprendre les problèmes que nous avons rencontrés en cours de développement et comment les solutions ont été conçues et implémentées. À cette fin, la thèse a été divisée en quatre parties. La première est consacrée à la synthèse de l'état de l'art dans le domaine de recherche sur les méthodes hybrides. Elle présente les principales approches hybrides développées et leurs applications. Une brève description des approches utilisant le concept de restriction d'espace est aussi présentée dans cette partie. La deuxième partie présente les concepts clés de ce cadre conceptuel. Il s'agit du processus d'identification des régions restreintes et des deux phases de recherche. Ces concepts sont mis en oeuvre dans un schéma hybride heuristique et méthode exacte. L'approche a été appliquée à un problème d'ordonnancement avec deux niveaux de décision, relié au contexte des pâtes et papier: "Pulp Production Scheduling Problem". La troisième partie a permit d'approfondir les concepts développés et ajuster les limitations identifiées dans la deuxième partie, en proposant une recherche itérative appliquée pour l'exploration de RS de grande taille et une structure en arbre binaire pour l'exploration de plusieurs RS. Cette structure a l'avantage d'éviter l'exploration d 'un espace déjà exploré précédemment tout en assurant une diversification naturelle à la méthode. Cette extension de la méthode a été testée sur un problème de localisation et d'allocation en utilisant un schéma d'hybridation heuristique-exact de manière itérative. La quatrième partie généralise les concepts préalablement développés et conçoit un cadre général qui est flexible, indépendant des méthodes utilisées et basé sur un échange d'informations entre les phases. Ce cadre a l'avantage d'être général et pourrait être appliqué à une large gamme de problèmes.

.

.

The vision driving the work reported herein is to investigate the fluid-structure interac-tion (FSI) effects of the flexible laminated blades for tilt-body micro-air-vehicles (MAV)proprotors in hover and forward flight configurations. This is in order to exploit the po-tential of flexible-bladed proprotor over the rigid-bladed proprotor in the enhancementof proprotor performance during hovering and cruising at a target forward speed. Forthat, the FSI model taking into account the specific problems devoted to MAV-sizedproprotor made of laminate composite was developed. The FSI model combines aerody-namic model adapting Blade Element Momentum (BEM) theory and structural modeladapting Anisotropic Finite Element Beam (AFEM) theory. The aerodynamic model isdeveloped to be capable of adapting in the analysis on low Reynolds number proprotors.In the structural model, the blade is modeled as an elastic beam undergoing deflectionsin flap, lag, and torsion to capture the coupling effects in anisotropic materials, adaptsthe structural analysis on proprotor blades made of laminate composite. The reliabilityof the developed FSI model is verified through a validation on both aerodynamic andstructural models, separately, on several MAV-sized proprotors. As for a direction to theanalysis on passively-adaptive proprotor blades, an optimal design on actively-adaptiveproprotor was carried out. For this, a program for designing the optimum rigid blades atsingle-point (for either isolated cruise-point or isolated hover-point) and multiple-point(combined cruise and hover point) for proprotors have been developed. The proceduresin the optimal design program employs the numerical iterative inverse design method,based upon the minimum thrust induced losses (MIL). Even if the work in this thesiswas directed primarily towards the proprotor, however, the propulsion system from themotor part was not neglected since the propulsion efficiency is a crucial factor to the suc-cess of MAVs. A cheap and time-effective method of proposing the best motor from theselected commercial motors was developed, based on Taguchi’s method. The sensitivityof the total power consumption to the variation of value of each motor design variableswas also studied. The benefit of the use of tip body in the blade and the effect of bendingon the induced twist and on the thrust degradation, respectively, were also analyzed andidentified. Finally, the systematically designed passively-adaptive composite proprotors were evaluated under steady operating conditions. Hovering and cruise propulsive performance, characterized by total power Ptotal, were compared between the rigid-bladed and flexible-bladed proprotors. As a result of the comparison, the flexible-bladed proprotor with fixed system is found to be capable of slightly enhancing the performance through the reduction in Ptotal over its optimal rigid-bladed proprotor. / L’idée principale du travail rapporté ici est d’étudier les effets de l’intéraction fluide-structure (FSI) de pales laminées flexibles pour les proprotors de micro véhicules aériens(MAV) de type tilt-body dans les configurations de vol stationnaire et en avant. Eneffet, le but est d’exploiter les possibilités offertes par les proprotors à pales flexiblespar rapport aux proprotors à pales rigides pour améliorer leur performance dans cesphases de vol. Le modèle FSI a été développé à cet effet. Ce modèle tient compte desproblèmes spécifiques liés aux proprotors de MAV faits de composite laminé. Il com-bine l’adaptation de modèle aérodynamique par la théorie d’élement de pale (BEM) etl’adaptation de modèle structurel par la théorie des éléments finis de poutre anisotropes(AFEM). Le modèle aérodynamique est développé pour être capable de s’adapter àl’analyse des proprotors à bas nombres de Reynolds. Dans le modèle structural, la paleest modélisée comme une poutre élastique subissant des déviations dans la flexion, latraction et la torsion afin de capturer les effets de couplage de matériaux anisotropes.Il adapte l’analyse structurale des pales du proprotor faites de composite laminé. Lafiabilité du modèle FSI développé est vérifiée à travers une validation par modèles aéro-dynamique et structural, séparément, sur plusieurs proprotors de MAV. Afin de se dirigervers une analyse de pales de proprotors à adaptation passive , une recherche de designoptimal a été effectuée pour des proprotor à adaptation active. Pour cela, un programmepour la conception de pales rigides optimales à un unique point de fonctionnement (soitle vol de croisière soit le vol stationnaire) et à plusieurs points (combinant croisière etvol stationnaire) ont été développés. Les procédures du programme de design optimalemploient les mèthodes de design inverse par itération numérique, sur la base de pertesde poussée induites minimales (MIL). Même si le travail dans cette thèse a été dirigéprincipalement vers le proprotor, la partie moteur du système de propulsion n’a pasété négligée puisque l’efficacité de la propulsion est un facteur crucial pour le succès desMAVs. Une méthode simple et rapide de sélection du meilleur moteur parmi les moteurscommerciaux choisis est élaborée sur la base de la méthode de Taguchi. La sensibilitéde la consommation d’énergie totale à la variation de la valeur de chaque variable deconception du moteur a été étudiée. Le bénéfice de l’utilisation de la charge à la pointe de la pale et l’effet de la flexion sur la torsion induite et sur la dégradation de la poussée respectivement ont aussi été analysés et identifiés. Enfin, les proprotors à pales flexibles conçues systématiquement ont été évalués dans des conditions de fonctionnement stables. Performances en vol stationnaire et performances croisière propulsive, caractérisées par la puissance totale Ptotal ont été comparées entre les proprotors à pales rigides et à pales flexibles. En tant que résultat de la comparaison, les proprotors à pales flexibles s’avère capable d’améliorer légèrement les performances par la réduction de la Ptotal surson optimal proprotors à pales rigides.

L'analyse statique correcte d'un programme consiste à obtenir des propriétés vraies de toute exécution de ce programme. Celles-ci sont utiles pour démontrer des caractéristiques appréciables du logiciel, telles que l'absence de dépassement de capacité ou autre erreur à l'exécution quelle que soient les entrées du programme. Elles sont presque toujours établies à l'aide d'invariants inductifs : des propriétés vraies de l'état initial et telles que si elles sont vraies à une étape de calcul, alors elles restent vraies à l'étape suivante de la transition de calcul, donc sont toujours vraies par récurrence. L'interprétation abstraite est une approche traditionnelle de la recherche d'invariants numériques, que l'on peut exprimer comme une interprétation non-standard du programme dans un domaine abstrait choisi et ne tenant compte que de certaines propriétés intéressantes. Même dans un domaine aussi simple que les intervalles (un minorant et un majorant pour chaque variable), ce calcul ne converge pas nécessairement, et l'analyse doit recourir à des opérateurs d'élargissement pour forcer la convergence au détriment de la précision. Une autre approche, appelée itération de politique et inspirée par la théorie des jeux, garantit de trouver le plus fort invariant inductif dans le domaine abstrait choisi après un nombre fini d'itérations. Cependant, la description originale de cet algorithme souffrait de quelques faiblesses : elle se basait sur une conversion totale du programme en un système d'équations, sans intégration ni synergie avec les autres méthodes d'analyse. Notre nouvel algorithme est une forme locale de l'itération de politique, qui la replace dans l'itération de Kleene mais avec un opérateur d'élargissement spécial qui garantit d'obtenir le plus petit invariant inductif dans le domaine abstrait après un nombre fini de ses applications. L'itération de politique locale opère dans les domaines de contraintes linéaires données par patron, qui demandent de fixer d'avance la «forme» de l'invariant (p.ex. "x + 2y" pour obtenir "x + 2y <= 10" ). Notre seconde contribution théorique est le développement et la comparaison de plusieurs stratégies de synthèse de patrons, utilisées en conjonction avec l'itération locale de politiques. De plus, nous présentons une méthode pour générer des arbres d'accessibilité abstraite par interprétation abstraite, permettant la génération de traces de contre-exemples, et ensuite la génération de nouveaux patrons à partir d'interpolants de Craig. Notre troisième contribution concerne l'analyse interprocédurale de programmes, éventuellement récursifs. Nous proposons un algorithme qui génère pour chaque procédure un résumé, applicable à toute interprétation abstraite et notamment à l'itération de politique locale. Nous pouvons ainsi générer les invariants inductifs les plus forts dans le domaine pour un nombre fixé de résumés pour un programme récursif. Notre dernière contribution théorique est une méthode d'affaiblissement permettant de trouver des invariants inductifs, éventuellement disjonctifs, à partir de formules obtenues par exécution symbolique. Nous avons mis en œuvre toutes ces approches dans le système d'analyse statique CPAchecker, un logiciel libre, ce qui permet des communications et collaborations entre analyses. Nos techniques utilisent des résolveurs de satisfiabilité modulo théorie, capables, étant donné une formule de logique du premier ordre sur certaines théories, d'en donner un modèle ou de démontrer qu'aucun n'existe.Afin de simplifier les communications avec ces outils, nous présentons la bibliothèque JavaSMT, fournissant une interface générique. Cette bibliothèque a déjà démontré son utilité pour de nombreux chercheurs. / Static analysis concerns itself with deriving program properties which holduniversally for all program executions.Such properties are used for proving program properties (e.g. there neveroccurs an overflow or other runtime error regardless of a particular execution) and are almostinvariably established using inductive invariants: properties which holdfor the initial state and imply themselves under the program transition, and thushold universally due to induction.A traditional approach for finding numerical invariants is using abstractinterpretation, which can be seen as interpreting the program in the abstractdomain of choice, only tracking properties of interest.Yet even in the intervals abstract domain (upper and lower boundsfor each variable) such computation does not necessarily converge, and theanalysis has to resort to the use of widenings to enforceconvergence at the cost of precision.An alternative game-theoretic approach called policy iteration,guarantees to findthe least inductive invariant in the chosen abstract domain under the finitenumber of iterations.Yet the original description of the algorithm includes a number of drawbacks:it requires converting the entire program to an equation system,does not integrate with other approaches,and is unable to benefit from other analyses.Our new algorithm for running local policy iteration (LPI)instead formulates policy iteration as traditional Kleene iteration,with a widening operator that guarantees to return the least inductiveinvariant in the domain after finitely many applications.Local policy iteration runs in template linear constraint domains whichrequires setting in advance the ``shape'' of the derived invariant (e.g.$x + 2y$ for deriving $x + 2y leq 10$).Our second theoretical contribution involves development and comparison ofa number of different template synthesis strategies, when used in conjunctionwith LPI.Additionally, we present an approach for generating abstract reachabilitytrees using abstract interpretation,enabling the construction of counterexample traces,which in turns lets us generate new templates using Craig interpolants.In our third contribution we bring our attention to interprocedural andpotentially recursive programs.We develop an algorithm parameterizable with any abstract interpretation forsummary generation, and we study it's parameterization with LPI.The resulting approach is able to generate least inductive invariants in the domain for a fixed number of summaries for recursive programs.Our final theoretical contribution is a novel "formula slicing''method for finding potentially disjunctive inductive invariantsfrom program fragments obtained by symbolic execution.We implement all of these techniques in the open-source state-of-the-artCPAchecker program analysis framework, enabling communication and collaborationbetween different analyses.The techniques mentioned above rely onsatisfiability modulo theories solvers,which are capable ofgiving solutions tofirst-order formulas over certain theories or showingthat none exists.In order to simplify communication with such toolswe present the JavaSMT library, which provides a generic interface for suchcommunication.The library has shown itself to be a valuable tool, and is already used by manyresearchers.

Les systèmes critiques comme les commandes de vol peuvent entraîner des désastres en cas de dysfonctionnement. D'où l'intérêt porté à la fois par le monde industriel et académique aux méthodes de preuve formelle capable d'apporter, plus ou moins automatiquement, une preuve mathématique de correction. Parmi elles, cette thèse s'intéresse particulièrement à l'interprétation abstraite, une méthode efficacepour générer automatiquement des preuves de propriétés numériques qui sont essentielles dans notre contexte.Il est bien connu des automaticiens que les contrôleurs linéaires sont stables si et seulement si ils admettent un invariant quadratique(un ellipsoïde, d'un point de vue géométrique). Ils les appellent fonction de Lyapunov quadratique et une première partie propose d'encalculer automatiquement pour des contrôleurs donnés comme paire de matrices. Ceci est réalisé en utilisant des outils de programmation semi-définie. Les aspects virgule flottante sont pris en compte, que ce soit dans les calculs effectués par le programme analysé ou dans les outils utilisés pour l'analyse. Toutefois, le véritable but est d'analyser des programmes implémentant des contrôleurs (et non des paires de matrices), incluant éventuellement des réinitialisation ou des saturations, donc non purement linéaires. L'itération sur les stratégies est une techniqued'analyse statique récemment développée et bien adaptée à nos besoins. Toutefois, elle ne se marrie pas facilement avec lestechniques classiques d'interprétation abstraite. La partie suivante propose une interface entre les deux mondes.Enfin, la dernière partie est un travail plus préliminaire sur l'usage de l'optimisation globale sur des polynômes basée sur les polynômes deBernstein pour calculer des invariants polynomiaux sur des programmes polynomiaux. / Critical Systems such as flight commands may have disastrous results in case of failure. Hence the interest of both the industrial and theacademic communities in formal methods able to more or less automatically deliver mathematical proof of correctness. Among them, this thesis will particularly focus on abstract interpretation, an efficient method to automatically generate proofs of numerical properties which are essential in our context.It is well known from control theorists that linear controllers are stable if and only if they admit a quadratic invariant (geometrically speaking, an ellipsoid). They call these invariants quadratic Lyapunov functions and a first part offers to automatically compute such invariants for controllers given as a pair of matrices. This is done using semi-definite programming optimization tools. It is worth noting that floating point aspects are taken care of, whether they affectcomputations performed by the analyzed program or by the tools used for the analysis.However, the actual goal is to analyze programs implementing controllers (and not pairs of matrices), potentially including resets or saturations, hence not purely linears. The policy iteration technique is a recently developed static analysis techniques well suited to that purpose. However, it does not marry very easily with the classic abstract interpretation paradigm. The next part tries to offer a nice interface between the two worlds.Finally, the last part is a more prospective work on the use of polynomial global optimization based on Bernstein polynomials to compute polynomial invariants on polynomials systems.

Les instruments et objets sonores du monde préhispanique mexicain ne sont pas couramment utilisés dans la création de la musique classique de notre époque. Cette utilisation sonore peut causer certains problèmes qui restent à être résolus pour pouvoir les utiliser de façon intégrale et universelle dans la réalité de la création musicale contemporaine. Cette thèse s'inscrit dans le cadre de l’introduction des sonorités du Mexique préhispanique dans l'orchestration moderne. Elle consiste en une recherche musicale de création et d’intégration des nouvelles propositions orchestrales dans une perspective contemporaine. Je me suis donc attachée dans ce travail, à analyser les propriétés sonores des dits instruments, ainsi qu’à confronter deux mondes différents dont les sonorités de base sont simples et d’aspect archaïque. Ce travail comporte sept chapitres, incluant l’analyse compositionnelle de quatre de mes œuvres. Il vise à proposer une démarche de création musicale en s’inspirant des éléments simples d’itération (entre autres) qui sont très caractéristiques des sifflets et des autres objets sonores mexicains. En introduisant certains instruments anciens dans un contexte tout à fait différent de leur origine, ces découvertes sonores m’auront permis de transformer mon écriture musicale. Œuvres soumises:  Nahui Ocelotl, pour percussion solo et instruments préhispaniques  El Evangelio de Judas, pour ensemble  Ikal pour trompette maya et percussion  Stáku pour ensemble Mots-clés : orchestration, composition, percussion, instruments préhispaniques, analyse musicale, itération, ingénieur Roberto Velázquez. / The musical instruments and objects of the Mexican pre-Hispanic world are not commonly used in the creation of modern classical music. The use of these sounds may cause some problems, which remain to be solved in order to use them fully and universally in contemporary musical creation. This thesis fits into the introduction of pre-Hispanic Mexican sounds in modern orchestration. It consists of a musical research of creation and integration of new orchestral proposals in a contemporary perspective. So far, my concern has been to analyse the sound properties of these instruments to confront them with two different worlds, whose basic nature is simple and take us to an archaic reality. This work is based on seven chapters, including the compositional analysis of four of my musical creations. It aims to propose an approach to musical creation by drawing simple iteration elements (among others), which are very characteristic of Mexican whistles and other sound objects. This sound discovery allowed me to create, compare and make several corrections in my musical language for assessing the sound phenomena of some ancient instruments by introducing them into a different context to their own origin. List of works submitted:  Nahui Ocelotl, pour percussion solo et instruments préhispaniques  El Evangelio de Judas, pour ensemble  Ikal pour trompette maya et percussion  Stáku pour ensemble Keywords: orchestration, composition, percussion, pre-Hispanic musical instruments, musical analyses, iteration, engineer Roberto Velázquez.