Robert Adams' definition of a possible world is paradoxical according to Selmer Bringsjord, Patrick Grim and, more recently, Cristopher Menzel. The proofs given by Bringsjord and Grim relied crucially on the Powerset Axiom; Christoper Menzel showed that, while this continued tobe the case, there was still hope for Adams' definition, but Menzel he undustedan old russellian paradox in order to prove that we could obtain the same paradoxical consequences without appealing to any other set theory than the Axiomof Separation. Nevertheless, Menzel's result only showed that there was no actualworld. In this paper we try to generalize Russell's paradox to arbitrary possible worlds without introducing an irreducible modal component in the discussion. / La definición de un mundo posible” de Robert Adams es paradójica, de acuerdo con Selmer Bringsjord, Patrick Grim y Cristopher Menzel. Las pruebas de Bringsjord y Grim utilizaban el axioma del Conjunto Potencia; Cristopher Menzel objetó que, mientras este fuese el caso, todavía existía esperanza para la definición de Adams, pero Menzel desempolvó una vieja paradoja de Russell para demostrar que podíamos obtener las mismas conclusiones sin apelar a otra teoría de conjuntos que el Axioma de Separación. Sin embargo, el resultado de Menzel mostraba solo que no existía el mundo actual. En este trabajo intentamos generalizar la paradoja de Russell a mundos posibles arbitrarios sin necesidad de introducir conceptos modales en la discusión.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / Neste trabalho, consideramos o conceito de segmento de reta como uma introduÃÃo ao conceito de conjunto convexo e suas aplicaÃÃes no R2 e R3, conceito esse reforÃado com a prova do baricentro do triÃngulo. Calculamos a relaÃÃo de posiÃÃo entre um ponto e um segmento de reta. Definimos o conceito de cone e mostramos os diferentes tipos de cone com alguns exemplos. Definimos a envoltÃria convexa no plano e no espaÃo podendo assim estabelecer a relaÃÃo entre um ponto e um triÃngulo e a relaÃÃo entre um ponto e um tetraedro. Apresentamos o conceito de hiperplano e finalizamos relacionando a convexidade com a simetria. / In this paper, we consider the concept of line segment as an introduction to the concept of convex set and its applications, this concept reinforced by the evidence of centroid of the triangle. We calculate the relative position between a point and a line segment. We define the cone concept and show the different types of cone with some examples. We define the convex envelope in the plane and in space can then estabilish the relationship between a point and a triangle and the relationship between a point and a tetrahedron. Introducing the concept of hyperplane and finished relating the convexity with symmetry.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / O problema de Bernstein clÃssico, resolvido por S. Bernstein em 1915-1917 em seu artigo [12], pergunta se existe um grÃfico mÃnimo completo em R3 alÃm do plano. Bernstein mostrou que a resposta para este problema à nÃo, utilizando mÃtodos analÃticos para o estudo de equaÃÃes de curvatura prescrita. Veremos aqui como este problema està relacionado com a aplicaÃÃo de Gauss deste grÃfico, e como conseqÃÃncia desta relaÃÃo iremos generalizar este teorema para uma classe de superfÃcies maior (nÃo necessariamente grÃficos), seguindo a prova dada por R. Osserman em [51]. Veremos a seguir generalizaÃÃes deste teorema em dimensÃes maiores, seguindo essencialmente os mÃtodos introduzidos Por W. Fleming em [31], e refinados posteriormente por E. De Giorgi, em [20], F. Almgren, em [6], e J. Simons, em [62], que resolvem o problema para grÃficos em Rn, n < 9 mostrando que o Ãnico grÃfico mÃnimo completo nesses espaÃos à o hiperplano. Mostraremos tambÃm que em dimensÃo n &#8805; 9, à possÃvel construir grÃficos mÃnimos completos em Rn, seguindo a prova apresentada por E. Bombieri, E. Di Giorgi e E. Giusti em [14]. Por fim, concluÃmos com uma extensÃo do teorema de Bernstein para a classe das subvariedades estÃveis com respeito à segunda variaÃÃo de volume, sob certas condiÃÃes de crescimento de curvatura ou volume, e investigaremos ainda o caso que a variedade ambiente nÃo à o espaÃo euclidiano. / The classical Bernstein problem, solved by S. Bernstein in 1915-1917 in his article [12], asks if there is a complete minimal graph in R3 besides the plane. Bernstein showed that the answer to this question is no using analytical methods for study of equations of prescribed curvature. We will see here how this problem is related to the Gauss map of the graph, and as consequence of this relationship we generalize this theorem to a larger class of surfaces (not necessarily graphs), following the proof given by R. Osserman in [51]. We will see next generalizations of this theorem in higher dimensions, following essentially the methods introduced by W. Fleming in [31], and later refined by E. De Giorgi in [20], F. Almgren in [6] and J. Simons in [62]. In fact, they solve the problem for graphs in Rn, n < 9, namely they prove that the only complete minimal graph in these espaces is the hyperplane. Following the proof given by E. Bombieri, E. De Giorgi and E. Giusti in [14], we also show that, in dimension n &#8805; 9, it is possible to construct complete minimal graphs in Rn. At last, we conclude with an extension of Bernsteinâs theorem to the class of submanifolds stable with respect to the second variation of volume, under certain conditions of curvature and volume growth, and yet we investigate the case in which the ambient manifold is not the Euclidean space.

