Teen-age identity construction in Stephen King: A gendered view

280 p.

Implementação paralela de um código de elementos finitos em 2D para as Equações de Navier-Stokes para fluidos incompressíveis com transporte de escalares.

O estudo do fluxo de água e do transporte escalar em reservatórios hidrelétricos é importante para a determinação da qualidade da água durante as fases iniciais do enchimento e durante a vida útil do reservatório. Neste contexto, um código de elementos finitos paralelo 2D foi implementado para resolver as equações de Navier-Stokes para fluido incompressível acopladas a transporte escalar, utilizando o modelo de programação de troca de mensagens, a fim de realizar simulações em um ambiente de cluster de computadores. A discretização espacial é baseada no elemento MINI, que satisfaz as condições de Babuska-Brezzi (BB), que permite uma formulação mista estável. Todas as estruturas de dados distribuídos necessárias nas diferentes fases do código, como pré-processamento, solução e pós-processamento, foram implementadas usando a biblioteca PETSc. Os sistemas lineares resultantes foram resolvidos usando o método da projeção discreto com fatoração LU por blocos. Para aumentar o desempenho paralelo na solução dos sistemas lineares, foi empregado o método de condensação estática para resolver a velocidade intermediária nos vértices e no centróide do elemento MINI separadamente. Os resultados de desempenho do método de condensação estática com a abordagem da solução do sistema completo foram comparados. Os testes mostraram que o método de condensação estática apresenta melhor desempenho para grandes problemas, às custas de maior uso de memória. O desempenho de outras partes do código também são apresentados.

Agrupamento espacial em robótica de enxame.

Os Sistemas Multi-Robôs proporcionam vantagens sobre um robô individual, quando da realização de uma tarefa com maiores velocidade, precisão e tolerância a falhas. Os estudos dos comportamentos sociais na natureza têm permitido desenvolver algoritmos bio-inspirados úteis na área da robótica de enxame. Seguindo instruções simples e repetitivas, grupos de robôs, fisicamente limitados, conseguem solucionar problemas complexos. Quando existem duas ou mais tarefas a serem realizadas e o conjunto de robôs é heterogêneo, é possível agrupá-los de acordo com as funcionalidades neles disponíveis. No caso em que o conjunto de robôs é homogêneo, o agrupamento pode ser realizado considerando a posição relativa do robô em relação a uma tarefa ou acrescentando alguma característica distintiva. Nesta dissertação, é proposta uma técnica de clusterização espacial baseada simplesmente na comunicação local de robôs. Por meio de troca de mensagens entre os robôs vizinhos, esta técnica permite formar grupos de robôs espacialmente próximos sem precisar movimentar os robôs. Baseando-se nos métodos de clusterização de fichas, a técnica proposta emprega a noção de fichas virtuais, que são chamadas de cargas, sendo que uma carga pode ser estática ou dinâmica. Se uma carga é estática permite determinar a classe à qual um robô pertence. Dependendo da quantidade e do peso das cargas disponíveis no sistema, os robôs intercambiam informações até alcançar uma disposição homogênea de cargas. Quando as cargas se tornam estacionárias, é calculada uma densidade que permite guiar aquelas que estão ainda em movimento. Durante as experiências, foi observado visualmente que as cargas com maior peso acabam se agrupando primeiro enquanto aquelas com menor peso continuam se deslocando no enxame, até que estas cargas formem faixas de densidades diferenciadas para cada classe, alcançando assim o objetivo final que é a clusterização dos robôs.

A tecnologia em prol da divulgação científica: criação de um site como meio de promoção da circulação de conhecimentos sociolinguísticos e do combate ao preconceito linguístico

