Submitted by Milenna Moraes Figueiredo (milennasjn@gmail.com) on 2016-03-21T18:27:37Z No. of bitstreams: 1 2013-03-CassiaBeckel.pdf: 3043262 bytes, checksum: b4d8ecc2f5cd3190b2764693ce30f76a (MD5) / Rejected by Angelica Conceição Dias Miranda (angelicacdm@gmail.com), reason: Alterar 160 p. para 160 f. (Utilizamos folhas páginas seriam para livros) Fazer correções na Citação: como está - BECKEL, Cássia Cris. Heurística construtiva para o empacotamento de elipses tangentes em um polígono de n lados. 2013. 160p. Dissertação (Mestrado em Modelagem Computacional) - Programa de Pós-Graduação em Modelagem Computacional. Universidade Federal do Rio Grande, Rio Grande, 2013. Como deve ser - BECKEL, Cássia Cris. Heurística construtiva para o empacotamento de elipses tangentes em um polígono de n lados. 2013. 160 f. Dissertação (Mestrado em Modelagem Computacional) - Centro de Ciências Computacionais, Universidade Federal do Rio Grande, Rio Grande, 2013. Atenciosamente Equipe Revisão RI. on 2016-04-26T19:46:13Z (GMT) / Submitted by Milenna Moraes Figueiredo (milennasjn@gmail.com) on 2016-04-26T21:09:45Z No. of bitstreams: 1 2013-03-CassiaBeckel.pdf: 3043262 bytes, checksum: b4d8ecc2f5cd3190b2764693ce30f76a (MD5) / Rejected by Gilmar Barros (gilmargomesdebarros@gmail.com), reason: - Não foi colocado o nome do co-orientador. - Não foi colocado “ponto final” na citação. on 2016-04-27T12:24:49Z (GMT) / Submitted by Milenna Moraes Figueiredo (milennasjn@gmail.com) on 2016-04-27T17:31:32Z No. of bitstreams: 1 2013-03-CassiaBeckel.pdf: 3043262 bytes, checksum: b4d8ecc2f5cd3190b2764693ce30f76a (MD5) / Approved for entry into archive by Gilmar Barros (gilmargomesdebarros@gmail.com) on 2016-04-27T17:55:18Z (GMT) No. of bitstreams: 1 2013-03-CassiaBeckel.pdf: 3043262 bytes, checksum: b4d8ecc2f5cd3190b2764693ce30f76a (MD5) / Made available in DSpace on 2016-04-27T17:55:18Z (GMT). No. of bitstreams: 1 2013-03-CassiaBeckel.pdf: 3043262 bytes, checksum: b4d8ecc2f5cd3190b2764693ce30f76a (MD5) Previous issue date: 2013 / Problemas de corte e empacotamento estão presentes em diversos setores da industria, e o estudo destes problemas propicia oportunidades de colaboração entre os setores acadêmicos e industrial, com vistas a que se obtenham benefícios para ambos, contribuindo para a sociedade como um todo. Entre os setores industriais nos quais surgem problemas de corte e empacotamento estão as industrias têxtil, automotiva, portuária, lapidaria, entre outras. O presente trabalho tem como objetivo elaborar uma metodologia analítica e computacional com a qual seja possível encontrar uma solução viável para o problema de empacotamento de elipses, sendo idênticas ou não, sem sobreposição e tangentes a cada vértice e quadrante de uma elipse inicial inscrita em um polígono irregular de n lados. A metodologia analítica e computacional desenvolvida visa obter a maximização da área total das elipses empacotadas e a minimização do tempo de processamento computacional. Destaca-se a aplicabilidade das transformações em R2 para obter as novas equações paramétricas das elipses com centro deslocado da origem e rotacionadas em relação ao sistema de eixos cartesianos original. A heurística que realiza a verificação da inscrição de cada elipse, baseia-se em uma modificação da função inpolygon do software Matlab [34], de maneira que garante o empacotamento total das elipses no polígono. Para validar a heurística construtiva utilizaram-se 7 polígonos e com os resultados obtidos em cada simulação foi possível encontrar a função exponencial, através de um ajuste de curva, que descreve o comportamento da simulação.

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Etsadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-27T20:17:27Z (GMT). No. of bitstreams: 1 ErtolaBiraben_RodolfoCristian_D.pdf: 6541731 bytes, checksum: 679633ee0bf6443f0e2e45097736869c (MD5) Previous issue date: 2001 / Resumo: Nesta Tese examinamos algumas questões relacionadas com o conceito de função computável. Entre as análises destacamos um estudo de uma objeção às definições habituais desse conceito, quanto ao caráter construtivo do mesmo. Desenvolvemos uma teoria de computabilidade onde são distinguidas as noções de auto-referência e automodificação. Além disso, estudamos uma reformulação da Tese de Turing-Church, devida a Yiannis Moschovakis / Abstract: In this Thesis we examine some problems related to the concept of computable function. In particular, we present an analysis of an objection to the usual definition as regards its constructive contentoWe also develop computability theory distinguishing selfreference and self-modification and we make an evaluation of a reformulation of Turing- Church Thesis by Yiannis Moschovakis / Doutorado / Doutor em Filosofia

