Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2009. / Made available in DSpace on 2012-10-24T14:34:09Z (GMT). No. of bitstreams: 1 273314.pdf: 2266066 bytes, checksum: 83e4bc5c0b960d6d3a72b771d0afd71e (MD5) / A tractografia por propagação de linhas é um método que, com base na ressonância magnética de tensores de difusão (DT-MRI), revela in vivo a disposição dos tratos neurais no cérebro humano. O alto custo computacional da tractografia, porém, implica um tempo de espera significativamente longo para o cálculo e exibição dos resultados. Esse tempo pode ser reduzido executando-se a tractografia de forma paralela, já que as trajetórias encontradas pelo método de propagação de linhas são independentes umas das outras. Uma plataforma atrativa para a execução paralela de programas é oferecida pelas unidades de processamento gráfico (GPUs) das placas de vídeo atuais. Desse modo, este trabalho propõe a execução paralela da tractografia por propagação de linhas em GPUs através da tecnologia CUDA. Experimentos foram conduzidos para avaliar o desempenho da tractografia em um processador central (CPU) e quatro GPUs distintas. Os resultados mostram que as GPUs são, no melhor caso, até 38 vezes mais velozes que a CPU na execução da tractografia, e até 8 vezes mais rápidas no pior caso. A velocidade obtida através das GPUs permite que os resultados tractográficos sejam calculados e exibidos em tempo real para um número de trajetórias superior a 3.000.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Antropologia Social, Florianópolis, 2010 / Made available in DSpace on 2012-10-25T03:09:51Z (GMT). No. of bitstreams: 1 280134.pdf: 1428232 bytes, checksum: 8dfd267778b0219e7f180e68c955159f (MD5) / Este estudo apresenta o tempo dos índios kamayurá, moradores da Terra Indígena do Xingu, MT. Tempo, aqui, é entendido como uma categoria elementar do conhecimento, nos termos de Emile Durkheim. A partir de uma descrição do sistema de mensuração de tempo kamayurá a análise foca tempo como uma categoria que transpassa cotidiano e ritual, uma categoria que torna-se sentida e pensada apenas através dessa transposição.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2010 / Made available in DSpace on 2012-10-25T08:40:37Z (GMT). No. of bitstreams: 1 281513.pdf: 4847574 bytes, checksum: ddb079eba8af44576b21791056b4281d (MD5) / O objetivo deste trabalho é mostrar porque o problema do tempo é o calcanhar de Aquiles no sistema Hegeliano. A filosofia da história em Hegel dá margem a crítica rigorosa porque estruturas lógicas atemporais devem ser aplicadas a um processo que se desenvolve no tempo. Mas não se pode pensar em Hegel aplicando a dialética à história; esta noção pressupõe a existência de nossa consciência histórica pos-Hegeliana. Para nós, tempo é aquilo no qual os eventos ocorrem, um processo infinito estendendo-se para o futuro. Para Hegel, #tempo# emerge somente quando a Idéia Absoluta externaliza-se na filosofia da natureza e nosso #futuro# é meramente um #mau infinito#. Uma investigação arqueológica da compreensão do tempo em Hegel enfatiza que ele foi herdeiro de uma longa tradição filosófica que era absolutamente hostil à mudança, fenômenos temporais e tempo. Nós somos tão profundamente influenciados pelas implicações do pensamento do próprio Hegel que é agora difícil para nós entendermos que ele mesmo não tinha consciência dessas implicações. A hostilidade de Hegel para com o tempo revela-se em sua filosofia da história porque seu próprio sistema é, e somente pode ser, o término da história da filosofia. Mas o escândalo do #fim da história# depende inteiramente de um prévio e muito menos visível escândalo: a falha de Hegel em perceber o que tornou possível para ele conceituar um processo cronológico como a história foi a temporalidade já implícita na dialética Hegeliana em si. / The aim of this work is to show why the problem of time is the Achilles heel of the Hegelian System. Hegel#s philosophy of history is the correct point of entry for a rigorous critique because timeless logical structures must here be applied to a process that enfolds in time. But it is wrong to think of Hegel applying the dialectic to history; this notion presupposes the existence of our own post-Hegelian historical consciousness. For us, time is that within which events occur, an endless process extending into the future. For Hegel, #time# emerges only when the Absolute Idea externalizes itself in the philosophy of nature and our #future# is merely his #bad infinite.# An archeological investigation of Hegel#s understanding of time emphasizes that he was heir to a long philosophical and tradition that was resolutely hostile to change, temporal phenomena, and time. We have been so deeply influenced by the temporal implications of Hegel#s own thought that it is now difficult for us to grasp that he was unconscious of these implications himself. Paradoxically, Hegel#s hostility to time is revealed in his philosophy of history because his own System is and can only be the culmination of the history of philosophy. But the scandal of #the end of history# depends entirely on a prior and far less visible scandal: Hegel#s failure to realize that what made it possible for him to conceptualize a chronological process like history was the temporality implicit in the dialectic itself.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Ciência da Computação / Made available in DSpace on 2012-10-22T16:21:29Z (GMT). No. of bitstreams: 1 233629.pdf: 3766536 bytes, checksum: e109e6ae29ea4b6b75e0b93be252f0eb (MD5) / Este trabalho apresenta um método de complexidade linear para correlacionamento estéreo de tempo-real, no qual o tempo de processamento depende apenas da resolução do par de imagens. Regiões ao longo de cada linha epipolar são indexadas para produzir o mapa de disparidades, ao invés de realizar uma busca pela melhor correlação. Métodos locais atuais não possuem complexidade linear, uma vez que dependem de uma busca através de um espaço de possíveis correlações. O método apresentado é limitado a um conjunto de câmeras paralelas ou um par de imagens retificadas, porque todas as disparidades devem ocorrer na mesma direção e sentido. Uma restrição de continuidade é aplicada para remover falsas correlações. O mapa resultante é semi-denso, mas as disparidades são bem distribuídas e as áreas esparsas são preenchidas satisfatoriamente através de interpolação baseada no ponto mais próximo. Nenhum ajuste específico de parâmetros é necessário. Resultados experimentais com conjuntos de dados padrão alcançam aproximadamente 90% de acurácia, usando metodologia de teste bem conhecida e os mesmos parâmetros em todos os testes.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-graduação em Linguística / Made available in DSpace on 2012-10-23T15:20:06Z (GMT). No. of bitstreams: 1 264438.pdf: 676925 bytes, checksum: fd37b9a7af6fd285e2343cb17e584162 (MD5) / O objetivo desta dissertação é contribuir para a compreensão teórica de alguns fenômenos relacionados à expressão de temporalidade (Tempo e Aspecto) nas línguas naturais. No geral, defende-se uma abordagem para esses fenômenos onde a informação semântica é subespecificada e princípios pragmáticos desempenham um papel na atribuição de propriedades temporais de proferimentos, especialmente com respeito à distinção entre perfectividade e imperfectividade. Um dos pontos de partida é a presunção de que há importantes semelhanças entre as estruturas lingüísticas que expressam valores tempoaspectuais nas línguas européias. Essas semelhanças são tomadas como pistas cruciais sobre um núcleo semântico comum subjacente a essas formas. Defendese que um dos principais obstáculos para se chagar a um tratamento comum que sirva às línguas européias em geral é a compreensão da noção de imperfectividade e sua oposição com a noção de perfectividade. Devido, em parte, à sua herança lógica, a semântica formal se concentrou em dar conta de valores perfectivos como valores default. Para dar conta de valores imperfectivos a partir desses defaults postula-se, quando necessário, entidades e/ou passos derivacionais adicionais. A abordagem defendida nesta tese segue o caminho contrário: parte-se de valores imperfectivos e deriva-se os demais valores da interação entre semântica e pragmática. A Introdução traz alguns argumentos gerais que falam a favor da subespecificação e fixa as principais presunções teóricas sob as quais se trabalha. O capítulo dois propõe que verbos com morfologia de presente carregam informação semântica não-reportiva. Ou seja, ao invés de identificar tempo de proferimento e tempo em que se assevera ter ocorrido o evento, as formas do presente colocam o tempo de proferimento como sub-intervalo do tempo de ocorrência do evento. Isso traz algumas conseqüências com respeito ao que conta como evidência para se asseverar que um evento ocorreu, que também são exploradas nesse capítulo. As leituras imperfectivas do presente simples e de perífrases da forma estar + verbo no gerúndio são obtidas com auxílio das Máximas de Grice. Os capítulos três e quatro propõem uma semântica para a oposição perfectividade vs. imperfectividade para as formas do pretérito de verbos eventivos e estativos, respectivamente. Os dados empíricos são principalmente do português brasileiro, mas defende-se que a análise pode ser estendida para outras línguas românicas que tenham a oposição semelhante entre pretérito perfeito e imperfeito. A idéia geral desses capítulos é que as formas do pretérito não codificam unicamente as noções de perfectividade e imperfectividade. Especificamente, discute-se evidência empírica que sugere que o pretérito perfeito licencie inferências sobre a ocorrência do evento semelhantes àquelas licenciadas pelo pretérito imperfeito. O capítulo 5 encerra a tese com uma discussão da chamada Abordagem do Resultado Eventual à semântica de perífrases progressivas (estar + verbo no gerúndio). Apresenta-se uma alternativa a essa abordagem onde o valor progressivo é um resultado da interação da semântica subespecificada com fatores contextuais e também uma versão do tratamento dos problemas intensionais do progressivo (paradoxo do imperfectivo). The aim of this dissertation is to further the understanding of certain issues of temporality (tense-aspect) in natural language. In general, I argue for a theoretical framework where semantic information is underspecified and pragmatic principles play a role in yielding the temporal properties of utterances, especially with respect to the distinction between perfectivity and imperfectivity. An important point of departure is the assumption that there are important structural similarities between the tense-aspect forms of European languages. Such similarities are taken as important clues about a common semantic core that underlies those verb forms. I argue that one of the main obstacles for providing a uniform cross-linguistic treatment of verbal phenomena is understanding imperfectivity and its opposition to perfectivity. Due to its logical heritage, formal semantics has focused on perfective values and posited extra mechanisms and entities to account for imperfective values as the need arises in each language. The underspecification strategy advocated here, focus on cross-linguistically common phenomena and derives further values from the interaction between semantics and pragmatics. The Introduction brings some general theoretic arguments for the approach and lays issues and assumptions. Chapter Two proposes that verbs with present tense morphology, including \textit{be V-ing} periphrases, have non-reportive semantic information. Hence, instead of identifying the time of utterance with the time the eventuality is claimed to hold in, it proposes that the time of utterance is included in the time the eventuality is claimed to hold in. Some consequences with respect to what counts as evidence to claim that an eventuality holds are drawn from the proposed view of present simples. The intuitive imperfective readings of present simple and \textit{be V-ing} are yielded by Gricean Maxims. Chapters Three and Four propose a semantics for the imperfectivity vs. perfectivity opposition for past tenses of non-state and state verbs respectively. The empirical data is drawn from the perfective and imperfective past tenses of Brazilian Portuguese, but is argued to hold for further Romance languages. It is argued that, despite their names, those tenses do not uniquely encode perfectivity and imperfectivity. Specifically, it discusses empirical evidence that shows that the perfective past tense allows similar inferences to the imperfective past tenses. Chapter 5 closes with a discussion of the Eventual Outcome Approach to the semantics of progressive and shows that the view that imperfectivity is pragmatically determined can deal with the problems deriving from it.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-Graduação em Lingüística. / Made available in DSpace on 2012-10-23T16:13:13Z (GMT). No. of bitstreams: 1 262662.pdf: 4349139 bytes, checksum: 60f1c02f015a1b7dc9db3d9f384fa22d (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-graduação em Linguística / Made available in DSpace on 2012-10-24T01:21:32Z (GMT). No. of bitstreams: 1 258970.pdf: 888716 bytes, checksum: 257815c0ba08536147ab9e3a7646ee2b (MD5) / Esta dissertação se insere no estudo da semântica das línguas naturais, sob a vertente formalista de condições de verdade, e objetiva, com isso, uma semântica para o item lexical ainda. De início, as suspeitas, baseadas nos estudos de Ilari (1987) e Mendes de Souza et al (2007), eram de que o ainda temporal seria um item de polaridade negativa, o que vem a corroborar com os estudos para a língua inglesa de Israel (1996) and Ladusaw (2002, [1980]), os quais consideram o yet um item de polaridade negativa. Inicialmente, porém, distinguimos os usos do ainda em temporal, discursivo e conjuntivo, com enfoque no uso temporal, e, assim, descobrimos que a contra-expectativa é comum a todos eles. Por meio de testes com acionalidades variadas e nos diversos tempos verbais, concluímos que o ainda só não ocorria com a interpretação temporal em contextos perfectivos, por isso a hipótese de ele ser um item de polaridade negativa foi descartada. A restrição, portanto, parecia ser contextos imperfectivos. Porém, percebemos que a leitura temporal em contextos perfectivos reaparece com o acréscimo de adjuntos de tempo, conforme a fundamentação teórica baseada em momento de evento, momento de referência e momento de fala de Reichenbach (1947 apud ILARI, 1997). Para a análise semântica, utilizamos os textos que tratam dos termos em alemão noch (still) e schon (already), de Löbner (1989; 1999) e Auwera (1993), ambos discutem a hipótese da dualidade. Transpostos aos dados do PB, assumimos com Löbner que o ainda dispara uma pressuposição de um estado positivo anterior a te (momento de evento) e contribui para as condições de verdade porque acrescenta a necessidade de uma mudança. Por fim, mostramos que as diferentes expectativas, que denominamos contra-expectativas, são uma implicatura. The area of research of this dissertation is the semantic of natural languages, on a formalist approach of truth conditions, and it aims a semantic aspect to lexical item ainda. At first, the hypothesis, based on Ilari (1987) and Mendes de Souza et al (2007) was that the temporal ainda would be a negative polarity item; idea which corroborates to the English language's studies of Israel (1996) and Ladusaw (2002, [1980]), whom have considered the yet a negative polarity item. At first, however, we distinguished and classified the uses ainda, in temporal, discursive and conjunctive, focusing on the temporal one. Then, we have concluded that the contra-expectation appears in all of them. Tests with varied aktionsart, in different verbal tenses, showed that 'ainda' does not occur only through temporal interpretation in perfective contexts; because of this, the initial hypotheses was dismissed, and the restriction would seem to be the imperfective contexts. But, we perceive that the temporal reading in perfective contexts reappears with the addition of time adjuncts, following the theoretical discussion based on the moment of event, moment of reference and moment of speech from Reichenbach (1947 apud Ilari, 1997). For the semantic analysis we use the texts of Löbner (1989; 1999) and Auwera (1993) which investigate the Germanic terms 'noch' (still) e 'schon' (already); both authors discuss the hypothesis of duality. When we moved the data to the PB, we assumed the Löbner's idea, which says that ainda triggers a presupposition of a positive previous state to te (moment of event), and contributes for the truth conditions, because it adds the necessity of change. Finally, we showed that the different expectations, which we named contra-expectations, are implication.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. Programa de Pós-Graduação em História. / Made available in DSpace on 2012-10-24T06:28:28Z (GMT). No. of bitstreams: 1 260095.pdf: 1053032 bytes, checksum: b0e6cc326728920c8341e1299808e3a6 (MD5) / Estudo das relações entre modernidade e tempo tomando como referência os romances Vida salobra, de Tito Carvalho, Rede, de Salim Miguel, e São Miguel, de Guido Wilmar Sassi, escritos nas décadas de 1950 e 60 em Santa Catarina. Tais romances são considerados como lugares de agenciamentos discursivos em torno de conceitos como os de cultura, identidade, nação e região e, também, como lugares que permitem pensar a importância da narrativa para a construção e concretização da noção de tempo na modernidade.

