Orientador: Hércules de Araújo Feitosa / Banca: Edelcio Gonçalves de Souza / Banca: Mauri Cunha do Nascimento / Resumo: Este trabalho se inicia com um breve resgate histórico do denominado Mundo Fuzzy, com destaque sobre a teoria de conjuntos fuzzy, teoria essa em que a bivalência da teoria usual de conjuntos não se aplica. A seguir, são discutidos aspectos sobre quantificadores, com destaque para quantificadores da lógica clássica de primeira ordem, quantificadores não clássicos e alguns quantificadores das linguagens naturais, mas que não são definíveis a partir dos usuais "para todos" e "existe algum". Alguns desses quantificadores são vistos na perspectiva da teoria fuzzy. De importância capital, ocorre uma análise da teoria dos conjuntos fuzzy, conforme inicialmente introduzida na literatura fuzzy, com destaque sobre qual e como seria a álgebra desses conjuntos. A partir desta caracterização algébrica, buscase uma formalização das suas propriedades essenciais numa linguagem lógica proposicional, o que conduz a uma caracterização de uma particular lógica fuzzy / Abstract: This dissertation begins with a brief historical rescue of the Fuzzy World, highlighting the Fuzzy Sets theory, a theory in which the usual bivalence of sets does not apply. The aspects of quantifiers are also discussed, especially quantifiers of the classical first-order logic, nonclassical quantifiers and some quantifiers of natural languages, which are not definable from the usual "universal" and "existential". Some of these quantifiers are seen in the perspective of the fuzzy theory. Utmost importance, an analysis of the Fuzzy Sets theory occurs, as originally introduced in the fuzzy literature, with emphasis on what and how the algebra of these sets would be. From this algebraic characterization, a formalization of its essential properties in a language of propositional logic is sought, which leads to a characterization of a particular fuzzy logic / Mestre

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2015-11-12T15:30:24Z No. of bitstreams: 1 FabricioLiraBarbosa_DISSERT.pdf: 143242498 bytes, checksum: 6e407e28672a6736adf99ebdb6d3ba2f (MD5) / Approved for entry into archive by Elisangela Moura (lilaalves@gmail.com) on 2015-11-16T12:16:26Z (GMT) No. of bitstreams: 1 FabricioLiraBarbosa_DISSERT.pdf: 143242498 bytes, checksum: 6e407e28672a6736adf99ebdb6d3ba2f (MD5) / Made available in DSpace on 2015-11-16T12:16:26Z (GMT). No. of bitstreams: 1 FabricioLiraBarbosa_DISSERT.pdf: 143242498 bytes, checksum: 6e407e28672a6736adf99ebdb6d3ba2f (MD5) Previous issue date: 2013-11-20 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Este trabalho analisa os efeitos da forma sobre o surgimento de novos padr?es de uso e ocupa??o dos espa?os p?blicos em conjuntos habitacionais projetados nas d?cadas de 1980 e 1990 no munic?pio de Natal (Brasil). Partimos da premissa de que a forma atua em processos sociais (HILLIER; HANSON, 1984) verificando em que medida as configura??es espaciais originais dos Conjuntos Residenciais Parque Serrambi j? potencializavam o surgimento de novos padr?es espaciais ap?s as interven??es dos moradores. Os conjuntos Serrambi foram constru?dos na zona sul de Natal a partir de um modelo de urbaniza??o que seguiu princ?pios modernistas e objetivava suprir a crescente demanda por habita??o popular. Estavam entre os ?ltimos conjuntos financiados pelo extinto Banco Nacional de Habita??o e, sob orienta??o do Instituto de Orienta??o ?s Cooperativas Habitacionais (INOCOOP), materializavam um modo de espacializa??o que rompia com as experi?ncias habitacionais v erticais do per?odo. Os resultados foram obtidos atrav?s da an?lise configuracional que se fundamentou no aparato conceitual e metodol?gico da Sintaxe Espacial, no qual espa?o e sociedade est?o inter-relacionados. A an?lise se baseou na representa??o e quantifica??o de propriedades espaciais e na identifica??o e sistematiza??o de padr?es sociais relacionadas ?s transforma??es ora descritas. Identificou-se que as configura??es espaciais originais, associadas ?s sutis altera??es nos padr?es sociais dos conjuntos, analisadas independente de quaisquer outras vari?veis n?o morfol?gicas, j? potencializavam os padr?es de ocupa??o verificados em cada um dos Serrambi estudados. / This work analyses the effects of form over the emergence of new patterns of use and occupation in public spaces of housing estates designed in the 1980s and 1990s in Natal?s municipality (Brazil). We start from the premise that form acts on social process (HILLIER; HANSON, 1984), and verify how much the original spatial configuration of Parque Serrambi housing states contributed to the creation of new spatial patterns following the interventions of the people living there. The Serrambi states were built in Natal?s south based on an urbanization model following modernist?s principals and aimed to supply demands for popular dwellings. They were one of the last estates financed by the former National Dwelling Bank (BNH) and supervised by the Dwelling Cooperatives Orientation Institute (INOCOOP), materialized a spatial form different from the highrise dwelling experiences from the same period. The results were obtained through configurational analysis based on Space Syntax conceptual and methodological framework, in which space and society are viewed as interrelated. The analyses was based on represanting and quantifying spatial properties and identificatying social patterns related to the interventions. We identified that the original spatial configurations, associated to subtle changes in the states social patterns, analysed independently of non-morphological categories, gave way to the occupation patterns verrified in both Serrambi cases.

