Orientador: Ketty Abaroa de Rezende / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-23T01:07:46Z (GMT). No. of bitstreams: 1 Villapouca_MarianaGesualdi_D.pdf: 1687322 bytes, checksum: 9557d400e3eadbf12a6a305e0219b2cb (MD5) Previous issue date: 2013 / Resumo: Este trabalho tem como foco o estudo do índice de Conley discreto e do par de matrizes de conexão para difeomorfismos fitted Smale em variedades compactas. Foi estabelecido um teorema que apresenta o cálculo do índice de Conley de conjuntos básicos zero - dimensionais usando a informação dinâmica contida nas matrizes de estrutura associadas. A classificação do índice de Conley homológico reduzido de conjuntos básicos zero - dimensionais, utilizando a sua forma de Jordan real foi apresentada. Estabelecemos uma caracterização de pares de matrizes de conexão para decomposições de Morse em conjuntos básicos zero - dimensionais para uma classe de difeomorfismos fitted Smale / Abstract: Our focus in this thesis was on the further development of the discrete Conley index theory with the aim of addressing questions on the pair of connection matrices for fitted Smale diffeomorphisms on compact manifolds. A theorem was established where the computation of the discrete Conley index for zero dimensional basic sets was given with respect to the dynamical information contained in the associated structure matrices. A classification of the reduced homology Conley index of a zero dimensional basic set in terms of its Jordan real form is presented. A characterization of a pair of connection matrices for a Morse decomposition of zero dimensional basic sets of a class of fitted Smale diffeomorphisms is established / Doutorado / Matematica / Doutora em Matemática

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This present study aims to evaluate the design and execution process of windows focused on performance for leaks in the window to wall interface. The methodology used for this qualitative study was the comparative method through literature and survey research. The data collection instrument used was direct observation and application form. The results reported a wide incidence of failures in the design phase and execution, for which have been developed technical recommendations aimed at reducing or eliminating pathological manifestations affecting the surrounding frames. It concludes that the processes consolidated in the Brazilian construction industry need to undergo changes throughout the production chain so that there is compatibility between the components of a construction work, including the design and installation frames. As a result, failures resulting from poor detailing and improvisations on the construction site are reduced and therefore generate an improvement in quality, performance and service life of buildings. / O presente estudo tem como objetivo a avaliação do processo de projeto e execução de janelas com foco no desempenho quanto à estanqueidade à água da conexão janela/parede de vedação. A metodologia utilizada nesta pesquisa foi o método qualitativo por meio de pesquisa bibliográfica e levantamento. Como técnica de coleta de dados foi utilizada a observação direta e formulário. Os resultados relataram uma ampla incidência de falhas na fase de projeto e execução, para as quais, foram desenvolvidas recomendações técnicas visando à redução ou eliminação de manifestações patológicas que afetam o entorno às esquadrias. Conclui-se que os processos consolidados na construção civil brasileira precisam passar por mudanças em toda a cadeia produtiva para que exista uma compatibilização entre os componentes de uma obra, incluindo o projeto e instalação de esquadrias. Assim, falhas resultantes de detalhamentos deficientes e improvisos no canteiro de obras são reduzidas e, por conseguinte, geram uma melhoria na qualidade, desempenho adequado e vida útil projetada das edificações.

