Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-29T18:03:18Z No. of bitstreams: 1 PAULO EDUARDO E SILVA BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 549401 bytes, checksum: ffeac306fd7624758ab88a5062b5a5ae (MD5) / Made available in DSpace on 2018-08-29T18:03:18Z (GMT). No. of bitstreams: 1 PAULO EDUARDO E SILVA BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 549401 bytes, checksum: ffeac306fd7624758ab88a5062b5a5ae (MD5) Previous issue date: 2007-02-23 / Todo programador ou engenheiro de software lida com um problema crônico na concepção de seus sistemas: violações das especificações ou requisitos de projeto. Essas violações necessitam de uma captura imediata, pois geralmente originam falhas que só podem ser descobertas tardiamente, a um custo de reparo bastante elevado. Nos últimos anos, pesquisadores da ciência da computação estão conseguindo um progressonotávelnodesenvolvimentodetécnicaseferramentasqueverificamautomaticamente requisitos e projeto. A abordagem em maior evidência chama-se verificação de modelos (model-checking). Verificação de modelos é uma técnica formal e algorítmica de se fazer verificação de propriedades de sistemas com um espaço de estados finito. Suas principais vantagens são o poder de automação e a qualidade dos resultados produzidos. Porém, esta técnica sofre de um problema fundamental — a explosão do espaço de estados — que se deve ao crescimento exponencial na estrutura que representa o comportamento de sistemas e à falta de recursos computacionais disponíveis para lidar com grandes quantidades de informação sobre o comportamento dos sistemas sob verificação. Este trabalho concentra-se em verificação de modelos utilizando plataformas de distribuição como tentativa de aliviar o problema citado. Mais detalhadamente, investigamos o uso de grades computacionais que rodam aplicações bag-of-tasks e formulamos algoritmos específicos para o processo de verificação. Aplicações bag-of-tasks são aplicações paralelas cujas tarefas são independentes entre si. Elas são as aplicações mais apropriadas para grades computacionais por permitirem heterogeneidade dos recursos. Aplicamos ferramentas de grades computacionais como uma camada entre a ferramenta de verificação e os recursos distribuídos compartilhados existentes e comparamos os quesitos desempenho e escala nos sistemas a serem verificados em relação às versões centralizadas de verificadores. A plataforma empregada na distribuição é muito atrativa no quesito custo, controle e escala. Através do compartilhamento de uma simples máquina, o engenheiro de sistemas ganha acesso a uma comunidade provedora de uma grande quantidade de recursos heterogêneos e automaticamente gerenciados para se fazer computação paralela seguindo sua filosofia. Durante o trabalho, essas vantagens são comparadas com suas desvantagens, como o alto custo de comunicação e a dificuldade de particionar o processo, por exemplo. O trabalho envolveu a produção das seguintes ferramentas: uma API genérica para a geração distribuída de grafos que representam o comportamento de sistemas concorrentes sobre plataformas de grades computacionais bag-of-tasks, um protótipo de verificação CTL que age de duas maneiras distintas, sendo on-the-fly durante a geração do espaço de estados ou sobre esse espaço de estados distribuído representado explicitamente seguindo a mesma filosofia de comunicação e versões simplificadas de simuladores de sistemas concorrentes sob alguns formalismos baseados em redes de Petri. Resultados experimentais sobre a aplicação deste ferramental são apresentados. / Every programmer or software engineer deals with a chronic problem during the conception of their systems: violations in the project requirements. These violations need to be discovered early be cause they generally produce errors that can be discovered later, at a very expensive cost to repair. In recent years, researchers in computer science are obtaining a notable progress in the development of techniques and tools to automatically verify requirements and designs. The most evidently approach is called model-checking. Model checking is a formal and algorithmic technique to perform properties verification in a finite state space of systems. Its main advantages are the automation power and the quality of the produced results. However this technique suffers from one big and foundamental problem - the state space explosion which is the absense of computational resources available today’s to deal with large amounts of information about the behavior of the systems under verification. This work investigates a solution to verify models in a distributed way using computational grids which runs bag-of-tasks applications, alleviating the mentioned problem. Bagof-tasks applications are those parallel applications which tasks arei ndependent of each other and are the applications most suited for computational grids because they allow heterogeneity between resources. We employ computational grid tools as a layer between between the verificationtooland the distributed shared resources. This verification is performed by adapted CTL algorithms to the bag-of-tasks philosophy. So we intend to obtain improvements in speed-up and scalability in the systems to be checked when compared to centralized versions of verifiers produced in side the group. Moreover,the employed middleware in the distribution is very attractive in the cost and control aspects. By sharing a single machine, the system engineer obtains access to a community that provides large amounts of heterogeneous resources automatically managed to perform parallel computation. This work included the production of the following tools: a generic API to the distributed generation of graphs that describes the behavior of concurrent systems under bag-of-tasks computational grids platforms, a prototype to check for CTL properties using on-the-fly algorithms or iterating over the generated fragments of the distributed graph. We also implemented simplified versions of simulators of concurrent systems following some formalisms based on Petri nets. Experimental results are also presented.

