Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Mitigated directness in Honglou meng: directive speech acts and politeness in eighteenth century Chinese

This paper is situated within a theoretical discussion that asserts a positive correlation between indirectness and politeness, and uses these claims as a springboard for an examination of polite ways of issuing directives in eighteenth century Chinese. On the basis of an analysis of directive speech acts from dialogue in the novel Honglou meng, it argues that the concept of indirectness, as it applies to the illocutionary transparency of individual speech acts, has no particular value in the culture and language of eighteenth century Chinese men. It is found that other linguistic devices such as particles, the reduplication of verbs, terms of address, and the presence and sequencing of supportive moves are far more significant to the communication of politeness. The findings suggest a need to rethink current theoretical positions on this subject and move beyond the analysis of individual speech acts to examine the role discourse structure and management play in the enactment of politeness. (C) 2002 Elsevier Science B.V. All rights reserved.

Imagens da escola como mediadoras do processo formativo dos jovens no ensino da arte: diálogos com a história, memória e ambientes intraescolares

Esta pesquisa apresenta as imagens da escola como mediadoras do processo formativo dos jovens no ensino da Arte em diálogo com a história, memória e ambientes intraescolares. Inscreve-se no debate produzido pela linha de pesquisa em Educação e Linguagens. Analisa a formação dos jovens numa turma do terceiro ano do Ensino Médio na Escola Estadual de Ensino Médio “Hunney Everest Piovesan”, localizada no município de Cariacica no Estado do Espírito Santo. O estudo foi realizado em 2013 e tem como objetivo analisar as imagens escolares como mediadoras na formação dos estudantes do Ensino Médio no ensino da Arte em diálogo com a história, memória e ambientes intraescolares. Ao mesmo tempo, por meio de trabalho colaborativo, contribui para (re)construção da história da instituição, significando-a junto aos alunos e comunidade escolar. Por meio de intervenção artística com imagens da escola propõe reflexão crítica, analisando a formação dos jovens no terceiro ano do Ensino Médio. Para compreender os conceitos de mediação e meio social, estabelece um diálogo com as obras de Lev Semenovith Vigotski. A partir dos estudos de Maria Ciavatta e Schütz–Foerste procura entender a mediação imagética e sua dimensão educativa. Dialoga ainda com Frago, Escolano e Buffa, ampliando as reflexões sobre os ambientes intraescolares, dimensionando a imagética desses espaços e o senso de pertencimento à escola a partir da impregnação pela história e memória. A investigação pauta-se nos referenciais do método qualitativo e colaborativo de pesquisa. A produção dos dados contou com o recolhimento e análise documental de um conjunto de fontes primárias e secundárias formadas por livro de registro de funcionários da escola da década de 1970, diários de classe, recortes de jornais, convites de formaturas e registros fotográficos escolares dessa mesma década até a atualidade. Além desses documentos históricos, foram analisadas entrevistas de antigos alunos e questionários dos alunos do terceiro ano do Ensino Médio da instituição. Relata brevemente experiências de curto intercâmbio acadêmico realizado na Universidade de Ancara, na Turquia, com o objetivo de ampliar os horizontes de referência sociocultural, em especial com o contexto educacional do Ensino Médio euroasiático, identificando os espaços de formação dos jovens no contexto turco e suas relações com a educação brasileira. Esta experiência apresentada não integra a análise desta dissertação, mas projeta a discussão para novos estudos. A análise se elabora a partir da triangulação, entre outros, do referencial teórico com o processo de intervenção, produção de dados e no debate acadêmico em diferentes contextos. A partir da caminhada acadêmica permeada pela história e memória, inferimos que as imagens escolares medeiam o processo formativo dos jovens do terceiro ano do Ensino Médio no ensino da Arte. Contribuem para o cultivo da memória escolar, enquanto presença impregnada pela história da instituição, por meio da imagética dos seus ambientes intraescolares. Constatamos ainda que as imagens colaboram para o (re)conhecimento por parte desses sujeitos do seu papel ativo, autônomo e transformador da realidade escolar na qual estão inseridos.

Educação escolar Tupinikim e Guarani : experiências de interculturalidade em aldeias de Aracruz, no Estado do Espírito Santo

