Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2018. / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES). / Sistemas concorrentes enfrentam uma ameaça à sua confiabilidade em comportamentos emergentes, os quais não são incluídos na especificação, mas podem acontecer durante o tempo de execução. Quando sistemas concorrentes são modelados a base de cenários, é possível detectar estes comportamentos emergentes como cenários implícitos que, analogamente, são cenários inesperados que podem acontecer devido à natureza concorrente do sistema. Até agora, o processo de lidar com cenários implícitos pode exigir tempo e esforço significativos do usuário, pois eles são detectados e tratados um a um. Nesta dissertação, uma nova metodologia é proposta para lidar com vários cenários implícitos de cada vez, encontrando comportamentos comuns entre eles. Além disso, propomos uma nova maneira de agrupar estes comportamentos em famílias utilizando uma técnica de agrupamento usando o algoritmo de Smith-Waterman como uma medida de similaridade. Desta forma, permitimos a remoção de vários cenários implícitos com uma única correção, diminuindo o tempo e o esforço necessários para alcançar maior confiabilidade do sistema. Um total de 1798 cenários implícitos foram coletados em sete estudos de caso, dos quais 14 famílias de comportamentos comuns foram definidas. Consequentemente, apenas 14 restrições foram necessárias para resolver todos os cenários implícitos coletados coletados, aplicando nossa abordagem. Estes resultados suportam a validade e eficácia da nossa metodologia. / Concurrent systems face a threat to their reliability in emergent behaviors, which are not included in the specification but can happen during runtime. When concurrent systems are modeled in a scenario-based manner, it is possible to detect emergent behaviors as implied scenarios (ISs) which, analogously, are unexpected scenarios that can happen due to the concurrent nature of the system. Until now, the process of dealing with ISs can demand significant time and effort from the user, as they are detected and dealt with in a one by one basis. In this paper, a new methodology is proposed to deal with various ISs at a time, by finding Common Behaviors (CBs) among them. Additionally, we propose a novel way to group CBs into families utilizing a clustering technique using the Smith- Waterman algorithm as a similarity measure. Thus allowing the removal of multiple ISs with a single fix, decreasing the time and effort required to achieve higher system reliability. A total of 1798 ISs were collected across seven case studies, from which 14 families of CBs were defined. Consequently, only 14 constraints were needed to resolve all collected ISs, applying our approach. These results support the validity and effectiveness of our methodology.

