Le sujet de la thèse c'est la production par la télévision des émissions sur le crime et la violence dans la modernité tardive. L'objectif c'est d'analyser des programmes télévisés sur des crimes réels d'une forme dramatisée, surtout des crimes violents, tout en proposant aux spectateurs la possibilité de fournir des informations utiles à la capture des criminels en fuite. Pour la recherche, nous avons sélectionné des émissions de quatre pays lesquelles ont joué un rôle important pour la consolidation de ce type de programmation, pendant les années 1980 et 1990 : a) Crimewatch, de la chaîne publique anglaise BBC, pionnier de ce type de programme ; b) America's Most Wanted, de la chaine américaine FOX, qui symbolise l'apparition de ce format sous le modèle de la défense de la loi et de l'ordre ; c) Temóin no. 1 transmis par la chaîne TeleFrance 1 ; d) le programme brésilien Ligne Directe, de la chaîne privée Globo. Les trois trémières émissions ont été analysées dans leurs conditions historiques d'apparition, en envisageant les comparaisons entre les manières de produire le drame de la violence criminelle, à partir d'évidences qu'on a pu récupérer dans des matériels bibliographiques et dans les vidéos disponibles sur les sites des chaînes, à l´Internet. Pour le programme Linha Direta, on a pu développer davantage l'analyse empirique, puisque qu'on a fait une recherche longitudinale sur deux longues périodes distinctes des transmissions. Les émissions ont été enregistrées, digitalisées et analysées avec les outils du logiciel d'analyse d'informations qualitatives NVivo8. Cette analyse informationnelle nous a permis de faire attention aux enchevêtrements singuliers de ce type de programmation télévisée avec un modèle de justice criminelle et policière en crise, dans le cadre de la difficile transition d'un régime autoritaire à l'Etat démocratique de droit au Brésil. Les démarches de la recherche nous ont amenés à démontrer les critères d'élection des cas, les mécanismes de la dramatisation, les décisions d'énonciation, les moments des musiques et des silences et les informations offertes par les programmes. La dramaturgie analysée nous a permis de cerner les moyens de privilégier certains acteurs sociaux selon les caractéristiques culturelles et institutionnelles propres des pays concernés. Notre analyse a indiqué que les récits varient en fonction de l'autonomie des programmes concernant les agences formelles de contrôle social. À partir de cette base, les productions télévisées exercent une double violence symbolique : d'une part, elles occultent des dispositifs structurés de manutention de l'ordre, attachés à la divulgation des orientations punitives courantes du champ de contrôle social formel; de l'autre, les mécanismes structurels des programmes par la simulation des crimes s'offrent comme des éléments indispensables pour la réalisation de la justice. À la limite, les émissions televisées des crimes violents, par rapport à la crise des institutions de contrôle formel de la justice criminelle, se proposent à simuler une justice virtuelle qui serait capable de faire face à la criminalité violente de la société contemporaine. / Esta tese de doutorado trata da abordagem da televisão sobre o crime e a violência na modernidade tardia. Mais especificamente, propõe-se analisar programas televisivos que dramatizam crimes reais, em sua maioria violentos, oferecendo a seus espectadores a possibilidade de contribuir com informações para a captura dos foragidos apresentados. Foram selecionados para o estudo programas que desempenharam papéis importantes para a consolidação deste tipo de programação entre as décadas de 1980 e 1990: a) o inglês Crimewatch, do canal público BBC, pioneiro no recorte temporal referido; b) America's Most Wanted, da rede FOX, o qual simboliza a aparição deste formato aos moldes norte-americanos de defesa da lei e da ordem; e c) o francês Temóin no. 1 transmitido pela Tele France 1. Para estes, o foco foi a análise histórica de suas condições de emergência, contemplando comparações entre os modos de produzir o drama da violência criminal a partir de evidências coletadas em materiais bibliográficos e sequências dos programas acessadas pela internet. A análise empírica propriamente dita centrou-se no programa brasileiro Linha Direta, da Rede Globo de Televisão. Neste caso, foi empreendida uma pesquisa longitudinal dando conta de dois períodos distintos das transmissões. Os episódios foram gravados, digitalizados e analisados com auxílio do programa para análise de informações qualitativas NVivo 8. A especial atenção destinada ao programa brasileiro atende aos desdobramentos singulares da junção deste tipo de programação televisiva com um modelo de justiça criminal e policial em crise, no quadro da transição de um passado autoritário para a tentativa de consolidação de um estado democrático de direito. Importou evidenciar os critérios de seleção dos casos, os mecanismos de dramatização, as decisões de enunciação, os silêncios e as informações proporcionadas pelos programas, destinadas a privilegiar, ou não, determinados atores sociais segundo as características culturais e institucionais próprias dos países em questão. A análise apontou que as narrativas variam em função da autonomia dos programas em relação às agências formais de controle social. Com base neste arranjo, as produções televisivas deste tipo concorrem para o exercício de uma dupla violência simbólica: um ocultamento não apenas dos dispositivos estruturados de manutenção da ordem, vinculados à divulgação das orientações punitivas correntes do campo de controle social formal, bem como dos próprios mecanismos estruturantes dos programas na simulação dos crimes, os quais se oferecem como elementos indispensáveis para a realização da justiça diante da aparente perda de controle sobre a criminalidade e a violência. / This thesis deals with the television approaching to crime and violence in late modernity. More specifically, it is considered to analyze crime TV programme that dramatize real crimes, mainly violent crimes, offering to the audience the possibility to contribute with information in order to capture the featured fugitives. The TV programme selected for this research played important roles for the consolidation of this type of programming between the 1980's and 1990's: a) Crimewatch, produced by the English public channel BBC, the pioneer; b) America's Most Wanted, of FOX, which symbolizes the appearance of this format in the North American period of law and order model of social control; c) Temóin no. 1 transmitted by Tele France 1; and d) Linha Direta, from Brazilian Globo Television. For the foreign broadcasts, the focus was the historical analysis of its conditions of emergency, contemplating comparisons between the ways to produce the drama of criminal violence. We have collected evidences from bibliographical materials and also from footages of the programs available in the Internet sites. The main empirical analysis is centered in the Brazilian programme Linha Direta of the Globo Television Network. In this case, a longitudinal research was made giving account of two distinct periods of the transmissions. The episodes had been recorded, digitally encoded and analyzed with the qualitative analysis software NVivo8. The special attention destined to the Brazilian programme takes care of the singular junction unfolding this TV programme with a model of police and criminal justice in crisis. All this processes framed by the context of Brazilian transition from an authoritarian regime to the political democratic consolidation. The analytical approach involves the cases selection criteria, the mechanisms of dramatization, the decisions of articulation, songs, silence and the information given by the programmes, destined to privilege, or not, some characteristics according to the cultural and institutional social actors, from each country. The analysis also pointed that narratives vary in function of the autonomy of the programmes related to the formal law enforcement agencies. On the basis of this arrangement, real crime TV series concur for the exercise of a double symbolic violence: on one hand, a concern with the established model of law and order maintenance, linked with the current punitive pattern of the penal control field; on the other hand, as a mechanism to simulate the crimes by the programs, which produce the effect of a core element for the accomplishment of a virtual justice overlapping the crisis of the criminal justice system.

