PhD / In Australia, like most countries, circus has been an element, at times a very important element, in the mosaic that constitutes its popular culture. An outgrowth of the circus as recast in a modern form in London in the 18th century, an Australian circus profession has existed almost continuously since 1847. Australia’s circus entrepreneurs took the principal features of English, and later American, circus arts and management and reworked these features to suit their new antipodean context. The athletic, intellectually undemanding nature of its equestrian-based entertainments harmonised with the emerging patterns of modern Australia’s way of life. In time, Australia produced renowned circus artists of its own, even artists capable of reinvigorating the concept of circus in the very countries from which their art had been derived. Since their transience and labours, indeed their very existence, were somehow tangential and inconsequential to mainstream Australian society, Australia’s circus people did not attract tokens of recognition in story and verse as did shearers, drovers, diggers and other identities of the Australian outback. Their contribution to Australia’s social, economic and cultural development has been largely overlooked. Despite its pervasive role in Australia’s cultural life over more than 150 years, examples of academically grounded research into Australian circus are few. The primary aim of this study is to demonstrate the major themes evident in Australia’s circus history, in terms of society, enterprise and culture, between 1847 and 2006. None of these areas, of course, is exclusive of the others, especially the first and last named. These deliberations are framed within the broader influences and events apparent in Australian society and history. Implicit within this demonstration is the notion that circus, whatever its characteristics and merits as an artform, has been, and continues to be, a ‘barometer’ of social, economic and cultural change in Australia.

Thesis (Ph.D.)--Tufts University, 1972. / Submitted to the Dept. of Drama. Access restricted to members of the Tufts University community. Also available via the World Wide Web;

