Made available in DSpace on 2015-05-14T13:27:03Z (GMT). No. of bitstreams: 1 ArquivoTotalAnna.pdf: 1056270 bytes, checksum: 1af793fcfe34827d8148e60bfde114d1 (MD5) Previous issue date: 2013-05-15 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The credit allows several studies under different viewpoints, one of which is related to the possibility of it being a commodity credit and therefore, liable to be manipulated symbolically. This thesis focuses on an elrerly group - from sixty years old - men and women, retirees, which may have some occupation, the majority belonging to the middle class, surveys were conducted in order to develop this research. The research issue is based on the question concerning the fact of how these informants are inserted in consumer society and the extent to which the credit relates to the strategies they have adopted, such as mediation, recognition, prestige and social ascension. The findings relate to the fact that relationships involving consumer credit report to some aspects of Brazilian society as personalism, while considering the confidence value as well as the rationalization of consumer credit shows the transformation in the conduct of informants, with preference payment in cash instead of credit payment. Analyzes the moral drama resulting from the use of credit by the informants, approaching a particular type of morality and honor, shame and guilt, religiousness and the idea of sacrifice in the name of a greater good. / O crédito permite diversos estudos sob pontos de vista diferentes, sendo um deles o relacionado à possibilidade de ser o crédito um bem de consumo e, portanto, passível de ser manipulado simbolicamente. A presente Tese enfoca um grupo que se refere às pessoas idosas, a partir dos sessenta anos de idade, homens e mulheres, aposentados, podendo ter alguma ocupação, pertencentes, atualmente, em sua maioria, à classe média, sendo realizadas entrevistas e partir delas desenvolve-se esta pesquisa. A problemática investigada baseia-se na indagação referente ao fato de como esses informantes se inserem na sociedade de consumo e em que medida o crédito se relaciona com as estratégias por eles adotadas de mediação, reconhecimento, ascensão e prestígio sociais. As constatações se reportam ao fato de que as relações de consumo que envolvem crédito se reportam a alguns aspectos da sociedade brasileira como os do personalismo, considerando a confiança enquanto valor, bem como o processo de racionalização do crédito ao consumidor demonstra a transformação na conduta dos informantes, com a preferência do pagamento à vista em detrimento do pagamento a crédito. Analisa-se o drama moral decorrente do uso do crédito pelos informantes, abordando-se um tipo particular de moralidade como honra, sentimento de vergonha e de culpa, religiosidade e a ideia de sacrifício em nome de um bem maior.

Efficient manipulation of Boolean functions is an important component of many computer-aided design task. As a data structure for representing and manipulating Boolean functions, Binary Decision Diagrams are commonly used. These diagrams are commonly used in many fields such as model checking, system verification, circuit design, etc. In this thesis we describe these diagrams and there are present their modifications. Furthermore, this paper present and describes techniques for effective handling and representation of binary decision diagrams. This thesis describes the design and implementation of library that will work with these diagrams. It is further discussed how the developed library can be used within the library VATA for manipulating tree automata. Finally, the library was compared with well known and heavily optimized library CUDD, which is public and with library CacBDD. The experimental results showed that the performance of the proposed library is quite close to that of CUDD a CacBDD (has comparable and mostly even slightly better performance).