Uma ferramenta para automação da geração do leiaute de circuitos analógicos sobre uma matriz de transistores MOS pré-difundidos

Este trabalho apresenta o LIT, uma ferramenta de auxílio ao projeto de circuitos integrados analógicos que utiliza a técnica da associação trapezoidal de transistores (TAT) sobre uma matriz digital pré-difundida. A principal característica é a conversão de cada transistor simples de um circuito analógico em uma associação TAT equivalente, seguido da síntese automática do leiaute da associação séria-paralela de transistores. A ferramenta é baseada na matriz SOT (sea-of-transistors), cuja arquitetura é voltada para o projeto de circuitos digitais. A matriz é formada somente por transistores unitários de canal curto de dimensões fixas. Através da técnica TAT, entretanto, é possível criar associações série-paralelas cujo comportamento DC aproxima-se dos transistores de dimensões diferentes dos unitários. O LIT é capaz de gerar automaticamente o leiaute da matriz SOT e dos TATs, além de células analógicas básicas, como par diferencial e espelho de corrente, respeitando as regras de casamento de transistores. O cálculo dos TATs equivalentes também é realizado pela ferramenta. Ela permite a interação com o usuário no momento da escolha da melhor associação. Uma lista de possíveis associações é fornecida, cabendo ao projetista escolher a melhor. Além disso, foi incluído na ferramenta um ambiente gráfico para posicionamento das células sobre a matriz e um roteador global automático. Com isso, é possível realizar todo o fluxo de projeto de um circuito analógico com TATs dentro do mesmo ambiente, sem a necessidade de migração para outras ferramentas. Foi realizado também um estudo sobre o cálculo do TAT equivalente, sendo que dois métodos foram implementados: aproximação por resistores lineares (válida para transistores unitários de canal longo) e aproximação pelo modelo analítico da corrente de dreno através do modelo BSIM3. Três diferentes critérios para a escolha da melhor associação foram abordados e discutidos: menor diferença de corrente entre o TAT e o transistor simples, menor número de transistores unitários e menor condutância de saída. Como circuito de teste, foi realizado o projeto com TATs de um amplificador operacional de dois estágios (amplificador Miller) e a sua comparação com o mesmo projeto utilizando transistores full-custom. Os resultados demonstram que se pode obter bons resultados usando esta técnica, principalmente em termos de desempenho em freqüência. A contribuição da ferramenta LIT ao projeto de circuitos analógicos reside na redução do tempo de projeto, sendo que as tarefas mais suscetíveis a erro são automatizadas, como a geração do leiaute da matriz e das células e o roteamento global. O ambiente de projeto, totalmente gráfico, permite que mesmo projetistas analógicos menos experientes realizem projetos com rapidez e qualidade. Além disso, a ferramenta também pode ser usada para fins educacionais, já que as facilidades proporcionadas ajudam na compreensão da metodologia de projeto.

Utilizando a Vermont para automação de testes funcionais no SIGI.

Técnicas de testes. Ferramenta para automação de testes. Diretrizes para utilização da Vermont. Configuração da Vermont. Procedimento para criação de um script. Procedimento para execução da Vermont via linha de comando.

Monitoramento da condição da ferramenta de dressagem usando sinais de vibração e modelos neurais

Pós-graduação em Engenharia Elétrica - FEB

Desenvolvimento e execução automática de testes funcionais do SIGI.

Desenvolvimento de testes funcionais: técnicas de teste; casos de teste. Ferramenta para automação de testes: diretrizes para utilização do Vermont; problemas e soluções.

Apoiando a Construcao de Testes de Aceitacao Automatizados a partir da Especificacao de Requisitos

A automação consiste em uma importante atividade do processo de teste e é capaz de reduzir significativamente o tempo e custo do desenvolvimento. Algumas ferramentas tem sido propostas para automatizar a realização de testes de aceitação em aplicações Web. Contudo, grande parte delas apresenta limitações importantes tais como necessidade de valoração manual dos casos de testes, refatoração do código gerado e forte dependência com a estrutura das páginas HTML. Neste trabalho, apresentamos uma linguagem de especificação de teste e uma ferramenta concebidas para minimizar os impactos propiciados por essas limitações. A linguagem proposta dá suporte aos critérios de classes de equivalência e a ferramenta, desenvolvida sob a forma de um plug-in para a plataforma Eclipse, permite a geração de casos de teste através de diferentes estratégias de combinação. Para realizar a avaliação da abordagem, utilizamos um dos módulos do Sistema Unificado de Administração Publica (SUAP) do Instituto Federal do Rio Grande do Norte (IFRN). Participaram da avaliação analistas de sistemas e um técnico de informática que atuam como desenvolvedores do sistema utilizado.

