Made available in DSpace on 2015-04-09T12:28:26Z (GMT). No. of bitstreams: 0 Previous issue date: 2014Bitstream added on 2015-04-09T12:47:34Z : No. of bitstreams: 1 000812869.pdf: 497174 bytes, checksum: 343554bf58707181ca0cee752bb1c78b (MD5) / Esta pesquisa está inserida no contexto filosófico da Lógica, com ênfase nos aspectos dos quantificadores e nos seus modelos ou interpretações. O objetivo deste trabalho é um aprofundamento das noções de quantificação dentro do aspecto das lógicas moduladas. Para tanto, aborda-se a lógica modulada do plausível, que procura formalizar o quantificador da ubiquidade. O texto apresenta uma proposta, introduzida por Paul Halmos, de interpretação da lógica quantificacional clássica em modelos algébricos e, como contribuição original, estende este modelo para um modelo algébrico para a lógica do plausível. / This research is inserted in the context of Philosophy of Logic, with emphasis on aspects of quantifiers and their models or interpretations. The aim of this paper is a deepening on notions of quantification in the environment of modulate logics. For that, this Dissertation approaches the modulate logic of plausible, which seeks to formalize the quantifier of ubiquity. The text presents a proposal, of Paul Halmos, to interpret the classical logic quantification into algebraic models. As an original contribution, it is extended this model to an algebraic model for the logic of plausible.

[pt] Este trabalho tem por objetivo realizar uma reflexão acerca do consumo de bens em promoções de vendas, estratégia comercial muito utilizada no varejo, para estimular compras com promessas de vantagens e benefícios aos consumidores. A promoção é observada aqui como um fato social, culturalmente constituído, como um fenômeno generalizado e social. Estamos, pois, diante de uma maneira coletiva de ação, de pensamentos, de crenças e de sentimentos que apresentam como propriedade marcante algo que move e torna os indivíduos propensos a comprar. A partir da análise de narrativas midiáticas e dos discursos de um grupo estudado – mulheres das camadas médias do Rio de Janeiro –, informantes de uma pesquisa qualitativa, observam-se as motivações simbólicas que se fundem às motivações práticas e que levam ao consumo em ações promocionais. A razão simbólica é identificada aqui operando também em sistemas cujas características centrais seriam a razão e o utilitarismo prático. Nesse ponto, captamos o caráter mágico das promoções e a sua eficácia simbólica no campo do consumo. / [en] This study aims to develop a reflection on the consumer goods sales promotions, a business strategy widely used in retail to stimulate purchases with promises of advantages and benefits to consumers. The promotion is seen here as a social fact, culturally constituted, as a generalized and social phenomenon. We are therefore faced with a collective way of action, thoughts, beliefs and feelings that move and make individuals likely to buy. From the media narratives and discourses analysis of a study group – women of the middle classes of Rio de Janeiro – informants of a qualitative research, we observe the merging of symbolic motivations with practical motivations that lead to consumption during promotional activities. The symbolic reason ends up operating in systems which have reason and practical utilitarianism as central features. At this point we capture the magical character of deals and their symbolic efficacy in the consumption field.

[pt] Neste trabalho desenvolveu-se um método para análise simbólica de redes analógicas lineares, invariantes no tempo, incluindo fontes controladas, transformadores e giradores. O algoritmo determina funções de transferência em forma simbólica analisando um modelo de grafo de fluxo de sinal (GFS) da rede. Este procedimento é baseado em método de análise de filtros digitais, anteriormente desenvolvido, enfatizando a geração de um modelo apropriado de GFS do circuito. O modelo de GFS adotado é gerado a partir de uma descrição pro equações de estado da rede. O método foi implementado, apresentando, em alguns casos, eficiência comparável à dos processos numéricos. São apresentados resultados de testes para redes típicas. / [en] In this paper a method for symbolic analysis of linear time invariant circuits, including controled sources, transformers and gyrators, is presented. The procedure determines transfer functions in symbolic form by analysing a signal flow graph (SFG) model of network. The approach is based on a previews digital filter symbolic analysis method, emphasizing the generation of an appropriate circuit SFG model. The SFG model results from a graph approach to the state space description of the network. The method was implemented with performance comparable or even faster than numerical methods. The tests results for some typical strutures are presented.