Essa pesquisa tem como foco principal explorar como obras musicais de Villa-Lobos são passíveis de serem lidas ou analisadas por meio de uma racionalidade matemática. O intuito é buscar um enfoque didático alternativa didática para a abordagem de conceitos oriundos da Teoria dos Conjuntos, baseados nos estudos do matemático Georg Cantor (Teoria Ingênua dos Conjuntos) e nos estudos de Allen Forte (Teoria dos Conjuntos aplicada à Música). Busca-se trazer para o universo da Música e da Matemática ambas as teorias, por meio de um enfoque transdisciplinar, e situar o saber em regiões em que o aspecto afetivo já adquiriu níveis capazes de dar sentido ao conhecimento e propiciar a assimilação de significados relacionados à outra área. Em busca desses objetivos, e ainda estudar possíveis indicações das relações entre Matemática e Música em um cenário didático/pedagógico, essa obra lança mão da afetividade, transdisciplinaridade e pensamento analógico como forma de articular áreas aparentemente distantes, mas com forte semelhança em suas estruturas. Esse estudo pretende explorar (1) trabalhos que usaram a Teoria dos Conjuntos em análises de obras de Villa-Lobos, (2) processos criativos e composicionais presentes em obras musicais de Villa-Lobos, (3) técnicas matemáticas de análise musical, (4) tipos e estruturas matemáticas que possam auxiliar em análises musicais e verificar de que maneira a racionalidade matemática está presente na composição musical. Este estudo ao pesquisar trabalhos que usaram a Teoria dos Conjuntos em análise musical de obras de Villa-Lobos preenche uma lacuna na teoria musical; evidencia estruturas matemáticas que auxiliam na análise musical, mostrando a presença da racionalidade matemática. Uma das grandes contribuições desse trabalho é estabelecer relações de analogia entre conteúdos do currículo da matemática, frequentemente traduzidos por códigos numéricos, e aspectos da área musical, reconhecidos por sons. / This research is mainly focused on exploring how musical works by Villa-Lobos are likely to be read or analyzed by a mathematical rationality. The aim is to seek a didactic approach a teaching alternative in order to deal with concepts from the Set Theory, based on studies by mathematician Georg Cantor (Naive Set Theory), and from studies of Allen Forte (Set Theory applied to Music). It intentsthe following: to bring both theories into the world of Music and Mathematics through a transdisciplinary approach; to situate knowledge in areas where the affective aspect has already acquired levels able to make sense of such knowledge; to encourage the assimilation of related meanings from area to the other. In the pursuit of such goals, and still researching possible indications of the relationship between Mathematics and Music in a didactic/pedagogical scenario, this work makes use of affection and transdisciplinarity analogical thinking as a way of articulating seemingly distant areas with yet strong similarities in their structures. This research therefore explores (1) studies that used the Set Theory in analysis of works by Villa-Lobos, (2) creative and compositional processes present in musical works by Villa-Lobos, (3) mathematical techniques of musical analysis, (4) types and mathematical structures that can assist in musical analysis, and it verifies how the mathematical reasoning is present in the composite musical work. The present study, by researching papers that used the Set Theory in musical analysis of works by Villa-Lobos, fills a gap in music theory; it shows evidence of mathematical structures that can assist in musical analysis, showing the presence of mathematical reasoning. A major contribution of this work is to establish relations of analogy between the mathematical content of the curriculum, often translated by numerical codes, and aspects of Music recognized by sounds.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / Neste texto, à mostrado que conjuntos definÃveis bi-Lipschitz homeomorfos tem cones tangentes bi-Lipschitz homeomorfos. AlÃm disso, no caso de conjuntos analÃticos complexos, regularidade Lipschitz ou regularidade topolÃgica forte implica em regularidade analÃtica. TambÃm à feito um estudo regularidade de conjuntos analÃticos reais. Ademais, à dada uma classificaÃÃo completa para curvas analÃticas complexas no espaÃo e sÃo apresentados alguns resultados sobre invariÃncia da multiplicidade. Em especial, à mostrado que a multiplicidade mod 2 de conjuntos analÃticos reais à invariante por difeomorfismos. / In this paper, it is shown that definable sets bi-Lipschitz homeomorphic have tangent cones bi-Lipschitz homeomorphic. Furthermore, in the case of complex analytical sets, Lipschitz regularity or strong topological regularity implies analytical regularity. It is also done a complete study on regularity of real analytic sets. Furthermore, it is given a complete classification for complex analytical curves in space and are shown some results about invariance of the multiplicity. In particular, it is shown that the multiplicity of real analytical sets is invariant mod 2 under diffeomorphisms.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / Esta dissertaÃÃo tem como objetivo analisar se existe uma permanÃncia e uma ressignificaÃÃo do estigma de favelado/favela dentro dos conjuntos habitacionais do municÃpio de Fortaleza a partir da fala dos tÃcnicos e nas atividades da FundaÃÃo Habitacional de Fortaleza- HABITAFOR. Tem-se como suporte teÃrico a anÃlise do conceito de âestigmaâ de Goffman, que pode ser identificada nos depoimentos dos tÃcnicos sociais sobre os moradores, nos quais se percebe a visÃo de favela como um local de desordem, que continua nos conjuntos habitacionais. Como metodologia de pesquisa, optou-se por um estudo de natureza qualitativa, nas perspectivas de longe e de fora de perto e de dentro, tais como definidas por Magnani. Recorre-se, ainda, a entrevistas semiestruturadas com tÃcnicos da instituiÃÃo, alÃm de registros de observaÃÃes em diÃrio de campo. A pesquisa mostrou que o estigma de favelado/favela ainda permanece e vai se reproduzindo dentro dos conjuntos habitacionais da HABITAFOR. / This dissertation aims to examine whether there is an abiding and reframing of the favelado/slum stigma in the housing complexes within the city of Fortaleza from the speech of the technical agents and in the activities of the Fortaleza Foundation and Housing - HABITAFOR. It has been theoretically supported by analysis of the concept of "stigma" by Goffman, which can be identified in the reports of social workers about the residents, in which it realizes the vision of slum as a place of disorder that continues in the housing complexes. Methodologically, we opted for a qualitative study in this research, from the perspectives far and outside and near and inside, as defined by Magnani. Semi-structured interviews were developed with the staff of the institution, as well as recordings of observations in field diary. The research has shown that the stigma of favelado/slum remains and keeps reproducing inside the housing complexes of HABITAFOR.

