Des applications compilées en code-octet et encodées dans le format de fichier class sont normalement chargées et exécutées par une machine virtuelle. La vérification du code-octet est un processus utilisé par une machine virtuelle pour renforcer la sécurité des systèmes distribués en garantissant la conformité du code de classes avec les règles du langage. Les algorithmes actuels de vérification du code-octet utilisent des approches comme l'analyse de flot de données, le model checking ou le code-certifié (similaire au proof-carrying code). Mais l'on dénote certains problèmes, en particulier dus aux sous-routines, avec soit des spécifications informelles et incomplètes, soit des algorithmes ne supportant qu'un sous-ensemble du jeu d'instructions du code-octet, ou encore des performances exponentielles proportionnellement à la taille du code des méthodes à vérifier. Dans ce mémoire nous présentons une technique de vérification du code-octet avec sous-routines par code-certifié. Nous présentons en particulier la conception d'un format de certificat, d'un algorithme de calcul de certificat et d'un algorithme de vérification pour l'ensemble du jeu d'instructions du code-octet. Notre algorithme de vérification a une complexité linéaire en proportion de la taille du code des méthodes. Le développement d'un vérificateur et d'un compilateur de certificats a servi à conduire des expérimentations qui montrent que le format de certificat proposé est suffisamment riche pour effectuer la vérification du code-octet. De plus, nous présentons les résultats de l'évaluation du coût en espace mémoire de la certification de classes avec une telle technique. L'observation montre un accroissement relativement faible de la taille d'un échantillon de plus de 35 000 classes suite à leur certification. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Vérification, Code-octet, Code-certifié, Analyse de flot de données, Sous-routines, Java.

The purpose of this study is in one part to observe the evolution of the wind octet genre and another to research the evolution of the bassoon's role in this ensemble. Specifically the essential role of the two bassoons are revealed by showing that they are the only pair of instruments that remain intact in the wind octet ensemble from the time of Mozart to the time of Stravinsky. Because of this, they provide the wind octet it's characteristic sound. To illustrate these points, two significant wind octets were examined in detail: The Serenade in Eb, K. 375 (1782) by Mozart and the Octet for Winds (1923/revised 1952) by Stravinsky. Despite the long time span between these two works, and the obvious changes in instrumentation, the Octet for Winds by Stravinsky could be called an evolved version of the earlier traditional wind octet. The research within illustrates how the writing for the bassoons changed and stayed the same as related to range, articulation, technical demands, interaction and blending, idiomatic features and role between the years of 1782 and 1923. Other octets that fall between these dates were examined to demonstrate this evolution. Also, in order to have a better understanding of the Serenade by Mozart and Octet for winds by Stravinsky, their symphonic works were analyzed to determine how each composer wrote for the bassoon in other genres and this is compared to the use of the bassoon in their octets.

