Hyper-Automaton: avaliação interativa de alunos em cursos na WEB baseado em autômatos finitos

O objetivo desta dissertação é a elaboração de uma técnica da aplicação do formalismo de Autômatos Finitos com Saída (Máquina de Mealy e Máquina de Moore) como um modelo estrutural para a organização de hiperdocumentos instrucionais, em destacar especial, Avaliação e Exercício. Esse objetivo é motivado pela organização e agilização do processo de avaliação proporcionado ao professor e ao aluno. Existem diferentes técnicas de ensino utilizadas na Internet, algumas dessas continuam sendo projetadas com o uso de metodologias tradicionais de desenvolvimento, outras têm a capacidade de modelar de forma integrada e consistente alguns aspectos necessários para uma aplicação WEB. Para alcançar o objetivo proposto, foram realizadas pesquisas nas várias áreas abrangidas pelo tema em evidência, tanto relativo ao processo tradicional (aplicação de prova utilizando metodologia tradicional), como o desenvolvimento de software mediado por computador e uso da Internet em si. A modelagem de desenvolvimento para Internet deve integrar características de técnicas de projeto de sistemas de hipermídia devido à natureza hipertextual da Internet. O uso de hiperdocumento como autômatos com saída está na forma básica de representação de hipertexto, em que cada fragmento de informação é associado a um nodo ou a um link (estado/transições) do grafo. Sendo assim, os arcos direcionados representam relacionamentos entre os nodos ou links, ou seja, uma passagem do nodo origem para o nodo destino. As n-uplas dos autômatos apresentam uma correspondência as estruturas de hiperdocumentos na WEB, seu estado/transição inicial corresponde a sua primeira página e suas transições definidas na função programa, funcionam como ligações lógicas, quando selecionadas durante a navegação do hipertexto. Entretanto, faz-se necessário um levantamento dos modelos de hipertextos e das ferramentas de implementação disponíveis para a Internet, a fim de que seja capaz de suportar as peculiaridades do ambiente. Tudo isso deve ser integrado preferencialmente em um paradigma de desenvolvimento amplamente aceito, para que os projetistas não tenham muitas dificuldades em assimilar os conceitos propostos. A proposta apresentada nesta dissertação, batizada de Hyper-Automaton (hipertexto e autômato), consiste na integração de um Curso na WEB, utilizando formalismo de Autômatos Finitos com Saída para a modelagem dos conceitos necessários e definição das fases adequadas para completar a especificação de Sistema Exercício e Avaliação, bem como a especificação da Geração Automática dos Exercícios e Avaliações baseadas em autômatos para a WEB. Os modelos criados abrangem conceitos de Máquina de Mealy, Máquina de Moore e Aplicações de Hiperdocumentos e Ferramentas de Programação para Internet, os mesmos já testados em caso real. Os parâmetros apurados, nos testes, serviram a uma seqüência de etapas importantes para modelar e complementar a especificação do sistema projetado. Com os parâmetros e etapas de modelagem, a metodologia Hyper-Automaton consegue integrar, de forma consistente, as vantagens de várias técnicas específicas de modelagem de documentos e sistemas de hipermídia. Essas vantagens, aliadas ao suporte às ferramentas de desenvolvimento para Internet, garantem que a metodologia fique adequada para a modelagem de Sistemas com aplicação de métodos de autômatos para exercícios e avaliação na WEB.

Análise da Máquina de Turing Persistente com múltiplas fitas de trabalho

