Braunschweig, Techn. Universiẗat, Diss., 2002.

Teufelsmühle e omnibus são nomenclaturas empregadas para designar modelos estruturais profundamente aparentados, que envolvem cromatismo, polifonia, modulação, relação de terças menores, inversão simétrica, condução de vozes e reinterpretações enarmônicas de acordes. Trata-se de padrões cujas origens remontam no mínimo à prática musical do século XVIII e que já nesta época começaram a ser codificados por teóricos. No entanto, estas sequências cromáticas só receberam estudos específicos a partir do final da década de 1960 por duas principais correntes de pesquisa, a alemã, que emprega o termo Teufelsmühle e a americana, com a designação omnibus. Dividido em duas partes, este trabalho expõe inicialmente os aspectos estruturais do Teufelsmühle e omnibus, a partir de uma revisão bibliográfica e apontamentos críticos realizados por esta pesquisa. Já a segunda parte busca vislumbrar a representatividade e abrangência destes modelos cromáticos no processo composicional de F. Chopin, evidenciando o modo com que tal princípio foi utilizado e os principais contextos em que está inserido. / Teufelsmühle and omnibus are nomenclatures used to designate structural models deeply similar, which involve chromaticism, polyphony, modulation, minor thirds relation, symmetrical inversion, voice leading, and enharmonic reinterpretations of chords. They refer to patterns originated at least with the musical practice of the eighteenth century, and that even in that time started to be codified by theorists. Nevertheless, these chromatic sequences were studied specifically only beginning at the end of the 1960s and done by two main streams of research, the German, which uses the term Teufelsmühle, and the American, with the designation omnibus. Divided in two parts, this study presents initially structural aspects that refer to Teufelsmühle and omnibus based on a literature review and critical comments developed in this research. The second part intends to look at the relevance of these chromatic models and what they encompass in the compositional process of Chopin, showing the way such principle was used and the main contexts in which it happens.

Teufelsmühle e omnibus são nomenclaturas empregadas para designar modelos estruturais profundamente aparentados, que envolvem cromatismo, polifonia, modulação, relação de terças menores, inversão simétrica, condução de vozes e reinterpretações enarmônicas de acordes. Trata-se de padrões cujas origens remontam no mínimo à prática musical do século XVIII e que já nesta época começaram a ser codificados por teóricos. No entanto, estas sequências cromáticas só receberam estudos específicos a partir do final da década de 1960 por duas principais correntes de pesquisa, a alemã, que emprega o termo Teufelsmühle e a americana, com a designação omnibus. Dividido em duas partes, este trabalho expõe inicialmente os aspectos estruturais do Teufelsmühle e omnibus, a partir de uma revisão bibliográfica e apontamentos críticos realizados por esta pesquisa. Já a segunda parte busca vislumbrar a representatividade e abrangência destes modelos cromáticos no processo composicional de F. Chopin, evidenciando o modo com que tal princípio foi utilizado e os principais contextos em que está inserido. / Teufelsmühle and omnibus are nomenclatures used to designate structural models deeply similar, which involve chromaticism, polyphony, modulation, minor thirds relation, symmetrical inversion, voice leading, and enharmonic reinterpretations of chords. They refer to patterns originated at least with the musical practice of the eighteenth century, and that even in that time started to be codified by theorists. Nevertheless, these chromatic sequences were studied specifically only beginning at the end of the 1960s and done by two main streams of research, the German, which uses the term Teufelsmühle, and the American, with the designation omnibus. Divided in two parts, this study presents initially structural aspects that refer to Teufelsmühle and omnibus based on a literature review and critical comments developed in this research. The second part intends to look at the relevance of these chromatic models and what they encompass in the compositional process of Chopin, showing the way such principle was used and the main contexts in which it happens.

Orientador: Bárbara Stolte Bezerra / Banca: Archimedes Azevedo Raia Junior / Banca: Gustavo Garcia Manzato / Resumo: O trabalho analisa uma proposta de reestruturação do Sistema de Transporte Coletivo por ônibus do Município de Bauru, baseada em pesquisas operacionais e de imagem do serviço, realizadas em 2013. De posse destas pesquisas, o Poder Público planejou a médio e longo prazo as ações de reestruturação tanto operacionais quanto estratégicas, tratando de diversos fatores inerentes à qualidade do serviço prestado. Desta forma, o trabalho propõe uma metodologia de acompanhamento da qualidade do serviço no decorrer destas mudanças no Sistema de Transporte Coletivo, buscando indicadores operacionais e de imagem, considerando os diversos agentes envolvidos. Pela análise dos dados foram elencados quatro problemas principais, a saber: Lotação, Tempo de Espera, Qualidade dos Pontos de Parada, e tarifa. Para os três primeiros problemas foram elaborados objetivos, metas e indicadores através da análise da literatura estudada. O problema Tarifa foi analisado em relação ao impacto das ações de reestruturação no valor da tarifa, ou seja, para cada ação implementada é analisada a tendência para de aumento, redução ou manutenção do valor da tarifa. De posse dos indicadores e suas métricas de avaliação, foi realizado um estudo de caso em três linhas do sistema que passaram por modificações após a reestruturação. Os resultados da pesquisa apontam que para as linhas analisadas houve melhorias significativas no sistema / Abstract: The paper analyzes a proposal to restructure the Public Transport System by bus in Bauru, based on operational research and service image, made in 2013. With those results, the minicipality planned in the medium / Mestre

Stuttgart, Univ., Diss., 2006.

