OLIVEIRA, Carlos Augusto de. A musealização do território: uma aproximação entre Geografia, Educação e Museologia na Cohab Raposo Tavares. 2016. 228 f. Dissertação de Mestrado - Programa de Pós-Graduação Interunidades em Museologia, Universidade de São Paulo, São Paulo, 2016. O território pode ser entendido enquanto um museu a partir das perspectivas abertas pelo movimento denominado Nova Museologia e seu desdobramento acadêmico chamado Sociomuseologia. Isso nos permite compreender o patrimônio de uma maneira mais ampla, a partir de um entendimento que contemple a musealização do território enquanto estratégia de administração da memória e instrumento de desenvolvimento social. Essa proposta de musealização do território visa despertar nos indivíduos um conhecimento crítico e uma ação transformadora da sociedade. A apropriação (criação) desse espaço envolve necessariamente um conhecimento das dinâmicas sociais e sua relação com o meio natural em que está inserida, o qual precisa ser construído através de práticas educativas (formais ou não). Essas, por sua vez, podem fazer uso do próprio território da ação museológica entendido enquanto espaço não-formal de educação. Dessa forma, nesse trabalho as áreas de Geografia e Educação somam forças à Museologia para a compreensão da realidade e sua transformação. O caso prático da pesquisa se dá no bairro da Cohab Raposo Tavares (São Paulo / SP), através da ação do Centro de Memória que existe no local. / The territory may be understood as a museum considering the perspective brought by the movement known as New Museology and its academic branch known as Sociomuseology. That allows us to look at heritage in a broader sense, from an understanding that contemplates the musealization of the territory as a memory management strategy and social development tool. The proposed musealization of the territory aims to enliven individuals to a critical knowledge and actions capable of transforming the society. The appropriation (creation) of that space necessarily involves the knowledge of social dynamics and its relationship to the natural environment in which it operates, which must be built through educational practices (formal ones or not). These, in turn, can make use of their territory of museological action understood as a non-formal educational space. Thus, in this research the areas of Geography and Education join forces to Museology to understand the reality and its transformation. The study case take place at the neighborhood of Cohab Raposo Tavares (São Paulo / SP) through the action of its existing Memory Center

Uma sequência de imagens de satélite climático é processada aplicando-se um conjunto de operações de filtros, no intuito de extrair padrões de comportamento das nuvens. Caracteres são criados a partir deste tratamento e suas transições são investigadas, explorando a possibilidade de justificar suas ocorrências através de linguagens formais e linguagens bidimensionais, definindo suas gramáticas. Com esta contagem de transições, uma análise de sua forma fractal é iniciada e um paralelo com outras contagens estabelecida, como uma forma de estruturar um modelo computacionalmente menos complexo de prever o tempo, ou o comportamento de qualquer entidade dinâmica que possa ser discretizada. Com estas investigações e experiências, foi possível diminuir a quantidade de símbolos utilizados para justificar as formas das nuvens, bem como criar classes de equivalências para representar conjuntos de símbolos que compartilham as mesmas propriedades, diminuindo ainda mais a complexidade da gramática que se espera encontrar. / A sequence of weather satellite images are processed by applying a set of filtering operations in order to extract the behavior patterns of clouds. Characters are created from this treatment and their transitions are investigated by exploring the possibility of justifying their occurrence across formal languages and two-dimensional languages, defining their grammar. With these count transitions an analysis of their fractals starts and counts a parallel with others established as a way to structure a model less computationally complex to predict the weather, or the behavior of any dynamic entity that could be discretized. With these investigations and experiments, it was possible to reduce the number of symbols used to explain the shapes of clouds and create equivalent classes to represent the symbol sets that share the same properties, further reducing the complexity of the grammar expected to be found.