Este trabalho situa-se no âmbito dos estudos voltados para as relações entre linguagem e mundo previdenciário e, em consideração às várias possibilidades de abordagem para essas relações, pretende aprofundar-se nos discursos produzidos sobre o pecúlio. A proposta desta pesquisa é, sob o ponto de vista enunciativo, identificar que sentidos de pecúlio circulam em notícias veiculadas na Revista PREVI, levando em consideração a historicidade dos pecúlios e a comunidade discursiva que participa dessa construção de sentidos. Ao fazermos uma leitura mais analítica das notícias, identificamos que a forma como o enunciador se constituiu, nos levou a trabalhar com os implícitos - pressupostos e subentendidos - e, como pretendíamos analisar a relação PREVI/Participante, optamos por estudar o ethos enunciativo a partir desses implícitos. Dessa forma, pudemos estudar imagens de enunciador e, consequentemente, a forma de relacionamento desse com seu coenunciador, bem como os sentidos de pecúlios recuperados a partir dessa relação. A perspectiva teórica utilizada é a da Análise do discurso de base enunciativa que determina a forma como compreendemos as manifestações de linguagem (MAINGUENEAU, 2004). Outros conceitos presentes em nossa análise foram os de gênero do discurso (BAKHTIN, 2010); as teorias dos implícitos em Ducrot (1987) e Maingueneau (1996) e os estudos sobre o ethos em Maingueneau (2004, 2008 e 2011). Nossas análises nos possibilitaram recuperar três imagens predominantes de enunciadores: o explicador, o defensivo e o apelativo. O primeiro enunciador explica, porque entende que seu coenunciador tem dúvidas, desconhece, não está apto a; o segundo, defende a instituição PREVI, o pecúlio da PREVI e, se necessário, ataca inclusive seu coenunciador, se entender que está sendo ameaçado. Por sua vez, o terceiro argumenta em sua própria causa ou pela causa dos pecúlios e apela pela adesão do seu coenunciador. Depreendem-se dessas imagens de enunciador sentidos de pecúlios que precisam ser explicados, defendidos e argumentados nas publicações da PREVI. Como conclusão, a partir desses sentidos de pecúlio, inferimos uma possível causa para que os enunciadores e coenunciadores estabeleçam as mesmas relações em um período de mais de trinta anos de divulgação dessas revistas / This work lies within the framework of studies on the relationship between language and pension fund and, in consideration of the various possible approaches to these relationships, wants to delve into the speeches made on the reserve funds. The purpose of this research is to identify which reserve funds stories are found in reports in the previ Magazine, taking into account the historicity of the reserve funds and the community that participates in this discursive construction of meaning. By making a more analytical reading of the news, we identified how the utterer was formed, led us to work with the implicit - assumptions and innuendos - and, as we wanted to analyze the PREVI / Participant relationship, we have opted to study the relationship enunciation ethos from such implied. Thus, we studied pictures of the enunciator and hence this kind of relationship with their co-enunciator and the directions of reserve funds recovered from this relationship. The theoretical perspective used is that of discourse analysis of expository basis that determines how we understand the manifestations of language (MAINGUENEAU, 2004). Other concepts presented in our analysis were the gender discourse (BAKHTIN, 2010); implicit theories in Ducrot (1987) and Maingueneau (1996) and studies on the ethos in Maingueneau (2004, 2008 and 2011). Our analyzes allowed us to recover three predominant enunciators pictures: the tutor, the defensive and the appealing. The first enunciator explains, because he understands that his co-enunciator is unsure, unaware, unable; the second one supports the Previ institution, the reserve fund and, if necessary, attacks your co-enunciator to understand what is being threatened. The third one argues for its own sake or for the sake of reserve funds and calls for the accession of his co-enunciator. Be inferred from these enunciators pictures reserve funds ideas which must be explained, defended and argued in the Previ publications. In conclusion, from these reserve funds ideas, we infer a possible cause for the enunciators and the co-enunciators to establish the same relationships over a period of more than thirty years of dissemination of these journals

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2015-12-04T12:07:33Z No. of bitstreams: 1 2015_AlexandreVazRoriz.pdf: 1671166 bytes, checksum: c58f23212854280f05a5a7aba50ad0f9 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2016-05-19T21:55:04Z (GMT) No. of bitstreams: 1 2015_AlexandreVazRoriz.pdf: 1671166 bytes, checksum: c58f23212854280f05a5a7aba50ad0f9 (MD5) / Made available in DSpace on 2016-05-19T21:55:04Z (GMT). No. of bitstreams: 1 2015_AlexandreVazRoriz.pdf: 1671166 bytes, checksum: c58f23212854280f05a5a7aba50ad0f9 (MD5) / O aumento da complexidade dos sistemas computacionais é uma tendência que precisa ser acompanhada pela busca por técnicas de desenvolvimento orientadas em garantir o nível de confiabilidade exigido, desde os estágios iniciais do ciclo de desenvolvimento de software. Nesse contexto, passa a ser requisito essencial que a modelagem seja feita de forma confiável, refletindo da melhor maneira possível o comportamento esperado para o sistema. A modelagem em cenários possibilita, ainda nas fases iniciais do desenvolvimento, a realização de análises de dependabilidade para verificar o atendimento a requisitos não funcionais do sistema. Configurando então uma técnica interessante para a construção de sistemas confiáveis. Entretanto, a modelagem em cenários traz a possibilidade da ocorrência de cenários implícitos, que são cenários que não estavam previstos inicialmente mas surgem da integração entre os diversos cenários especificados. Esses novos cenários podem ser desejados, quando não comprometem o sistema, ou indesejados, quando levam o sistema a um estado de erro. Nesse último caso, é exigida a tomada de ações corretivas para o modelo visando a eliminação ou atenuação desses efeitos negativos. Sendo assim, para a construção de um modelo confiável, faz-se necessário não somente identificar os eventuais cenários implícitos, mas avaliar o impacto desses sobre o sistema a ser modelado, de modo a fundamentar e direcionar as ações para se alcançar o nível de dependabilidade adequado. Esse trabalho apresenta uma metodologia para a avaliação quantitativa e qualitativa do impacto dos cenários implícitos sobre a confiabilidade de um sistema que está sendo modelado. Um estudo de caso é apresentado mostrando o emprego da metodologia para a definição de uma configuração mais confiável em um sistema de rede de câmeras inteligentes. Os resultados mostram que a metodologia é útil para a compreensão de como os cenários implícitos impactam a confiabilidade do modelo, fornecendo subsídios para a tomada de decisões que resultem em um sistema mais confiável. _______________________________________________________________________________________________ ABSTRACT / The increasing of the complexity in computing systems is a trend that needs be accompanied by the search for development techniques oriented to ensure the required reliability level, since the early stages of the software development cycle. In this context, it becomes a essential requirement that the modeling be done in a reliable way, reflecting the expected behavior for system. The scenario-based specification allows, even at early stages of the development, the realization of dependability analysis to verify the compliance with no-functional requirements of the system. Being considered an interesting technique for constructing reliable systems. However, the scenarios modeled brings the possibility of the occurrence of implied scenarios, which are scenarios that were not initially foreseen but arise from interaction between the others specified scenarios. These new scenarios can be allowed, when they do not compromise the system, or unwanted, when they take the system to an error state. In the latter case, it is required to take corrective action in order to eliminate or reduce these negative effects. Therefore, to construct a reliable model, it is necessary not only identify any implied scenarios, but also to assess the impact of these on the system to be modeled in order to ground and direct the actions in order to achieve the appropriate dependability level. This work presents a methodology for quantitative and qualitative analysis of the impact of implied scenarios on the reliability of a system being modeled. A case study is presented showing the use of the methodology for defining a more reliable configuration in a network system of smart cameras. The results show that the method is useful for understanding how the implied scenarios impact the reliability of the model, providing support for decisions that result in a more reliable system.

