O processo de desenvolvimento de produto (PDP) convencional tende a enfatizar a definição do produto sem levar em conta as necessidades da produção. Dentre as várias iniciativas que têm sido desenvolvidas para integrar estas duas interfaces, este trabalho destaca a construtibilidade, a qual visa, por meio de intervenções no projeto do produto e do processo, garantir a facilidade de execução da obra durante as etapas de construção e manutenção. No entanto, poucos estudos têm se dedicado à consideração dos requisitos de produção no PDP de obras de menor complexidade. Assim, o objetivo principal deste trabalho consiste em propor diretrizes para a integração dos requisitos de construtibilidade ao PDP de obras repetitivas, que abrangem conjuntos residenciais e prédios altos com mais de dez pavimentos. A partir de dois estudos de caso realizados em uma empresa construtora e incorporadora de condomínios horizontais de Porto Alegre, foram propostas as seguintes diretrizes: (a) adequação do projeto do produto às limitações impostas pela tecnologia construtiva disponível; (b) análise crítica do projeto com apoio de indicadores; (c) construção e avaliação de uma unidade modelo; e (d) desenvolvimento de mecanismos de aprendizagem em relação à construtibilidade. A diretriz (b) inclui a proposição de um check-list de boas práticas com vistas a avaliação dos níveis de construtibilidade do projeto do produto e do processo. Além disso, este trabalho indicou que, a ocorrência de determinadas não conformidades durante a execução, tais como má qualidade dos materiais e erros de execução, resultam em perda do valor agregado para o cliente interno. Sendo assim, constatou-se que o esforço pela melhoria da construtibilidade deve incluir a consideração de meios para assegurar que a facilidade de execução prevista no projeto do produto e do processo, seja concretizada na etapa de construção.

Submitted by Marcos Samuel (msamjunior@gmail.com) on 2017-06-09T14:19:51Z No. of bitstreams: 1 Dissertação - Versão final - Tatiana Santos - o-conceito-de-3.pdf: 1305137 bytes, checksum: f80d8880b49b22aac9c091fa3f84d127 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-16T14:50:08Z (GMT) No. of bitstreams: 1 Dissertação - Versão final - Tatiana Santos - o-conceito-de-3.pdf: 1305137 bytes, checksum: f80d8880b49b22aac9c091fa3f84d127 (MD5) / Made available in DSpace on 2017-06-16T14:50:08Z (GMT). No. of bitstreams: 1 Dissertação - Versão final - Tatiana Santos - o-conceito-de-3.pdf: 1305137 bytes, checksum: f80d8880b49b22aac9c091fa3f84d127 (MD5) / Este trabalho pretende apresentar ao leitor uma sequência de problemas que envolvem o conceito de infinito na Matemática com o objetivo de promover o conhecimento de maneira geral e, no âmbito escolar, auxiliar professores no processo de ensino aprendizagem como também despertar o interesse do estudante do ensino básico pelo tema. Cada problema é seguido de um comentário e/ou resolução. Além disso, mostra um breve histórico da construção do conceito de Infinito desde a Antiguidade até os tempos atuais, enfatizando os eventos mais relevantes e os nomes que se destacaram nesta busca. Apresenta algumas definições, teoremas e demonstrações da teoria dos conjuntos que ajudam na compreensão e resolução dos problemas apresentados e mostra a importância do conceito de Infinito em outras ciências.

