Submitted by Erika Demachki (erikademachki@gmail.com) on 2014-10-13T19:12:35Z No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Jaqueline Silva (jtas29@gmail.com) on 2014-10-13T20:49:48Z (GMT) No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-10-13T20:49:48Z (GMT). No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2013-09-02 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / By means of the Curry-Howard Correspondence Martin-Löf’s intuitionistic type theory claims that to define a proposition by laying down how its canonical proofs are formed is the same as to define a set by laying down how its canonical elements are formed; consequently a proposition can be seen as the set of its proofs. On the other hand, we find in this very same theory a distinction between the notions of set and of type, such that the difference of the latter in relation to the former consists in the fact that to form a type we do not need to present an exhaustive prescription for the formation of its objects; it is sufficient to just have a general notion of what would be an arbitrary object that inhabits such type. Thus we argue that we can extract two distinct notions of propositon from the intuitionistic type theory, one which treats propositions as types and another which treats propositions as sets. Such distinction will have some bearing on discussions concerning hypothetical demonstrations and conjecture’s formation. / A teoria intuicionista de tipos, de Martin-Löf, alega, à luz da correspondência Curry- Howard, que definir uma proposição por meio do estabelecimento de como as suas provas canônicas são formadas é o mesmo que definir um conjunto por meio do estabelecimento de como os seus elementos canônicos são formados, fazendo com que uma proposição possa ser vista como o conjunto de suas provas. Por outro lado, encontramos nessa mesma teoria uma distinção entre as noções de conjunto e tipo, sendo que a diferença deste em relação àquele consiste no fato de que para se formar um tipo não é preciso apresentar uma prescrição exaustiva da formação de seus objetos, basta se ter uma noção geral do que seria um objeto arbitrário que o habita. Tendo isso em conta, argumentamos que podemos extrair da teoria intuicionista de tipos duas concepções de proposição distintas, uma que considera proposições como tipos e outra que considera proposições como conjuntos. Tal distinção implicará em algumas considerações envolvendo questões sobre demonstrações hipotéticas e a formação de conjecturas.