Dissertação (Mestrado em Matemática)-Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Brasília, 2010. / Submitted by Jaqueline Ferreira de Souza (jaquefs.braz@gmail.com) on 2011-06-29T20:35:37Z No. of bitstreams: 1 2010_EduardoAntoniodaSilva.pdf: 399866 bytes, checksum: 5f8d410b8277fdf6678fff120e8d8b18 (MD5) / Approved for entry into archive by Jaqueline Ferreira de Souza(jaquefs.braz@gmail.com) on 2011-06-29T20:36:12Z (GMT) No. of bitstreams: 1 2010_EduardoAntoniodaSilva.pdf: 399866 bytes, checksum: 5f8d410b8277fdf6678fff120e8d8b18 (MD5) / Made available in DSpace on 2011-06-29T20:36:12Z (GMT). No. of bitstreams: 1 2010_EduardoAntoniodaSilva.pdf: 399866 bytes, checksum: 5f8d410b8277fdf6678fff120e8d8b18 (MD5) / Seja f um difeomorfismo de classe Cr, r ≥ 2 de uma superficie M², e seja ∆ uma ferradura de f (isto é, um conjunto hiperbólico transitivo e isolado). É um resultado clássico que existe uma vizinhança U de ∆ tal que para todo difeomorfismo próximo de f na topologia Cr o conjunto ∆g = ∩ gn (∪) é uma ferradura de g. Nós provaremos um resultado de Mañé [3] que fornece uma vizinhança U de f na topologia Cr tal que a aplicação U ∃ g → HD(∆ g) ϵR R é uma função Cr de g. ______________________________________________________________________________________ ABSTRACT / Let f be a Cr diffeomorphism r ≥ 2 of a surface M2, and let ∆ a horseshoe of f (i.e, a transitive and isolated hiperbolic set). It is a classical result that exists a neighborhood U of such that for every diffeomorphism close to f in Cr topology the set ∆ g = ∩ gn (∪) is a horseshoe for g. We will prove a result of Mañé [3] that provides there exist a Cr neighborhood U of f such that, the map U ∃ g → HD(∆ g) ϵR is a Cr function of g.

Orientadores: Rodney C. Bassanezi, Laecio C. Barros / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T19:12:03Z (GMT). No. of bitstreams: 1 Mizukoshi_MarinaTuyako_D.pdf: 826229 bytes, checksum: bab9a94373928b4b6b18c1046ebc22c6 (MD5) Previous issue date: 2004 / Doutorado / Doutor em Matemática

Orientador : Anesio dos Santos Junior / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T08:21:28Z (GMT). No. of bitstreams: 1 Valenca_MauricioMendonca_M.pdf: 3498244 bytes, checksum: 8014707efebaf730abb12e3ef425b93b (MD5) Previous issue date: 1993 / Resumo: O planejamento da operação estática de sistemas de energia elétrica tem por finalidade estabelecer estratégias de funcionamento que satisfaçam critérios operacionais. É apresentado um modelo de decisão via conjuntos nebulosos que leva em conta o atendimento da carga e o compromisso entre otimalidade e restrições operacionais críticas. A característica principal desta metodologia é a incorporação da estrutura de preferências dos planejadores dentro de um processo decisório modelado por conjuntos nebulosos. Uma rotina de cálculo do fluxo de potência ótimo é utilizada como ferramenta computacional para a resolução do modelo não-linear do sistema e para a definição do universo de discurso do problema de tomada de decisão. Testes foram realizados no sistema de 30 barras do IEEE com intuito de se obter uma solução de compromisso entre as metas operacionais e os limites de geração de potência reativa. Resultados e conclusões são apresentados / Abstract: The power system static operation planning has as main objective the determinat on of performance strategies which satisfy operational criteria. A fuzzy set decision model which takes the load attainment and the compromise between optimality and critical operational constraints into account is presented. The prime characteristic of this methodology is the incorporation of the planner's preferences structure in a decision process modeled by fuzzy sets. A routne of optimal power flow calculation is used as a computional tool for solving the nonljnear model of the electric power system and for defining the universe of discourse of the decision-making problem. Tests were carried on a 30-bm IEEE system in order to find a compromise solution of eletric operational goal versus reactive power generation limits. Results and conclusions are presented. / Mestrado / Mestre em Engenharia Elétrica

