[pt] As arquiteturas convencionais de computadores, baseadas no modelo de Von Neumann, não implementam eficientemente a linguagem Prolog, fundamentada em mecanismos de unificação e retrocesso automático. Este trabalho propõe a arquitetura de um acelerador, baseado a uma máquina virtual Prolog (PLM) desenvolvida na COPPE/UFRJ. A arquitetura proposta aumenta a eficiência da máquina virtual explorando o paralelismo da memória associativa na realização do mecanismo de retrocesso. O impacto no desempenho da máquina virtual decorrente da nova arquitetura foi avaliado por simulação utilizando programas clássicos encontrados na literatura. / [en] Conventional computer architectures based on Von Neumann’s model do not efficiently implement the Prolog language, founded on unification and automatic backtracking mechanisms. This work presents the architecture of a content addressable memory accelerator to be connected to a Prolog Virtual machine (PLM) developed at COPPE/UFRJ. The presented architecture increases the virtual machine’s efficiency by exploring the content addressable memory’s parallelism to implement the backtracking mechanism. The impact on the virtual machine’s performance due to the new architecture was evaluated by simulation, using classical programs found on the literature.

[pt] O trabalho consiste de um algoritmo, programado na linguagem LISP/360, que sintetiza uma máquina seqüencial por registros de deslocamento utilizando processos heurísticos. É feita a designação dos estados da máquina e os registros são de mesmo comprimento. Uma parte deste algoritmo consiste de um processo de adição de estados transitórios, tornando qualquer máquina realizável por registros de comprimento - 2. / [en] This paper is concerned with the equal-length shift- register realization of sequential machines. The state assignement is restricted to one code per state. An algorithm programed in LISP/360 is used, which synthesizes a given sequantial machine by shift registers. A part of this algorithm does an addition of transitory states, making possible the synthesis of every sequential machine by shift-registers of length 2.

[pt] O presente trabalho se constitui em um estudo de Espaços Celulares de Computação-Construção Universais. Para provarmos a universalidade de um espaço celular particular nós desenvolvemos o projeto de um computador-Construtor Universal (CCU) realizável neste espaço. Queremos significar por CCU uma máquina capaz de computar qualquer função computável em uma máquina de Turing universal, bem como capaz de construir qualquer outra máquina construível no referido espaço, inclusive a si própria - caso que chamaremos de auto-reprodução. Uma aplicação para este espaço celular é estudada, quando simulamos um aceitador para linguagens de contexto-livre, ou seja, um push-down automator determinístico (DPDA), no CCU apresentado. Além disso são dadas as especificações de um DPDA celular particular, quando também são apresentadas as regras gerais de projeto para um DPDA genérico / [en] This work presents a study of Universal Computation- Construction Cellular Spaces. To proove the universality of a especific cellular space we develop a design of a Universal Computer-Contructor (UCC) realizable in that space. By UCC we mean a machine able to compute any Turing computable function, as well as able to construct any other machine constructable in the proposed space, wich case we called self-reproduction. An aplication to this cellular space has also been studied, when a particular context-free language acceptor, that is, a deterministic push-down automaton (DPDA), is simulated in the designed UCC. Besides that, the especifications of a particular cellular DPDA are defined, when general rules of construction of any generic DPDA are given.

[pt] Essa pesquisa aborda a produção dos espaços do Humano e do Animal. O objetivo é percebê-los como zonas de regulação e distribuição de corpos, operadas, especialmente, a partir da noção de sujeito. No primeiro capítulo, busca-se pela desnaturalização desses espaços desde uma reflexão acerca de suas referências mais incorpóreas. Questiona-se os discursos que operam por meio da oposição entre ambos, recorrendo-se, para isso, a uma dimensão biológica fechada em si mesma, à qual se comunica uma subjetividade consciente. O segundo capítulo fará uma retomada dessas questões, ampliando-as através de uma abordagem sobre o corpóreo; uma vez delineado por diferentes modos de afecção (corpóreos e incorpóreos), reputa-se o corpo a um terreno de inconstância e transitoriedade. Nesse ponto, os debates da ética animal e do direito dos animais são confrontados, porquanto perpetuam subjetividades que remontam à identidade biológica do Humano. Por fim, o terceiro capítulo apresenta um deslocamento à oposição Humano-Animal a partir da noção de máquina, de uma subjetividade maquínica atravessada, tanto pela constituição de esferas homogeneizadas entre si - o Humano e o Animal, quanto pela sua desestabilização, o que é possibilitado pela hibridização solicitada em meio a fluxos de diferença. É quando se dá a passagem de uma análise de cunho mais epistemológico, para outro com uma feição mais política. Toda essa reflexão é conduzida pelo referencial filosófico de Jacques Derrida, sobretudo em razão da filosofia da diferença que seu pensamento anuncia. Em Derrida, a diferença é notada como um movimento e não um atributo em si. / [en] This work approaches the production of the Human and the Animal spaces. The goal is to understand those as zones of regulation and distribution of bodies, operated, especially, by the notion of subject. The first chapter presents the necessity of denaturalization of these spaces, starting with a reflection about some incorporeal references. The discourses that operate through the opposition between the Human and the Animal are questioned, as they call to a closed biological dimension in itself, to which a conscious subjectivity communicates. The second chapter will retake these questions, broadening them through an approach on the corporeal; once delineated by different modes of affection (corporeal and incorporeal kinds), the body is considered to be a land of inconstancy and transience. At this point, the debates of animal ethics and animal rights are confronted because they perpetuate subjectivities that go back to a biological Human identity. Finally, the third chapter presents a shift to the Human-Animal opposition from the notion of machine, of a machinic subjectivity crossed, both by the constitution of homogenized spheres between each other - Human and Animal, as well as their destabilization, which is made possible by the hybridization requested in the flows of difference. It is when the epistemological analysis acquire a political aesthetics. All this reflection is led by the philosophical reference of Jacques Derrida, mainly because of the philosophy of difference that his thought announces. In Derrida, difference is perceived as a movement, not an attribute in itself.

