Submitted by Caroline Xavier (caroline.xavier@pucrs.br) on 2017-06-30T17:22:52Z No. of bitstreams: 1 DIS_ANIBAL_SOLON_HEINSFELD_COMPLETO.pdf: 12807619 bytes, checksum: d11b60094a8bde0d839a6f7a23bbb56c (MD5) / Made available in DSpace on 2017-06-30T17:22:52Z (GMT). No. of bitstreams: 1 DIS_ANIBAL_SOLON_HEINSFELD_COMPLETO.pdf: 12807619 bytes, checksum: d11b60094a8bde0d839a6f7a23bbb56c (MD5) Previous issue date: 2016-03-28 / O Espectro Autista (EA) compreende uma s?rie de desordens no desenvolvimento neurol?gico, caracterizado por defici?ncias sociais e dificuldades de comunica??o, comportamentos repetitivos e atrasos cognitivos. Atualmente, o diagn?stico do EA ? amplamente baseado em medi??es comportamentais, que pode ser demorado, e depende da coopera??o do paciente e da experi?ncia do examinador. Para mitigar esta limita??o, investigamos padr?es neurais que ajudem no diagn?stico de desordens do EA. Nesta disserta??o, usamos t?cnicas de deep learning, a fim de extrair caracter?sticas robustas de neuroimagens de pacientes com autismo. Neuroimagens cont?m cerca de 300.000 pontos espaciais, com aproximadamente 200 medi??es cada. As t?cnicas de deep learning s?o ?teis para extrair caracter?sticas relevantes que diferenciam autistas de n?o-autistas. Ao utilizar denoising autoencoders, uma t?cnica de deep learning espec?fica que visa reduzir a dimensionalidade dos dados, n?s superamos o estado da arte, atingindo 69% de acur?cia, comparado com o melhor resultado encontrado na literatura, com 60% de acur?cia. / Autism Spectrum Disorders (ASD) comprise a range of neurodevelopmental disorders, characterized by social deficits and communication difficulties, repetitive behaviors, and cognitive delays. The diagnosis of ASD is largely based on behavioral measurements, which can be timeconsuming and relies on the patient cooperation and examiner expertise. In order to address this limitation, we aim to investigate neural patterns to help in the diagnosis of ASD. In this dissertation, we use deep learning techniques to extract robust characteristics from neuroimages of autistic subject brain function. Since neuroimage contains about 300,000 spatial points, with approximately 200 temporal measurements each, deep learning techniques are useful in order to extract important features to discriminate ASD subjects from non-ASD. By using denoising autoencoders, a specific deep learning technique that aims to reduce data dimensionality, we surpass the state-of-the-art by achieving 69% of accuracy, compared to 60% using the same dataset.

Submitted by Caroline Xavier (caroline.xavier@pucrs.br) on 2017-06-30T18:24:08Z No. of bitstreams: 1 TES_JOAO_MARIO_LOPES_BREZOLIN_COMPLETO.pdf: 6143939 bytes, checksum: 1a0972ea0dfb3d652f4b28273cc15d43 (MD5) / Made available in DSpace on 2017-06-30T18:24:08Z (GMT). No. of bitstreams: 1 TES_JOAO_MARIO_LOPES_BREZOLIN_COMPLETO.pdf: 6143939 bytes, checksum: 1a0972ea0dfb3d652f4b28273cc15d43 (MD5) Previous issue date: 2017-03-15 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / The BDI architecture is the preferred approach for the development of agents situated in complex dynamic environments. The BDI architecture, which is founded on the symbolic model, represents a consolidated model that counts upon substantial theoretical-practical contributions. However, according to G?rdenfors, despite its strengths, there are some aspects of the cognitive phenomena which give rise to the need of a conceptual model that has to establish itself between the perceptual and the symbolic levels. Taking into account the principle that recognition of objects can be set as a process of concept formation, this thesis comprises the design and implementation of a knowledge representation model for BDI agents based on the assumptions of the paradigm of conceptual spaces. In this sense, the actual approach seeks to establish the necessary mechanisms for the development of this model through the use of the Jason platform and the programming language CSML. From the issues which are inherent to the development of an application directed to the aid of visually impaired people, this thesis aims to evaluate the implications of the building processes of the conceptual inference model for BDI agents. / A arquitetura BDI ? a estrat?gia preferencial no que tange ao desenvolvimento de agentes situados em ambientes complexos e din?micos. Alicer?ada no modelo simb?lico, a arquitetura BDI representa um modelo consolidado que conta com um substancial aporte pr?tico-te?rico. Entretanto, conforme assinala G?rdenfors, apesar da robustez desse modelo, h? aspectos do fen?meno cognitivo que suscitam a necessidade de um modelo conceitual que estabelece-se entre os n?veis simb?lico e perceptual. Partindo do princ?pio de que o reconhecimento de objetos pode ser assinalado como um processo de forma??o de conceitos, esta tese abrange a concep??o e a implementa??o de um modelo de representa??o do conhecimento para agentes BDI com base nos pressupostos do paradigma dos espa?os conceituais. Nesse sentido, esta abordagem busca estabelecer atrav?s da plataforma Jason e da linguagem de programa??o CSML os mecanismos necess?rios para o desenvolvimento desse modelo. A partir da problem?tica inerente ao desenvolvimento de uma aplica??o voltada ao aux?lio de pessoas cegas, esta proposta busca avaliar as implica??es do processo de constru??o do modelo de infer?ncia conceitual para agentes BDI.

