Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.

Sistema de replicação de circuitos integrados digitais baseado em análise comportamental

Nesta dissertação de mestrado é desenvolvido um sistema de replicação de circuitos integrados digitais (combinatórios e sequenciais), por observação do seu normal funcionamento. O sistema desenvolvido carateriza-se pela capacidade de extrair e descrever na linguagem VHDL o comportamento de um circuito integrado digital em funcionamento, utilizando técnicas não invasivas e automatizadas, suportado por um vasto conjunto de algoritmos de aquisição e análise de dados. O sistema desenvolvido assenta em dois módulos principais: um módulo de software que consiste numa plataforma de algoritmos de análise, controlo e gestão do sistema (alojada num computador) e um módulo de aquisição de dados (hardware) que consiste num circuito capaz de realizar as medições necessárias para o funcionamento do sistema, comandado pelo módulo de software. A comunicação entre os dois módulos é efetuada via porta série. Os algoritmos desenvolvidos realizam uma análise da correspondência entre entradas e saídas procurando aplicar uma aproximação a um circuito combinatório se possível, caso contrário são utilizados métodos heurísticos para efetuar uma aproximação a um circuito sequencial através de uma máquina de estados. Entradas ou saídas constantes são previamente identificados e excluídos do processo de análise, para efeitos de simplificação. Os resultados obtidos demonstram que é possível replicar o comportamento observado em circuitos digitais (combinatórios e sequenciais) desde que o número de amostras recolhidas seja adequado. Verifica-se ainda que o método desenvolvido replica a funcionalidade do circuito integrado nas condições onde o circuito está inserido.

Gerenciamento de Entrada e Saída

O material apresenta a estrutura geral de um subsistema de Entrada/Saída, seus princípios do tratamento e complexidade. Destaca assuntos como: Hardware de E/S; Estrutura típica do barramento do PC; Comunicação entre CPU e controladoras; Endereços de algumas portas de I/O do PC; E/S programada – Polling; E/S por Interrupções; e Vetor de eventos do Intel Pentium. O material também trata do Acesso Direto à Memória e a operação de transferência por DMA; os dispositivos de Rede; as operações do subsistema de E/S (Escalonamento, Buferização, Caching, Spooling, Reserva de dispositivo); o tratamento de erros e as operações que podem estar sujeitas a falhas; e por fim, tratamento de requisições de E/S e o ciclo de vida de uma requisição de E/S.

Simulação e programação offline de robôs industriais afectos a tarefas de lixagem

Este trabalho teve o intuito de testar a viabilidade da programação offline para tarefas de lixamento na empresa Grohe Portugal. Para tal era necessário perceber o que é a programação offline e para isso foi efectuada uma pesquisa referente a essa temática, onde ficou evidente que a programação offline é em tudo semelhante à programação online, tendo apenas como principal diferença o facto de não usar o robô propriamente dito durante o desenvolvimento do programa. Devido à ausência do robô, a programação offline exige que se conheça detalhadamente a célula de trabalho, bem como todas as entradas e saídas associadas à célula, sendo que o conhecimento das entradas e saídas pode ser contornada carregando um backup do robô ou carregando os módulos de sistema. No entanto os fabricantes habitualmente não fornecem informação detalhada sobre as células de trabalho, o que dificulta o processo de implementação da unidade no modelo 3D para a programação offline. Após este estudo inicial, foi efectuado um estudo das características inerentes a cada uma das células existentes, com o objectivo de se obter uma melhor percepção de toda a envolvente relacionada com as tarefas de lixamento. Ao longo desse estudo efectuaram-se vários testes para validar os diversos programas desenvolvidos, bem como para testar a modelação 3D efectuada. O projecto propriamente dito consistiu no desenvolvimento de programas offline de forma a minimizar o impacto (em especial o tempo de paragem) da programação de novos produtos. Todo o trabalho de programação era até então feito utilizando o robô, o que implicava tempos de paragem que podiam ser superiores a três dias. Com o desenvolvimento dos programas em modo offline conseguiu-se reduzir esse tempo de paragem dos robôs para pouco mais de um turno (8h), existindo apenas a necessidade de efectuar algumas afinações e correcções nos movimentos de entrada, saída e movimentações entre rotinas e unidades, uma vez que estes movimentos são essenciais ao bom acabamento da peça e convém que seja suaves. Para a realização e conclusão deste projecto foram superadas diversas etapas, sendo que as mais relevantes foram: - A correcta modelação 3D da célula, tendo em conta todo o cenário envolvente, para evitar colisões do robô com a célula; - A adaptação da programação offline para uma linguagem mais usual aos afinadores, ou seja, efectuar a programação com targets inline e criar diferentes rotinas para cada uma das partes da peça, facilitando assim a afinação; - A habituação à programação recorrendo apenas ao uso de módulos para transferir os programas para a célula, bem como a utilização de entradas, saídas e algumas rotinas e funcionalidades já existentes.

