Investigação de técnicas de visualização para representação de autômatos finitos com saída

Atualmente, a World Wide Web (WWW) já se estabeleceu como um dos meios de divulgação mais difundidos. Sendo um meio de publicação de custo relativamente baixo, muitas iniciativas foram desenvolvidas no sentido de estendê-la e transformá-la também numa ferramenta de apoio. Assim, uma série de pesquisas foi realizada no sentido de promover e facilitar o gerenciamento das informações da WWW, que são estruturadas, em sua maioria, como conjuntos de documentos inter-relacionados. Grafos são estruturas utilizadas para a representação de objetos e seus múltiplos relacionamentos. Nesse sentido, pode-se afirmar que hiperdocumentos podem ser modelados através de grafos, onde uma página representa um nodo e um link para outra página é representado por uma aresta. Considerando estas características, e dada a crescente complexidade dos materiais publicados na WWW, desenvolveu-se, ao longo da última década, o uso de técnicas e recursos de Visualização de Grafos com larga aplicação na visualização da estrutura e da navegação na WWW. Técnicas de visualização de grafos são aplicáveis especificamente para representar visualmente estruturas que possam ser modeladas por meio de objetos relacionados, sendo investigadas técnicas para a abstração de modo a facilitar tanto o processo de compreensão do contexto da informação, quanto a apreensão dos dados relacionados. Este trabalho tem como objetivo a investigação de técnicas de Visualização de Grafos aplicadas a autômatos finitos com saída. Este direcionamento se deve ao fato de alguns autores utilizar a abordagem de autômatos finitos com saída para as estruturas de hiperdocumentos. Se for considerado que um documento da WWW (ou o estado de um autômato) é composto por fragmentos de informação (ou saídas) tais como trechos de texto, imagens, animações, etc e que este documento é relacionado a outros por meio de links (ou transições), tem-se a verificação de sua representatividade por meio destas estruturas. Em trabalho anterior, no âmbito do PPGC da UFRGS, a ferramenta Hyper-Automaton foi desenvolvida com o objetivo de estender o uso da Internet no sentido de prover uma ferramenta de apoio à publicação de materiais instrucionais. Por adotar a notação de autômatos finitos com saída, possibilita, além da criação e gerenciamento de hiperdocumentos, a reutilização de fragmentos de informação sem que haja qualquer interferência de um autômato que utilize este fragmento sobre outro. O Hyper-Automaton foi selecionado como caso de estudo motivador deste trabalho. As técnicas aqui desenvolvidas têm como intuito diminuir a complexidade visual da informação, assim como permitir a navegação através dos autômatos finitos com saída de forma que seja possível visualizar detalhes como as saídas e informações relacionadas a cada uma delas, mantendo a visualização do contexto da informação. Foram analisadas técnicas de agrupamento como forma de redução da complexidade visual, e técnicas do tipo foco+contexto, como alternativa para prover a visualização simultânea do contexto e dos detalhes da informação.

Astrha : um ambiente gráfico, dinâmico e interativo para internet baseado em hiper-animações e na teoria dos autômatos

Esta pesquisa, batizada Astrha (Automata Structured Hyper-Animation), tem suas raízes no projeto “Hyper Seed - Framework, Ferramentas e Métodos para Sistemas Hipermídia voltados para EAD via WWW” que possui, entre seus objetivos e metas: (a) o desenvolvimento de uma fundamentação matemática para a unificação, de maneira coerente e matematicamente rigorosa, de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos; (b) a construção e validação de um protótipo de sistema com suporte à criação de conteúdo multimídia e hipermídia com ênfase em educação assistida por computador; (c) a definição e aplicação de estudos de caso. Atender às demandas acadêmicas e construtoras supra citadas, no que se refere à unificação de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos, em nível conceitual, é o objetivo principal do Astrha. Mais especificamente, unificar conceitos das especificações Hyper-Automaton; Hyper- Automaton: Avaliações Interativas; eXtensible Hyper-Automaton (XHA) e Animação Bidimensional para World Wide Web (AGA). Para resolvê-las, propõe uma solução em cinco fases. A primeira constitui-se numa investigação conceitual sobre unificação de ambientes hipermídia com animações por computador, da qual conclui-se que as hiperanimações são uma resposta adequada ao contexto. Em seguida, um autômato finito não-determinístico, reflexivo, com saídas associadas às transições, denominado Astrha/M, é especializado para modelar, formalmente, estruturas hiper-animadas. Na terceira fase, uma linguagem de quarta geração denominada Astrha/L é proposta com a finalidade de proporcionar semântica à ambientes hiper-animados. Construída a partir da metalinguagem XML, é composta de quatro dialetos: (1) Mealy, que traduz o modelo Astrha/M; (2) Environment, que oferece opções de configuração e documentação; (3) Hyper, linguagem hipermídia, de sintaxe simples, que oferece hiperligações estendidas; (4) Style, especificação de estilos em cascata e de caracteres especiais. A quarta fase é a modelagem e construção do protótipo, denominado Astrha/E, através das linguagens UML e Java, respectivamente, com uso de tecnologias de software livre, resultando em um applet interativo, dinâmico, multimídia, que oferece características e propriedades de uma hiper-animação, traduzindo não-determinismos em escolhas pseudo-aleatórias e reflexividades em inoperabilidades aparentes. Por fim, a quinta fase trata de estudos de caso aplicados em educação a distância, em diversas áreas, de onde se conclui sua validade como conceito, modelo e ferramenta para programas educacionais que utilizam a Internet como meio de auxílio ao aprendizado.

