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

Um estudo dos sistemas de amortizações SAC e francês no ensino médio apoiado na construção de planilhas Eletrônicas

The aim of this work is to provide a text to support interested in the main systems of amortization of the current market: Constant Amortization System (SAC) and French System, also known as Table Price. We will use spreadsheets to facilitate calculations involving handling exponential and decimal. Based on [12], we show that the parcels of the SAC become smaller than the French system after a certain period. Further then that, we did a comparison to show that the total amount paid by SAC is less than the French System

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.

Extractos de una nota comunicada por el Gobierno Francés al Secretario General de las Naciones Unidas.

Nota referente a los cursos que podrían organizarse en Francias para técnicos de países poco desarrollados.

Resolución 11: Zonas y puertos francos = Resolution 11: Free ports and zones = Résolution 11: Ports francs et zones franches

El símbolo E/840/Rev.1 corresponde a la edición bilingüe inglés/francés publicada en 1953

Terminologia de contratos de locação de imóveis: estudo terminológico bilíngue e elaboração de glossário Português-Francês

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

Fraseologismos zoônimos: elaboração de base de dados Português-Francês

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