No description available.

Orientador: Nelson Hein. / Dissertação (mestrado) - Universidade Regional de Blumenau, Centro de Ciências Sociais Aplicadas, Programa de Pós-Graduação em Ciências Contábeis.

Tesis para optar al grado de Magíster en Ciencias de la Ingeniería, Mención Matemáticas Aplicadas / Memoria para optar al título de Ingeniero Civil Matemático / El objetivo principal de este trabajo de tesis es el estudio de las propiedades de los espacios vectoriales topológicos localmente convexos Hausdorff a partir de la estructura extremal de sus conjuntos compactos convexos. Se estudian los puntos afínmente expuestos, noción introducida por Bachir en su tesis de Habilitation a Diriger des Recherches (defendida en la Universidad Paris 1 en 2017, ver [3]), y los espacios que tienen la propiedad de los puntos afinmente expuestos (PAE). Se muestra que un espacio de Banach E es un espacio de Gâteaux-diferenciabilidad (GDS) si y solo si su dual topológico E* considerado con la topología w* tiene la PAE. En particular, si cada subconjunto w*-compacto convexo de E* es la envoltura convexa de sus puntos afínmente expuestos, entonces también es la envoltura convexa de sus puntos w*-expuestos. Por otro lado, algunos resultados que provienen de la teoría de Choquet y un estudio aprofundizado de A(K) (conjunto de las funciones afines continuas en un conjunto compacto convexo K) nos permiten caracterizar las funcionales de C(K) por sus valores en un subconjunto estricto de las funciones continuas afines por partes. / CMM, Center for Mathematical Modeling, (Fondos BASAL AFB170001) y por el proyecto FONDECYT Regular 1171854 y por CMM - Conicyt PIA AFB170001

Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Tecnologico / Made available in DSpace on 2012-10-16T04:53:54Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T18:26:37Z : No. of bitstreams: 1 91138.pdf: 2680474 bytes, checksum: 9098dd34d9f8045b7a3e001073efd224 (MD5) / Os sistemas especialistas são sistemas que se propõe a resolver problemas conforme especialistas humanos através da incorporação de uma base de conhecimento. Entre as vantagens dos sistemas especialistas está a possibilidade de sua utilização poder suprir a falta de especialistas humanos, bem como a de poder reunir conhecimento e experiência de vários especialistas simultaneamente e ainda a vantagem de reduzir a demanda destes profissionais. Os especialistas humanos são plenamente capazes de lidar com a imprecisão presente nos problemas reais. Um sistema especialista difuso é aquele que incorpora tratamento de imprecisão utilizando a teoria dos conjuntos difusos, tornando-se capaz de fazer inferências a partir de informações imprecisas. A tarefa de análise de crédito consiste em analisar uma empresa solicitante a fim de concluir se este cliente é ou não merecedor de crédito e, em caso positivo, qual o montante a ser autorizado. A análise parte de um conjunto de dados que, avaliados cuidadosamente no processo de raciocínio, geram um conclusão que esta em conformidade com os critérios da instituição financeira para quem o crédito foi solicitado. Propõe-se um sistema especialista difuso para análise de crédito capaz de desempenhar a tarefa de análise de crédito agregando a imprecisão contida no processo de raciocínio dos especialistas humanos.

Orientador: Jamil Viana Pereira / Banca: Tiago Henrique Picon / Banca: Renata Zotin Gomes de Oliveira / Resumo: Este trabalho busca formalizar a existência do conjunto dos números reais como um corpo ordenado completo. Mostraremos a construção de R a partir dos cortes de Dedekind e apresentaremos as principais propriedades deste conjunto. Apontaremos também as ideias básicas da construção de R através das Sequências de Cauchy, proposta por Cantor, e outras formas equivalentes. E, por fim, exemplificaremos como este conceito poderá ser aplicado em sala de aula pelos professores da Educação Básica / Abstract: The aim of this work is to formalize the real numbers set existence as a complete ordered field. We will construct R using the Dedekind cuts and show the main properties of this set. Besides, we will point out the basic ideas of the Cantor's construction by Cauchy Sequences and another equivalent ways. The last part, consists of an example of how teachers can apply this concept in middle education classes / Mestre