Nos últimos 70 anos têm sido apresentadas várias propostas para caracteriza ção da noção intuitiva de computabilidade. O modelo de Computação mais conhecido para expressar a noção intuitiva de algoritmo é a Máquina de Turing. Esse trabalho apresenta máquinas abstratas que representam diferentes formas de comportamento computacional, sendo possível abordar a diversidade entre a Teoria da Computação Clássica (Máquina de Turing) e a Teoria da Computa- ção Interativa (Máquina de Turing Persistente). Com a evolução dos sistemas de computação, surgiu a necessidade de estender a de nição de Máquina de Turing para tratar uma diversidade de novas situações, esses problemas conduziram a uma mudança de paradigma. Neste contexto foi desenvolvido a Máquina de Turing Persistente, que é capaz de fundamentar a Teoria da Computação Interativa. Máquinas de Turing Persistentes (PeTM) são modelos que expressam comportamento interativo, esse modelo é uma extensão da Máquina de Turing. O presente trabalho tem como objetivo explorar paralelismo na Máquina de Turing Persistente, através da formalização de uma extensão paralela da PeTM e o estudo dos efeitos sobre essa extensão, variando o número de tas de trabalho. Contribui- ções desse trabalho incluem a de nição de uma máquina de Turing Persistente Paralela para modelar computação interativa e uma exposição de conceitos fundamentais e necessários para o entendimento desse novo paradigma. Os métodos e conceitos apresentados para formalização da computação na Máquina de Turing Persistente Paralela desenvolvidos nessa dissertação, podem servir como base para uma melhor compreensão da Teoria da Computação Interativa e da forma como o paralelismo pode ser especi cado em modelos teóricos.

Revestimento superficial em componente fundido de máquina agrícola

A necessidade de desenvolver o processo de manufatura para aplicação de revestimento superficial em peças fundidas de máquinas agrícolas viabilizou a realização deste trabalho junto à indústria. A análise das principais variáveis do processo produtivo foi considerada levando-se em conta recursos necessários, tais como, ferramental e equipamentos, material de adição (arame de soldagem), inspeção das características macroscópicas e, principalmente, as especificações de engenharia do item. A revisão bibliográfica ressaltou os problemas normalmente existentes quando da soldagem de peças fabricadas de ferro fundido, assim como esclareceu os principais cuidados necessários para obtenção de revestimentos superficiais com qualidade. Para definição e aprovação do processo de soldagem a ser usado, foram realizados testes simulando uma soldagem automatizada, controlando os principais parâmetros de soldagem. A análise da qualidade do cordão de solda, sob o ponto de vista de aparência geral, geometria, presença de descontinuidades (porosidade e inclusões de escória), foi feita através de inspeção visual. Devido a necessidade de estruturar o processo de solda afim de possibilitar fornecimento continuada de peças para a linha de montagem, foi analisado e proposto um conceito de gabarito de soldagem. Os ensaios de micrografia mostraram a penetração e aspectos internos do depósito de solda. O exame micrográfico mostrou também que a trinca transversal que ocorre no material não avança para dentro do metal base. Os resultados dos testes e ensaios proporcionaram os subsídios para permitir a aprovação do método proposto a fim de dar continuidade na estruturação do processo de soldagem para revestimento superficial das peças fundidas.

Aplicação de metodologia ergonômica em uma empresa de transformação de plásticos e termoplásticos : o posto de trabalho de operador de máquina injetora

Resumo não disponível.

Proposta e implementação de uma máquina de workflow para o Projeto CEMT