Submitted by Jos? Henrique Henrique (jose.neves@ufvjm.edu.br) on 2018-01-31T18:35:38Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) marcelo_braulio_pedras.pdf: 2382099 bytes, checksum: 3edc0615e188d815d0a9d1a514edfb8f (MD5) / Approved for entry into archive by Rodrigo Martins Cruz (rodrigo.cruz@ufvjm.edu.br) on 2018-02-03T12:04:59Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) marcelo_braulio_pedras.pdf: 2382099 bytes, checksum: 3edc0615e188d815d0a9d1a514edfb8f (MD5) / Made available in DSpace on 2018-02-03T12:04:59Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) marcelo_braulio_pedras.pdf: 2382099 bytes, checksum: 3edc0615e188d815d0a9d1a514edfb8f (MD5) Previous issue date: 2017 / Programas de computadores s?o muito utilizados para resolu??o de problemas complexos em engenharia. Atualmente, espera-se que um engenheiro saiba mais que apenas utiliz?-los, sendo esta habilidade muito valorizada no mercado de trabalho. Tal habilidade possibilita que profissionais consigam utilizar um maior conjunto de ferramentas para solucionar problemas. As simula??es computacionais, por exemplo, podem ser utilizadas como ferramenta de aquisi??o de conhecimento, permitindo que um profissional ou um estudante crie, teste e valide suas hip?teses. As simula??es tamb?m s?o utilizadas em pesquisas cient?ficas como alternativa a experimentos de dif?cil obten??o e na ind?stria para reduzir custos. Por?m, uma simula??o pode consumir mais recursos do que os dispon?veis em um computador, tornando seu tempo de execu??o invi?vel. Uma forma barata de se obter mais desempenho ? utilizando um cluster de computadores comuns. Dessa forma, seria poss?vel utilizar os laborat?rios de inform?tica dispon?veis para execut?-las. Entretanto, isso implicaria em conhecimentos aprofundados em computa??o paralela e/ou distribu?da por parte dos usu?rios, dificultado o desenvolvimento de aplica??es. Com o objetivo de minimizar o tempo de execu??o de simula??es complexas utilizando clusters e permitir que usu?rios com poucos conhecimentos em programa??o paralela e/ou distribu?da possam utiliz?-lo, este trabalho apresenta uma solu??o denominada ?plataforma RedBlue?. Essa plataforma recebe a aplica??o do usu?rio e a executa nos n?s do cluster de forma autom?tica e transparente para o mesmo. Para testar a plataforma desenvolvida foram realizados testes com redes neurais artificiais e com um algoritmo gen?tico simples, ambos buscando descobrir a melhor configura??o de par?metros para determinado problema. Utilizaram-se 60 m?quinas de um laborat?rio de inform?tica para testar a plataforma. Os resultados mostram que houve uma redu??o de at? 98% no tempo de execu??o do experimento com redes neurais e 99,3% para o experimento com o algoritmo gen?tico em compara??o a execu??o sequencial. Esses resultados indicam que a plataforma ? vi?vel para utiliza??o em laborat?rios de inform?tica, possibilitando uma redu??o consider?vel no tempo de execu??o de simula??es complexas. A plataforma ? aplic?vel a um n?mero flex?vel de computadores, ajustando-se ? capacidade dos laborat?rios. Al?m disso, pode ser utilizada como instrumento ?til ao ensino e pesquisa. Ressalta-se que a utiliza??o de simula??es computacionais para ensino e pesquisa contribui n?o apenas para a aprendizagem de conte?dos, mas tamb?m para o surgimento de habilidades necess?rias ao mercado de trabalho do engenheiro. / Disserta??o (Mestrado Profissional) ? Programa de P?s-Gradua??o em Educa??o, Universidade Federal dos Vales do Jequitinhonha e Mucuri, 2017. / Computer programs are commonly used to solve complex engineering problems, and it is expected from an engineer a more than hands-on experience in using these computer programs with the ability to develop them using a wide range of tools. Computational simulations, for instance, can be used as tools for knowledge acquisition allowing a professional or student to create, test and validate their hypotheses. Such simulations are used at an academic setting as an alternative to expensive experiments. However, a simulation can take more resources than those available in a single computer machine, rendering long execution times. To create a cluster of regular computers, such as the ones already available at computer labs, is a cheaper alternative to improve such execution times. One major drawback of this approach is that the user must be knowledgeable in parallel and distributed programming, which makes software development harder. To overcome such constraints, this work presents a solution named ?RedBlue platform?that receives and runs user?s applications over a computer cluster in an automatic, transparent manner. To test the RedBlue platform, we performed a set of tests via artificial neural networks and a simplified genetic algorithm, whose main purpose was to search for the best-suited parameter configurations for the application problem at hand. To test the platform, the experiments were run using 60 computer machines from a computer lab. This study has identified a reduction in execution times of 98% for neural networks, and a reduction of 99,3% for the genetic algorithm, and also shown that the platform is suited for real-world applications of simulations at computer labs. Furthermore, the platform accepts a variable number of computers, easily adaptable to different academic environments, such as research and training. Lastly, we have noted that computational simulations not only contribute to research and learning, but also to develop the required industry skills.