A utilização dos sistemas de navegação global por satélite, conhecidos pela sigla GNSS (Global Navigation Satellite System), cresceu vertiginosamente durante a última década. Atualmente, os receptores GNSS são ferramentas seguras, eficientes e altamente produtivas para a realização de observações aos satélites, possibilitando determinar coordenadas geodésicas sobre a superfície terrestre. As ferramentas e tecnologias disponíveis no mercado são de essencial importância no desenvolvimento eficiente dos projetos de engenharia. No entanto, o domínio das técnicas de trabalho e o conhecimento profundo de todos os métodos de execução são os principais obstáculos para a introdução de uma nova metodologia em projetos de engenharia. Este trabalho tem por objetivo esclarecer e testar a associação dessa tecnologia com o uso da telefonia celular, em especial com a utilização da conexão GSM (Global System for Mobile Communication) / GPRS (General Packet Radio Service), disponíveis no Brasil. O posicionamento preciso em tempo real tradicionalmente envia as observações de fase da onda portadora entre o receptor GNSS base e móvel através de frequências de rádio. Isso possibilita a determinação de coordenadas geodésicas e topográficas instantaneamente. Entretanto, obstáculos como áreas de relevo acidentado, edificações ou a baixa potência do rádio que envia os sinais fazem com que a comunicação entre os equipamentos seja interrompida com a perda frequente da solução instantânea. Apesar disso, este método de trabalho está consagrado como o mais produtivo, mantendo precisões topográficas, sendo que superar as restrições citadas seria uma inovação na área de Geodésia e Topografia. Com o avanço de tecnologias correlatas, criou-se uma nova maneira de enviar as observações de fase utilizando a conexão GSM através do pacote de dados GPRS. A conexão GSM é aplicada na tecnologia móvel padrão, que se tornou a mais popular para telefones celulares, de fácil acesso a qualquer usuário. Adequando o tradicional protocolo RTCM (Radio Technical Commission for Maritime Services) em um formato capaz de ser transmitido por GPRS, desenvolveu-se assim o serviço NTRIP (Network Transport of RTCM via Internet Protocol). Com esta nova concepção da conexão GSM/GPRS é possível realizar levantamentos com a técnica RTK (Real Time Kinematic) com vetores de até 100 km, mantendo as precisões atingidas com a metodologia atual de pós-processamento. Os tipos de equipamentos, os limites de distâncias e a qualidade dos dados obtidos estão sendo discutidos nesta pesquisa e analisados de forma a verificar os resultados atingidos em termos de precisão e acurácia. / The use of Global Navigation Satellite System has dramatically grown over the last decade. Currently, GNSS receivers are secure, efficient and highly productive for carrying out observations for the geodetic coordinates determination on the Earth\'s surface. The tools and technologies available on the market are essential in the establishment of engineering projects. However, the total knowledge of the techniques and the total domain of the execution methods are the first obstacles to the full incorporation of the technology in the engineering projects. This work is to clarify and to teste the technology described in this dissertation related to the facilities of cell phone coverage, particularly the GSM/GPRS connection able to be used in Brazil. The precise positioning in real-time traditionally involves the transmission of phase measurements between base and rover GNSS receivers; this is traditionally carried out through radio frequencies. This allows determining geodetic and topographic coordinates instantaneously. However, obstacles like accident topography terrain, buildings or low power of radio basis transmission, provoke constant interruptions in the communication among the radios and the consequent losing of the instant solution. Nevertheless, this methodology is the most productive for a centimetric accuracy; so the major challenge in geodetic positioning is to overcome the mentioned difficulties. With the high development of technologies related to mobile phone, a new way to transmit the observations using the GSM/GPRS connection was created. The GSM connection is a standard mobile technology, the most popular for cell phones, which became of easy access to any person. The traditional RTCM protocol in a convenient format can be transmitted by GSM/GPRS connection which is known as NTRIP service, becoming a full digital communication system. As of this new concept, it is possible to note vectors up to 100 km in RTK technique employment with the same high quality measurement. The equipment characteristics, distance limits and quality of the data recorded have been discussed and analyzed here in order to verify whether the results can achieve the necessary precision and accuracy.

Este trabalho apresenta um estudo da instrumentalização de software em Redes de Sensores Sem Fio, complementado pela aplicação, em um estudo de caso, de uma instrumentalização. A proposta da instrumentalização visa ampliar o conhecimento sobre essas redes em termos de desempenho, permitindo ao usuário tomar decisões suportadas pelo instrumento. Nesse sentido, foi realizada a abordagem conceitual em termos de Redes de Sensores Sem Fio, da tendência de padronização para essas redes e de instrumentalização por meio de software. Para a comprovação dos benefícios da adoção da utilização do conceito de instrumentalização de software nessas redes, foi desenvolvida uma rede de sensores utilizando esses conceitos, na qual foi possível avaliar o perfil dos aspectos temporais e da manutenção da qualidade da conexão. Os resultados obtidos evidenciam que é possível conhecer, com maiores detalhes, o comportamento da rede, o que melhora a qualidade da tomada de decisão do usuário em relação à sua utilização em aplicações com restrições temporais, nas quais os tempos de resposta envolvidos devem respeitar os limites máximos permitidos. / This thesis aims at the study of software instrumentation handling in terms of wireless sensor networks which is supplemented with the its application in a case study. The instrumentation purposes go towards the networks knowledge extension concerning its performance by allowing the user to make decisions based on software instrument reading. In this sense, a conceptual approach was performed which takes the wireless sensor network into account as well as the trend of standardization for these networks and the software instrumentation itself. In order to confirm the benefits on adopting the usage of software instrumentation concept on these networks, a wireless sensor network was developed using these concepts. In this sense, it was possible to evaluate the timing aspects profile and the link quality maintenance. The results show that is possible to know about the behavior of the network in details. By doing this, the quality of the users decision-making regarding their use in applications with time constraints, in which response time involved should respect the maximum allowable limits, has been improved.