Este trabalho situa-se no âmbito dos estudos voltados para as relações entre linguagem e mundo previdenciário e, em consideração às várias possibilidades de abordagem para essas relações, pretende aprofundar-se nos discursos produzidos sobre o pecúlio. A proposta desta pesquisa é, sob o ponto de vista enunciativo, identificar que sentidos de pecúlio circulam em notícias veiculadas na Revista PREVI, levando em consideração a historicidade dos pecúlios e a comunidade discursiva que participa dessa construção de sentidos. Ao fazermos uma leitura mais analítica das notícias, identificamos que a forma como o enunciador se constituiu, nos levou a trabalhar com os implícitos - pressupostos e subentendidos - e, como pretendíamos analisar a relação PREVI/Participante, optamos por estudar o ethos enunciativo a partir desses implícitos. Dessa forma, pudemos estudar imagens de enunciador e, consequentemente, a forma de relacionamento desse com seu coenunciador, bem como os sentidos de pecúlios recuperados a partir dessa relação. A perspectiva teórica utilizada é a da Análise do discurso de base enunciativa que determina a forma como compreendemos as manifestações de linguagem (MAINGUENEAU, 2004). Outros conceitos presentes em nossa análise foram os de gênero do discurso (BAKHTIN, 2010); as teorias dos implícitos em Ducrot (1987) e Maingueneau (1996) e os estudos sobre o ethos em Maingueneau (2004, 2008 e 2011). Nossas análises nos possibilitaram recuperar três imagens predominantes de enunciadores: o explicador, o defensivo e o apelativo. O primeiro enunciador explica, porque entende que seu coenunciador tem dúvidas, desconhece, não está apto a; o segundo, defende a instituição PREVI, o pecúlio da PREVI e, se necessário, ataca inclusive seu coenunciador, se entender que está sendo ameaçado. Por sua vez, o terceiro argumenta em sua própria causa ou pela causa dos pecúlios e apela pela adesão do seu coenunciador. Depreendem-se dessas imagens de enunciador sentidos de pecúlios que precisam ser explicados, defendidos e argumentados nas publicações da PREVI. Como conclusão, a partir desses sentidos de pecúlio, inferimos uma possível causa para que os enunciadores e coenunciadores estabeleçam as mesmas relações em um período de mais de trinta anos de divulgação dessas revistas / This work lies within the framework of studies on the relationship between language and pension fund and, in consideration of the various possible approaches to these relationships, wants to delve into the speeches made on the reserve funds. The purpose of this research is to identify which reserve funds stories are found in reports in the previ Magazine, taking into account the historicity of the reserve funds and the community that participates in this discursive construction of meaning. By making a more analytical reading of the news, we identified how the utterer was formed, led us to work with the implicit - assumptions and innuendos - and, as we wanted to analyze the PREVI / Participant relationship, we have opted to study the relationship enunciation ethos from such implied. Thus, we studied pictures of the enunciator and hence this kind of relationship with their co-enunciator and the directions of reserve funds recovered from this relationship. The theoretical perspective used is that of discourse analysis of expository basis that determines how we understand the manifestations of language (MAINGUENEAU, 2004). Other concepts presented in our analysis were the gender discourse (BAKHTIN, 2010); implicit theories in Ducrot (1987) and Maingueneau (1996) and studies on the ethos in Maingueneau (2004, 2008 and 2011). Our analyzes allowed us to recover three predominant enunciators pictures: the tutor, the defensive and the appealing. The first enunciator explains, because he understands that his co-enunciator is unsure, unaware, unable; the second one supports the Previ institution, the reserve fund and, if necessary, attacks your co-enunciator to understand what is being threatened. The third one argues for its own sake or for the sake of reserve funds and calls for the accession of his co-enunciator. Be inferred from these enunciators pictures reserve funds ideas which must be explained, defended and argued in the Previ publications. In conclusion, from these reserve funds ideas, we infer a possible cause for the enunciators and the co-enunciators to establish the same relationships over a period of more than thirty years of dissemination of these journals