No description available.

Submitted by Maria Cristina (library@lncc.br) on 2016-08-02T17:09:01Z No. of bitstreams: 1 dissertacao_vinicius.pdf: 1188979 bytes, checksum: dfd0b027f7accd5d2614f8b2e5746393 (MD5) / Approved for entry into archive by Maria Cristina (library@lncc.br) on 2016-08-02T17:09:15Z (GMT) No. of bitstreams: 1 dissertacao_vinicius.pdf: 1188979 bytes, checksum: dfd0b027f7accd5d2614f8b2e5746393 (MD5) / Made available in DSpace on 2016-08-02T17:09:26Z (GMT). No. of bitstreams: 1 dissertacao_vinicius.pdf: 1188979 bytes, checksum: dfd0b027f7accd5d2614f8b2e5746393 (MD5) Previous issue date: 2016-03-02 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (Capes) / Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do Rio de Janeiro (FAPERJ) / The objective of structural optimization is to obtain economical structures which also satisfy specific performance requirements. It involves the search for optimal values for the design variables in order to minimize, or maximize, some measure of interest modeled via an objective function. Frequently, such problems involve constraints which must be satisfied so that a solution can be considered feasible. In addition, the objective function and/or constraints are often not available as explicit expressions of the design variables, and must be evaluated via a simulator. Hence, the choice of the optimization technique must take into account such features. Differential Evolution can be seen as an interesting choice, since it has been obtaining good results in problems in different fields of study. In this work, the results obtained by different variants of the original DE algorithm, when applied to problems of mass minimization of trusses subject to constraints on their natural vibration frequency, are analysed and compared to those reported in the literature. In view of the practical interest in limiting the number of different values found for the design variables in the final solution, it is also investigated the effect of this cardinality constraint (not addressed in the literature) on the structural mass obtained by the algorithm. / A otimização estrutural visa a obtenção de estruturas econômicas e que satisfaçam aos requisitos de desempenho aplicáveis ao caso. Ela envolve a busca de valores ótimos para as variáveis de projeto, que venham a minimizar, ou maximizar, algum critério de interesse modelado através de uma função objetivo. Frequentemente estes problemas apresentam restrições, as quais devem ser respeitadas para que uma solução seja considerada válida. Além disso, muitas vezes a função objetivo e/ou restrições não estão disponíveis como expressões explícitas das variáveis de projeto, sendo avaliadas através de um simulador. Assim, a escolha da técnica de otimização deve levar em conta tais características. A chamada Evolução Diferencial apresenta-se como uma escolha interessante, uma vez que vem obtendo bons resultados em problemas das mais diversas áreas. Neste trabalho os resultados obtidos por diferentes variantes do algoritmo original, quando aplicadas a problemas de minimização da massa de treliças sujeitas às restrições sobre as frequências naturais de vibração, são analisados e comparados àqueles reportados na literatura. Tendo em vista o interesse prático em limitar o número de diferentes valores encontrados para as variáveis de projeto na solução final, é então analisada a influência da introdução desta restrição de cardinalidade (ainda não reportada na literatura) sobre a massa da estrutura obtida pelo algoritmo ao final do processo.