Apoiando a construção de testes de aceitação automatizados a partir da especificação de requisitos

Automation has become increasingly necessary during the software test process due to the high cost and time associated with such activity. Some tools have been proposed to automate the execution of Acceptance Tests in Web applications. However, many of them have important limitations such as the strong dependence on the structure of the HTML pages and the need of manual valuing of the test cases. In this work, we present a language for specifying acceptance test scenarios for Web applications called IFL4TCG and a tool that allows the generation of test cases from these scenarios. The proposed language supports the criterion of Equivalence Classes Partition and the tool allows the generation of test cases that meet different combination strategies (i.e., Each-Choice, Base-Choice and All Combinations). In order to evaluate the effectiveness of the proposed solution, we used the language and the associated tool for designing and executing Acceptance Tests on a module of Sistema Unificado de Administração Pública (SUAP) of Instituto Federal Rio Grande do Norte (IFRN). Four Systems Analysts and one Computer Technician, which work as developers of the that system, participated in the evaluation. Preliminary results showed that IFL4TCG can actually help to detect defects in Web applications

Construção e automação de um mapa de vulnerabilidade de solos ao 137Cs.

O comportamento dos radionuclídeos no solo pode variar de acordo com sua interação com os elementos que compões este solo. O fator de transferência (FT) é o parâmetro que descreve a interação que ocorre entre o solo e as plantas para um determinado radionuclídeo, observando que este solo tem propriedades químicas e físicas que favorecem seu crescimento. Através de ferramentas computacionais e baseado em solos extremos, com o FT conhecidos na literatura e nos parâmetros de solo que interferem no comportamento de 137Cs (como K trocável, capacidade de troca catiônica e pH), este trabalho visa aplicar técnicas de geoprocessamento para a criação de um mapa de vulnerabilidade de solos ao 137Cs e sua automação. Este estudo mostra que o uso de técnicas de geoprocessamento visando o mapeamento da vulnerabilidade ao 137Cs pode ser uma ferramenta importante para o planejamento de ações de emergência em áreas rurais, a identificação de áreas risco à contaminação radioativa, na escolha de ações corretivas adequadas, bem como no suporte a criação de políticas públicas.

Avaliação de fiabilidade de sistemas elétricos e de automação em instalações de frio industrial

Dissertação para a obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Energia/Automação e Eletrónica Industrial

Proposta de ferramenta para validação temporal em barramentos de campo

Sistemas de controle industriais precisam atender a requisitos temporais para garantir seu correto funcionamento, sendo por isto considerados sistemas tempo-real. Quando tais sistemas são distribuídos, tais como redes de sensores, atuadores e controladores interligados por barramentos de campo, a comunicação desempenha um papel importante no comportamento temporal. Este trabalho propõe uma ferramenta para validar o comportamento temporal da comunicação em um protocolo de barramento de campo, o Foundation Fieldbus. A proposta inclui a especificação de requisitos e a visualização da validação. Pretende-se auxiliar a compreensão do comportamento temporal e possibilitar a depuração de sistemas tempo-real distribuídos. O sistema desenvolvido encontra-se operacional e foi validado em diversos estudos de caso, os quais são descritos no presente trabalho.

O desdobramento da função qualidade na prestação de serviços de assistência técnica na automação bancária

A automatização dos serviços bancários no cotidiano das instituições financeiras é fundamental para a captação e manutenção de clientes, bem como para a redução de custos. O cliente, por sua vez, demanda por qualidade, a qual está diretamente relacionada à rapidez e à segurança de suas transações financeiras. O atendimento das necessidades destas instituições e a satisfação dos clientes pode ser obtido através do direcionamento da automatização para o auto-atendimento. Para tanto, é imprescindível a existência de uma estrutura de manutenção eficiente que garanta a total disponibilidade dos equipamentos. Este trabalho apresenta a aplicação do Desdobramento da Função Qualidade – QFD, uma ferramenta de planejamento e desenvolvimento da qualidade, em uma organização que opera no setor de assistência técnica no mercado de automação bancária, com a finalidade de orientar a execução dos serviços para a qualidade, conforme as necessidades e desejos de seus clientes, através de um planejamento integrado da qualidade.