O trabalho propõe uma Metodologia para implantação de tecnologias construtivas racionalizadas na produção de edifícios pelo processo construtivo tradicional, objetivando a evolução tecnológica do processo de produção. Inicialmente, os conceitos relacionados ao desenvolvimento e a implantação de tecnologias construtivas racionalizadas são apresentados e discutidos. Na seqüência, discutem-se as estratégias que as empresas tem utilizado para atuarem num mercado altamente competitivo. E, completando os fundamentos do trabalho, apresentam-se e analisam-se os modelos para implantação de inovações tecnológicas na indústria seriada e da construção civil. A partir desse quadro referencial, propõe-se uma metodologia para implantação de tecnologias construtivas racionalizadas, fundamentada em um conjunto de diretrizes balizadoras e numa estratégia de ação. As diretrizes contemplam a organização da empresa, o processo de projeto, a documentação, os recursos humanos e o controle do processo de produção; enquanto a estratégia de ação contém uma sugestão de como conduzir o processo de implantação no interior da organização. Finalmente, realiza-se uma análise das ações de empresas de construção ao introduzirem mudanças tecnológicas na construção de edifícios, concluindo-se pela importância de se empregar uma adequada metodologia para a condução do processo de implantação de Tecnologias Construtivas Racionalizadas. / This thesis proposes a model to introduce innovative Technologies into the traditional building construction with the purpose of achieving the continuous improvement in building construction. Firstly, the main concepts related to development and introduction of innovative technologies are presented and discussed. Then, the building construction companies organization and the majors strategies to increase their effectiveness are presented and analysed. The work discusses available models used for introducing innovation processes in the manufacturing and the construction industries in order to identify the barriers and key factors to introduce the innovative technologies. Based on this framework, it is proposed a model including guidelines related to companies organization, design process, process of documentation, human resources development and the control of production process. Finally, the companies actions about the introduction of innovative technologies are analysed. This shows that the correct development and use of a capable formal approach does help introducing innovative technologies into the building construction.

O trabalho propõe uma Metodologia para implantação de tecnologias construtivas racionalizadas na produção de edifícios pelo processo construtivo tradicional, objetivando a evolução tecnológica do processo de produção. Inicialmente, os conceitos relacionados ao desenvolvimento e a implantação de tecnologias construtivas racionalizadas são apresentados e discutidos. Na seqüência, discutem-se as estratégias que as empresas tem utilizado para atuarem num mercado altamente competitivo. E, completando os fundamentos do trabalho, apresentam-se e analisam-se os modelos para implantação de inovações tecnológicas na indústria seriada e da construção civil. A partir desse quadro referencial, propõe-se uma metodologia para implantação de tecnologias construtivas racionalizadas, fundamentada em um conjunto de diretrizes balizadoras e numa estratégia de ação. As diretrizes contemplam a organização da empresa, o processo de projeto, a documentação, os recursos humanos e o controle do processo de produção; enquanto a estratégia de ação contém uma sugestão de como conduzir o processo de implantação no interior da organização. Finalmente, realiza-se uma análise das ações de empresas de construção ao introduzirem mudanças tecnológicas na construção de edifícios, concluindo-se pela importância de se empregar uma adequada metodologia para a condução do processo de implantação de Tecnologias Construtivas Racionalizadas. / This thesis proposes a model to introduce innovative Technologies into the traditional building construction with the purpose of achieving the continuous improvement in building construction. Firstly, the main concepts related to development and introduction of innovative technologies are presented and discussed. Then, the building construction companies organization and the majors strategies to increase their effectiveness are presented and analysed. The work discusses available models used for introducing innovation processes in the manufacturing and the construction industries in order to identify the barriers and key factors to introduce the innovative technologies. Based on this framework, it is proposed a model including guidelines related to companies organization, design process, process of documentation, human resources development and the control of production process. Finally, the companies actions about the introduction of innovative technologies are analysed. This shows that the correct development and use of a capable formal approach does help introducing innovative technologies into the building construction.

O trabalho propõe uma metodologia de produção de contra pisos para edifícios residenciais e comerciais, envolvendo a dosagem racional da argamassa, a técnica de execução e as diretrizes para a elaboração do projeto e para a implantação do controle da produção. Para isto, realizou-se, uma síntese da evolução do subsistema piso desde o início do século até os dias atuais, abordando uma de suas camadas - o contrapiso, para o qual destacou-se as suas funções e propriedades. Além disto, foram estudadas as características de produção do contrapiso enfocando-se as argamassas, as técnicas de execução e os procedimentos de controle recomendados pela bibliografia. Com base na bibliografia realizou-se um trabalho experimental em canteiros de obra e em laboratório buscando-se conhecer as atuais condições de execução do contrapiso no Brasil, e as fases de produção passíveis de serem alteradas, buscando uma produção racionalizada. O trabalho, após a implantação da metodologia em caráter experimental, conclui com a constatação de que ha uma necessidade premente de desenvolvimento de tecnologias construtivas adequadas a realidade nacional, voltadas a produção de edifícios pelo processo convencional e que tais tecnólogias deverão estar aliadas a elaboração do projeto dos diversos subsistemas do edifício e a implantação de específicos procedimentos de controle do processo de produção. / A brief description of the evolution of the floor sub-system for buildings since the beginning of this century is presented. The layers of the floor are characterized with emphasis on the functions and properties of the screed layer. Based on a literature review, the characteristics of the screed layer are analysed as well as the mix design, production techniques and quality control procedures. The experimental work was carried out both in the laboratory and at the working site in order to know better the present screed layer production conditions in Brazil, aiming to improve them. From the experimental work, a screed production methodology for housing and commercial buildings is proposed and consists of: - the production techniques taking into account the Brazilian conditions; - the floor sub-system design guidelines; - the on-site quality control methodology. This methodology was applied on experimental basis. The conclusion is that the development of building technologies taking into account the actual site conditions is important for improvement of the construction industry in Brazil. Moreover, these technologies must be consistent with the design procedures of the different building sub-systems and also with the procedures of the buildings production control.

Atualmente os sistemas computacionais mais sofisticados são aqueles que apresentam imagens gráficas. Devido às características de alta velocidade de processamento e excelente resultado na geração de imagens o uso da Computação Gráfica se dá em diversas áreas como a indústria, pesquisa, publicidade, entretenimento, medicina, treinamento, dentre outras. Este trabalho aborda dois assuntos clássicos na Computação Gráfica, Geometria Sólida Construtiva (CSG) e Sombras Projetadas. Ambos são muito importantes para esta linha de pesquisa da Ciência da Computação. A Geometria Sólida Construtiva é utilizada na modelagem de objetos e as sombras projetadas são necessárias para aumentar o realismo das imagens. Geometria sólida construtiva (CSG) é uma técnica para a modelagem de sólidos, que define sólidos complexos pela composição de sólidos simples (primitivas). Isso inclui também a composição de objetos já combinados, até que se chegue a um objeto mais complexo. Um fator muito importante e necessário na obtenção de imagens realistas e que deve ser considerado é a utilização de sombras, pois estas são eficazes no realismo e impressão espacial de objetos tridimensionais. As sombras estabelecem diversos níveis de profundidade na imagem, fazem uma pontuação geométrica na cena de modo a evitar que os objetos não pareçam estar flutuando no ar. Este trabalho consiste em apresentar uma proposta para a geração de sombras em objetos modelados pela Geometria Sólida Construtiva. Para tanto foram estudados os assuntos referentes à modelagem de objetos por CSG, algoritmos para a geração de sombras “bem delimitadas” e formas de gerar sombras na Geometria Sólida Construtiva. O processo de geração de sombras em cenas modeladas por CSG, através da aplicação das mesmas operações booleanas envolvidas na modelagem dos objetos, sobre as sombras nem sempre apresenta resultados corretos. Diante disso, foram investigadas outras formas de solucionar o problema. Dentre estas, uma alternativa é a realização de transformações na árvore binária CSG, através de outras operações, envolvendo o uso de complemento com operações de união e interseção, para a modelagem do objeto e geração da sombra correspondente. Com base nos estudos realizados foram implementados dois protótipos que exibem a sombra projetada de objetos modelados por CSG. Na implementação do protótipo A utilizaram-se as técnicas tradicionais de modelagem de sólidos e sombra projetada. Os resultados obtidos com este protótipo serviram de referência. No protótipo B os resultados foram obtidos através da aplicação da zona ativa das primitivas na modelagem dos objetos e a sombra é projetada durante o processo de avaliação de contornos do sólido. Os resultados obtidos com este protótipo são comparados com os resultados do protótipo A e são apresentados como forma de exibir a aplicação do método proposto.

Atualmente os sistemas computacionais mais sofisticados são aqueles que apresentam imagens gráficas. Devido às características de alta velocidade de processamento e excelente resultado na geração de imagens o uso da Computação Gráfica se dá em diversas áreas como a indústria, pesquisa, publicidade, entretenimento, medicina, treinamento, dentre outras. Este trabalho aborda dois assuntos clássicos na Computação Gráfica, Geometria Sólida Construtiva (CSG) e Sombras Projetadas. Ambos são muito importantes para esta linha de pesquisa da Ciência da Computação. A Geometria Sólida Construtiva é utilizada na modelagem de objetos e as sombras projetadas são necessárias para aumentar o realismo das imagens. Geometria sólida construtiva (CSG) é uma técnica para a modelagem de sólidos, que define sólidos complexos pela composição de sólidos simples (primitivas). Isso inclui também a composição de objetos já combinados, até que se chegue a um objeto mais complexo. Um fator muito importante e necessário na obtenção de imagens realistas e que deve ser considerado é a utilização de sombras, pois estas são eficazes no realismo e impressão espacial de objetos tridimensionais. As sombras estabelecem diversos níveis de profundidade na imagem, fazem uma pontuação geométrica na cena de modo a evitar que os objetos não pareçam estar flutuando no ar. Este trabalho consiste em apresentar uma proposta para a geração de sombras em objetos modelados pela Geometria Sólida Construtiva. Para tanto foram estudados os assuntos referentes à modelagem de objetos por CSG, algoritmos para a geração de sombras “bem delimitadas” e formas de gerar sombras na Geometria Sólida Construtiva. O processo de geração de sombras em cenas modeladas por CSG, através da aplicação das mesmas operações booleanas envolvidas na modelagem dos objetos, sobre as sombras nem sempre apresenta resultados corretos. Diante disso, foram investigadas outras formas de solucionar o problema. Dentre estas, uma alternativa é a realização de transformações na árvore binária CSG, através de outras operações, envolvendo o uso de complemento com operações de união e interseção, para a modelagem do objeto e geração da sombra correspondente. Com base nos estudos realizados foram implementados dois protótipos que exibem a sombra projetada de objetos modelados por CSG. Na implementação do protótipo A utilizaram-se as técnicas tradicionais de modelagem de sólidos e sombra projetada. Os resultados obtidos com este protótipo serviram de referência. No protótipo B os resultados foram obtidos através da aplicação da zona ativa das primitivas na modelagem dos objetos e a sombra é projetada durante o processo de avaliação de contornos do sólido. Os resultados obtidos com este protótipo são comparados com os resultados do protótipo A e são apresentados como forma de exibir a aplicação do método proposto.

Made available in DSpace on 2014-06-12T16:26:06Z (GMT). No. of bitstreams: 2 arquivo181_1.pdf: 10438983 bytes, checksum: 805c19988d951044c0aaee04d39c473c (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Este trabalho procura demonstrar as repercussões da arquitetura dita brutalista em meados dos anos 1960 a 1980 indicando de que forma os arquitetos pernambucanos utilizaram e adaptaram esses componentes e nuances construtivos em voga a partir dessa nova sensibilidade construtiva do pós-guerra. Além da historiografia sobre o período indicado, foram utilizados conceitos de teóricos da modernidade como Adolf Loos; John Ruskin; Louis Sullivan e Gottfried Semper, e de autores contemporâneos como David Leatherbarrow, Kenneth Frampton e Gevork Hartoonian. A partir de 1966, os arquitetos locais passam a utilizar aspectos dessa nova sensibilidade construtiva, influenciados tanto pela arquitetura internacional e paulista quanto por Delfim Amorim e por Acácio Borsoi, arquitetos que desde a década anterior tinham estabelecido às bases da arquitetura moderna pernambucana, essa arquitetura dita brutalista se estabelece na produção local até meados de 1980, quando novas posições e materiais passam a ser utilizados deixando de lado essa exploração pelo concreto, pelo saber fazer e pelos materiais utilizados de forma rudimentar. A dissertação analisa essa produção arquitetônica por meio das novas formas de organizar plantas e espaços internos, pela plástica e jogos volumétricos, pela justaposição e tessitura dos materiais e pela desenvoltura dos sistemas estruturais

Made available in DSpace on 2014-06-12T16:29:21Z (GMT). No. of bitstreams: 2 arquivo4892_1.pdf: 3605327 bytes, checksum: d3d05451c6a4dec41a36627bd135d2fc (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003 / O objetivo principal deste trabalho é desenvolver uma metodologia que permita utilizar as principais técnicas geodésicas e topográficas para empregá-las nas obras urbanas de pequeno e médio portes de construção de edifícios; contribuindo para a melhoria de qualidade em seus processos de racionalização construtiva, para o controle dimensional nas obras de engenharia, além do seu emprego para a atualização das plantas topográficas cadastrais. Para apoiar a elaboração e atualização de plantas cadastrais municipais, bem como permitir o posicionamento preciso de edificações, é comum a definição de um campo, ou rede de pontos topográficos, materializado no terreno da obra, com coordenadas conhecidas em um sistema de referência pré-definido. Ao se estabelecer um campo de pontos de referência calculado e ajustado por completo, a rede implantada possibilita, além do posicionamento preciso da obra, seu georreferenciamento, permitindo, para novos projetos, uma atualização da planta cadastral, em atendimento às normas da ABNT relacionadas ao assunto

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-12-04T13:10:00Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE ST completa.compressed.pdf: 24527390 bytes, checksum: efe8e15f5cbc3a83b27e040ccae6c9f7 (MD5) / Made available in DSpace on 2017-12-04T13:10:01Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE ST completa.compressed.pdf: 24527390 bytes, checksum: efe8e15f5cbc3a83b27e040ccae6c9f7 (MD5) Previous issue date: 2017-09-04 / CNPQ / O presente estudo corresponde a uma investigação sobre a interferência da forma urbana e do adensamento construtivo no desempenho climático dos espaços urbanos e nos padrões de aproveitamento das estratégias bioclimáticas. A elevada densidade construtiva, entendida muitas vezes como prejudicial ao alcance da qualidade ambiental urbana, pode corresponder a diferentes composições morfológicas de conjuntos edificados. O padrão morfológico e a densidade construída de tecidos urbanos são um resultado do estabelecimento dos tradicionais parâmetros urbanísticos urbanos (taxa de ocupação, coeficiente de aproveitamento, gabaritos). O objetivo da pesquisa foi realizar uma avaliação preditiva sobre o desempenho climático de tipos espaciais urbanos determinados por diferentes densidades construtivas e padrões morfológicos. Esta pesquisa está fundamentada na correlação com parâmetros urbanísticos tradicionais e avançados, a partir de um estudo de caso, a cidade de Arapiraca-AL. Os parâmetros urbanísticos avançados referem-se a indicadores de desempenho estabelecidos a partir de atributos bioclimatizantes da forma urbana. A abordagem metodológica preditiva foi baseada no método hipotético dedutivo e na técnica de análise de cenários hipotéticos. Os procedimentos metodológicos foram realizados a partir de três etapas: a) diagnóstico para caracterização do clima local e identificação de estratégias bioclimáticas para adequação de tecidos urbanos, b) calibração do modelo teórico de análise do clima urbano ENVI-met, para análise de cenários hipotéticos e c) estudo de correlação entre as variáveis climáticas e variáveis de ocupação urbana/ parâmetros urbanísticos. Foram analisados, a partir da simulação computacional, os dados de temperatura do ar, umidade relativa, direção e velocidade dos ventos de cenários hipotéticos e tipos espaciais presentes atualmente no sítio urbano de Arapiraca-AL. Aponta-se como contribuição teórica da pesquisa, a confirmação da hipótese principal do estudo, destacando-se que para o incremento da densidade construtiva urbana, a adoção da quadra como elemento mínimo de planejamento urbano favorece o desempenho ambiental urbano, pois, a forma do tecido pode ser ajustada para atender as solicitações climáticas locais, a partir da incorporação de estratégias bioclimáticas na escala urbana. Para esse ajuste, é imprescindível a análise de parâmetros urbanísticos avançados, como a porosidade da malha urbana e o índice de densidade arbórea. Neste sentido, são evidenciadas a importância da análise de desempenho climático no processo ao planejamento urbano e a iminente necessidade de revisão dos instrumentos de planejamento para o desenvolvimento de diretrizes baseadas no controle do adensamento urbano com enfoque no urbanismo bioclimático. / This study examines the influence of the urban built density and morphology on climatic changes of urban spaces and on the use of bioclimatic strategies. High urban density is often regarded as harmful for the urban climate. However, the corresponding morphologies and urban structures may be very different. In fact morphology and density are a consequence of traditional urban planning parameters, such as plot ratio, plan density index, setbacks and building heights. The objective of this study is a predictive evaluation of the climatic performance of urban typologies, presenting different densities and morphological patterns. This research is based on the correlation of traditional and advanced urban planning parameters, using the city Arapiraca-AL as case study. Advanced urban parameters are performance indicators, found on bio-climatic attributes. The predictive evaluation was carried out using a hypothetical deductive approach employing the hypothetical scenario analysis technique. The process was divided into three parts: a) local climate characterization and identification of bio-climatic strategies for the adaptation of urban areas, b) calibration of the theoretical climate model – ENVI-met for the analysis of hypothetical scenarios and c) study of correlation between climatic variables and urban occupation variables / urban parameters. The climatic variables air temperature, relative humidity, wind direction and wind speed of the hypothetical scenarios and of spatial typologies actually present in the urban site of Arapiraca-AL were analyzed using computational simulation. It was possible to confirm the main hypothesis of the thesis that an urban block has to be considered as minimal planning unit for the application of morphological strategies, increasing density and having satisfactory climatic performance. This makes it possible to meet local climatic demands by adjusting the urban site morphology with the incorporation of bio-climatic strategies at an urban scale. For such an adjustment an analysis of advanced urban parameters such as the urban mesh porosity and the arboreal density index are essential. The importance of climate analysis in the urban planning process could be demonstrated within this work. The results show the need to review planning instruments and guidelines for dense urban environments focusing on a bio-climatic urbanism.