Esta dissertação é a descrição de um trabalho cujo objetivo principal foi a criação de um site com materiais sobre o tema preconceito linguístico, visando a promover uma circulação do conhecimento científico entre diversas classes da sociedade não-acadêmica. Nossas primeiras motivações para a realização de um trabalho desse tipo se iniciaram após a polêmica ocorrida em 2011 sobre o livro didático que, segundo a mídia, ensinaria os alunos a falar errado. Essa situação demonstrou existir uma falta de diálogo entre academia e sociedade no que concerne a temas sociolinguísticos. Percebemos uma necessidade de se realizar uma divulgação científica que chegasse com sucesso à sociedade, de modo que as pessoas pudessem conhecer o assunto em questão e, ao menos, refletir sobre ele. Muito embora já existam trabalhos realizados por linguistas com essa intenção, como é o caso de Bagno (1997, 1999), Bortoni-Ricardo (2004, 2005) e Scherre (2005), estes ainda são limitados, por serem, em sua maioria, livros e artigos acadêmicos. Utilizando como base o princípio de indissociabilidade entre ensino, pesquisa e extensão (MEC/SESu, 2006), buscamos, segundo o próprio princípio exige, unir a pesquisa científica resultante dos estudos sociolinguísticos à extensão - através da divulgação do tema para as pessoas de fora do meio acadêmico - e ao ensino, criando e compartilhando materiais que possam ser também utilizados em sala de aula. Para conquistar tal objetivo, tendo como inspiração a proposta de Baronas (2010) e seguindo os exemplos de Ribeiro (2006), Chagas (2012) e Pauleto (2013), criamos um site com materiais diversos sobre o tema preconceito linguístico, como vídeos, imagens e textos informativos. Ainda, como complemento do trabalho, foi criada uma página no Facebook, de modo a obter uma eficácia maior na divulgação, sabendo que a internet é hoje um dos meios mais fáceis, rápidos e de longo alcance para o compartilhamento de informações. Tivemos por intenção promover uma circulação do conhecimento, aplicando o princípio da gratuidade linguística apresentado por Wolfram (1998) e assumindo um papel de agentes de mudança social, segundo aponta Charity (2008). De modo a verificar a eficácia de nosso trabalho, utilizamos uma avaliação em modelo de questionário de escala Likert, realizada por três grupos distintos de avaliadores. Nossos resultados mostraram aprovação ao site por parte dos três grupos de avaliação, demonstrando que esse tipo de trabalho é eficiente e promissor, sendo uma maneira eficaz e ampla de se promover a circulação de saberes sociolinguísticos e divulgar uma mensagem de combate ao preconceito linguístico

Criptografia: Da origem aos dias atuais

Esta pesquisa foi realizada com a intenção de motivar o estudo da criptografia, mostrando que a matemática e a comunicação estão presentes em diversos momentos, tanto no passado quanto no presente. Este trabalho mostra a origem da criptoanálise e toda a sua evolução dando ênfase nos mecanismos de codificação e decodificação através de exemplos práticos. Além disso, alguns métodos criptográficos são destacados como a cifra de substituição monoalfabética, a cifra de Vigenère, a criptografia RSA que é o método mais conhecido de criptografia de chave pública, as cifras de Hill, o método das transformações lineares e o método de Rabin, devido a sua grande importância para a evolução de sistemas computacionais e assinaturas digitais entre outros. Por fim, mostra-se a importância e a necessidade dos recursos criptográficos nos dias de hoje, na tentativa de impedir que hackers e pessoas que fazem mau uso do conhecimento matemático possam causar danos a sociedade, seja por uma simples mensagem ou até mesmo através de situações mais imprudentes como as transações bancárias indevidas

Estrutura temática do gênero reportagem na revista Veja e no jornal A Nova Democracia: o caso Santiago

A presente pesquisa investiga as escolhas temáticas de textos jornalísticos, especificamente de reportagens, que partem do mesmo evento, mas que são produzidos e publicados em linhas editoriais distintas. Nosso objetivo geral, com este estudo, é proporcionar subsídios para que sejam superados paradigmas ainda baseados na dicotomia texto e gramática na Escola Básica, como também colaborar para a promoção de um ensino mais crítico e reflexivo, a fim de que os estudantes possam atuar em sociedade com autonomia. Para isso, elegemos como corpus duas reportagens de veículos ideologicamente antagônicos: o jornal A Nova Democracia e a revista Veja. Considerando que o contexto de cultura e o contexto de situação são determinantes para as escolhas linguísticas dos textos, examinamos a organização temática dos períodos que compõem as reportagens. Como referencial teórico, elegemos a Gramática Sistêmico-Funcional (GSF) de Halliday (1978; 1994; 2004), centrando-se especificamente na função Tema, pertencente à Estrutura Temática na Metafunção Textual, um dos níveis de análise da GSF, que organiza a oração como mensagem e sistematiza os significados ideacionais. O objetivo específico deste trabalho é, portanto, analisar até que ponto as diferenças ideológicas afetam as escolhas temáticas dos textos. Com essa finalidade, dedicamo-nos à análise dos Temas Ideacionais e seus significados, pois são eles os responsáveis por indicar de que maneira os autores priorizaram as informações nos períodos que compõem e organizam as mensagens contidas nos textos. Como método de pesquisa, anotamos e classificamos manualmente cada um dos dados quantitativos e, em seguida, passamos a uma análise qualitativa dos Temas assinalados. Os resultados apontam que ambos os textos apresentam uma alta frequência de Temas Ideacionais Participantes, mas semanticamente distintos. Quanto aos Temas Ideacionais Processos e Circunstâncias, eles evidenciam discrepâncias sintáticas e semânticas significativas, que revelam representações diferentes dos narradores frente ao mesmo evento.