Orientador: Clélia Aparecida Martins / Banca: José Carlos Bruni / Banca: Alberto Marcos Onate / Resumo: Procuramos delimitar o âmbito de interação do humano com a realidade a partir da teoria lingüística expressa no Tractatus Logico-Philosophicus e nas Investigações Filosóficas. A partir da identificação deste âmbito ontológico-lingüístico da ação humana, representadas pela tríade agir/sentir/pensar, demonstraremos como a linguagem representa a realidade a partir da afiguração. Através de contextualizações e aproximações das teorias wittgensteinianas com noções filosóficas tradicionais busca-se demonstrar a inovação do método wittgensteiniano e suas possibilidades de aplicação ao exercício filosófico contemporâneo. / Abstract: We have tried to delimit the ambit of the human's interaction with the reality starting from the linguistic theory expresses in Tractatus Logico-Philosophicus and in the Philosophical Investigations. Starting from the identification of this ontological-linguistic ambit of the human action, represented by the triad to act/to feel/to think, we will demonstrate as the language it represents the reality starting from the representation. Through contextualize and approaches of the Wittgenstein's theories with the traditional philosophical notions, we aim for to demonstrate the innovation of the Wittgenstein's method and your application possibilities to the contemporary philosophical exercise. / Mestre

Um importante componente de um sistema de informação geográfica (SIG), a álgebra de mapas consiste de uma linguagem e uma estruturação algébrica sôbre mapas em geral. Operações e as expressões que as definem, serão tanto mais algébricas quanto mais reflitam as propriedades típicas de álgebras matemáticas conhecidas, tais como a associatividade, a comutatividade e a distributividade, para operações; e a reflexividade, simetria e transitividade para relações. A construção de sentenças que irão descrever métodos de análise e modelagem em SIG. A abordagem mais corrente na implementação de álgebras de mapas consiste de pelo menos três estruturas focadas na natureza local, zonal ou focal dessas operações e relações. Em conseqüencia disso o vocabulário da linguagem resultante apresenta uma certa redundância de conceitos que dificulta a integração plena entre as tres estruturas resultantes. Este trabalho parte da premissa que locais, zonas e vizinhanças, são maneiras particulares de selecionar elementos de conjuntos de locais; e da observação que tais maneiras podem ser descritas por expressões da própria álgebra de mapas, como as usadas para exprimir comparações e operações Booleanas. A partir da introdução de um operador para modelar esse processo de seleção, cada local de interesse de uma área de estudo passa a ser caracterizado por sua interação com locais de algum conjunto, dado sob a forma de uma expressão também. Tais expressões podem explorar ao máximo as propriedades da álgebra proposta, sendo avaliadas sempre que necessário, ora para obter um valor local de um novo mapa, ora para decidir também localmente, sôbre a pertinência ou não de um local a uma região. Isso evita o custo de se criar representações de dados intermediários no processo de modelagem. Desse modo, além da economia de recursos computacionais, conceitos como zona e vizinhança passam a ser decorrências de suas próprias definições como expressões algébricas, e a linguagem, passa a não depender de especializações adicionais para nomes e operadores. Apenas vocabulários já bastante consolidados como os da álgebra dos números, da álgebras relacional e da algebra Booleana, além do jargão usual da estatística e, potencialmente, outras disciplinas, são relevantes para a descrição de modelos. Toda essa flexibilidade se deve à estratégia de implementação usada, fundamentada na teoria dos autômatos, que estabelece maior compromisso formal entre os temas relativos a linguagem e implementação, além de maior afinidade com técnicas de modelagem de aspectos dinâmicos de processos físicos e ambientais, em particular aquelas baseadas em autômatos celulares.