Resumo não disponível.

Os métodos computacionais da química quântica foram empregados para estudar as estruturas moleculares e as energias de interação de cátions e ânions que são componentes de alguns líquidos iônicos funcionalizados, derivados do imidazólio. O estudo teve como objetivo comparar e relacionar os efeitos da presença de funcionalização nos substituintes das posições 1 e 3 do cátion imidazólio, nas propriedades desses líquidos iônicos. Essa funcionalização pode ocorrer pela presença de insaturações, grupos aromáticos, éteres, álcoois, tióis, aminas, nitrilas entre outros grupos nas cadeias dos substituintes. Nesta tese são reportados os estudos dos complexos formados por ânions tetrafluorborato e cátions imidazólio substituídos por grupos metila, etila, propila, butila, isobutila, vinila, propargila, alila, crotila e metalila, observando assim o efeito da presença de substituintes contendo cadeias insaturadas em comparação com os de cadeias saturadas nas estruturas, distribuições de carga, energias de interação e propriedades físico-químicas desses sistemas. Nesses sistemas foram observados intensos efeitos de polarização e transferência de carga ânion-cátion. Foram encontradas diversas relações entre volumes iônicos, energias de interação dos íons e as propriedades de transporte dos respectivos líquidos iônicos. / The methods of computational quantum chemistry have been used to study the molecular structures and the interaction energies of cations and anions which are components of some functionalized ionic liquids derived from imidazolium. The objective of this study is comparing and relating the effects of the presence of functionalization of the side chains of the imidazolium with the properties of these ionic liquids. This functionalization can occur by the presence of unsaturated side chains, aromatic groups, ether, alcohols, thiols, amines, nitriles among other groups in the side chains. In this thesis are reported the studies of the complexes formed of tetrafluorborate anions and imidazolium cations with side chains methyl, ethyl, propyl, butyl, isobutyl, vinyl, propargyl, allyl, crotyl and methallyl, thus observing the effects of the presence of unsaturated side chains compared to saturated ones on the structures, charge distributions, interaction energies and physicochemical properties of these systems. It was observed in these systems strong effects of polarization and anion-cation charge transfer. It was found several relations between ionic volumes, interation energies of the ions and the transport properties of the respective ionic liquids.

