Orientador: Ricardo Goldemberg / Anexos: 2 CD-ROM / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Artes / Made available in DSpace on 2018-08-15T15:27:49Z (GMT). No. of bitstreams: 1 Pinto_AntonioCarlosNeves_M.pdf: 43661879 bytes, checksum: d02ee94a1f66e452dcc09ceeab02c203 (MD5) Previous issue date: 2004 / Resumo: Este projeto tem por principal objetivo apresentar uma possibilidade de execução para a música sinfônica de influências afro-brasileiras, muito pouco explorada pelos nossos intérpretes. Para tanto foi escolhida, especificamente o "Batuque" da Suíte "Reisado do Pastoreio" do compositor Oscar Lorenzo Fernândez, uma das obras brasileiras de maior riqueza musical e reconhecimento no cenário internacional. Esta pesquisa tem como justificativa a contribuição para o enriquecimento da bibliografia técnica brasileira em práticas interpretativas e também da discografia, através de dois Cds que acompanham esta dissertação, uma vez que faltam materiais de suporte disponíveis para o estudo deste gênero musical. A metodologia constou de: leitura de bibliografia especifica para um estudo das origens do termo batuque, as características das práticas musicais e de danças dos negros afro-brasileiros desde o período colonial, suas transformações até as primeiras décadas do século XX, em seguida um paralelo com a trajetória do compositor e sua produção musical, uma análise formal, uma análise interpretativa e comparativa com mais duas execuções distintas desta peça. Entre os resultados obtidos, contam-se a aplicação de conhecimentos teóricos na prática interpretativa; a contribuição para maior entendimento deste repertorio especifico assim como abertura para uma nova perspectiva à pesquisa musical; além de fornecer material útil para o ensino de música de câmara e de prática orquestral / Abstract: This research had the main object to present a possibility of performing the Brazilian symphonic music formed by afro-Brazilian influences, very little explorered by our performers. For that, was chosen particularly the "Batuque" from Suite "Reisado do Pastoreio" composed by Oscar Lorenzo Fernandez, one of the Brazilian woks full of musical richness and recognition at the international environment. This research had as justification, the contribution for the enrichment of the Brazilian technical bibliography in performing practices and discography through two CDs which join the dissertation, once that there is a lack of support material for the study of this kind of music. The methodology, at first, has consisted of the reading of particularly bibliography about the genesis of the term batuque and the characteristics of the musical practices and the dances of the afro-Brazilian Negroes since the colonial period until their changes during the first decades of the twentieth century. After that a parallel was described between the composer's path and his musical production. At last one formal analysis was made of Lorenzo Fernandez's batuque and one performing and comparative analysis was made between our performance and two different others of this piece. The results of this research showed that the theoretical knowledges were applicable at the performance practice and the contribution for the greatest comprehension of music with afro-Brazilian influences; opening a new perspective for musical research besides making available useful material for teaching chamber music and orchestral music / Mestrado / Mestre em Artes

This work largely concerns the roles of Matthew Locke and Henry Purcell in the history of English keyboard music as reflected in their keyboard suites. Both, as composers of the Restoration period, integrated the French style with the more traditional English techniques--especially, in the case of Purcell, the virginalist heritage-- in their keyboard music. Through a detailed examination of their suites, I reveal differences in their individual styles and set forth unique characteristics of each composer. Both composers used the then traditional almain-corant-saraband pattern as the basis of the suite, to which they added a variety of English country dances. At the same time they modified the traditional dances with a variety of French and Italian idioms, thereby making distinctive individual contributions to the genre.

.