Ferramenta visual para especificação de hiperdocumentos, segundo o método OOHDM

O desenvolvimento de artefatos de software é um processo de engenharia, como todo processo de engenharia, envolve uma série de etapas que devem ser conduzidas através de uma metodologia apropriada. Para que um determinado software alcance seus objetivos, as características conceituais e arquiteturais devem ser bem definidas antes da implementação. Aplicações baseadas em hiperdocumentos possuem uma característica específica que é a definição de seus aspectos navegacionais. A navegação é uma etapa crítica no processo de definição de softwares baseados em hiperdocumentos, pois ela conduz o usuário durante uma sessão de visita ao conteúdo de um site. Uma falha no processo de especificação da navegação causa uma perda de contexto, desorientando o usuário no espaço da aplicação. Existem diversas metodologias para o tratamento das características de navegação de aplicações baseadas em hiperdocumentos. As principais metodologias encontradas na literatura foram estudadas e analisadas neste trabalho. Foi realizada uma análise comparativa entre as metodologias, traçando suas abordagens e etapas. O estudo das abordagens de especificação de hiperdocumentos foi uma etapa preliminar servindo como base de estudo para o objetivo deste trabalho. O foco é a construção de uma ferramenta gráfica de especificação conceitual de hiperdocumentos, segundo uma metodologia de modelagem de software baseado em hiperdocumentos. O método adotado foi o OOHDM (Object-Oriented Hypermedia Design Model), por cercar todas as etapas de um processo de desenvolvimento de aplicações, com uma atenção particular à navegação. A ferramenta implementa uma interface gráfica onde o usuário poderá modelar a aplicação através da criação de modelos. O processo de especificação compreende três modelos: modelagem conceitual, modelagem navegacional e de interface. As características da aplicação são definidas em um processo incremental, que começa na definição conceitual e finaliza nas características de interface. A ferramenta gera um protótipo da aplicação em XML. Para a apresentação das páginas em um navegador Web, utilizou-se XSLT para a conversão das informações no formato XML para HTML. Os modelos criados através das etapas de especificação abstrata da aplicação são exportados em OOHDM-ML. Um estudo de caso foi implementado para validação da ferramenta. Como principal contribuição deste trabalho, pode-se citar a construção de um ambiente gráfico de especificação abstrata de hiperdocumentos e um ambiente de implementação de protótipos e exportação de modelos. Com isso, pretende-se orientar, conduzir e disciplinar o trabalho do usuário durante o processo de especificação de aplicações.

Arquitetura, automação e sustentabilidade

Este trabalho é uma contribuição para o estudo da relação da tecnologia da automação em sistemas prediais e a arquitetura nas últimas décadas do século XX e início do século XXI. Focado no uso dessa tecnologia em edificações comerciais, nos seus diversos aspectos e vertentes, o trabalho procura identificar as facetas positivas dessa relação e possíveis traços de inter-dependência. Além disso, busca analisar o pensamento arquitetônico corrente nesse período e a gênese de conceitos correlatos, como o referente aos chamados “Edifícios Inteligentes” e “Edifícios de Alta Tecnologia”. O texto pretende ser um elemento de conscientização para a prevenção de resultados insatisfatórios e suas conseqüências ambientais, oriundos dessa concepção ideológica que preconiza a tecnologia como força de mudanças. Pretende mostrar que a arquitetura tenta, e deve, recuperar valores como o entorno, o urbano, a consciência social e ecológica; valores esses que estão muito além do simples uso da tecnologia. Assim, o exame das características da tecnologia da automação como ferramenta na busca do desenvolvimento sustentável permite uma nova visão de sua relação com a arquitetura, necessária para justificar sua utilização. Longe de pretender apontar uma solução definitiva e única, pois certamente são muitas, deseja-se mostrar o quão danosa pode ser a relação automação/arquitetura, quando esta última é suprimida por equipamentos de alta tecnologia. Deste modo, pretende-se indicar, senão o rumo exato, ao menos a direção para que edifícios realmente inteligentes possam vir integrar a realidade arquitetônica no cenário nacional.

Balanced scorecard como ferramenta de gestão aplicada a unidade hospitalar privada