Made available in DSpace on 2016-04-29T14:23:55Z (GMT). No. of bitstreams: 1 Cristiano Natal Toneis.pdf: 14474137 bytes, checksum: 81bf760195af01ca56123ea3b53bf71f (MD5) Previous issue date: 2010-05-10 / Secretaria da Educação do Estado de São Paulo / The present study into the perspective of development the reasoning logicalmathematical by means of the ontological structures in the digital games happens on a specific modality of digital games that present many structures narratives, and its structural development in the form of logical puzzles, practical, related with the idea Greek of mathéma. The methodology has used combines the conceptual efforts in philosophy of the logical positivism, hermeneutic phenomenology, the pragmatic logic, the genetic epistemology, Ethnomathematics and games practical theory, showing that puzzles in the digital games constitute in cognitives structures of high value for the promotion and production of the knowledge, practical and scientifical, as well as achievement and promotion of its structures narratives that they culminate in uncurling of an interactive history. The research takes as example shape the game Myst, establishing it as descriptionconceptual reference that allows the integration of new forms to stimulate and to support the apprehension of logical-mathematicians knowledge, being assumed and demonstrating that to the reasoning logical-mathematician, organized in the form of puzzles, structured in a way thought oncologic. Thus, it shows the organization of new and versatile forms for the modeling, symbolization, analysis, exploration, conjecture and demonstration of the knowledge mathematician, in the playful-cognitive form of puzzles into the immersive digital universes, more recently assigned as metaverses. From then on, the research demonstrates the theoretician-pragmatic value of creation and organization of digital games that can serve to advancement human culture, in reference the promotion of the human subjectivity in the culture, as well as in the structuralization and equilibration of structures logical-cognitives in immersive experience through the adventure games and by means its puzzles. Thus, we indicate the value of use of the digital games (metaverses) as complementary structure for the development of critical abilities in the citizen in a process of continuous education, as well as in its aspects of widening of the mathematical understanding as logical as cultural, where from universalisation and generalization the experience into the puzzles in metaverses. We show the results of an experience with children in school age, which the use of the game model promoted an increment in his general cognitives abilities and change the form they see the world and solving problems that demand an attitude logical-mathematics. Students not only must use multimedia to learn, but they can also use it to communicate their understanding of the subject to those around them. Virtual reality has the potential to move education from its reliance on books to experiential learning in naturalistic settings. The research culminates with the proposal of a heuristic for the resolution of problems, which as children as adult chance over a new species of epistemologists that, from the experience in the digital games, argue in to think the forms of thinking , or rethink, look at problems in many different ways mathéma by the resolution of puzzles / A presente dissertação na perspectiva do desenvolvim V dentro das estruturas ontológicas presentes nos jogos digitais incide sobre uma modalidade específica de jogos digitais nos quais se fazem presentes, tanto estruturas narrativas, bem como o seu desenvolvimento estrutural na forma de puzzles lógicos, práticos e, relacionados com a idéia grega de mathéma. A metodologia utilizada combina os esforços conceituais presentes na filosofia do positivismo lógico, da fenomenologia hermenêutica, da lógica pragmática, da epistemologia genética, da etnomatemática e da teoria e prática dos jogos, mostrando que os puzzles presentes nos jogos digitais se constituem em estruturas cognitivas de alto valor para a promoção e produção do estruturas narrativas que culminam no desenrolar de uma história interativa. A pesquisa toma como exemplo modelar o game Myst, estabelecendo-o como referência histórico-conceitual que permite a integração de novas formas para incentivar e apoiar a apreensão de conhecimentos lógico-matemáticos, assumindo e demonstrando que o raciocínio lógico-matemático, organizado na forma de puzzles, se estrutura em um modo de ser ontológico do pensamento. Neste sentido mostra a organização de novas e versáteis formas para a modelagem, simbolização, análise, exploração, conjectura e demonstração do conhecimento, inclusive matemático, na forma lúdico-cognitiva dos puzzles no interior de universos digitais imersivos, mais recentemente designados como metaversos. A partir daí, a pesquisa demonstra o valor teórico-pragmático da criação e organização de jogos digitais que podem servir como promotores da cultur promoção da subjetividade humana na cultura, bem como na estruturação e equilibração das estruturas lógico-cognitivas dos sujeitos imersivos que realizam a aventura dos games por meio de seus puzzles. Com isso indicamos o valor da utilização dos jogos digitais (metaversos) como estrutura complementar para o desenvolvimento de habilidades críticas no sujeito humano em um processo de educação contínua, tanto em seus aspectos de alargamento da compreensão matemática como lógica e também cultural, a partir do pressuposto da universalização e generalização da experiência dos puzzles no interior dos metaversos. Neste sentido mostramos os resultados de uma experiência de campo com crianças em idade escolar na qual a utilização do jogo modelo promoveu um incremento em suas habilidades gerais cognitivas e uma mudança na forma de ver o mundo e colocar problemas que demandam uma atitude lógico-matemática. A pesquisa culmina com a proposta de uma heurística para a resolução de problemas, na qual tanto crianças como adultos se convertem em uma nova espécie de epistemólogos que, a partir da experiência nos jogos digitais, se defrontam com a tarefa continuada e falibilista de pensar as formas do pensar mathéma por meio da resolução dos puzzles