Orientador: Fernando Antonio Campos Gomide / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-10T00:48:57Z (GMT). No. of bitstreams: 1 Tazoniero_Alexandre_M.pdf: 2202986 bytes, checksum: eac2bab1d27c5baaf56ef296663e1cef (MD5) Previous issue date: 2007 / Resumo: O transporte ferroviário tem grande participação no transporte de cargas e passageiros em todo o mundo. No Brasil a malha ferroviária sofreu um processo de abandono e deterioração no período de 1960 a 1990. A partir de 1990 a privatização da rede ferroviária nacional iniciou uma retomada de investimentos e nos últimos anos à demanda por transporte ferroviário vem crescendo significativamente. É necessário, então, que os recursos da ferrovia sejam utilizados de maneira eficiente para atender a crescente demanda, o que exige planejamento estratégico, táctico e operacional. No nível operacional uma das principais etapas e também umas das mais carentes de ferramentas computacionais é o Planejamento de Circulação de trens. O processo operacional de uma ferrovia é dinâmico, sujeito a inúmeras interferências imprevisíveis e uma ferramenta computacional para o apoio ao planejamento de circulação de trens deve fornecer soluções com tempo de processamento compatível com essa realidade. Este trabalho propõe algoritmos para o planejamento de circulação de trens em tempo real, utilizando metodologias de inteligência computacional e conjuntos nebulosos. Um algoritmo objetiva decidir localmente a preferência entre trens concorrendo pelo uso de um segmento de linha singela de modo a seguir uma referência de percurso fornecida por algum algoritmo de otimização ou por um especialista. Outro algoritmo decide, além da preferência entre trens, a velocidade de percurso dos trens para mantê-los o mais próximo possível de suas referências. O terceiro algoritmo usa elementos de busca em árvore para obter uma solução para o planejamento de circulação de trens. É feito um estudo comparativo dos algoritmos aqui propostos e de algoritmos existentes na literatura. O estudo comparativo é feito a pm1ir de instâncias pequenas de problema de planejamento de circulação e uma instância que considera dados reais de uma ferrovia brasileira. Os resultados mostram que os algoritmos propostos obtêm soluções próximas às ótimas para as instâncias pequenas e soluções satisfatórias para o caso real / Abstract: Railways plays a major role in freight and passenger transportation in the whole world. The Brazilian railway system has suffered a process of abandon and deterioration from 1960 to 1990. Since 1990 the privatization of the national railways brought new investments and in the last years the demand for railway transportation has increased significantly. Railway resources must be efficiently managed to match the increasingly transportation demand. This requires efficient strategic, tactical and operational planning. One of the main tasks at the operational planning level concerns train circulation and associated tools. Railway operation is a very dynamic process because trains are subject to many unexpected interferences. Computational tools to help trains circulation planning must provide solutions in a time range consistent with real-time needs. This work suggests algorithms for real-time train movement planning, using computational intelligence and fuzzy set theory methodology. One of the algorithms decides the preference between trains competing for a single line track at the same moment. The aim is to drive train circulation as dose as possible to reference trajectories supplied by human experts, global optimization algorithms or both. Other algorithm decides preference between trains and chose the velocity with which trains must travel to remain as dose as possible to its references. The third algorithm uses depth search algorithm to obtain a solution for train circulation problems. A comparative study considering the algorithms proposed herein and algorithms suggested in the literature. The comparative study is done using small railway system instances. Data of a major Brazilian railway is adopted to illustrate how the algorithms behave to solve larger instances. Results show that the algorithms here proposed obtain near optimal solutions for small instances and satisfactory solutions for the real case / Mestrado / Automação / Mestre em Engenharia Elétrica