Made available in DSpace on 2014-06-12T15:51:56Z (GMT). No. of bitstreams: 2 arquivo2961_1.pdf: 1358041 bytes, checksum: 6856c7acfe3c44063d89520f13a9da5f (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Fundação de Amparo à Pesquisa do Estado do Amazonas / A análise de dados simbólicos (Symbolic Data Analysis - SDA) tem se destacado como um conjunto de ferramentas úteis à análise de grandes bases de dados, aprendizagem de máquina e reconhecimento de padrões. Os dados simbólicos podem representar variáveis estruturadas, listas, intervalos e distribuições. Nesse contexto, vários métodos estatísticos têm sido estendidos para o domínio de SDA (análise de cluster, estatísticas descritivas, componentes principais, análise fatorial, regressão linear, e outras). Como exemplo, os métodos de regressão linear propostos recentemente para dados simbólicos são extensões do método dos mínimos quadrados para minimização dos erros do modelo. Estes métodos estimam os parâmetros do modelo da regressão linear considerando apenas as informações sobre os pontos médios (centros) das variáveis simbólicas, considerando os valores dos limites inferiores e superiores dos intervalos e considerando os valores dos pontos médios e das amplitudes dos intervalos. Apesar da técnica dos mínimos quadrados ser computacionalmente simples, a qualidade dos ajustes é degradada quando o conjunto sob investigação contém dados atípicos. Na análise de regressão clássica, esses dados atípicos são frequentemente removidos do conjunto de dados sob investigação, sendo normalmente considerados como erros do processo. Contudo, em SDA, esse tipo de procedimento não é aconselhável, haja vista um dado simbólico poder representar a generalização de um conjunto de outras observações clássicas. Este trabalho propõe um método resistente (robusto) de regressão linear para dados simbólicos do tipo intervalo, paramétrico, inspirado na análise de regressão simétrica, cujos estimadores tenham alto ponto de ruptura . O método proposto permite ainda a construção de intervalos de confiança e testes de hipóteses para os parâmetros do ajuste, enquanto os métodos encontrados na literatura não estabelecem suposições probabilísticas. Além disso, considerando que a ausência de observações atípicas em um conjunto de dados indica a possibilidade de utilização de métodos baseados nos mínimos quadrados, esta tese também propõe um conjunto de técnicas para a identificação de dados simbólicos intervalares atípicos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In the last years, news media and magazines of national coverage, constantly commentate on the bullying phenomenon. Bullying is a word from British origin, and it has no translation into Portuguese. It is a kind of violence that may happen among students of private as well as public schools, unleashed in a repeated form against one single and same victim along the time and within an instability of power, and it may cause irreparable psychological damages to psychism, to the personality, character and self - esteem of its victims, with consequences along all life. The phenomenon Bullying has been in practice for a long time at schools and is characterized as a symbolic and shrouded violence. As a matter of fact, students as well as educators have experienced it many times and don‟t know how to deal with it, mostly on prejudicing and disrespect situations to the others. No doubt the damages such problem cause to its victims, but it is necessary to make it clear that plays among students are not only important, but necessary to develop their identities and inter personal relations. The aim of this research is to understand if students suffer such problems on their dignities and if there is a demand to the recognition of the differences in CODAP Colégio de Aplicação , in Universidade Federal de Sergipe, at São Cristovão County-SE. It is a qualitative research, with some quantitative data, like data collection instruments that were used besides the literature review about the essay, questionnaires, with opened and closed questions for 82 students from the 6o. to the 9o. year of Fundamental Level, semi structured interviews with 14 teachers, Directors, Vice Directors, Pedagogical Supervisors, Phsycologists, Educational Orientators and general services workers of the school and observations of its common life. The majority of the teachers and students knew nothing about the subject, even though they thought the research was relevant to the school. For some interviewed teachers and office workers, the phenomenon bullying is practically non existing in the school; the plays, according to students‟ ages are the ones they refer to. 12 students were interviewed with the objective to clarify at what moment such plays turn into violence and which are the most common problems at school. As a result of the research, we can see that 62% of the interviewed students either were or are victims of some kind of prejudice in the researched school, but more than half of them don‟t bother with the annoyance and provocations. Such data demonstrate that it is necessary to go beyond the appearances of the results and take in consideration the students‟ perception related to the subject. / Nos últimos anos os noticiários e revistas de circulação nacional comentam sobre o fenômeno bullying de forma constante. Bullying é uma palavra de origem inglesa, sem tradução para o português. É um tipo de violência que pode acontecer entre os alunos, de escolas públicas ou privadas, desencadeada de forma repetida contra uma mesma vítima ao longo do tempo e dentro de um desequilíbrio de poder, podendo causar danos psicológicos irreparáveis ao psiquismo, à personalidade, ao caráter e à auto-estima de suas vítimas, manifestando suas sequelas ao longo de toda a vida. O fenômeno Bullying vem sendo praticado há muito tempo nas escolas e se caracteriza como uma violência simbólica e velada. De fato, como estudantes ou educadores, todos já o presenciaram, e muitas vezes não se sabe o que fazer em situações de preconceito e desrespeito ao outro. Não se discutem os males que este problema causa às suas vítimas, porém, é preciso deixar claro que as brincadeiras entre os alunos são importantes e necessárias para o desenvolvimento das suas identidades e das relações interpessoais. O objetivo desta pesquisa é entender se os alunos sofrem este problema na sua dignidade e se existe uma demanda por reconhecimento das diferenças no CODAP Colégio de Aplicação, situado no campus da Universidade Federal de Sergipe, no município de São Cristóvão-SE. Trata-se de uma pesquisa qualitativa, com alguns dados quantitativos, pois instrumentos de coletas de dados foram utilizados, além da revisão da literatura sobre o tema, questionários, com perguntas abertas e fechadas para 82 alunos do 6º ao 9º ano do Ensino Fundamental, entrevistas semi-estruturadas com 14 docentes, direção, vice-direção, supervisão pedagógica, psicóloga, orientadora educacional e auxiliar de serviços gerais da escola e observações do seu cotidiano. A maioria dos docentes e discentes desconhecia o assunto, apesar de acharem que a pesquisa seria muito relevante para o colégio. Para alguns docentes e funcionários entrevistados, o fenômeno bullying praticamente não existe na escola, o que existem são brincadeiras próprias da idade. Foram entrevistados 12 alunos com o objetivo de esclarecer em que momento a brincadeira se transforma em violência e quais são os problemas mais comuns na escola. Como resultado da pesquisa, percebeu-se que 62% dos alunos entrevistados já foram ou são vítimas de algum tipo de preconceito na escola pesquisada, porém, mais da metade destes alunos não se incomoda com as provocações. Este dado demonstra que é preciso ir além das aparências dos resultados e levar em conta a percepção dos alunos com relação ao assunto.

Orientador: Walter Alexandre Carnielli / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-17T17:02:46Z (GMT). No. of bitstreams: 1 Araujo_Anderson_D.pdf: 1286485 bytes, checksum: 1e51db7a5721f4affeaf8f512d23269e (MD5) Previous issue date: 2011 / Resumo: Esta tese propõe uma nova abordagem da computabilidade de Turing clássica, denominada abordagem modelo-teórica. De acordo com essa abordagem, estruturas e teorias são associadas às máquinas de Turing a fim de investigar as características de suas computações. Uma abordagem modelo-teórica da computabilidade de Turing através da lógica de primeira ordem é desenvolvida, e resultados de correspondência, correção, representação e completude entre máquinas, estruturas e teorias de Turing são demonstrados. Nessa direção, os resultados obtidos a respeito de propriedades tais como estabilidade, absoluticidade, universalidade e logicidade enfatizam as potencialidades da computabilidade modelo-teórica de primeira ordem. Demonstra-se que a lógica subjacente às teorias de Turing é uma lógica minimal intuicio-nista, sendo capaz, inclusive, de internalizar um operador de negação clássico. As técnicas formuladas nesta tese permitem, sobretudo, investigar a computabilidade de Turing em modelos não-padrão da aritmética. Nesse contexto, uma nova perspectiva acerca do fenômeno de Tennenbaum e uma avaliação crítica da abordagem de Dershowitz e Gurevich da tese de Church-Turing sào apresentadas. Como conseqüência, postula-se um princípio de interna-lidade aritmética na computabilidade, segundo o qual o próprio conceito de computação é relativo ao modelo aritmético em que as máquinas de Turing operam. Assim, a tese unifica as caracterizações modelo-aritméticas do problema P versus NP existentes na literatura, revelando, por fim, uma barreira modelo-aritmética para a possibilidade de solução desse problema central em complexidade computacional no que diz respeito a certos métodos. Em sua totalidade, a tese sustenta que características cruciais do conceito de computação podem ser vislumbradas a partir da dualidade entre finitude e infinitude presente na distinção entre números naturais padrão e não-padrão / Abstract: This PhD thesis proposes a new approach to classical Turing computability, called a model-theoretic approach. In that approach, structures and theories are associated to Turing machines in order to study the characteristics of their computations. A model-theoretic approach to Turing computability through first-order logic is developed, and first results about correspondence, soundness, representation and completeness among Turing machines, structures and theories are proved. In this line, the results about properties as stability, absoluteness, universality and logicality emphasize the importance of the model-theoretic standpoint. It is shown that the underlying logic of Turing theories is a minimal intuicionistic logic, being able to internalize a classical negation operator. The techniques obtained in the present dissertation permit us to examine the Turing computability over nonstandard models of arithmetic as well. In this context, a new perspective about Tennenbaum's phenomenon and a critical evaluation of Dershowitz and Gurevich's account on Church-Turing's thesis are given. As a consequence, an arithmetic internality principle is postulated, according to which the concept of computation itself is relative to the arithmetic model that Turing machines operate. In this way, the dissertation unifies the existing model-arithmetic characterizations of the P versus NP problem, leading, as a by-product, to a model-arithmetic barrier to the solvability of that central problem in computational complexity with respect to certain techniques. As a whole, the dissertation sustains that crucial characteristics of the concept of computation may be understood from the duality between finiteness and infiniteness inherent within the distinction between standard and nonstandard natural numbers / Doutorado / Filosofia / Doutor em Filosofia

Orientador: Alberto Vazquez Saa / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-08T17:46:43Z (GMT). No. of bitstreams: 1 Barbosa_PetersonTaylorCastro_M.pdf: 28258881 bytes, checksum: 56fe325553a1e83319f6998ba2d0e894 (MD5) Previous issue date: 2007 / Resumo: Apresentaremos neste trabalho descrições detalhadas da modelagem e conceitos fisiológicos associados aos modelos de Hodgkin-Huxley e Fitzhugh-Nagumo, para em seguida compararmos suas características. Tentaremos justificar a opção pelo modelo de Fitzhugh-Nagumo como objeto de estudo viável pra interações entre neurônios, e em seguida introduziremos um tipo de interação na qual o comportamento do sistema para dois neurônios apresenta fenômenos de comportamento irregular. Para isso, mostraremos alguns resultados referentes à esta interação, chamada acoplamento repulsivo, descrito por Yanagita et al. (2005), e analisaremos fatos relativos às características qualitativas e quantitativas das equações envolvidas, como os Expoentes de Liapunov e o Intervalo entre Disparos, a partir de alguns resultados numéricos pertinentes / Abstract: We present in this work some detailed descriptions concerning modeling and physiological concepts on Hodgkin-Huxley and Fitzhugh-Nagumo models, and after that to compare its main features. We will try to justify the choice for the Fitzhugh-Nagumo model as a viable study object for neuronal interactions, and than we introduce a particular kind of interaction in which the reaction of a two-neuron system shows irregular behavior phenomena. In order to achieve this, we also present some results associated to this interaction, called repulsive coupling, described by Yanagita et al. (2005), and afterward, we analyze some facts related to quantitative and qualitative characteristics of the involved equations, such as Liapunov Exponents and the Interspike Interval, based on numerical simulations of interest / Mestrado / Biomatematica / Mestre em Matemática Aplicada

Made available in DSpace on 2014-07-29T15:10:06Z (GMT). No. of bitstreams: 1 Antropologia Social Margarida.pdf: 1361963 bytes, checksum: 72af8ea60e7b684b932613cdf4c96e78 (MD5) Previous issue date: 2011-06-08 / This research presents an approach to the fact that the hinterland is a cultural phenomenon that promotes the landscape, giving the Brazil-interior settings. With a view to assessing content endlessly reissued, the handling of stories about the backcountry led an exercise in theoretical and conceptual experimentation. Taking as study material from cuttings of literary exponents as Hugo de Carvalho Ramos, Bernardo Elis, João Acciole, Léo Godoy Otero, Eli Brasiliense, Mário Rizério Leite, Affonso Arinos and Carmo Bernardes, as well as the pictorial work of Issac Alarcão, the travelogue of Augusta de Faro Fleury Curado, and iconographic, cartographic and/or historiographical material about markers on the backwoods as the troops, the car steers, the cattle, the ranch and their own swing, what happened was an opportunity for review of the place and time temporalized spatialized in discursive productions. To expose the composition of the place were covered projections of a fluctuating space and unfinished. To be noticed and be a prospective way, the hinterland is assessed in this study provide the thematic nature (and often dramatic) the achievements of the discursive landscape hinterland. It was necessary to exercise a juxtaposition of content that mediate permeate the place, which unfolds according to the descriptive labels that strengthen the region invented by very different perspectives narratives. More narrowly, it longed to be interpreted as a manifestation of the interior landscape imagined place, multi-experiencied, interactive and pregnant women, which is always becoming. / Esta pesquisa apresenta uma abordagem para o fato de que o sertão é um fenômeno cultural que promove a paisagem, concedendo configurações ao Brasil-interior. Com vistas à apreciação de conteúdos incessantemente reeditados, o manuseio de narrativas sobre o sertão ocasionou um exercício com experimentações teórico-conceituais. Ao tomar como material de estudo recortes da produção literária de expoentes como Hugo de Carvalho Ramos, Bernardo Elis, João Acciole, Léo Godoy Otero, Eli Brasiliense, Mário Rizério Leite, Affonso Arinos e Carmo Bernardes, como também o trabalho pictórico de Issac Alarcão, o diário de viagem de Augusta de Faro Fleury Curado e ainda narrativas iconográficas, cartográficas e/ou historiográficas sobre marcadores do sertão como a tropa, o carro de bois, a boiada, o rancho e o próprio sertanejo, o que houve foi a possibilidade de revisão do lugar temporalizado e do tempo espacializado em produções discursivas. Para expor a composição do lugar, foram contempladas projeções de um espaço flutuante e inacabado. Ao ser percebido e por ser uma forma em perspectiva, o sertão é apreciado neste estudo ao conceder cunho temático (e quase sempre dramático) às realizações discursivas da paisagem sertão. Foi necessário exercitar uma justaposição de conteúdos que mediassem atravessamentos pelo lugar, o qual se desdobra descritivamente em função dos marcadores que consolidam a região inventada, pelas mais diversas perspectivas narrativas. Mais restritamente, almejou-se interpretar a paisagem sertão como manifestação do lugar imaginado, multi-experienciado, interativo e gestante, que está sempre em devir.

Submitted by Cláudia Bueno (claudiamoura18@gmail.com) on 2016-01-08T14:08:06Z No. of bitstreams: 2 Dissertação - Deusimar Gonzaga - 2015.pdf: 2779885 bytes, checksum: b967dd65a94c0c282305853868ec3a58 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-01-11T06:43:43Z (GMT) No. of bitstreams: 2 Dissertação - Deusimar Gonzaga - 2015.pdf: 2779885 bytes, checksum: b967dd65a94c0c282305853868ec3a58 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2016-01-11T06:43:43Z (GMT). No. of bitstreams: 2 Dissertação - Deusimar Gonzaga - 2015.pdf: 2779885 bytes, checksum: b967dd65a94c0c282305853868ec3a58 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2015-06-08 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This study aims at presenting and discussing some of the aspects of dramatism, method of analysis of human relations and mainly of the acts of the language and of the thinking, as it is presented by the North American philosopher and literary critic Kenneth Burke (1897-1993), from the years 1930 to 1960. Practically unknown in our language, Kenneth Burke‟s name and of his dramatism are compulsory presences in the recent compendiums which deal with the studies of performance and of cultural performances, for the comparison and the relation they establish between everyday life and the drama and thus require be better known. Among many theorists, Burke‟s works have influenced the literary critics Harold Bloom (1930) and Susan Sontag (1933-2004), his student at the University of Chicago, and mainly the theoretical founding of the sociologist Erving Goffman (1922-1982), being that in his studies of everyday life as well as in his “dramaturgical approach”. As it is implied from dramatism, we are not only language users, we are also used by it and language determines our actions. Dramatism is established as an instrument of analysis of language as symbolic action from five key terms (dramatistic pentad): the act in itself, what has been done; the agent of the act, the actor, who performed the act; the scene (the place, the where); the agency, the means/instruments or how the action is performed, or even the autonomous capability of people to make their own choices; and the purpose. The act is the central term around which the five categories of analyses are organized (pentad) and the investigation of the motives of the action is the fundamental strategy of the dramatistic analyses. Burke proposes that the field of observation of the human action and of its innumerable combinations, the transpositions and the transformations among the terms of the cited pentad, makes it possible for an analysis of the human action that has drama as its central term. Dramatism attempts to answer the questions of how human actions can be explained, and mainly how these actions are determined by the symbolic capability. Dramatism becomes a central element in the analysis of human theatricality, of the human being in performance. / Este estudo tem o objetivo de apresentar e discutir alguns aspectos do dramatismo, método de análise das relações humanas e principalmente dos atos da linguagem e de pensamento, tal como apresentado pelo filósofo e crítico literário norte-americano Kenneth Burke (1897- 1993), entre os anos de 1930 a 1960. Praticamente desconhecido em nossa língua, o nome de Kenneth Burke e seu dramatismo são presenças obrigatórias nos recentes compêndios que abordam os estudos da performance e das performances culturais, pela comparação e relação que estabelecem entre a vida cotidiana e o drama e necessitam ser melhor conhecidos. Entre tantos teóricos, seus trabalhos influenciaram os críticos literários Harold Bloom (1930) e Susan Sontag (1933-2004), sua aluna na Universidade de Chicago, e principalmente a fundamentação do sociólogo Erving Goffman (1922-1982), seja em seus estudos da vida cotidiana como em sua “abordagem dramatúrgica” (dramaturgical approach). Como se infere, a partir do dramatismo, não somos apenas utilizadores da linguagem, somos também utilizados por ela, ela determina nossas ações. O dramatismo se estabelece como um instrumento de análise da linguagem como ação simbólica a partir de cinco termos chave (pentad dramatístico): o ato em si, o que foi feito; o agente do ato, o ator, quem realizou o ato; a cena (o lugar, o onde); a agência, os meios/instrumentos ou como se realiza a ação, ou ainda a capacidade autônoma das pessoas fazerem suas próprias escolhas; e o propósito. O ato é o termo central em torno do qual se organizam as cinco categorias de análise (pentad) e a investigação dos motivos da ação é a estratégia fundamental da análise dramatística. Burke propõe que o campo de observação da ação humana e de suas incontáveis combinações, as transposições e as transformações entre os termos do citado pentad, possibilitem uma análise da ação humana que tem o drama como termo central. O dramatismo procura responder as questões de como podem ser explicadas as ações humanas e, principalmente, como estas ações são determinadas pela capacidade simbólica. O dramatismo torna-se elemento central na análise da teatralidade humana, do ser humano em performance.

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-05-10T17:55:53Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dissertacao_lennon_chaves.pdf: 2813829 bytes, checksum: 48c3fbefe451491c81bbf9ddb680a318 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-05-10T17:56:13Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dissertacao_lennon_chaves.pdf: 2813829 bytes, checksum: 48c3fbefe451491c81bbf9ddb680a318 (MD5) / Made available in DSpace on 2018-05-10T17:56:14Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dissertacao_lennon_chaves.pdf: 2813829 bytes, checksum: 48c3fbefe451491c81bbf9ddb680a318 (MD5) Previous issue date: 2018-02-02 / During the last decades, model checking techniques have been applied to improve overall system reliability, in unmanned aerial vehicle (UAV) approaches. Nonetheless, there is little effort focused on applying those methods to the control-system domain, especially when it comes to the investigation of low-level implementation errors, which are related to digital controllers and hardware compatibility. The present study addresses the mentioned problems and proposes the application of a bounded model checking tool, named as Digital System Verifier (DSVerifier), to the verification of digital-system implementation issues, in order to investigate problems that emerge in digital controllers designed for UAV attitude systems. A verification methodology to search for implementation errors related to finite word-length effects ( e.g., arithmetic overflows and limit cycles), in UAV attitude controllers, is presented, along with its evaluation, which aims to ensure correct-by-design systems. Experimental results show that failures in UAV attitude control software used in aerial surveillance, which are hardly found by simulation and testing tools, can be easily identified by DSVerifier. / Durante as últimas décadas, técnicas de verificação de modelos tem sido utilizadas para melhorar a confiabilidade de sistemas, no que diz respeito a veículos aéreos não-tripulados (VANTs). Contudo, existem poucos esforços focados em aplicar esses métodos ao controle de sistemas, especialmente os relativos à investigação de erros de implementação de baixo nível, os quais estão relacionados a controladores digitais e compatibilidade de hardware. O presente trabalho aborda os problemas mencionados e propõe a aplicação de uma ferramenta de verificação limitada de modelos, conhecida como Digital System Verifier (DSVerifier) ou Verificador de Sistemas Digitais, à verificação de implementação de sistemas digiais, com o objetivo de investigar problemas em controladores digitais projetados para sistemas de atitude em VANTs. Apresenta-se uma metodologia de verificação para procurar por erros de implementação relacionados a efeitos de tamanho de palavra finita (i.e, estouros aritméticos e ciclos-limites), em controladores de atitude de VANTs, juntamente com sua avaliação, o que visa garantir a corretude desses sistemas. Resultados experimentais mostram que falhas encontradas em software de controle de atitude de VANTs usados em vigilância aérea, as quais são dificilmente encontradas pro simulação e ferramentas de teste, podem ser facilmente identificadas pelo DSVerifier.

Submitted by Cláudia Bueno (claudiamoura18@gmail.com) on 2016-07-20T16:54:28Z No. of bitstreams: 2 Dissertação - Willian Junio de Andrade - 2012.pdf: 1121883 bytes, checksum: 22ee1e6c8e5d0f0d79173f9e5ccb727a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-07-21T13:53:55Z (GMT) No. of bitstreams: 2 Dissertação - Willian Junio de Andrade - 2012.pdf: 1121883 bytes, checksum: 22ee1e6c8e5d0f0d79173f9e5ccb727a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-07-21T13:53:55Z (GMT). No. of bitstreams: 2 Dissertação - Willian Junio de Andrade - 2012.pdf: 1121883 bytes, checksum: 22ee1e6c8e5d0f0d79173f9e5ccb727a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2012-06-13 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Franz Kafka (1883 - 1924), considered by many as a prophet revealing the precarious condition of man in the early twentieth century, wrote fragmented works, concentrated in annihilating spaces, which represent much more than a simple backdrop. Both from the point of view of textual composition and under the symbolic and mythical bias, this narrative category plays a decisive role in the understanding of how many themes and characters are featured in the literary text. Thus, the main objective of the research is to analyze the spatial construction in the novel The castle, published in 1922, considering the fragmentation and the own world representation of the atomization the art of the early twentieth century. In addition to the work mentioned, they will also be used other texts in order to develop research with examples that prove the hypothesis of the fictional space of Kafkaesque work is created under a labyrinthine design. Thus, the labyrinth symbolism influences the thematic and formal aspects of the greatest novel of Kafka. With this in mind, our work triggers theories about the symbolic hermeneutics to better understand the value of the labyrinth myth in our culture and his appropriation as symbolic and artistic element. In this case, the studies of Peyronie André (1998), Gilbert Durand (2002), Carl Gustav Jung (2008) and Mircea Eliade (1878) to give theoretical support. Because it is a narrative category, the space must also be seen from theories that present as structural element, such as the concepts of 'narrative' and 'description' mentioned throughout the study. For this reason they will be given study Osman Lins (1976), Anatol Rosenfeld (1976) and George Lukacs (1968). Finally, the chapter with the final remarks, entitled "Bifurcation of the way," indicates the maze itself was the literary text, in which the individual is represented in multiple forms in a universe whose experienced situations are apparent and full of obstacles. / Franz Kafka (1883 – 1924), considerado por muitos como um profeta revelador da condição precária do homem no início do século XX, escreveu obras fragmentadas, concentradas em espaços aniquiladores, que representam muito mais do que um simples pano de fundo. Tanto sob o ponto de vista da composição textual, bem como sob o viés simbólico e mítico, essa categoria narrativa desempenha papel decisivo para a compreensão do modo como muitos temas e personagens são caracterizados no texto literário. Dessa forma, o objetivo central da pesquisa é analisar a construção espacial no romance O castelo, publicado em 1922, considerando a fragmentação e a atomização da representação do mundo próprias à arte do início do século XX. Além da obra mencionada, também serão usados outros textos a fim de desenvolver a pesquisa com exemplos que comprovem a hipótese do espaço ficcional da obra kafkiana ser criado sob uma concepção labiríntica. Assim, a simbologia do labirinto influencia os aspectos temáticos e formais do maior romance de Kafka. Tendo isso em vista, nosso trabalho aciona teorias a respeito da hermenêutica simbólica para melhor entender o valor do mito do labirinto em nossa cultura e a apropriação dele como elemento simbólico e artístico. Nesse caso, os estudos de André Peyronie (1998), Gilbert Durand (2002), Carl Gustav Jung (2008) e Mercia Eliade (1878) nos darão suporte teórico. Por se tratar de uma categoria narrativa, o espaço também deve ser visto a partir de teorias que o apresentam conforme elemento estrutural, como é o caso das concepções de ‘narração’ e ‘descrição’ mencionados ao longo da pesquisa. Ao considerar essa abordagem, serão indicados estudos de Osman Lins (1976), Anatol Rosenfeld (1976) e George Lukács (1968). Por fim, o capítulo com as considerações finais, cujo título é “Bifurcação das vias”, indica o labirinto como sendo o próprio texto literário, no qual o indivíduo é representado de forma múltipla em um universo cujas situações vividas são aparentes e repletas de obstáculos.

Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2016-08-31T21:12:47Z No. of bitstreams: 2 Dissertação - Marina Cardozo Mesquita - 2010.pdf: 1268773 bytes, checksum: 0e70ef54d9343fe7866276757af43321 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-09-01T12:14:24Z (GMT) No. of bitstreams: 2 Dissertação - Marina Cardozo Mesquita - 2010.pdf: 1268773 bytes, checksum: 0e70ef54d9343fe7866276757af43321 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-09-01T12:14:24Z (GMT). No. of bitstreams: 2 Dissertação - Marina Cardozo Mesquita - 2010.pdf: 1268773 bytes, checksum: 0e70ef54d9343fe7866276757af43321 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2011-06-08 / This essay studies, in light of symbolic hermeneutics, five short stories from Jorge Luis Borges‟ book Ficciones: “Las Ruinas Circulares”, “La Biblioteca de Babel”, “La Loteria em Babilônia”, “El Jardim de Senderos que se Bifurcan” and “El milagro secreto”. We have as obejctive the observation of the constant symbols and alegories which propose reflections regarding time in the fictional borgian narratives. Facing the difficulty of comprehending the physical and natural laws to which all humanity is submitted, the argentine author uses fiction to symbolically represent some of his ideas. Borges has always demonstrated great unease, mainly regarding time and eternity, thus proposing a reflection that transcends both the rigid and pretentiously impartial scientific language and the approximations of philosophy. Firstly, we discuss the symbolism and its contributions to the psychological and literary studies, as well as the importance of the hermeneutic approach. To support our argumentation, we use studies from significant authors in the investigations of general symbolism and symbolic hermeneutics, mainly Gaston Bachelard, Gilbert Durand and Mircea Eliade. Since time represents the purpose of this research, it (time) is the point to which the analysis converts. We emphasize precisely on the philosophical works of the 20th century, above all the philosophy of Henry Bergson, since he is the one to retake the question of time and broaden its analytical potential, electing conscience as the apprehension mechanism of that which he calls real time. / Este trabalho estuda, à luz da hermenêutica simbólica, cinco contos do livro Ficciones, de Jorge Luis Borges: “Las Ruinas Circulares”, “La Biblioteca de Babel”, “La Loteria en Babilônia”, “El Jardim de Senderos que se Bifurcan” e “El milagro secreto”. Temos como objetivo uma observação dos constantes símbolos e alegorias que propõem reflexões a respeito do tempo na narrativa ficcional borgiana. Diante da dificuldade de compreender as leis físicas e naturais às quais toda a humanidade está submetida, o autor argentino se vale da ficção para representar simbolicamente algumas de suas ideias. Borges sempre demonstrou grande inquietação, sobretudo no que se refere ao tempo e à eternidade, propondo uma reflexão que transcende tanto a linguagem rígida e pretensamente imparcial da ciência quanto as aproximações da filosofia. Primeiramente, discutimos o simbolismo e suas contribuições para os estudos psicológicos e literários, assim como a importância da abordagem hermenêutica. Para sustentar nossa argumentação, utilizamos estudos de autores significativos nas investigações da simbólica geral e hermenêutica simbólica, sobretudo Gaston Bachelard, Gilbert Durand e Mircea Eliade. Como o tempo constitui o objetivo desta pesquisa, ele é o ponto para onde a análise converge. Enfatizamos mais as obras filosóficas do século XX, sobretudo a filosofia de Henri Bergson, pois é ele quem retoma a questão do tempo e amplia seu potencial de análise, elegendo a consciência como o mecanismo de apreensão do que ele denomina como tempo real.