Geração automática de controladores em FPGA integrando animação gráfica

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Sistema automático de vigilância de nível de baterias em veículo autónomo

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Sistema de Informação de Controlo de Assiduidade: Proposta para o caso da UniCV

Na Universidade de Cabo Verde (UniCV) o registo de entrada saída, faltas e marcação de férias são processos que ainda são feitos num livro de ponto manualmente e sem qualquer controlo rígido e efectivo. Este factor torna difícil o seu controlo por parte dos Recursos Humanos, seja em tempo real ou de forma periódica. O objectivo desta tese foi modelar e propor um protótipo de um sistema de informação que permitisse a informatização do registo de assiduidade e permitisse também a gestão dos períodos de férias sob a forma de portal Web. Apoiada na análise do Sistema de Registo de Assiduidade (SRA) da Universidade de Aveiro e das soluções existentes comercialmente foi feita uma análise e modelação do processo tendo em vista a evolução do sistema actual. O resultado foi um modelo de sistema de apoio à assiduidade que para além de integrar requisitos doutros sistemas (e.g. SRA) incorporou os requisitos essenciais relacionados com vários constrangimentos existentes actualmente. De forma a ilustrar as utilizações principais de um possível sistema de apoio à assiduidade para a UniCV foi implementado um protótipo. O protótipo, conforme expectável, não é um sistema pronto a entrar em produção mas pode constituir um bom suporte a uma eventual solução desenvolvida com este fim para a UniCV.

Sistema de Informação de Controlo de Assiduidade: Proposta para o caso da UniCV

Na Universidade de Cabo Verde (UniCV) o registo de entrada saída, faltas e marcação de férias são processos que ainda são feitos num livro de ponto manualmente e sem qualquer controlo rígido e efectivo. Este factor torna difícil o seu controlo por parte dos Recursos Humanos, seja em tempo real ou de forma periódica. O objectivo desta tese foi modelar e propor um protótipo de um sistema de informação que permitisse a informatização do registo de assiduidade e permitisse também a gestão dos períodos de férias sob a forma de portal Web. Apoiada na análise do Sistema de Registo de Assiduidade (SRA) da Universidade de Aveiro e das soluções existentes comercialmente foi feita uma análise e modelação do processo tendo em vista a evolução do sistema actual. O resultado foi um modelo de sistema de apoio à assiduidade que para além de integrar requisitos doutros sistemas (e.g. SRA) incorporou os requisitos essenciais relacionados com vários constrangimentos existentes actualmente. De forma a ilustrar as utilizações principais de um possível sistema de apoio à assiduidade para a UniCV foi implementado um protótipo. O protótipo, conforme expectável, não é um sistema pronto a entrar em produção mas pode constituir um bom suporte a uma eventual solução desenvolvida com este fim para a UniCV.

Pairs trading: uma aplicação ao mercado acionário brasileiro