La compilation de codee source vers du code octet combiné avec l'utilisation d'une machine virtuelle ou d'un interpréteur pour l'exécuter est devenue une pratique courante qui permet de conserver une indépendance face à la plateforme matérielle. Les interpréteurs sont portables et offrent une simplicité de développement qui en font un choix intéressant pour la conception de prototypes de nouveaux langages de programmation. L'optimisation des techniques d'interprétation existantes est un sujet de recherche qui nous intéresse particulièrement. Nous avons voulu, par l'entremise de notre projet de recherche, étudier jusqu'où il est possible de pousser l'optimisation dans un interpréteur. Après avoir étudié les types d'interpréteurs existants, nous avons constaté que les interpréteurs les plus performants se basent tous sur le même principe: La réduction du coût associé aux répartitions entre les instructions interprétées. Ce coût est causé par les instructions de répartitions elles-mêmes, mais surtout par l'augmentation du taux d'erreur qu'elles procurent dans les prédicteurs de branchement qui se trouvent au sein des processeurs modernes. Des mauvaises prédictions de branchements occasionnent des coûts importants sur une architecture pipelinée. L'interpréteur linéaire inclusif est un des plus performants qui existe. En nous basant sur cet interpréteur, nous avons fait la conception et l'implémentation d'un mécanisme qui lui permet d'augmenter la longueur des ses super-instructions et par le fait même de diminuer le nombre de répartitions pendant l'exécution. Nous avons mis au point un mécanisme dynamique d'inclusion partielle des méthodes dans cet interpréteur. Nous avons aussi conçu un système de profilage qui nous permet de détecter les sites d'invocations chauds et d'y effectuer l'inclusion du chemin le plus fréquenté de la méthode appelée. En brisant ainsi la frontière entre le corps des méthodes, nous parvenons à augmenter la longueur moyenne des super-instructions. Nous avons surmonté et résolu toutes les difficultés inhérentes à l'implémentation d'un tel système dans une véritable machine virtuelle Java (synchronisation, exceptions, présence d'un nettoyeur de mémoire, présence de sous routines dans le code octet Java). Nous fournissons une étude empirique de l'impact de notre système sur un interpréteur linéaire inclusif en exécutant des applications Java d'envergure. Dans tous les cas étudiés, on arrive à augmenter la longueur moyenne des super-instructions invoquées et à diminuer le nombre de répartitions pendant l'exécution. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Interpréteur, Inclusion, Inclusion partielle, Profilage, Machine virtuelle, Java, JVM, SableVM.

L'utilisation du langage Java dans plusieurs environnements (web, systèmes embarqués, systèmes mobiles, etc.) a élevé considérablement le niveau d'exigence envers ce langage, ce qui a amené les chercheurs et les développeurs à s'intéresser au système de sécurité de la Machine Virtuelle Java (MVJ) qui repose principalement sur le vérificateur du code octet. Dans ce mémoire, nous expliquons le fonctionnement du vérificateur Java, son rôle, les différentes techniques proposées pour son implémentation et un algorithme que nous proposons comme alternative sérieuse aux autres vérificateurs qui existent déjà. Nous nous intéresserons plus particulièrement à l'effet des sous-routines sur le bon typage des instructions. Nous présentons aussi une nouvelle approche de vérification de la synchronisation en nous basant sur l'analyse de flot de données et en identifiant les références qui pointent vers le même objet. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Machine Virtuelle Java, Code octet, Vérificateur, Synchronisation, Java, ClassLoader, Instructions, Treillis, Analyse de flot de données, Fonctions de transfert, Point fixe.

The Octuor pour instruments a vents (or Octet), written in 1922-1923 by Igor Stravinsky, is a piece in three movements for a curious assortment of instruments: two trumpets, two trombones, flute, clarinet and two bassoons. It is one of four influential chamber works for winds by Stravinsky to include trumpet. Of these pieces, the Octet contains the fewest number of players but is no less complex and important in Stravinsky's oeuvre. The Octet helped mark the beginning of the neoclassical period in twentieth-century music. Chapter 2 examines the life and musical background of the composer. It also reveals the history surrounding the origin of the Octet and its role in neoclassicism. Chapter 3 discusses the role of the Octet in the wind ensemble and orchestral repertoire, and includes a representative performance history, including the premiere. Chapter 4 provides analytical insights into the construction and format of the piece. Chapter 5 provides suggestions regarding style in Stravinsky's music, including interviews with important figures in the trumpet world. Chapter 6 concludes the guide with specific suggestions regarding preparation and performance of the Octet.

Electromagnetic properties of the octet and decuplet baryons are calculated in quenched QCD on a 20 ³ x40 lattice with a lattice spacing of 0.128 fm using the fat - link irrelevant clover ( FLIC ) fermion action. FLIC fermions enable simulations to be performed efficiently at quark masses as low as 300 MeV. By combining FLIC fermions with an improved conserved vector current we ensure that discretization errors occur only at Ο ( α ² ) while maintaining current conservation. Magnetic moments, charge radii and magnetic radii are extracted from the electric and magnetic form factors for each individual quark sector. From these the corresponding baryon properties are constructed. Our results for the octet baryons are compared with the predictions of Quenched Chiral Perturbation Theory ( Q χ PT ) and experimental values where available. Results for the charge radii and magnetic moments of the octet baryons are in accord with the predictions of the Q χ PT, suggesting that the sum of higher order terms makes only a small contribution to the chiral expansion. The regime where chiral physics dominates remains to be explored. We establish the non - analytic behavior of the charge radii and magnetic moment in the case of octet baryons. The neutron charge radius suggests that the chiral regime is still far away. We establish substantial environment sensitivity in the quark behavior in the low mass region. We establish that the u and d quarks make substantial and important contribution to the magnetic moment of the Λ contradicting the predictions of the Simple Quark Model. We present the E0 and M1 form factors of the decuplet baryons and the charge radii and magnetic moments. We compare the decuplet baryon results with the lattice calculation of charge radii and magnetic moments of octet baryons. We establish that the environment sensitivity is far less pronounced in the case of the decuplet baryons compared to that in the octet baryons. A surprising result is that the charge radii of the decuplet baryons are generally smaller than that of the octet baryons. Magnetic moment of the Δ + shows a turn over in the low quark mass region, making it smaller than the proton magnetic moment. This is consistent with the expectations of the Quenched Chiral Perturbation Theory. A similar turn over is also noticed in the magnetic moment of the ∑ * [superscript 0], but not for Ξ * where only kaon loops can appear in Quenched QCD. We present results for the higher order moments of the decuplet baryons, i.e., the electric quadrupole moment E2 and the magnetic octupole moment M3. With these results we provide the first conclusive analysis which shows that decuplet baryons are deformed. The electric quadrupole moment of the The electric quadrupole moment of the Ω ‾ baryon is postive when the negative charge factor is included, and is equal to 0.014 ± 0.0005 fm ², indicating an oblate shape. / Thesis (Ph.D.)--School of Chemistry and Physics, 2006.

The composition is scored for the following instruments: 2 flutes, 2 oboes, 2 clarinets, 2 bassoons and a large percussion section requiring 7 performers. Beneath the Dancing Moon is a programmatic piece in one movement form composed of 5 continuous sections. It depicts a night scene when the elves begin to dance beneath the moon. Later, the moaning ghosts from the dark forest and the witches with brooms come to join them. They dance furiously until the moon disappears, the sea stops dead and all the dancers suddenly vanish. The approximate performance time is 17 minutes.

Cellular materials, often called lattice materials, are increasingly receiving attention for their ultralight structures with high specific strength, excellent impact absorption, acoustic insulation, heat dissipation media and compact heat exchangers. In alignment with emerging additive manufacturing (AM) technology, realization of the structural applications of the lattice materials appears to be becoming faster. Considering the direction dependent material properties of the products with AM, by directionally dependent printing resolution, effective moduli of lattice structures appear to be directionally dependent. In this paper, a constitutive model of a lattice structure, which is an octet-truss with a base material having an orthotropic material property considering AM is developed. In a case study, polyjet based 3D printing material having an orthotropic property with a 9% difference in the principal direction provides difference in the axial and shear moduli in the octet-truss by 2.3 and 4.6%. Experimental validation for the effective properties of a 3D printed octet-truss is done for uniaxial tension and compression test. The theoretical value based on the micro-buckling of truss member are used to estimate the failure strength. Modulus value appears a little overestimate compared with the experiment. Finite element (FE) simulations for uniaxial compression and tension of octet-truss lattice materials are conducted. New effective properties for the octet-truss lattice structure are developed considering the observed behavior of the octet-truss structure under macroscopic compression and tension trough simulations.

Made available in DSpace on 2014-12-17T15:42:00Z (GMT). No. of bitstreams: 1 JulioCOS_DISSERT.pdf: 1559177 bytes, checksum: 5d76456c4b64130c51ab0adec9c84e15 (MD5) Previous issue date: 2010-08-16 / This research aims at identifying the learning problems in newly undergraduate students at university, interpreting the nature and causes of these problems, offering subsidies to overcome these difficulties and enabling a meaningful learning through which students give meaning to their learning. As an object for this work was chosen the theme Chemical Bonds - where were studied the forces between atoms to form molecules, compound ions and ionic crystalline structures - and is characterized as one of the most important subjects of Chemistry. In research, it was used a questionnaire with five open questions, answered by 147 students from the early periods of degrees in Chemistry at Universidade Federal do f Rio Grande do Norte. The answers revealed uncertainty on the part of students, both conceptual and representation, with superficial justifications, always using the octet rule to describe models of chemical bonds. Results suggest that these students had inadequate training in high school and that the examinations for entrance into the ranks were made according to flexible criteria less demanding in terms of knowledge. These observations have led to the conclusion that for future changes, it is necessary for high schools and in the early periods in universities favoring the adoption of pedagogical approaches in context and applying strategies to overcome the teaching of superficial memorization on Chemical Bonds, which probably have applied to the teaching of other subjects of chemistry / Este trabalho teve o objetivo de identificar problemas de aprendizagem em alunos de gradua??o rec?m ingressante na universidade, interpretar a natureza e as causas desses problemas, oferecendo subs?dios para supera??o de tais dificuldades e possibilitando uma aprendizagem significava atrav?s da qual o aluno atribua sentido em seu aprendizado. Para o desenvolvimento desse trabalho foi escolhido o tema Liga??es Qu?micas - onde se estudam as for?as que agem entre os ?tomos para formar mol?culas, ?ons compostos ou estruturas cristalinas i?nicas -, que se caracteriza como um dos mais importantes assuntos da Qu?mica. Para isso, utilizou-se um question?rio com cinco perguntas abertas, respondidas por 147 estudantes dos per?odos iniciais das gradua??es em Qu?mica da Universidade Federal do Rio Grande do Norte. As respostas obtidas revelaram inseguran?a dos estudantes, tanto em termos conceituais quanto de representa??o, com justificativas superficiais, recorrendo sempre ? regra do octeto para descrever modelos de liga??es qu?micas. Os resultados sugerem que esses estudantes tiveram uma forma??o inadequada, no ensino m?dio e que os exames para ingresso nas gradua??es se fizeram segundo crit?rios pouco exigentes em termos de conhecimentos. As observa??es feitas levam ? conclus?o de que, para mudan?as futuras, ? necess?rio que escolas de ensino m?dio e dos per?odos iniciais nas universidades privilegiem a ado??o de m?todos pedag?gicos contextualizados, aplicando estrat?gias para superar o ensino memor?stico e superficial sobre Liga??es Qu?micas, o que, provavelmente, se aplica ao ensino de outros temas da Qu?mica

La musique de circonstance pour "Harmoniemusik" (I760-1820) est un phénomène particulier à Vienne. Des nobles fondent vers 1760 un sextuor ou un octuor pour accompagner les divertissements et les dîners. Ce répertoire occupe encore une place limitée dans la capitale mais ce rôle s'accroît après 1770. Trois fonctions principales de la "Harmoniemusik" sont abordées : "Freiluftmusik", "Tafelmusik "et tout un répertoire destiné aux circonstances. Vienne s'impose comme un centre de la musique instrumentale. Elle compte de nombreuses "Harmoniemusik" au service de la noblesse. Des harmonies se retrouvent aussi dans différents lieux publics. Les œuvres demeurent un genre représentatif des valeurs classiques. L'analyse de partitions démontre les réponses apportées par les compositeurs sur la question du langage instrumental et des sonorités. La musique contribue à la formation d'une identité et traduit une expressivité inattendue qui se répercute dans des ouvrages plus imposants. / The occasional music for "Harmoniemusik" (1760-1820) is particular phenomenon in Vienna.Since 1760 the nobility founded there sextets or octets to provide entertainment and to accompany dinners. This repertory plays a very limited part but this role starts to grow after 1770 onwards. Three main functions of the Harmoniemusik are considered : "Freiluftmusik", "Tafelmusik" and a whole repertory destined to specific circumstances. Vienna imposes itself as the centre of instrumental. The Harmoniemusik remained an aristocratic phenomenon but thewind bands are also found in various areas of the capital. The works remains a category representative of classical values. The analysis of scores demonstrates the answers provided by composers to the theme of instrumental language and sonority. The music contributes to the formation of an musical identity and reflects an unexpected form of expression that impacts with the most imposing works.