A poética do mal : a ficção de Álvares de Azevedo, uma literatura sob o signo de satã

O presente estudo traz reflexões sobre Noite na Taverna e Macário, textos de Álvares de Azevedo, e a forma pela qual eles se inscrevem na literatura maldita. Para tanto, faz-se necessário um olhar mais detido para elementos fundadores do maldito: o erotismo como fonte do desejo; o sentimento de perda pelo desejo não realizado; a melancolia decorrente dessa desilusão; a rebeldia pela percepção do ideal frustrado e a morte como fim último da existência. Visa-se, portanto, abordar a questão do mal enquanto temática literária que passa a influenciar o pensamento e o modo de viver e agir das personagens azevedianas, tornando-se aspecto fundamental nos textos em questão.

Functional timing analysis of VLSI circuits containing complex gates

The recent advances in CMOS technology have allowed for the fabrication of transistors with submicronic dimensions, making possible the integration of tens of millions devices in a single chip that can be used to build very complex electronic systems. Such increase in complexity of designs has originated a need for more efficient verification tools that could incorporate more appropriate physical and computational models. Timing verification targets at determining whether the timing constraints imposed to the design may be satisfied or not. It can be performed by using circuit simulation or by timing analysis. Although simulation tends to furnish the most accurate estimates, it presents the drawback of being stimuli dependent. Hence, in order to ensure that the critical situation is taken into account, one must exercise all possible input patterns. Obviously, this is not possible to accomplish due to the high complexity of current designs. To circumvent this problem, designers must rely on timing analysis. Timing analysis is an input-independent verification approach that models each combinational block of a circuit as a direct acyclic graph, which is used to estimate the critical delay. First timing analysis tools used only the circuit topology information to estimate circuit delay, thus being referred to as topological timing analyzers. However, such method may result in too pessimistic delay estimates, since the longest paths in the graph may not be able to propagate a transition, that is, may be false. Functional timing analysis, in turn, considers not only circuit topology, but also the temporal and functional relations between circuit elements. Functional timing analysis tools may differ by three aspects: the set of sensitization conditions necessary to declare a path as sensitizable (i.e., the so-called path sensitization criterion), the number of paths simultaneously handled and the method used to determine whether sensitization conditions are satisfiable or not. Currently, the two most efficient approaches test the sensitizability of entire sets of paths at a time: one is based on automatic test pattern generation (ATPG) techniques and the other translates the timing analysis problem into a satisfiability (SAT) problem. Although timing analysis has been exhaustively studied in the last fifteen years, some specific topics have not received the required attention yet. One such topic is the applicability of functional timing analysis to circuits containing complex gates. This is the basic concern of this thesis. In addition, and as a necessary step to settle the scenario, a detailed and systematic study on functional timing analysis is also presented.

"Entre se quiser, saia se puder" : os percursos dos jovens pelas redes sociais e a internação psiquiátrica

Esta dissertação problematiza a internação psiquiátrica de jovens, tomando-a não a partir de uma perspectiva psicopatológica individual, mas de uma dimensão subjetivo-social contemporânea, representada pelos percursos desses jovens pelas chamadas redes sociais. A presente pesquisa tem como campo empírico o Centro Integrado de Atenção Psicossocial para crianças e adolescentes (CIAPS) do Hospital Psiquiátrico São Pedro (HPSP), na cidade de Porto Alegre/Brasil. Também fazem parte do campo investigativo o Fórum Técnico Macrometropolitano de Saúde Mental (FTMSM), o Serviço de Admissão e Triagem (SAT) do HPSP e o II Seminário Internacional de Justiça Terapêutica. O objetivo do estudo é investigar como se produz a internação psiquiátrica, tendo como foco de visibilidade desta produção o percurso dos jovens pelas chamadas redes sociais. Para tanto, como metodologia, foram realizadas oficinas com os jovens que estavam em atendimento sob regime de internação no CIAPS/HPSP. Contudo, para que a discussão não se restringisse à perspectiva dos jovens, ampliou-se o campo empírico para as instituições referidas com o intuito de problematizar-se as acepções de rede para os serviços em saúde mental envolvidos nos percursos juvenis. Percebeu-se uma recorrência no modo de funcionamento da “rede”, acarretando na produção de um certo perfil dos jovens que internam, como pobreza sócio-econômica e uso de drogas. Outro aspecto importante diz respeito ao papel da ordem judicial nos encaminhamentos à internação, que por vezes obedece tanto a uma lógica de punição aos jovens e dos serviços, como também de estratégia de acesso aos serviços de saúde.