Submitted by Hernani Medola (hernani.medola@mackenzie.br) on 2018-03-08T16:50:35Z No. of bitstreams: 2 Vicente Nicola Novellino.pdf: 1296086 bytes, checksum: fb786a9ed6280fb0f308e7299b335f2d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Paola Damato (repositorio@mackenzie.br) on 2018-03-20T15:01:30Z (GMT) No. of bitstreams: 2 Vicente Nicola Novellino.pdf: 1296086 bytes, checksum: fb786a9ed6280fb0f308e7299b335f2d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-03-20T15:01:30Z (GMT). No. of bitstreams: 2 Vicente Nicola Novellino.pdf: 1296086 bytes, checksum: fb786a9ed6280fb0f308e7299b335f2d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-02-01 / La presente ricerca si riferisce alla cittadinanza e ai limiti legali dell'intelligence statale in Brasile. La dottrina, che è usata in tutto il mondo, mostra le sue peculiarità che la differenziano da altre attività statali, poiché il suo lavoro si sviluppa sotto l'egida della segretezza. La Costituzione Federale del 1988 non ha, a chiare lettere, qualsiasi dispositivo che faccia riferimento all'attività di intelligence. Tuttavia, nella sua interpretazione, sia per i principi costituzionali o basati sulla teoria dei poteri impliciti, è possibile estrarre motivi per l'intelligenza dello Stato nella misura in cui, nella creazione di organi con le rispettive competenze, sono stati anche concessi poteri desumibili con operazioni logiche per svolgere i suoi compiti. La legislazione brasiliana riguardante le prime agenzie di intelligence non conteneva abbastanza dispositivi in grado di supportare tutte le attività, e in particolare le operazioni. La legge 9.883 / 1999, che ha creato il sistema di intelligence brasiliano, sebbene con alcuni progressi rispetto a quelli precedenti, è ancora insufficiente a sostenere questa attività rispetto ad altre legislazioni straniere di paesi democratici, che contengono dispositivi che garantiscono l'esercizio dell'attività e offrono anche protezione ai loro operatori. Con basi legali adeguate è del tutto possibile conciliare l'attività dell'intelligence statale con i principi dello Stato di diritto democratico, nel rispetto dei diritti e delle garanzie fondamentali, oltre a essere uno strumento per un'efficace cittadinanza. / The present research refers to Citizenship and the legal limits of state intelligence in Brazil. The doctrine, which is used worldwide, shows its peculiarities that differentiate it from other state activities, since its work develops under the aegis of secrecy. The Federal Constitution of 1988 does not have, expressly, any device that refers to intelligence activity. However, in its interpretation, either by constitutional principles or based on the Theory of Implied Powers, it is possible to extract grounds for State intelligence insofar as, in creating organs with their respective competences, they were also granted powers necessary to carry out its duties. The Brazilian legislation concerning the first intelligence agencies did not contain enough devices that could support all activities, and especially operations. Law 9,883 /1999, which created the Brazilian Intelligence System, although with some advances compared to previous ones, is still insufficient to support this activity if compared to other foreign legislations of democratic countries, which contains devices that guarantee the exercise of the activity and also offer protection to their operators. With adequate legal bases it is quite possible to reconcile the activity of state intelligence with the principles of the Democratic State of Law, with respect to fundamental rights and guarantees, as well as being an instrument for effective citizenship. / A presente pesquisa se refere à cidadania e aos limites jurídicos da inteligência de Estado no Brasil. A doutrina, que é utilizada em nível mundial, mostra suas peculiaridades que a diferenciam das demais atividades de Estado, uma vez que seu trabalho se desenvolve sob a égide do segredo. A Constituição Federal de 1988 não possui, de forma expressa, nenhum dispositivo que se refira à atividade de inteligência. Contudo, na sua interpretação, seja pelos princípios constitucionais ou com base na Teoria dos Poderes Implícitos, é possível extrair fundamentos para a inteligência de Estado à medida que, ao criar órgãos com suas respectivas competências, foram-lhes concedidos, também, os poderes necessários ao cumprimento de suas atribuições. A legislação brasileira referente aos primeiros órgãos de inteligência não continha dispositivos suficientes que pudessem respaldar todas as atividades e, em especial as operações. A Lei nº 9.883/1999 que criou o Sistema Brasileiro de Inteligência, embora com alguns avanços em relação às anteriores, ainda é insuficiente como fundamento jurídico a essa atividade se comparada a outras legislações estrangeiras de países democráticos, que contém dispositivos que garantem o exercício da atividade e também oferecem proteção aos seus operadores. Com fundamentos jurídicos adequados é perfeitamente possível conciliar a atividade de inteligência de Estado com os princípios do Estado Democrático de Direito, com respeito aos direitos e garantias fundamentais, além de ser um instrumento para efetivação da cidadania

