Quelques théorèmes ergodiques pour des suites de fonctions

Le théorème ergodique de Birkhoff nous renseigne sur la convergence de suites de fonctions. Nous nous intéressons alors à étudier la convergence en moyenne et presque partout de ces suites, mais dans le cas où la suite est une suite strictement croissante de nombres entiers positifs. C’est alors que nous définirons les suites uniformes et étudierons la convergence presque partout pour ces suites. Nous regarderons également s’il existe certaines suites pour lesquelles la convergence n’a pas lieu. Nous présenterons alors un résultat dû en partie à Alexandra Bellow qui dit que de telles suites existent. Finalement, nous démontrerons une équivalence entre la notion de transformatiuon fortement mélangeante et la convergence d'une certaine suite qui utilise des “poids” qui satisfont certaines propriétés.

Evaluation of internal navigation sensor suites for underground mining vehicle navigation

This paper describes a series of trials that were done at an underground mine in New South Wales, Australia. Experimental results are presented from the data obtained during the field trials and suitable sensor suites for an autonomous mining vehicle navigation system are evaluated.

The prehistory of Suomussalmi, eastern Finland; the first billion years as revealed by isotopes and the composition of granitoid suites

The four papers summarized in this thesis deal with the Archean and earliest Paleoproterozoic granitoid suites observed in the Suomussalmi district, eastern Finland. Geologically, the area belongs to the Kianta Complex of the Western Karelian Terrane in the Karelian Province of the Fennoscandian shield. The inherited zircons up to 3440 Ma old together with Sm Nd and Pb Pb data confirm the existence of previously anticipated Paleoarchean protocrust in Suomussalmi. The general timeline of granitoid magmatism is similar to that of the surrounding areas. TTG magmatism occurred in three distinct phases: ca 2.95 Ga, 2.83 2.78 Ga and 2.76 2.74 Ga. In Suomussalmi the TTGs sensu stricto (K2O/Na2O less than 0.5) belong to the low-HREE type and are interpreted as partial melts of garnet amphibolites, which did not significantly interact with mantle peridotites. Transitional TTGs (K2O/Na2O more than 0.5), present in Suomussalmi and absent from surrounding areas, display higher LILE concentrations, but otherwise closely resemble the TTGs sensu stricto and indicate that recycling of felsic crust commenced in Suomussalmi 200 Ma earlier than in surrounding areas. The youngest TTG phase was coeval with the intrusion of the Likamännikkö quartz alkali feldspar syenite (2741 ± 2 Ma) complex. The complex contains angular fragments of ultrabasic rock, which display considerable compositional heterogeneity and are interpreted as cumulates containing clinopyroxene (generally altered to actinolite), apatite, allanite, epidote, and albite. The quartz alkali feldspar syenite cannot be regarded as alkaline sensu stricto, despite clear alkaline affinities. Within Likamännikkö there are also calcite carbonatite patches, which display mantle-like O- and C-isotope values, as well as trace element characteristics consistent with a magmatic origin, and could thus be among the oldest known carbonatites in the world. Sanukitoid (2.73 2.71 Ga) and quartz diorite suites (2.70 Ga) overlap within error margins and display compositional similarities, but can be differentiated from each other on the basis of higher Ba, K2O and LREE contents of the sanukitoids. The Likamännikkö complex, sanukitoids and quartz diorites are interpreted as originating from the metasomatized mantle and mark the diversification of the granitoid clan after 200 Ma of evolution dominated by the TTG suite. Widespread migmatization and the intrusion of anatectic leucogranitoids as dykes and intrusions of varying size took place at 2.70 2.69 Ga, following collisional thickening of the crust. The leucogranitoids and leucosomes of migmatized TTGs are compositionally alike and characterized by high silica contents and a leucocratic appearance. Due to compositional overlap, definitive discrimination between leucogranitoids and transitional TTGs requires isotope datings and/or knowledge of field relationships. Leucogranitoids represent partial melts of the local TTGs, both the sensu stricto and transitional types, mostly derived under water fluxed conditions, with possible fluid sources being late sanukitoids and quartz diorites as well as dehydrating lower crust. The Paleoproterozoic 2.44 2.39 Ga A-type granitoids of the Kianta Complex emplaced in an extensional environment are linked to the coeval and more widespread mafic intrusions and dykes observed over most of the Archean nucleus of the Fennoscandian shield. The A-type intrusions in the Suomussalmi area are interpreted as partial melts of the Archean lower crust and display differences in composition and magnetite content, which indicate differences in the composition and oxidation state of the source.