Este trabalho apresenta um protótipo de uma máquina de workflow, de uso geral, implementado em plataforma de software livre. O protótipo utiliza um servidor web com PHP, em sistema operacional Linux, alguns programas desenvolvidos em C e o banco de dados MySql. O projeto CEMT demanda o uso da tecnologia de workflow, com o objetivo de controlar a execução de cursos a distância. Antes de ser iniciado o desenvolvimento do protótipo, foi feito um estudo sobre algumas máquinas de workflow existentes, com o objetivo de encontrar alguma que tivesse licença livre e pudesse ser utilizada no projeto CEMT, ou colher subsídios para o desenvolvimento de uma máquina de workflow própria. Foram testadas duas máquinas de workflow de licença livre (Openflow e OFBIZ), uma máquina com cópia de demonstração (Reactor) e foram consultadas as documentações fornecidas pelos fabricantes. Além disso foi consultada também a documentação do Domino Workflow, que não disponibilizou cópia de avaliação e cuja licença não é livre. Um dos requisitos do protótipo é a compatibilidade com os padrões de interface recomendados pela WfMC. Esses padrões permitem a interoperabilidade entre softwares de workflow. O primeiro benefício da adoção desses padrões é a interação com o editor gráfico de workflow AW (Amaya Workflow), desenvolvido no Instituto de Informática da UFRGS. Este editor gera definições de processos de workflow no formato da linguagem XPDL (XML Process Definition Language), que alimentam a máquina de workflow. O esquema XPDL foi traduzido para um esquema de banco de dados relacional e foi desenvolvido um compilador que lê um arquivo no formato XPDL e gera comandos SQL de inserção das informações desse arquivo no banco de dados. Foi desenvolvida uma interface web para demonstrar o funcionamento do protótipo. A API definida na Interface 2 da WfMC foi implementada parcialmente. Essa API permite o desenvolvimento independente de outras interfaces de usuário. Foram propostas algumas extensões à Interface 1 e modificações na definição de estados recomendada pela Interface 2 da WfMC. Com isso foi possível aumentar o controle sobre a execução das instâncias de workflow. Foram incluídas as restrições de data e possibilidade de bloqueio na execução de instâncias de atividades. Outras extensões possibilitam um serviço de notificações e atividades em grupo e oferecem novas possibilidades de alocação de atividades. O funcionamento básico do protótipo é descrito e inclui as funcionalidades de carga da definição de processo, instanciação de processo, visualização da lista de trabalho e execução das atividades, entre outras.

Aprendizado de máquina em sistemas complexos multiagentes : estudo de caso em um ambiente sob racionalidade limitada

O presente trabalho investiga a relação entre aprendizado e dinâmica em sistemas complexos multiagentes. Fazemos isso através de estudos experimentais em um cenário de racionalidade limitada que situa-se na interesecção entre Inteligência Artificial, Economia e Física Estatística, conhecido como “Minority Game”. Apresentamos resultados experimentais sobre o jogo focando o estudo do cenário sob uma perspectiva de Aprendizado de Máquina. Introduzimos um novo algoritmo de aprendizado para os agentes no jogo, que chamamos de aprendizado criativo, e mostramos que este algoritmo induz uma distribuição mais eficiente de recursos entre os agentes. Este aumento de eficiência mostra-se resultante de uma busca irrestrita no espaço de estratégias que permitem uma maximização mais eficiente das distâncias entre estratégias. Analisamos então os efeitos dos parâmetros deste algoritmo no desempenho de um agente, comparando os resultados com o algoritmo tradicional de aprendizado e mostramos que o algoritmo proposto é mais eficiente que o tradicional na maioria das situações. Finalmente, investigamos como o tamanho de memória afeta o desempenho de agentes utilizando ambos algoritmos e concluímos que agentes individuais com tamanhos de memória maiores apenas obtém um aumento no desempenho se o sistema se encontrar em uma região ineficiente, enquanto que nas demais fases tais aumentos são irrelevantes - e mesmo danosos - à performance desses agentes.

