Checking Completeness of Tests for Finite State Machines

In testing from a Finite State Machine (FSM), the generation of test suites which guarantee full fault detection, known as complete test suites, has been a long-standing research topic. In this paper, we present conditions that are sufficient for a test suite to be complete. We demonstrate that the existing conditions are special cases of the proposed ones. An algorithm that checks whether a given test suite is complete is given. The experimental results show that the algorithm can be used for relatively large FSMs and test suites.

Road and Traffic Signs Recognition using Vector Machines

Intelligent Transportation System (ITS) is a system that builds a safe, effective and integrated transportation environment based on advanced technologies. Road signs detection and recognition is an important part of ITS, which offer ways to collect the real time traffic data for processing at a central facility.This project is to implement a road sign recognition model based on AI and image analysis technologies, which applies a machine learning method, Support Vector Machines, to recognize road signs. We focus on recognizing seven categories of road sign shapes and five categories of speed limit signs. Two kinds of features, binary image and Zernike moments, are used for representing the data to the SVM for training and test. We compared and analyzed the performances of SVM recognition model using different features and different kernels. Moreover, the performances using different recognition models, SVM and Fuzzy ARTMAP, are observed.

Executivos, gênero e smartphones: uma exploração quanto aos paradoxos tecnológicos e às copying strategies

Argumentando-se que as Tecnologias da Informação Móveis e Sem Fio (TIMS) vêm ocupando um espaço, cada vez maior, na vida dos indivíduos, e que, em função desta proximidade, novas formas de interação aparecem, este trabalho procurou aprofundar a relação entre Smartphones e Gênero. Fundamentado em abordagens teóricas relativas à existência de paradoxos associados ao uso de artefatos tecnológicos e às copying strategies adotadas pelos usuários, este estudo procurou identificar a existência e a intensidade de paradoxos associados ao uso diário de smartphones por executivos brasileiros, de ambos os sexos. O trabalho também procurou avaliar a forma como os executivos lidam com as possíveis ambiguidades vivenciadas em seus dia-a-dia. O método de estudo de caso múltiplo, cujos executivos eram as unidades de análise, foi aplicado junto a executivos mulheres e homens, usuários constantes da tecnologia smartphone e ocupantes de cargos de médio e alto escalão em grandes empresas brasileiras. A partir de um método de coleta misto – questionários, diários de uso e entrevistas em profundidade –, o trabalho teve o objetivo de aprofundar e refinar os estudos sobre paradoxos tecnológicos, bem como iniciar análises quanto à relação do gênero e esses mesmos paradoxos. Após a consolidação e análise dos dados obtidos, verificou-se que apenas parte dos 14 paradoxos tecnológicos apresentados por Mick e Fournier (1998), Jarvenppa e Lang (2005) e Mazmanin et al. (2006) foram associados à interação entre executivos e smartphones. Dos 6 paradoxos identificados, 2 foram exclusivamente relacionados às mulheres, sugerindo que as executivas percebem e vivenciam os paradoxos com mais intensidade do que seus pares masculinos. Os dados também revelaram que diantes das ambiguidades, os executivos mulheres e homens procuram adotar estratégias de enfrentamento, tentando desenvolver um relacionamento positivo e de parceria com seus artefatos. Ao final, as conclusões e implicações deste estudo são detalhadamente apresentadas.

Vibration Attenuation in Rotating Machines Using Smart Spring Mechanism

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

Automatic Classification of Three-Phase Flow Patterns of Heavy Oil in a Horizontal Pipe Using Support Vector Machines

The pipe flow of a viscous-oil-gas-water mixture such as that involved in heavy oil production is a rather complex thereto-fluid dynamical problem. Considering the complexity of three-phase flow, it is of fundamental importance the introduction of a flow pattern classification tool to obtain useful information about the flow structure. Flow patterns are important because they indicate the degree of mixing during flow and the spatial distribution of phases. In particular, the pressure drop and temperature evolution along the pipe is highly dependent on the spatial configuration of the phases. In this work we investigate the three-phase water-assisted flow patterns, i.e. those configurations where water is injected in order to reduce friction caused by the viscous oil. Phase flow rates and pressure drop data from previous laboratory experiments in a horizontal pipe are used for flow pattern identification by means of the 'support vector machine' technique (SVM).