A Systematic Approach to Synthesis of Verification Test-suites for Modular SoC Designs

Verification is one of the important stages in designing an SoC (system on chips) that consumes upto 70% of the design time. In this work, we present a methodology to automatically generate verification test-cases to verify a class of SoCs and also enable re-use of verification resources created from one SoC to another. A prototype implementation for generating the test-cases is also presented.

Las reglas y usos uniformes relativas a créditos documentarios (versión de 1993)

Este artículo desarrolla la idea de que las Reglas y Usos, entendidas como condiciones generales son el marco jurídico que tiene el crédito documentario, sus revisiones periódicas les permiten adaptarse a las necesidades cada vez más cambiantes del comercio internacional, y se puede incluso llegar a decir que son otro elemento de la "globalización" de la economía o de la "mundialización" del Derecho.

Estimativa de fontes externas uniformes de nêutrons em regiões combustíveis para uma distribuição prescrita de potência

Projetos de reatores nucleares foram classificados em quatro gerações (Gen) pelo Departamento de Energia dos Estados Unidos da América (DOE), quando o DOE introduziu o conceito de reatores de geração IV (Gen IV). Reatores Gen IV são um conjunto de projetos de reator nuclear, em sua maioria teóricos, atualmente sendo pesquisados. Entre os projetos Gen IV, incluem-se os projetos dos ADS (Accelerator Driven Systems), que são sistemas subcríticos estabilizados por fontes externas estacionárias de nêutrons. Estas fontes externas de nêutrons são normalmente geradas a partir da colisão de prótons com alta energia contra os núcleos de metais pesados presentes no núcleo do reator, fenômeno que é conhecido na literatura como spallation, e os prótons são acelerados num acelerador de partículas que é alimentado com parte da energia gerada pelo reator. A criticalidade de um sistema mantido por reações de fissão em cadeia depende do balanço entre a produção de nêutrons por fissão e a remoção por fuga pelos contornos e absorção de nêutrons. Um sistema está subcrítico quando a remoção por fuga e absorção ultrapassa a produção por fissão e, portanto, tende ao desligamento. Entretanto, qualquer sistema subcrítico pode ser estabilizado pela inclusão de fontes estacionárias de nêutrons em seu interior. O objetivo central deste trabalho é determinar as intensidades dessas fontes uniformes e isotrópicas de nêutrons, que se deve inserir em todas as regiões combustíveis do sistema, para que o mesmo estabilize-se gerando uma distribuição prescrita de potência elétrica. Diante do exposto, foi desenvolvido neste trabalho um aplicativo computacional em linguagem Java que estima as intensidades dessas fontes estacionárias de nêutrons, que devem ser inseridas em cada região combustível para que estabilizem o sistema subcrítico com uma dada distribuição de potência definida pelo usuário. Para atingir este objetivo, o modelo matemático adotado foi a equação unidimensional de transporte de nêutrons monoenergéticos na formulação de ordenadas discretas (SN) e o convencional método de malha fina diamond difference (DD) foi utilizado para resolver numericamente os problemas SN físicos e adjuntos. Resultados numéricos para dois problemas-modelos típicos são apresentados para ilustrar a acurácia e eficiência da metodologia proposta.

a backtracking search tool for constructing combinatorial test suites

Combinatorial testing is an important testing method. It requires the test cases to cover various combinations of parameters of the system under test. The test generation problem for combinatorial testing can be modeled as constructing a matrix which has certain properties. This paper first discusses two combinatorial testing criteria: covering array and orthogonal array, and then proposes a backtracking search algorithm to construct matrices satisfying them. Several search heuristics and symmetry breaking techniques are used to reduce the search time. This paper also introduces some techniques to generate large covering array instances from smaller ones. All the techniques have been implemented in a tool called EXACT (EXhaustive seArch of Combinatorial Test suites). A new optimal covering array is found by this tool.