Este trabalho aborda o desenvolvimento de uma arquitetura de controle em tempo real para servoposicionadores pneumáticos, baseada em computadores pessoais (PCs). Os servoposicionadores pneumáticos são de baixo custo, leves, não poluentes e de fácil utilização. Como apresentam boa relação entre peso e força, são bastante atraentes em aplicações de robótica. Entretanto, devido a suas não linearidades, os servoposicionadores pneumáticos apresentam dificuldades em seu controle. Visando compensá-las, são desenvolvidos algoritmos de controle cada vez mais complexos, necessitando de ferramentas mais robustas quanto ao poder de processamento. Ferramentas com características necessárias para o desenvolvimento de algoritmos e para o controle em tempo real de sistemas custam caro, o que dificulta o desenvolvimento de novas tecnologias de controle de servoposicionadores pneumáticos. Este trabalho apresenta uma revisão das soluções utilizadas na construção de sistemas pneumáticos de posicionamento e daquelas adotadas no controle digital de sistemas automáticos. Descrevese o processo de construção de uma bancada experimental, e o desenvolvimento das soluções em hardware e software para o controle digital é discutido. Visando uma solução economicamente atraente, são utilizados unicamente softwares de código aberto e de livre utilização, assim como hardwares de baixo custo.Para verificar a eficiência da solução proposta, a arquitetura de controle é utilizada para realizar a identificação dos parâmetros do sistema pneumático. Dentre eles, destacam-se a vazão mássica e o atrito, informações importantes para simulação e controle do sistema. Também são utilizados controladores do tipo Proporcional-Integral-Derivativo, implementados para apoiar o estudo do desempenho da arquitetura no controle do servoposicionador pneumático.