Submitted by FERNANDA ALMEIDA MARCHINI GAYER null (fer_marchini@yahoo.com.br) on 2017-12-12T16:34:52Z No. of bitstreams: 1 dissertacao.pdf: 8726620 bytes, checksum: 66b744fe24afaf15e89574cfd8c23af1 (MD5) / Approved for entry into archive by Adriana Aparecida Puerta null (dripuerta@rc.unesp.br) on 2017-12-12T18:20:47Z (GMT) No. of bitstreams: 1 gayer_fam_me_rcla.pdf: 8697307 bytes, checksum: ef684be2abf1d5c9b37f2d77c9ab5ce8 (MD5) / Made available in DSpace on 2017-12-12T18:20:47Z (GMT). No. of bitstreams: 1 gayer_fam_me_rcla.pdf: 8697307 bytes, checksum: ef684be2abf1d5c9b37f2d77c9ab5ce8 (MD5) Previous issue date: 2017-12-01 / Neste trabalho, apresentamos um estudo introdutório à Teoria de Conjuntos Fuzzy e Lógica Fuzzy, mostrando o seu potencial de aplicação através da análise de um problema numa indústria química e da introdução de alguns conceitos dessa teoria a alunos do Ensino Médio. Quanto ao problema da indústria química, o objetivo é assessorar uma equipe de gestão de manutenção de uma certa indústria química na tomada de decisão quanto ao momento oportuno para realização de intervenção em uma bomba industrial. Esta equipe observou como dificuldade em sua gestão de custos a manutenção preventiva de uma certa bomba de seu processo. Para isso, dados dos processos são analisados e modelados matematicamente utilizando a lógica fuzzy, produzindo um resultado que direciona corretamente os profissionais no momento da tomada de decisão, sobrepondo a manutenção preventiva existente pela manutenção preditiva, baseada em dados do processo. Foi criado um sistema computacional que favorece este processo de forma automática e simplificada, evitando burocracias legais quanto à questão de licenciamento de softwares do mercado, de forma a realizar os cálculos, além de facilitar a incorporação de dados e análises de forma intuitiva, não necessitando de maiores treinamentos para tanto. Por fim, durante o estudo da lógica fuzzy e pesquisas relacionadas, foi detectada a possibilidade de aplicação prática para estudantes do Ensino Médio. Dessa forma, uma aula expositiva com atividades originais foi realizada para apresentar os conjuntos e a lógica fuzzy, mostrando a capacidade dos alunos do Ensino Médio em assimilar os conteúdos já citados. / In this work, we present an introductory study to Fuzzy Set Theory and Fuzzy Logic, showing its potential application through the analysis of a problem in a chemical industry and the introduction of some concepts of this theory to high school students. As for the problem of the chemical industry, the objective is to advise a manufacturing management team of a certain chemical industry in the decision making for an opportune time for an intervention in an industrial pump. This team observed as a difficulty in its cost management a preventive maintenance of a certain pump of its process. For this, the data of the processes are analysed and modelled mathematically using a fuzzy logic, producing a result that correctly directs the professionals at the moment of the decision making, overlapping the existing preventive maintenance, by the base predictive maintenance in process data. It was created a computer system that helps this process in an automatic and simplified way, avoiding legal bureaucracies regarding the licensing of software in the market, in order to perform the calculations, besides facilitating the incorporation of data and analyses in an intuitive way, not requiring of greater training for both. Finally, during the study of fuzzy logic and related research, it was detected as a possibility of practical application for high school students. Thus, an expository class with original activities was performed to present the sets and a fuzzy logic, showing the ability of the high school students to assimilate the referred contents.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-08-26T23:19:47Z No. of bitstreams: 1 JoseIltonSarmentoSilveiraJunior_DISSERT.pdf: 428171 bytes, checksum: e3b1ba1b356d8fe7a02e2402c5d70c97 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-08-31T00:43:28Z (GMT) No. of bitstreams: 1 JoseIltonSarmentoSilveiraJunior_DISSERT.pdf: 428171 bytes, checksum: e3b1ba1b356d8fe7a02e2402c5d70c97 (MD5) / Made available in DSpace on 2016-08-31T00:43:28Z (GMT). No. of bitstreams: 1 JoseIltonSarmentoSilveiraJunior_DISSERT.pdf: 428171 bytes, checksum: e3b1ba1b356d8fe7a02e2402c5d70c97 (MD5) Previous issue date: 2016-01-25 / Os controladores robustos, nas u?ltimas de?cadas, ve?m sendo muito estudados por especialistas na a?rea de controle para tratar problemas inerentes a sistemas dina?micos sujeitos varia??es e incertezas dos seus par?metros como tamb?m perturba??es. Mas ale?m desses problemas, existe outra caracteri?stica importante, que ocorre na maioria dos processos pra?ticos, que e? a existe?ncia de restric?o?es, as quais podem resultar de limitac?o?es nos estados do sistema, na entrada de controle ou na sai?da. Ambos os fatores citados, se na?o forem tratados devidamente na etapa de si?ntese do controlador, podem acarretar perda de desempenho do sistema controlado ou ate? leva?-lo a? instabilidade. Neste sentido, este trabalho apresenta uma pro- posta de um controlador robusto que utiliza a teoria de conjuntos invariantes para fazer o rastreamento de refere?ncia, garantindo que o sistema obedec?a a?s restric?o?es a despeito do efeito de perturbac?o?es limitadas em amplitude e de variac?o?es nos para?metros. Poliedros invariantes controlados sa?o usados para garantir que as restric?o?es sejam respeitadas tanto para o caso de um sistema com realimenta??o de estados quanto para com realimenta??o de sa?da. No primeiro caso ? utilizado um procedimento de reidentifica??o dos par?metros do sistema e no segundo caso um integrador, baseado no modelo do servosistema tipo 1, os quais s?o utilizados para reduzir o erro de rastreamento a refere?ncias constantes. / In recent decades, robust controllers, have been studied by experts in control systems to deal with problems inherent to dynamic systems subject to disturbances and variations of its parameters. However, beyond these problems, another important characteristic that is present in most practical cases is the existence of constraints, which may result from limitations in the system states, the control input or output. Both mentioned factors, if not dealt with properly in the controller synthesis step, can cause degradation of performance of the controlled system or even lead it to instability. Thus, this work presents a proposal of a robust controller that uses the theory of invariant sets perform the reference tracking, ensuring that the system complies with the constraints despite the effect of bounded disturbances and variations of parameters. Invariant Polyhedra are used to ensure compliance with the constraints to systems both with state feedback and output feedback. Reidentification procedure of system parameters is used to cancel the error of constant references tracking in both the cases.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-18T01:16:00Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T18:09:51Z : No. of bitstreams: 1 173796.pdf: 10868870 bytes, checksum: 2b0b1cacfe6d30a487520d28882a1c1f (MD5) / Este trabalho é relativo ao desenvolvimento de um sistema aplicado a processos de coleta de dados em caráter diacrônico. Três estruturas de reflexão aplicada foram consideradas: o processo de pesquisa através de questionários; desenvolvimento em ambiente distribuído; utilização de Agentes, Raciocínio Baseado em Caso e Multicritério Difuso, gerando Um Modelo Baseado em Agentes Para o Processo de Coleta de Dados Via Web. Para se alcançar tais propósitos, parte-se de uma crítica aos modelos tradicionalmente aplicados em processos de desenvolvimento de pesquisas quantitativas e qualitativas realizadas com aplicação de questionários por pesquisadores de campo bem como por meio de redes interligadas internet. A construção da variável tempo é determinante neste trabalho. Ao invés de considerá-lo em perspectiva sincrônica, apresentamos aplicabilidade da pesquisa em sentido diacrônico com total habilitação do pesquisador sobre o intervalo de tempo e o prolongamento do período de coleta de dados. Desta forma, durante a aplicação da pesquisa o pesquisador dispõe de instrumentos de medidas como a confiabilidade, fidedignidade e a validade. Uma das vantagens apresentadas é a capacidade de autogerenciamento e dimensionamento dos processos de coleta de dados, com racionalização do tempo e diminuição de custos por parte de empresas que buscam a projeção de serviços e produtos no mercado.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. / Made available in DSpace on 2012-10-16T01:13:48Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T15:42:59Z : No. of bitstreams: 1 142296.pdf: 3097433 bytes, checksum: b1a5639b16a809eb7f2a705169188f46 (MD5)

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. / Made available in DSpace on 2012-10-17T05:00:43Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T00:33:13Z : No. of bitstreams: 1 139313.pdf: 51887186 bytes, checksum: 46396b4b40d0049053b122113c7b8500 (MD5)