É possível rir da ciência? Qual seria a relação entre o cômico e a ciência? Onde está o humor na ciência? No âmbito do ensino, os alunos riem das piadas com física? É preciso entender ou saber conceitos de física para entender a piada? É pensando nestas questões que articulamos a presente pesquisa, que visa estudar a relação entre o humor e a ciência e suas implicações didáticas. Para tanto, iniciamos nossa pesquisa a partir de um estudo das teorias sobre o humor e sua evolução ao longo da história, seguida de um levantamento de obras, tais como: O Guia do Mochileiro das Galáxias de Douglas Adams, As cosmicômicas de Italo Calvino, tiras e charges, entre outras, nas quais enxergamos uma aproximação entre ciência e humor. Com a base teórica, investigamos os resultados de intervenções didáticas nas quais foram utilizados materiais midiáticos pesquisados. Para a elaboração e realização das atividades e da pesquisa, nós nos apoiamos em uma metodologia que engloba três etapas: análise, formulação e aplicação/intervenção. Em que na primeira, o material é estudado, em seguida é realizada a produção de uma proposta de atividades, que, por fim, é realizada em um espaço educacional, seja ele formal ou não. No presente trabalho, a investigação foi realizada em dois momentos distintos. O primeiro envolvendo estudantes do ensino superior, tanto da Escola de Artes Ciências e Humanidades da Universidade de São Paulo, quanto da Universidade Júlio de Mesquita Filho - UNESP, Campus Rio Claro, e no segundo com alunos do ensino fundamental II, no âmbito do projeto Banca da Ciência na Escola. Como resultado, concluímos que, no geral, a relação entre humor e ciência se encontra fora da ciência, e relacionada com outros conteúdos. Pudemos observar que, de fato, há uma estreita relação entre o riso e a compreensão de um conteúdo científico, e, que o humor, devido a sua aproximação com o lúdico, possibilita, e necessita, um espaço dinâmico para a sua utilização. Portanto, o humor apresenta um papel importante tanto no processo de ensino-aprendizagem quanto no engajamento à ciência. / Is it possible to laugh from Science? What would it be the relationship between something funny and science? Where is the humor on science? On the scope of teaching, do the students laugh from physics puns? Is it necessary to understand or to know physics concepts to \"get\" the joke? It is thinking on these questions that we have articulated this current research, that aims to study the relationship between humor and science, and its didactical implications. To do so, we started this research studying the humors theories and its evolution trough history, followed by a study of media works, such as Douglas Adams\' Hitchhiker\'s Guide to the Galaxy, Italo Calvino\'s Cosmicomics, comic stripes, among others, on which we saw an approximation of science and humor. With this theoretical background, we have investigated the outcomes of didactical interventions on which the works researched were used. For the elaboration and realization of the activities and the research, we supported a methodology that can be divided in three steps, analysis, elaboration and intervention. On the first step, the work its studied, on the second step one intervention its elaborated, and, on the third step, the intervention takes place on an education environment, be it formal or nonformal. On the current work, the investigation was performed on two different moments. The first involving students from undergraduate courses, such as Escola de Artes, Ciências e Humanidades da Universidade de São Paulo, and, Universidade Júlio de Mesquita Filho - UNESP, Campus Rio Claro, and on the second moment, with students from secondary education on the project Science stand at school. As results, we have concluded that, in general, the relation between humor and science can be found outside the science, and related with others subjects. We could also observe that, indeed, there is a strait relationship among laugh and the comprehension of a scientific content, and, that the humor, due its proximity with ludic activities, allows, and requires, a dynamical space for its use. Therefore, the humor has an important role in teaching and learning process an in the engagement of science