Elaboramos um material instrucional, para auxiliar alunos e professores no processo ensino-aprendizagem da Mecânica dos Fluidos – Dinâmica, composto por um hipertexto repleto de animações, figuras, textos, vídeos, instruções para a realização de experimentos virtuais e reais e atividades de aquisição automática de dados e de modelagem. O referencial teórico adotado baseia-se na teoria de Vygotsky, que é fundamentada nas relações sociais dos alunos entre si e dos alunos com o professor. Todo o material foi elaborado de forma contextualizada com o cotidiano dos alunos de uma escola técnica, como é o caso do Centro Federal de Educação Tecnológica de São Vicente do Sul (CEFET-SVS), onde o projeto foi implementado em alunos da segunda série do Ensino Médio. Inicialmente, foi aplicado um pré-teste, tanto no grupo experimental quanto no grupo de controle, que serviu para avaliar o conhecimento prévio dos alunos sobre conceitos de Dinâmica dos Fluidos, assim como a sua habilidade para resolver individualmente problemas sobre esse assunto. A seguir, o material didático foi ministrado aos alunos do grupo experimental em dois módulos didáticos, o primeiro sobre Fluidos Ideais e o segundo sobre Fluidos “Reais”. Nesses módulos, foram propostas atividades para as quais foram fornecidas dicas de como poderiam ser desenvolvidas. Durante o desenvolvimento dessas atividades, os alunos contaram com a colaboração do professor e dos colegas, fornecendo, dessa forma, evidências do que eles poderiam desenvolver com a ajuda de seus pares. Finalmente, aplicamos o pós-teste na turma em que o material didático foi implementado e na turma de controle. A análise estatística desses dados mostrou um ótimo desempenho da turma em que foi implementado o material didático permeado de novas tecnologias, com um ganho médio de 39,3 % entre o pré-teste e o pós-teste, enquanto que o grupo de controle obteve um ganho médio de apenas 6 %. Ainda foi constatada, através dos relatos dos alunos, uma grande satisfação e motivação para aprender com o uso desse material didático. Todo o material didático desenvolvido está incluído no CD-rom que integra esta dissertação e também pode ser acessado por professores e alunos na rede mundial de computadores. / We elaborated an instructional material to help students and teachers in the learning-teaching process of Fluid Mechanics – Dynamics, consisting of an hypertext, plenty of animations, figures, texts, videos, instructions to make real and virtual experiments and activities of automatic data acquisition and modeling. The theoretical framework adopted was based on Vygotsky’s theory, which is well-grounded in the social relations between the students and between the students and the teacher. All the material was elaborated taking into account the context of the quotidian of the students of a technical school, as is the case of the Federal Center of Technological Education of São Vicente do Sul (CEFET-SVS), where the project was implemented in second year high school students. Initially it was applied a pretest, in the experimental group and also in the control group, which evaluates the previous knowledge of the students about concepts of Fluid Dynamics, as well as their abilities to solve alone problems about this subject. In the following, the didactic material was applied to the experimental group students in two didactic modules, the first about Ideal Fluids and the second about “Real” Fluids. In these modules, activities are proposed and some tips for their development had been supplied. In the development of these activities the students count on the collaboration of the teacher and of the colleagues, supplying, in this way, evidence of what they could develop with the aid of their pairs. Finally the pos-test was applied in the group where the didactic material was implemented and in the control group. The statistical analysis of these showed an optimum performance of the group who made use of the didactic material mixed with new technologies, with an average gain of 39,3 % between the pre-text and the pos-text, while the control group had an average gain of 6 %. Still it was also evidenced, through the student reports, a great satisfaction and motivation to learn with the use of this didactic material. All the developed material is enclosed in the CD-rom which integrates this dissertation, and also can be accessed by teachers and students in the wordwide- web of computers.

