Using adaptive automata in a multi-paradigm programming environment

In this paper the architecture of an experimental multiparadigmatic programming environment is sketched, showing how its parts combine together with application modules in order to perform the integration of program modules written in different programming languages and paradigms. Adaptive automata are special self-modifying formal state machines used as a design and implementation tool in the representation of complex systems. Adaptive automata have been proven to have the same formal power as Turing Machines. Therefore, at least in theory, arbitrarily complex systems may be modeled with adaptive automata. The present work briefly introduces such formal tool and presents case studies showing how to use them in two very different situations: the first one, in the name management module of a multi-paradigmatic and multi-language programming environment, and the second one, in an application program implementing an adaptive automaton that accepts a context-sensitive language.

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.

Smartphones e profissionais: amigos e inimigos

A utilização de artefatos de Tecnologias da Informação Móveis e Sem Fio (TIMS) traz consigo alguns paradoxos tecnológicos associados, já identificados na literatura. O aumento do uso de TIMS e suas evoluções acabam por permitir novos tipos de uso e interação junto aos usuários. Tendo como base teorias sobre a existência de paradoxos associados ao uso de equipamentos tecnológicos, mormente TIMS, este estudo buscou aprofundar a relação entre smartphones e profissionais. A partir da coleta de dados por meio de questionário estruturado, esta pesquisa utilizou a análise quantitativa e teve como objetivo determinar a presença e medir a intensidade dos paradoxos tecnológicos, identificados na literatura, quando do uso profissional de smartphones. Outro ponto observado no presente trabalho foi a associação estatística entre esses paradoxos tecnológicos e, ainda, a identificação de fatores que poderiam impactar a percepção desses paradoxos associados ao uso do smartphone pelos profissionais que os utilizam. A análise dos dados permitiu verificar quais dos quatorze paradoxos tecnológicos apresentados por Mick e Fournier (1998), Jarvenpaa e Lang (2005) e Mazmanian et al. (2006) foram percebidos por mais respondentes, com destaque para o paradoxo de autonomia e vício, que foi vivenciado por mais de 85% daqueles que responderam à pesquisa. Usando como base o percentual de respondentes que percebem os paradoxos tecnológicos e considerando suas intensidades, esta dissertação também apresenta um ranking das forças dos paradoxos, determinado pela taxa relativa da força dos paradoxos. Esse ranking traz nas primeiras posições as seguintes ambiguidades: autonomia / vício, engajamento / desengajamento e liberdade / escravidão, respectivamente. Outro apontamento dessa pesquisa foi que nenhum dos paradoxos analisados é estatisticamente independente. Por fim, a realização de uma regressão logística ordinal levou à conclusão que apenas dois dos paradoxos em questão sofrem impacto das variáveis independentes observadas.

Plataforma Robótica de Baixíssimo Custo para Robótica Educacional

Robots are present each time more on several areas of our society, however they are still considered expensive equipments that are restricted to few people. This work con- sists on the development of control techniques and architectures that make possible the construction and programming of low cost robots with low programming and building complexity. One key aspect of the proposed architecture is the use of audio interfaces to control actuators and read sensors, thus allowing the usage of any device that can produce sounds as a control unit of a robot. The work also includes the development of web ba- sed programming environments that allow the usage of computers or mobile phones as control units of the robot, which can be remotely programmed and controlled. The work also includes possible applications of such low cost robotic platform, including mainly its educational usage, which was experimentally validated by teachers and students of seve- ral graduation courses. We also present an analysis of data obtained from interviews done with the students before and after the use of our platform, which confirms its acceptance as a teaching support tool

Trendtv : uma arquitetura para mudança automática de canais de TV baseada em redes sociais virtuais com graus de amizade e suporte a múltiplos dispositivos no cenário da TV digital brasileira

Due to the large amount of television content, which emerged from the Digital TV, viewers are facing a new challenge, how to find interesting content intuitively and efficiently. The Personalized Electronic Programming Guides (pEPG) arise as an answer to this complex challenge. We propose TrendTV a layered architecture that allows the formation of social networks among viewers of Interactive Digital TV based on online microblogging. Associated with a pEPG, this social network allows the viewer to perform content filtering on a particular subject from the indications made by other viewers of his network. Allowing the viewer to create his own indications for a particular content when it is displayed, or to analyze the importance of a particular program online, based on these indications. This allows any user to perform filtering on content and generate or exchange information with other users in a flexible and transparent way, using several different devices (TVs, Smartphones, Tablets or PCs). Moreover, this architecture defines a mechanism to perform the automatic exchange of channels based on the best program that is showing at the moment, suggesting new components to be added to the middleware of the Brazilian Digital TV System (Ginga). The result is a constructed and dynamic database containing the classification of several TV programs as well as an application to automatically switch to the best channel of the moment