La adquisición del género gramatical en una segunda lengua (L2) suele ser frecuentemente problemática, incluso en los niveles de competencia más avanzados (Bruhn de Garavito y White, 2002; White et al., 2004; Keating, 2009; Foucart y Frenck-Mestre, 2011; entre otros). Esta dificultad puede verse influida por el efecto de transferencia, término general que se aplica a la influencia de una lengua adquirida en el aprendizaje de otra (Gass y Selinker, 1983; Odlin, 1989; Jarvis y Pavlenko, 2008; entre otros). Muchos investigadores sugieren que cuando dos lenguas tienen un elemento gramatical en común, la persona que aprende dichas lenguas puede adquirir este elemento en la L2 sin gran dificultad (Sabourin et al., 2006; Ellis, C. et al., 2012; Alhawary, 2005; 2009; entre otros). Las similitudes tipológicas y el nivel de competencia en la L2 se consideran factores influyentes en la transferencia (Ringbom, 2007). Sin embargo, identificar la medida en la que la transferencia y el nivel de competencia influyen en la adquisición de la concordancia de género en español, sigue siendo un desafío metodológico. Con la intención de ampliar el alcance de la investigación sobre la transferencia, se realizó un estudio para examinar la influencia de las propiedades de la L1 y del nivel de competencia en la adquisición de la concordancia de género en adjetivos. Dado que en español la concordancia de género en adjetivos está directamente relacionada con la concordancia en francés, pero no en inglés, este estudio se llevó a cabo con estudiantes post-secundarios francófonos (n= 20) y anglófonos (n= 23). Dichos participantes representaban dos niveles de competencia: intermedio (n= 21) y avanzado (n= 22). Los sujetos debían completar tres experimentos: juicio de gramaticalidad (comprensión offline), elicited oral imitation (producción oral) y eye-tracking (comprensión online). Esta combinación de experimentos, además de poder observar el nivel de adquisición, permitió medir los tipos de conocimientos (explícitos e implícitos) y examinar los posibles efectos de la transferencia en la adquisición de la concordancia de género. A partir de los análisis estadísticos se observaron los siguientes resultados: En primer lugar, el experimento de juicio de gramaticalidad, que medía los conocimientos explícitos, fue completado con un alto nivel de eficacia por todos los grupos. Ahora bien, el análisis de regresión logística reveló una pequeña diferencia entre los participantes en cuanto a los ítems gramaticalmente incorrectos, en el que los sujetos anglófonos mostraron más dificultades que los francófonos. En segundo lugar, los experimentos elicited oral imitation y eye-tracking, que medían los conocimientos implícitos de la concordancia de género, revelaron que las propiedades de la L1 y el nivel de competencia de los sujetos afectan al nivel de adquisición de los participantes. En el primero de dichos experimentos, los sujetos francófonos tendieron a reconstruir los ítems de forma gramatical con más eficacia que los anglófonos y, en el segundo experimento, sólo el grupo francófono de nivel avanzado se mostró sensible a los errores gramaticales. En líneas generales, los análisis sugieren que, aunque hay una pequeña diferencia en cuanto a los ítems gramaticalmente incorrectos, las dos variables relacionadas con los sujetos no parecen influir demasiado en la adquisición de conocimientos explícitos. Sin embargo, en cuanto a los conocimientos implícitos, las propiedades de la L1 y el nivel de competencia influyen de forma significativa. Por lo tanto, la metodología innovadora que se utilizó, es decir, una tarea de comprensión offline, una de producción oral y una de comprensión online, permitió adoptar perspectivas reveladoras sobre la adquisición del género gramatical español.