Os sistemas operacionais de tempo real, assim como os sistemas embarcados, estão inseridos no desenvolvimento de projetos de automação industrial segmentado em diversas áreas de pesquisa como, por exemplo, robótica, telecomunicações, e barramentos industriais. As aplicações de sistemas modernos de controle e automação necessitam de alta confiabilidade, velocidade de comunicação, além de, determinismo temporal. Sistemas operacionais de tempo real (SOTR) têm-se apresentado como uma solução confiável quando aplicadas em sistemas que se fundamentam no cumprimento de requisitos temporais. Além disso, o desempenho computacional é totalmente dependente da capacidade operacional da unidade de processamento. Em um sistema monoprocessado, parte da capacidade computacional da unidade de processamento é utilizada em atividades administrativas, como por exemplo, processos de chaveamento e salvamento de contexto. Em decorrência disto, surge a sobrecarga computacional como fator preponderante para o desempenho do sistema. Este trabalho tem por objetivo, analisar e fornecer uma arquitetura alternativa para realizar o co-processamento de tarefas em uma plataforma IBM-PC, aumentando a capacidade computacional do microprocessador principal. No presente trabalho, a plataforma de coprocessamento realiza a execução do algoritmo de escalonamento do sistema operacional, desta forma distribuiu-se o gerenciamento temporal das tarefas entre a plataforma IBM-PC e a unidade de co-processamento.