Submitted by Caroline Xavier (caroline.xavier@pucrs.br) on 2017-06-30T18:42:52Z No. of bitstreams: 1 TES_FERNANDO_PINHO_MARSON_COMPLETO.pdf: 2230276 bytes, checksum: d3c096fc249a7901be303718ecb561ba (MD5) / Made available in DSpace on 2017-06-30T18:42:52Z (GMT). No. of bitstreams: 1 TES_FERNANDO_PINHO_MARSON_COMPLETO.pdf: 2230276 bytes, checksum: d3c096fc249a7901be303718ecb561ba (MD5) Previous issue date: 2012-08-29 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Conselho Nacional de Pesquisa e Desenvolvimento Cient?fico e Tecnol?gico - CNPq / This work describes a computational model to generate semantic virtual environments procedurally, which can be used in games and behavioral simulations of crowds and groups of autonomous virtual agents. The process of creating environments, starts with a set of semantic information provided by the user. Such information are based on an abstract mental model, which describes relationships among the spaces that should be created. The proposed approach works in two different ways: building residential environments (i.e. houses and apartments) and also large environments. Large environments can be understood as complex virtual buildings, e.g., shopping malls, airports or train stations. For each type of environment is used a distinct method, more suitable to treat the specific environmental issues. After subdivide all spaces, the flow turns to become one again. As output we have geometry files and semantic description files that can be used in different applications as games and behavioral crowd simulations. / Este trabalho descreve um modelo computacional para a gera??o procedural de ambientes virtuais sem?nticos, os quais podem ser utilizados em jogos e na realiza??o de simula??es comportamentais com grupos e multid?es de agentes virtuais aut?nomos. O processo de cria??o dos ambientes se d? a partir de informa??es sem?nticas fornecidas pelo usu?rio que tem como base um modelo mental abstrato. Este modelo mental serve como ponto de partida para a especifica??o das rela??es existentes entre os diversos espa?os que devem ser criados no ambiente virtual. O modelo computacional proposto trabalha em duas linhas distintas: cria??o de ambientes residenciais (casas e apartamentos) e gera??o de ambientes amplos. Ambientes virtuais amplos podem ser entendidos como constru??es virtuais mais complexas, como shopping centers, aeroportos e galerias comerciais. Para cada um dos tipos de ambiente ? utilizado um m?todo distinto, melhor adequado para tratar os problemas existentes em cada situa??o. Ap?s a realiza??o das subdivis?es dos espa?os, a sequ?ncia de etapas volta a confluir, mantendo uma arquitetura ?nica para a gera??o do ambiente virtual. Como sa?da s?o obtidos arquivos de geometria e de descri??o sem?ntica que podem ser utilizadas em diferentes aplica??es nas ?reas de jogos, computa??o gr?fica e de simula??o.