Neste trabalho aprimorou-se um método para aproximar soluções de uma classe de equações diferenciais algébricas (DAEs), conhecida como sistemas semi-implícitos quadrados. O método, chamado aqui de MII, fundamenta-se na teoria geométrica de desacoplamento para sistemas não lineares, aliada a técnicas eficientes de análise numérica. Ele usa uma estratégia mista com cálculos simbólicos e numéricos para construir um sistema explícito, cujas soluções convergem exponencialmente para as soluções do sistema implícito original. Duas versões do método são apresentadas. Com a primeira, chamada de MIIcond, procura-se obter matrizes numericamente estáveis, através de balanceamentos. E a segunda, MIIproj, aproveita uma interpretação geométrica para o campo vetorial obtido. As implementações foram desenvolvidas em Matlab/simulink com o pacote de computação simbólica. Através dos benchmarks, realizando inclusive comparações com outros métodos atualmente disponíveis, constatou-se que o MIIcond foi inviável em alguns casos, devido ao tempo de processamento muito extenso. Por outro lado, o MIIproj mostrou-se uma boa alternativa para esta classe de problemas, em especial para sistemas de alto índex. / This work improves a method to approximate solutions for a class of differential algebraic equations (DAEs), known as systems semi-implicit square. The method, called here MII, is based on geometric theory of decoupling for nonlinear systems combined with efficient techniques numerical analysis. It uses an algorithum that mixes symbolic and numerical calculations to build an explicit system, whose solutions converge exponentially to solutions of the original implicit system. Two versions of the method are given. The first one is called MIIcond, trying to obtain numerically stable matrices through balancing. The second one is the MIIproj, taking advantage of a geometricinterpretation of the vector field there obtained. The implementations were developed in Matlab/Simulink with the symbolic toolbox. Through benchmarks, including performing comparisons with other methods currently available, it was found that the MIIcond was not feasible in some cases, due to processing time too long. On the other hand, the MIIproj presented itself as good alternative to this class of problems, especially for systems of high index.