Submitted by RODRIGO INACIO CORBISIER MATHEUS null (rodrigomatheus@circominimo.com.br) on 2016-07-19T22:02:40Z No. of bitstreams: 1 DISSERTAÇÃO COMPLETA RODRIGO MATHEUS.pdf: 53676108 bytes, checksum: e27c2f26ce80c93afbc491c9b807a49f (MD5) / Rejected by Ana Paula Grisoto (grisotoana@reitoria.unesp.br), reason: Solicitamos que realize uma nova submissão. Submissão duplicada. Agradecemos a compreensão. on 2016-07-20T18:49:19Z (GMT) / Submitted by RODRIGO INACIO CORBISIER MATHEUS null (rodrigomatheus@circominimo.com.br) on 2016-07-21T02:06:58Z No. of bitstreams: 1 DISSERTAÇÃO DEFINITIVA RODRIGO MATHEUS desprotegida.pdf: 19560396 bytes, checksum: 1e824139823801c19318a685187970aa (MD5) / Rejected by Ana Paula Grisoto (grisotoana@reitoria.unesp.br), reason: Solicitamos que realize uma nova submissão seguindo as orientações abaixo: A data informada na capa do documento está diferente da data de defesa informada na submissão. Corrija esta informação no arquivo PDF e realize uma nova submissão contendo o arquivo correto. Agradecemos a compreensão. on 2016-07-21T19:29:45Z (GMT) / Submitted by RODRIGO INACIO CORBISIER MATHEUS (rodrigomatheus@circominimo.com.br) on 2016-07-26T00:33:05Z No. of bitstreams: 1 DISSERTAÇÃO DEFINITIVA RODRIGO MATHEUS desprotegida.pdf: 19467763 bytes, checksum: be3bf07c9735f2d9f6eec100fefef092 (MD5) / Approved for entry into archive by Ana Paula Grisoto (grisotoana@reitoria.unesp.br) on 2016-07-28T15:31:29Z (GMT) No. of bitstreams: 1 matheus_ric_me_ia.pdf: 19467763 bytes, checksum: be3bf07c9735f2d9f6eec100fefef092 (MD5) / Made available in DSpace on 2016-07-28T15:31:29Z (GMT). No. of bitstreams: 1 matheus_ric_me_ia.pdf: 19467763 bytes, checksum: be3bf07c9735f2d9f6eec100fefef092 (MD5) Previous issue date: 2016-06-02 / Por meio do levantamento de reportagens da mídia impressa, da bibliografia existente e de entrevistas com pessoas que participaram do processo, este trabalho investiga o processo de constituição das primeiras escolas de circo da cidade de São Paulo, a Academia Piolim de Artes Circenses em 1978 e o Circo-Escola Picadeiro em 1984 e as transformações, internas e externas ao modo de organização do trabalho circense, que contribuíram para as distintas formas de produção da linguagem circense, em particular do circo paulistano e brasileiro. A partir dessas escolas, levantamos os grupos que surgiram, formados e fundados por alunos ou ex-alunos, com o intuito de explorar o conhecimento circense adquirido nas escolas e suas estéticas, propondo alterações nos modos de produção e constituição dos espetáculos circenses, assim como do próprio modo de organização do trabalho e do modo de formação e aprendizagem do circo. Esse levantamento permite discutir os conceitos “representação” (DELEUZE e GUATTARI, 1992, p. 19-20), ou seja, generalizações, resultando nos rótulos “universais” que surgiram para definir os circos no século XX, a maior parte dos quais associados a essa produção pós-escolas de circo, como Circo Contemporâneo, Circo Tradicional e Circo Novo, todos resultantes de uma disputa de poderes e saberes entre os atores históricos e sua relação entre si, com o poder público e com a mídia. Na parte final, apresenta-se um levantamento da trajetória artística do Circo Mínimo, o seu processo de constituição e uma análise de suas obras mais relevantes a partir das reações da imprensa escrita, à luz do que foi discutido até então. O trabalho termina concluindo sobre a diversidade sobre a linguagem das artes do circo, da impossibilidade de determinar sobre seus limites e fronteiras e como as condições históricas recentes do Brasil, em particular a ditadura civil-militar, contribuíram para aquelas transformações. / Through a research amongst reports on printed media, the existing literature and interviews with some of the people who took part in the process, this work investigates the process of constitution of the first circus schools in the city of São Paulo: Piolim Academy of Circus Arts in 1978, and the Circo-Escola Picadeiro, in 1984. It also investigates the changes and transformations, both internal and external to the “method of organizing the circus work”, which contributed to the different forms of production in circus language, particularly in São Paulo. From those schools we point the groups that emerged, formed and founded by students or former students in order to explore the circus knowledge acquired in the schools and their aesthetics, proposing changes in the modes of production and creation of circus shows, as well as the method of organizing work and the way of training and learning circus. This survey allows us to discuss the concepts "representation" (DELEUZE and GUATTARI, 1992, p. 19-20) or generalizations, resulting into the "universal" labels that were created to define the circus diversity in the twentieth century, most of which related to this circus schools post-production, such as Contemporary, Traditional and New Circus, all emerging from the power and knowledge disputes between historical actors and their relationship with each other, the government and the general media. This survey allows us to discuss the concepts-representation linked to universal labels that came to the circus in the twentieth century, most of them associated with this circus of post-school production, such as Contemporary Circus, Traditional Circus and New Circus, all emerging from power and knowledge disputes between historical actors and their relationship with each other, the government and the media. In the final part, we made a gathering of the artistic career of the Circo Mínimo, the process of its constitution and an analysis of the most important works, based on the written press reactions, in the light of what has been discussed in this work so far. The work ends concluding on the diversity of the language of circus arts, since it is impossible to determine on its limits and boundaries and how recent historical conditions in Brazil, particularly the civil-military dictatorship, contributed to those changes.