Submitted by Caroline Xavier (caroline.xavier@pucrs.br) on 2017-06-30T18:43:22Z No. of bitstreams: 1 DIS_JULIA_SILVA_WEBER_COMPLETO.pdf: 1157200 bytes, checksum: 9480342a98027ac78d6f2fd1c5eb50d7 (MD5) / Made available in DSpace on 2017-06-30T18:43:22Z (GMT). No. of bitstreams: 1 DIS_JULIA_SILVA_WEBER_COMPLETO.pdf: 1157200 bytes, checksum: 9480342a98027ac78d6f2fd1c5eb50d7 (MD5) Previous issue date: 2017-03-21 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / The advent of the Internet of Things (IoT) and the popularization of mobile devices with non-volatile memory brings new challenges regarding the removal of files. Techniques traditionally employed in magnetic media are not effective when applied to non-volatile memories, such as flash memory. Because of the peculiar characteristics of this type of memory, notably the existence of a Flash Translation Layer (FTL), operating systems only manage logical blocks, and no longer have direct control of the physical blocks of a flash memory. Consequently, new methods of safe removal have been developed, which employ Zero Override, Block Erase, and Cryptographic Erase techniques. This work analyzes these methods, compares their operations and proposes a new method, with better performance than those described in the literature. The proposed method is a hybrid method, which combines overwriting and deletion operations to obtain a balanced use of these operations, avoid unnecessary deletion of unused blocks and reduce premature memory wear. To verify the efficiency of the proposed method and of the other methods, a simulator was developed to exercise the removal of files in several experiments. / O advento da Internet das Coisas (IoT) e a populariza??o de dispositivos m?veis com mem?ria n?o-vol?til traz novos desafios quanto a remo??o de arquivos. T?cnicas tradicionalmente empregadas em meios magn?ticos n?o s?o efetivas quando aplicadas para mem?rias n?o vol?teis, como a mem?ria flash. Devido ?s caracter?sticas peculiares deste tipo de mem?ria, notadamente a exist?ncia de uma Camada de Tradu??o da Flash (FTL), sistemas operacionais somente gerenciam blocos l?gicos, e n?o tem mais controle direto dos blocos f?sicos de uma mem?ria flash. Consequentemente, novos m?todos de remo??o segura foram desenvolvidos, que empregam opera??es de Sobrescrita com Zeros, de Apagamento de Blocos e t?cnicas de Apagamento Criptogr?fico. Este trabalho analisa estes m?todos, compara suas opera??es e prop?e um novo m?todo, com melhor desempenho que os descritos na literatura. O m?todo proposto ? um m?todo h?brido, que combina de forma equilibrada opera??es de sobrescrita e apagamento, para evitar o apagamento desnecess?rio de blocos ainda n?o utilizados e reduzir o desgaste prematuro da mem?ria. Para verificar a efici?ncia do m?todo proposto e dos demais m?todos, foi desenvolvido um simulador para exercitar a remo??o de arquivos em diversos experimentos.

Submitted by Ricardo Cedraz Duque Moliterno (ricardo.moliterno@uefs.br) on 2017-03-30T21:29:02Z No. of bitstreams: 1 DISSERTACAO THAUANE-FINAL (3).pdf: 2270065 bytes, checksum: 57e7cc71a5309821de988ba9e5addcf8 (MD5) / Made available in DSpace on 2017-03-30T21:29:02Z (GMT). No. of bitstreams: 1 DISSERTACAO THAUANE-FINAL (3).pdf: 2270065 bytes, checksum: 57e7cc71a5309821de988ba9e5addcf8 (MD5) Previous issue date: 2016-12-21 / Currently, due to the various technological options, the vast access to information and the demotivation of some students, much is discussed in the literature about the way of teaching so that it becomes diversified and attractive. The teacher / classroom model with traditional teaching has leaved to be the main medium in the teaching-learning process. Faced with this new educational paradigm, the need arises to seek strategies that increase the interest, the motivation and consequently the level of learning of the students. In this sense, we have the ludic forms of teaching, such as the application of didactic games, which are increasingly present in the school environment. From this context, a didactic game, entitled "Space Track" and an educational video called "Unraveling the Universe", was created. The theme is about Planets and Dwarf Planets, Eclipse, Seasons of the Year, General Astronomy and Constellations. In particular, these tools can be used in both formal and non-formal learning environments. In this work the product was applied in five classes of Elementary School and four of the High School of the Col?gio Estadual Ferreira Pinto. The survey of prior knowledge and learning after the implementation of activities was carried out through pre- and post-tests on the above topics. / Atualmente, em virtude das v?rias op??es tecnol?gicas, do vasto acesso ? informa??o e da desmotiva??o de alguns estudantes, muito se discute na literatura sobre a forma de ensino de modo que ela se torne diversificada e atrativa. O modelo professor/sala de aula com o ensino tradicional tem deixado de ser o principal meio no processo de ensino-aprendizagem. Diante desse novo paradigma educacional, surge a necessidade de buscar estrat?gias que aumentem o interesse, a motiva??o e consequentemente o n?vel de aprendizagem dos alunos. Neste sentido, temos as formas l?dicas de ensino, como, por exemplo, a aplica??o de jogos did?ticos, que est?o cada vez mais presentes no ambiente escolar. A partir desse contexto, foi elaborado um jogo did?tico, intitulado ?Trilha Espacial? e um v?deo educativo chamado ?Desvendando o Universo?, cuja tem?tica trata sobre Planetas e Planetas An?es, Eclipse, Esta??es do Ano, Conhecimentos Gerais de Astronomia e Constela??es. Em particular, estas ferramentas podem ser utilizadas em ambientes de ensino formal e n?o formal. Neste trabalho o produto foi aplicado em cinco turmas do Ensino Fundamental e quatro do Ensino M?dio do Col?gio Estadual Ferreira Pinto. A sondagem do conhecimento pr?vio e do aprendizado ap?s a aplica??o das atividades foi realizada por meio de pr? e p?s-testes sobre os temas citados.

