Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-08-01T20:49:02Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Francisco do Nascimento Junior.pdf: 1104753 bytes, checksum: 794ee127f9a27d065eb71104d4849c0e (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-08-03T19:38:31Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Francisco do Nascimento Junior.pdf: 1104753 bytes, checksum: 794ee127f9a27d065eb71104d4849c0e (MD5) / Made available in DSpace on 2018-08-03T19:38:31Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Francisco do Nascimento Junior.pdf: 1104753 bytes, checksum: 794ee127f9a27d065eb71104d4849c0e (MD5) Previous issue date: 2017-02-17 / CAPES / The importance of structural variants as a source of phenotypic variation has grown in recent years. At the same time, the number of tools that detect structural variations using Next- Generation Sequencing (NGS) has increased considerably with the dramatic drop in the cost of sequencing in last ten years. Then evaluating properly the detected structural variants has been featured prominently due to the uncertainty of such alterations, bringing important implications for researchers and clinicians on scrutinizing thoroughly the human genome. These trends have raised interest about careful procedures for assessing the outcomes from variant calling tools. Here, we characterize the relevant technical details of the detection of structural variants, which can affect the accuracy of detection methods and also we discuss the most important caveats related to the tool evaluation process. This study emphasizes common assumptions, a variety of possible limitations, and valuable insights extracted from the state-of-the-art in CNV (Copy Number Variation) detection tools. Among such points, a frequently mentioned and extremely important is the lack of a gold standard of structural variants, and its impact on the evaluation of existing detection tools. Next, this document describes a biclustering-based methodology to screen a collection of structural variants and provide a set of reliable events, based on a defined equivalence criterion, that is supported by different studies. Finally, we carry out experiments with the proposed methodology using as input data the Database of Genomic Variants (DGV). We found relevant groups of equivalent variants across different studies. In summary, this thesis shows that there is an alternative approach to solving the open problem of the lack of gold standard for evaluating structural variants. / A importância das variantes estruturais como fonte de variação fenotípica tem se proliferado nos últimos anos. Ao mesmo tempo, o número de ferramentas que detectam variações estruturais usando Next-Generation Sequencing (NGS) aumentou consideravelmente com a dramática queda no custo de seqüenciamento nos últimos dez anos. Neste cenário, avaliar corretamente as variantes estruturais detectadas tem recebido destaque proeminente devido à incerteza de tais alterações, trazendo implicações importantes para os pesquisadores e clínicos no exame minucioso do genoma humano. Essas tendências têm impulsionado o interesse em procedimentos criteriosos para avaliar os variantes identificados. Inicialmente, caracterizamos os detalhes técnicos relevantes em torno da detecção de variantes estruturais, os quais podem afetar a precisão. Além disso, apresentamos advertências fundamentais relacionadas ao processo de avaliação de uma ferramenta. Desta forma, este estudo enfatiza questões como suposições comuns à maioria das ferramentas, juntamente com limitações e vantagens extraídas do estadoda- arte em ferramentas de detecção de variantes estruturais. Entre esses pontos, há uma muito questão bastante citada que é a falta de um gold standard de variantes estruturais, e como sua ausência impacta na avaliação das ferramentas de detecção existentes. Em seguida, este documento descreve uma metodologia baseada em biclustering para pesquisar uma coleção de variantes estruturais e fornecer um conjunto de eventos confiáveis, com base em um critério de equivalência definido e apoiado por diferentes estudos. Finalmente, realizamos experimentos com essa metodologia usando o Database of Genomic Variants (DGV) como dados de entrada e encontramos grupos relevantes de variantes equivalentes em diferentes estudos. Desta forma, esta tese mostra que existe uma abordagem alternativa para o problema em aberto da falta de gold standard para avaliar variantes estruturais.

CASSIMIRO, Débora Virginia Ramos Barbosa, também é conhecida em citações bibliográficas por: BARBOSA, Débora Virginia Ramos / Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-08-01T19:54:43Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Débora Virginia Ramos Barbosa Cassimiro.pdf: 1464670 bytes, checksum: e7317248b198059368893405ca486fe0 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-08-13T18:47:54Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Débora Virginia Ramos Barbosa Cassimiro.pdf: 1464670 bytes, checksum: e7317248b198059368893405ca486fe0 (MD5) / Made available in DSpace on 2018-08-13T18:47:55Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Débora Virginia Ramos Barbosa Cassimiro.pdf: 1464670 bytes, checksum: e7317248b198059368893405ca486fe0 (MD5) Previous issue date: 2017-03-08 / CNPq / Nesta dissertação, estamos preocupados com o problema de contar objetos matemáticos levando-se em conta as suas simetrias. Dois teoremas importantes na Área de Análise Combinatória são o Lema de Burnside e o Teorema da Enumeração de Pólya. Ambos fornecem uma fórmula matemática que permite calcular o número de objetos matemáticos distintos levando-se em conta as simetrias. O primeiro destes utiliza o conceito de órbitas para contar o número de objetos matemáticos. Embora o Lema de Burnside seja conceitualmente mais simples, ele apresenta a desvantagem de ter um alto custo computacional. O Teorema de Pólya utiliza o conceito de índice de ciclos e não só reduz a quantidade de cálculos necessária como também permite a resolução de problemas mais complexos. Além disso, o conceito de índice de ciclos nos trás informação sobre cada padrão distinto, o que permite uma descrição mais completa do problema. A partir de definições básicas tomadas da Teoria dos Grupos, nós fornecemos uma apresentação da teoria que leva a demonstração do Teorema de Pólya. Concluímos com diversas aplicações desta teoria à diferentes tipos de problemas para ilustrar este conceito. / In this dissertation, we are concerned with the problem of counting mathematical objects with regards to symmetry. Two major theorems in Combinatorics are Burnside’s Lemma and Pólya’s Enumeration Theorem. Both theorems yield a formula that allows one to compute the number of distinct mathematical objects with regards to symmetry. Although Burnside’s Lemma is conceptually simpler, it presents a disadvantage in that it has a high computational cost. Pólya’s Enumeration Theorem uses the concept of cycle index and not only reduces the required amount of calculations but it also allows for more complex problems to be solved. Moreover, the concept of cycle index brings us information on each distinct pattern, which allows for a more complete description of the problem. Building up from basic definitions taken from Group Theory, a presentation of the theory leading up to the demonstration of Pólya’s Enumeration Theorem is given. We conclude with several applications of this theory in different types of problems to illustrate these concepts.

Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-08-07T20:54:19Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO João Marcelo Pontes Ferraz.pdf: 12749682 bytes, checksum: 509eb1a8bdc3ec0e0cbb275d82d360d9 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-08-15T19:24:48Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO João Marcelo Pontes Ferraz.pdf: 12749682 bytes, checksum: 509eb1a8bdc3ec0e0cbb275d82d360d9 (MD5) / Made available in DSpace on 2018-08-15T19:24:48Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO João Marcelo Pontes Ferraz.pdf: 12749682 bytes, checksum: 509eb1a8bdc3ec0e0cbb275d82d360d9 (MD5) Previous issue date: 2015-08-28 / CAPES / Em um plano pedagógico de modalidade mista, que ocorre a distância com encontros presenciais esporádicos, as interações no ambiente virtual de aprendizagem (AVA) são de suma importância para a continuidade do curso. Dentro dos AVA os fóruns se destacam como espaços compartilhados de debate e troca de conhecimentos. Portanto, no contexto de EAD é fundamental que os aprendizes interajam neste espaço virtual. E, para tal, é necessário que estes tenham conhecimento acerca dos acontecimentos na plataforma virtual. Dessa forma, tendo como fundamento os estudos de percepção social em CSCL de Echeverría, Cobos e Morales (2014), a pesquisa compreende que a percepção dos acontecimentos sociais no espaço compartilhado atua como um fator incentivador sobre a participação dos aprendizes nos fóruns. Assim, a presente pesquisa apresenta o processo de desenvolvimento de um aplicativo móvel de notificações para interações em fóruns, guiado pela metodologia de Design Centrado no Usuário. O processo gerou ao todo dois protótipos funcionais e quatro versões da interface em um processo iterativo e próximo a usuários reais. Ademais, o protótipo refinado de alta fidelidade foi testado em um experimento formal, sob condições de uso real, em um curso de modalidade mista. Durante o experimento em campo, foram usados diários para que os aprendizes registrassem suas experiências de aprendizado ao longo do curso, e ao fim deste processo foram executadas entrevistas narrativas com os participantes. Os diários e entrevistas nos deu uma compreensão profunda das experiências dos aprendizes. Tal perspectiva possibilitou entender o contexto de forma mais profunda, bem como desenvolver uma nova proposta de interface, influenciada pelas análises da fase final do experimento e apresentada ao fim do trabalho. / On blended-learning, interactions in the learning management system (LMS) are very important for the continuity of the pedagogical course. Within the LMS, forums stand out as shared spaces for discussion and exchange of knowledge. Therefore, for the b-learning context it is essential that learners interact in virtual space. So, it is necessary that they have awareness of events in the virtual platform. Thus, taking as basis Echeverría, Cobos e Morales (2014) studies on social awareness in CSCL, the research understands that perception of social events in the shared space acts as a motivational factor for learner participation in such forums. So, this research presents the development process of a mobile notification app for interactions in forums, guided by the methodology of User-Centered Design. The process generated a total of two functional prototypes and four versions of the interface in an iterative process, close to real users. Moreover, the refined high fidelity prototype was tested in a formal experiment under actual use conditions, in a b-learning course. During the field experiment we used journals so students could write about their learning experiences along the course and at the end of this process interviews were performed with the participants. The journals and interviews given us a deep understanding of the learners experiences. This perspective made it possible to understand the context and develop a new interface, influenced by the analysis of the final phase of the experiment and presented at the end of this dissertation.

Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-08-14T18:44:00Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Lucas Silva Figueiredo.pdf: 2582014 bytes, checksum: 8b62e84f68d1d34bf068e009adf7adf4 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-08-16T20:00:39Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Lucas Silva Figueiredo.pdf: 2582014 bytes, checksum: 8b62e84f68d1d34bf068e009adf7adf4 (MD5) / Made available in DSpace on 2018-08-16T20:00:39Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Lucas Silva Figueiredo.pdf: 2582014 bytes, checksum: 8b62e84f68d1d34bf068e009adf7adf4 (MD5) Previous issue date: 2017-02-23 / FACEPE / In-air gestures are part of our everyday communications. Giving a “thumbs up,” pointing to an object of interest or raising a hand to call for attention are just a few examples. Current vision-based technologies such as the Microsoft Kinect, the Leap Motion have shown real-time tracking capabilities that enable a large range of developers and companies to explore these gestures on human-computer interactive solutions. We approach the process of building these interactions. Our efforts are to understand and aid designers, developers, and researchers in the field of Human-Computer Interaction (HCI) to build in-air gestural interfaces. With that goal in mind, we provide a set of techniques and tools to explore and prototype concepts of possible gestural interactions for a given target task. We divide the toolset into two main phases: the conception of the gestures to be used; and the prototype of solutions using these gestures. For the conception phase, we propose the use of a set of creative techniques. Moreover, we introduce a pair of web catalogs (as tools) to be used for analysis and inspiration while suggesting and creating new gestural interactions. By reviewing the literature regarding how researchers define the used gestures, we cataloged several examples according to a developed taxonomy. We also performed a similar study and built a catalog of in-air gestures present on Science Fiction (Sci-Fi) content. Sci-Fi contents, although not representing real interfaces, show potential while exploring innovative concepts that can influence the creation of new interfaces. For the prototype phase, we focused on the steps of producing and testing low-fidelity and high-fidelity prototypes for the recognition of the conceptualized gestures. For low-fidelity prototyping, we propose and validate the use of the Wizard of Oz technique, which enables fast testing of different concepts. For high-fidelity prototyping, we introduce a recognition tool called Prepose, which aims the easiness of use for creating and editing the gesture recognizers. Prepose allows a gesture to be written in natural language making it easy for developers and non-developers to read, write and edit the target gestures. At the same time, Prepose allows a gesture to be automatically written with one sample of its execution, speeding up the time to build recognizers for complex gestures. At last, we also conducted a pilot study to demonstrate the use of the toolset. In this study, we generated a set of 32 interaction concepts that was incrementally reduced while using the proposed techniques for selection and prototyping. In the end, the application of the toolset resulted in a high-fidelity prototype for the best-evaluated interaction concept. / O uso de gestos ao ar (in-air gestures) é parte do cotidiano da comunicação entre seres humanos. Levantar o polegar para expressar concordância, apontar para um objeto de interesse ou levantar a mão para atrair a atenção são somente alguns exemplos. Tecnologias atuais baseadas em visão computacional como o Microsoft Kinect e o Leap Motion demonstram a capacidade de restrear o usuário em tempo real, habilitando desenvolvedores e empresas a explorar gestos como forma de interação entre seres humanos e máquinas. Neste trabalho nós abordamos o processode construir tais interações. Nossos esforços são direcionados a entender e facilitar o processo de construção de interfaces gestuais para designers, desenvolvedores e pesquisadores do campo de Interação Humano-Computador. Com este objetivo em mente, nós introduzimos um conjunto de técnicas e ferramentas, para explorar e prototipar conceitos de possíveis interações gestuais para determinada tarefa. Este conjunto é dividido em duas fases principais: a concepção dos gestos a serem utilizados; e a construção de protótipos destes gestos. Para a fase de concepção nós propomos o uso de um conjunto de técnicas criativas. Em adição, nós introduzimos dois catálogos web para serem usados para análise e inspiração durante a criação de novas interações gestuais. Ao revisar a literatura relativa ao uso de gestos por pesquisadores, nós catalogamos diversos exemplos do uso de gestos. Realizamos uma revisão similar (também apresentada em um catálogo web) do uso de gestos em conteúdos de Ficção Científica. Estes conteúdos, apesar de não representarem interfaces reais, apresentam potencial ao explorar conceitos inovadores que podem influenciar a criação de novas interfaces. Para a fase de construção do protótipo nós focamos nas etapas relativas à produção e testes de protótipos de baixa e alta fidelidade. Para os protótipos de baixa fidelidade nós propomos o uso da técnica do Mágico de Oz, a qual permite testar rapidamente diversos conceitos. Para a prototipação de alta fidelidade nós apresentamos uma ferramenta para reconhecimento de gestos chamada Prepose. Prepose permite que cada gesto seja escrito em linguagem natural (usando o Inglês como idioma) tornando assim a atividade de construir e editar reconhecedores de gesto acessível para desenvolvedores e não-desenvolvedores. Ao mesmo tempo, Prepose permite que um gesto seja transcrito automaticamente através de um treinamento que requer uma única execução, acelerando o processo de construir reconhecedores de gestos complexos. Por fim, conduzimos um estudo piloto para demonstrar o uso das técnicas e ferramentas propostas. Neste estudo, geramos um conjunto de 32 conceitos de interações gestuais que foi incrementalmente reduzido através das técnicas de seleção e prototipação propostas. Ao fim, obtivemos um protótipo de alta-fidelidade com o conceito de interação mais bem avaliado.

Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-08-15T19:38:02Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Leonilson de Araújo Barbosa.pdf: 7891396 bytes, checksum: 67a2d0f43020997575df7bdb11960efe (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-08-21T22:03:26Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Leonilson de Araújo Barbosa.pdf: 7891396 bytes, checksum: 67a2d0f43020997575df7bdb11960efe (MD5) / Made available in DSpace on 2018-08-21T22:03:26Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Leonilson de Araújo Barbosa.pdf: 7891396 bytes, checksum: 67a2d0f43020997575df7bdb11960efe (MD5) Previous issue date: 2016-09-09 / Quando pensamos em testes de software para dispositivos móveis como smartphones e tablets, o grande desafio das empresas é encontrar meios mais econômicos e eficientes para testar as aplicações que são desenvolvidas para esse tipo de produto. Existem também aspectos dentro do processo de testes que ainda estão deficientes devido à grande complexidade que os novos smartphones apresentam como, por exemplo: uma interface baseada em gestos, controle de voz, sensores de movimentos, sensores de posição, GPS e outros. Testar sensores de smartphones como acelerômetro e giroscópio requer novas técnicas de validação, além de ser caro quando executado manualmente. As execuções de testes de rotação e translação eventualmente têm que ser feitas no aparelho e não em emuladores. Atualmente pouco se sabe sobre o uso de ferramentas que substituam o trabalho braçal por métodos automáticos. Sendo assim, este trabalho propõe o desenvolvimento e uso de um braço robótico articulado e uma aplicação Android de controle e testes com o intuito de testar o comportamento do software e do hardware durante as mudanças de orientação para os modos retrato e paisagem. O projeto do braço robótico foi modelado através de diagramas SysML e implementado integrando tecnologias como Android, servomotores, Bluetooth e Arduino. Também propusemos métricas a serem usadas no projeto, mas que também são aplicáveis a qualquer projeto de automação de teste de caixa-preta robotizada. Estimamos as medições destas métricas para o AR(m)obo Test e concluímos que é possível introduzir manipuladores robóticos para validar o comportamento do software através das mais variadas mudanças de orientação do smartphone de uma maneira lógica, segura, precisa e com retorno ao investimento em poucos meses. / When we think about performing tests for mobile devices such as smartphones and tablets, the companies biggest problem is to find more efficient and less expensive ways to test their applications. In addition, some aspects of the software testing process lack previous knowledge due to the level of complexity posed by the new smartphones interfaces such as gesture based userinterface, voice control, moving sensors, position sensor and GPS. Executing tests on smartphones sensors such as accelerometer and gyroscope requires new validation techniques. In addition, these techniques are usually expensive, especially when performing manual-based tests. The execution of both rotation and translation tests must be performed using the device itself rather than using emulators. Nowadays there has been little scientific research aimed at understanding how to replace the manual work for automatic methods. Therefore, in this work we propose the development and use of an articulated robotic arm as well as an Android application to control the test execution. The arm was design in SysML. In addition, technologies such as Android, servomotors, bluetooth and Arduino were used during the implementation phase. We also propose metrics to be used in the project. These metrics are applicable to any sort of robotic black-box automation project. We estimated the values for the metrics proposed and showed that the return on investment happens after few months.

Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-08-20T19:24:25Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO André Luis Didier.pdf: 2994400 bytes, checksum: 1f1900b560b2718e135b5c6a0bd6f0b8 (MD5) / Rejected by Alice Araujo (alice.caraujo@ufpe.br), reason: on 2018-08-20T22:58:29Z (GMT) / Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-08-20T22:59:40Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO André Luis Didier.pdf: 2994400 bytes, checksum: 1f1900b560b2718e135b5c6a0bd6f0b8 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-08-24T21:21:00Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO André Luis Didier.pdf: 2994400 bytes, checksum: 1f1900b560b2718e135b5c6a0bd6f0b8 (MD5) / Made available in DSpace on 2018-08-24T21:21:00Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO André Luis Didier.pdf: 2994400 bytes, checksum: 1f1900b560b2718e135b5c6a0bd6f0b8 (MD5) Previous issue date: 2017-03-08 / Fault modelling is essential to anticipate failures in critical systems. Traditionally, Static Fault Trees are employed to this end, but Temporal and Dynamic Fault Trees have gained evidence due to their enriched power to model and detect intricate propagation of faults that lead to a failure. In a previous work, we showed a strategy based on the process algebra CSP and Simulink models to obtain fault traces that lead to a failure. From the fault traces we discarded the ordering information to obtain structure expressions for Static Fault Trees. Instead of discarding such an ordering information, it could be used to obtain structure expressions of Temporal or Dynamic Fault Trees. In this work we present: (i) an algebra of temporal faults (with a notion of fault propagation) to analyse systems’ failures, and prove that it is indeed a Boolean algebra, and (ii) a parametrized activation logic to express nominal and erroneous behaviours, including fault modelling, provided an algebra and a set of operational modes. The algebra allows us to inherit Boolean algebra’s properties, laws and existing reduction techniques, which are very beneficial for fault modelling and analysis. With expressions in the algebra of temporal faults we allow the verification of safety properties based on Static, Temporal or Dynamic Fault Trees. The logic created in this work can be combined with other algebras beyond those shown here. Being used with the algebra of temporal faults it is intended to help analysts to consider all possible situations in complex expressions with order-related operators, avoiding missing subtle (but relevant) faults combinations. Furthermore, our algebra of temporal faults tackles the NOT operator which has been left out in other works. We illustrate our work on simple but real case studies, some supplied by our industrial partner EMBRAER. Isabelle/HOL was used to mechanize the theorems proofs of the algebra of temporal faults. / A modelagem de falhas é essencial na antecipação de defeitos em sistemas críticos. Tradicionalmente, Árvores de Falhas Estáticas são empregadas para este fim, mas Árvores de Falhas Temporais e Dinâmicas têm ganhado evidência devido ao seu maior poder para modelar e detectar propagações complexas de falhas que levam a um defeito. Em um trabalho anterior, mostramos uma estratégia baseada na álgebra de processos CSP e modelos Simulink para obter rastros (sequências) de falhas que levam a um defeito. A partir dos rastros de falhas nós descartamos a informação de ordenamento para obter expressões de estrutura para Ávores de Falhas Estáticas. Ao contrário de descartar tal informação de ordenamento, poderíamos usá-la para obter expressões de estrutura para Árvores de Falhas Temporais ou Dinâmicas. No presente trabalho apresentamos: (i) uma álgebra temporal de falhas (com noção de propagação de falhas) para analisar defeitos em sistemas e provamos que ela é de fato uma álgebra Booleana, e (ii) uma lógica de ativação parametrizada para expressar comportamentos nominais e de falha, incluindo a modelagem de falhas a partir de uma álgebra e um conjunto de modos de operação. A álgebra permite herdar as propriedades de álgebras Booleanas, leis e técnicas de redução existentes, as quais são muito benéficas para a modelagem e análise de falhas. Com expressões na álgebra temporal de falhas nós permitimos a verificação de propriedades de segurança (safety) baseadas em Árvores de Falhas Estáticas, Temporais ou Dinâmicas. A lógica criada neste trabalho pode ser usada com outras álgebras além das apresentadas. Sendo usada em conjunto com a álgebra temporal de falhas, tem a intenção de ajudar os analistas a considerar todas as possíveis situações em expressões complexas com operadores relacionados ao ordenamento das falhas, evitando esquecer combinações de falhas sutis (porém relevantes). Além disso, nossa álgebra temporal de falhas trata operadores NOT, que têm sido deixados de fora em outros trabalhos. Nós ilustramos nosso trabalho com alguns estudos de caso simples, mas reais, fornecidos pelo nosso parceiro industrial, a EMBRAER. Isabelle/HOL foi utilizado para a mecanização das provas dos teoremas da álgebra temporal de falhas.

LIMA, Simone Cristiane dos Santos, também é conhecida em citações bibliográficas por: SANTOS, Simone Cristiane dos, conforme citações em publicações. / Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-08-22T19:19:24Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Tiago Carvalho Vidal.pdf: 3555975 bytes, checksum: f866151ed9081dbb0d59fe392d508b71 (MD5) / Rejected by Alice Araujo (alice.caraujo@ufpe.br), reason: on 2018-08-29T21:56:12Z (GMT) / Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-08-29T22:08:47Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Tiago Carvalho Vidal.pdf: 3555975 bytes, checksum: f866151ed9081dbb0d59fe392d508b71 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-09-05T20:17:25Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Tiago Carvalho Vidal.pdf: 3555975 bytes, checksum: f866151ed9081dbb0d59fe392d508b71 (MD5) / Made available in DSpace on 2018-09-05T20:17:25Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Tiago Carvalho Vidal.pdf: 3555975 bytes, checksum: f866151ed9081dbb0d59fe392d508b71 (MD5) Previous issue date: 2016-02-12 / O método Problem-Based Learning ou PBL (termo usado na língua inglesa) surge como alternativa para tratar o desenvolvimento de competências e habilidades para resolução de problemas, requeridas pelo mercado de trabalho atual. No entanto, estudos sinalizam que devido à subjetividade dos conceitos somada à ausência de guias e instrumentos eficazes para sua aplicação, o planejamento de ensino de PBL fica comprometido e dependente da capacidade do docente. Os trabalhos relacionados apontam a existência de diretrizes para planejamento de infraestrutura de suporte para os cursos/disciplinas em PBL, no entanto, observa-se uma lacuna de instrumentos que contemplem o planejamento de ensino propriamente dito, considerando o exercício dos princípios PBL durante o processo PBL. O presente trabalho tem como objetivo propor uma abordagem de planejamento de ensino PBL apoiado pelo Backward Design Model que conduzirá o docente a estruturar o planejamento de modo a contemplar processos e princípios PBL, maximizando assim, a aderência das atividades propostas à cultura PBL. O método de avaliação utilizado consistiu na aplicação de questionários com docentes que possuem conhecimento/experiência em PBL e que lecionam em instituições de ensino superior, no domínio de computação. Nesse contexto, os resultados obtidos sinalizam aceitação à estrutura proposta, bem como indicam que a abordagem auxilia no processo de planejamento de ensino PBL, contribuindo para maximizar a maturidade em PBL, devido sua orientação aos princípios PBL. / The Problem-Based Learning method or PBL (term used in English) is an alternative to manage the development of skills and abilities to solve problems, required by the current labor market. However, studies indicate that due to the subjectivity of concepts and also due to the absence of guidelines and effective instruments for its implementation, the PBL teaching planning is compromised and dependent on the teacher's ability. Related studies indicate the existence of guidelines to support infrastructure planning for the courses / subjects in PBL, however, there is a lack of instruments dealing with the educational planning itself, considering the exercise of PBL principles in the process PBL. This paper aims to propose a PBL educational planning approach supported by the Backward Design Model that will lead teachers to structure their planning in order to comply with PBL processes and principles, maximizing the adherence of proposed activities to the PBL culture. The evaluation method used consisted of questionnaires with teachers who have knowledge / experience in PBL and who teach in higher education institutions in the computing domain. In this context, the results indicate acceptance to the proposed structure as well as indicate the approach assists in PBL educational planning process, helping to maximize maturity in PBL once it is directly driven by the PBL principles.

Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-09-05T22:35:49Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Sofia Galvão Lima.pdf: 2956848 bytes, checksum: ca215395dceb8093bb633c0fdf25dc95 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-09-14T21:35:34Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Sofia Galvão Lima.pdf: 2956848 bytes, checksum: ca215395dceb8093bb633c0fdf25dc95 (MD5) / Made available in DSpace on 2018-09-14T21:35:34Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Sofia Galvão Lima.pdf: 2956848 bytes, checksum: ca215395dceb8093bb633c0fdf25dc95 (MD5) Previous issue date: 2015-08-28 / FACEPE / A demanda crescente por profissionais na área de tecnologia faz aumentar a necessidade de uma educação tecnológica ainda no ensino básico. Para além disso, a fluência tecnológica – capacidade não apenas de usar tecnologia, mas de criar novas coisas usando a tecnologia como ferramenta – defendida por Papert e Resnick é extremamente importante tanto para profissionais das mais diversas áreas, quanto para as pessoas de uma maneira geral, visto que a tecnologia cada vez mais faz parte do cotidiano. Então a questão central a ser colocada está relacionada a como gerar motivação para a educação tecnológica, alcançando mais indivíduos do que os que já potencialmente se interessam por tecnologia. A robótica educacional faz um excelente trabalho sob essa perspectiva, inserindo ludicidade, tangibilidade e o aprender fazendo – a sala de aula como laboratório. Apesar disso, ainda não é capaz de atingir a todos, pois provavelmente nenhuma proposta pedagógica será capaz de fazê-lo. A educação musical, por sua vez, tem crescido bastante no Brasil nos últimos anos, numa retomada após passar décadas restrita aos conservatórios. Assim, surge a pergunta principal deste trabalho: de que maneira a educação musical poderia contribuir com a educação tecnológica? Esta pesquisa, portanto, propõe ferramentas, conceitos e processos para integrar música e tecnologia numa abordagem interativa e transdisciplinar, bem como testar a sua aceitação entre professores e alunos da escola básica. / The growing demand for professionals in technology increases the need for technology education even in primary education. Moreover, technological fluency – the ability not only to use technology but to create new things using technology as a tool – defended by Papert and Resnick is extremely important both for professionals from various fields, as for people in general, since technology is increasingly becoming part of the everyday life. The central question of technology education today is related to how to generate motivation, reaching more people than those who are potentially interested in technology. Educational robotics does an excellent job by inserting playfulness, tangibility and learning by doing – the classroom as a laboratory. Nevertheless, it is still not able to reach everyone, because probably no educational proposal will be able to do so. Music education has grown considerably in Brazil in recent years, a recovery after spending decades confined to conservatories. So the main question of this work arises: how could music education contribute to technology education? This research therefore proposes tools, concepts and processes to integrate music and technology in an interactive and transdisciplinary approach and test its acceptance among teachers and students from elementary school.

Made available in DSpace on 2018-08-24T22:51:35Z (GMT). No. of bitstreams: 1 tese_8072_Tese_Ruschi_Alyne Gonçalves.pdf: 2455092 bytes, checksum: 5f9253c55a17e604559a91b68074657f (MD5) Previous issue date: 2018-09-13 / Neste estudo, abordo aspectos da obra do cientista Augusto Ruschi (1915-1986), relacionados aos conhecimentos sobre o mundo natural e às estratégias sociopolíticas para sua conservação. A partir do ingresso, em 1939, nos quadros do Museu Nacional do Rio de Janeiro e da fundação, em 1949, do Museu de Biologia Prof. Mello Leitão, no Espírito Santo, Ruschi atuou em redes político-científicas tecidas na interseção entre cálculo profissional, interesses políticos e demandas socioeconômicas, as quais viabilizaram pesquisas e intervenções públicas que contribuíram para o processo de institucionalização das ciências biológicas no Brasil, especialmente no tocante à conservação da natureza. Com base na crítica à concepção padrão de Ciência, feita pelos chamados estudos sociais das ciências, analiso boletins científicos e correspondências trocadas entre Ruschi e diferentes personalidades, a fim de compreender um fazer científico, localmente contextualizado, que buscou integrar o colecionismo da história natural com práticas experimentais de laboratório, bem como articular atores sociais tão heterogêneos quanto madeireiros e indígenas, conservacionistas e empresários, jornalistas, generais etc. Exploro duas abordagens teórico-metodológicas diferentes: a de Pierre Bourdieu, para compreender a estruturação do campo científico da biologia e do conservacionismo no Brasil, e a de Bruno Latour, para analisar controvérsias científicas envolvidas no processo de construção de conteúdos e métodos de pesquisa caros àquele campo, como a questão do reflorestamento e da valorização dos conhecimentos indígenas. Defendo que a disciplina da Conservação da Natureza, tal como pensada e exercitada por Ruschi, caracterizou-se por uma visão ampla das ciências, a qual envolvia experimentação, observação, colecionamento e classificação da flora e fauna, mas também sociologia, história e política a prática científica sendo concebida como instrumento para garantir a proteção do mínimo necessário de natureza, em benefício das gerações presentes e futuras. Concluo que Augusto Ruschi assumiu a ciência como uma prática social ligada às demandas de seu tempo, um saber-fazer que se constitui na conexão com outros saberes, em detrimento da tendência à compartimentalização da vida.

Made available in DSpace on 2014-06-12T15:05:28Z (GMT). No. of bitstreams: 2 arquivo4342_1.pdf: 607251 bytes, checksum: 875070cc955bac630ae484cec83d830b (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / O desejo de cidade de cada indivíduo emerge como catalizador das formas e fatos urbanos. A partir das práticas que realizamos, demonstramos que desejos de cidade elaboramos cotidianamente, e assim, que cidade construímos com as nossas vivências. Sob esta premissa, buscou-se apreender sentidos da cidade do Recife reconhecendo as práticas artísticas dos músicos da cena independente como construtoras e construtos da relação dialógica que estabelecemos com o espaço urbano. Para tanto, foram escolhidas quatro bandas da referida cena: EDDIE, Bonsucesso Samba Club, Mombojó e o DJ Dolores, emblemáticas de um desejo de produção independente, vanguarda e multiculturalismo, fortemente presentes na cidade. Este trabalho discute questões pertinentes a produção musical contemporânea no Recife e a elaboração do espaço urbano entre os avanços tecnológicos e os graves problemas sociais que comporta, propondo uma reflexão sobre o papel dos atores sociais que vivenciam o espaço urbano numa perspectiva individualista, de distanciamento diante das diversidades culturais