Made available in DSpace on 2016-04-28T19:33:37Z (GMT). No. of bitstreams: 1 Anaiza Rodrigues da Silva.pdf: 2512988 bytes, checksum: 8c2b4f80d8950d43eec8c8a9ebd0f179 (MD5) Previous issue date: 2012-10-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The song festivals held in Brazil between 1965 and 1985, became a historical, cultural and political landmark of our country, considered today as one of the most creative moments of our popular music. They revealed great MPB talents and brought to light beautiful compositions that boldly defied the rules imposed by the military government. During the military dictatorship, censorship acted strongly against all forms of communication and cultural expression, especially music. Artists were imprisoned, tortured, exiled. Compositions were banned or had their lyrics changed so they could go public. Despite censorship and repressive means used by the military government, many composers do not shut up and continued to convey, through music, their message of protest. To be able to say what they wanted, but could not, these composers have relied on language resources that deserve to be studied. Through implicit contents these songs could pass the scrutiny of censorship and, while carrying the message to the public, who learned to read between the lines. We seek with this research demonstrate which language resources which enabled the implicit assumptions and implied and specifically how they are identifiable in the text. We found that to understand the implied collaborate factors beyond the structural aspect of language. In this sense, besides the marks highlighted in the text, contribute the context of enunciation, the intertext, the encyclopedic knowledge, the reader's expectations. We conclude that the implicit feature was much explored by composers since the creation of meaning to content implicit is the responsibility of the reader, allowing the enunciator deny responsibility for what was said / Os festivais da canção, realizados no Brasil entre 1965 e 1985, tornaram-se um marco histórico, cultural e político de nosso país, considerado até hoje como um dos momentos mais criativos da nossa música popular. Revelaram grandes talentos da MPB e trouxeram à luz belíssimas composições que desafiaram corajosamente as regras impostas pelo governo militar.Durante a ditadura militar, a censura agiu fortemente contra todos os meios de comunicação e de expressão cultural, especialmente a música. Artistas foram presos, torturados, exilados. Composições foram proibidas ou tiveram suas letras modificadas para que pudessem ir a público.Apesar da censura e dos meios repressores utilizados pelo governo militar, muitos compositores não se calaram e continuaram a transmitir, por meio da música, sua mensagem de protesto.Para poder dizer o que queriam, mas não podiam, esses compositores valeram-se de recursos linguísticos que merecem ser estudados. Por meio de conteúdos implícitos puderam passar pelo crivo da censura e, ao mesmo tempo, levar a mensagem ao público, que aprendeu a ler nas entrelinhas.Procuramos com esta pesquisa demonstrar quais os recursos linguísticos que permitiram criar os implícitos, especificamente pressupostos e subentendidos, como são identificáveis no texto e seu reflexo na criação de sentido. Verificamos que para a compreensão do subentendido colaboram fatores que vão além do aspecto estrutural da língua. Nesse sentido, além das marcas evidenciadas no texto, contribuem o contexto de enunciação, o intertexto, o conhecimento enciclopédico, as expectativas do leitor. Concluímos que o implícito foi recurso muito explorado pelos compositores, já que a criação de significado para esse conteúdo é de responsabilidade do leitor, permitindo ao enunciador negar a responsabilidade sobre o que foi dito