O presente trabalho tem por escopo analisar a possibilidade de aplicação, nos processos coletivos, dos atuais institutos do Direito de Processual Civil, criados para solucionar os problemas decorrentes da relação entre demandas intersubjetivas, i.e., conexão, continência, litispendência e coisa julgada. Devido às características intrínsecas dos interesses metaindividuais, a propositura de mais de uma demanda coletiva, por diferentes legitimados ativos, todas com efeitos erga omnes e objeto indivisível, pode levar à prolação de comandos contraditórios, com desdobramentos no plano prático, podendo gerar situações insustentáveis - especificamente nos conflitos ambientais, dado o caráter difuso do bem tutelado. Diante das peculiaridades dos processos coletivos, o legislador e os operadores do direito podem optar por um de dois caminhos: adotar o sistema tradicional ou inovar. O presente trabalho propõe a inovação, a modernização, a adequação, a adaptação, enfim, a flexibilização dos institutos processuais clássicos - sem a pretensão de formular qualquer resposta definitiva. As inovações aqui propostas iniciam-se pelo próprio conceito de identidade de ações, perpassando por uma releitura dos elementos objetivos da demanda (pedido e causa de pedir), com foco no bem jurídico tutelado e no resultado prático visado pelos processos. Na seqüência, os institutos conexão, continência, litispendência e coisa julgada são revisitados, adaptando-se às necessidades da jurisdição coletiva. Em suma, o trabalho conclui que a transposição, sic et simpliciter, dos institutos processuais clássicos voltados à relação entre demandas individuais para o plano da jurisdição coletiva não é cabível, sendo necessário flexibilizar e modernizar algumas figuras, com vistas a impedir que a mesma situação de fato receba tratamentos diferenciados em duas ou mais demandas. Tudo em prol da efetividade do processo coletivo e dos princípios da economia processual, da isonomia e da certeza das relações jurídicas. / The scope of this study is to analyze the possibility of applying, in collective lawsuits, the current tools of the Civil Procedural Law, created to solve problems arising out of the relation between inter-subjective claims (i.e. same cause of action, encompassing lawsuit, collateral estoppel and res judicata). Due to the intrinsic characteristics of the meta-individual interests, the proposal of another collective claim, by different parties, all with erga omnes effect and indivisible object, may lead to the issuance of contradictory orders, affecting its practical aspect, and possibly generating unsustainable situations ? specifically in environmental conflicts, due to the public nature of the matter. Given the peculiarities of collective claims, legislators and Law operators may decide to adopt either the traditional system, or innovate. This paper proposes innovating, updating, adequating and adapting the classical procedural tools ? with no intention of reaching a definitive answer. The innovations proposed herein start by the identity of action concept itself, revisiting the objective elements of the claim (pleading and cause of action), focusing on the core of the matter and on the practical result sought by the lawsuits. Subsequently, tools such as same cause of action, encompassing lawsuit, collateral estoppel and res judicata are also revisited, adapting to the needs of collective jurisdiction. In short, this study concludes that transferring, sic et simpliciter, the classic procedural tools regarding the relations between individual claims to the collective jurisdiction is not possible, being necessary to adapt/update some concepts, so that the expected result is reached, preventing the same situation in fact is treated differently in two or more claims (on behalf of the effectiveness of the collective lawsuit and of the principles of the procedural economy, the isonomy and the certainty of the legal relations).