O ensino de Física no Brasil passa por muitas dificuldades. Cabe ao professor a tarefa de buscar novas metodologias de ensino para tornar as aulas mais interativas e atraentes para os alunos, como forma de despertar maior gosto pela aprendizagem das ciências em geral. É imprescindível também desenvolver o poder de crítica dos alunos na formação de conceitos através da socialização entre alunos e professores e da interação com o meio em que o aluno vive, sempre visando à obtenção de uma aprendizagem potencialmente significativa. Diante deste quadro e embasados nas teorias de mediação e de interação social de Vigotski e na teoria de aprendizagem significativa de Ausubel e Novak, buscou-se desenvolver atividades em Física Térmica utilizando modelagens computacionais criadas com os programas Modellus e Excel como recurso complementar às aulas de Física. Também foram produzidos gifs animados não interativos explorando algumas situações e um hipertexto, incluindo textos de apoio utilizados, principalmente, como recurso de pesquisa extraclasse. Este projeto foi aplicado ao longo dos meses de março a agosto de 2006 em três escolas particulares de Porto Alegre: Colégio São José de Murialdo, Colégio Santa Inês e Escola Maria Goretti, envolvendo seis turmas de segundo ano do Ensino Médio, em um total de 182 alunos. O material elaborado abordou os tópicos sobre termometria, dilatação térmica, calorimetria, curvas de aquecimento, processos de transmissão do calor, gases ideais e termodinâmica. Os conteúdos foram organizados em sete módulos didáticos, com a seguinte estrutura: um texto de apoio, as modelagens utilizadas, um guia de atividades com orientações para sua utilização e questionamentos acerca do conteúdo. Em todos os módulos foi incluída uma seção denominada Física no Cotidiano, com questões que buscam relacionar os assuntos trabalhados no ambiente escolar com situações vivenciadas pelo aluno no seu dia-a-dia. As atividades eram trabalhadas em duplas ou em trios de alunos, o que promoveu uma maior interação social e trocas de experiências na construção do conhecimento; ao professor cabia o papel de mediador da atividade. O material instrucional foi sendo disponibilizado, gradualmente, em CD-ROM e em página da Web das escolas com o objetivo de fazer com que os alunos se detivessem em cada um dos módulos de forma a alcançar um amadurecimento no conteúdo correspondente. O produto deste trabalho será publicado na série Hipermídias de Apoio ao Professor de Física, para que outros professores possam utilizá-lo com seus alunos. / In order to overcome the difficulties in the physics teaching, the instructors must use new methodologies thus providing more attractive and interactive classes to motivate their students. To contribute to a meaningful learning it is worth to promote a critical and contextualized formation of concepts by socializing the students with their own environment. To accomplish these goals this proposal presents activities‟ guides on Thermal Physics, developed in association with computer simulations as a complementary resource to high school regular classes. Such approach is based on the meaningful learning theory of D. Ausubel and J. Novak and the social‟s interaction theory of L. Vigotski. It has been applied during the first quarter of the school year of 2006 to 182 students, of six classes of the second year of three High Schools at Porto Alegre, RS: Colégio São José de Murialdo, Colégio Santa Inês and Escola Maria Goretti. The addressed subjects are calorimetry, thermal dilatation, heat transfer, matter phase changes, ideal gases properties and general concepts in thermodynamics, organized in seven didactic modules consisting of a text, the computer simulations, an activity guide with questions about the subject and, also, a section where the Physics issues developed in classroom are related with the students‟ daily life situations. To deeper social interaction, the students were grouped in pair or trios working with the teacher mediation. The instructional material has been gradually displayed in a CD-ROM and in the Schools web pages to allow the students focusing on one subject at a time. The present work is to be published in the series Hipermídias de Apoio ao Professor de Física, of Instituto de Física of UFRGS, in order to give other teachers access to the proposal material.

Submitted by João Oliveira (joaoricardo2910@hotmail.com) on 2017-03-08T17:44:59Z No. of bitstreams: 1 DissertacaoV5.pdf: 3163826 bytes, checksum: d1dc429e650bffb62b8a84017c191010 (MD5) / Approved for entry into archive by Escola Politécnica Biblioteca (biengproc@ufba.br) on 2017-03-08T17:58:23Z (GMT) No. of bitstreams: 1 DissertacaoV5.pdf: 3163826 bytes, checksum: d1dc429e650bffb62b8a84017c191010 (MD5) / Made available in DSpace on 2017-03-08T17:58:23Z (GMT). No. of bitstreams: 1 DissertacaoV5.pdf: 3163826 bytes, checksum: d1dc429e650bffb62b8a84017c191010 (MD5) / A propagação acústica é um fenômeno de grande interesse nos dias atuais. Desde acústica de grandes espaços como anfiteatros ou cinemas, até sonares ou mapeamento sísmico, tudo passa pela acústica. Os métodos de cálculo para este fenômeno ainda carecem de estudos para serem usados em sua plena capacidade. É nesse cenário que uma comparação entre métodos de cálculo de resposta acústica se faz necessária. Este trabalho tem como foco calcular a resposta acústica de um pistão acústico subaquático de quatro formas independentes. Dois modelos analíticos são formados, um resolvendo a problemática para um modelo de fluido, de acordo com as equações de Navier-Stokes, enquanto o outro usa a formulação ondulatória, a partir da equação de Helmholtz. Além destes, dois modelos correspondentes são montados, a partir do método de elementos finitos. Um destes se usa de formulação de interação fluido-estrutura (Fluid-Structure Interation – FSI), enquanto o outro faz uma análise acústica, a partir da equação de Helmholtz. Uma comparação entre os modelos é feita, variando parâmetros como distância, tempo e frequência.

