• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 16
  • 3
  • Tagged with
  • 19
  • 19
  • 16
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

[en] A CONTENT ADDRESSABLE MEMORY BASED ARCHITECTURE TO SUPPORT A PROLOG VIRTUAL MACHINE / [pt] UMA ARQUITETURA BASEADA EM MEMÓRIA ASSOCIATIVA PARA SUPORTE A UMA MÁQUINA VIRTUAL PROLOG

MALENA OSORIO HOR-MEYLL 12 November 2009 (has links)
[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.
2

[en] SYNTHESIS OF SEQUENTIAL MACHINES USING HEURISTIC PROCESSES SHIFTED REGISTERS / [pt] SÍNTESE DE MÁQUINAS SEQÜENCIAIS POR REGISTROS DE DESLOCAMENTO UTILIZANDO PROCESSOS HEURÍSTICOS

IVAN BRIL 11 June 2007 (has links)
[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.
3

[en] A CONTRIBUTION TO THE STUDY OF UNIVERSAL CELLULAR SPACES - A CONTEXT-FREE LANGUAGE ACCEPTOR APPLICATION / [pt] CONTRIBUIÇÃO AO ESTUDO DE ESPAÇOS CELULARES UNIVERSAIS APLICAÇÃO EM RECONHECEDORES DE LINGUAGENS DE CONTEXTOS LIVRES

JOEL GUILHERME DA SILVA FILHO 20 December 2007 (has links)
[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.
4

[en] MARGINS: BETWEEN THE HUMAN AND THE ANIMAL / [pt] MARGENS: ENTRE O HUMANO E O ANIMAL

LUANA COUTO CAMPOS 29 June 2018 (has links)
[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.
5

[en] DYNAMIC SIMULATION OF HIGH VOLTAGE DIRECT CURRENT TRANSMISSION SYSTEMS IN A PERSONAL COMPUTER / [pt] SIMULAÇÃO DINÂMICA DE SISTEMAS DE TRANSMISSÃO EM CORRENTE CONTÍNUA EM MICROCOMPUTADOR DIGITAL

ANDRE LUIZ DA ROSA PLAISANT 10 August 2006 (has links)
[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.
6

[en] DEMAND FORECASTING IN THE LOGISTICS MANAGEMENT OF PERISHABLE PRODUCTS SOLD BY VENDING MACHINES / [pt] PREVISÃO DE DEMANDA NA GESTÃO LOGÍSTICA DE UM PRODUTO PERECÍVEL VENDIDO POR MÁQUINA AUTOMÁTICA

PAULA ANDRADE JUDICE 29 July 2005 (has links)
[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.
7

[en] AUTOMATIC GENERATION OF USER INTERFACE TEST SUITES SPECIFIED BY USE CASES / [pt] GERAÇÃO AUTOMÁTICA DE SUÍTES DE TESTE DA INTERFACE COM USUÁRIO A PARTIR DE CASOS DE USO

EDUARDO DE OLIVEIRA FERREIRA 06 August 2014 (has links)
[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.
8

[en] A SPECIFICATION FOR A JAVA REGISTER-BASED MACHINE / [pt] UMA ESPECIFICAÇÃO DE MÁQUINA DE REGISTRADORES PARA JAVA

GUILHERME CAMPOS HAZAN 21 May 2007 (has links)
[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.
9

[en] SCRIPTING CUSTOMIZED COMPONENTS FOR WIRELESS SENSOR NETWORKS / [pt] PROGRAMANDO REDES DE SENSORES SEM FIO COM SCRIPTS SOBRE COMPONENTES CUSTOMIZADOS

ADRIANO FRANCISCO BRANCO 09 June 2016 (has links)
[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.
10

[en] A SYNCHRONOUS VIRTUAL MACHINE FOR MULTIMEDIA PRESENTATIONS / [pt] UMA MÁQUINA VIRTUAL SÍNCRONA PARA APRESENTAÇÕES MULTIMÍDIA

GUILHERME AUGUSTO FERREIRA LIMA 07 June 2016 (has links)
[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.

Page generated in 0.0318 seconds