Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2016-10-06T16:29:28Z No. of bitstreams: 1 Maurício de Oliveira Saraiva_.pdf: 6467007 bytes, checksum: 7a0d95202fd7af8fa777e0b1cb5f6fb0 (MD5) / Made available in DSpace on 2016-10-06T16:29:28Z (GMT). No. of bitstreams: 1 Maurício de Oliveira Saraiva_.pdf: 6467007 bytes, checksum: 7a0d95202fd7af8fa777e0b1cb5f6fb0 (MD5) Previous issue date: 2016-07-28 / UNICO - Universidade Corporativa dos Correios / A evolução da tecnologia tem permitido um suporte cada vez melhor à disciplina de gerenciamento de processos de negócio (BPM). A automação de práticas, a partir de ferramentas de modelagem, possibilita construir modelos visando apoiar as organizações no desenho e gerenciamento de seus processos. Em BPM, a transformação e melhoria contínua de processos são fundamentais para o gerenciamento da organização e os modelos de processos de negócio devem acompanhar essa evolução. Para realizar a composição desses modelos, seja pela transformação de um ou mais processos ou pela fusão de organizações, analistas usam as técnicas disponíveis na literatura. Porém, frequentemente elas são consideradas imprecisas ao não assegurar a correta integração dos modelos. Consequentemente, compor modelos de processos de negócio se torna uma tarefa difícil, custosa e propensa a erros, uma vez que as técnicas existentes criam modelos compostos difíceis de entendimento baseados em grafos e notação genérica que não correspondem à realidade do mercado de trabalho. Portanto, este trabalho propõe uma técnica de composição de modelos de processos de negócio que reúne, em uma única fonte, o conjunto das técnicas mais utilizadas na literatura, bem como dá suporte à composição de modelos direcionada para uma notação largamente conhecida e utilizada pelas organizações. Além disso, propõe a implementação de uma ferramenta, baseada nessa técnica, que foi criada para definir a similaridade e apoiar a integração de modelos de forma semiautomática. Por fim, estudos experimentais foram realizados com analistas que resolveram seis cenários de composição de modelos, tanto de forma manual como com o apoio dessa ferramenta, cujo resultado mostrou que a técnica proposta, de fato, melhora a precisão e reduz o esforço de composição, proporcionando redução de custos e aumento de produtividade. / The evolution of technology has allowed an increasingly better support to the discipline of business process management (BPM). The automation of practices from modeling tools, allows building models to support organizations in the design and management of its processes. In BPM, the transformation and continuous improvement of methods are fundamental to the management of the organization and models of business processes should follow this evolution. To perform the merge of these models, by the transformation of one or more processes, or by merging of organizations, software analysts use the techniques available in the literature. However, frequently they are considered imprecise, by not ensuring the correct integration of models. Consequently, merging business processes models becomes a difficult, error prone task, since existing techniques create composite models difficult to understand based on graphs and generic notation that does not match to the industrial reality. Therefore, this study proposes a merging technique of business process models that combines in a single source, some of the most used techniques available in the literature, and supports merging of models directed to a notation widely known and used by organizations. Furthermore, it also proposes the implementation of a tool, based on this technique, which was created to define the similarity and support the integration of models in a semi-automatic way. Lastly, experimental studies were performed with analysts who solved six scenarios of merging models, both manually and with the help of this tool. The result showed that the proposed technique, in fact, improves the accuracy and reduces composition effort, providing cost savings and increased productivity.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2016-12-21T11:49:01Z No. of bitstreams: 1 Fausto Stefanello Tomazi_.pdf: 1429293 bytes, checksum: 4e85a45b348c5d3cbf6a7e9e13e1be3b (MD5) / Made available in DSpace on 2016-12-21T11:49:02Z (GMT). No. of bitstreams: 1 Fausto Stefanello Tomazi_.pdf: 1429293 bytes, checksum: 4e85a45b348c5d3cbf6a7e9e13e1be3b (MD5) Previous issue date: 2016-09-23 / Nenhuma / Os sistemas de potência desempenham um papel fundamental na economia de uma nação, fornecendo energia elétrica com qualidade e sem interrupções a população. Para que isto seja possível grandes investimentos no setor são aplicados para garantir o fornecimento. No entanto, qualquer equipamento está sujeito a falhas, e analisar o impacto que falhas em equipamento afetam o fornecimento é uma das tarefas executadas pelos centros de controle, chamada de Análise de Segurança. Desta forma, os centros de controle são responsáveis por realizar planos de contingência para que em caso de algum equipamento saia de operação o impacto sofrido pela rede seja o menor possível. Uma importante tarefa da Análise de Segurança é a Seleção de Contingências. Esta tarefa sendo encarregada de selecionar os equipamentos mais importantes do sistema para que a tarefa de Análise de Segurança possa criar planos de prevenção caso os respectivos equipamentos saiam de operação. Os grandes sistemas elétricos existentes hoje são compostos de milhares de equipamentos, e uma análise mais detalhada para cada equipamento é algo de difícil resolução, sendo neste cenário que a seleção de contingência ganha importância. A Seleção de Contingência é encarregada de buscar e classificar as restrições mais importantes da rede, porem para redes de grande porte com milhares de itens, analisar o impacto de cada item é uma tarefa que pode levar muito tempo, não permitindo que o cálculo seja efetuado durante a operação do sistema. Desta forma faz-se necessário executar a Seleção de Contingências de forma eficiente e eficaz. Este estudo propõe o desenvolvimento do algoritmo metaheurístico de Simulated Annealing a fim de que a seleção de contingência seja executada de forma que atenda todas as restrições de tempo impostas pelos centros de controle. Nos experimentos é possível verificar que após uma sintonia de parâmetros para a instancia do problema abordado, os resultados encontrados atende as restrições dos centros de controle e também é possível visualizar que os resultados são ligeiramente melhores que resultados de trabalhos encontrados na literatura, onde o mesmo problema é abordado pela metaheurística do Algoritmo Genético. / Power systems play a key role in a nation's economy by providing quality, uninterrupted power to the population. For this to be possible large investments in the sector are applied to guarantee the supply. However, any equipment is subject to failures, and analyzing the impact that equipment failures affect supply is one of the tasks performed by control centers, called Safety Analysis. In this way, the control centers are responsible for carrying out contingency plans so that in the event of any equipment leaving the operation the impact suffered by the network is as small as possible. An important task of Security Analysis is the Selection of Contingencies. This task is in charge of selecting the most important equipment in the system so that the Security Analysis task can create prevention plans if the respective equipment goes out of operation. The large electrical systems that exist today are made up of thousands of equipment, and a more detailed analysis for each equipment is difficult to solve, and in this scenario contingency selection is important. The Contingency Selection is responsible for searching and classifying the most important restrictions of the network, but for large networks with thousands of items, analyzing the impact of each item is a task that can take a long time, not allowing the calculation to be performed During system operation. In this way it is necessary to perform the Contingency Selection efficiently and effectively. This study proposes the development of the metaheuristic algorithm of Simulated Annealing in order that the contingency selection is performed in a way that meets all the time constraints imposed by the control centers. In the experiments it is possible to verify that after a tuning of parameters for the instance of the problem approached, the results found meets the control center constraints and it is also possible to visualize that the results are slightly better than results of works found in the literature, where the same Problem is addressed by the metaheuristic of the Genetic Algorithm.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2016-12-21T15:44:57Z No. of bitstreams: 1 Rodrigo Silva Pereira_.pdf: 951778 bytes, checksum: 90c6af826318df7c8204565678dff935 (MD5) / Made available in DSpace on 2016-12-21T15:44:57Z (GMT). No. of bitstreams: 1 Rodrigo Silva Pereira_.pdf: 951778 bytes, checksum: 90c6af826318df7c8204565678dff935 (MD5) Previous issue date: 2016-08-28 / Nenhuma / Com a emergência do crowdsourcing junto a difusão mundial de smartphones esforços recentes e pesquisas importantes sobre o uso de crowdsourcing na área da saúde ou ainda smarthealth visam auxiliar na melhoria hábitos de saúde, construção de históricos médicos pessoais de longo prazo, análise e revisão de dados médica, controle de dietas alimentares, gerenciamento do estresse, analise e comparação de informações e assistência em tempo real para catástrofes. Porém, nenhum deles usou de crowdsourcing para recomendação de centros clínicos de saúde. Segundo Chatzimilioudis crowdsourcing refere-se "a um modelo distribuído de solução de problemas em que uma multidão de tamanho indefinido é contratada para resolver um problema complexo através de um convite aberto". Neste âmbito, este trabalho apresenta um modelo de sistema de recomendação de centros clínicos de saúde, chamado CrowdHealth. A principal contribuição do modelo de sistema de recomendação de centros clínicos é possibilitar a criação de uma relação ganha-ganha entre seus usuários que podem ser cidadãos, médicos ou ainda entidades ligadas ao governo. Na literatura encontramos alguns trabalhos que carecem a abordagem do uso de crowdsourcing como fonte de dados para recomendação de centros clínicos de saúde. Nós desenvolvemos um protótipo de aplicação baseada no modelo de sistema de recomendação de centros clínicos de saúde para proporcionar uma visão do que seria uma aplicação baseada no modelo de sistema de recomendação de centros clínicos de saúde. Para avaliar o nosso modelo, apresentamos um cenário hipotético baseado numa possível aplicação para mensurar a percepção dos usuários quanto a utilidade dos centros clínicos de saúde. Os cenários descritos levavam em consideração os seguintes critérios: (1) a distância entre do usuário ao centro clinico, (2) a avaliação dos usuários em relação ao atendimento recebido nos centros clínicos e (3) o tempo de atendimento informado pelos usuários. Desta forma realizamos uma simulação de requisições de recomendações de usuários usando um dataset real contendo informações do Foursquare. O arquivo do dataset possuia 227428 check-in’s na cidade de Nova Iorque, EUA. O arquivo, foi dividido em duas partes, onde a primeira representava os check-in’s realizados pelos usuários nos centros clínicos, e a segunda representava usuários requisitando por recomendações de centros clínicos em outros locais. Assim, foram criadas funções para simular os processos de cálculo do tempo de atendimento e avaliação dos centros clínicos por parte dos usuários. Também simulou-se usuários requisitando por recomendações de centros clínicos em outros locais. Então, medimos precisão e recuperação dos centros clínicos de saúde sugeridos para cada usuário. Obtivemos valores médios de 57,5% e 61,33% para precisão e recuperação, respectivamente. Com isso, nossa avaliação retrata que centros clínicos de saúde recomendados por uma aplicação baseada no CrowdHealth poderiam aumentar beneficamente a utilidade de centros clínicos de saúde recomendados para os usuários. / With the emergence of crowdsourcing with the worldwide spread of smartphones recent efforts and important research on the use of crowdsourcing in health or smart-health are intended to assist in improving health habits, construction of historical long-term medical personnel, medical analysis and data review, control diets, stress management, analysis and comparison of information and real-time assistance for disasters. However, none of them used the crowdsourcing for recommendation clinical health centers. In this context, this paper presents a model of clinical health centers recommendation system called CrowdHealth. The main contribution of clinical health centers recommendation system model is possible to create a win-win relationship between its users that can be citizens, doctors or entities linked to the government. In the literature we find some papers that require the use of crowdsourcing as a data source for recommendation clinical health centers approach. We have developed a prototype application based on clinical health centers recommendation system model to provide a vision of what would be an application based on the clinical health centers recommendation system model. To evaluate our model, we present a hypothetical scenario based on a possible application to measure the perception of users and the utility of clinical health centers. The scenarios described took into consideration the following criteria: (1) the distance from the user to the clinical center, (2) the evaluation of other users on the service received in the clinical centers and (3) the time of service reported by users. Thus we performed a simulation of user requests recommendations using a real dataset containing information of Foursquare. The file dataset haved 227428 check in’s in New York City, USA. The file was divided into two parts, where the first represented the textit check in ’s performed by users in clinical centers, and the second represented by requesting users polyclinics recommendations elsewhere. Thus, functions were created to simulate service time calculation and evaluation processes of polyclinics by users. Also users was simulated by ordering polyclinics recommendations elsewhere. So we measure precision and recall of health clinical centers suggested for each user. Average values obtained from 57.5 % and 61.33 % for precision and recall, respectively. Thus, our assessment that portrays clinical health centers recommended by an application based on CrowdHealth could increase beneficially the usefulness of clinical health centers recommended for users.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2017-03-03T16:51:21Z No. of bitstreams: 1 Sandro José Ribeiro da Silva_.pdf: 1958508 bytes, checksum: 927c5b673859ca465e35998f946b5a64 (MD5) / Made available in DSpace on 2017-03-03T16:51:21Z (GMT). No. of bitstreams: 1 Sandro José Ribeiro da Silva_.pdf: 1958508 bytes, checksum: 927c5b673859ca465e35998f946b5a64 (MD5) Previous issue date: 2016-11-03 / Nenhuma / O desenvolvimento de habilidades de programação de sistemas computacionais é uma necessidade crescente, devido ao amplo uso de recursos computacionais nas mais diversas áreas. Ao mesmo tempo, é conhecida a deficiência existente quanto à quantidade de profissionais sendo graduados nesta área. Alguns estudos indicam dificuldades dos estudantes e ao mesmo tempo falta de metodologias adequadas como possíveis elementos contribuindo para este contexto, corroborando a necessidade de desenvolvimento de pesquisas sobre o aprendizado de linguagens de programação. Entre as possíveis soluções para este problema de motivação, o desenvolvimento de um ambiente gamificado como ferramenta de ensino para linguagens de programação vem sendo explorado em projetos de pesquisa e também em opções comerciais. Uma das deficiências observadas nestas inciativas é justamente a falta de suporte aos professores para acompanhamento da evolução dos alunos. Buscando atender esta necessidade, o presente trabalho propõe um ambiente de apoio ao ensino de lógica de programação cujo diferencial é a inclusão de recursos de análise do comportamento dos alunos, voltados para o apoio ao professor. Desta forma, o trabalho proposto alia aos jogos eletrônicos o monitoramento on-line de suas etapas, através do uso de técnicas de mineração de dados educacionais. Com base em um framework para Gamificação, foi definido e desenvolvido um ambiente Web para ensino da linguagem Lua, com aspectos de Gamificação e Mineração de Dados Educacionais. Este ambiente foi utilizado em avaliações com alunos do ensino técnico, tendo sido observados resultados promissores nos aspectos motivacionais. As avaliações envolvendo a identificação de vantagens geradas para os professores com uso dos dados sobre o comportamento dos alunos também foram positivas e indicam um bom potencial para esta abordagem. / The development of computer systems programming skills is a growing necessity, due to the wide use of computational resources in different areas. At the same time, it is known the deficiency with respect to the amount of professionals being graduated in this area. Some studies indicates difficulties of students and lack of adequate methodologies as possible elements contributing to this context, supporting the need to develop research on learning programming languages. As a possible solution to this problem of motivation, the development of a gamified environment as a teaching tool for programming languages is being explored in research projects and also commercial options. One of the deficiencies observed in these initiatives is precisely the lack of support to teachers to follow up of the evolution of students, which consists in one of the differentials of the proposed work. In this way, the work integrates to electronic games the online monitoring through the use of educational data mining techniques. Based on the framework for gamification, has been defined and developed a web environment to the Lua language teaching, with aspects of gamification and education data mining. This environment has already been tested preliminarily with technical education students, being observed promising results. A new stage of development and testing is foreseen to deepening the identification of advantages generated for teachers with the use data on the behavior of students.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2017-04-19T16:13:06Z No. of bitstreams: 1 William Hart Oliveira_.pdf: 1603577 bytes, checksum: 0fec245f4abb48747a3fd395b8984212 (MD5) / Made available in DSpace on 2017-04-19T16:13:06Z (GMT). No. of bitstreams: 1 William Hart Oliveira_.pdf: 1603577 bytes, checksum: 0fec245f4abb48747a3fd395b8984212 (MD5) Previous issue date: 2016-07-19 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / PROSUP - Programa de Suporte à Pós-Gradução de Instituições de Ensino Particulares / A computação móvel pode ser definida como informação na ponta dos dedos a qualquer hora, em qualquer lugar e avança como uma realidade nas tarefas e atividades das pessoas, em decorrência da popularização e diversificação de dispositivos móveis e redes sem fio. Faz-se importante então, desenvolver modelos que permitam não somente compartilhar dados clínicos, mas sim aumentar a longevidade dos dados, melhorar a sua qualidade, tornar os dados independentes da tecnologia usada e cientes de contexto. Neste cenário, o presente trabalho, denominado PEPContextual, consiste em um modelo que faz uso da ciência da situação (situation awareness), explorando informações relacionad as com o ambiente ou com os próprios usuários e onde diversos tipos de contextos são aglomerados de forma a gerar uma visualização mais rica, complexa e inteligente, criando inúmeras possibilidades, dentre elas, a inferência de riscos associados ao paciente. A contribuição principal deste trabalho está relacionada na identificação da dados de PHR do paciente e do uso da ciência da situação a fim de que seja possível realizar inferências de sintomas e possíveis diagnósticos. O modelo foi avaliado de duas formas: A primeira avaliação por estudo de caso confirmou a expectativa de que a aplicação de ciência de situação, baseada no modelo de Endsley, possibilitaria que o modelo de forma ubíqua detectasse riscos associados ao paciente; A segunda avaliação contemplou a usabilidade do modelo, como facilidade de uso e utilidade onde a maioria dos utilizadores considerou que as informações inferidas podem auxiliar diariamente em tratamentos. / Ubuiquitous computing can be defined as information at anytime, anywhere and its grows as a reality on people‘s activities and daily tasks through the diversification and popularization of mobile devices and networks. So, it‘s important create models that allow not only share clinical data, but increase its quality, making it indifferent to technology and context aware. In this case, the present paper, called PEPContextual, is about a model that makes use of situation awareness, exploring environment related information and/or its own users, where several types of contexts are combined looking a richer, complex and smart visualization, creating several possibilities and, among that, the inferrence of associated risks to patients. The main contribution of this paper is related to make use of PHR data and situation awareness in order to inferrence symptoms and some diagnoses. The model was evaluated by two distinct ways: The first evaluation by case study has confirmed the proposal that situation awareness, based on Endsley model, makes possible that the model is capable to find associated risks through ubiquity; The second evaluation measured the usability of the model, as the ease of use and utility where most of users had considered that inferrence information can help on daily treatments.