[pt] As instituições de ensino superior mantêm uma quantidade considerável de dados que incluem tanto os registros dos alunos como a estrutura dos currículos dos cursos de graduação. Este trabalho, adotando uma abordagem de mineração de processos, centra-se no problema de identificar quão próximo os alunos seguem a ordem recomendada das disciplinas em um currículo de graduação, e até que ponto o desempenho de cada aluno é afetado pela ordem que eles realmente adotam. O problema é abordado aplicando-se duas técnicas já existentes aos registros dos alunos: descoberta de processos e verificação de conformidade; e frequência de conjuntos de itens. Finalmente, a dissertação cobre experimentos realizados aplicando-se essas técnicas a um estudo de caso com mais de 60.000 registros de alunos da PUC-Rio. Os experimentos indicam que a técnica de frequência de conjuntos de itens produz melhores resultados do que as técnicas de descoberta de processos e verificação de conformidade. E confirmam igualmente a relevância de análises baseadas na abordagem de mineração de processos para ajudar coordenadores acadêmicos na busca de melhores currículos universitários. / [en] Higher Education Institutions keep a sizable amount of data, including student records and the structure of degree curricula. This work, adopting a process mining approach, focuses on the problem of identifying how closely students follow the recommended order of the courses in a degree curriculum, and to what extent their performance is affected by the order they actually adopt. It addresses this problem by applying to student records two already existing techniques: process discovery and conformance checking, and frequent itemsets. Finally, the dissertation covers experiments performed by applying these techniques to a case study involving over 60,000 student records from PUC-Rio. The experiments show that the frequent itemsets technique performs better than the process discovery and conformance checking techniques. They equally confirm the relevance of analyses based on the process mining approach to help academic coordinators in their quest for better degree curricula.