Made available in DSpace on 2014-06-11T19:24:54Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-08-12Bitstream added on 2014-06-13T20:52:49Z : No. of bitstreams: 1 gomes_rr_me_rcla.pdf: 970847 bytes, checksum: f1f63ef47745a8d3404205c27335f1b1 (MD5) / Neste trabalho apresentamos e analisamos o conceito fregiano de função, presente nos três livros de Frege: Begriffsschrift, Os Fundamentos da Aritmética e Leis Fundamentais da Aritmética. Discutimos ao longo dele o que Frege entendia por função e argumento, as modificações conceituais que tais noções sofreram no período de publicação de seus livros e a importância dessas noções para a sua filosofia. Para tanto, analisamos a linguagem artificial do primeiro livro, a definição de número do segundo, e os casos particulares de funções que são definidos no terceiro, bem como as considerações contidas em outros escritos do filósofo alemão. Verificamos uma caracterização puramente sintática de função em Begriffsschrift, uma distinção entre o sinal de uma função e aquilo que ele denota em Os Fundamentos da Aritmética, e a associação de dois elementos distintos a uma expressão funcional em Leis Fundamentais da Aritmética: o seu sentido e a sua referência. Finalmente, constatamos que a originalidade do sistema fregiano reside na possibilidade de considerar esse ou aquele termo de uma proposição como o argumento (ou os argumentos) de uma função. / In this work we present and analyze the fregean concept of function, present in the three books by Frege: Begriffsschrift, The Foundations of the Arithmetic and Fundamental Laws of the Arithmetic. We discuss what Frege understood by function and argument, the conceptual modifications that such notions suffered in the period of publication of those books and the importance of these notions for his philosophy. For so much, we analyze the artificial language of the first book, the definition of number in the second, and the particular cases of functions that are defined in the third, as well as the considerations contained in other works by the philosopher. We verify a purely syntactic characterization of function in Begriffsschrift, a distinction between the sign of a function and what it denotes in The Foundations of the Arithmetic, and the association of two different elements to a functional expression in Fundamental Laws of the Arithmetic: its sense and its reference. Finally, we verify that the originality of the Frege´s system is based on the possibility of considering one or other term of a proposition as the argument (or the arguments) of a function.

Made available in DSpace on 2014-06-11T19:24:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-10-14Bitstream added on 2014-06-13T18:52:59Z : No. of bitstreams: 1 dias_chbb_me_rcla.pdf: 692647 bytes, checksum: 869fdb9734d900054c9edcfce9ca37cc (MD5) / Universidade Estadual Paulista (UNESP) / Desde cedo entramos em contato com as implicações lógicas. O binômio verdadeiro-falso está sempre presente em nossas vidas e nós nos acostumamos a aceitar que as coisas ou são verdadeiras ou são falsas. Divertimo-nos quando alguém nos conta histórias interessantes envolvendo lógica e que terminam em contradições, tais como, por exemplo, a do barbeiro que pode e não pode barbear a si mesmo, ou como a do advogado que consegue ganhar ou perder a mesma causa. Apreciamos mais paradoxos sem nos apercebermos que por trás deles existe toda uma teoria matemática, a chamada lógica fuzzy. Essa dissertação tem por objetivo apresentar um resumo deste teoria, mostrando como ela trata a existência de tais paradoxos e dar detalhes sobre uma visão compacta dos conjuntos fuzzy, a saber, utilizando uma representação geométrica. A análise de alguns resultados sobre tais conjuntos usando esta representação leva a uma justificativa para o estudo da lógica fuzzy, a saber, a diferença entre fuzziness e probabilidade, incluindo uma demonstração de que fuzziness, de fato, existe / Early on we got in touch with the logical implications. The binomial true-false is always present in our lives and we have come to accept that things are either true or false. Have fun when somebody tells interesting stories involving logic and ending with contradictions, such as, for example, the barber who can and can not shave himself, or as the lawyer who can win or lose the same cause. Appreciate more paradoxes without realizing that behind them there is a whole mathematical theory, called fuzzy logic. This thesis aims to present a summary of this theory, showing how it treats the existence of such paradoxes and give details about a compact view of fuzzy sets, namely, using a geometrical representation. The analysis of some results on such sets using this representation leads to a justification for the study of fuzzy logic, namely the difference between fuzziness and probability, including a demonstration that fuzziness in fact, exists