Cette thèse est consacrée à l'étude de certaines questions de convergence et de récurrence multiples en théorie ergodique. Nous distinguons les systèmes munis d'une transformation et ceux munis de plusieurs transformations qui commutent. Dans les premiers, le mécanisme de facteurs caractéristiques et les nilsystèmes jouent un rôle important dans l'étude de convergence et de récurrence multiples. À l'aide de ces outils, nous étendons les résultats sur la convergence de moyennes ergodiquesmultiples pondérées de Host et Kra pour le cas linéaire au cas polynômial. En conséquence, nous montrons que pour toute fonction $f$ mesurable bornée sur un système ergodique, la suite $(f(T^n x))$ est universellement bonne pour presque tout $x$. Quand il y a plusieurs transformations qui commutent, à l'aide de la machinerie des systèmes magiques introduite récemment par Host et développée dans cette thèse, nous étendons les résultats sur la convergence de moyennes ergodiques multiples sur les cubes de Host et Kra avec une transformation à plusieurs transformations qui commutent. Nous obtenons aussi un résultat de récurrence multiple quantitatif pour deux transformations qui commutent, similaire en faveur du cas d'une transformation établi par Bergelson, Host et Kra / This thesis is devoted to the study of some questions of multiple convergence and recurrence in ergodic theory. We distinguish between systems endowed with a single transformation and systems endowed with several commuting transformations. In the former, characteristic factors and nilsystemsplay an important role in the study of multiple convergence and recurrence. Using these tools, we extend results on convergence of weighted multiple ergodic averages of Host and Kra for the linear case to the polynomial case. As a consequence, we show that for any bounded measurable function $f$ on an ergodic system, the sequence $f(T^n x)$ is universally good for almost every $x$. In systems endowed with several commuting transformations, we use the machinery of magic systems introduced recently by Host and further properties of magic systems developed in this thesis,to extend results of Host and Kra on convergence of multiple ergodic averages along cubes with a single transformation to commuting transformations. We obtain a quantitative multiple recurrence result for two commuting transformations, similar in flavour to that of a single transformationestablished by Bergelson, Host and Kra, but with a different conclusion

Stellar Ouintet is a composition in five movements (Prologue, Allegro, "...Of Stars", Rondo, Epilogue) for two violins, viola, violoncello, and harpsichord. It makes extensive use of constellations , a term used in this work to denote arrangements of pitches in spatial notation. This method of notation is derived from actual astronomical constellations. The score makes use of both real and freely constructed constellations which are rotated around their own central axis. The score is 90 pages long with a 28 page analysis preceding the score. The work has a performance time of approximately 18-20 minutes

O TESTE baseado em modelos visa a possibilitar a derivação de conjuntos de casos de teste a partir de especificações formais, tais como Máquinas de Estados Finitos. Os conjuntos de teste podem ser obtidos tanto pelos métodos clássicos de geração quanto por alguma abordagem ad hoc. Procura-se obter um conjunto de teste que consiga detectar todos os possíveis defeitos de uma implementação e possua tamanho reduzido para que a sua aplicação seja factível. Por questões de ordem prática, pode não ser possível a aplicação de todo o conjunto de teste gerado. Desse modo, um subconjunto de casos de teste deve ser selecionado, ou seja, uma minimização do conjunto de teste deve ser realizada. No entanto, é fundamental que a minimização reduza o custo de aplicação dos testes, mas mantenha a efetividade em revelar defeitos. Neste trabalho, propõe-se um algoritmo de minimização de conjuntos de teste para Máquinas de Estados Finitos. O algoritmo baseia-se em condições de suficiência para que a completude em relação à detecção de defeitos seja mantida. O algoritmo foi utilizado em dois diferentes contextos. Utilizou-se o algoritmo com conjuntos de teste gerados de forma aleatória para verificar a minimização obtida. O algoritmo também foi utilizado para reduzir o esforço em se obter um conjunto completo em relação à detecção de defeitos / THE Model-based testing aims at generating test suites from formal specifications, such as Finite State Machines. Test suites can be obtained either from classical test derivation methods or from some ad-hoc approach. It is desirable to produce a test suite which detects all possible faults of an implementation and has small size, so that its application can be feasible. For practical reasons, the application of the generated test suite may not be possible. Therefore, a subset of test cases should be selected, i.e., a test suite minimization should be performed. However, it is important that the minimization reduces the test application cost, but keeps the effectiveness in revealing faults. In this work, an algorithm is proposed for the minimization of test suites generated from Finite State Machines. The algorithm is based on sufficient conditions, so that test suite completeness can be maintained. The algorithm was used in two different contexts. It was used with randomly generated test suites to verify the minimization obtained. The algorithm was also used to reduce the effort of obtaining a test suite with full fault coverage