Submitted by Automação e Estatística (sst@bczm.ufrn.br) on 2018-08-01T21:15:25Z No. of bitstreams: 1 FlaviaMonalizaNunesSecundoLopes_DISSERT.pdf: 12783312 bytes, checksum: f8faf055082fc21f33e9b7c6818d68e1 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-08-02T23:42:14Z (GMT) No. of bitstreams: 1 FlaviaMonalizaNunesSecundoLopes_DISSERT.pdf: 12783312 bytes, checksum: f8faf055082fc21f33e9b7c6818d68e1 (MD5) / Made available in DSpace on 2018-08-02T23:42:14Z (GMT). No. of bitstreams: 1 FlaviaMonalizaNunesSecundoLopes_DISSERT.pdf: 12783312 bytes, checksum: f8faf055082fc21f33e9b7c6818d68e1 (MD5) Previous issue date: 2018-06-15 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Nesta dissertação foram investigadas relações entre forma e usos da arquitetura visando identificar efeitos que alterações morfológicas nos espaços abertos de uso coletivo possam ter exercido sobre modos de uso desses espaços. Especificamente, buscou-se compreender se, e como, usos preexistentes foram modificados após o reassentamento de uma população de uma favela, assentamento orgânico, autoconstruído – Favela do Maruim – para um conjunto habitacional, planejado pelo estado – Conjunto São Pedro. Com base no referencial teórico da Sintaxe do Espaço (HILLIER; HANSON, 1984), partiu-se do pressuposto que a forma da Arquitetura – resultante do arranjo de cheios (massas construídas) e vazios (permeabilidades) – estrutura possibilidades e restrições ao ir e vir estar e enxergar, as quais definem campos potenciais de copresença e movimento de indivíduos no espaço. Neste caso, a hipótese foi de que a natureza morfológica do conjunto é oposta à da favela, sendo assim, alterou tipos de relações espaciais, da micro à macro escala, e possivelmente modificou padrões de copresença, uso do lugar e interação entre os diferentes indivíduos no espaço – moradores locais e estranhos (não locais). O conjunto subverteu a lógica autodefensiva e de proximidade entre os moradores da Favela para um movimento mais similar ao da cidade de maneira global – onde há maior potencial de encontro entre diferentes. A abertura para a cidade aproximou a população reassentada do discurso do medo, da reclusão dentro de casa e da criação de muros e barreiras para o espaço público. Na busca de comprovar a hipótese, foi realizado um estudo comparativo de instâncias potenciais e episódios reais de encontro através da análise dos espaços, e visitas in loco na favela e no conjunto. Técnicas da Análise Sintática do Espaço (ASE) caracterizaram a inserção de cada assentamento na malha da cidade na perspectiva de entender acessibilidades “ao caminhar” e “ao olhar” por meio de instrumentos que exploram relações topológicas e distâncias métricas. Para entender a relação entre a massa construída e a estrutura de espaços abertos foram examinados usos locais e relações entre espaços públicos e privados. Em busca de compreender os usos reais do espaço, foram observados o movimento peatonal e traços físicos do espaço; ainda foram realizadas entrevistas semiestruturadas com a população. Os resultados mostram que a configuração da favela, desordenada e menos integrada ao tecido urbano da cidade, delineava um enclave que diminuía a interface de encontros entre diferentes (moradores e estranhos). Internamente, uma forte hierarquia e coesão entre acessibilidades (local e vicinal “ao caminhar” e “ao olhar”), privilegiava o uso de certos espaços abertos pelos moradores. Estes funcionavam como extensão da casa dos habitantes locais, como pontos de confluência de encontros, passagem de pedestres e de atividades com forte ligação público/privado. O conjunto, por sua vez, com uma ordem de acessibilidade e visibilidade mais homogênea, pouco hierárquica, com ligações público/privado frequentemente interrompidas, ainda que mais integrado à cidade, estimula a interface de encontros entre diferentes, enquanto restringe potenciais encontros entre moradores. Em um esforço de contornar as limitações da forma da arquitetura, moradores persistem em estar nos espaços coletivos do conjunto, ocupação aparentemente consubstanciada na presença dos tapumes, uma vez que estes contribuem para aproximar o conjunto da lógica de enclave da Favela, apartando-o do contínuo espacial da cidade e consolidando barreiras que vem, de resto, se tornando recorrentes na construção de residências em cidades brasileiras nos últimos anos. / This study addresses relations between form and use of architecture with the aim of investigating whether morphological changes regarding open spaces shared by a housing community might have exerted over the way people use those spaces. It aims to shed light on whether and how the reallocation of a self-built organic settlement – Favela do Maruim – to a regularly schemed, state-funded housing estate – Conjunto São Pedro – led to alterations in the way people used common open spaces in their previous environs. Guided by the Space Syntax theory (HILLIER; HANSON, 1984), the investigation approach stems from the assumption, that architectural form - structured by masses (buildings) and voids (permeability) - offer possibilities and restrictions concerning moving, being and seeing, and, therefore, define potential fields of co-presence and movement by individuals in space. The hypothesis underlying the case study was that because the morphological nature of the housing estate diverges from that of the Favela settlement, spatial relations are altered from the micro to the macro scale, thus prompting changes in patterns of co-presence, use of communal areas and interaction among diverse individuals in space – inhabitants, visitors and strangers (insiders and outsiders). In the Housing Estate the self-defensive logic of nearness among residents that existed in the Favela was subverted and replaced by another more similar to that which prevails in the city as a whole, with a higher potential of encounter fields. The less enclosed arrangement appears to threat the resettled population, bringing about the discourse of fear, which enforces reclusion inside an area severed from the public space by walls and barriers. In the search to test the hypothesis, comparative studies of potential and real instances of encounter were carried out by means of spatial analysis and of in loco visits regarding actual use in the Favela and the Housing Estate. Space syntax analysis was applied to quantify the insertion of each settlement in the city grid, in topological and metric distances, to gauge accessibilities “by foot” and “to the eye”. In order to understand the relation between the built mass and the structure of open spaces, local uses and relations between public and private spaces were analysed. To understand the real uses of space, the data gathering process included the observation of pedestrian movement and physical traces of space; and enquiries about the ways people use common areas, by means of semi-structured interviews. The results show that the Favela configuration, disorderly and less integrated with the city urban grid, outlined an enclave that decreased the potential encounter field between insiders and outsiders. Internally, a stronger hierarchy and cohesion concerning diverse accessibility catchment levels (local, vicinal, to the feet or the eyes) privileged the use of certain open spaces by the inhabitants. Those points that showed strong public/private connections, worked as extensions to the houses and as confluence points for encounter, pedestrian flows and activities. In the Housing Estate, on the other hand, a homogeneous, less hierarchical internal structure, with low cohesion concerning accessibility levels, less openings connecting closed/open spaces and higher integration to the city grid, stimulate the interface between insiders and outsiders, whereas restraining the potential encounter field amongst inhabitants. On an effort to overcome the limitations of the architectural spatial form, inhabitants persist on being in the Housing Estate common areas, an occupation apparently consubstantiated by the presence of construction fences that approximates the Estate’s spatial structure to the Favela’s enclave logic, setting it apart from the city continuous space and consolidating barriers, which at any rate, are becoming the norm, concerning residential premises in Brazilian cities.