[pt] Todos os dias meninas e mulheres são vítimas de algum tipo de violência simplesmente por pertencerem ao gênero feminino. Diante disso, afirma-se que a violência contra a mulher é historicamente um problema social, com abrangência mundial. A perspectiva teórica adotada neste estudo compreende que tais violações são perpetuadas em razão da cultura machista e patriarcal que subsidiou as relações sociais, naturalizando de tal maneira a dominação masculina, que esta se tornou incontestável. Destarte, o objetivo desta pesquisa é analisar se, e como, adolescentes compreendem os reflexos culturais do machismo como violências sofridas por mulheres atualmente. No que tange à metodologia, o instrumento utilizado para produção de dados primários foi a entrevista semiestruturada, o método de análise, a interpretação de sentidos e o campo de pesquisa, o Núcleo de Estudos da Saúde do Adolescente, unidade docente-assistencial da Universidade do Estado do Rio de Janeiro. Os resultados da pesquisa evidenciaram que adolescentes observam no seu cotidiano expressões do machismo e de violências de gênero, não apresentando em seus discursos a culpabilização das vítimas e manifestando incômodo com a hierarquia social entre homens e mulheres. Entretanto, considerando que estão imersos em um contexto cultural hegemonicamente machista, também reproduzem concepções e valores conversadores, legitimados socialmente, acerca das relações desiguais entre os gêneros nos espaços públicos e as violências que atingem as mulheres todos os dias. / [en] Everyday girls and women are victims of some type of violence simply because they belong to the female gender. In view of this, it is stated that violence against women is historically a social problem, with a worldwide scope. The theoretical perspective adopted in this study understands that such violations are perpetuated due to the macho and patriarchal culture that subsidized social relations, naturalizing male domination in such a way that it became uncontested. Thus, the objective of this research is to analyze whether and how adolescents understand the cultural reflexes of machismo as violence suffered by women today. Thus, the objective of this research is to analyze whether and how adolescents understand the cultural reflexes of machismo as violence suffered by women today. With regard to the methodology, the instrument used to produce primary data was the semi-structured interview, the method of analysis, the interpretation of meanings and the research field, the Nucleus of Studies on Adolescent Health, a teaching-assistance unit at the University of Rio de Janeiro state. The research results showed that adolescents observe expressions of machismo and gender violence in their daily lives, not presenting in their speeches blaming the victims and expressing discomfort with the social hierarchy between men and women. However, considering that they are immersed in a hegemonically sexist cultural context, they also reproduce conversational concepts and values, socially legitimized, about the unequal relations between genders in public spaces and the violence that affect women every day.

[pt] Em meados do século XIX, G. Boole mostrou que a transformação x -> x − 1/x, definida em R − {0}, preserva a medida de Lebesgue (Ble). Mais de um século depois, R. Adler e B.Weiss mostraram que essa aplicação, chamada de transformação de Boole, é, de fato, ergódica com respeito à medida de Lebesgue (Adl). Nesse trabalho, apresentaremos o conceito de sistemas alternantes, definido recentemente por S. Muñoz (Mun), que consiste numa grande classe de aplicações na reta que generaliza a transformação de Boole e que torna possível uma análise abrangente de propriedades como transitividade robusta e ergodicidade. Para mostrar que, sob certas condições, sistemas alternantes são ergódicos com relação à medida de Lebesgue, mostraremos, usando o Teorema do Folclore, que a transformação induzida do sistema alternante é ergódica. / [en] In the middle of the 19th century, G. Boole proved that the transformation x -> x − 1/x, defined on R − {0}, is a Lebesgue measure preserving transformation (Ble). Over one hundred years later, R. Adler and B.Weiss proved that this map, called Boole`s map, is, in fact, ergodic with respect to the Lebesgue measure (Adl). In this work, we present the notion of alternating systems, recently introduced by S. Mu`noz (Mun), which is a large class of functions on the real line that generalizes the Boole`s map and allows us to make a wide analysis on certain properties such as robust transitivity and ergodicity. In order to show that, under certain conditions, alternating systems are ergodic with respect to the Lebesgue measure, we show, using the Folklore Theorem, that the induced transformation of an alternating system is ergodic.