Made available in DSpace on 2016-01-13T13:27:23Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-05-29. Added 1 bitstream(s) on 2016-01-13T13:32:44Z : No. of bitstreams: 1 000846581.pdf: 4327786 bytes, checksum: d2edc304344ca49aa2a3df0daf164f56 (MD5) / O trabalho analisa uma proposta de reestruturação do Sistema de Transporte Coletivo por ônibus do Município de Bauru, baseada em pesquisas operacionais e de imagem do serviço, realizadas em 2013. De posse destas pesquisas, o Poder Público planejou a médio e longo prazo as ações de reestruturação tanto operacionais quanto estratégicas, tratando de diversos fatores inerentes à qualidade do serviço prestado. Desta forma, o trabalho propõe uma metodologia de acompanhamento da qualidade do serviço no decorrer destas mudanças no Sistema de Transporte Coletivo, buscando indicadores operacionais e de imagem, considerando os diversos agentes envolvidos. Pela análise dos dados foram elencados quatro problemas principais, a saber: Lotação, Tempo de Espera, Qualidade dos Pontos de Parada, e tarifa. Para os três primeiros problemas foram elaborados objetivos, metas e indicadores através da análise da literatura estudada. O problema Tarifa foi analisado em relação ao impacto das ações de reestruturação no valor da tarifa, ou seja, para cada ação implementada é analisada a tendência para de aumento, redução ou manutenção do valor da tarifa. De posse dos indicadores e suas métricas de avaliação, foi realizado um estudo de caso em três linhas do sistema que passaram por modificações após a reestruturação. Os resultados da pesquisa apontam que para as linhas analisadas houve melhorias significativas no sistema / The paper analyzes a proposal to restructure the Public Transport System by bus in Bauru, based on operational research and service image, made in 2013. With those results, the minicipality planned in the medium

In this paper, we study the properties of k-omnisequences of length n, defined to be strings of length n that contain all strings of smaller length k embedded as (not necessarily contiguous) subsequences. We start by proving an elementary result that relates our problem to the classical coupon collector problem. After a short survey of relevant results in coupon collection, we focus our attention on the number M of strings (or words) of length k that are not found as subsequences of an n string, showing that there is a gap between the probability threshold for the emergence of an omnisequence and the zero-infinity threshold for E(M).

In this paper, we study the properties of k-omnisequences of length n, defined to be strings of length n that contain all strings of smaller length k embedded as (not necessarily contiguous) subsequences. We start by proving an elementary result that relates our problem to the classical coupon collector problem. After a short survey of relevant results in coupon collection, we focus our attention on the number M of strings (or words) of length k that are not found as subsequences of an n string, showing that there is a gap between the probability threshold for the emergence of an omnisequence and the zero-infinity threshold for E(M).

This thesis describes the Omnibus language and its supporting framework of tools. Omnibus is an object-oriented language which is superficially similar to the Java programming language but uses value semantics for objects and incorporates a behavioural interface specification language. Specifications are defined in terms of a subset of the query functions of the classes for which a frame-condition logic is provided. The language is well suited to the specification of modelling types and can also be used to write implementations. An overview of the language is presented and then specific aspects such as subtleties in the frame-condition logic, the implementation of value semantics and the role of equality are discussed. The challenges of reference semantics are also discussed. The Omnibus language is supported by an integrated verification tool which provides support for three assertion-based verification approaches: run-time assertion checking, extended static checking and full formal verification. The different approaches provide different balances between rigour and ease of use. The Omnibus tool allows these approaches to be used together in different parts of the same project. Guidelines are presented in order to help users avoid conflicts when using the approaches together. The use of the integrated verification approach to meet two key requirements of safe software component reuse, to have clear descriptions and some form of certification, are discussed along with the specialised facilities provided by the Omnibus tool to manage the distribution of components. The principles of the implementation of the tool are described, focussing on the integrated static verifier module that supports both extended static checking and full formal verification through the use of an intermediate logic. The different verification approaches are used to detect and correct a range of errors in a case study carried out using the Omnibus language. The case study is of a library system where copies of books, CDs and DVDs are loaned out to members. The implementation consists of 2278 lines of Omnibus code spread over 15 classes. To allow direct comparison of the different assertion-based verification approaches considered, run-time assertion checking, extended static checking and then full formal verification are applied to the application in its entirety. This directly illustrates the different balances between error coverage and ease-of-use which the approaches offer. Finally, the verification policy system is used to allow the approaches to be used together to verify different parts of the application.

Dans cette thèse, nous étudions des tests du type : (H0) : E [U | X] = 0 p.s. contre (H1) : P {E [U | X] = 0} < 1 où U est le résidu de la modélisation d'une variable Y en fonction de X. Dans ce cadre et pour plusieurs cas particuliers – significativité de variables, régression quantile, données fonctionnelles, modèle single-index –, nous proposons une statistique de test permettant d'obtenir des valeurs critiques issues d'une loi asymptotique pivotale. Dans chaque cas, nous donnons également une méthode de bootstrap appropriée pour les échantillons de petite taille. Nous montrons la consistance envers des alternatives locales – ou à la Pitman – des tests proposés, lorsque ce type d'alternative ne tend pas trop vite vers l'hypothèse nulle. À chaque fois, nous vérifions à partir de simulations sous l'hypothèse nulle et sous une séquence d'hypothèses alternatives que les résultats théoriques sont en accord avec la pratique. / In this thesis, we study test statistics of the form : (H0) : E [U | X] = 0 p.s. contre (H1) : P {E [U | X] = 0} < 1 where U is the residual of some Y modeling with respect to covariates X. In this setup and for several particular cases – significance, quantile regression, functional data, single-index model –, we introduce test statistics that have pivotal asymptotic critical values. For each case, we also give a suitable bootstrap procedure for small samples. We prove the consistency against local – or Pitman – alternatives for the proposed test statistics, when such an alternative does not get close to the null hypothesis too fast. Simulation studies are used to check the effectiveness of the theoretical results in applications.