Hippeastrum vittatum (L'Hér.) Herbert e hippeastrum striatum (Lam.) Moore : análise química e avaliação biológica dos alcalóides isolados

Este trabalho foi realizado com o objetivo de isolar e identificar os alcalóides presentes nas espécies H. vittatum e H. striatum, analisar a atividade antitumoral, inibidora da enzima acetilcolinesterase, antioxidante dos extratos e alcalóides obtidos, realizar ensaio de toxicidade para o alcalóide montanina, bem como observar sua atividade em pesquisa básica do comportamento em roedores e verificar comparativamente a modulação da montanina e da galantamina sobre a via de sinalização das proteínas quinases pRaf/pMEK/pERK/pCREB. Método: Fitoquímico: As partes aéreas e subterrâneas das espécies coletadas foram maceradas em etanol e processadas em extração ácido-base para a obtenção dos extratos diclorometano e n-BuOH. Os alcalóides isolados foram identificados com a utilização de métodos cromatográficos, espectrométricos e espectroscópicos. Testes in vitro: Atividade antitumoral: Os extratos e alcalóides obtidos foram avaliados em método in vitro, onde se aplicaram células tumorais biopsiadas de humanos. Inibição da enzima acetilcolinesterase: Os compostos isolados, montanina (Hv1 e Hv2), vitatina (Hv4), pancracina (Hv5) e Hv6 de H. vittatum e a galantamina foram testados em ensaio de bioautografia por cromatografia em camada delgada (CCD) com 1-naftil acetato. Atividade antioxidante: Os compostos anteriormente citados foram testados pelo método que utiliza o difenilpicrilhidrazol (DPPH) em CCD. Testes in vivo: Toxicidade da montanina (24 horas): A montanina foi administrada com doses de 10 a 100 mg/kg i.p. em camundongos e a toxicidade observada por 24 horas comparando-se aos grupos controle. A dose letal mediana foi calculada com método dos probitos. Avaliação da atividade central da montanina: Foram realizados experimentos com camundongos machos em Campo Aberto (CA), Nado Forçado (NF), Labirinto em Cruz Elevado (LCE), Indução do Sono por Pentobarbital (ISP) e sobre a consolidação da memória em ratos (esquiva inibitória passiva). Análise bioquímica da via das MAPKs: Aplicou-se metodologia in vitro em homogenatos (fatias hipocampais) tratados com os alcalóides montanina ou galantamina. A obtenção dos resultados ocorreu a partir da realização de eletroforese de alta voltagem e “Western Blot”. Resultados e Conclusões: A partir dos extratos de alcalóides totais de H. vittatum foram isoladas cinco substâncias: (a) Hv1 (montanina – 0,007%) isolado do extrato diclorometano de folhas, (b) Hv2 (montanina – 0,09%), (c) Hv3 (licorina 0,003%) e (d) Hv4 (vitatina – 0,0003%), isolados do extrato diclorometano de bulbos. Do extrato n-BuOH dos bulbos foram isolados o alcalóide Hv5 (pancracina – 0,0025%) e o composto Hv6 (0,0034%). Da espécie H. striatum foi isolado o alcalóide licorina (Hs3) e dois compostos não identificados (Hs1 e Hs3). O alcalóide vitatina demonstrou inibir moderadamente o crescimento das células tumorais com os valores de IC50 ≤ 29 g/ml. A montanina apresentou o maior efeito antiproliferativo entre os produtos testados. Os valores de IC50 foram menores que 1,0 g/ml para as linhagens testadas. Os extratos diclorometano e n-BuOH de H. vittatum foram considerados antiproliferativos para as células tumorais humanas empregadas, com valores de absorvância 25% menores que o controle. Para as atividades inibidoras da enzima acetilcolinesterase e antioxidante, somente o composto Hv6 apresentou ação. A dose letal mediana para a montanina em camundongos machos foi calculada em 64 mg/kg i.p. A montanina não alterou a locomoção e a atividade exploratória de camundongos quando administrada pela via intraperitoneal (i.p.) nas doses de 10 e 30 mg/kg (CA). Na avaliação da atividade central da montanina administrada por via i.p., observamos atividade ansiolítica (0,1; 1,0; 3,0 mg/kg – LCE), antidepressiva (3,0 mg/kg - NF) e tendência para atividade hipnótica (ISP). No paradigma de memória de esquiva inibitória passiva, a montanina não alterou significativamente o comportamento dos ratos wistar, na via de administração e nas doses testadas. Na investigação comparativa da modulação da via de sinalização das MAPKs (envolvidas com a memória) em fatias hipocampais tratadas (ratos), concluiu-se que a montanina e a galantamina aumentam a fosforilação (atividade) das proteínas testadas. Os resultados obtidos para a galantamina sugerem um possível mecanismo de ação que explique bioquimicamente uma de suas ações que contribuem para a melhora da memória em ratos na esquiva inibitória.