A pesquisa analisa as relações entre interculturalidade, práxis e educação escolar indígena Tupinikim e Guarani do município de Aracruz, Espírito Santo, Brasil. Investiga a práxis da educação intercultural no espaço da educação escolar indígena como meio de revitalização das culturas Tupinikim e Guarani. Objetiva problematizar a formação inicial e continuada dos professores indígenas; discutir a práxis da interculturalidade no contexto da educação escolar indígena; e, identificar outros espaços educativos da cultura e educação indígena. Analisa aspectos teóricos e práticos sobre cultura (WILLIAMS, 2008; BRANDÃO, 1989; FORQUIN, 1993; CANDAU, 2011; GEERTZ, 1989), interculturalidade (D‘AMBROSIO,1996; FLEURI, 2002; 2003; SCANDIUZZI, 2009;), identidade e alteridade (MELIÁ, 2000; FREIRE, 1981; 1987; LITAIFF, 2004) e práxis (FREIRE, 1989; VÁSQUEZ, 2011; SEMERARO, 2006) e educação (escolar) indígena de acordo com a legislação vigente. Realiza pesquisa interpretativa (GEERTZ, 1989) na educação escolar indígena junto aos professores indígenas Guarani das Aldeias de Boa Esperança e Três Palmeiras (2009-2010) e professores indígenas Tupinikim da Aldeia de Comboios (2011-2013) na perspectiva de um diálogo intercultural. Contribuem nos processos investigativos para produção, sistematização e análise de dados a realização de observações, entrevistas semiestruturadas, registros no caderno de campo, fotografias, gravações em áudio e em vídeo e análise documental sobre a educação escolar indígena de Aracruz. (ANDRÉ, 2007; GIL, 1999; 2004). Os resultados deste trabalho levantam questões relativas a duas realidades de educação escolar nas comunidades indígenas pesquisadas que se constituem em aspectos de sobrevivência e desencadeia formas para interagir e reagir em defesa de sua identidade e dignidade. Nesse sentido, a escola é um local de vivências e de encontro, vista e sentida pelas lideranças e pela comunidade como uma possibilidade real para desenvolver um elo entre as formas tradicionais de vida e as formas contemporâneas. O desafio de garantir uma escola nestes termos significa concretizar a proposta de um projeto de educação escolar para os povos indígenas, constituído por especificidades de como trabalhar a terra, pelo reconhecimento de suas tradições, das línguas e da memória coletiva. Distante de apresentar respostas conclusivas propõe uma educação escolar, coletiva e participativa, que critica e dialoga com todos os envolvidos no processo educativo.

A narratividade do Hip Hop e suas interfaces com o contexto educacional

A presente tese de doutoramento em Educação aborda a cultura do Hip Hop e sua relação com o contexto educativo. Insere-se nas discussões da linha de pesquisa em Educação e Linguagens e problematiza o espaço escolar, enquanto espaço de reprodução da ideologia hegemônica, analisando o projeto “Escola de Rimas”, desenvolvido na Grande Vitória, como movimento de resistência e ressignificação cultural na escola. Parte da pergunta: Como as práticas discursivas do Hip Hop podem ressignificar o contexto escolar? A presente tese aborda a cultura do Hip Hop como campo discursivo singular de uma experiência narrativa (BENJAMIN, 1986; BONDÍA, 2001) e de uma subjetividade eticamente responsável (BAKHTIN, 1992a; 1992b; 2010), fundada no princípio da alteridade (PONZIO, 2009), e o analisa a partir de uma perspectiva crítica e dialógica (FREIRE, 1981; 1994; 1995; GIROUX, 1986; 1987; BRANDÃO, 1986; BAKHTIN, 1992a; 1992b; 2010). Desenvolve a pesquisa em um contexto limiar entre a escola e a cultura hip hop e dimensiona o debate das culturas marginais nos contextos educativos, voltando-se para os sujeitos e suas experiências narrativas, avaliando a interação de algumas de suas práticas discursivas com o processo de ensino-aprendizagem. Para isso, analisa o projeto cultural “Escola de Rimas”, criado pelos próprios ativistas do movimento hip hop da Grande Vitória e desenvolvido em uma escola da rede pública estadual de ensino do Espírito Santo, com o objetivo de discutir o seu papel em um processo de ressignificação educacional. Como hipótese de trabalho defende-se que o espaço escolar, como espaço de disputas, é ressignificado com a introdução de outras práticas discursivas e culturais, entre elas o hip hop, que aponta para a necessidade de ouvir responsiva e responsavelmente as narrativas dos educandos, contribuindo, assim, para a formação crítica desses sujeitos e enfrentando, ao mesmo tempo, práticas de exclusão historicamente instituídas.

A imagem a ser consumida : política visual, imaginação espacial e as estéticas dos vídeos turísticos no estado do Espírito Santo

Atreladas a uma estética própria e “efeitos de verdade” (PELLEJERO, 2008), as videografias turísticas acabam por compor linguagens fartamente informativas sobre aquilo que se quer dizer sobre os lugares. Suas cenas são as apontadas para propagandear uma imagem a ser consumida, delas esperam-se o melhor ângulo a ser fotografado, experiências únicas e roteiros alternativos e naturais para se conhecer o lugar. Sendo assim, são as imagens turísticas, na atualidade, linguagens potentes para se entender as narrativas sobre os lugares, suas imaginações espaciais, bem como as construções de ficções sobre determinada realidade. Uma vez envolvidas as produções de ficções hegemônicas, os vídeos turísticos e as imaginações espaciais que temos deles podem promover modos cristalizados de se pensar o espaço; distanciando-se dos propósitos de entender o espaço a partir das suas conexões-desconexões e multiplicidade de trajetórias (MASSEY, 2008). Nesse contexto, essa pesquisa tem como objetivo principal discutir como os vídeos turísticos, em especial dois vídeos da atual campanha da Secretaria de Turismo do Espírito Santo, “Descubra o Espírito Santo”, apresentam uma imaginação espacial. Também seguem como interesse: refletir e analisar a política visual e a estética das videografias turísticas; entender e analisar a produção de uma ficção para construção e mobilização de uma imaginação espacial e estudar autores e produções videográficas que se dedicaram a pensar possibilidades outras de mobilizar e desterritorializar uma imaginação espacial e as estéticas videográficas.