Made available in DSpace on 2014-06-12T15:59:17Z (GMT). No. of bitstreams: 2 arquivo4988_1.pdf: 1332321 bytes, checksum: d7fe11f8136beac6845d4e2ab642bbda (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / Circus é uma linguagem de especificação e programação que combina CSP, Z, e construtores do Cálculo do Refinamento. A semântica de Circus está baseada na Unifying Theories of Programming (UTP). Neste trabalho, estendemos um subconjunto de Circus com operadores de tempo. A nova linguagem é denominada de Circus Time Action. Propomos um modelo novo do tempo que estende o modelo da UTP, adicionando variáveis de observação para registrar a passagem de tempo. O novo modelo é usado para dar a semântica formal de Circus Time Action. Propriedades algébricas do modelo original de Circus são validadas no novo modelo; propriedades novas são exploradas e validadas dentro do contexto de Circus Time Action. A vantagem de utilizar o padrão de unificação proposto pela UTP é poder comparar e relacionar diferentes modelos. Definimos uma função de abstração, L, que faz o mapeamento das observações registradas no novo modelo (com tempo) para observações no modelo original (sem tempo); uma função inversa, R, é também definida. O objetivo é estabelecer uma ligação formal entre o modelo novo com tempo e o modelo original da UTP. A função L e sua função inversa R formam uma Galois Connection. Usando a função de abstração, nós introduzimos a definição de programas insensíveis ao tempo. A função de abstração permite a exploração de algumas propriedades não temporais de um programa. Apresentamos um exemplo simples para ilustrar o uso da função de abstração na validação de propriedades que não têm tempo associado. Entretanto, sistemas de tempo real têm requisitos temporais que necessitam ser validados. Neste sentido, propomos um framework para a validação de requisitos não temporais usando os dois modelos e a relação entre eles. A estrutura do framework é baseada em um processo de particionamento. Tendo como ponto de partida o programa e sua especificação escritos em Circus Time Action, aplicamos uma função sintática que gera uma forma normal do programa e sua especificação. A forma normal consiste de duas partes: a primeira é um programa sem operadores de tempo, mas com eventos que, por convenção, representam ações temporais; a segunda é uma coleção de temporizadores (timers) usados pelo programa. A composição paralela de ambas as partes é semanticamente equivalente ao programa original. Usando apenas o componente da forma normal que não envolve tempo explicitamente, mostramos que é possível raciocinar sobre propriedades de tempo no modelo não temporal; provamos formalmente a validade deste resultado. Para ilustrar o uso do framework, utilizamos um sistema de alarme simplificado como estudo de caso. Como a validação é reduzida ao modelo sem tempo, usamos a ferramenta de Model-Checking de CSP (FDR) para realizar as provas mecanicamente. Esta é uma outra contribuição importante deste trabalho

Submitted by Alice Araujo (alice.caraujo@ufpe.br) on 2017-11-30T19:32:07Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) dissertacao-mestrado.pdf: 1137883 bytes, checksum: 9a8f7f4770dbbe3447440be8dc484c65 (MD5) / Made available in DSpace on 2017-11-30T19:32:07Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) dissertacao-mestrado.pdf: 1137883 bytes, checksum: 9a8f7f4770dbbe3447440be8dc484c65 (MD5) Previous issue date: 2016-09-15 / FACEPE / Testes constituem uma parcela significativa da energia despendida em projetos voltados ao desenvolvimento de software. Estima-se que entre 30% a 50% do custo total do projeto é destinado a testes. Esta necessidade de verificar a regularidade de sistemas é bastante antiga e nos últimos anos a busca por novas técnicas e ferramentas que mitiguem o esforço gasto nestas verificações vem se acentuando. Neste contexto, uma técnica que se destaca é a de verificação de modelos (Model checking) que consiste em explorar exaustivamente todos os estados alcançáveis de um determinado sistema no intuito de descrever cenários que indiquem possíveis comportamentos, embasando tal verificação em matemática precisa e inequívoca. Esta técnica tem despertado o interesse de muitas indústrias devido ao sucesso obtido pelo apoio das ferramentas de verificação de modelos (model checkers) em vários projetos de alta complexidade. Estes verificadores são ferramentas que exploram um sistema de transições rotuladas (LTS), construído a partir de algumas especificações (um modelo M), para determinar se uma dada fórmula (f) em lógica temporal, ou propriedade, é válida; ou simplesmente, M |ù f. O presente trabalho apresenta uma forma sistemática de construir um verificador de modelos LTL para um subconjunto da linguagem Circus totalmente baseado na semântica operacional desta linguagem. Mas em vez de codificar diretamente o verificador de modelos em alguma linguagem de programação, é usado o framework K por se tratar de um framework semântico executável à base de reescrita em que as linguagens de programação, sistemas de tipos e ferramentas de análise formais podem ser definidos usando configurações, computações e regras. Além disso, a ferramenta resultante deste trabalho é demostrada com alguns estudos de caso no intuito de comparar seu desempenho bem como aspectos qualitativos com outros verificadores de modelos. / Tests constitute a significant portion of the energy expended in projects aimed at software development. It is estimated that between 30% and 50% of the total project cost is spent in testing. This need to verify the correctness of systems is quite old and in recent years the search for new techniques and tools to mitigate the effort spent on these checks has been increasing. In this context, a technique that stands out is Model Checking. This technique consists in exhaustively exploring all reachable states of a given system in order to check whether a given property, usually given in terms of some temporal logics, is valid. Several industries are interested in this technique due to the success achieved by the support of model checking tools (Model checkers) in various projects of high complexity. This paper presents a systematic way to build a LTL model checker for a subset the Circus language using its operational semantics. But instead of directly encoding the semantics using a programming language, we use the K framework because it is an executable semantic framework based on rewrite rules. Moreover, the resulting tool is exercised with few case studies in order to compare their performance as well as qualitative aspects with other model checkers.