Submitted by Reinaldo Almeida (reinaldo.almeida@ufba.br) on 2017-05-23T16:38:39Z No. of bitstreams: 1 Análise de Domínio na Aquisição de Conhecimentos - Ontologias para Sistemas Computacionais.pdf: 4033106 bytes, checksum: 207a133d5a98f624185f2ffd87870a6c (MD5) / Approved for entry into archive by Maria Auxiliadora da Silva Lopes (silopes@ufba.br) on 2017-05-25T18:25:37Z (GMT) No. of bitstreams: 1 Análise de Domínio na Aquisição de Conhecimentos - Ontologias para Sistemas Computacionais.pdf: 4033106 bytes, checksum: 207a133d5a98f624185f2ffd87870a6c (MD5) / Made available in DSpace on 2017-05-25T18:25:37Z (GMT). No. of bitstreams: 1 Análise de Domínio na Aquisição de Conhecimentos - Ontologias para Sistemas Computacionais.pdf: 4033106 bytes, checksum: 207a133d5a98f624185f2ffd87870a6c (MD5) / A partir do alinhamento entre as Semióticas desenvolvidas pelos filósofos e pensadores, Charles Sanders Peirce, Gilles Deleuze e Félix Guattari, e da atualização teórica para a atividade de Análise de Domínio, baseada nos pressupostos defendidos pelos pesquisadores da Royal School of Library and Information Science, da Dinamarca, com destaque para Birger Hjørland e Torkild Thellefsen, esta Tese disserta sobre os aspectos de cognição a serem observados para determinar o significado num universo do discurso referente a fatos de um domínio, com o objetivo de aumentar o grau de aproximação entre as realidades, dos fatos, entendida e significada. Deste modo, é feito um aprofundamento no processo de aquisição do conhecimento, com a crítica à abordagem atomista e estruturalista, na qual, termos e relações do universo de discurso são especificados a partir de uma relação direta entre signo e significado, de uma concepção onde a expressão supera o conteúdo, e a dimensão espaço prevalece sobre a dimensão tempo no processo de significância. O ambiente de estudo usado é aquele referente às ontologias computacionais, bases de conhecimentos apoiadas sobre redes semânticas e semióticas de frames, concentrado nas fases que vão do entendimento da realidade de um domínio até aquela onde a significância dos termos e relações é tratada a fim de se obter os seus respectivos significados. A pesquisa, na sua fase experimental, dentro do referencial proposto, analisou as etapas de desenvolvimento da ontologia EDXL-RESCUER, contrapondo as hipóteses tratadas na Tese e o processo de desenvolvimento da ontologia, tendo como resultados, uma abordagem crítica e uma fundamentação teórica correspondente, complementada por uma metodologia para Análise de Domínio capaz de atuar numa dimensão pós-estruturalista. O método de pesquisa aplicado é qualitativo, exploratório, envolvendo atualização do estado da arte para os conceitos apresentados, a partir da análise de um projeto de construção de ontologia. / ABSTRACT From the alignment between the Semiotics developed by the philosophers, Charles Sanders Peirce, Gilles Deleuze and Felix Guattari, and the theoretical update for the Domain Analysis activity, based on the assumptions defended by the researchers of the Royal School of Library and Information Science, from Denmark, notably Birger Hjørland and Torkild Thellefsen, this thesis discusses the aspects of cognition to be observed to determine the signified in a universe of discourse concerning at facts of a domain, with the aim of increasing the degree of approximation between the realities, of the facts, understood and signified. In this way, a deepening of the process of knowledge acquisition is made, with the criticism at the atomist and structuralist approach, in which terms and relations of the universe of discourse are specified from a direct relation between sign and signified, a conception where the expression exceeds the content, and the space dimension prevails over the time dimension in the process of significance. The study environment used is that referring to computational ontologies, knowledge bases supported on semantic networks and semiotic frames, focused on the phases that go from the understanding of the reality of a domain to that where the significance of terms and relations is treated in order to obtain their respective signified. The research, in its experimental phase, within the proposed reference, analyzed the stages of development of the EDXL-RESCUER ontology, opposing the hypotheses treated in the thesis and the process of development of the ontology, resulting in a critical approach and a corresponding theoretical foundation, complemented by a methodology for Domain Analysis capable of acting in a post-structuralist dimension. The applied research method is qualitative, exploratory, involving updating the state of the art to the presented concepts, from the analysis of an ontology construction project