Ambiente computacional paradesenvolvimento de aplicações de controladores lógicos programáveis baseado em linguagens SFC e ST

This work proposes an environment for programming programmable logic controllers applied to oil wells with BCP type method of artificially lifting. The environment will have an editor based in the diagram of sequential functions for programming of PLCs. This language was chosen due to the fact of being high-level and accepted by the international standard IEC 61131-3. The use of these control programs in real PLC will be possible with the use of an intermediate level of language based on XML specification PLCopen T6 XML. For the testing and validation of the control programs, an area should be available for viewing variables obtained through communication with a real PLC. Thus, the main contribution of this work is to develop a computational environment that allows: modeling, testing and validating the controls represented in SFC and applied in oil wells with BCP type method of artificially lifting

Evolução da paisagem do baixo curso do rio de Piranhas-Assu (1988-2024): uso de autômatos celulares em modelo dinâmico espacial para simulação de cenários futuros

The lower course of Piranhas-Assu river, located in the north coast of Rio Grande do Norte, Brazil, arouses a keen interest as a study field, once it concentrates, besides petroleum and gas exploration, activities related to shrimp culture, salt and horticulture, factors that also deserve special attention. Thus, the awareness of the study field environmental stage demands studies from researchers and discernment from society, as a way of understanding the inter-relation between environment and men. Therefore, this work attempts at understanding and studying the dynamics of land use in the lower course of Piranhas-Assu river, through a multitemporal analysis of present and past, accomplishing future projections through simulation models. The work is divided in stages that include the research, analysis, interpretation of results, and the generation of simulation models, to analyze the landscape tendencies, making possible to identify indicators which cause such changes in the lower course of the river. From Geographical Database, the necessary exploratory analyses were accomplished to the following items: land use evolution, natural and environmental vulnerability, multiple geodiversity indexes, and preparation of the data to be used in the simulation model. Later, the construction of the landscape simulation model was conducted. Sequentially, simulations of future sceneries were accomplished through the execution of the model in a specific software environment. Last, the analyses of landscape tendencies in the study field were carried out. The lower course of Piranhas-Assu River didn't show any intense dynamics in landscape changing, once in the period taken into account (from 1988 to 2004) class stability proved to be superior to its transformations. Activities related to agriculture and livestock are the ones that influence, mostly, the landscape dynamics. The production of sea shrimp and petroleum also infers in the landscape, although in smaller proportion. INCRA s public policies excessively determined the dynamics of the landscape in the lower course of Piranhas-Assu River, RN. In respect to its natural vulnerability, the lower course of Piranhas-Assu River, RN, features more vulnerable than stable areas. The landscape simulation, in the first taken period (2004-2009), indicated considerable increases and decreases of antropic activities, if compared to its sequent periods (2009-2014, 2014-2019 and 2019-2024). The simulation, in a wider analysis, showed that the determining factors for the space mobility of antropic activities, in the focused area, are related to the pre-existence of communities with agricultural capability and to the existence of access routes and drainage. Considering the area that features fixed and mobile dunes, located in Porto do Mangue district, we recommend its conversion into a conservation area

Detecção de faltas em sistemas de distribuição de energia elétrica usando dispositivos programáveis

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

Aplicando lógica fuzzy no controle de robôs móveis usando dispositivos lógicos programáveis e a linguagem VHDL

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

Modelagem dinâmica espacial aplicada na avaliação das mudanças da cobertura da terra no entorno de dutos utilizando autômatos celulares: estudo de caso duto ORBEL

Pós-graduação em Geociências e Meio Ambiente - IGCE

Aspectos ergonômicos e de segurança no uso dos autômatos: estudo de caso nas regiões sul fluminense e vale do Paraíba

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

Modelagem matemática para a dispersão de fungos fitopatogênicos via autômatos celulares