Three-Dimensional Semiautomatic Road Extraction From a High-Resolution Aerial Image by Dynamic-Programming Optimization in the Object Space

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Binary integer programming formulations for scheduling in market-driven foundries

This paper describes the development and solution of binary integer formulations for production scheduling problems in market-driven foundries. This industrial sector is comprised of small and mid-sized companies with little or no automation, working with diversified production, involving several different metal alloy specifications in small tailor-made product lots. The characteristics and constraints involved in a typical production environment at these industries challenge the formulation of mathematical programming models that can be computationally solved when considering real applications. However, despite the interest on the part of these industries in counting on effective methods for production scheduling, there are few studies available on the subject. The computational tests prove the robustness and feasibility of proposed models in situations analogous to those found in production scheduling at the analyzed industrial sector. (C) 2010 Elsevier Ltd. All rights reserved.

Allocation of protective devices in distribution circuits using nonlinear programming models and genetic algorithms

The optimized allocation of protective devices in strategic points of the circuit improves the quality of the energy supply and the system reliability index. This paper presents a nonlinear integer programming (NLIP) model with binary variables, to deal with the problem of protective device allocation in the main feeder and all branches of an overhead distribution circuit, to improve the reliability index and to provide customers with service of high quality and reliability. The constraints considered in the problem take into account technical and economical limitations, such as coordination problems of serial protective devices, available equipment, the importance of the feeder and the circuit topology. The use of genetic algorithms (GAs) is proposed to solve this problem, using a binary representation that does (1) or does not (0) show allocation of protective devices (reclosers, sectionalizers and fuses) in predefined points of the circuit. Results are presented for a real circuit (134 busses), with the possibility of protective device allocation in 29 points. Also the ability of the algorithm in finding good solutions while improving significantly the indicators of reliability is shown. (C) 2003 Elsevier B.V. All rights reserved.

Interior point algorithm for linear programming used in transmission network synthesis

This article presents a well-known interior point method (IPM) used to solve problems of linear programming that appear as sub-problems in the solution of the long-term transmission network expansion planning problem. The linear programming problem appears when the transportation model is used, and when there is the intention to solve the planning problem using a constructive heuristic algorithm (CHA), ora branch-and-bound algorithm. This paper shows the application of the IPM in a CHA. A good performance of the IPM was obtained, and then it can be used as tool inside algorithm, used to solve the planning problem. Illustrative tests are shown, using electrical systems known in the specialized literature. (C) 2005 Elsevier B.V. All rights reserved.

Avaliação do Uso de Smartphones na Interação com as Aplicações da Televisão Digital Brasileira

Brazil is going through the process from analogical transmission to digital transmission. This new technology, in addition to providing a high quality audio and video, also allows applications to execute on television. Equipment called Set-Top Box are needed to allow the reception of this new signal and create the appropriate environment necessary to execute applications. At first, the only way to interact with these applications is given by remote control. However, the remote control has serious usability problems when used to interact with some types of applications. This research suggests a software resources implementation capable to create a environment that allows a smartphone to interact with applications. Besides this implementation, is performed a comparative study between use remote controle and smartphones to interact with applications of digital television, taking into account parameters related to usability. After analysis of data collected by the comparative study is possible to identify which device provides an interactive experience more interesting for users

Determination of the optimal quantity of crop residues for energy in sugarcane crop management using linear programming in variety selection and planting strategy

The aim of this work was to present organizational models for optimizing the reduction of crop residue generated by the sugarcane culture. The first model consisted of the selection of varieties of sugarcane to be planted meeting the mill requirements and, at the same time, to minimize the quantity of residue produced. The second model discussed the use of residue to produce energy. This is related to the selection of variety and quantity to be planted, in order to meet the requirements of the mill, to reduce the quantity of residue, and to maximize as much as possible the energy production. The use of linear programming was proposed. The two models presented similar results in this study, and both may be used to define the varieties and areas to be cultivated. (C) 2001 Published by Elsevier B.V. Ltd.

Multiobjective 0-1 integer programming for the use of sugarcane residual biomass in energy cogeneration

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Heterogeneity correction in the construction of optimized planning in radiotherapy using linear programming

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)