No Brasil, a necessidade crescente por sistemas de geração solar fotovoltaica conectados à rede de distribuição levou ao desenvolvimento de normas brasileiras para a conformidade de inversores. Assim, de forma a atender a população em geral, foi publicada a Portaria 357, de 01 de agosto de 2014, do Instituto Nacional de Metrologia, Qualidade e Tecnologia (INMETRO), que inclui inversores para conexão à rede de potência nominal até 10 kW no Programa Brasileiro de Etiquetagem (PBE). Por possuir os equipamentos necessários para a realização dos ensaios de conformidade com a portaria 357, o Laboratório de Sistemas Fotovoltaicos (LSF) do Instituto de Energia e Ambiente da Universidade de São Paulo passa então a ser o primeiro laboratório acreditado pelo INMETRO para a realização desses ensaios. Este trabalho tem como objetivo resumir as experiências de aplicação das normas brasileiras no ensaio de inversores para o PBE no LSF, sendo levantados os resultados obtidos no ensaio de 15 inversores ao longo de três anos de operação da bancada de ensaio para sistemas conectados à rede. A partir deste levantamento conclui-se que, embora as normas brasileiras exijam rigor em seus requisitos, existem inversores capazes de atender aos requisitos normativos brasileiros, assim como existem inversores que necessitam de implementações nos respectivos firmware de controle para conseguirem atender todos os requisitos. Uma vez que as normas brasileiras são recentes, este trabalho também destaca pontos das normas que se beneficiariam de adequações no corpo do texto, a fim de melhorar as rotinas de ensaios em inversores e critérios de conformidade. / In Brazil, the increasing demand for grid-tie photovoltaic systems lead to the development of the Brazilian standards for inverter quality and evaluation. In order to meet the general population demand, the National Institute for Metrology, Quality and Technology (INMETRO) published the normative nº 357 01/08/2014 to include inverters up to 10 kW in the Brazilian Labeling Program (PBE). For having all the equipment needed for inverter conformity evaluation in accordance with the normative nº 357, the Laboratory of Photovoltaic Systems (LSF) of the Institute of Energy and Environment of the University of Sao Paulo becomes the first INMETRO accredited laboratory for conducting the inverter evaluation in Brazil. This works main goal is to summarize the experience acquired for the appliance of the Brazilian standards for inverter testing in the LSF. The results obtained for the test of 15 different inverters during the first three years operating the inverter test bench are showed. Using the data shown this work concludes that, although the Brazilian standards are rigorous on its criteria, there are inverters capable of complying with the standards requirements and there are inverters that need further software and hardware development in order to comply with all the requirements. Since the Brazilian standards are in its first version, this work also aims to point out aspects of the standard that would benefit from text revising in order to improve the test conditions and conformity criteria.

Dada uma aplicação f: B -> A entre duas C*-álgebras, o cone dessa aplicação, Cf, é o conjunto formado pelos pares (b,g) pertencentes à soma direta da C*-álgebra B com o cone CA tais que f(b) = g(0), sendo CA o cone de A. Neste trabalho estudamos o funtor determinado pela associação da sequência exata curta 0 -> SA -> Cf -> B -> 0 para cada *-homomorfismo f: B -> A, e demonstramos que esse funtor é exato. Caracterizamos as aplicações de conexão associadas à sequência exata 0 -> SA -> Cf -> B -> 0, mostrando que a aplicação do índice é dada por tAK1(f) e que a aplicação exponencial é dada por bAK0(f), sendo tA o isomorfismo entre K1(A) e K0(SA) e bA a aplicação de Bott. Por fim, usando que toda sequência exata curta de C*-álgebras pode ser vista na forma 0 -> Ker f -> B -> A -> 0, mostramos que as aplicações de conexão d1 e d0 associadas a cada sequência exata curta podem ser dadas por dn = Kn+1(j)-1 Kn+1(i) hn, em que j é a inclusão do núcleo de f em Cf, i é a inclusão da suspensão SA também em Cf, hn = bA e h1 = tA . / If f: B A is a map between the C*-algebras A and B, the mapping cone is the set of pairs (b,g) in the direct sum of B and CA such that f(b) = g(0), where CA is the cone of A. In this work, we study the functor determined by the assignment of the exact sequence 0 SA Cf B 0 to each *-homomorphism f: B -> A, and we show that this functor is exact. We characterize the connecting maps associated with the short exact sequence 0 SA Cf B 0 and we prove that its index map is tA K1(f) and that its exponential map is bA K0(f), where tA is the isomorphism between K1(A) and K0(SA), and bA is the Bott map. Finally, using that every short exact sequence of C*-algebras can be seen as 0 Ker f B (f ) A 0, we prove that the connecting maps, d1 and d0, associated with a short exact sequence are given by dn = Kn+1(j)-1 Kn+1(i) hn, where j is the inclusion of f\'s kernel in Cf, i is the inclusion of the suspension SA in Cf, hn = bA e h1 = tA .