Este trabalho analisa a influência das representações do diálogo gênero/ciência presentes na Cultura das Histórias em Quadrinhos de Super-Heróis na construção da identidade de gênero de seus consumidores. Utilizando bases da semiótica , buscamos compreender seus efeitos na construção da identidade de gênero e na relação que seus consumidores desenvolvem com a aprendizagem e o conhecimento das Ciências: em sua origem, os Quadrinhos representavam uma mídia de entretenimento descompromissado, fortemente ligado ao desenvolvimento cultural e econômico de sua sociedade de origem, mas no decorrer dos últimos anos do século XX e início do XXI, seus personagens evoluíram e passaram a convergir entre as muitas mídias de entretenimento disponíveis em nossa sociedade, que passaram a transmiti-los como produto, acompanhados de um discurso carregado por ideologias e valores sociais. Nossa pesquisa iniciou a partir de uma investigação das teorias dos Estudos Culturais e das questões de Gênero, seguida pelo levantamento histórico da origem da Cultura dos Quadrinhos de Super-Heróis até seu ponto focal: a publicação das aventuras dos dois primeiros super-heróis de cada gênero, Superman e MulherMaravilha, uma concepção binária. Com essa base teórica, desenvolvemos uma série de intervenções informais em um ambiente formal, sob a forma de oficinas ministradas a alunos de uma EMEF de tempo integral, no contra turno de suas aulas. A análise do material envolveu o uso de elementos da Semiótica de Greimas e da técnica DAST desenvolvida por Chambers (1983). Os resultados permitem concluir uma forte relação entre as representações de gênero e a propagação de estereótipos masculinos de cientistas na Cultura dos Quadrinhos de Super-Heróis. Indo além, este conhecido universo narrativo de predominância masculina se baseia da interpretação binária para gênero, estabelecendo uma ligação entre os atributos masculino/feminino e um conjunto de valores, no qual a Ciência é ligada somente ao masculino. Ao final, concluímos que a Cultura dos Quadrinhos de Super-Heróis desempenha um papel importante na formação da identidade de gênero de seus consumidores. / This Thesis analyses the dialogue between gender / science representations in the Superheroes Comic Book Culture, starting from a semiotic study, to understand its effects on the construction of gender identity of its consumers and the vision they develop about learning and doing Science. In its origin, the Comic Books was an uncompromising entertainment media, with a strong link to the cultural and economic development of its society, present in their narratives. During the last years of the XX century and the arrival of the XXI, its characters evolved and converged between many media platform that become present in our society, thus making their speech, fulfilled with ideologies and social values, kind of omnipresent. Our research started with an investigation about how the Cultural Studies and Gender theories can be applied over the Culture of Comics of Superheroes, chasing its focal point: the publication of the adventures of the first two binary superheroes, Superman and Wonder-Woman. From this theoretical basis, we developed a series of informal interventions in a formal learning space, workshops that was ministered to students of a full-time School. The analysis of our data has been made using elements of the Greimas Semiotics and the Chambers (1983) DAST technique. Our results allow to conclude a strong relationship between gender representations and the propagation of scientists stereotypes in the Culture of Superheroes. Going further, this well-known narrative universe of masculine predominance bases itself on a binary gender interpretation, establishing a connection between masculine / feminine attributes and a set of values, in which Science is viewed as a masculine field of knowledge, acting as an important player in the formation of the gender identity of its readers.

O crescimento da complexidade e do tamanho dos sistemas computacionais atuais suscitou um aumento na dificuldade de extração e especificação de modelos formais desses sistemas, tornando essa atividade cada vez mais dispendiosa, tanto em tempo quanto em custo. Modelos são utilizados em diversas técnicas da Engenharia de Software, com o intuito de auxiliar em processos que compreendem desde o desenvolvimento de novos softwares, até reconstrução de um sistema a partir de software legado, passando pela realização de manutenção de um software em operação. Portanto, é necessário que essas abstrações sejam confiáveis e representem fielmente o software real. Nesse sentido, a adoção de métodos formais para a construção e análise de modelos computacionais é crescente e motivada, principalmente, pela confiabilidade que os formalismos matemáticos agregam aos modelos. No entanto, a utilização de métodos formais geralmente demanda um alto investimento de recursos humanos e, consequentemente, financeiros, uma vez que a utilização de tais formalismos é condicionada ao estudo profundo de sua fundamentação matemática. Considerando-se a extensa aplicabilidade de modelos em diversas subáreas da Ciência da Computação e as vantagens advindas da utilização de métodos formais para especificar sistemas, é interessante identificar métodos e ferramentas existentes para automatizar os processos de extração e análises de modelos, em conjunto com a adoção de formalismos que possam ser utilizados por profissionais da computação que atuam na indústria de software. Dessa forma, é estimulada nesse trabalho a utilização do formalismo de Gramática de Grafos, um método formal que diferencia-se dos demais por ser intuitivo e possuir uma representação visual gráfica, o que facilita a sua compreensão e não exige um conhecimento avançado sobre o formalismo. Primeiramente, é proposta uma abordagem para a extração de modelos em Gramática de Grafos a partir de código-fonte, extraindo informações de execuções de código Java anotado. Em seguida, é apresentada uma metodologia existente para extração e análise de Gramática de Grafos a partir de Casos de Uso, juntamente com um estudo empírico realizado a fim de validar a metodologia. Por fim, são propostas possíveis verificações adicionais, a fim de extender as análises dessa metodologia. Com isso, busca-se a obtenção de modelos, descritos através do formalismo de grafos, a partir de artefatos criados nos dois pólos do processo de desenvolvimento de software, antes e depois da implementação, no sentido de viabilizar futuras comparações, no contexto de verificação de software. / The growing size and complexity of current computer systems leading to an increase in the difficulty of extraction and specification of formal models of such systems, making it increasingly expensive activity, both in time and in cost. Models are used in various techniques of software engineering in order to assist in processes that range from the development of new software, to rebuild a system from legacy software, passing for performing maintenance of software in operation. Therefore, it is necessary that these abstractions are reliable and faithfully represent the actual software. In this sense, the adoption of formal methods for the construction and analysis of models is growing and motivated mainly by the reliability that the mathematical formalism add to models. However, the use of formal methods generally demands a high investment in human resources and hence financial, since the use of such formalism is conditioned to the deep study of its mathematical foundation. Considering the extensive applicability of models in various subfields of computer science and the benefits arising from the use of formal methods for specifying systems, it is interesting to identify existing methods and tools to automate the process of extracting models, in addition to the adoption of formalism that can be used by computer professionals working in the software industry. Thus, we encourage the use of the Graph Grammar formalism, a formal method that differs from others because it is intuitive and has a graphical visual representation, making it easy to understand and does not require an advanced knowledge of the formalism. First, we propose an approach for extracting models from source code in Graph Grammar, getting information of executions of annotated Java code. Then an existing methodology for extraction and analysis of Graph Grammar from Use Cases is presented, along with an empirical study to validate the methodology. Finally, we propose possible additional checks in order to extend the analysis of this methodology. Thus, this work aims to extract models, described by the formalism of graphs, from artifacts created in the two poles of the software development process, before and after implementation, in order to allow future comparisons, in the context of software verification.