A Rede Enraizados e o Movimento Hip Hop: ritornelos territoriais e o desenvolvimento da rádio web

O hip hop é um movimento político, social e cultural presente nas periferias do Brasil desde 1980. O hip hop vem se desenvolvendo ao longo dos anos, criando espaço, ganhando visibilidade e ampliando o seu público, principalmente entre os segmentos das juventudes urbanas. O presente trabalho teve como objetivo principal investigar o Movimento Enraizados, uma organização hip hop da Baixada Fluminense, que articula e interage com parceiros em diversos estados e alguns países. Nesse contexto, o estudo selecionou três questões como eixos para a análise. Como foi criada a Rede Enraizados e quais são suas principais características? Como o Movimento Enraizados produz territórios existenciais na Baixada Fluminense? Como o Movimento Enraizados utiliza a linguagem radiofônica para expressar suas ações? Para a análise das questões levantadas, a pesquisa utilizou o referencial teórico de Antonio Negri e Deleuze & Guattari, costurando os conceitos de comum, multidão, rádios livres, ritornelos, territórios. A sede do Movimento Enraizados, em Morro Agudo / Nova Iguaçu, é o centro Rede Enraizados e responsável pela dinamização das informações em seus diversos canais de comunicação. Ao disparar seus projetos e iniciativas na construção de uma rede intercontinental de apoio-mútuo, o Movimento Enraizados desterritorializa sentidos e práticas da Baixada Fluminense. Essa desterritorialização produz uma mensagem potente de militância cultural para jovens e fortalece redes para a construção de novas resistências biopolíticas nesses territórios.

Tag-reporting levels for red drum (Sciaenops ocellatus) caught by anglers in South Carolina and Georgia estuaries

A total of 1784 legal-size (≥356 mm TL) hatchery-produced red drum (Sciaenops ocellatus) were tagged and released to estimate tag-reporting levels of recreational anglers in South Carolina (SC) and Georgia (GA). Twelve groups of legal-size fish (~150 fish/group) were released. Half of the fish of each group were tagged with an external tag with the message “reward” and the other half of the fish were implanted with tags with the message “$100 reward.” These fish were released into two estuaries in each state (n=4); three replicate groups were released at different sites within each estuary (n=12). From results obtained in previous tag return experiments conducted by wildlife and fisheries biologists, it was hypothesized that reporting would be maximized at a reward level of $100/tag. Reporting level for the “reward” tags was estimated by dividing the number of “reward” tags returned by the number of “$100 reward” tags returned. The cumulative return level for both tag messages was 22.7 (±1.9)% in SC and 25.8 (±4.1)% in GA. These return levels were typical of those recorded by other red drum tagging programs in the region. Return data were partitioned according to verbal survey information obtained from anglers who reported tagged fish. Based on this partitioned data set, 14.3 (±2.1)% of “reward” tags were returned in SC, and 25.5 (±2.3)% of “$100 reward” tags were returned. This finding indicates that only 56.7% of the fish captured with “reward” tags were reported in SC. The pattern was similar for GA where 19.1 (±10.6)% of “reward” message tags were returned as compared with 30.1 (±15.6)% for “$100 reward” message tags. This difference yielded a reporting level of 63% for “reward” tags in GA. Currently, 50% is used as the estimate for the angler reporting level in population models for red drum and a number of other coastal finfish species in the South Atlantic region of the United States. Based on results of our study, the commonly used reporting estimate may result in an overestimate of angler exploitation for red drum.

Pitman-Yor Diffusion Trees