Submitted by Mariana Dornelles Vargas (marianadv) on 2015-04-27T12:20:51Z No. of bitstreams: 1 redes_neurais.pdf: 847349 bytes, checksum: fb1a76a712ea4ee0f08c3e3f3e243fa7 (MD5) / Made available in DSpace on 2015-04-27T12:20:51Z (GMT). No. of bitstreams: 1 redes_neurais.pdf: 847349 bytes, checksum: fb1a76a712ea4ee0f08c3e3f3e243fa7 (MD5) Previous issue date: 2009 / PROSUP - Programa de Suporte à Pós-Gradução de Instituições de Ensino Particulares / As técnicas de perfilagem geofísica e de testemunhagem, utilizadas na identificação de litologias, representam alto custo financeiro e envolvem uma quantidade considerável de tempo por parte de um especialista. Nesse sentido, este trabalho propõe a modelagem e aplicação de um método alternativo de classificação litológica, através de Redes Neurais Artificiais (RNAs), para auxiliar no processo de interpretação de dados geofísicos. A área de estudo da aplicação é a Jazida do Leão, localizada em sua grande parte nos municípios de Rio Pardo, Minas do Leão e Butiá (RS). O conjunto de treinamento e de validação da RNA contém informações de oito furos de sonda provenientes das Formações Palermo e Rio Bonito. As variáveis de entrada incluem dados de profundidade e informações geofísicas de perfis raios gama, potencial espontâneo, resistência e resistividade. Para todos os experimentos, as litologias a serem classificadas foram: arenito, siltito e carvão. O modelo de rede neural utilizado foi o de múltiplas camadas (MLP) alimentadas adiante (feedforward). As redes foram treinadas com o algoritmo de retropropagação de Levenberg- Marquardt e Resilient Backpropagation. Obteve-se uma taxa de acertos de aproximadamente 80% na classificação. / The techniques of geophysical logging and core descriptions, used on lithology identification, represent a high financial cost and involve a considerable amount of time from a specialist. On that direction, the main objective of this research is to propose an alternative method of lithological classification, through Artificial Neural Networks (ANNs), to assist the process of geophysical data interpretation. The study area is located in Leão coal field, where a major part of its territory is inside the municipalities of Rio Pardo, Minas do Leão and Butiá (RS). The set of ANN training and validation contain information of eight boreholes coming from Palermo and Rio Bonito formations. The input variables include depth data and geophysical information of gamma-ray profiles, spontaneous potential, resistance and resistivity. For all experiments, the lithologies to be classified were: sandstone, silt and coal. The neural network model utilized was feedforward multilayer perceptron (MPL). Networks were trained by Levenberg-Marquardt and Resilient backpropagation algorithms. A success rate of approximately 80% was obtained on classification.