O objetivo deste trabalho é apresentar o modelo dos autômatos adaptativos de segunda ordem e mostrar a forte conexão desse modelo com o aprendizado indutivo no limite. Tal modelo é definido com a utilização de um conjunto de transformações sobre autômatos finitos não - determinísticos e a conexão com o aprendizado no limite á estabelecida usando o conceito de mutação composta, onde uma hipótese inicial dá início ao processo de aprendizagem, produzindo, após uma sequência de transformações sofridas por essa primeira hipótese, um modelo final que é o resultado correto do aprendizado. Será apresentada a prova de que um autômato adaptativos de segunda ordem, usado como um aprendiz, pode realizar o processo de aprendizado no limite. O formalismo dos autômatos adaptativos de segunda ordem é desenvolvido sobre o modelo dos autômatos adaptativos de primeira ordem, uma extensão natural do modelo dos autômatos adaptativos clássicos. Embora tenha o mesmo poder computacional, o autômato adaptativo de primeira ordem apresenta uma notação mais simples e rigorosa que o seu antecessor, permitindo derivar novas propriedades. Uma dessas propriedades é justamente sua capacidade de aprendizado. Como consequência, o modelo dos autômatos adaptativos de segunda ordem aumenta a expressividade computacional dos dispositivos adaptativos através da sua notação recursiva, e também através do seu potencial para o uso em aplicações de aprendizado de máquina, ilustrados nesta tese. Uma arquitetura de aprendizado de máquina usando os autômatos adaptativos de segunda ordem é proposto e um modelo de identificação no limite, aplicado em processos de inferência para linguagens livre de contexto, é apresentado. / The purpose of this work is to present the second-order adaptive automaton under an transformation automata approach and to show the strong connection of this model with learning in the limit. The connection is established using the adaptive mutations, in which any hypothesis can be used to start a learning process, and produces a correct final model following a step-by-step transformation of that hypothesis by a second-order adaptive automaton. Second-order adaptive automaton learner will be proved to acts as a learning in the limit. The presented formalism is developed over the first-order adaptive automaton, a natural and unified extension of the classical adaptive automaton. First-order adaptive automaton is a new and better representation for the adaptive finite automaton and to also show that both formulations the original and the newly created have the same computational power. Afterwards both formulations show to be equivalent in representation and in computational power, but the new one has a highly simplified notation. The use of the new formulation actually allows simpler theorem proofs and generalizations, as can be verified in this work. As results, the second-order adaptive automaton enhances the computational expressiveness of adaptive automaton through its recursive notation, and also its skills for the use in machine learning applications were illustrated here. An architecture of machine learning to use the adaptive technology is proposed and the model of identification in limit applied in inference processes for free-context languages.