Brazil is a major world producer and exporter of agricultural products like soybeans, sugar, coffee, orange and tobacoo. However, the action of phytopathogenic fungi has been one of the largest challenges encountered in the field as they are responsible for approximately 25 to 50 per cent of losses in crops of fruits and vegetables. The presence of these pathogens is always a problem, because the damage on the tissues and organs promote lesions which decreses growth vegetation and often leads the individual (host) to death. Therefore, it is crucial to understand the process of spreading of these pathogens in the field to develop strategies which prevent the epidemics caused by them. In this study, the dispersal of fungi phytopathogenic in the field was modeled using the automata cellular formalism. The growth rate of infected plants population was measured by the radius of gyration and the influence of host different susceptibility degrees into the disease spread was assessed. The spatial anisotropy related to the plant-to-plant space and the system’s response to distinct seasonal patterns were also evaluated. The results obtained by a mean field model (spatially implicit models) emphasized the importance of the spatial structure on the spreading process, and dispersal patterns obtained by simulation (using a cellular automata) were in agreement with thse observed in data. All computational implementation was held in language Cl

Estudo da dispersão pós-alimentar em larvas de moscas-varejeiras via autômatos celulares

In this paper, a computational analysis, using a cellular automata model, has been developed to analyze post-feeding dispersal behavior of blow y larvae. This model aimed to: simulate the exponential decline of pupal number in relation to the feed source and spatial oscillation due to larval interaction during dispersal; study whether the prior pupal presence in uences distribution patterns of larval frequency; and compare obtained unidirectional dispersal patterns to the cross-dimensional ones. The cellular automata (CA) model was able to successfully reproduce the essential features of the larval dispersal process and, thus, show the importance of local interaction in the studied dispersal process dynamics. Oscillations could be explained by the interaction among dispersing larvae and intrinsic pupation time. The box size and the initial larval density were important factors for the experiment because they in uenced the results. Results showed that the unidirectional dispersal could be used to simulate the larval dispersion that occurs in the natural environment, because both models had a similar result. These results are important to understand how di erent factors can in uence the dynamics of blow y larval dispersal, bringing important results for behavioral ecology and forensic entomology

Fractais de Rauzy, autômatos e frações contínuas

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

Ambiente computacional paradesenvolvimento de aplicações de controladores lógicos programáveis baseado em linguagens SFC e ST

This work proposes an environment for programming programmable logic controllers applied to oil wells with BCP type method of artificially lifting. The environment will have an editor based in the diagram of sequential functions for programming of PLCs. This language was chosen due to the fact of being high-level and accepted by the international standard IEC 61131-3. The use of these control programs in real PLC will be possible with the use of an intermediate level of language based on XML specification PLCopen T6 XML. For the testing and validation of the control programs, an area should be available for viewing variables obtained through communication with a real PLC. Thus, the main contribution of this work is to develop a computational environment that allows: modeling, testing and validating the controls represented in SFC and applied in oil wells with BCP type method of artificially lifting

A investigação da construção de modelos no estudo de um tópico de física utilizando um ambiente de modelagem computacional qualitativo

A integração de tecnologias de informação e comunicação no contexto educacional tem sido tema de diversos congressos e simpósios ao redor do mundo e no Brasil. Neste sentido, vários estudos têm sido realizados com o objetivo de se obter metodologias que tornem efetivo o emprego das novas tecnologias no ensino. Este artigo mostra um estudo que investigou a interação entre estudantes universitários da área de ciências exatas e um ambiente de modelagem computacional qualitativo em atividades de modelagem expressiva. Os resultados obtidos mostram que os estudantes foram capazes de criar e modificar o modelo do sistema proposto a partir de suas próprias concepções.

Processo de adaptação de próteses auditivas em usuários atendidos em uma instituição pública federal - parte I: resultados e implicações com o uso da amplificação

A adaptação de próteses auditivas abrange vários aspectos a serem analisados, desde o fornecimento da mesma até os resultados da protetização, o que possibilitaria uma melhoria do planejamento das ações em Atenção à Saúde Auditiva. OBJETIVOS: Verificar as dificuldades relacionadas ao uso e manuseio de pilhas e moldes auriculares e as características da amplificação, e discutir os aspectos envolvidos no processo de adaptação das próteses auditivas, orientação e acompanhamento deste grupo de estudo. MATERIAL E MÉTODO: 31 indivíduos, de 12 a 77 anos de idade, portadores de perdas auditivas bilaterais simétricas, neurossensoriais ou mistas, de graus moderado a moderadamente severo e usuários de próteses digitais ou analógicas programáveis. Foi realizada uma entrevista com tópicos relacionados ao uso e manuseio das pilhas, moldes e próteses auditivas, assim como sobre as características da amplificação. RESULTADOS: Dos indivíduos entrevistados 12,90%, 58,06% e 67,74% apresentaram dificuldades relacionadas às pilhas, aos moldes ou cápsulas auriculares, e às características da amplificação, respectivamente. CONCLUSÃO: A maioria dos usuários apresentou algum tipo de queixa relacionado ao funcionamento das próteses auditivas e os resultados da intervenção estão diretamente relacionados às expectativas, necessidades de comunicação e preocupações financeiras do usuário e ao suporte fornecido por sua rede municipal de saúde.

Projecto dum laboratório remoto para automação de processos industriais

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica