Seja f : T2 -> T2 um homeomorfismo homotópico a identidade e F : R2 -> R2 um levantamento de f tal que seu conjunto de rotação rho(F) é um segmento vertical não degenerado contido em 0 × R. Provamos que se f é ergódico com respeito a medida de Lebesgue no toro e se o vetor de rotação médio (com respeito a mesma medida) é da forma (0, alpha) para alpha em R\\Q então existe M > 0 tal que |(Fn (x) - x)1| <= M para todo x em R2 e n em Z (onde (.)1 :R2 -> R é definida por (x,y)1 =x). / Let f : T2 -> T2 be a homeomorphism homotopic to the identity and F : R2 -> R2 a lift of f such that the rotation set rho(F) is a non-degenerated vertical line segment contained in 0 × R. We prove that if f is ergodic with respect to the Lebesgue measure on the torus and the average rotation vector (with respect to same measure) is of the form (0, alpha) for alpha in R\\Q then there exists M > 0 such that |(Fn (x) - x)1| <= M for all x in R2 and n in Z (where (.)1 :R2 -> R is defined by (x, y)1 = x).

O TESTE baseado em modelos visa a possibilitar a derivação de conjuntos de casos de teste a partir de especificações formais, tais como Máquinas de Estados Finitos. Os conjuntos de teste podem ser obtidos tanto pelos métodos clássicos de geração quanto por alguma abordagem ad hoc. Procura-se obter um conjunto de teste que consiga detectar todos os possíveis defeitos de uma implementação e possua tamanho reduzido para que a sua aplicação seja factível. Por questões de ordem prática, pode não ser possível a aplicação de todo o conjunto de teste gerado. Desse modo, um subconjunto de casos de teste deve ser selecionado, ou seja, uma minimização do conjunto de teste deve ser realizada. No entanto, é fundamental que a minimização reduza o custo de aplicação dos testes, mas mantenha a efetividade em revelar defeitos. Neste trabalho, propõe-se um algoritmo de minimização de conjuntos de teste para Máquinas de Estados Finitos. O algoritmo baseia-se em condições de suficiência para que a completude em relação à detecção de defeitos seja mantida. O algoritmo foi utilizado em dois diferentes contextos. Utilizou-se o algoritmo com conjuntos de teste gerados de forma aleatória para verificar a minimização obtida. O algoritmo também foi utilizado para reduzir o esforço em se obter um conjunto completo em relação à detecção de defeitos / THE Model-based testing aims at generating test suites from formal specifications, such as Finite State Machines. Test suites can be obtained either from classical test derivation methods or from some ad-hoc approach. It is desirable to produce a test suite which detects all possible faults of an implementation and has small size, so that its application can be feasible. For practical reasons, the application of the generated test suite may not be possible. Therefore, a subset of test cases should be selected, i.e., a test suite minimization should be performed. However, it is important that the minimization reduces the test application cost, but keeps the effectiveness in revealing faults. In this work, an algorithm is proposed for the minimization of test suites generated from Finite State Machines. The algorithm is based on sufficient conditions, so that test suite completeness can be maintained. The algorithm was used in two different contexts. It was used with randomly generated test suites to verify the minimization obtained. The algorithm was also used to reduce the effort of obtaining a test suite with full fault coverage

Neste trabalho obtemos que o espaço dos invariantes locais do tipo Vassiliev de primeira ordem de aplicações estáveis de 3-variedade fechada orientada em \' R POT. 4\' é 4-dimensional. Damos uma interpretação geométrica para 2 dos 4 geradores deste espaço, a saber, \'I IND. Q\' o número de pontos quádruplos e \'I IND. C / P\' o número de pares de pontos do tipo crosscap/plano, da imagem de uma aplicação estável. Ao reduzir o espaço das aplicações para o das imersões esáaveis, obtemos que o espaço dos invariantes locais de imersões estáveis é 3-dimensional. Os invariantes que obtemos são: \'I IND. Q\' o número de pares de pontos quádruplos da imagem de uma imersão estável e dois índices de interseção \'I IND. I\'`+ e \'I IND. l\' introduzidos por V. Goryunov em [15]. Como início de um estudo que almejamos realizar sobre a geometria de uma m-variedade em \'R POT. m+1\' com singularidades, obtemos os tipos de contatos genéricos da suspensão do crosscap (única singularidade estavel de \'R POT. 3\' em \'R POT. 4\' ) com hiperplanos de \'R POT.4\' / In this work we obtain that the space of first order local Vassiliev type invariants of stable maps of oriented 3-manifolds in \'R POT. 4\' is 4-dimensional. We give a geometric interpretation for two of the four generators of this space, namely, \'I IND. Q\' the number of quadruple points and \'I IND. C / P\' the number of pairs of points of crosscap/plane type, of the image of a stable map. In the case of stable immersions, we obtain that the space of local invariants of stable immersions is 3-dimensional. The invariants that we obtain are: \'I IND. Q\' the number of pairs of quadruple points of the image of a stable immersion and the positive and negative linking invariants \'I IND. I`+ and I\'I IND., l\' introduced by V. Goryunov in [15]. As a beging of a study that we want to realise about the geometry of a m-manifold in \'R POT. m+1\' with singularities, we obtain the generic contacts of the suspension of crosscap (the only stable singularity from \'R POT. 3\' to \'R POT. 4\') with hyperplanes of \'R POT. 4\'

Este trabalho aborda a atuação da Companhia Metropolitana de Habitação de São Paulo COHAB-SP, em vários momentos de sua história, observando mudanças que sofreu desde que foi constituída, como agente promotor do SFH, até hoje. E foca mais suas observações no desempenho desse órgão na esfera da provisão habitacional e no período 2001-2004, quando participou da implementação de uma política habitacional marcada por diferenças significativas em relação àquelas dos períodos precedentes. Diferenças que se verificaram no desenvolvimento de novas tipologias de projeto (terrenos menores e mais centrais, reforma de prédios, etc.), na implantação de novos programas habitacionais (moradia na área central, locação social, bolsa aluguel, etc.), na sua consolidação como agente operador do Fundo Municipal de Habitação, no papel ativo que desempenhou na busca de novas fontes de recursos (Ministério das Cidades (PSH e PEHP), CEF/PAR, CDHU, BID, etc) e em uma maior interlocução com movimentos e associações comunitárias. Este trabalho busca compreender potencialidades e limitações dessa Companhia, na solução dos problemas de habitação para população de baixa renda em sua área de abrangência, mas, sobretudo, no Município de São Paulo, onde tem um papel relevante, dentre os vários órgãos de provisão habitacional. / This thesis examines the experience of the Metropolitan Housing Agency of the city of São Paulo (COHAB-SP, for its name in Portuguese) in different periods of its history and detects changes that took place since its origin, as an agent of the Brazilian Housing Finance System (SFH, for its name in Portuguese), until the present day. It focuses mainly on this agencys performance in the provision of housing and on the period of 2001-2004, when it implemented a housing policy which represented a significant departure from past practice. These differences may be observed in new project typologies (smaller and more centrally located plots, building reform, etc.) and new housing programs (central-area housing, public rental housing, rent subsidies, etc.), as it asserted its role as an operational agent of the Municipal Housing Fund, in the active pursuit of new funding sources (Ministry of Cities; CEF, the federal governments savings bank; IDB, etc.) and a greater dialogue with social movements and community organizations. The research attempts to determine the potentialities and limitations of the agency in the solution of problems related to the provision of low-income housing in its metropolitan sphere of influence, but mainly in the city of São Paulo, where it plays an important role among the different agencies involved in the provision of housing.

A presente pesquisa trata do entendimento sobre o modo de pensar o projeto de arquitetura para habitações coletivas através da visão de quatro arquitetos em projetos na comunidade de Heliópolis, São Paulo, entre 1990 e 2014. Compreender questões relativas ao projeto: leitura do terreno e contexto; análise do programa de necessidades; entendimento da legislação; definição de materiais e técnicas construtivas, definindo assim estratégias de projeto por estes profissionais. No início da década de 1980, o processo de redemocratização do país, criava um ambiente favorável para melhores condições de vida as populações residentes em áreas irregulares. Em São Paulo várias ações foram desenvolvidas ao longo do tempo pelo poder público para enfrentamento da questão habitacional através de programas como o PRO-FAVELA, PROVER e Urbanização de Favelas. Com diversos projetos de habitação de interesse social implantados, Heliópolis, na região sudeste da capital, é a maior favela do município e reúne um conjunto de obras que representam diferentes alternativas na busca por soluções à questão habitacional. Foram selecionados como estudo de caso para a pesquisa o Conjunto Habitacional Almirante Delamare (1992) autoria de Luis Espallargas Gimenez; Conjunto Habitacional Gleba A - Quadra O e Quadra 1 (2007) e o Conjunto Habitacional Gleba H (2013) ambos de autoria de Vigliecca & Associados; Residencial Comandante Taylor (2012), autoria de Piratininga Arquitetos Associados e por fim o Conjunto Habitacional Heliópolis (Juntas Provisórias) - Gleba G (2014), de autoria do escritório Biselli Katchborian Arquitetos., sendo estes apresentados por meio de plantas, textos e fotos para a compreensão destas diferentes visões sobre Habitação Coletiva de Interesse Social. / The present research deals The The present research deals with the understanding about the way of thinking of the architecture project for collective housing through the vision of four architects in projects in the community of Heliópolis, São Paulo, between 1990 and 2014. Understand issues related to the project: reading the terrain and context ; needs program analysis; understanding of legislation; definition of materials and constructive techniques, thus defining project strategies by these professionals. In the early 1980s, the country\'s redemocratization process created a favorable environment for better living conditions for people living in irregular areas. In São Paulo, several actions have been developed over time by the public power to face the housing issue through programs such as PRO-FAVELA, PROVER and Urbanization of Slums. With several social housing projects in place, Heliopolis, in the southeast of the capital, is the largest slum in the city and it includes a set of works that represent different alternatives in the search for solutions to the housing issue. We selected as case study for the study the Housing Set Almirante Delamare (1992) authored by Luis Espallargas Gimenez; Housing Set Gleba A - Quadra O and Quadra 1 (2007) and the Housing Set Gleba H (2013) both authored by Vigliecca & Associados; Residencial Comandante Taylor (2012), authored by Piratininga Associated Architects and finally the Heliopolis Housing Set (Provisional Joints) - Gleba G (2014), authored by the Biselli Katchborian Architects office, being presented through plants, texts and photos to understand these different views on Collective Housing of Social Interest.

Esta dissertação tem por objetivo a apresentação de um estudo em espaços de Banach sobre os conjuntos nos quais determinados polinômios homogêneos contínuos são fracamente sequencialmente contínuos. Algumas propriedades desses conjuntos são estudadas e ilustradas com exemplos, em maior parte no espaço $l_p$. Obtemos um fórmula para o conjunto de continuidade sequencial fraca do produto de dois polinômios e algumas consequências. Resultados mais fortes são obtidos quando restringimos nossos espaços de Banach a espaços com FDD incondicional e/ou separáveis. Os resultados estudados aqui foram obtidos por R. Aron e V. Dimant em: Aron, R. & Dimant, V., Sets of weak sequential continuity for polynomials, Indag. Mathem., N.S., 13 (3) (2002), 287-299. / This work has the purpose of presenting a study on Banach spaces about sets in which determined homogeneous continuous polynomials are weakly sequentially continuous. Some properties of these sets are studied and illustrated with examples, most in the space $l_p$. We obtain a formula for the weak sequential continuity set of the product of two polynomials, and some consequences. Stronger results are obtained when we restrict our Banach spaces to spaces with unconditional FDD and/or separable. The results studied here were obtained by R. Aron and V. Dimant in: Aron, R. & Dimant, V., {Sets of weak sequential continuity for polynomials, Indag. Mathem., N.S., 13 (3) (2002), 287-299.

A necessidade de uma diversificação da matriz energética acelerou a busca por fontes energéticas renováveis em face do esgotamento dos combustíveis fósseis. Nesse panorama, o governo brasileiro lançou o Plano Nacional de Produção e Uso de Biodiesel (PNPB), com o objetivo de introduzir um biocombustível aderente as condições edafoclimáticas do País e que tivesse como principio a inclusão social da agricultura familiar e o desenvolvimento regional. Nesse contexto, o objetivo desse trabalho é avaliar a eficácia do PNPB quanto à sua meta de inclusão dos agricultores familiares mais pobres na cadeia produtiva do biodiesel tocantinense, bem como estimar se a produção de soja para fins bioenergéticos gera aos agricultores familiares renda superior aos rendimentos provenientes dos outros plantios tradicionais do segmento no Brasil, assim como determinar e avaliar os impactos ambientais e sobre a segurança alimentar provenientes do cultivo da soja. Para a elaboração do presente estudo foram utilizados dados primários, obtidos mediante a aplicação de questionários, junto a 30 famílias produtoras de soja e 32 famílias não produtoras da oleaginosa, localizadas em 9 municípios do Centro do Tocantins, onde através de dados quantitativos e qualitativos coletados, a partir da teoria dos conjuntos fuzzy, foi elaborado um indicador de pobreza multidimensional para as famílias, por sua vez utilizado para estimar via modelo econométrico probit a probabilidade das famílias relativamente mais pobres terem sido inseridas na cadeia produtiva do biodiesel no estado. Os resultados apontaram que o PNPB não foi capaz de incluir as famílias mais pobres na cadeia produtiva, na verdade reduziu as probabilidades dessas famílias serem incluídas e que os determinantes dessa exclusão são reflexo da própria debilidade em se produzir biodiesel através da soja onde não há um complexo consolidado da oleaginosa. Além disso, a soja não foi capaz de gerar renda superior às culturas tradicionais, sobretudo, dada as perdas produtivas enfrentadas pelos agricultores ocasionadas pelo plantio tardio da oleaginosa, decorrente esse da lentidão na liberação do financiamento para ocorrido para a safra 2011/12. Já com relação as impactos ambientais, apesar do cultivo da soja apresentar os impactos nocivos já esperados e conhecidos sobre o bioma do Cerrado, o modelo de mudança no uso da terra adotado pelas famílias mitigou parte desses efeitos esperados. Os resultados também indicaram, quanto as dimensões de acesso e disponibilidade de alimentos, que a adoção da cultura da soja não afetou os níveis de segurança alimentar das famílias pesquisadas. Por fim, o presente trabalho concluiu que o PNPB não é eficaz como uma política que de fato contribui para o fenômeno da inclusão social, uma vez que não insere na cadeia produtiva os agricultores familiares relativamente mais pobres e eventualmente excluídos da sociedade e que particularmente necessitariam de maiores oportunidades para serem incluídos socialmente. / The need for diversification of energy sources has accelerated the search for renewable sources, in the face of fossil fuel depletion. In this panorama, the Brazilian government launched the National Plan for Production and Use of Biodiesel (PNPB), with the aim of introducing an adherent biofuel to climatic conditions of the country and it had as a principle of social inclusion of family agriculture and regional development. In this context, the aim of this study is to evaluate the effectiveness of PNPB as to its goal of inclusion of the poorest farmers in the biodiesel production chain of Tocantins, as well as if the production of soybeans for bioenergy purposes generates higher income to family farmers compared to the traditional family plantings income in Brazil, and identify and assess the environmental impacts and impacts on food security from the cultivation of soybeans. Were used primary data through questionnaires, along with 30 soybean producing families and 32 non-producing families of oilseeds, located in 9 counties in the Central Tocantins, where through quantitative and qualitative data was drawn an indicator of multidimensional poverty to families, from the theory of fuzzy sets in turn used to estimate via probit econometric model, the probability of relatively poorer families make part of the Tocantins biodiesel production chain. The results showed that the PNPB was not able to include the poorest families in the bioiesel supply chain, and reduced the odds of these families are included, and that the determinants of this exclusion are reflective of weakness of producing soy biodiesel in an environment where there not a consolidated soybean complex. Moreover the soybean was not able to generate higher income than traditional crops, especially given the productive losses suffered by farmers, caused by late planting of soybeans, result of the slow release of funding for the 2011/2012 season. Regarding the environmental impacts, despite the cultivation of soybeans have adverse impacts already expected on the Cerrado biome, the pattern of change in land use adopted by households was able to mitigate such expected effects. The results also indicated, in dimensions of access and availability of food, that the adoption of soybean did not affect the levels of food security of the families surveyed. Finally, this study concluded that PNPB is not a effective public policy that contributes to inclusion, since it does not enter the production chain the relatively poorer farmers and eventually excluded from society and that particularly require greater opportunities to be socially included.

A presente pesquisa trata do entendimento sobre o modo de pensar o projeto de arquitetura para habitações coletivas através da visão de quatro arquitetos em projetos na comunidade de Heliópolis, São Paulo, entre 1990 e 2014. Compreender questões relativas ao projeto: leitura do terreno e contexto; análise do programa de necessidades; entendimento da legislação; definição de materiais e técnicas construtivas, definindo assim estratégias de projeto por estes profissionais. No início da década de 1980, o processo de redemocratização do país, criava um ambiente favorável para melhores condições de vida as populações residentes em áreas irregulares. Em São Paulo várias ações foram desenvolvidas ao longo do tempo pelo poder público para enfrentamento da questão habitacional através de programas como o PRO-FAVELA, PROVER e Urbanização de Favelas. Com diversos projetos de habitação de interesse social implantados, Heliópolis, na região sudeste da capital, é a maior favela do município e reúne um conjunto de obras que representam diferentes alternativas na busca por soluções à questão habitacional. Foram selecionados como estudo de caso para a pesquisa o Conjunto Habitacional Almirante Delamare (1992) autoria de Luis Espallargas Gimenez; Conjunto Habitacional Gleba A - Quadra O e Quadra 1 (2007) e o Conjunto Habitacional Gleba H (2013) ambos de autoria de Vigliecca & Associados; Residencial Comandante Taylor (2012), autoria de Piratininga Arquitetos Associados e por fim o Conjunto Habitacional Heliópolis (Juntas Provisórias) - Gleba G (2014), de autoria do escritório Biselli Katchborian Arquitetos., sendo estes apresentados por meio de plantas, textos e fotos para a compreensão destas diferentes visões sobre Habitação Coletiva de Interesse Social. / The present research deals The The present research deals with the understanding about the way of thinking of the architecture project for collective housing through the vision of four architects in projects in the community of Heliópolis, São Paulo, between 1990 and 2014. Understand issues related to the project: reading the terrain and context ; needs program analysis; understanding of legislation; definition of materials and constructive techniques, thus defining project strategies by these professionals. In the early 1980s, the country\'s redemocratization process created a favorable environment for better living conditions for people living in irregular areas. In São Paulo, several actions have been developed over time by the public power to face the housing issue through programs such as PRO-FAVELA, PROVER and Urbanization of Slums. With several social housing projects in place, Heliopolis, in the southeast of the capital, is the largest slum in the city and it includes a set of works that represent different alternatives in the search for solutions to the housing issue. We selected as case study for the study the Housing Set Almirante Delamare (1992) authored by Luis Espallargas Gimenez; Housing Set Gleba A - Quadra O and Quadra 1 (2007) and the Housing Set Gleba H (2013) both authored by Vigliecca & Associados; Residencial Comandante Taylor (2012), authored by Piratininga Associated Architects and finally the Heliopolis Housing Set (Provisional Joints) - Gleba G (2014), authored by the Biselli Katchborian Architects office, being presented through plants, texts and photos to understand these different views on Collective Housing of Social Interest.

Made available in DSpace on 2016-04-04T18:21:41Z (GMT). No. of bitstreams: 1 Raquel Nopper Alves-1.pdf: 3396250 bytes, checksum: eed3ff2ba5cf86b1a6e05f85363b2cdf (MD5) Previous issue date: 2007-06-25 / This work aims to study the open spaces in the Municipal District of Campinas: how they are being used by population and how it s improving the environment. In order to do that, it was chosen for study a part of the east area of the district, where there are five lower and media power habitational sets with it s respective free area systems. In this way, we have a link between the character of use of these areas, along with it s intensity of use and the ecological contribution that they offer to the Municipal District. Annexed to this study there is too an analysis of how the public power of Campinas is acting and planning it s open space systems. / Este trabalho visa estudar os espa?os livres: como s?o utilizados pela popula??o e como contribuem com o Meio Ambiente no Munic?pio de Campinas. Para isto, fez-se um recorte na zona oeste de Campinas, onde estuda-se 5 conjuntos habitacionais de m?dia e baixa renda e seus respectivos sistemas de espa?os livres. Assim, relaciona-se o car?ter desses espa?os com suas intensidades de uso e com a contribui??o ecol?gica que oferecem ao munic?pio. Agregado a este estudo analisa-se tamb?m a forma como o poder p?blico municipal de Campinas v?m atuando e planejando seu sistema de espa?os livres.

Quando o negócio da empresa gira em torno de um produto extremamente técnico, como no caso da aviação, inevitavelmente as diversas incertezas em cada fase também precisam ser avaliadas na profundidade exigida pelo produto. Inevitavelmente, ferramentas antes utilizadas no projeto detalhado passam por adequação para o uso antecipado nas fases de concepção do produto. Então, abordando parte do processo de concepção de uma aeronave, este trabalho traz um estudo de caso onde ferramentas de engenharia são aplicadas de forma extremamente prática, vislumbrando o entendimento das possíveis restrições técnicas para prever a viabilidade estrutural de um conceito proposto. O estudo apresenta um ciclo de projeto e análise estrutural de pilone em projeto conceitual de uma aeronave com conjunto propulsivo no cone de cauda. Ao início foi desenvolvida uma metodologia simplificada para obtenção dos carregamentos na região em estudo. Ao longo do trabalho foram realizadas análises pelo Método dos Elementos Finitos nos programas Catia V5 e Nastran for Windows. Por fim, diversas disposições estruturais de pilone em alumínio foram propostas e analisadas, concluindo em uma estrutura final eficiente que servirá para as próximas fases do projeto da aeronave.