Orientador: Mauricy Matos / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Artes / Made available in DSpace on 2018-07-23T05:44:14Z (GMT). No. of bitstreams: 1 AraujoFilho_AlfeuRodriguesde_M.pdf: 3958957 bytes, checksum: cd9df1d7b2825aef4089a2696e37717b (MD5) Previous issue date: 1996 / Resumo: Esta pesquisa consiste inicialmente em um levantamento histórico sobre a vida do compositor ( conteúdo biográfico), seguido de um estudo sobre o movimento nacionalista, detectando as principais influências que o mesmo exerceu na formulação das Três Suítes Brasileiras. O enfoque analítico ressalta o aspecto formal; delimitação das idéias musicais ( linhas de fraseado ) ; estruturas harmônicas; construção rítmica; raciocínio simétrico; pedalização ; dinâmica e a possível relação do título com o procedimento musical, utilizando como referencial teórico a " Structural Hearing : Tonal Coherence in Music " de Felix Salzer ; " Fundamentos da Composição Musical" de Arnold Schoenberg e " The Analysis of Music " de John White . O trabalho interpretativo foi desenvolvido com respaldo na análise realizada, buscando, como resultado final, a decodificação do discurso musical. O quadro conclusivo baseou-se em um estudo comparativo entre as Três Suítes Brasileiras, enfatizando o desenvolvimento do processo criativo do compositor em questão, assim como, posicionando as mesmas no contexto das obras pianísticas / Abstract: Not informed. / Mestrado / Mestre em Artes

Digitized by Kansas Correctional Industries

O TESTE baseado em modelos visa a possibilitar a derivação de conjuntos de casos de teste a partir de especificações formais, tais como Máquinas de Estados Finitos. Os conjuntos de teste podem ser obtidos tanto pelos métodos clássicos de geração quanto por alguma abordagem ad hoc. Procura-se obter um conjunto de teste que consiga detectar todos os possíveis defeitos de uma implementação e possua tamanho reduzido para que a sua aplicação seja factível. Por questões de ordem prática, pode não ser possível a aplicação de todo o conjunto de teste gerado. Desse modo, um subconjunto de casos de teste deve ser selecionado, ou seja, uma minimização do conjunto de teste deve ser realizada. No entanto, é fundamental que a minimização reduza o custo de aplicação dos testes, mas mantenha a efetividade em revelar defeitos. Neste trabalho, propõe-se um algoritmo de minimização de conjuntos de teste para Máquinas de Estados Finitos. O algoritmo baseia-se em condições de suficiência para que a completude em relação à detecção de defeitos seja mantida. O algoritmo foi utilizado em dois diferentes contextos. Utilizou-se o algoritmo com conjuntos de teste gerados de forma aleatória para verificar a minimização obtida. O algoritmo também foi utilizado para reduzir o esforço em se obter um conjunto completo em relação à detecção de defeitos / THE Model-based testing aims at generating test suites from formal specifications, such as Finite State Machines. Test suites can be obtained either from classical test derivation methods or from some ad-hoc approach. It is desirable to produce a test suite which detects all possible faults of an implementation and has small size, so that its application can be feasible. For practical reasons, the application of the generated test suite may not be possible. Therefore, a subset of test cases should be selected, i.e., a test suite minimization should be performed. However, it is important that the minimization reduces the test application cost, but keeps the effectiveness in revealing faults. In this work, an algorithm is proposed for the minimization of test suites generated from Finite State Machines. The algorithm is based on sufficient conditions, so that test suite completeness can be maintained. The algorithm was used in two different contexts. It was used with randomly generated test suites to verify the minimization obtained. The algorithm was also used to reduce the effort of obtaining a test suite with full fault coverage

O presente trabalho fornece ferramentas técnico-interpretativas para a construção de uma performance da suíte Imágenes para violão do compositor argentino Carlos Aguirre. Através de uma análise estrutural das obras que compõem essa suíte e sua relação com os gêneros da música popular em que se baseiam, assim como dados biográficos e estilísticos do compositor e suas obras para violão, apresentamos material para uma maior compreensão das peças. Na segunda parte do trabalho, expomos sugestões de digitação de mão direita e mão esquerda como alternativas às indicadas na edição. Versões gravadas pelo compositor com outros instrumentos de duas peças dessa suíte foram analisadas como fonte para ideias interpretativas no violão. Para a resolução das dificuldades técnicas presentes em Imágenes, propõem-se exercícios embasados principalmente no conceito de versão zero de Fernández (2000). / This work offers interpretative and technical tools for the construction of a performance of the suite Imágenes for guitar, by the Argentinian composer Carlos Aguirre. Through a structural analysis of the pieces that form the suite and its relation with other genders of folk music on which they are based, as well as biographic and stylistic information of the composer and his works for guitar, we present relevant material for a better comprehension of these pieces. In the second section of this work, we present fingering suggestions for both hands as alternatives to those indicated in the original edition. Versions recorded by the composer with other instruments of two pieces of the suite were analyzed as sources for interpretative ideas for the guitar. To resolve technical difficulties in Imágenes, we propose exercises, mainly based on Fernández’ (2000) concept of version zero.