Submitted by Ricardo Cedraz Duque Moliterno (ricardo.moliterno@uefs.br) on 2017-08-16T21:51:48Z No. of bitstreams: 1 VERS?O FINAL Sammya.pdf: 1907132 bytes, checksum: 1e1a59eb9dfae60b28627c832c9019fa (MD5) / Made available in DSpace on 2017-08-16T21:51:48Z (GMT). No. of bitstreams: 1 VERS?O FINAL Sammya.pdf: 1907132 bytes, checksum: 1e1a59eb9dfae60b28627c832c9019fa (MD5) Previous issue date: 2017-04-27 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / The species Vatairea macrocarpa (Benth.) Ducke is typical of Brazil, popularly known as maleiteira, angelim-do-cerrado and bitter, and is popularly used to treat various pathologies. The present study had as objective to evaluate the chemical chemistry, a toxicity and biological potential of extracts of leaves and stem of V. macrocarpa. The extracts were obtained by maceration in methanol.The chemical composition was analyzed by Thin Layer Chromatography (TLC). Phenoliccompounds, flavonoid and antioxidant activity tests were performed using the diphenylpicrilhydrazyl radical sequestration method (DPPH) and the ?-carotene / linoleic acid co-oxidation method. The acute toxicity test and the motor coordination evaluation were performed by the rota-rod test, as well as the tests for the evaluation of the anti-inflammatory activity (carrageenan-induced paw edema) and analgesic (acetic acid, formalin and hot plate). In the extracts the presence of flavonoids, steroids, terpenes, coumarins, saponins and absence of alkaloids were identified. The content of phenolic compounds and flavonoids were determined and both extracts presented antioxidant activity in both methods. No toxic signs were observed for both extracts at the fixed dose of 300 mg / kg or changes in the motor coordination of the animals at the doses tested. Both the stem and the leaves showed antinociceptive and anti-inflammatory activity in the tests performed. In view of the promising results presented by this species it is necessary to continue the studies with the same in order to isolate and identify substances and elucidate their mechanisms of action regarding the anti-inflammatory and analgesic activities. / A esp?cie Vatairea macrocarpa (Benth.) Ducke ? t?pica do Brasil, conhecida popularmente como maleiteira, angelim-do-cerrado e amargoso, e ? utilizada popularmente para tratamento diversas patologias. O presente estudo teve como objetivo avaliar a composi??o qu?mica, a toxicidade e o potencial biol?gico dos extratos brutos das folhas e do caule de V. macrocarpa. Os extratos foram obtidos atrav?s da macera??o em metanol. A composi??o qu?mica foi analisadaatrav?s da Cromatografia em Camada Delgada (CCD) e testes de determina??o de fen?licos e flavonoides. A avalia??o da atividade antioxidante foi realizada atrav?s do m?todo de sequestro de radical difenilpicrilhidrazila (DPPH) e do m?todo de co-oxida??o do ?-caroteno/?cido linoleico. Testes in vivo de toxicidade aguda e a avalia??o da coordena??o motora pelo teste rota rod, al?mdos testes para a avalia??o da atividade anti-inflamat?ria (edema da pata induzida por carragenina) e analg?sica (?cido ac?tico, formalina e placa quente) foram realizados. Nos extratos foi identificada a presen?a de compostos fen?licos, esteroides, terpenos, cumarinas, saponinas e aus?ncia de alcaloides. Foi determinado o teor de compostos fen?licos e flavonoides e ambos os extratos apresentaram atividade antioxidante nos dois m?todos.N?o foi verificado sinais t?xicos por ambos os extratos na dose fixa de 300 mg/Kg, nem altera??es na coordena??o motora dos animais nas doses testadas.Tanto o caule quanto as folhas demonstraram atividade antinociceptiva e anti-inflamat?ria nos testes realizados. Diante dos resultados promissores apresentados por essa esp?cie deve-se continuar os estudos a fim de isolar e identificar subst?ncias, bem como elucidar seus mecanismos de a??o quanto ?s atividades anti-inflamat?ria e analg?sica.