Neste trabalho aprimorou-se um método para aproximar soluções de uma classe de equações diferenciais algébricas (DAEs), conhecida como sistemas semi-implícitos quadrados. O método, chamado aqui de MII, fundamenta-se na teoria geométrica de desacoplamento para sistemas não lineares, aliada a técnicas eficientes de análise numérica. Ele usa uma estratégia mista com cálculos simbólicos e numéricos para construir um sistema explícito, cujas soluções convergem exponencialmente para as soluções do sistema implícito original. Duas versões do método são apresentadas. Com a primeira, chamada de MIIcond, procura-se obter matrizes numericamente estáveis, através de balanceamentos. E a segunda, MIIproj, aproveita uma interpretação geométrica para o campo vetorial obtido. As implementações foram desenvolvidas em Matlab/simulink com o pacote de computação simbólica. Através dos benchmarks, realizando inclusive comparações com outros métodos atualmente disponíveis, constatou-se que o MIIcond foi inviável em alguns casos, devido ao tempo de processamento muito extenso. Por outro lado, o MIIproj mostrou-se uma boa alternativa para esta classe de problemas, em especial para sistemas de alto índex. / This work improves a method to approximate solutions for a class of differential algebraic equations (DAEs), known as systems semi-implicit square. The method, called here MII, is based on geometric theory of decoupling for nonlinear systems combined with efficient techniques numerical analysis. It uses an algorithum that mixes symbolic and numerical calculations to build an explicit system, whose solutions converge exponentially to solutions of the original implicit system. Two versions of the method are given. The first one is called MIIcond, trying to obtain numerically stable matrices through balancing. The second one is the MIIproj, taking advantage of a geometricinterpretation of the vector field there obtained. The implementations were developed in Matlab/Simulink with the symbolic toolbox. Through benchmarks, including performing comparisons with other methods currently available, it was found that the MIIcond was not feasible in some cases, due to processing time too long. On the other hand, the MIIproj presented itself as good alternative to this class of problems, especially for systems of high index.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-06-10T11:28:09Z No. of bitstreams: 1 robertodecarvalhoferreira.pdf: 4632819 bytes, checksum: e5bd9a607a629a54c4f57e8d4c95a5ed (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-07-13T13:47:43Z (GMT) No. of bitstreams: 1 robertodecarvalhoferreira.pdf: 4632819 bytes, checksum: e5bd9a607a629a54c4f57e8d4c95a5ed (MD5) / Made available in DSpace on 2016-07-13T13:47:43Z (GMT). No. of bitstreams: 1 robertodecarvalhoferreira.pdf: 4632819 bytes, checksum: e5bd9a607a629a54c4f57e8d4c95a5ed (MD5) Previous issue date: 2012-08-29 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A evolução dos computadores, mais especificamente no que diz respeito ao aumento de sua capacidade de armazenamento e de processamento de dados, possibilitou a construção de ferramentas computacionais destinadas à simulação de fenômenos físicos e químicos. Com isso, a realização de experimentos práticos vem, em alguns casos, sendo substituída pela utilização de experimentos computacionais, que simulam o comportamento de inúmeros elementos que compõem o experimento original. Neste contexto, podemos destacar os modelos utilizados para a simulação de fenômenos em escala atômica. A construção desses simuladores requer, por parte dos desenvolvedores, um amplo estudo e definição de modelos precisos e confiáveis. Tal complexidade se reflete, muitas vezes, em simuladores complexos, destinados a simulação de um grupo restrito de estruturas, expressos de maneira fixa, utilizando algumas formas geométricas padrões. Este trabalho propõe uma ferramenta computacional para a geração de um conjunto de estruturas cristalinas. Este conjunto é caracterizado pela organização espacial regular dos átomos que a compõe. A ferramenta é composta por a) uma linguagem de programação, que rege a criação das estruturas através da definição de um sistema cristalino e a construção de objetos a partir de funções características e operadores CSG (Construtive Solid Geometry), e b) um compilador/interpretador que analisa um código fonte escrito na linguagem, e gera a partir deste o objeto correspondente. A ferramenta oferece aos desenvolvedores um mecanismo simples que possibilita a geração de um número irrestrito de estruturas. Sua aplicabilidade é demonstrada através da incorporação de uma estrutura, gerada a partir de um código fonte, ao simulador Monte Carlo Spins Engine, criado pelo Grupo de Computação Gráfica da Universidade Federal de Juiz de Fora. / The evolution of computers, more specifically regarding the increased storage and data processing capacity, allowed the construction of computational tools for the simulation of physical and chemical phenomena. Thus, practical experiments are being replaced, in some cases, by computational experiments that simulate the behavior of many elements that compose the original one. In this context, we can highlight the models used to simulate phenomena at the atomic scale. The construction of these simulators requires, by developers, the study and definition of accurate and reliable models. This complexity is often reflected in the construction of complex simulators, which simulate a limited group of structures. Such structures are sometimes expressed in a fixed manner using a limited set of geometric shapes. This work proposes a computational tool that aims to generate a set crystal structures. Crystal structures are characterized by a set of atoms arranged in a regular way. The proposed tool consists of a) a programming language, which is used to describe the structures using for this purpose characteristic functions and CSG (Construtive Solid Geometry) operators, and b) a compiler/interpreter that examines the source code written in the proposed language, and generates the objects accordingly. This tool enables the generation of an unrestricted number of structures. Its applicability is demonstrated through the incorporation of a structure, generated from the source code, to the Monte Carlo Spins Engine, a spin simulator developed by the Group of Computer Graphics of the Federal University of Juiz de Fora.