Originally presented as the author's thesis, Paris, 1972. / Includes bibliographical references (p. [251]-259) and index.

Originally presented as the author's thesis, Paris, 1972. / Includes index. Includes bibliographical references (p. [251]-259).

This dissertation introduces contemporary circus as a type of dramatic art. The work thus provides a basic framework for the analysis of contemporary circus and suggests a terminology for the designation of its specific traits. This terminology is derived first and foremost from the Czech theatre studies environment. The theoretical delineation of contemporary circus stems from selected theses from Otakar Zich's The Aesthetics of Dramatic Art and Erika Fischer-Lichte's The Transformative Power of Performance: A New Aesthetics. Contemporary circus, which is depicted as belonging to several discourses - historical, aesthetic, cultural policy and pedagogical, is described from a formal as well as content-focused point of view in order to best point out how the circus element changes and takes on meaning in relation to its theatrical counterpart. The thesis is subdivided into five parts. The introduction outlines the key theme, goals and methodology as well as terminology and theories which provide the work with a suitable point of departure. The Contemporary and Traditional Circus chapter describes the history and development of traditional as well as contemporary circus in selected countries (France, Canada, USA, Scandinavia) which are considered significant within the context of circus arts...

In the present paper, which was written in collaboration with the Observatory of Paris, thermal models of two CubeSat missions were created. The first goal of this work was to create a nodal simulation of the PicSat satellite to verify the survivability of the system within the extreme space environment. In a second step suitable countermeasures were suggested, if parts of the satellite exceeded a critical temperature limit. Additionally, the impacts of three failure modes were investigated. The second goal was to perform thermal pre-studies of different satellite configurations of the CIRCUS satellite based on the model of PicSat. The simulation conducted in this work showed that PicSat fulfils its thermal requirements, except for three components. Out of the failure modes considered in this study, only an error of the attitude determination and control systems (ADCS) showed a critical impact on the thermal state of PicSat. As the outcome of the pre-studies of CIRCUS, two of the considered configurations were recommended for further analysis. The results of this work will contribute to the future development of the PicSat and CIRCUS missions. / Dans le cadre de ce mémoire, qui a été rédigé en collaboration avec l'Observatoire de Paris, les modèles thermiques de deux missions CubeSat ont été créés. Le premier objectif de ce projet était de d\'velopper une simulation nodale du satellite PicSat afin de vérifier la capacité de survie du système dans les conditions hostiles de l'espace. Dans un second temps, des mesures correctives ont été suggérées si la température de certaines sections du satellite venait à excéder une limite critique. En outre, les impacts de trois défaillances ont été analysés. Le second objectif était de réaliser des pré-études thermiques pour différentes configurations du satellite CIRCUS basées sur le modèle de PicSat. Les simulations réalisées dans le cadre de ce projet ont montré que PicSat remplit ses exigences thermiques, à l'exception de trois composants. Des différentes défaillances étudiées, seule une erreur du système de détermination et de contrôle d'attitude (Attitude Determination and Control System ADCS) a montré un impact critique sur l'état thermique de PicSat. A l'issue des pré-études de CIRCUS, deux des configurations étudiées ont été recommandées pour être l'objet d'une analyse plus avancée. Les résultats de ce projet contribueront au développement à venir des missions des satellites PicSat et CIRCUS.

The circo criollo, or Argentine native circus, arose as one of the most important forms of popular expression during the late nineteenth century. This performance context can serve as a site for exploring old and new constructions of Argentine identity that encompassed the lower and middle classes and included native and immigrant groups, particularly in Buenos Aires. Although the native circus contributed greatly to the creation of such an identity, little is known about the musical practices of the circus itself, including what types of music or dance were performed, the manner in which they were interpreted, and how the audience responded. This thesis therefore aims to bring to light these previously obscure circus traditions. It discusses the negotiation and conflict of power relationships that informs Argentine identity construction within this popular expressive medium. By examining the circo criollo as a site of hegemonic power differentials, this study probes more deeply into the contradictions that underlie such a fragile yet persistent sense of incipient Argentine identity.