Submitted by Kleber Silva (kleberbs@ufba.br) on 2017-06-06T18:36:46Z No. of bitstreams: 1 thesis_Almerindo.pdf: 28859099 bytes, checksum: 174d845c1992efdff75a145e0ec76a4d (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-16T15:25:18Z (GMT) No. of bitstreams: 1 thesis_Almerindo.pdf: 28859099 bytes, checksum: 174d845c1992efdff75a145e0ec76a4d (MD5) / Made available in DSpace on 2017-06-16T15:25:18Z (GMT). No. of bitstreams: 1 thesis_Almerindo.pdf: 28859099 bytes, checksum: 174d845c1992efdff75a145e0ec76a4d (MD5) / O advento do Kinect desencadeou o crescimento de aplicações voltadas à interação natural, reconhecimento de gestos e ambientes interativos. Com o tempo, percebeu-se que as soluções de interfaces baseadas nesses novos tipos de interação cresciam de maneira rápida e desordenada, sem qualquer preocupação com a formalização de etapas de desenvolvimento. Além disso, questões relativas à forma de representar estas interações, ao contexto onde elas ocorrem e qual o comportamento do ambiente em resposta a estas interações tornaram-se relevantes. Neste sentido, esse trabalho traz como contribuição uma abordagem prática para o desenvolvimento de ambientes interativos através do modelo Where-What-Why-How, ou simplesmente, 3W1H. A solução teve como base uma compilação de tarefas comumente executadas neste tipo de desenvolvimento e relatadas em diversos trabalhos correlatos. A solução parte de três questões principais: (I) quais as reações devem ser disparadas no ambiente interativo; (II) quais as situações que disparam a execução destas reações no ambiente; e, (III) qual o comportamento esperado uma vez que estas situações sejam reconhecidas. O comportamento esperado do ambiente pode ser visto como um conjunto de estados que definem o controle das reações e mudanças dentro do ambiente real ou virtual. A transição entre estes estados comportamentais é feita a partir da composição entre eventos associados, por exemplo, ao reconhecimento de gestos do usuário quando interage com o sistema. A validação da proposta é feita através de alguns estudos de casos completos, que contemplam todas as fases de desenvolvimento e a implementação física do ambiente interativo. Os estudos de caso foram construídos com o auxílio do framework Touch The Air - TTair, uma outra contribuição importante do trabalho.

The aim of this work is to increase the dependability of automation systems through the use of a tool for automatic generating and executing conformance tests. The developed tool calledGungnir uses formalmodels to performits actions,whose standard used is the formalism of Timed Automata (TA). The control systems consists of programmable logic controllers (PLC) and are often developed with Ladder and Function Block Diagram (FBD) languages. The Gugnir s key activity is to verify if the implementation of the control system developed in Ladder is compatible with the specification defined using the ISA 5.2 standard. To do so we used translation tools (from Ladder and ISA 5.2. to TA models), define coverages criteria and heuristics to ensure that the model was well tested / Fundação de Amparo a Pesquisa do Estado de Alagoas / Oobjetivo neste trabalho é aumentar a confiança no funcionamento de sistemas da automação através do uso de uma ferramenta de geração e execução automática de testes de conformidade. A ferramenta desenvolvida chama-se Gungnir e utiliza modelos formais, cujo padrão utilizado é o formalismo de Autômato Temporizado (AT). Os sistemas de controle são constituídos por Controladores Lógicos Programáveis (CLP) e normalmente são desenvolvidos nas linguagens Ladder e Function Block Diagram (FBD). A atividade da Gungnir é verificar se a implementação do sistema de controle desenvolvida na linguagem Ladder é compatível com a especificação modelada utilizando o padrão ISA 5.2. Para isso são utilizadas ferramentas de tradução de programas Ladder e diagramas ISA 5.2 para modelos de AT, definidos critérios de cobertura e criadas heurísticas as quais asseguraram menor custo computacional durante a execução dos testes