AGUIAR, Francisco Fagner Portela. Um background na teoria dos conjuntos. 2015. 50 f. Dissertação (Mestrado em Matemática em Rede Nacional) – Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2015. / Submitted by Erivan Almeida (eneiro@bol.com.br) on 2015-11-13T15:41:09Z No. of bitstreams: 1 2015_dis_ffpaguiar.pdf: 1566390 bytes, checksum: 114ad96172cfa622234e88e05d73ffff (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2015-11-18T13:38:59Z (GMT) No. of bitstreams: 1 2015_dis_ffpaguiar.pdf: 1566390 bytes, checksum: 114ad96172cfa622234e88e05d73ffff (MD5) / Made available in DSpace on 2015-11-18T13:38:59Z (GMT). No. of bitstreams: 1 2015_dis_ffpaguiar.pdf: 1566390 bytes, checksum: 114ad96172cfa622234e88e05d73ffff (MD5) Previous issue date: 2015 / The set theory sometimes left out in some high schools, is in a key element for understanding the functions in particular. Failure to address this issue or its superficial approach leaves the student a difficult gap to be filled in later studies. Incidentally, the left gap may hinder student performance in higher education. If this is so, is the main objective of this work to a reinterpretation of the main topics linked to the high school set theory, while making a bridge between these and other equally important points dealing with sets in a more academic language. Will be covered from the properties and theorems related to finite sets up its generalization to infinite sets, culminating in the Cantor-Schroeder-Bernstein theorem, the Axiom of Choice and Zorn’s Lemma. To this end, there were literature searches in various sources. / A teoria de conjuntos por vezes deixada de lado em algumas escolas de ensino médio, constitui-se em um elemento primordial para o entendimento das funções, em especial. A não abordagem, ou a sua abordagem superficial, deixa no estudante uma lacuna difícil de ser suprida em estudos posteriores. Aliás, a lacuna deixada pode dificultar o desempenho do estudante no ensino superior. Diante desta constatação, é objetivo principal desta dissertação fazer uma leitura dos principais tópicos ligados à Teoria de Conjuntos do ensino médio, ao mesmo tempo em que faz uma ponte entre estes e outros pontos não menos importantes, tratando conjuntos em uma linguagem mais acadêmica. Serão abordados desde as propriedades e teoremas relacionados a conjuntos finitos, até a sua generalização para conjuntos infinitos, culminando com o teorema de Cantor-Schroeder-Bernstein, o Axioma da Escolha, e o Lema de Zorn. Para tantos, realizaram-se pesquisas bibliográficas em fontes variadas.

Neste trabalho estamos interessados em estudar o conjunto das geodésicas que minimizam comprimento de arco entre dois pontos quaisquer. Estas são chamadas de geodésicas minimais. Mais precisamente, dada uma métrica riemanniana g sobre o wro bidimensional iremos considerar o seu levantamento ao plano JR2 . Uma geodésica c : R -7 JR2 é minimal se para todo intervalo [a, b], temos que c([a, b]) é a curva de menor comprimento ligando c(a) a c(b). Vamos considerar aqui um número de rotação a fixado e analisar o conjunto das geodésicas minimais que possuem este número de rotação. Analisaremos questões que envolvem a recorrência e o comportamento assintótico de geodésicas. Por exemplo, uma geodésica mínima recorrente com número de rotação racional será uma geodésica periódica. / In this work we are interested in studying the set of geodesiés that minimize the are length between any h,·o of its points. These are called minimizing geodesics. Wore precisely, given a riemaniann metric g on the two-dimensional torus we will consider its lifting to the plane R2 . A geodesic c: R -7 JR2 is minimal if for any interval [a, b], we have that c([ a, b]) is the curve of smaller Jength connecting c(a) and c(b). we will consider here a fixed rot.ation number a and we will show several results about the set of minimal geodesics with such rotation number. We will analyze questions like recurrence and the asymptotic beha,·ior of such geodesics. For example: a recurrent minimal geodesic with rational rotation number will be a closed geodesic.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2014. / Made available in DSpace on 2014-08-06T17:54:53Z (GMT). No. of bitstreams: 1 326974.pdf: 927581 bytes, checksum: 695c7085052a846706d29b302ab35ab6 (MD5) Previous issue date: 2014 / Nesta tese são discutidas questões relacionadas às noções de identidade e individualidade presentes nas teorias formais, mais precisamente atreladas ao conceito de estrutura rígida. Inicia-se o texto discorrendo sobre teorias de identidade do ponto de vista filosófico em geral, para depois explorarmos como este assunto é tratado na lógica, teoria de conjuntos e matemática clássica. Argumentamos que estas últimas teorias, ao assumir uma identidade para seus 'objetos', parecem se comprometerem também com a individualidade dos mesmos. Obviamente, poder-se-ia dizer que por serem formais, tais sistemas não deveriam se comprometer com uma metafísica, mas a ideia é exatamente que construímos tais sistemas para dar conta de alguma parcela da realidade e, assim, acabamos também nos comprometendo com algum tipo de metafísica (no caso, aqui, como defendemos, individualizadora). Em seguida mostramos que tudo leva a crer que na ciência moderna - em particular na mecânica quântica (MQ) - podemos encontrar objetos (as partículas quânticas) que podem ser entendidos como não possuindo identidade, tornando-se então não indivíduos de acordo com uma interpretação bastante plausível. Como argumentamos que as teorias formais usuais dão a impressão de se comprometerem com a identidade e individualidade de seus entes, novos formalismos parecem ser necessários (aqui, em especial relacionado ao uso de uma teoria de conjuntos alternativa) na qual se possa 'manipular' tal não individualidade quântica. Mostramos em seguida uma teoria conjuntista que foi formulada tendo em vista estes requisitos: a chamada teoria de quase-conjuntos (Q), na qual aparecem objetos (os chamados m-átomos) para os quais a lei reflexiva da identidade (x = x) não vale. Tal restrição (pensa-se) capta formalmente a 'perda da identidade' das partículas quânticas. Como argumentamos acima que objetos que têm identidade são indivíduos, a ausência da identidade para os m-átomos os fazem então não-indivíduos em certo sentido. Não obstante, algumas características das teorias clássicas poderiam impugnar mesmo tal teoria conjuntista alternativa: no nosso caso, estaremos preocupados com a noção de estrutura rígida, conceito este erigido em um arcabouço conjuntista. Uma estrutura é rígida quando seu único automorfismo for a função identidade. Em teorias de conjuntos clássicas, tais como a de Zermelo-Fraenkel com o axioma da escolha, um teorema mostra que toda estrutura não-rígida pode ser estendida a uma rígida, de modo que a partir do único automorfismo existente é sempre possível dotar os elementos da estrutura de uma 'identidade'. Deste modo, em um primeiro momento, nos preocupa mostrar (através de uma análise bastante detalhada do teorema da rigidificação clássico) que algumas estruturas alicerçadas na teoria de quase-conjuntos - no caso, aquelas nas quais seus domínios contêm apenas m-átomos - não podem ser rigidificadas e, assim, acreditamos que realmente não podemos dotar os m-átomos de uma possível 'identidade'. Isto é importante, pois se mesmo estruturas fundamentas em Q pudessem ser rigidificadas, o intuito formal da teoria de quase-conjuntos (qual seja, manipular objetos para os quais a identidade não faz sentido) cairia por terra. A partir de tal impossibilidade, como mostraremos, esta teoria aparenta realmente ser um alicerce seguro para se manusear as partículas quânticas. Em seguida, daremos alternativas quase-conjuntistas a estes conceitos. Definiremos uma noção de quase-identidade e de quase-automorfismo, e provamos um teorema que mostra que toda quase-estrutura não quase-rígida pode ser estendida a uma quase-estrutura quase-rígida (resultado, assim, paralelo ao teorema clássico). Não obstante, agora destoante das estruturas clássicas, enfatizamos que mesmo em uma quase-rigidificação não estaremos introduzindo uma noção de identidade 'disfarçada' para os m-átomos, desta feita não se tornando o teorema provado um resultado opositivo aos preceitos básicos da teoria de quase-conjuntos. Em sequência, é discutido o uso das estruturas matemáticas para alicerçarem e fundamentarem as teorias científicas em geral e as vantagens que se pode obter disso. Construímos exemplos de estruturas que parecem servir para alicerçar tanto a MQ bem como a química em particular, e ressaltamos o ganho conceitual que obtemos em se erigir tais estruturas na teoria Q (exatamente pela não rigidificação das mesmas). Por fim, a partir da constatação de que algumas áreas da ciência parecem justificar efetivamente o uso de estruturas quase-conjuntistas, discutimos a possibilidade de irmos na direção de um 'pluralismo estrutural' - além de fortalecermos uma metafísica sem identidade - e defendemos a ideia de que a noção de identidade aparenta não ser tão essencial assim em alguns quadros teóricos bem justificados, tal como o nosso.<br> / Abstract : In this, thesis we discuss some questions about the notions of identity and individuality, in special connecting these subjects to the concept of the "rigid strucuture". In the beginning, we talk about the theories of identity in an general philosophical view, to speak later how the identity is handle in logic, set theory and classical mathemathics. We argue that these theories, to assume an identity for its 'objects', seem also to commit to an individuality to these objects. In sequence, we show that we have reasons to believe that in modern science - particularly, in quantum mechanics (QM) - we can found objects (the quantum particles) that can be understood as having no identity, thus becoming not-individuals (according to a very plausible interpretation). As we argue that the classical formal theories give the impression that they commit with identity and individuality for your objects, new formalisms seem to be necessary (here, especially related to the use of an alternative set theory) in which that we can 'manipulate' such quantum non-individuality. We show one set theory that was formulated in view of these requirements: the so-called quasi-set theory, where we have objects (the m-atoms) that do not respect the reflexive law of the identity (x = x). This restriction (it is thought) formally captures the 'loss of identity' of quantum particles. As argued above that objects having identity are individuals, the lack of identity for the m-atoms do make then not-individuals in a sense. Nevertheless, some features of the classical theories could even challenge this ensemblistic alternative theory: in our case, we are concerned with the notion of rigid structure; concept always erected on a set-theoretic framework. A structure is rigid when its only automorphism is the identity function. In classical theories of sets, such as Zermelo-Fraenkel with the axiom of choice, a theorem shows that every non-rigid structure can be extended to a rigid, so that with this only existing automorphism, is always possible to provide an 'identity' to the elements of the structure. Thus, at first, we will concern to show that some structures grounded in the theory of quasi-sets - in this case, those in which your domains have only m-atoms - cannot be rigidificate and, thus, we believe that we really cannot provide a possible identity to these m-atoms. This is important because if we make a possible rigidification to Q structures, the formal ideia of the theory of quasi-sets (manipulate objects for which identity does not make sense) would collapse. From such impossibility, as we will show, this theory appears to be a really good foundation to handle quantum particles. In sequence, we provide alternative quasi-ensemblistic notions to some classical concepts. We define a notion of quasi-identity and quasi- automorphism, and we prove a theorem that shows that all non quasi-rigid structure can be extended to a quasi-rigid structure (thus, a result similar to the classical theorem). Nevertheless, now unlike classical structures, we emphasize that even in a quasi-rigidification we will not can be introducing a notion of identity 'disguise' for m-atoms. In sequence, we discusses the use of mathematics to ground scientific theories with quasi-set structures, and the advantages that one can get it. We construct examples of structures that seem to serve to underpin both the QM and chemistry in particular, and we emphasize the conceptual gain that we get in erecting such structures in the theory Q. Finally, from the fact that some areas of science seem to effectively justify the use of quasi-set structures, we discussed the possibility of going towards to an 'structural pluralism ' -together with an reinforcement to an metaphysical without identity - and defend the idea that the notion of identity does not seem to be essential in some well-justified theoretical frameworks, such as our.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2015. / Made available in DSpace on 2015-04-29T21:10:19Z (GMT). No. of bitstreams: 1 333056.pdf: 1646409 bytes, checksum: e628ceff8b30da1b5de3b154bd377f8a (MD5) Previous issue date: 2015 / Este trabalho tem como objetivo apresentar um novo sistema de inferência neuro-fuzzy, chamado RBFuzzy, capaz de extrair conhecimento a partir de dados e gerar regras fuzzy do tipo Mamdani com alta interpretabilidade. A RBFuzzy é um sistema de inferência neuro-fuzzy que aproveita o comportamento funcional de neurônios ativados por Funções de Base Radial (RBF) e sua relação com sistemas de inferência fuzzy. A arquitetura da rede RBFuzzy permite extrair um conjunto de regras linguísticas a partir da estrutura conexionista e dos pesos ajustados de uma rede neural. Uma extensão do algoritmo da otimização da colônia de formigas (ACO, do inglês ant colony optimization algorithm) é utilizada para ajustar os pesos de cada regra para gerar um conjunto de regras fuzzy acurado e interpretável. Tendo um conjunto de regras fuzzy um especialista pode adicionar regras novas para incorporar conhecimento novo ao modelo de previsão gerado e também corrigir regras que foram geradas por dados imprecisos.<br> / Abstract : This work presents a novel neuro-fuzzy inference system, called RBFuzzy, capable of knowledge extraction and generation of highly interpretable Mamdani-type fuzzy rules. RBFuzzy is a four layer neuro-fuzzy inference system that takes advantage of the functional behavior of Radial Basis Function (RBF) neurons and their relationship with fuzzy inference systems. Inputs are combined in the RBF neurons to compound the antecedents of fuzzy rules. The fuzzy rules consequents are determined by the third layer neurons where each neuron represents a Mamdani-type fuzzy output variable in the form of a linguistic term. The last layer weights each fuzzy rule and generates the crisp output. An extension of the ant-colony optimization (ACO) algorithm is used to adjust the weights of each rule in order to generate an accurate and interpretable fuzzy rule set. For benchmarking purposes some experiments with classic datasets were carried out to compare our proposal with the EFuNN neuro-fuzzy model. The RBFuzzy was also applied in a real world oil well-log database to model and forecast the Rate of Penetration (ROP) of a drill bit for a given oshore well drilling section. The obtained results show that our model can reach the same level of accuracy with fewer rules when compared to the EFuNN, which facilitates understandingthe operation of the system by a human expert.

SAMPAIO, José Esdon. Regularidade Lipschitz, invariância da multiplicidade e a geometria dos cones tangentes de conjuntos analíticos. 2015. 56 f. Tese (doutorado) - Universidade Federal do Ceará, Centro de Ciências, Programa de Pós-Graduação em Matemática, Fortaleza-Ce, 2015 / Submitted by Erivan Almeida (eneiro@bol.com.br) on 2015-05-29T18:27:53Z No. of bitstreams: 1 2015_tese_jesampaio.pdf: 1161657 bytes, checksum: 388d75dfad46f85ce32ce24b79963987 (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2015-06-01T10:56:02Z (GMT) No. of bitstreams: 1 2015_tese_jesampaio.pdf: 1161657 bytes, checksum: 388d75dfad46f85ce32ce24b79963987 (MD5) / Made available in DSpace on 2015-06-01T10:56:02Z (GMT). No. of bitstreams: 1 2015_tese_jesampaio.pdf: 1161657 bytes, checksum: 388d75dfad46f85ce32ce24b79963987 (MD5) Previous issue date: 2015 / 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. / 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.

Made available in DSpace on 2016-08-29T15:36:15Z (GMT). No. of bitstreams: 1 tese_8302_Versão Final Dissertação.pdf: 2456925 bytes, checksum: b5e97a1f5796361826464cecabf33ab1 (MD5) Previous issue date: 2014-10-20 / Este trabalho tem como foco principal a exploração do conceito de número real com ênfase na sua representação decimal e correspondência com a reta, principalmente para as frações e números irracionais. Sua principal característica é a utilização de um processo construtivo para os conjuntos numéricos utilizando-se de definições e dos axiomas de Peano e de Dedekind. Além disso, em todo o texto, fica clara a busca pela motivação do leitor com uma vasta quantidade de exemplos, observações e sugestões para o uso de recursos computacionais antes, durante e depois da introdução de novos conceitos, definições e resultados.

Dissertação (mestrado profissional) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Programa de Pós-Graduação em Matemática, Florianópolis, 2015. / Made available in DSpace on 2015-12-01T03:09:51Z (GMT). No. of bitstreams: 1 336210.pdf: 358357 bytes, checksum: 190b6b9d2e46cfe1d505f2eb683758a1 (MD5) Previous issue date: 2015 / O objetivo deste trabalho é apresentar uma breve introdução à Teoria dos Conjuntos a fim de definir os números naturais e demonstrar suas propriedades aritméticas, utilizando uma linguagem acessível a um aluno de graduação. Inicialmente são introduzidos os principais axiomas da Teoria Ingênua dos Conjuntos utilizados neste trabalho. Após, é feita a definição do conjunto dos números naturais. A partir disso, no terceiro capítulo, são enunciados e demonstrados os axiomas de Peano. No quarto capítulo, são definidas as operações de adição e multiplicação, bem como é feita a demonstração de suas propriedades aritméticas.<br> / Abstract : The goal of this work is to give a brief introduction to Set Theory in order to define the natural numbers and toprove some of their arithmetic properties, using language that is accessible to undergraduate students. First, the main axioms in Naive set theory used in this work are presented. Later, the setof natural numbers is defined. From this, in the third chapter,the Peano axioms are listed and proved. In the fourth chapter, the operations of addition and multiplication are defined, and some of their properties are verified.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2012 / Made available in DSpace on 2013-06-25T22:44:14Z (GMT). No. of bitstreams: 1 315046.pdf: 1264628 bytes, checksum: 155c36f434e14fb2fe7d037f9198c976 (MD5) / Em um certo sentido, a matemática usual pode ser reduzida à teoria dos conjuntos, isto é, os objetos matemáticos usuais podem ser definidos como conjuntos, e os teoremas que governam esses objetos podem ser provados em ZFC. Todavia, existem enunciados importantes - a hipótese do contínuo é o mais célebre deles - que são independentes de ZFC. A existência de enunciados independentes levanta a questão da necessidade e conveniência de estender ZFC pela adição de novos axiomas. Nesse contexto, é interessante dispor de critérios claros que permitam avaliar candidatos a axioma para uma extensão da teoria dos conjuntos que decidiria enunciados independentes. Maddy tem se dedicado intensamente à filosofia da teoria dos conjuntos, com destaque para a investigação de critérios para seleção de axiomas. Nesta dissertação, nosso objetivo é seguir o percurso de Maddy nessa investigação, atentando especialmente a sua defesa da autonomia da matemática com respeito à filosofia e às ciências naturais e ao correspondente papel preponderante da argumentação extrínseca nas discussões que estabeleceram os axiomas da atual teoria. Como pano de fundo filosófico, o naturalismo em matemática de Maddy é também objeto privilegiado da nossa atenção neste trabalho.<br> / Abstract : In a certain sense, ordinary mathematics can be reduced to set theory, i.e., general mathematical objects can be defined as sets and the theorems about them can be proved from ZFC. However, there are important statements - the continuum hypothesis is the most famous among them - which are independent of ZFC. The existence of these statements raises a question about the necessity and convenience of extending ZFC, adding to it new axioms. In this context, it is interesting to have clear criteria for evaluating axiom candidates for an extension of ZFC that would decide independent statements. Maddy has focused intensely on philosophy of set theory, emphasizing the investigation of criteria for selection of set-theoretic axioms. In this dissertation, our goal is to understand and explain Maddy's investigation, with special attention to her defense of the autonomy of mathematics with respect to philosophy and natural sciences and the corresponding leading role of extrinsic arguments in the debates that established the current axioms of set theory. As philosophical background, naturalism in mathematics is also a privileged object of our attention in this work.