Orientador: Laercio Luis Vendite / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-08-09T23:40:27Z (GMT). No. of bitstreams: 1 Alonso_AnaCamilaRodrigues_M.pdf: 1099108 bytes, checksum: f7bd5d3bc8e683d7332a70d7a75c8405 (MD5) Previous issue date: 2007 / Resumo: O câncer de ovário é a neoplasia mais letal do aparelho genital feminino. É necessário fazer um estabelecimento precoce de seu diagnóstico e uma correta abordagem terapêutica para interferir na sua história natural. Com a intenção de melhorar a metodologia para distinguir benignidade de malignidade dos tumores de ovário foram estudadas associações de métodos. Jacobs et al. foram os primeiros autores a idealizar um índice de risco de malignidade (IRM) para tumores de ovário, incorporando estado menopausal, achados ultra-sonográficos e o nível sérico do CA 125. Neste trabalho, um modelo matemático é elaborado para auxiliar no diagnóstico diferencial de benignidade e malignidade dos tumores ovarianos clinicamente restritos aos ovários. A ferramenta utilizada para desenvolver o modelo é a teoria dos conjuntos, por sua capacidade em lidar com incertezas. Inicialmente, as variáveis de entrada - Estado Menopausal, Achados ultrasonográficos e Nível de CA 125 - e a variável de saída do sistema - Tipo de Tumor ¿ foram consideradas como variáveis lingüísticas e seus valores como conjuntos fuzzy. O modelo construído é mais abrangente que o índice de risco de malignidade proposto por Torres et al., pois no modelo temos que o estado menopausal e os achados ultra-sonográficos são considerados como variáveis contínuas. A saída dos sistema, também contínua, propicia uma transição gradual entre tumor benigno e maligno, o que é mais coerente com a realidade / Abstract: The ovarian cancer is the most lethal neoplasy of the femine genital system. It is necessary to do a precocious establishment of its diagnosis and a correct therapeutical approach to intervene in the natural history. With the intention to improve the methodology to distinguish benignancy from malignancy of the ovarian tumors methods¿s associations had been studied. Jacobs et al. were the first authors to idealize the risk of malignance index for ovarian tumors, incorporating menopausal status, ultrasound findings and the serum level CA 125. In this work, a mathematical model is elaborated to auxiliary in the diferential diagnosis of the benignancy clinically restricted to the ovaries. The tool used to developed the model is the fuzzy sets theory for capacity in dealing with uncertainties. Inicially, input variables - menopausal status, ultrasound findings and CA 125 level ¿ and the system output variables - tumor¿s type - they had been considered with linguistics variables and its values with fuzzy sets. The constructed model is more comprehensive than risk of malignancy index propose to Torres et al., therefore the menopausal status and the ultrasound findings are considered as a continuous variable. The system output, also continuous, give a gradual transition between benign and malignant tumor, what is more coherent with the reality / Mestrado / Biomatematica / Mestre em Matemática Aplicada