Homomorfismos de grafos são funções do conjunto de vértices de um grafo no conjunto de vértices de outro grafo que preservam adjacências. O estudo de homomorfismos de grafos é bastante abrangente, existindo muitas linhas de pesquisa sobre esse tópico. Nesta dissertação, apresentaremos resultados sobre homomorfismos de grafos relacionados a pseudo-aleatoriedade, convergência de seqüência de grafos e matrizes de conexão de invariantes de grafos. Esta linha tem se mostrado muito rica, não apenas pelos seus resultados, como também pelas técnicas utilizadas nas demonstrações. Em especial, destacamos a diversidade das ferramentas matemáticas que são usadas, que incluem resultados clássicos de álgebra, probabilidade e análise. / Graph homomorphisms are functions from the vertex set of a graph to the vertex set of another graph that preserve adjacencies. The study of graph homomorphisms is very broad, and there are several lines of research about this topic. In this dissertation, we present results about graph homomorphisms related to convergence of graph sequences and connection matrices of graph parameters. This line of research has been proved to be very rich, not only for its results, but also for the proof techniques. In particular, we highlight the diversity of mathematical tools used, including classical results from Algebra, Probability and Analysis.

Neste trabalho avaliou-se o comportamento estrutural do sistema misto madeira-concreto para tabuleiros de pontes, com ênfase na análise dinâmica dos conectores de cisalhamento, para dois tipos de conectores: \"vertical\" e em \"X\". Foram efetuadas duas principais abordagens, numérica e experimental, além de um amplo levantamento teórico sobre o tema com base na literatura disponível. Os ensaios experimentais foram realizados em corpos-de-prova de madeira como também em corpos-de-prova mistos e vigas mistas de madeira-concreto. Todos os corpos-de-prova e vigas foram submetidos a solicitações estáticas e dinâmicas, considerando-se os diversos materiais envolvidos na ligação. A análise numérica dos sistemas mistos foi efetuada com base no método dos elementos finitos, a partir da utilização do software ANSYS. Os resultados experimentais mostraram que ambos os sistemas de conexão perderam efetivamente rigidez para um total de 1 x \'10 POT.6\' ciclos de carga aplicados, sendo a maior parcela desta perda verificada para os ciclos iniciais. Além disso, o sistema de conexão \"vertical\" apresentou maior facilidade de execução quando comparado com o sistema de conexão em \"X\". A partir dos resultados numéricos constatou-se que a perda de rigidez ocorreu devido ao acúmulo do dano localizado nos materiais, nas regiões dos conectores. Os resultados numéricos mostraram uma boa concordância com os resultados experimentais. Para finalizar, foram propostos os valores dos níveis máximos e mínimos de carga cíclica, como também da frequência de excitação a serem utilizados nos ensaios dinâmicos para a verificação da rigidez dos sistemas mistos de conexão. / In this work was evaluated the structural behavior of log-concrete composite deck bridge system, with emphasis in the dynamic analysis of the shear connectors using two types of connectors: \"vertical\" and \"X\". Two main approaches were considered, numeric and experimental, besides a wide theoretical study about the theme with base in the available literature. The experimental studies were accomplished in specimens of wood, wood-concrete specimens and wood-concrete beams. All of the specimens and beams were subjected to static and dynamic loads considering several materials in the composed connection system. The numeric analyze of the composed systems was made with base in the method of the finite elements using the software ANSYS. The experimental results showed that both connection systems reduced stiffness really for 1 x \'10 POT.6\' applied load cycles, and the largest portion of this reduction happens in the initial cycles. Besides, the system of \"vertical\" connection presented larger execution easiness when compared with the system \"X\" connection. The numeric results showed that the reduced stiffness of the connection systems happened due to the accumulation of the located damage of the materials in the areas of the connectors. The numeric and experimental results comparison showed a good agreement. It was proposed values for the maximum and minimum levels of cyclical load, as well as for the frequency to be used in the dynamic tests for the verification of the reduced stiffness of the composite system of connection.