Submitted by Ricardo Cedraz Duque Moliterno (ricardo.moliterno@uefs.br) on 2017-10-09T22:34:41Z No. of bitstreams: 1 MATHUES BRITO DE OLIVEIRA Disserta??ov.pdf: 5287293 bytes, checksum: 8d3e3b854b5799f16c0b61b6a5d33f1c (MD5) / Made available in DSpace on 2017-10-09T22:34:41Z (GMT). No. of bitstreams: 1 MATHUES BRITO DE OLIVEIRA Disserta??ov.pdf: 5287293 bytes, checksum: 8d3e3b854b5799f16c0b61b6a5d33f1c (MD5) Previous issue date: 2017-06-12 / The assembly of bacterial genomes consists of a process of reordering fragments so that the original genome can be represented. However, to maximize the results of genome assembly, some steps are required, for instance, read quality analysis and preprocessing, repetition identification and quality check. The process of assembly of genomes is a complex step that involves the type of sequencing that was used, there are several types of sequencers which imply different characteristics for each one for example: fragments size, throughput, among others. Analyzing these characteristics requires the use of several computational tools, to assist in all the processes mentioned above, and since the range of software available is quite broad and distinct, it is necessary for the user to learn to work with this computational diversity, dominating often knowledge that is not of the biological area, implying in less time for a deepening in biological questions. Based on this context, we developed a pipeline to perform an automated fragment analysis, read preprocessing, genome assembly and orientation of contigs, having as the assembly the main objective of the pipeline and that it will be managed by a Web application called GATOOL (Genome Assembly Tool). Aiming to evaluate the performance of the application, tests were carried out with two samples of prokaryotic organisms, which are: Bacillus amyloliquefaciens and Serratia marcescens. Also perform a test with seven SRA samples. Both organisms are sequenced on the Ion PGMTM platform. The tools used to perform the assembly were SPAdes and Velvet, both assemblers use de Bruijn graph algorithm as a paradigm for the assembly of the genome, after this stage the resulting set of contigs was ordered through the CONTIGuator, which is a reference ordering. We observed that the interface GATOOL allowed a quick and easy execution of several steps and processes in the field of genome assembly, including the assembly of two prokaryotic species in an automated way, thus facilitating the use and accomplishment of such processes by any user. / A montagem de genomas bacterianos ? um processo de reordena??o de fragmentos, de forma que se possa representar o genoma original. Entretanto, para que a montagem de um genoma seja realizada visando maximizar os resultados, ? preciso que algumas etapas sejam cumpridas, por exemplo: a an?lise dos fragmentos, o pr?-processamento destes fragmentos e novamente uma repeti??o do processo de an?lise, para verificar a efic?cia do pr?-processamento realizado. O processo de montagem de genomas ? uma etapa complexa, que envolve o tipo de sequenciamento que foi utilizado. Existem diversos tipos de sequenciadores, o que implica caracter?sticas distintas em cada um, como por exemplo: tamanho dos fragmentos, quantidade de fragmentos gerados por corrida, dentre outros. Analisando essas caracter?sticas, faz-se necess?ria a utiliza??o de diversas ferramentas computacionais para auxiliar a todos os processos citados anteriormente e, como a gama de softwares dispon?veis ? bem ampla e distinta, ? importante que o usu?rio domine essa diversidade computacional, contendo muitas vezes conhecimentos que n?o s?o da ?rea biol?gica, implicando menos tempo para um aprofundamento das quest?es biol?gicas. Com base neste contexto, prop?em-se um pipeline para a realiza??o da an?lise de fragmentos, pr?-processamento dos fragmentos, montagem de genomas e orienta??o de contigs, tendo como a montagem o objetivo principal do pipeline e este ser? gerenciado por uma aplica??o web chamada GATOOL (Genome Assembly Tool). Visando avaliar o desempenho da aplica??o, foram feitos testes com duas amostras de organismos procariontes, que s?o: Bacillus amyloliquefaciens e Serratia marcescens. Tamb?m foram realizados testes com sete amostras SRA. Ambos os organismos est?o sequenciados na plataforma Ion PGMTM. Os montadores usados foram o SPAdes e o Velvet, ambos montadores, utilizam o algor?tmo grafo de Bruijn como paradigma para a montagem do genoma; ap?s esta etapa, o conjunto de contigs resultante foi ordenado atrav?s do CONTIGuator, que ? uma ordena??o por refer?ncia. Observamos que a interface GATOOL permitiu uma execu??o r?pida e f?cil de diversas etapas e processos no campo da montagem de genomas, inclusive realizando a montagem de duas esp?cies procariontes de maneira automatizada, facilitando assim a utiliza??o e realiza??o de tais processos por qualquer usu?rio.