Neste trabalho, verificamos viabilidade de aplicação da estratégia de pairs trading no mercado acionário brasileiro. Diferentemente de outros estudos do mesmo tema, construímos ativos sintéticos a partir de uma combinação linear de preços de ações. Conforme Burgeois e Minko (2005), utilizamos a metodologia de Johansen para a formação dos pares a serem testados. Após a identificação de pares cointegrados, para assegurar a estacionaridade do ativo sintético contruído a partir da relação linear de preços das ações, utilizamos os testes DF-GLS e KPSS e filtramos àqueles que apresentavam raiz unitária em sua série de tempo. A seguir, simulamos a estratégia (backtesting) com os pares selecionados e para encontrar os melhores parâmetros, testamos diferentes períodos de formação dos pares, de operação e de parâmetros de entrada, saída e stop-loss. A fim de realizarmos os testes de forma mais realista possível, incluímos os custos de corretagem, de emolumentos e de aluguel, além de adicionar um lag de um dia para a realização das operações

Sistemas Operacionais

O material apresenta sistemas operacionais, destacando visões do Sistema Operacional (Máquina abstrata / Gerente de recursos), Processos (programas em execução), Thread (linha de execução de um processo), Múltiplos processos (Multitasking), Tipos de processos, Escalonamento e Interrupções. O texto também traz as Chamadas de Sistema (serviços oferecidos pelo Sistema Operacional para os programas), o Gerenciamento de memória, a Memória virtual, os Sistemas de Arquivo e o Sistema Entrada/Saída.

Controle de estoques de sal: uma inovação da quantificação e no gerenciamento dos recursos naturais da indústria mineral

The strengthening of the domestic industry in Brazil required the modernization, mechanization and expansion of salt production. Thereafter the production of sea salt started to be made in a process of continuous flow, where the product is constantly stored in yards, with daily movements in and out of salt. Thus far, the major bottleneck found in this production process is the control of production, because due to the large amount produced and variety of losses existing in the various stages of production there are not a regulated and safe way to control inventories with accuracy and speed demanded. In a typical case with a salt marsh company of Rio Grande do Norte state, salt produced is stored in two open courtyards and inventory control of salt made by carrying input / output relationship of salt in each storage yard. This work developed a conceptual model of inventory control, based on topography, adopting surveys into one of the courtyards of the company. There were 25 biweekly survey measurements over a year book to generate digital models representing the stock. For each measurement, results were compared with the values of inventory accounting provided by the salt marsh in order to identify existing losses and mark out the sales department on the actual stock available at each measurement date. Inventories calculated by the model indicated losses of 6,349 tonnes for the period of one year book and 3,279 tonnes for the period between harvests, when compared to the accounting control

Análise modal de uma estrutura do tipo viga utilizando materiais piezelétricos (PVDF) como sensores

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Efeitos da fertilização com resíduos da alface (Lactuca sativa L.) nas cracterísticas físico-químicas e biológicas da água em viveiros de criação extensiva de tilápias (Oreochromis niloticus L.)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Estudo da tecnologia RFID e sua aplicação na gestão de estoques

Due to the need of more agility, dynamism and reliability in stock management, the market has turned its attention to RFID, which offers a practical solution and live up to the big corporations' expectations. The search for continuous improvement establishes a direct link with RFID, for its technology offers accurate real time information in any monitored given place. RFID is a radio frequency communication technology. A reader communicates to a tag through waves. This tag can be active, with a battery, or passive, in which its power is supplied by currents induced by the field variation it is exposed to. The RFID technology has a well defined basic principle, but there are many constructive ways of implementing it. The adaptability as well as the flexibility regard to the several kinds of stock in industry, reaching their particular needs. RFID can lower maintenance costs in stock by collecting data more accurately, lowering human error and optimizing the item handling at its reception, exit and while it is inside the company. This paper presents an example of RFID technology applied in a company's stock management. It is possible to prove that there are, in fact, great advantages in implementing this technology, as it creates the opportunity for continuous improvement in stock management, with better application of material, labour and quality tools, since the data collected through an automatized process using RFID are more reliable and dynamic