We introduce the Pitman Yor Diffusion Tree (PYDT) for hierarchical clustering, a generalization of the Dirichlet Diffusion Tree (Neal, 2001) which removes the restriction to binary branching structure. The generative process is described and shown to result in an exchangeable distribution over data points. We prove some theoretical properties of the model and then present two inference methods: a collapsed MCMC sampler which allows us to model uncertainty over tree structures, and a computationally efficient greedy Bayesian EM search algorithm. Both algorithms use message passing on the tree structure. The utility of the model and algorithms is demonstrated on synthetic and real world data, both continuous and binary.

Towards the development of an integrated design framework using the Blackboard model

Current research into the process of engineering design is extending the use of computers towards the acquisition, representation and application of design process knowledge in addition to the existing storage and manipulation of product-based models of design objects. This is a difficult task because the design of mechanical systems is a complex, often unpredictable process involving ill-structured problem solving skills and large amounts of knowledge, some which may be of an incomplete and subjective nature. Design problems require the integration of a variety of modes of working such as numerical, graphical, algorithmic or heuristic and demand products through synthesis, analysis and evaluation activities.

This report presents the results of a feasibility study into the blackboard approach and discusses the development of an initial prototype system that will enable an alphanumeric design dialogue between a designer and an expert to be analysed in a formal way, thus providing real-life protocol data on which to base the blackboard message structures.

Distributed maximum likelihood for simultaneous self-localization and tracking in sensor networks

We show that the sensor self-localization problem can be cast as a static parameter estimation problem for Hidden Markov Models and we implement fully decentralized versions of the Recursive Maximum Likelihood and on-line Expectation-Maximization algorithms to localize the sensor network simultaneously with target tracking. For linear Gaussian models, our algorithms can be implemented exactly using a distributed version of the Kalman filter and a novel message passing algorithm. The latter allows each node to compute the local derivatives of the likelihood or the sufficient statistics needed for Expectation-Maximization. In the non-linear case, a solution based on local linearization in the spirit of the Extended Kalman Filter is proposed. In numerical examples we demonstrate that the developed algorithms are able to learn the localization parameters. © 2012 IEEE.

A derivation of the source-channel error exponent using nonidentical product distributions

This paper studies the random-coding exponent of joint source-channel coding for a scheme where source messages are assigned to disjoint subsets (referred to as classes), and codewords are independently generated according to a distribution that depends on the class index of the source message. For discrete memoryless systems, two optimally chosen classes and product distributions are found to be sufficient to attain the sphere-packing exponent in those cases where it is tight. © 2014 IEEE.

A power-saving scheme for IEEE 802.11 Ad hoc networks

In the Wireless Local Area Networks (WLANs), the terminals are often powered by battery, so the power-saving performance of the wireless network card is a very important issue. For IEEE 802.11 Ad hoc networks, a power-saving scheme is presented in Medium Access Control (MAC) layer to reduce the power consumption by allowing the nodes enter into the sleep mode, but the scheme is based on Time-Drive Scheme (TDS) whose power-saving efficiency becomes lower and lower with the network load increasing. This paper presented a novel energy-saving mechanism, called as Hybrid-Drive Scheme (HDS), which introduces into a Message.-Drive Scheme (MDS) and combines MDS with the conventional TDS. The MDS, could obtain high efficiency when the load is heavy; meanwhile the TDS has high efficiency when the network load is small. The analysis shows that the proposed HDS could obtain high energy-efficiency whether the network load is light or heavy and have higher energy-saving efficiency than conventional scheme in the IEEE 802.11 standard.

量子消息认证协议

研究了在量子信道上实现经典消息和量子消息认证的方法。给出了一个基于量子单向函数的非交互式经典消息认证加密协议。证明了给出的协议既是一个安全的加密方案,也是一个安全的认证方案。利用该认证加密协议作为子协议,构造了一个量子消息认证方案,并证明了其安全性。与BARNUM等给出的认证方案相比,该方案缩减了通信双方共享密钥的数量。

一种可并行的消息认证码

提出并分析了一种确定的、可并行的消息认证码--DPMAC(deterministic parallelizable message authentication code).它基于分组长度为128-bit的分组密码来构造.使用一个密钥,可以处理任意长度的消息.在底层分组密码是伪随机置换的假设下,使用Game-Playing技术量化了攻击者成功伪造的概率,从而证明了其安全性.