JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java

This dissertation aims at extending the JCircus tool, a translator of formal specifications into code that receives a Circus specification as input, and translates the specification into Java code. Circus is a formal language whose syntax is based on Z s and CSP s syntax. JCircus generated code uses JCSP, which is a Java API that implements CSP primitives. As JCSP does not implement all CSP s primitives, the translation strategy from Circus to Java is not trivial. Some CSP primitives, like parallelism, external choice, communication and multi-synchronization are partially implemented. As an aditional scope, this dissertation will also develop a tool for testing JCSP programs, called JCSPUnit, which will also be included in JCircus new version. The extended version of JCircus will be called JCircus 2.0.

Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

As estratégias de negação variantes no inglês falado: uma comparação com o português

The general aim of this work is to verify the occurence of variant forms of negation in spoken English with the purpose of making a comparative study between the English and the Portuguese languages. As for Portuguese, we used as a matter of reference a study already made on negation. As for English, we analized a corpus of the North American English variant organized by a university in the United States. This study is based on the North American Functional Linguistics theoretical perspective, which considers relevant the study of language used in real situations of communicative interaction. The data analisys proved that there is at least one form of negative variant in spoken English which is not allowed by prescriptive grammar. This phenomenon turns out to be similar to Portuguese, which includes three variant strategies. According to the data obtained, it was possible to verify that the variant strategy used in English, from a contrastive point of view, corresponds to a negative strategy ruled by Portuguese prescriptive grammar. Finally, we discussed about the different conceptions of language, grammar and teaching, giving suggestions to colaborate to a productive and reflexive teaching of first or second language

Adaptação para a língua Portuguesa e aplicação de protocolo de avaliação das disartrias de origem central em pacientes com Doença de Parkinson

OBJETIVO: traduzir e adaptar protocolo desenvolvido por pesquisadores alemães, adequando-o às características fonéticas e linguísticas do português falado no Brasil. Caracterizar os componentes de fala mais alterados na população com doença de Parkinson, comparando-os com grupo de sujeitos normais na mesma faixa etária. MÉTODOS: realizou-se a tradução e adaptação do protocolo. Posteriormente foram avaliados 21 pacientes com diagnóstico neurológico de Doença de Parkinson nos estágios Hoehn &Yarh, entre 2 e 3, e 10 sujeitos normais. O protocolo incluía avaliação da respiração, fonação, ressonância, articulação, prosódia e a análise acústica dos parâmetros vocais. RESULTADOS: o protocolo mostrou-se de fácil aplicação clínica. Nos sujeitos com doença de Parkinson foram observadas alterações predominantes na fonação (85,9%) e articulação (42,9%). CONCLUSÃO: o estudo demonstrou ser o protocolo uma ferramenta eficiente para a avaliação da disartria em pacientes com doença de Parkinson.

As junções de palavras no português brasileiro cantado: estudos para uma aplicação

This article is a reflection on the possibilities for the linking and or connection of words in Brazilian Portuguese lyric diction with the intention of contributing this as a tool for singers, singing and diction teachers working with BP. The proposal came from a study of the norms for the Brazilian Portuguese pronunciation 1938 and 1958 rules, which addressed the issue, in conjunction with the analysis of the current norms, published in 2007.

Incômodo causado pelo zumbido medido pelo Questionário de Gravidade do Zumbido