In this study the objective is to implant Balanced Scorecard administration for the development of a Strategic Map, for the support of the electric outlet of decisions in the administration of operations of an unit of attendance doctor-hospitalar. The present work presents a case study developed at a private hospital in the State of Rio Grande do Norte. The collection of data was developed after the analysis of the revision of the literature, and he/she had as critical judgement of evaluation used by the following Unit. The work is concluded in the proposition of a strategic map that elevates the return on investment (financial perspective), in the item profitability and growth. In the search of the customer's satisfaction (customer's perspective), that is nothing else than it already exists inside of the Unit in study, just needing to be organized and aligned with the executive picture and the other collaborators. The requirements competitiveness, information, innovation and technology (perspective of the internal processes), they were indispensable to eliminate the re-work, waste and to improve the automation. It is finally, the investment and development of innovation mechanisms, they enlarge important competitive advantage in the processes for creation of value, through the ability, attitude and knowledge (perspective of the learning and growth). As one of the results of this study a strategic map was developed, looked for in Balanced Scorecard, for support in the electric outlet of decisions of the administration of operations of an Unit Doctor- Healthcare

RoboEduc: especificação de um software educacional para ensino da robótica às crianças como uma ferramenta de inclusão digital

Because of social exclusion in Brazil and having as focus the digital inclusion, was started in Federal University of Rio Grande do Norte a project that could talk, at the same time, about concepts of collaborative learning and educational robotics , focused on children digitally excluded. In this context was created a methodology that approaches many subjects as technological elements (e. g. informatics and robotics) and school subjects (e. g. Portuguese, Mathematics, Geography, History), contextualized in everyday situations. We observed educational concepts of collaborative learning and the development of capacities from those students, as group work, logical knowledge and learning ability. This paper proposes an educational software for robotics teaching called RoboEduc, created to be used by children digitally excluded from primary school. Its introduction prioritizes a friendly interface, that makes the concepts of robotics and programming easy and fun to be taught. With this new tool, users without informatics or robotics previous knowledge are able to control a robot, previously set with Lego kits, or even program it to carry some activities out. This paper provides the implementation of the second version of the software. This version presents the control of the robot already used. After were implemented the different levels of programming linked to the many learning levels of the users and their different interfaces and functions. Nowadays, has been implemented the third version, with the improvement of each one of the mentioned stages. In order to validate, prove and test the efficience of the developed methodology to the RoboEduc, were made experiments, through practice of robotics, with children for fourth and fifth grades of primary school at the City School Professor Ascendino de Almeida, in the suburb of Natal (west zone), Rio Grande do Norte. As a preliminary result of the current technology, we verified that the use of robots associated with a well elaborated software can be spread to users that know very little about the subject, without the necessity of previous advanced technology knowledges. Therefore, they showed to be accessible and efficient tools in the process of digital inclusion

WI-BIO: redes de monitoramento de pacientes em ambientes de automação hospitalar utilizando o padrão IEEE 802.11

The monitoring of patients performed in hospitals is usually done either in a manual or semiautomated way, where the members of the healthcare team must constantly visit the patients to ascertain the health condition in which they are. The adoption of this procedure, however, compromises the quality of the monitoring conducted since the shortage of physical and human resources in hospitals tends to overwhelm members of the healthcare team, preventing them from moving to patients with adequate frequency. Given this, many existing works in the literature specify alternatives aimed at improving this monitoring through the use of wireless networks. In these works, the network is only intended for data traffic generated by medical sensors and there is no possibility of it being allocated for the transmission of data from applications present in existing user stations in the hospital. However, in the case of hospital automation environments, this aspect is a negative point, considering that the data generated in such applications can be directly related to the patient monitoring conducted. Thus, this thesis defines Wi-Bio as a communication protocol aimed at the establishment of IEEE 802.11 networks for patient monitoring, capable of enabling the harmonious coexistence among the traffic generated by medical sensors and user stations. The formal specification and verification of Wi-Bio were made through the design and analysis of Petri net models. Its validation was performed through simulations with the Network Simulator 2 (NS2) tool. The simulations of NS2 were designed to portray a real patient monitoring environment corresponding to a floor of the nursing wards sector of the University Hospital Onofre Lopes (HUOL), located at Natal, Rio Grande do Norte. Moreover, in order to verify the feasibility of Wi-Bio in terms of wireless networks standards prevailing in the market, the testing scenario was also simulated under a perspective in which the network elements used the HCCA access mechanism described in the IEEE 802.11e amendment. The results confirmed the validity of the designed Petri nets and showed that Wi-Bio, in addition to presenting a superior performance compared to HCCA on most items analyzed, was also able to promote efficient integration between the data generated by medical sensors and user applications on the same wireless network