Submitted by Mariana Dornelles Vargas (marianadv) on 2015-04-27T19:08:59Z No. of bitstreams: 1 deteccao_faces.pdf: 3878917 bytes, checksum: 2fbf8222ef54d5fc0b1df0bf3b3a5292 (MD5) / Made available in DSpace on 2015-04-27T19:08:59Z (GMT). No. of bitstreams: 1 deteccao_faces.pdf: 3878917 bytes, checksum: 2fbf8222ef54d5fc0b1df0bf3b3a5292 (MD5) Previous issue date: 2009-03-20 / HP - Hewlett-Packard Brasil Ltda / As câmeras de vídeo já fazem parte dos novos modelos de interação entre o homem e a máquina. Através destas, a face e a pose da cabeça podem ser detectadas promovendo novos recursos para o usuário. Entre o conjunto de aplicações que têm se beneficiado deste tipo de recurso estão a vídeo-conferência, os jogos educacionais e de entretenimento, o controle de atenção de motoristas e a medida de foco de atenção. Nesse contexto insere-se essa proposta de mestrado, a qual propõe um novo modelo para detectar e rastrear a pose da cabeça a partir de uma seqüência de vídeo obtida com uma câmera monocular. Para alcançar esse objetivo, duas etapas principais foram desenvolvidas: a detecção da face e o rastreamento da pose. Nessa etapa, a face é detectada em pose frontal utilizando-se um detector com haar-like features. Na segunda etapa do algoritmo, após a detecção da face em pose frontal, atributos específicos da mesma são rastreados para estimar a variação da pose de cabeça. / Video cameras are already part of the new man-machine interaction models. Through these, the face and pose of the head can be found, providing new resources for users. Among the applications that have benefited from this type of resource are video conference, educational and entertainment games, and measurement of attention focus. In this context, this Master's thesis proposes a new model to detect and track the pose of the head in a video sequence captured by a monocular camera. To achieve this goal, two main stages were developed: face detection and head pose tracking. The first stage is the starting point for tracking the pose. In this stage, the face is detected in frontal pose using a detector with Haar-like features. In the second step of the algorithm, after detecting the face in frontal pose, specific attributes of the read are tracked to estimate the change in the pose of the head.