Definição, classificação, propriedades e exemplos básicos da teoria de superálgebras conformes e módulos conformes. / Definition, classification, properties and basic examples about conformal superalgebras and conformal modules.

Nos últimos anos a questão da expansão da matriz energética brasileira e a construção de novas grandes usinas hidrelétricas, principalmente na região amazônica, tem estado no centro dos debates sobre estratégias de crescimento econômico no Brasil. Nesse debate é possível identificar a questão das vantagens comparativas da tipologia hidrelétrica frente as outras formas de geração de energia no que tange aos benefícios econômicos e sociais à nação. No entanto, há uma controvérsia na literatura que aponta para evidências de que as tais vantagens comparativas não se concretizam no plano local, estando apenas voltadas para o plano nacional. Um dos mecanismos legais visto pelos planos governamentais como promotor de desenvolvimento local é a Compensação Financeira pela utilização de recursos hídricos. Tal mecanismo visa transferir valores aos entes federativos, principalmente às municipalidades diretamente alagadas, relativos à produção de energia elétrica. Este mecanismo pode ser interpretado sob a perspectiva teórica da economia institucional enquanto uma instituição que contem regras formais, regras informais e mecanismos de enforcements que devem garantir seu funcionamento. Nesse contexto, a pergunta que se coloca é se a Compensação Financeira está associada ao desenvolvimento dos municípios brasileiros alagados pelas hidrelétricas, ao longo da década de 2000 a 2010. Para responder essa pergunta, o presente trabalho analisou as variáveis de desenvolvimento de 600 municípios alagados que receberam valores de Compensação Financeira ao longo da década de 2000 a 2010 pagos por 119 hidrelétricas. Os resultados encontrados podem ser separados em duas escalas. Na escala Nacional foram encontradas evidências de associações negativas estatisticamente significantes em relação a 21 variáveis de desenvolvimento e valores auferidos de Compensação Financeira. Numa escala regional, foram encontradas evidências de associações negativas estatisticamente significantes para as regiões Sudeste e Centro-oeste para 30 variáveis. Não foram encontradas associações significantes para a região Sul. Para as regiões Nordeste e Norte foram encontradas associações positivas estatisticamente significantes para 14 variáveis de educação e de redução da desigualdade. Sob a perspectiva da teoria da economia institucional, é possível interpretar os resultados da escala nacional como sendo condicionados pela ausência de regras formais objetivas e respectivos mecanismos de enforcements efetivos no que tange ao tema de aplicação dos recursos de Compensação Financeira recebidos pelas municipalidades, o que pode influenciar os resultados negativos observados. Para a escala regional, mesmo as regras formais e mecanismos de enforcement sendo caracterizados como não efetivos, os resultados positivos observados podem estar associados às regras informais e outros elementos regionais que condicionam positivamente a aplicação dos recursos. Assim, conclui-se que a Compensação Financeira é um importante mecanismo de compartilhamento de benefícios com potencial de influenciar dimensões do desenvolvimento desde que sejam observadas as interfaces entre as regras formais e informais que as condicionam. Esse mecanismo necessita ser aprimorado do ponto de vista das regras formais e mecanismos de enforcements, para o tema de aplicação dos recursos. Além disso, é possível inferir que as regras informais e a dinâmica regional devem ser observadas pois também possuem influência no sentido de promover o desenvolvimento dos territórios mesmo na ausência de regras formais efetivas / The comparative advantages of hydroelectric typology has been discussed in the literature regarding the gains of the affected localities. One of the legal mechanisms seen as local development promoter is the Financial Compensation (FC). The question that arises is if the CF is associated to the development of brazilian municipalities flooded by hydroelectric power plants. Using a Spearman correlation analysis the results show that, in 2000-2010 decade, there is a negative association between the amount paid by the CF and development variables for 600 municipalities flooded in Brazil in a national scale. In regional scale, only the North and Northeast region had positive associations. The CF is an important mechanism, which needs to be improved from the point of view of formal rules and enforcements. It is possible to infer that the informal rules and the regional dynamics can also influence development in the absence of effective formal rules.