Made available in DSpace on 2014-06-11T19:22:20Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-11-23Bitstream added on 2014-06-13T18:48:54Z : No. of bitstreams: 1 guerra_ar_me_sjrp.pdf: 1397510 bytes, checksum: 0e030015689f28078d690836161a96f6 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / O objetivo deste trabalho é, a partir de uma análise comparativa entre as principais abordagens teóricas do estudo de Marcadores Discursivos (MDs) e da identificação de princípios elementares comuns a essas abordagens, especificar, e, assim, precisar, a definição de MDs da Gramática Textual-Interativa (GTI). Especificamente, o objetivo é levantar, no corpus selecionado, todas as unidades que preenchem os traços de um núcleo piloto definidor de MDs e, então: (i) definir funções específicas predominantemente textuais dessas unidades, como forma de especificação da variável articulação de segmentos do discurso; (ii) definir funções específicas predominantemente interacionais, como forma de especificação da variável orientação da interação (JUBRAN & KOCH, 2006); e (iii) identificar as diferentes formas morfossintáticas que funcionam como MDs e, então, possíveis correlações sistemáticas entre as formas e as (sub)funções dos MDs. A investigação teórica preliminar permitiu constatar que diferentes abordagens de MDs compartilham algum tipo de função conectiva. Com base nesse princípio da conectividade, foi especificada, e, em alguns aspectos, reformulada a definição de MDs da GTI. A parte da pesquisa referente à definição de subfunções predominantemente textuais evidenciou a necessidade de estabelecimento de critérios precisos de distinção entre seqüenciamento tópico e seqüenciamento frasal. A esse respeito, mostraram-se relevantes os seguintes critérios: (i) grau de integração sintática e semântico-pragmática entre o segmento e seu antecedente, (ii) grau de integração prosódica entre o segmento e seu antecedente, (iii) grau de relevância textual-interativa do segmento no interior do Segmento Tópico. Essa parte da análise permitiu distinguir três subfunções predominantemente textuais:... / This study aims at refining Textual-Interactive Grammar (TIG) definition of Discourse Markers (DMs) based on both a comparative analysis among the main theoretical approaches on DMs and on the identification of common principles within such theories. The investigation aims particularly at searching the corpus for all the units which match the features of a defining pilot core and then (i) defining these unitsþ predominantly textual functions as a way of specifying the discourse segments articulation variable; (ii) defining predominantly interactional functions as a way of specifying the interaction orientation variable (JUBRAN & KOCH, 2006); and (iii) identifying the different morfo-syntactic forms which function as DMs as well as possible systematic correlations between such forms and DMs (sub)functions. The preliminary theoretical investigation has shown that different approaches on DMs share some kind of connective function. TIG definition of DMs was stated and, in some aspects, reformulated according to this connective principle. The part of this investigation dealing with the definition of predominantly textual sub-functions evidenced the need to establishment accurate criteria in order to distinguish topical sequencing and clausal sequencing. As to this, the following criteria have proven to be relevant: (i) syntactic and semantic-pragmatic integration degree between the segment and its antecedent, (ii) prosodic integration degree between the segment and its antecedent, (iii) the textual-interactive relevance degree of the segment within the Topic Segment. This analysis showed the predominantly textual sub-functions: Introduction, Sequencing and Topic Segment Closing. The definition of predominantly/primarily interactional sub-functions implied a rearrangement of interaction orientation variable based on the connectivity principle what led to a proposal... (Complete abstract click electronic access below)