Submitted by Maicon Juliano Schmidt (maicons) on 2015-04-28T19:02:32Z No. of bitstreams: 1 Agnaldo Martins Rodrigues.pdf: 3935190 bytes, checksum: 46b1f019444554c37a2d064289176869 (MD5) / Made available in DSpace on 2015-04-28T19:02:32Z (GMT). No. of bitstreams: 1 Agnaldo Martins Rodrigues.pdf: 3935190 bytes, checksum: 46b1f019444554c37a2d064289176869 (MD5) Previous issue date: 2014-01-31 / Nenhuma / Com o uso crescentedas tecnologias de informação e comunicação na área educacional, torna-se cada vez mais necessária a criação de ferramentas de apoio ao professor, capazes de auxiliá-lo no planejamento e execução das aulas, bem como no acompanhamento do processo de ensino-aprendizagem. Em alguns casos, o acesso a essas tecnologias, aliado ao conhecimento técnico limitado por parte dos docentes, pode comprometera maneira com que os conteúdos são desenvolvidos e utilizados pelos alunos. Essa é a principal área de pesquisa da presente dissertação, que se propõe a ajudar a tornar mais proficiente esse processo, pelo menos no contexto do ensino de dedução natural na disciplina de Lógica, através da criação de uma ferramenta inteligente de autoria e acompanhamento de uso de materiais educacionais, na forma de objetos de aprendizagem. A ferramenta, denominada SAAPIEnS,torna possível que o professor elabore objetos de aprendizagem customizáveis no domínio específico de dedução natural na lógica proposicional. Com base em um conjunto de ações, regradas por estratégias de ensino, almeja-se também instrumentalizar o docente no acompanhamento das atividades realizadas pelos alunos no ambiente computacional, apoiando o processo de avaliação do nível dedesempenho alcançado pelos alunos. Isso é feito por meio de um subsistema que oferece serviços de visualização e análise de dos conjuntos de interações dos alunos com os objetos de aprendizagem. A ferramenta é disponibilizada tanto via Web quanto via local (desktop), visando a uma maior flexibilidade para professor e alunos. Os possíveis impactos dessa ferramenta foram avaliados através de cenários hipotéticos de uso, que ilustram as principais contribuições possíveis para esse tipo de ferramenta. / With the increasing use of information and communication technologies in education, it becomes necessary to create supporting tools which can assist teachers in planning and implementing lessons as well as monitoring the process of teaching and learning. In some cases, access to these technologies, coupled with limited technical knowledge on the part of teachers, can compromise the way the contents are developed and used by students. This is the main research area of this dissertation, which aims to make this process more proficient, at least in the context of teaching natural deduction in the discipline of logic, through the creation of an intelligent authoring tool of learning objects, which also allows the teacher to follows the use of these educational materials by students. The tool, called SAAPIEnS, makes it possible for the teacher to prepare customizable learning objects in the specific domain of natural deduction in propositional logic. Based on a set of actions, regulated by a set of teaching strategies, the goal is to help teachers to monitor the activities performed by students in the computing environment, supporting the process of assessing the level of performance achieved by the students. This is done by means of a subsystem, which offers visualization and analysis service of the sets of interactions of students with learning objects. The tool supports Web and local (desktop) interfaces, giving greater flexibility for teachers and students. The possible impacts of this tool were evaluated through hypothetical usage scenarios that illustrate the main possible contributions to this type of tool.