OBJETIVO: O Tinnitus Handicap Inventory é um questionário para avaliar as conseqüências do zumbido, quantificando os déficits psicoemocionais e funcionais provocados pelo sintoma. O objetivo do estudo foi apresentar e testar a adaptação para o português brasileiro desse questionário, denominado Questionário de Gravidade do Zumbido. MÉTODOS: O questionário traduzido foi aplicado em 135 indivíduos com queixa de zumbido atendidos em dois ambulatórios de audiologia da cidade de Bauru, SP, encaminhados para avaliação audiológica. A consistência interna foi avaliada pelos coeficientes a de Cronbach, comparados aos obtidos para a versão original. RESULTADOS: Obteve-se boa confiabilidade tanto para as escalas (0,76

História de uma completiva: origem e desenvolvimento do complemento oracional introduzido por se do português

O propósito deste trabalho é investigar o percurso histórico da oração completiva iniciada pela conjunção se do português, que também introduz, nessa e em outras línguas românicas, uma oração adverbial condicional. Com base em registros de filólogos e romanistas, demonstra-se que a similaridade existente entre essas orações é resultado de gramaticalização da oração condicional que, no latim, passou a funcionar como oração completiva, em razão da extinção das partículas interrogativas que passaram a ser substituídas pela conjunção condicional latina si. Como oração completiva, a oração com se submete-se à gramaticalização, integrando-se à oração matriz de um modo que, conforme proposta de Hopper e Traugott (1993) e de Lehmann (1988), é próprio a construções completivas. A forma que tem essa oração de se gramaticalizar, incorporando-se à oração matriz, é, entretanto, diferente do que é previsto ocorrer a uma completiva introduzida por que, uma diferença que se deve, sobretudo, ao significado hipotético que a completiva com se preserva de sua fonte histórica. Demonstra-se, por fim, que, do português arcaico ao português contemporâneo, a gramaticalização do complemento oracional introduzido por se não se configura em mudança diacrônica, já que essa gramaticalização é atestada desde períodos mais remotos, em textos do século XIV.

A tradução química de experimentos alquímicos envolvendo água régia em Robert Boyle

Recentemente, alguns acadêmicos têm demonstrado que a tradução química pode auxiliar o trabalho histórico. O objetivo deste trabalho é traduzir alguns experimentos alquímicos de Robert Boyle para a química contemporânea, particularmente, aqueles que envolvem a água régia. A maior parte desses experimentos tem relação com o mecanicismo boyleano, com receitas de produção de compostos e com a padronização de procedimentos químicos. Muitos deles envolvem descrições precisas de propriedades, tais como o ponto de fusão, a mudança de gosto, a liberação de som e bolhas, a corrosão etc., que podem ser usadas como ferramentas de rastreamento para uma tradução à notação química atual.

Versão em português do Chronic Respiratory Questionnaire: estudo da validade e reprodutibilidade

OBJETIVO: Verificar a validade e a reprodutibilidade de uma versão em português do Chronic Respiratory Questionnaire (CRQ) em pacientes com DPOC. MÉTODOS: A versão em português do CRQ (fornecida pela Universidade de McMaster, detentora dos direitos do questionário) foi aplicada a 50 pacientes portadores de DPOC (32 homens; 70 ± 8 anos; VEF1 = 47 ± 18% predito) em dois momentos, com intervalo de uma semana. O CRQ tem quatro domínios (dispneia, fadiga, função emocional e autocontrole) e foi aplicado em formato de entrevista. O Saint George's Respiratory Questionnaire (SGRQ), já validado em português, foi utilizado como o critério de validação. A espirometria e o teste da caminhada de seis minutos (TC6) foram realizados para a análise das correlações com os valores do CRQ. RESULTADOS: Não foram observadas diferenças significativas entre a aplicação e a reaplicação do CRQ (p > 0.05 para todos os domínios). O coeficiente de correlação intraclasse entre a aplicação e a reaplicação foi de 0,98; 0,97; 0,98 e 0,95 para os domínios dispneia, fadiga, função emocional e autocontrole, respectivamente. O coeficiente alfa de Cronbach foi 0,91. Os domínios do CRQ se correlacionaram significativamente com os domínios do SGRQ (-0.30 < r < -0.67; p < 0,05). Não houve correlação entre as variáveis espirométricas e os domínios do CRQ e nem entre esses domínios e o TC6, exceto para o domínio fadiga (r = 0,30; p = 0,04). CONCLUSÕES: A versão em português do CRQ demonstrou ser reprodutível e válida em pacientes brasileiros portadores de DPOC.

As modalidades de tradução no conto Laços de Família na tradução para o inglês Family Ties

Este artigo apresenta uma análise descritivo-comparativa desenvolvida a partir da tra dução de modalidades no conto Laços de Família de Clarice Lispector. Os resultados indicam até que ponto a tradução de certas modalidades mostram uma margem maior ou menor de literalidade ou individualidade.

Reflexão e identidade profissional do professor de LE: que histórias contam os futuros professores?

Este artigo relata os resultados de um estudo realizado com alunas de graduação em Letras, Português - Língua Estrangeira (Inglês, Espanhol, Italiano, Japonês, Francês e Alemão). Objetivou verificar as metáforas, regras da prática e princípios que as alunas identificaram durante um processo de reflexão sobre suas formações profissionais. Foi possível identificar o impacto desses elementos em seus processos individuais de desenvolvimento de identidades como professoras. O resultado foi um conjunto de histórias biográficas escritas (fontes de experiências) nas quais as participantes se baseavam para constituir suas identidades profissionais como professoras de línguas estrangeiras. Nesses processos, elas puderam construir ligações significativas entre os aspectos teóricos evidenciados nas leituras que realizaram durante o período da pesquisa e os vários eventos marcantes de suas narrativas orais acerca da carreira profissional. A associação dos vários aspectos de suas histórias pessoais às questões teóricas que foram discutidas durante a pesquisa revela processos de construções de identidades profissionais como professoras de línguas estrangeiras.

Não há dente de coelho no problema da tradução radical

O trabalho consiste em uma tentativa de refutação do princípio quineano da indeterminação da tradução radical. A estrutura do argumento é a seguinte. A demonstração do princípio no texto de Quine assenta-se sobre certa concepção do processo de tradução radical. Esta concepção só se sustenta se são adotadas certas pressuposições a respeito da natureza da linguagem e dos falantes. Entretanto, se estas pressuposições são adotadas, não há razão para não se aceitarem também outras pressuposições - as quais invalidam a demonstração de Quine.

Subsistemas de comércio costeiros e internalização de interesses na dissolução do Império Colonial português (Santos, 1788-1822)

Discutem-se os primeiros resultados de uma pesquisa sobre o comércio costeiro e suas relações com o funcionamento do sistema colonial e com o contexto da Independência. A tese é de que em portos menores da costa da capitania de São Paulo, como em Santos, havia um grupo de comerciantes que atuava efetivamente no comércio costeiro e defendeu seus interesses de exclusividade de participação nesse setor contra a presença de comerciantes externos à vila. A discussão apoia-se em documentos da alfândega de Santos, como mapas de exportação-importação, mapas de embarcações, ofícios de governadores e juízes da alfândega e requerimentos de negociantes estrangeiros.

Quantidade e Duração Silábicas em Português do Brasil

Análise das relações existentes entre as predições dos modelos fonológicos não-lineares (em especial, o de Hayes, 1995) a respeito da quantidade das sílabas e a efetiva realização fonética dessas sílabas em termos de duração, através da consideração de dados extraídos do Projeto Gramática do Português Falado.