Search

From the Medusa myth to the discussions proposed by Sigmund Freud in “Das Unheimliche” (1919), this work seeks to highlight the unheimlich in the anxiety linked to the figure of the automata. Thus, it calls attention to a topic little explored or even ignored by literary criticism, especially one that focuses on the theme of the double in the modern novel, to show the complex network of desires and frustrations that will connect the double and the automata in various modern works, in a single, deadly and disturbinglyunfamiliar nucleus. Partindo do mito de Medusa às discussões propostas por Sigmund Freud em “Das unheimliche”, este trabalho procura destacar a unheimlich na angústia ligada à figura da autômata. Assim, ele desperta a atenção para um tema pouco trabalhado ou mesmo ignorado pela crítica literária, especialmente aquela que se debruça sobre o tema do duplo no romance moderno, ao exibir a complexa rede de desejos e frustrações que ligará o duplo à autômata, em diversas obras modernas, num núcleo único, mortal e inquietantemente infamiliar. &nbsp

Submitted by Wagner Junior (wagner.junior@unioeste.br) on 2020-09-14T14:31:19Z No. of bitstreams: 2 Angel_Ambrocio_Quispe_2020.pdf: 2819225 bytes, checksum: 1a69b6d1bf6d28ee81fb0160ff14acad (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Made available in DSpace on 2020-09-14T14:31:19Z (GMT). No. of bitstreams: 2 Angel_Ambrocio_Quispe_2020.pdf: 2819225 bytes, checksum: 1a69b6d1bf6d28ee81fb0160ff14acad (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2020-02-28 Nowadays, process industries are looking for efficiency and cost reduction to improve market competitiveness. Therefore, automation technology plays a fundamental role in the industry through the coordination of subsystems, so that individual operations and the overall functioning of the system are guaranteed, but also by the possibility of having greater control over the production process, and product quality. Hydrogen Power Plants (PPH) are infrastructures that need these automation technologies, in order to optimize the performance of the production process. The present work proposes the application of an approach for the implementation of a logical control of the subsystems and another approach for the sequential control of the operation of the PPH installed at the Technologic Park Itaipu (PTI). The first one is based on the application of the Supervisory Control Theory (TCS), to provide an automatic synthesis process for minimally restricted controllers. For the modeling, regular language was used in the form of deterministic automata of finite states, which were applied to model the free behavior and the specifications of logical control of the plant subsystems. Also, it was discussed the architecture for implementing TCS in Programmable Logic Controllers (PLCs) and the methodology for implementing a control project. The second approach is based on the development of a flowchart where the sequence of states of operation of the hydrogen production cycle was modeled. To verify these two approaches, a laboratory benchtop that represents PTI's hydrogen plant was built and the codes of both approaches were implemented in PLC's. The results obtained demonstrate the systematization, flexibility and efficiency to carry out the design of system control of a hydrogen plant, in addition to allowing the structuring and verification of these in a laboratory benchtop. Nos tempos atuais, sistemas na indústria de processos buscam eficiência e redução de custos para melhorar a competitividade do mercado. Diante disso, a tecnologia de automação exerce um papel fundamental na indústria por meio da coordenação dos subsistemas, a fim de que as operações individuais e o funcionamento global do sistema sejam garantidos, mas também pela possibilidade de ter um maior controle sobre o processo da produção e qualidade do produto. Plantas de Produção de Hidrogênio (PPH) são infraestruturas que necessitam destas tecnologias de automação, com o objetivo de otimizar o desempenho de seu processo de produção. O presente trabalho propõe a aplicação de duas abordagens: uma para a implementação do controle lógico dos subsistemas e outra abordagem para o controle sequencial da operação da PPH do Parque Tecnológico Itaipu (PTI). A primeira abordagem baseia-se na aplicação da Teoria de Controle Supervisório (TCS), para propiciar um processo automático de síntese de controladores minimamente restritivos. Para a modelagem utilizou-se linguagem regular em forma de autômatos deterministas de estados finitos, que foram aplicados para modelar o comportamento livre e as especificações de controle lógico dos subsistemas da planta. Foi discutida também a arquitetura da implementação da TCS em Controladores Lógicos Programáveis (CLP’s) e a metodologia de implementação de um projeto de controle. A segunda baseia-se no desenvolvimento de um fluxograma onde foi modelada a sequência de estados da operação do ciclo de produção de hidrogênio. Para a comprovação destas duas abordagens foi construída uma bancada laboratorial que representa planta de hidrogênio do PTI e os códigos das duas abordagens de controle foram implementados em CLP’s. Os resultados obtidos demostram a sistematização, flexibilidade e eficiência para realização do projeto do sistema de controle de uma planta de hidrogênio, além de permitir a estruturação e comprovação destas em uma bancada laboratorial.

O artigo propõe-se a pensar algo do pathos da Modernidade – a paixão pelo autômato –, à luz do conceito nietzschiano Morte de Deus. Nesse sentido, toma como matéria de análise dois clássicos do cinema de ficção científica: 2001: uma odisseia no espaço, de Stanley Kubrick, e Blade runner, de Ridley Scott. Se a paixão pelo autômato consiste em uma forma do sujeito moderno denegar a finitude, nos filmes em debate tal condição é elaborada de um modo muito singular. 2001 e Blade runner oferecem ao espectador a possibilidade de resistir à assunção dessa inclinação da subjetividade moderna. Em 2001, o autômato é demasiado humano e uma narrativa trágica promove outro modo de enfrentar a finitude. Em Blade runner, o autômato é o portador das angústias fundamentais do sujeito moderno – origem e finitude – e a identificação a ele permite ao espectador ir além do homem. The article proposes to address an issue from Modernity pathos – the passion for the automaton –, in the light of Nietzschian Death of God concept. In this sense, it analyses two science fiction classic movies: 2001: a space odyssey, by Stanley Kubrick, and Blade runner, by Ridley Scott. If passion for the automaton consists in a form of the modern subject to deny finitude, in the films here discussed such condition is elaborated in a very peculiar way. 2001 and Blade runner offer the spectator the possibility of resisting the assumption of such tendency of modern subjectivity. In 2001, the automaton is too human and a tragic narrative promotes another way of tackling finitude. In Blade runner, the automaton is the bearer of fundamental anguishes of the modern subject – origin and finitude – and by identifying with him the viewer is allowed to go beyond man. El artículo se propone a pensar algo respecto al pathos de la Modernidad – la pasión por lo autómata – bajo el concepto de Nietzsche Muerte de Dios. En este sentido, el análisis toma como materia dos clásicos del cine de ciencia ficción: 2001: una odisea del espacio, de Stanley Kubrick, y Blade runner, de Ridley Scott. Si la pasión por lo autómata consiste en una forma del sujeto moderno denegar la finitud, en esas películas tal condición es elaborada de una manera muy singular. 2001 y Blade runner ofrecen al espectador la posibilidad de resistir a la asunción de tal inclinación de la subjetividad moderna. En 2001, el autómata es demasiado humano y una narrativa trágica promueve otro modo de enfrentar la finitud. En Blade runner, el autómata es el portador de las angustias fundamentales del sujeto moderno – de origen y finitud – y la identificación a él le permite al espectador ir más allá del hombre.

Among all types of cancer, lung cancer (LC) is one of the most common of all malignancies, presenting a growth of 2% in its worldwide expansion. In Brazil, for the year 2018, 31,270 new LC cases are estimated, of which 18,740 are in men and 12,530 in women. This is important to prevent the diagnosis and increase the chances of cure. In such diseases, the Computed Tomography (CT) scan of the Thorax contains information from the 3D segmentation of the lungs helping its early diagnosis. Different methods have been developed for the 3D lung segmentation, however, they mostly present problems when there are diseases such as LC or other structures present inside the lungs. In this thesis, a new 3D algorithm is proposed, which uses a force composition in the RGB space and then initializes the labels and seeds that evolve interactively until they stabilize. In addition, a new 3D automatic initialization method for lung segmentation in CT images is also proposed. The tests were performed for 3D segmentation in synthetic images (cylinder, doublecone, cube and sphere) and images CT scans of the thorax. In the tests of the synthetic images are introduced noises to evaluate, based on the position adjustment and the Dice similarity coefficient, the 3D segmentation capacity and robustness of the method, compared to other methods found in the researched literature. In this type of images, the results obtained showed that the 3D Autocut algorithm has the best results for both low noise and high noise images with position adjustment measures and Dice coefficient above 0.95. The tests for thoracic CT images, based on the metrics Dice similarity coefficient, position adjustment, shape and size adjustments, use 15 exams in the apex, hilo and base positions of healthy and pathological patients. The 3D segmentation result, based on the 3D Autocut method, as well as the use of the proposed initialization, also produces superior results in 93.3% of the exams when comparing the final form of segmentation and Dice Similarity. The main contributions are the Autocut 3D algorithms and the automatic seed initialization algorithm. Entre todos os tipos de câncer, o de pulmão (CP) é um dos mais comuns de todos os tumores malignos, apresentando aumento de 2% por ano na sua incidência mundial. No Brasil, para o ano de 2018 são estimados 31.270 casos novos de CP, sendo destes 18.740, em homens e 12.530 em mulheres. Neste contexto, é de fundamental importância para saúde pública se ter um diagnóstico precoce e preciso para detectar os estágios reais das doenças pulmonares, bem como para aumentar as chances de cura. Em tais doenças, o exame de Tomografia Computadorizada (TC) do Tórax contém muitas informações para seu diagnóstico precoce para tanto, a segmentação 3D dos pulmões, é fundamental. Muitos métodos foram desenvolvidos para a segmentação 3D dos pulmões, entretanto, em sua maioria apresentam problemas quando há presença de doenças, tais como CP ou mesmo outras estruturas presentes no interior dos pulmões. Na direção de resolver este problema, nesta tese é proposto um novo algoritmo baseado em autômatos 3D que utiliza uma composição de forças no espaço RGB e em seguida é realiza a inicialização dos rótulos e sementes que evoluem de forma interativa até se estabilizarem. Além disso, um método de inicialização automática 3D para segmentação de pulmões em imagens de TC também é proposto. Os testes são realizados para a segmentação 3D em imagens sintéticas (cilindro, duplocone, cubo e esfera) e imagens exames de TC do tórax. Nos testes das imagens sintéticas são introduzidos ruídos para avaliar, com base no ajuste de posição e no coeficiente de similaridade Dice, a capacidade e robustez de segmentação 3D do método proposto, comparado a outros métodos encontrados na literatura pesquisada. Neste tipo de imagens, os resultados obtidos comprovaram que o algoritmo 3D Autocut os melhores resultados para imagens tanto para baixo nível de ruído, quanto com alto nível de ruído, com medidas de ajuste de posição e coeficiente Dice acima de 0.95. Os testes para imagens de TC do tórax, baseados nas métricas coeficiente de similaridade Dice, ajuste de posição, ajustes de forma e de tamanho, são utilizados 15 exames, nas posições ápice, hilo e base, de pacientes voluntários saudáveis e com patologia. Os resultados da segmentação 3D, baseado no método 3D Autocut, bem como a utilização da inicialização proposta, também produz resultados superiores, em relação aos demais métodos avaliados, em 93,3% dos exames, quando comparando a forma final da segmentação e a similaridade Dice. As principais contribuições são os algoritmos 3D Autocut e o de inicialização automática das sementes.

Dissertação de Mestrado em Engenharia Informática, Recognizing sentences of a language in an efficient and precise manner has always been a strong subject within computer science. Many theories, algorithms and techniques have been proposed along computing history, but at the end it all comes down to performing lexical and syntactic analysis of the source, originating a parse tree as the result. Sometimes there is no need for full precision or even a full parse tree. A good example of one of these cases is architecture extraction from source code. In this case only a small portion of the code is of interest. Another good example is recognizing handwritten expressions, because it is entirely impossible to predict the kind of calligraphy that will be analyzed, it is also impossible to perform an one hundred percent precise recognition. This need for tolerant parsing lead to the development of many forms of tolerant parsing along the years. This master work will focus on one form of tolerant parsing in particular, Fuzzy Parsing. From this work it is expected the emergence of a new Fuzzy Parsing technique based on automata, where automata states would represent context and edges would represent potential matches inside that context. The hypothesis of this work is that such an approach reduces uncertainty and recognition time. It is also expected the creation of a tool suit that facilitates the process of developing fuzzy parsers. We believe that such a tool will be a great addition to areas such as Program Comprehension or IDE construction., Reconhecer frases de uma linguagem, de uma forma eficiente e precisa, tem sido sempre um tópico de interesse dentro da Informática. Diversas teorias, algoritmos e técnicas foram propostas ao longo dos anos, mas no fim de contas tudo se baseia em análises léxicas, sintáticas e semânticas da fonte, originando uma árvore de parsing como resultado. Por vezes não há necessidade de um reconhecimento cem por cento preciso, nem de uma árvore de parsing completa. Um bom exemplo de um desses casos, pode ser encontrado na extração de modelos arquiteturais a partir de código fonte. Neste caso, apenas uma parte reduzida do código tem interesse. Outro bom exemplo pode ser encontrado no reconhecimento de expressões matemáticas escritas manualmente. Uma vez que é impossível prever o tipo de caligrafia a ser analisada, é também impossível realizar um reconhecimento cem por cento preciso. Esta necessidade por tolerância no reconhecimento levou ao desenvolvimento de várias técnicas de parsing tolerante ao longo dos anos. Esta dissertação irá focar-se particularmente numa forma de parsing tolerante, Fuzzy Parsing. Deste trabalho é esperado que surja uma nova técnica de Fuzzy Parsing baseada em autómatos, onde os estados representarão contexto e os arcos representarão possíveis correspondências dentro desse contexto. Espera-se que esta abordagem reduza a incerteza e o tempo de reconhecimento. É também esperado que seja criada uma ferramenta que facilite o processo de criação de outros fuzzy parsers. Pensamos que uma ferramenta do género será uma bela adição ao para áreas como análise de programas e construção de ambientes de desenvolvimento de software.

Este tutorial apresenta os fundamentos necessários para o estudo e a pesquisa em diagnose de falhas de sistemas a eventos discretos modelados por autômatos. Tanto a diagnose centralizada quanto a descentralizada com coordenação (codiagnose) são consideradas. Além de apresentar as condições necessárias e suficientes para a verificação da diagnosticabilidade e codiagnosticabilidade, este artigo também apresentada testes utilizando diagnosticadores e verificadores. Resultados recentes envolvendo a diagnose centralizada em sistemas sob observação parcial são também considerados. This tutorial presents the background necessary to the study and research on fault diagnosis of discrete-event systems modeled as automata. Both centralized diagnosability and co-diagnosability with coordination are considered. Besides presenting necessary and sufficient conditions for the verification of diagnosability and co-diagnosability, the paper also presents tests using diagnosers and verifiers. Recent results on centralized diagnosis under partial observation are also addressed.

Submitted by Boris Flegr (boris@uerj.br) on 2021-01-05T14:49:24Z No. of bitstreams: 1 Messias Tadeu Capistrano dos Santos.pdf: 2241431 bytes, checksum: b1ee59a86f6a523392e14c6ae689c264 (MD5) Made available in DSpace on 2021-01-05T14:49:24Z (GMT). No. of bitstreams: 1 Messias Tadeu Capistrano dos Santos.pdf: 2241431 bytes, checksum: b1ee59a86f6a523392e14c6ae689c264 (MD5) Previous issue date: 2007-04-09 Conselho Nacional de Desenvolvimento Científico e Tecnológico Various films have staged the hypnotic and sensorial power cinema has, just as several thinkers and film directors have theorized about it in many different ways. Since the very beginning, cinema has been haunted by vampires, ghosts, doppelgangers , sleepwalkers, insane and hallucinated people who turn the audience s experience and its metamorphoses into metaphors. These issues have been taken as the leading theme for this work which will deal with the exploitation of the connection between cinema and perception through the analysis of both the metaphors of the spectator seen as an automaton and of the cinematographic experience seen as a dissociating phenomenon, linked to hypnosis, hallucination and telepathy. The starting point for the exploitation of these connections is the study of the modernizing trend as to perception and performance in the industrial society. In this context the bond between the cinematographic imagination and the optical imaginary activity is an ambiguous one: on one side the bond goes with the automation of perception through reflexive acts spread by spatial-temporal clashes of modernity; on the other side, the bond goes with the emergency of a ghostly culture which led the technical image into a dialogue with psycho-physical debates on dissociation phenomena and with the fantasizing imagination of the second half of the 19th century. In this setting the metaphors of the automaton and of the dissociating phenomena will supply a theoretical device to analyze some films that deal with the transformations of the cinematographic tool under the impact of new technologies, automation processes and perceptive demands. Os poderes hipnóticos e sensoriais do cinema foram encenados em vários filmes e teorizados, de diferentes modos, por diversos pensadores e cineastas. Desde seu início, o cinema tem sido assombrado por vampiros, fantasmas, duplos, sonâmbulos, loucos e alucinados que metaforizam a experiência espectatorial e suas metamorfoses. A partir deste tema, o trabalho consiste em discutir as relações entre cinema e percepção através de uma analise das metáforas do espectador como autômato e da experiência cinematográfica como fenômeno dissociativo, ligada à hipnose, a alucinação e a telepatia. Para investigar estas conexões, parte-se de um estudo da modernização da percepção e do espetáculo ocorridos na sociedade industrial. Neste contexto, a imaginação cinematográfica esteve vinculada ao imaginário óptico de um modo ambíguo: por um lado, com a automatização da percepção através dos atos reflexos propagados pelos choques espaço-temporais da modernidade; e por outro, com a emergência de uma cultura espectral que fez a imagem técnica dialogar com os debates psicofísicos acerca dos fenômenos da dissociação e com a imaginação fantástica da segunda metade do Século XIX. A partir deste quadro as metáforas do autômato e dos fenômenos dissociativos servirão como instrumentos teóricos para a análise de alguns filmes que abordam as transformações do dispositivo cinematográfico sob o de novas tecnologias, processos de automação e demandas perceptivas.

A Web vem se apresentando um meio cada vez mais promissor para o desenvolvimento de sistemas de ensino. Um dos grandes desafios é fazer uso das vantagens da Web, que torna a aprendizagem disponível em qualquer lugar e em qualquer momento, e criar para o aluno uma experiência de aprendizagem individualizada, que represente um significante melhoramento quando comparada à experiência de aprendizagem convencional de sala de aula. Nesse contexto, este trabalho apresenta o AdaptHA, um ambiente para autoria e ensino adaptativo na Web baseado no modelo Hyper-Automaton. Com o AdaptHA, objetiva-se colaborar para a melhoria da qualidade da educação prática pela Web. Acredita-se que isto seja possível através de um sistema de ensino que reúna ferramentas que auxiliam tanto o professor quanto o aluno, mas com um grande diferencial no que se refere à capacidade deste sistema de se adaptar às características do aluno. AdaptHA proporciona ao aluno uma experiência de aprendizagem individualizada ao apresentar o conteúdo adaptado e suportar a navegação adaptativa com base no modelo do aluno, utilizando para isto, técnicas da Hipermídia Adaptativa. Os mecanismos chave do AdaptHA que viabilizam tal adaptação são: sua estrutura do modelo do domínio, cujas principais características são flexibilidade e riqueza de metadados; e sua estrutura do modelo do aluno, que mantém o histórico detalhado de todas as interações do aluno com o ambiente. A essência deste trabalho consiste em promover um tipo de ensino que seja centrado no aluno. Entretanto, é indispensável levar em consideração que o professor possui um papel fundamental dentro do cenário educacional, sendo, portanto, imprescindível prover mecanismos que colaborem para a melhoria do seu trabalho, como por exemplo: ferramentas de autoria que facilitem a criação, manutenção e reutilização de cursos e material instrucional; e ferramentas que possibilitem o acompanhamento contínuo do desempenho dos alunos. A indisponibilidade de ferramentas que facilitam o trabalho do professor em um ambiente de ensino computadorizado, seja ele Web ou não, significa, em última instância, que a autoria de cursos e material instrucional irá exigir conhecimento de pessoal técnico, o que não é razoável. Evidentemente, este aspecto gera uma barreira quase que intransponível para a utilização desse tipo de ambiente por parte do professor. Neste sentido, o AdaptHA dispõe de um ambiente de autoria que reúne um rico conjunto de ferramentas que visa suprir essas necessidades. Web has becoming more and more a promising environment for the development of learning systems. One of the big challenges is making use of Web advantages, that makes learning available anywhere and anytime, and create to the student an individualized learning experience, that represents a significant improvement when compared to the conventional classroom learning experience. In this context, this work presents AdaptHA, a Web adaptive authorship and learning environment based on Hyper-Automaton model. With AdaptHA, the goal is to collaborate to the improvement of Web practical education quality. This is possible through a learning system that groups tools that support teacher and student, but with a great plus that refers to the ability of this system to adapt itself to the student’s characteristics. AdaptHA provides to the student an individualized learning experience by presenting content adapted and supports adaptive navigation based on student model, making use of Adaptive Hypermedia techniques. AdaptHA’s key mechanisms that turn such adaptation possible are: its domain model structure, whose main features are flexibility and a rich metadata set; and its student model structure, that keeps a detailed history of all student interactions with the environment. The essence of this work is to promote a student-centered education. However, it must be taken in consideration that the teacher performs a fundamental role in the educational setting, so, it is necessary supplying mechanisms that collaborate for the improvement of his / her work, as for instance: authorship tools that facilitate the creation, maintenance and reuse of courses and instrucional material; and tools that enable the continuous accompaniment of students performance. The unavailability of tools that facilitate teacher work in a computer-based education environment, Web or not, means that courses and instructional material authorship will require knowledge of technical staff, what is not reasonable. Obviously, this aspect creates a great barrier for the use of this kind of environment by the teacher. In this sense, AdaptHA provides an authorship environment that groups a rich set of tools that supplies these needs.

Segundo Thalmann em 1996, animação é a visualização da variação do estado de objetos em relação ao tempo. A meta principal da animação modelada por computador é sintetizar o efeito desejado de movimento que é uma mistura de fenômenos naturais, percepção e imaginação. O sistema de animação deve providenciar ferramentas de controle de movimento para traduzir os desejos do usuário na linguagem do sistema. O controle dos movimentos de uma animação pode ser dividido em duas classes de algoritmos: a classe intencional, dirigida aos aspectos de controle em alto nível, onde as intenções de uma animação são expressas e a classe concreta, dirigida aos aspectos específicos de animação de objetos. A relação hierárquica destas classes favorece a implementação de um motor de animação usando camadas de abstração. Uma das abordagens atuais para a construção de um motor de animação para atores humanóides é um sistema implementado em camadas. A camada inferior lida com os movimentos individuais das articulações. As intermediárias são responsáveis por encapsular conjuntos de movimentos que atuam como tarefas simples. O encapsulamento destas tarefas é feito por camadas superiores que lidam com ações sensíveis ao ambiente. Por fim, a camada de mais alto nível atua no nível cognitivo onde um mecanismo dotado de capacidade de raciocínio comanda ações aos atores de acordo com as informações do contexto e também de acordo com as intenções, crenças e desejos dos atores. Este trabalho visa analisar uma proposta de implementação de um motor de animação para simular o comportamento de atores humanóides, gerando animações em três dimensões via World Wide Web. Dois modelos de animação baseados no formalismo AFS (Autômato Finito com Saída) que lidam com camadas específicas de abstração de um sistema de animação serão apresentados. O modelo AGA-J é uma extensão do modelo AGA para lidar com a classe concreta de movimentos de atores humanóides em 3D e serve como camada de fundação para outros modelos. O modelo AGA gera sequências animadas a partir de um conjunto de AFS que representam os atores da animação e um conjunto de fitas de entrada que determinam os comportamentos dos atores. O alfabeto de saída é representado por imagens e efeitos sonoros e a animação se dá pela sequência das saídas dos autômatos. O modelo AGA-T é um modelo orientado a tarefas, baseado em autômatos probabilísticos e eventos. Este modelo atua como uma camada de nível superior sobre o AGA-J, e foi projetado para lidar com alguns aspectos da classe intencional, sobretudo o encapsulamento de movimentos através de tarefas. O formalismo de AFS foi escolhido para a construção dos modelos porque propicia muitas características importantes: saída configurável através da análise da fita de saída; reusabilidade pelo fato de vários atores poderem usar o mesmo AFS; e recuperação de informação, observando o estado atual dos autômatos dos atores que compõem a animação. According to Thalmann in 1996, animation is the visualization of changings on object states during time. The first goal of computer animation is to synthesize the desired motion effect that is a mix of natural phenomena, perception and imagination. An animation system must provide motion control tools to translate the user intentions into the system language. The motion control can be divided in two classes of algorithms: the intentional class, directed towards the high-level control aspects where the animation intentions are expressed; and the concrete class, which deals with specific aspects of object animation. The hierarchical relationship between these two classes benefits the implementation of an animation engine based on abstraction layers. One recent approach for building an animation engine to represent humanoid actors is a system implemented in layers. The lowest layer deals with individual joint movements, while the middle layers are responsible for encapsulating a set of movements acting as simple tasks. The task encapsulation is performed by high-level layers dealing with environment sensitive actions. Finally, the highest-level layer acts in the cognitive level, where a reasoning mechanism commands actions to the actors according to the context information, the beliefs, desires and intentions of the actors. This work explores an implementation proposal of an animation engine for simulating the behavior of humanoid actors, generating 3D animations to theWorld Wide Web. Two animation models based on the Finite Automata with Output formalism that deal with specific abstraction layers of an animation system will be presented. The AGA-J model is an extension of the AGA model for dealing with the concrete class of 3D movements of humanoid actors and it suits as a foundation layer for other models. The AGA model generates animated sequences by a set of Finite Automata with Output that implements the animation actors and a set of input tapes which determines the behavior of the actors. The output alphabet is represented by images, and sound effects, and the animation is produced by the sequence of the automata output. The AGA-T model is a task-oriented model, based on probabilistic automata and events. This model acts as a high-level layer over the AGA-J, and it was designed for dealing with some aspects of the intentional class, mainly the movement encapsulation by tasks. The Finite Automata with Output formalism was chosen for model construction because it provides many important features: adaptable output by analysis of output tape; reusability by the fact of many actors can use the same automaton; and information retrieval by observation of current state of the automata composing the animation.