Submitted by Mariana Dornelles Vargas (marianadv) on 2015-05-05T18:45:18Z No. of bitstreams: 1 AgentSpeak.pdf: 2033275 bytes, checksum: 00fdf0cf1d5436d313d43434cbc09f20 (MD5) / Made available in DSpace on 2015-05-05T18:45:18Z (GMT). No. of bitstreams: 1 AgentSpeak.pdf: 2033275 bytes, checksum: 00fdf0cf1d5436d313d43434cbc09f20 (MD5) Previous issue date: 2011 / Nenhuma / Quando este trabalho foi iniciado não era possível desenvolver de forma prática e direta softwares com agentes inteligentes onde suas crenças poderiam ser probabilidades relacionadas com seu ambiente, visto que as definições formais das linguagens disponíveis não previam tal possibilidade. Quando essa necessidade precisava ser levada em conta e implementada, devia-se lançar mão de técnicas avançadas de programação onde deveria haver a integração de ambientes de desenvolvimentos e linguagens, a fim de tornar a implementação factível. Este trabalho teve como objetivo o desenvolvimento de uma nova linguagem de programação orientada a agentes denominada AgentSpeak(PL), baseada em AgentSpeak(L), com o intuito de agregar o conceito de crenças probabilísticas através do uso de Redes Bayesianas sendo implementada através de uma extensão da ferramenta de programação Jason. / When this work was started it was not possible to develop so practical and straightforward software with intelligent agents where their beliefs could likely be related to their environment, as the settings formal language available did not foresee such a possibility. When this necessity had to be taken into account and implemented, one should resort of advanced programming techniques where there should be integration of development environments and languages in order to make the implementation feasible. This study aimed to develop a new language agent oriented programming called AgentSpeak (PL), based on AgentSpeak (L) with the intention of creating the concept of probabilistic beliefs through the use of Bayesian networks being implemented through an extension Jason's programming tool.