[pt] O volume de dados RDF publicados na Web aumentou consideravelmente, o que ressaltou a importância de seguir os princípios de dados interligados para promover a interoperabilidade. Um dos princípios afirma que todo novo conjunto de dados deve ser interligado com outros conjuntos de dados publicados na Web. Esta tese contribui para abordar este princípio de duas maneiras. Em primeiro lugar, utiliza algoritmos de detecção de comunidades e técnicas de criação de perfis para a criação e análise automática de um diagrama da nuvem da LOD (Linked Open Data), o qual facilita a localização de conjuntos de dados na nuvem da LOD. Em segundo lugar, descreve três abordagens, apoiadas por ferramentas totalmente implementadas, para recomendar conjuntos de dados a serem interligados com um novo conjunto de dados, um problema conhecido como problema de recomendação de interligação de conjunto de dados. A primeira abordagem utiliza medidas de previsão de links para produzir recomendações de interconexão. A segunda abordagem emprega algoritmos de aprendizagem supervisionado, juntamente com medidas de previsão de links. A terceira abordagem usa algoritmos de agrupamento e técnicas de criação de perfil para produzir recomendações de interconexão. Essas abordagens são implementadas, respectivamente, pelas ferramentas TRT, TRTML e DRX. Por fim, a tese avalia extensivamente essas ferramentas, usando conjuntos de dados do mundo real. Os resultados mostram que estas ferramentas facilitam o processo de criação de links entre diferentes conjuntos de dados. / [en] The volume of RDF data published on the Web increased considerably, which stressed the importance of following the Linked Data principles to foster interoperability. One of the principles requires that a new dataset should be interlinked with other datasets published on the Web. This thesis contributes to addressing this principle in two ways. First, it uses community detection algorithms and profiling techniques for the automatic creation and analysis of a Linked Open Data (LOD) diagram, which facilitates locating datasets in the LOD cloud. Second, it describes three approaches, backed up by fully implemented tools, to recommend datasets to be interlinked with a new dataset, a problem known as the dataset interlinking recommendation problem. The first approach uses link prediction measures to provide a list of datasets recommendations for interlinking. The second approach employs supervised learning algorithms, jointly with link prediction measures. The third approach uses clustering algorithms and profiling techniques to produce dataset interlinking recommendations. These approaches are backed up, respectively, by the TRT, TRTML and DRX tools. Finally, the thesis extensively evaluates these tools, using real-world datasets, reporting results that show that they facilitate the process of creating links between disparate datasets.

[pt] Esta tese propõe uma metodologia para obter uma solução para problemas de programação linear fuzzy. A metodologia aqui descrita apresenta um conjunto de soluções em que tanto os valores das variáveis quanto o valor ótimo para a função de custo, ou função objetivo, possuem uma faixa de valores possíveis. Assim, é possível fornecer um conjunto de soluções factíveis que atendam a diferentes cenários, além de fornecer ao tomador de decisões uma ferramenta de análise mais útil, permitindo que sejam analisadas outras soluções possíveis antes de se escolher uma solução em particular. O problema é resolvido de forma iterativa, tornando mais simples e de fácil aplicação a metodologia desenvolvida. / [en] This work proposes an approach to obtain a solution to linear fuzzy programming problems. The approach described here presents a solution set in where both the variables values and the cost function optimun value to have an associated membership function. Thus, it is possible to provided not only a feasible solution set applicable to different scenarios but also to supply the decision maker with a more powerful tool for the analysis of other possible solutions. The problem is solved in an interactive way, so that the developed is approach easily applicable and simple to handle