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

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.

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.

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.

Uma análise de semelhanças e diferenças na tradução de textos técnicos, jornalísticos e literários

Por meio da utilização de corpus de textos técnicos, jornalísticos e literários escritos originalmente em inglês e traduzidos para o português, pode-se efetuar uma análise das soluções propostas pelos tradutores ao lidarem com semelhanças e diferenças lingüísticas e culturais dos textos de partida e de chegada. Com esse intuito, aplicou-se o modelo descritivo-comparativo sugerido por Aubert (1984, 1998), o qual se origina das categorias de Vinay e Darbelnet ([1958, 1977] 1995), a fim de, primeiramente, identificar e, depois, classificar os procedimentos ou modalidades empregadas na tradução desses gêneros textuais. Registraram-se como modalidades de maior incidência nos três corpora: a tradução literal, a transposição e a modulação. em virtude de a alta freqüência da tradução literal ocorrer em textos técnicos e, contrariamente ao esperado, incidir com proporção ainda maior em textos jornalísticos, poder-se-ia inferir uma tendência para automatismos na tradução desses dois tipos de textos. Já a necessidade de um emprego acentuado da modulação e da transposição com modulação em textos literários poderia ser decorrente de uma participação mais ativa do tradutor na tentativa de escapar da literalidade e proceder a uma maior reelaboração, a fim de passar características normalmente associadas à linguagem do romance.

As práticas de tradução redefinidas pelas relações linguísticas na economia informacional

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

MS2SV: Tradução de modelos em Simulink para VHDL-AMS

This paper presents a methodology and a tool for projects involving analogue and digital signals. A sub-systems group was developed to translation a Matlab/Simulink model in the correspondent structural model described in VHDL-AMS. The developed translation tool, named of MS(2)SV, can reads a file containing a Simulink model translating it in the correspondent VHDL-AMS structural code. The tool also creates the directories structure and necessary files to simulate the model translated in System Vision environment. Three models of D/A converters available commercially that use R-2R ladder network were studied. This work considers some of challenges set by the electronic industry for the further development of simulation methodologies and tools in the field of mixed-signal technology. Although the objective of the studies has been the D/A converter, the developed methodology has potentiality to be extended to consider control systems and mechatronic systems.

A compilação de corpora comparáveis na área de negócios e sua relevância para a tradução e terminologia

This article aims at highlighting the importance of Corpus Linguistics particularly to the compiling of specialized comparable corpora to the field of Translation as well as to the practice of translation itself. Hence, we report the stages of the compilation and the organization of bilingual comparable corpora in the Business field and its applications, with the purpose of also highlighting its relevance to two of our target audiences: translators and also researchers in the Terminolgy/Terminography field.

Tradução juramentada de contratos sociais: questões lexicais, terminológicas e fraseológicas

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A Tradução juramentada espanhol-português de atas de assembléias de associados: questões de equivalência terminológica

Pós-graduação em Estudos Linguísticos - IBILCE

A tradução juramentada espanhol-português de estatutos sociais: questões de equivalência terminológica

Pós-graduação em Estudos Linguísticos - IBILCE

Questões de terminologia português-francês de atas de assembleia: uma contribuição à tradução juramentada

Pós-graduação em Estudos Linguísticos - IBILCE

Estudo do Fator de Início de Tradução de Eucariotos 5A (eIF5A) na tradução específica e na ligação direta com ribossomo

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)