Submitted by Mariana Dornelles Vargas (marianadv) on 2015-03-25T13:57:02Z No. of bitstreams: 1 4iPay.pdf: 3380679 bytes, checksum: 49edaff25098492ab3c46fcf4aad082b (MD5) / Made available in DSpace on 2015-03-25T13:57:02Z (GMT). No. of bitstreams: 1 4iPay.pdf: 3380679 bytes, checksum: 49edaff25098492ab3c46fcf4aad082b (MD5) Previous issue date: 2012 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Este trabalho tem por objetivo apresentar um modelo de arquitetura e usabilidade para um sistema de pagamento móvel (Mobile Payment System), considerando as premissas de independência de dispositivo, de localização, de operadora de telefonia móvel e de administradora financeira para suprir as necessidades de efetivar pagamentos e recebimentos de qualquer natureza em ambientes de comércio ubíquo (Ubiquitous Commerce). O trabalho inicialmente descreve a motivação, os objetivos e os conceitos fundamentais sobre os quais se baseia a proposta do modelo. A seguir são elencados os principais trabalhos relacionados e uma análise comparativa detalhada é realizada, derivando as características mais importantes a serem consideradas no modelo proposto. Em seguida, é proposto um modelo de pagamento móvel, denominado 4iPay, onde são detalhados os objetivos, arquitetura, recursos e a proposta técnico-científica de comércio eletrônico em ambientes ubíquos. Na proposição do modelo foi considerada a convergência dos trabalhos relacionados analisados no que tange à ubiquidade, unicidade, universalidade e unissonância. Assim, o modelo 4iPay pretende reunir as melhores características, inovando e melhorando em alguns aspectos relevantes ao comércio ubíquo de fato. O modelo proposto visa propor uma solução diferenciada em termos de arquitetura, modelo de negócio, usabilidade, baixo consumo de banda e alto desempenho nas transações de pagamento e recebimento, em relação às propostas atuais, levando em consideração, nas transações comerciais eletrônicas móveis, questões como independência de dispositivo, localização física, segurança e confiabilidade, além de outras características expostas ao longo do trabalho, como otimização no uso de protocolos de comunicação e flexibilidade na utilização de conexões locais ou remotas. Também são descritos cenários efetivos de uso de onde e como o modelo 4iPay pode ser aplicado. Para tanto é apresentado o protótipo desenvolvido para avaliar o modelo. Por fim, são apresentados os resultados obtidos na avaliação dos cenários, nas avaliações de desempenho da aplicação e na pesquisa de campo de aceitação do modelo proposto. / This work aims at presenting a usability and architectural model for a mobile payment system. In our model, we assume independence of devices, of location, of mobile operator, and of administrator, to allow all kinds of payment in ubiquitous environments (Ubiquitous Commerce). In this work, we begin describing motivation, goals, and fundamental concepts, in which the proposed model is based. Next, we present related works and a detailed comparative analysis of those projects, deriving the most important features. Later, we propose a model of mobile payment, called 4iPay, based on those features. We detail the 4iPay model, architecture, features, and the technical-scientific proposal of an electronic commerce system in ubiquitous environments. We consider, in the proposed model, the convergence of various related works in terms of ubiquity, unity, universality, and unison. Thus, 4iPay aims at bringing together the best features, innovating and improving in some aspects. In the model, we propose a distinguished solution in terms of architecture, business model, usability, low bandwidth consumption and high performance in payment and receipt transactions. We also consider issues such as device independence, physical location, security and reliability, and other features related to mobile electronic commerce transactions, such as optimizing communications protocols usage and flexibility in local or remote connections. We also present the effective use in scenarios of where and how 4iPay can be applied. For this purpose we present the prototype developed to evaluate the model. Finally, we present the scenarios assessment results, the application performance evaluation and the proposed model acceptance survey.