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.

Memórias sobre um conflito de terra em relatos de história de vida

Este artigo se propõe a analisar as memórias de pequenos produtores rurais do assentamento Camucim (litoral sul da Paraíba) sobre um conflito de terra ocorrido no final dos anos 70 e início dos anos 80, do século XX. Essas memórias foram obtidas através de entrevistas de história de vida, que foram submetidas à Análise de Discurso. A partir da história oral, pretende-se analisar o sentido subjetivo construído pelos narradores, através de suas memórias. Nesse sentido, o conflito é relembrado como uma luta legítima, abençoada por Deus, o que nos remete para o papel fundamental da Igreja nesse processo, através da Comissão Pastoral da Terra (CPT). Além disso, os narradores constroem uma imagem de lutadores corajosos e vitoriosos.

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.

O estranho testamento de um vigário de província: as memórias de Jean Meslier

En 1762, Voltaire publie un petit livre intitulé Extraits des sentiments de Jean Meslier. Il s'agit d'um abregé des Mémoires de Jean Meslier qui circulaient comme littérature clandestine dans la première moitié du XVIIIe, siècle, sous forme de copies manuscrites. L'interêt de Voltaire pour ces Mémoires est compréhensible. Elles dénoncent toute religion comme imposture et fausseté et annoncent une philosophie matérialiste et athéiste. Quel rôle cet obscur vicaire de province aura exercé dans la constitution de la philosophie des lumières?

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.

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.

Memórias de um profissional de história

Within the proposed framework for this issue of the journal História da Historiografia, the present article is a concise report on the trajectory of a university professor of history. The author writes on the obtainment of his degree at the USP, his participation in the beginning of undergraduate and graduate courses in the interior of the state of São Paulo, including the experience of taking part in the beginnings of the public university Universidade Estadual Paulista (UNESP). The author also discusses aspects of his academic and institutional life, and reports on the process of his insertion in an established historiographical line of work. It can be introductorily noted that the reader will not always find a linear chronological order, due to the multifaceted nature of the activities of a university professor of history. An additional note is that I have not made complete bibliographical citations, as I understand that the readers are specialists in the historians' craft.

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