BACH TO BASICS: A PERFORMANCE STUDY OF THE SUITES FOR SOLO CELLO BY JOHANN SEBASTIAN BACH, BWV 1007-1012

This dissertation project focuses on J.S. Bach's Six Suites and explores the ideology of the Suites as etudes versus concert pieces. It is my belief that the evolution of the rank of the Suites in a cellist's repertoire today represents more than just historical coincidence. My premise is that the true genius of the Suites lies in their dual role as !&I efficient teaching pieces and superior performance works. Consequently, the maximum use of Bach's Six Suites as pedagogical material heightens both technical ability and deeper appreciation of the art. The dual nature of the Suites must always be emphasized: not only do these pieces provide innumerable opportunities for building cello technique, but they also offer material for learning the fundamentals of melody, harmony, dynamics, phrasing and texture. It is widely accepted among academic musicians that Bach's keyboard music serves as perfect compositions -- the model for music theory, music form and music counterpoint. I argue that we should employ the Cello Suites to this same end. The order in which the Suites are presented was deliberately chosen to highlight the contrasts in the pieces. Because the technical demands of each suite grow progressively from the previous one, they were performed non-consecutively in order to balance the difficulty and depth of each recital. The first compact disc consists of the Third Suite in C Major and Fifth Suite in C minor (with scordatura tuning), emphasizing the parallel keys. The Second Suite in D Minor and the Fourth Suite in E-flat Major comprises the compact disc. Finally, in the third compact disc, the First Suite in G Major and the Sixth Suite in D Major (composed for the five string cello piccola, but played here on a four-string cello) highlights the progression of the Suites.

Bach's cello suites transcription and interpretation for baritone saxophone

Bach’s Suites for unaccompanied cello are a masterpiece of the Classical Western canon for their singularity and their creator’s mastery. A myriad of transcriptions were made throughout the centuries with bigger or lesser freedom. This thesis aims at revealing insights from the art of linear polyphony and its performance on a monophonic instrument such as the baritone saxophone. The study of the musical structure is supported by examples from the visual domain that help us to understand the notion of linear polyphony as a third-dimension object. The particularity of this study, in relation to the multiple existing literature about Bach’s music, is its focus on a wind player’s point of view, a saxophonist, which, given the restriction of the polyphonic possibilities of the instrument, reveals some discerning solutions on the performance, analysis and elaboration of the polyphonic thinking in Bach’s Suites. Similar to the relative novelty of the cello at Bach’s time, my work aims at giving as close as possible the same perspective of the music through a new vision and instrument. I analysed the art of linear polyphony and the techniques of elaboration of the melody in the Cello Suites, notably as a means to support the interpretation (e.g. articulation, phrasing, dynamics, vibrato, fingerings, etc.) and to devise a transcription of the Suites for the baritone saxophone. My choice felled on a transcription for baritone saxophone based on the manuscript from Anna Magdalena Bach, wishing to provide detailed guidelines for saxophonists who want to create a more informed interpretation. I hope to offer a better understanding of these works and to provide a reference to build and develop an individual interpretation, especially on the baritone saxophone.

Catalogue d'une importante collection de vignettes par ou d'après Borel, Choffard, Eisen, Gravelot, Lebarbier, Marillier, Monnet, Moreau le jeune, Queverdo et autres, Portraits des XVIe, XVIIe et XVIIIe siècles, Estampes, dessins des XVIIIe et XIXe siècles, autographes, suites de figures, composant la collection de Mr H. de G. La vente aura lieu du lundi 27 février au mercredi 8 mars 1893... 28 rue des Bons-Enfants... / Me Maurice Delestre, commissaire-priseur ; [expert] M. Ch. Porquet, libraire, M. P. Roblin, marchand d'estampes

[Vente. Art. 1893-02-27 - 1893-03-08. Paris]