Made available in DSpace on 2016-03-22T17:26:23Z (GMT). No. of bitstreams: 1 Dissertacao_de_Mestrado_II_Marcos_Echevarria.pdf: 448582 bytes, checksum: ee87f1f43559b95302ad2f21fa2813e7 (MD5) Previous issue date: 2010-03-25 / As arquiteturas multi-core influenciam diretamente no desenvolvimento de software. Para que os programas possam tirar proveito dessas arquiteturas ´e necess´ario que estes possuam v´arias atividades concorrentes e que possam ser alocadas aos cores dispon ´ıveis. Programas concorrentes para m´aquinas multi-core s ao geralmente implementados usando threads e se comunicam atrav´es de uma mem´oria compartilhada. Para evitar que threads interfiram de maneira errada no trabalho de outras threads, as linguagens fornecem mecanismos de sincronizac¸ ao, como por exemplo bloqueios. Mas sincronizac¸ oes baseadas em bloqueios apresentam algumas armadilhas que dificultam a programac¸ ao e s ao propensas a erros (PEYTON JONES, 2007; HERLIHY; MOSS, 1993). Mem´orias transacionais fornecem um novo modelo de controle de concorr encia que n ao apresenta as mesmas dificuldades encontradas no uso de bloqueios. Elas trazem para a programac¸ ao concorrente os conceitos de controle de concorr encia usados h`a d´ecadas pela comunidade de banco de dados. Construc¸ oes em linguagens transacionais s ao f´aceis de serem usadas e podem gerar programas altamente escal´aveis (ADLTABATABAI; KOZYRAKIS; SAHA, 2006). O objetivo deste trabalho ´e apresentar a linguagem CMTJava. CMTJava ´e uma linguagem de dom´ınio espec´ıfico para programac¸ ao de mem´orias transacionais em Java e foi criada visando facilitar a programac¸ ao de m´aquinas multi-core. Seu sistema foi todo desenvolvido em Java e a forma de implementac¸ ao pode ser aplicada em qualquer outra linguagem orientada a objetos que suporte closures, como por exemplo C#. CMTJava faz uso das chamadas m onadas para compor ac¸ oes transacionais. Ac¸ oes transacionais podem ser combinadas para gerar novas transac¸ oes e vale ressaltar que o sistema de tipos da linguagem CMTJava garante que ac¸ oes transacionais somente ser ao executadas atrav´es da primitiva atomic. CMTJava apresenta todas as construc¸ oes de mem´orias transacionais (atomic, retry, OrElse) e ´e a primeira extens ao Java para transac¸ oes que suporta a construc¸ ao OrElse

Made available in DSpace on 2016-03-22T17:26:24Z (GMT). No. of bitstreams: 1 Dissertacao II Fernanda.pdf: 5870886 bytes, checksum: 38e862a3e70d2150160467fa6341965c (MD5) Previous issue date: 2009-12-22 / Simulações sociais em sistemas de agentes têm sido um tema presente na comunidade de Inteligência Artificial. O presente trabalho aborda estudos de conceitos relativos a um sistema microeconômico para modelagem de agentes econômicos cognitivos, com comportamento de consumidor e de produtor, com base no conceito do modelo de agentes BDI. A fim de destacar a importância desta modelagem, trabalhos relacionados à área de pesquisa são examinados, enfatizando a originalidade deste modelo de agente econômico cognitivo. Também são apresentados conceitos básicos inerentes a esta modelagem, tais como: trocas sociais e econômicas, e as interações entre os agentes. O conteúdo de microeconomia apresentado aborda os conceitos básicos de mercado e dos modelos de consumidor e de produtor utilizados na modelagem. Do mesmo modo, é apresentado um estudo do modelo de agentes BDI para a modelagem de agentes reativos e cognitivos. Estudos sobre um modelo básico de comportamento do consumidor, o processo de tomada de decisão e formação de comportamento e sobre Teoria da Firma são apresentados para embasar o comportamento dos agentes. Por fim, o modelo de um agente econômico cognitivo, com comportamento de consumidor e de produtor, é apresentado, bem como os resultados da simulação de um mercado com quatro agentes econômicos cognitivos

Esse trabalho apresenta três artigos científicos relacionados ao uso de ferramentas tecnológicas de apoio à aprendizagem, com ênfase no uso de laboratórios de experimentação remota. O primeiro artigo traz uma pesquisa bibliográfica e observatória sobre as dificuldades do uso das ferramentas de apoio à aprendizagem. O segundo artigo trata-se de estudo exploratório que faz uma análise da revisão da literatura sobre a utilização da experimentação remota como ferramenta de aprendizagem. Essa análise foi realizada com a execução de passos necessários e bem estruturados, com critérios bem definidos e criticamente avaliados, através da identificação de estudos em oito bases de dados diferentes. O terceiro artigo relata a experiência do uso da experimentação remota em uma aula da disciplina de física para alunos do ensino médio que vivem e estudam na Comunidade Quilombola Lagoa da Pedra em Arraias (TO). O objetivo desse estudo específico foi observar o comportamento e os relatos dos alunos e professores durante a apresentação do laboratório de experimentação remota. A experimentação remota é baseada em ambientes que são laboratórios experimentais convencionais que passaram por um processo de automatização para que pudessem ser controlados remotamente através de dispositivos computadorizados. Os projetos de experimentação remota foram criados como uma alternativa a experimentos baseados em simulações ou na utilização de laboratórios tradicionais. Os experimentos remotos são mediados por computador, e podem ser executados em qualquer lugar, como nas simulações, porém em um laboratório remoto o aluno está controlando um aparato físico real, e obtém dados reais de uma experiência física. Diante da possibilidade da utilização de simuladores ou laboratórios tradicionais, este estudo tem o objetivo de analisar o uso da experimentação remota como instrumento de ensino. A Experimentação Remota possibilita à distância e em tempo real, a utilização de experimentos laboratoriais com recursos não existentes na escola, e que são essenciais aos alunos para aprofundar o conhecimento teórico com experiências práticas. Diante dos resultados obtidos, apresenta-se a contribuição da pesquisa e os ganhos significativos no processo de ensino e aprendizagem, e a importância VIII da inclusão de Tecnologias Educacionais em comunidade sem grandes recursos tecnológicos. / This work presents three papers related to the use of technology to support learning tools, with emphasis on the use of remote experimentation laboratories. The first article provides a literature search and observatory on the difficulties in the use of learning support tools. The second article deals with is an exploratory study that analyzes the literature review on the relevance of the use of remote experimentation as a learning tool. The remote experimentation is based on environments that are conventional laboratory experiments that have gone through an automation process so that they could be remotely controlled by computerized devices. The remote experimentation projects were created as an alternative to experiments or simulations based on the use of traditional laboratories. Remote experiments are mediated by computer, and can be performed anywhere, as in the simulations, but in a remote lab the student is controlling a real physical apparatus, and get real data from a physical experience. Faced with the possibility of using simulators or traditional laboratories, this study aims to verify the relevance of the use of remote experimentation as a teaching tool. The literature review was performed with the execution of necessary and well-structured steps, with clear criteria and critically assessed, through the identification studies in eight different databases. The second paper describes the experience of using remote experimentation in a class of physical discipline for high school students who live and study in the Community Quilombola Lagoa da Pedra in city of Arraias (TO). The aim of this study was to observe the behavior and reports of students and teachers during the presentation of remote experimentation lab. Remote Testing enables remotely and in real time, using laboratory experiments with non-existing resources in school, and that are essential for students to deepen their theoretical knowledge with practical experience. Based on these results, we present the research contribution and significant gains in teaching and learning process, and the importance of inclusion of Educational Technologies in community without major technological resources. Keywords: Remote Testing, Tools for learning, educational technologies.