Como o próprio título menciona, esta tese tem origem na busca de relações entre dois temas: a arquitetura moderna brasileira e os conjuntos de habitação coletiva produzidos entre 1964 e 1986, ou seja, durante o período de atuação do Banco Nacional de Habitação – BNH. Outras questões se juntam a estas: a atuação profissional e o posicionamento crítico dos arquitetos neste período em relação a esta produção. A sobreposição destes fatores não tem sido verificada, muitas vezes relegada a uma condição de menor importância, sem merecer exame fundamentado ou visto como tabu. O que se procurou com esta tese foi uma apreciação destes conjuntos habitacionais despida de qualificação apriorística, de modo a investigar a interdependência entre seus projetos arquitetônicos, a doutrina da arquitetura moderna e a participação da classe profissional na sua concepção. De certa maneira, tratou-se de desvendar mitos através de um exame fundamentado sobre temas deixados à margem de verificações. O objetivo desta tese foi portanto desvendar mitos acerca de uma coleção específica de projetos de arquitetura, sobre os quais existem incertezas quanto sua condição de ser considerados como tal. / As stated in the title, this thesis originated in the idea of examining the relationship between two themes: modern Brazilian architecture and social housing projects produced between 1964 and 1986, i.e., during the active period of the Banco Nacional de Habitação – BNH [National Housing Bank]. Other related issues also come under consideration: the professional activities and the critical stance of architects in that period with regards to those projects. The overlapping of those factors has not been examined, as it was often seen an issue of negligible importance that did not deserve deeper analysis or was regarded as taboo. Devoid of aprioristic preconceptions, this dissertation makes an assessment of those housing projects in order to investigate the interdependence between the architectural designs, the doctrine of modern architecture and the participation of architects in their conception. The study has sought to unveil myths through a well-founded examination of themes that, up until now, had largely been left of the margins of other studies. The aim of this dissertation has been to shed light on myths about a specific series of architectural projects about which there are doubts regarding whether they can be considered as such.

Este trabalho trata das questões ambientais vinculadas ao projeto de empreendimentos habitacionais. Inicialmente, apresentam-se as bases conceituais, discutindo, especialmente, o significado de termos como : ecologia,meio ambiente e desenvolvimento sustentável, aplicados à arquitetura. Como forma de ilustração destes conceitos, analisa-se obras relevantes. Segue-se a caracterização das várias fases de um projeto desta natureza, destacando o planejamento, a construção, a ocupação e a desativação. Por fim, aplica-se estes conceitos através da análise de um conjunto habitacional, monstrando se o mesmo é sustentável ou não. Dessa forma, colabora--se na compreensão das interdependências ecológicas e verifica-se o desempenho desse conjunto habitacional referente à sustentabilidade.