[pt] Este trabalho trata do desenvolvimento e implementação de software destinado à simulação dinâmica de sistemas de transmissão 3m corrente contínua em microcomputador digital. A formulação matemática para a solução das equações diferenciais baseia-se nas vaiáveis de estado do sistema, e o método de integração numérica utilizado é o de Eüler Modificado. O modelo dinâmico de máquina síncrona é representado em suas grandezas de fase a, b, c. O programa digital conta, ainda, com telas gráficas para a visualização de resultados. / [en] This work is concerned with the development and implementation of a sofyware for dynamic simulation fo high voltage direct current transmission systems in a personal computer. The mathematical formulation for the solution of the diferential equations is based on the system state variables and the Modified Eüler S numerical integration method is used. The dynamic model of the synchronous machines is represented through its phase variables a, b, c. the program makes use of a compactation scheme for dealing with the sparse nature of the primitive and incidence matrices. The program also provides CTR graphic interfaces to help in the analysis of simulation results.

[pt] Esta dissertação analisa o problema da gestão de estoque de sanduíches de uma empresa prestadora de serviços de alimentação, a Tok Take Alimentação Ltda. Para tanto, foi feito um levantamento bibliográfico na área de gestão de estoques e de previsão de demanda. Para o estudo de caso, dados históricos do consumo diário de sanduíches em um determinado cliente foram coletados e submetidos à análise por meio de dois métodos de previsão de demanda: o método de médias móveis dupla e o método de amortecimento direto para dados sazonais. Desta forma, foram determinados dois modelos que possibilitam a previsão de demanda diária deste produto. / [en] This report analyzes the issue of managing the inventory of sandwiches of a food vending enterprise, Tok Take Alimentação Ltda. For that purpose, a bibliographic survey was made on inventory management and demand forecasting. In the case studied it was found that no gain could be obtained by expanding the replenishment period. Hence the analysis turned its focus to demand forcasting. For the case study, historical data of sandwich consumption at a specific client site were colected and submited to analysis by means of two forecasting methods namely: double moving average and direct smoothing for seasonal data. After that, a model that enables daily forecasting of that product`s demand was determined.

[pt] Espera-se que o desenvolvimento de suítes de teste a partir de modelos possa contribuir substancialmente para a redução do esforço humano e aumentar a eficácia dos testes gerados. Entende-se por eficácia (ideal) dos testes o percentual de defeitos existentes encontrados a partir desses testes. Uma grande parte dessas técnicas baseia-se em máquinas de estado e quase sempre estão voltadas para o teste de funcionalidade. Entretanto, existe a necessidade de se poder testar sistemas altamente interativos, tais como smartphones e tablets, a partir de uma descrição de sua interface humano-computador. O objetivo da dissertação é efetuar uma primeira avaliação de uma técnica voltada para a geração de suítes de teste visando o teste de interfaces gráficas. Para tal,desenvolvemos e avaliamos a eficácia de uma ferramenta, chamada Easy, que utiliza casos de uso tabulares e máquina de estados para a geração automática da suíte de testes. Os casos de uso são descritos em linguagem natural restrita. A partir dessa descrição, a ferramenta constrói uma máquina de estado e, a seguir, a utiliza para gerar cenários. Por construção os cenários estarão em conformidade com os casos de uso. Cada cenário corresponde a um caso de teste. Os cenários são apresentados ao usuário em linguagem natural restrita, permitindo a visualização destes antes da geração dos scripts finais de testes. Os scripts gerados são destinados a uma ferramenta de execução automatizada voltada para o teste de interfaces gráficas. Neste trabalho, utilizou-se a ferramenta UI Automation, responsável pela execução de testes em aplicações destinadas ao iOS, sistema operacional de iPhone, iPad e iPod Touch. A eficácia do processo foi avaliada em uma aplicação real, disponível na loja virtual de aplicativos App Store. Além disso, foram realizados testes de IHC afim de avaliar a influência no custo da produção da suíte de teste. / [en] It is expected that the development of test suites from models can contribute substantially to reducing the human effort and to increase the effectiveness of the generated tests. Means for tests’ effectiveness (ideal) the percentage of existing defects found by these tests. Most of these techniques is based on state machines and mostly directed to testing the functionality. However, there is a need to be able to test highly interactive systems, such as smartphones and tablets, from a description of its human computer interface. The goal of the dissertation is to make a first evaluation of a technique aimed to generate test suites for test of human computer graphic interface. For this purpose was developed and evaluated its effectiveness, a tool called Easy, using use cases tabular and state machine for the automatic generation of the suite tests. The use cases are described in natural language restricted. From this description, the tool builds a state machine, and then uses this to generate scenarios. By construction scenarios will be in accordance with the use cases. Each scenario corresponds to a test case. The scenarios are presented to the user in natural language, allowing the visualization of them before the generation of the final scripts tests. The generated scripts are intended to a running automated tool geared to testing graphical interfaces. In this work, we used the UI Automation tool, responsible for running tests on applications for the iOS, operational system for iPhones, iPads and iPod touchs. The effectiveness of the procedure was evaluated in a real application, available in the online store applications App Store. In addition, HCI tests were performed in order to evaluate the influence on the cost of production of the test suite.

[pt] A linguagem Java foi definida tendo como foco a portabilidade. O código gerado pela compilação é interpretado por uma máquina virtual, e não diretamente pelo processador destino, como um programa em C. Este código intermediário, também conhecido como bytecode, é a chave da portabilidade de Java. Os Bytecodes Java usam uma pilha para manipular os operandos das instruções. O uso de pilha tem suas vantagens e desvantagens. Dentre as vantagens, podemos citar a simplicidade da implementação do compilador e da máquina virtual. A principal desvantagem é a redução na velocidade de execução dos programas, devido à necessidade de se mover os operandos para a pilha e retirar dela o resultado, gerando um aumento no número de instruções que devem ser processadas. Diversos estudos indicam que máquinas virtuais baseadas em registradores podem ser mais rápidas que as baseadas em pilha. Decidimos criar uma nova especificação de bytecodes, específicos para máquinas virtuais baseadas em registradores. Esperamos com isso obter um aumento no desempenho das aplicações. / [en] The Java language was created with a focus on portability. The code generated by the compiler is interpreted by a virtual machine, and not directly by the target processor, like programs written in C. This intermediate code, also known as bytecode, is the key to Java's portability. The Java Bytecodes use a stack to manipulate the instruction operands. The use of stack has its their pros and cons. Among the advantages, we can cite the simplicity of implementation of the compiler and virtual machine. On the other hand, there is a speed reduction in the program's execution, due to the need to move the operands to and from the stack, and retrieve results from it, increasing the number of instructions that are processed. Much study has been done that indicating that register-based virtual machines can be faster than the ones based on stacks. Based on this, we decided to create a new bytecode specification, proper for a virtual machine based on registers. By doing this, we hope to obtain an increase in an application's performance.

[pt] Programar redes de sensores sem fio (RSSF) é uma tarefa difícil. O programador tem que lidar com várias atividades simultâneas em um ambiente com recursos extremamente limitados. Neste trabalho propomos um modelo de programação para facilitar essa tarefa. O modelo que propomos combina o uso de máquinas virtuais configuráveis baseadas em componentes com uma linguagem de script reativa que pode ser analisada estaticamente para evitar conitos de memória e execução de laços infinitos. Essa abordagem permite a exibilidade de carregamento remoto de código nos nós da rede combinado com um conjunto de garantias para o programador. A escolha de um conjunto específico de componentes numa configuração de máquina virtual define o nível de abstração visto pelo script da aplicação. Para avaliar esse modelo, construímos Terra, um sistema que combina a linguagem de script Céu-T com uma máquina virtual e uma biblioteca de componentes. Nós projetamos esta biblioteca considerando as funcionalidades comumente necessárias em aplicações de RSSF - tipicamente para sensoreamento e controle. Implementamos diferentes aplicações utilizando Terra e uma linguagem orientada a eventos baseados em C. Além disso discutimos as vantagens e desvantagens dessas implementações alternativas. Finalmente, também avaliamos Terra medindo o custo adicional em uma aplicação básica e discutimos sua utilização e custo em diferentes cenários de aplicações WSNs. / [en] Programming wireless sensors networks (WSN) is a difficult task. The programmer must deal with several concurrent activities in an environment with severely limited resources. In this work we propose a programming model to facilitate this task. The model we propose combines the use of configurable component-based virtual machines with a reactive scripting language which can be statically analyzed to avoid unbounded execution and memory conicts. This approach allows the exibility of remotely uploading code on motes to be combined with a set of guarantees for the programmer. The choice of the specific set of components in a virtual machine configuration defines the abstraction level seen by the application script. To evaluate this model, we built Terra, a system combining the scripting language Céu-T with the Terra virtual machine and a library of components. We designed this library taking into account the functionalities commonly needed in WSN applications - typically for sense and control. We implemented different applications using Terra and using an event-driven language based on C and we discuss the advantages and disadvantages of the alternative implementations. Finally, we also evaluate Terra by measuring its overhead in a basic application and discussing its use and cost in different WSN scenarios.

[pt] As linguagens multimídia de alto-nível atuais são limitadas. Suas limitações decorrem não da ausência de funcionalidades mas da complexidade causada pelo excesso delas e, especialmente, da sua definição não-estruturada. Linguagens como NCL, SMIL e HTML definem diversas construções para controlar a apresentação de dados audiovisuais, porém falham ao não descreverem precisamente como essas construções relacionam-se umas com as outras, particularmente em termos de comportamento. Não há uma separação clara entre construções básicas e construções derivadas; nem um princípio aparente de estruturação hierárquica na sua definição. Usuários dessas linguagens podem dispensar tal princípio, mas ele é imprescindível para as pessoas que definem e implementam essas linguagens: o princípio de estruturação hierárquica torna as especificações e implementações controláveis através da redução da linguagem a um conjunto de conceitos básicos (primitivos). Nesta tese, um conjunto de tais conceitos básicos é proposto e adotado como a linguagem de uma máquina virtual para apresentações multimídia. Mais precisamente, uma nova linguagem multimídia de alto-nível, chamada Smix (Synchronous Mixer), é apresentada e definida de forma a servir como camada de abstração adequada para a definição e implementação de linguagens multimídia de nível superior. Ao definir a linguagem Smix, isto é, ao escolher um conjunto de conceitos básicos, este trabalho visa o minimalismo mas ao mesmo tempo trata alguns dos principais problemas das linguagens multimídia de alto-nível atuais, a saber, os modelos semânticos inadequados de suas especificações e as abordagens não-sistemáticas de suas implementações. No lado da especificação, sustenta-se o uso de uma semântica síncrona simples porém expressiva, com uma noção temporal precisa. No lado da implementação, propõe-se uma arquitetura de duas camadas que facilita o mapeamento dos conceitos da especificação em primitivas de processamento digital de sinais. A camada superior (front end) é a realização da semântica e a camada inferior (back end) estrutura-se como um dataflow para processamento digital de sinais multimídia. / [en] Current high-level multimedia languages are limited. Their limitation stems not from the lack of features but from the complexity caused by the excess of them and, more importantly, by their unstructured definition. Languages such as NCL, SMIL, and HTML define innumerable constructs to control the presentation of audiovisual data, but they fail to describe how these constructs relate to each other, especially in terms of behavior. There is no clear separation between basic and derived constructs, and no apparent principle of hierarchical build-up in their definition. Users may not need such principle, but it is indispensable for the people who define and implement these languages: it makes specifications and implementations manageable by reducing the language to a set of basic (primitive) concepts. In this thesis, a set of such basic concepts is proposed and taken as the language of a virtual machine for multimedia presentations. More precisely, a novel high-level multimedia language, called Smix (Synchronous Mixer), is presented and defined to serve as an appropriate abstraction layer for the definition and implementation of higher level multimedia languages. In defining Smix, that is, choosing a set of basic concepts, this work strives for minimalism but also aims at tackling major problems of current high-level multimedia languages, namely, the inadequate semantic models of their specifications and unsystematic approaches of their implementations. On the specification side, the use of a simple but expressive synchronous semantics, with a precise notion of time, is advocated. On the implementation side, a two-layered architecture that eases the mapping of specification concepts into digital signal processing primitives is proposed. The top layer (front end) is the realization of the semantics, and the bottom layer (back end) is structured as a multimedia digital signal processing dataflow.