Dissertations / Theses on the topic 'Geração de Forças'

Made available in DSpace on 2015-02-05T01:01:13Z (GMT). No. of bitstreams: 1 000465044-Texto+Parcial-0.pdf: 806122 bytes, checksum: ff07ea16b2d1d12e834f23342b4ecd3e (MD5) Previous issue date: 2014
This master thesis consists of two articles. The first article is a theoretical study, while the second is an empirical article. The primary objective of this thesis was to investigate and understand the subjectivity of the Generation Y. The theoretical paper, structured as a nonsystematic review, proposes a discussion of the subjectivity established by the Generation Y considering their integrants agents and subjects of the contemporary time. The empirical article is the result of a qualitative, exploratory and cross-sectional research, which goal is the description and understanding of the subjectivity presented by the Generation Y. To achieve this purpose, semi-structured interviews with open exploratory axis were made. The themes of the interview were: work, interpersonal and virtual relationships, self and others image, time (routine), ethical ideals, idols (celebrities), violence, consumption, goals and critical about contemporary society. The method used to analyze the content of the interviews was the Interpretative Analysis proposed by Frederick Erickson. The conclusions were that the Generation Y present ambivalence, idealism and the persistence of adolescent traits; propose various critics and demands towards the context where they live and have high expectations about themselves; consider the collective and creative work the key to professional achievement; maintain that experience other cultures is vital for personal development and classify the lack of respect for individuality one of the most reprehensible forms of violence.
Esta dissertação de mestrado é composta por dois artigos. O primeiro artigo é um trabalho teórico, enquanto que o segundo é um artigo empírico. O objetivo geral da dissertação foi investigar e compreender as formas de subjetivação dos jovens da Geração Y. O artigo teórico, estruturado como uma revisão narrativa, propõe uma discussão a respeito das formas de subjetivação dos indivíduos da Geração Y, considerando-os agentes e sujeitos do tempo contemporâneo. O artigo empírico é fruto de uma pesquisa qualitativa, transversal e exploratória que estabeleceu como objetivo a investigação, descrição e compreensão das formas de subjetivação dos jovens da Geração Y. Para atingir este propósito, foram realizadas entrevistas abertas semi-estruturadas com os seguintes eixos exploratórios: trabalho, relações interpessoais e virtuais, imagem de si e dos outros, tempo (rotina), valores éticos, ídolos (celebridades), violência, consumo, objetivos e críticas sobre a sociedade contemporânea.O método utilizado para a análise dos dados obtidos através das entrevistas foi a Análise Interpretativa proposto por Frederick Erickson. A partir do conteúdo das entrevistas, concluise que os jovens da Geração Y apresentam ambivalência, idealismo e a persistência de traços da adolescência; propõem diversas críticas e exigências em relação ao contexto em que vivem e altas expectativas em relação a si mesmos; consideram o trabalho coletivo e criativo a via principal para a realização profissional; sustentam que vivenciar outras culturas é fundamental para o crescimento pessoal e classificam a falta de respeito pela individualidade como uma das mais reprováveis manifestações de violência.

Orientadores: Fernando Iguti, Dante A. O. Martinelli
Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica
Made available in DSpace on 2018-07-18T16:11:51Z (GMT). No. of bitstreams: 1 Vizotto_Isaias_D.pdf: 6706804 bytes, checksum: 305850a294e6ba7eb7343b8c74b9aad6 (MD5) Previous issue date: 1993
Resumo: Para estruturas em casca, as formas geométricas são importantes para se obter comportamentos estruturais adequados. O estado de tensão que ocorre numa casca depende diretamente da sua forma geométrica. O estado de tensão ideal para estas estruturas é o de compressão pura. Neste trabalho, é apresentado um processo relativamente simples para geração de formas de estruturas em casca por meio de técnicas de programação matemática combinadas com a técnica de elementos finitos. Como resultado da aplicação desta formulação, é possível a definição de formas geométricas para estruturas em casca em que as cargas aplicadas são equilibradas, principalmente, por esforços internos de membrana. Entretanto, isto não exclui a possível existência de outros carregamentos que podem causar estados de tensão diferentes da compressão pura. Por meio do modelo proposto é possível simular computacionalmente uma membrana flexível, de qualquer formato, sobre a,qual podem atuar vários carregamentos, incluindo o efeito de pressão. Sob a influência e a atuação destes carregamentos, a membrana é deformada até uma das suas configurações de equilíbrio, que define uma superfície média para a estrutura em casca fina a ser construída. No caso do carregamento de pressão pode ser mostrado, no caso geral, que o sistema de forças não é conservativo. No modelo para geração de formas de estruturas em casca é utilizado um elemento finito triangular plano de membrana, com a hipótese de tensão-deformação constante, modificado para permitir a consideração de deslocamentos normais ao seu plano. A equação constitutiva adotada para descrever o comportamento do material é uma relação linear entre as tensões e deformações. A definição de deformação utilizada é a de Green, sendo considerados grandes deslocamentos e grandes deformações de modo exato. No modelo computacional existe a possibilidade de se impor um deslocamento de valor conhecido à membrana, obtendo-se assim formas geométricas simplesmente pela distorção da geometria plana inicial. Deste modo é possível projetar formas livres e esbeltas de estruturas em casca para coberturas, com quaisquer formatos na projeção horizontal e que, em essência, possuam aproximadamente um comportamento de acordo com a Teoria de Membrana
Abstract: In shell structures, geometrical shapes are important for the determination of their correct behavior. The stress state is strongly dependent on the geometrical shape. The ideal stress state for these structures is the pure compression state. In this work a relati vely simple process to generate free form shells by means of mathematical programming combined with the finite element technique is presented. As a result of the application of such formulation it is possible to define geometrical shapes for the shells where the applied loadings are equilibrated mainly by membrane action. This doesn't however preclude the existence of loadings which cause noncompressive stress. With the proposed model it is possible to simulate automatically a flexible membrane, with any shape, able to carry a larger number of loading conditions, including pressure loads. Under the action of these loads the membrane is deformed reaching one of its equilibrium configurations, which will define the midle surface of the shell to be built. For pressure loadings it can be shown that, generally, the system of forces is nonconservative. The finite element used to generate free form shells is the constant stress-strain triangle modified to consider out of plane displacements. The constitutive equation to model corresponds to linear elasticity. Exact displacements and strains are used for the membrane, using Green's strains. In the computational model it is possible to impose a known displacement to the membrane and to obtain geometrical shapes just distorting the initial configuration. In this way it is possible to design free form thin shells working as membranes with generic projection in plant the material behavior formulation for large
Doutorado
Doutor em Engenharia Mecânica

No mundo moderno a energia elétrica tem um papel fundamental; ela é a base do progresso e desenvolvimento mundial. O seu surgimento propiciou a melhora no saneamento, na saúde, no abastecimento de água e alimentos, na qualidade de vida e também fez surgir a sociedade capitalista e de consumo. A utilização do petróleo como fonte geradora de energia foi o impulso da revolução industrial e através dele foram desenvolvidos motores, geradores e máquinas que contribuíram para o progresso. Com isto veio também a emissão de gases (CO2, CO, SOX e NOX) e outras substâncias que agravaram o efeito estufa, o buraco na camada de ozônio e a chuva ácida alterando o equilíbrio do planeta. O desenvolvimento de outras formas de geração de energia provocou mudanças nos locais onde estas foram instaladas, impactando o meio ambiente. Este trabalho apresenta uma avaliação ambiental sobre as diferentes formas de geração de energia elétrica e os impactos ambientais pertinentes a cada uma delas. Inclui cinco formas de geração de energia elétrica: termelétrica, nuclear, hidrelétrica, eólica e solar. No tópico energia termelétrica apresenta-se a geologia do petróleo, a sua extração e beneficiamento. Mostra também a descoberta e o desenvolvimento da indústria petrolífera no mundo e no Brasil. Detalha o funcionamento de três tipos de centrais termelétricas: a carvão, a gás e a óleo. São relacionados os impactos ambientais comuns a elas e os característicos de cada tipo de usina. Assim como o decorrente da desativação de cada uma delas. É apresentado um pequeno histórico da energia nuclear, seu desenvolvimento no Brasil e no mundo, bem como o funcionamento de uma usina e os impactos causados durante a sua operação e seu descomissionamento. A história, o funcionamento e o avanço da energia hidrelétrica no Brasil, as grandes usinas e a sua relação com o meio ambiente, são mostrados juntamente com os impactos ambientais na sua implantação, operação e desativação. A energia eólica é mostrada desde a sua implantação e funcionamento até os impactos ambientais decorrentes do processo de geração de energia elétrica e da sua desativação. No caso da energia solar é apresentado o funcionamento dos painéis solares, a implantação da central e os impactos ambientais relacionados a utilização desta. Os impactos originados na sua desativação também são apresentados. Destacados os impactos ambientais para cada forma de geração de energia elétrica, estes são correlacionados e comparados pela área de implantação da usina, a capacidade de geração, a eficiência, a potência e o custo do kW. Não existe uma forma totalmente limpa de geração de energia elétrica. Existem, sim, formas que não emitem os gases responsáveis pelo efeito estufa. Assim, todas as formas de geração de energia são importantes para um país, ou seja, quanto mais diversificada for a matriz energética, melhor.
Electric energy has an important function in the modern world; it is fundamental for progress and development. The electricity discovery allowed improvements in several areas: health, water and food supply, quality of life and sanitary conditions, and contributed also to the establishment of the capitalist and consumption society. The use of oil as an energy generation source was the impulse for the industrial revolution and machines, motors and generators were developed contributing to the progress. This also brought the pollutant gases emission (CO2, CO, SOX and NOX) and other substances that had contributed to the greenhouse effect, the ozone hole and the acid rain, modifying the balance of the planet. The development and implementation of other forms of energy generation caused local changes, where they were installed, giving rise to environmental impacts. This work presents an evaluation about different forms of electrical energy generation and the environmental impacts relative to each one of them. Five forms of electric energy generation were considered: thermoelectric, nuclear, hydroelectric, wind and solar energy. The implementation and the development of the petroleum industry in the world and in Brazil are presented. The geology of the oil, its extraction and quality improvement, besides details of the functioning of three types of thermoelectric power plants - coal, gas and oil - are also discussed. The specific as well as the environmental impacts they have in common are highlighted. The impacts originated from the deactivation of each one of them are also pointed out. The discovery and the development of nuclear energy in Brazil and in the world as well as the functioning of a nuclear power plant, the impacts generated by its operation and decommissioning are presented. The history, functioning and development of hydroelectric energy generation in Brazil, characterized by the great plants, are related to environmental aspects The environmental impacts due to its implantation, operation and deactivation are also evinced. The wind power plant implantation and functioning and the environmental impacts involved in the process of electric energy generation and its deactivation are analyzed. The functioning of the solar panels, the implantation of the power plant and the environmental impacts related to the use of solar energy are discussed. The impacts resulting from the deactivation are also presented. Once outlined the environmental impacts from each form of electric energy generation, they were correlated and compared considering the area of the power plant implantation, the generation capacity, the efficiency, the power and the cost per kW. There is no totally clean form of electric energy generation. There is, however, generation without emission of gases responsible for the green house effect. Therefore, all forms of energy generation are important for a country; in other words, the best situation is the diversity of the energy matrix.

Made available in DSpace on 2014-10-09T12:52:35Z (GMT). No. of bitstreams: 0
Made available in DSpace on 2014-10-09T14:01:39Z (GMT). No. of bitstreams: 0
Dissertação (Mestrado)
IPEN/D
Instituto de Pesquisas Energeticas e Nucleares - IPEN/CNEN-SP

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2013.
Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2013-11-28T15:10:56Z No. of bitstreams: 1 2013_FernandoJunqueiraSantos.pdf: 2924262 bytes, checksum: 0021f0500c816873282f3c0f57adc50f (MD5)
Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2013-11-29T11:14:19Z (GMT) No. of bitstreams: 1 2013_FernandoJunqueiraSantos.pdf: 2924262 bytes, checksum: 0021f0500c816873282f3c0f57adc50f (MD5)
Made available in DSpace on 2013-11-29T11:14:19Z (GMT). No. of bitstreams: 1 2013_FernandoJunqueiraSantos.pdf: 2924262 bytes, checksum: 0021f0500c816873282f3c0f57adc50f (MD5)
Tradicionalmente, a geração de energia elétrica brasileira sempre se baseou em geradores de grande porte, principalmente hidrelétricas, instaladas distantes dos centros de carga, e interligadas a esses por meio de linhas de transmissão com grandes extensões. Devido ao encarecimento dos recursos não renováveis, principalmente o petróleo, e às exigências crescentes de produção de energia elétrica através de fontes não poluentes, existe uma tendência de instalação de pequenos geradores baseados em fontes renováveis, tipicamente geração eólica e solar. Essas novas alternativas de geração proporcionam disponibilidade de energia próxima ao local de consumo, reduzindo os impactos ambientais provocados pela geração tradicional. Possuem ainda tempos de implantação inferiores quando comparadas à construção de grandes usinas e reforços nas respectivas linhas de transmissão. A interligação da geração distribuída ao sistema de distribuição causa impactos nas redes de distribuição de energia elétrica, tais como alterações nos níveis de perdas elétricas, parâmetros de qualidade da energia, estabilidade do sistema, regulação de tensão, corrente de curto-circuito, carregamento de condutores e, principalmente, carregamento dos transformadores de distribuição. Em virtude desses geradores se localizarem ao longo de toda a rede de distribuição, cria-se o desafio de se planejar, projetar, operar e manter o sistema elétrico. Nesse sentido, deve ser dada atenção especial aos impactos provocados nas redes de distribuição pela entrada desses geradores, tanto impactos técnicos quanto econômicos, devendo ser considerada, inclusive, a possibilidade de alterações em normas técnicas. É importante que seja analisado o que cada impacto representa, tanto tecnicamente quanto em relação aos seus custos, para que as redes de distribuição não sejam empecilho ao crescimento da geração distribuída. ______________________________________________________________________________ ABSTRACT
Electric power in Brazil has traditionally been generated by large generators, mainly hydroelectric power plants which are distant from load centers and are interconnected by extensive transmission lines. Due to the current high cost of non-renewable resources, mainly oil, and the increasing demands for electric power production by non-polluting sources, there has been a tendency towards the use of small generators based on renewable sources, typically wind and solar generation. These new generation alternatives provide energy close to where it is consumed, reducing the environmental impacts of traditional forms of generation. They also take less time to be implemented in comparison with large power plants and reinforcements in the respective transmission lines. The connecting of distributed generation to the distribution system causes impacts on the distribution grids, such as variation of power losses, power quality parameters, electric system stability, voltage regulation standards, short-circuit current, conductor loads and, principally in distribution transformer loads. Since these generators are located throughout the entire distribution grid, the planning, designing, operation and maintenance of the electric power system has become a challenge. Therefore, special attention must be given to both the technical and economic impacts caused by the inclusion of these generators on distribution grids, and should be considered, including the possibility of changes in technical standards. It is important that assessments of each impact be made, both in technical terms and with regard to costs, so that the distributed grids do not be a barrier to the increasing of distributed generation.

Made available in DSpace on 2014-06-12T15:59:36Z (GMT). No. of bitstreams: 2 arquivo5340_1.pdf: 1555764 bytes, checksum: d3735403fc535c9dd852536b0afde205 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007
A escrita de requisitos, dentro do processo de desenvolvimento de sistemas, está sujeita a falhas, uma vez que os requisitos são escritos em Linguagem Natural, como Inglês, que pode conter definições ambíguas ou de difícil entendimento. Por outro lado, Linguagem Natural é a opção mais simples e flexível para se especificar um sistema, e é a linguagem de entendimento comum entre clientes e contratados. Desta forma, para minimizar a existência de erros nos documentos de requisitos, técnicas de validação com inspeção ou revisão de documentos são utilizadas. Entretanto, o custo de se realizar este tipo de validação é alto e sua eficácia é questionável; erros podem persistir. Além disso, requisitos escritos usando de linguagem natural são de difícil processamento, dificultando a geração de outros artefatos a partir do mesmo. Esta dissertação define uma estratégia que utiliza templates de especificação de casos de use e uma Linguagem Natural Controlada (LNC) para descrever requisitos. Os templates de casos de uso asseguram a estruturação correta do documento de requisitos e a LNC garante a exatidão da gramática do texto que especifica o comportamento do sistema. Foram criados dois templates de casos de uso, cada um com uma visão diferente do sistema. A visão mais abstrata se chama visão do usuário e a visão mais detalhada se chama visão de componentes. A partir dessa estruturação dos requisitos torna-se, possível definir uma estratégia de geração automática de uma especificação formal da aplicação em questão. A geração automática de especificação formal de sistemas reduz custo e necessidade de mão de obra especializada em projetos de desenvolvimento de software. Ou seja, uma vez que é possível realizar a geração automática do modelo formal de sistemas podemos fazer uso do mesmo na validação de propriedades do sistema. Além disso, artefatos como casos de teste e diagramas UML podem ser gerados a partir deste. Em particular, esta dissertação define uma estratégia para gerar modelos formais na álgebra de processo CSP a partir das duas visões de caso de uso, mantendo a consistência entre os artefatos. Também foi definida uma relação de refinamento entre os modelos gerados garantindo a consistência entre as visões. Finalmente, todo o processo foi automatizado através de ferramentas. Estas foram vali- dadas através de experimentos realizados no contexto de aplicação para celulares da Motorola, empresa parceira e financiadora do projeto de pesquisa com o CIn/UFPE

Orientador: Arnaldo Vieira Moura
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação
Made available in DSpace on 2018-08-19T00:11:05Z (GMT). No. of bitstreams: 1 Rebiha_Rachid_D.pdf: 1451665 bytes, checksum: abe6fc4e72cf43113c7c93064ab11ed8 (MD5) Previous issue date: 2011
Resumo: É bem sabido que a automação e a eficácia de métodos de verificação formal de softwares, sistemas embarcados ou sistemas híbridos, depende da facilidade com que invariantes precisas possam ser geradas automaticamente a partir do código fonte. Uma invariante é uma propriedade, especificada sobre um local específico do código fonte, e que sempre se verifica a cada execução de um sistema. Apesar dos progressos enormes ao longo dos anos, o problema da geração de invariantes ainda está em aberto para tanto programas não-lineares discretos, como para sistemas não-lineares híbridos. Nesta tese, primeiramente, apresentamos novos métodos computacionais que podem automatizar a descoberta e o fortalecimento de relações não-lineares entre as variáveis de um programa que contém laços não-lineares, ou seja, programas que exibem relações polinomiais multivariadas e manipulações fracionarias. Além disso, a maioria dos sistemas de segurança críticos, tais como aviões, automóveis, produtos químicos, usinas de energia e sistemas biológicos, operam semanticamente como sistemas híbridos não-lineares. Nesse trabalho, apresentamos poderosos métodos computacionais que são capazes de gerar bases de ideais polinomiais de invariantes não-lineares para sistemas híbridos não-lineares. Em segundo lugar, apresentamos métodos pioneiros de verificação que automaticamente gerem bases de invariantes expressas por séries de potências multi-variáveis e por funções transcendentais. Discutimos, também, a sua convergência em sistemas híbridos que exibem modelos não lineares. Verificamos que as séries de potência geradas para invariantes são, muitas vezes, compostas pela expansão de algumas funções transcendentais bem conhecidas, tais como "log" e "exp". Assim, apresentam uma forma analisável fechada que facilita o uso de invariantes na verificação de propriedades de segurança. Para cada problema de geração de invariantes estabelecemos condições suficientes, muito gerais, que garantem a existência e permitem o cálculo dos ideais polinomiais para situações que não podem ser tratadas pelas abordagens de geração invariantes hoje conhecidas. Finalmente, estendemos o domínio de aplicações, acessíveis através de métodos de geração de invariantes, para a área de segurança. Mais precisamente, fornecemos uma plataforma extensível baseada em invariantes pré-computadas que seriam usadas como assinaturas semânticas para análise de intrusos ("malwares") e deteção dos ataques de intrusões mais virulentos. Seguindo a concepção de tais plataformas, propomos sistemas de detecção de intrusão, usando modelos gerados automaticamente, onde as chamadas de sistema e de funções são vigiados pela avaliação de invariantes, pré-calculadas para denunciar qualquer desvio observado durante a execução da aplicação. De modo abrangente, nesta tese, propomos a redução de problemas de geração de invariantes para problemas algébricos lineares. Ao reduzir os problemas de geração de invariante não-triviais de sistemas híbridos não-lineares para problemas algébricos lineares relacionados, somos capazes de ultrapassar as deficiências dos mais modernos métodos de geração de invariante hoje conhecidos permitindo, assim, a geração automática e eficiente de invariantes para programas e sistemas híbridos não lineares complexos. Tais métodos algébricos lineares apresentam complexidades computacionais significativamente inferiores àquelas exigidas pelos os fundamentos matemáticos das abordagens usadas hoje, tais como a computação de bases de Gröbner, a eliminação de quantificadores e decomposições cilíndricas algébricas
Abstract: It is well-known that the automation and effectiveness of formal software verification of embedded or hybrid systems depends to the ease with which precise invariants can be automatically generated from source specifications. An invariant is a property that holds true at a specific location in the specification code, whenever an execution reaches that location. Despite tremendous progress over the years, the problem of invariant generation remains very challenging for both non-linear discrete programs, as well as for non-linear hybrid systems. In this thesis, we first present new computational methods that can automate the discovery and can strengthen interrelationships among the variables of a program that contains non-linear loops, that is, programs that display multivariate polynomial and fractional manipulations. Moreover, most of safety-critical systems such as aircraft, cars, chemicals, power plants and biological systems operate semantically as non-linear hybrid systems. In this work, we demonstrate powerful computational methods that can generate basis for non-linear invariant ideals of non-linear hybrid systems. Secondly, we present the first verification methods that automatically generate basis for invariants expressed by multivariate formal power series and transcendental functions. We also discuss their convergence over hybrid systems that exhibit non linear models. The formal power series invariants generated are often composed by the expansion of some well-known transcendental functions e.g. log and exp. They also have an analysable closed-form which facilitates the use of the invariants when verifying safety properties. For each invariant generation problem, we establish very general sufficient conditions that guarantee the existence and allow for the computation of invariant ideals for situations that can not be treated in the presently known invariant generation approaches. Finally, we extend the domain of applications for invariant generation methods to encompass security problems. More precisely, we provide an extensible invariant-based platform for malware analysis and show how we can detect the most virulent intrusions attacks using these invariants. We propose to automatically generate invariants directly from the specified malware code in order to use them as semantic aware signatures, i.e. malware invariant, that would remain unchanged by most obfuscated techniques. Folix lowing the design of such platforms, we propose host-based intrusion detection systems, using automatically generated models where system calls are guarded by pre-computed invariants in order to report any deviation observed during the execution of the application. In a broad sense, in this thesis, we propose to reduce the verification problem of invariant generation to algebraic problems. By reducing the problems of non-trivial nonlinear invariant generation for programs and hybrid systems to related linear algebraic problems we are able to address various deficiencies of other state-of-the-art invariant generation methods, including the efficient treatment of complicated non-linear loop programs and non-linear hybrid systems. Such linear algebraic methods have much lower computational complexities than the mathematical foundations of previous approaches know today, which use techniques such as as Gröbner basis computation, quantifier elimination and cylindrical algebraic decomposition
Doutorado
Ciência da Computação
Doutor em Ciência da Computação

Orientador: Arnaldo Vieira Moura
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação
Made available in DSpace on 2018-08-16T21:26:35Z (GMT). No. of bitstreams: 1 Pedrosa_LehiltonLelisChaves_M.pdf: 884292 bytes, checksum: e39efddad6809b28790b661469a5cfd2 (MD5) Previous issue date: 2010
Resumo: Métodos formais são amplamente utilizados para modelar especificações e gerar casos de testes, imprescindíveis para validação de sistemas críticos. As Máquinas de Estados Finitos (MEFs) compõem um dos formalismos adotados, com várias aplicações em testes de sistemas aéreos e espaciais, além de sistemas médicos, entre vários outros. O objetivo de um método de geração automática de casos de testes é obter um conjunto de casos de testes, com o qual é possível verificar se uma dada implementação contém falhas. Um problema importante em métodos de geração de casos de teste com cobertura completa de falhas é o tamanho dos conjuntos de testes, que normalmente é exponencial no número de estados da MEF que está sendo testada. Para minimizar esse problema, diversas abordagens são adotadas, envolvendo melhorias nos métodos existentes, restrições do modelo de falhas e o uso de novas estratégias de teste. Esta dissertação estuda métodos automáticos para geração de casos de testes com cobertura completa de falhas e propõe dois novos métodos, que permitem reduzir o tamanho dos conjuntos de testes gerados. Primeiro, combinamos ideias do método Wp e do método G, visando usufruir as vantagens de ambos e obtendo um novo método, denominado Gp. Em seguida, descrevemos um novo modelo de falhas para sistemas compostos de vários subsistemas, possivelmente com um número alto de estados. Formalizamos tais sistemas, introduzindo o conceito de MEFs combinadas, e apresentamos um novo método de testes, denominado método C. Além disso, propomos uma abordagem de testes incremental, baseada no método C, que torna possível o teste de MEFs com um número arbitrário de estados. Estabelecemos comparações com abordagens tradicionais e mostramos que o uso da estratégia incremental pode gerar conjuntos de testes exponencialmente mais eficientes
Mestrado
Teoria da Computação
Mestre em Ciência da Computação

Orientador: Isaias Vizotto
Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil, Arquitetura e Urbanismo
Made available in DSpace on 2018-08-23T22:41:02Z (GMT). No. of bitstreams: 1 Sabino_EderMuriloParizzoto_M.pdf: 7896923 bytes, checksum: 2e32d4c45ba75ad01db9a7b23cb8cb93 (MD5) Previous issue date: 2013
Resumo: Esse trabalho foi inspirado principalmente em obras projetadas por Heinz Isler e Félix Candela, e apresenta uma contribuição ao pré-processamento e geração computacional de cascas otimizadas de formas livres e cascas de formas analíticas. São abordados dois modelos de concepção de estruturas para cobertura: as cascas de formas livres, geradas a partir da simulação computacional de modelos físicos experimentais em que as superfícies médias não podem ser descritas por meio de funções matemáticas; e as definidas por formas analíticas ou geométricas, em que as superfícies médias podem ser determinadas por funções analíticas através de modelos de geração por processos de translação ou revolução. O objetivo principal é a concepção de estruturas em cascas em concreto por meio de modelo computacional de geração otimizada de formas com a aplicação do Método dos Elementos Finitos e técnicas de programação matemática, com a proposição de metodologias computacionais de pré-processamento para geração da malha inicial de elementos finitos e a posterior obtenção de estruturas em cascas de formas livres e analíticas. São propostos modelos para geração de malhas de estruturas em cascas de formas livres com projeções poligonais regulares e quadriláteras com arestas retas e/ou parabólicas. As malhas planas que constituem membranas finas e flexíveis, através da ação do peso próprio da membrana ou da aplicação de pressão sobre as superfícies com quaisquer configurações de apoios, são utilizadas para geração de cascas de formas livres por meio de um programa computacional desenvolvido por Vizotto (1993), e que também podem ser geradas por meio do software ANSYS. A geração das formas analíticas tridimensionais das estruturas em cascas é realizada através de curvas diretrizes e geratrizes a partir das malhas planas. Variando-se alguns parâmetros obtêm-se composições de paraboloides hiperbólicos, paraboloides elípticos, cilindros parabólicos, etc. Após a geração das formas tridimensionais, são realizadas análises estruturais de algumas estruturas em cascas de concreto armado observando os estados de tensão das estruturas. Diversas estruturas são geradas e os resultados obtidos apresentados
Abstract: This work was mainly inspired in structures designed by Heinz Isler and Félix Candela, and it presents a contribution to preprocessing and computational generation of optimized free-form shells and the analytical shells. Two models of conceptions of roofs structures are discussed: the free-form shells, generated by computational simulation of the experimental physical models, and the structures defined by analytical functions. The middle surfaces of the first model cannot be determined by analytical equations. On the second model, however, they can be generated by translational and revolution processes. The main objective is the conception of concrete shell structures using a computational model to generate optimized shapes with the application of the Finite Element Method and mathematical programming techniques. Computational methodologies for the generation of the finite elements initial mesh and the obtention of the freeform shells and analytical shells structures are proposed. Models are proposed for the meshing of the free-form shells structures with either regular polygonal projections or quadrilateral with straight and / or parabolic edges. Properties of thin and flexible membranes are attributed to the planar meshes with any support configuration. Free form shells are generated using a software developed by Vizotto (1993) which is able to generate free-form shells by applying pressure on the surfaces or by the action of the membrane's own weight. Free form shells can also be generated using the software ANSYS. As a result, the three-dimensional shapes of the shells are obtained. From the plane meshes obtained the three-dimensional shapes of the analytical form shells are determined through guidelines and generatrices curves. By varying some parameters compositions of hyperbolic paraboloids, elliptic paraboloids, cylinders parabolic, etc, are obtained. After the generation of three-dimensional shapes, structural analyses of some reinforced concrete shell structures are performed and the tension states of the structures are observed. Several structures are generated and the results obtained are presented
Mestrado
Estruturas e Geotécnica
Mestre em Engenharia Civil

Com a presença cada vez maior de sistemas computacionais e novas tecnologias no cotidiano das pessoas, garantir que eles não falhem e funcionem corretamente tornou-se algo de extrema importância. Além de indicar a qualidade do sistema, assegurar seu bom funcionamento é essencial para se evitar perdas, desde financeiras até de vidas. Uma das técnicas utilizadas para esta finalidade é a chamada verificação formal de programas. A partir da especificação do sistema, descrita numa linguagem formal, são definidas propriedades a serem satisfeitas e que certificariam a qualidade do software. Estas propriedades devem então ser implementadas para uso num verificador, que é a ferramenta responsável por executar a verificação e informar quais propriedades foram satisfeitas e quais não foram; no caso das propriedades terem sido violadas, o verificador deve indicar aos desenvolvedores os possíveis locais com código incorreto no sistema. A desvantagem do uso da verificação formal é, além do seu alto custo, a necessidade de haver pessoas com experiência em métodos formais para definir propriedades a partir da especificação formal do sistema, e convertê-las numa representação que possa ser entendida pelo verificador. Este processo de definição de propriedades é particularmente complexo, demorado e suscetível a erros, por ser feito em sua maior parte de forma manual. Para auxiliar os desenvolvedores na utilização da verificação formal em programas escritos em Java, propomos neste trabalho a geração de representação de propriedades para uso direto num verificador. As propriedades a serem geradas são objetivos de teste derivados da especificação formal do sistema. Estes objetivos de teste descrevem o comportamento esperado do sistema que deve ser observado durante sua execução. Ao estabelecer que o universo de propriedades corresponde ao universo de objetivos de teste do programa, garantimos que as propriedades geradas em nosso trabalho descrevem o comportamento esperado do programa por meio de caminhos de execução que levam a um estado de aceitação da propriedade, ou a um estado de violação. Assim, quando o verificador checa o objetivo de teste, ele consegue dar como resultado o veredicto de sucesso ou falha para a propriedade verificada, além de dados da cobertura dos caminhos de execução do programa que podem ser usados para análise do comportamento do programa que levou ao sucesso ou falha da propriedade verificada.
The task of guaranteeing that computational systems do not fail and work correctly has become extremely important with the growing presence of new technologies in people\'s lives. Therefore, it is essential to ensure that such systems work properly to confirm their high-quality and to avoid financial and even life losses. One of the techniques used to this purpose is called formal verification of programs. From the system specification, which should be described in a formal language, we define properties that must be satisfied during system execution to guarantee the software quality. Then, these properties are checked using a verifier, which is the tool responsible for running the verification and for notifying whether the property was satisfied by the program; if the property was violated, it indicates to software developers the possible location of faults in the system. The disadvantages of using formal verification are the high cost to apply this technique in practice, and the necessity of having people with experience in formal methods to derive the properties from system specification and define them in a formal representation that can be read by a program verifier. This particular task of deriving a property from system specification and defining it to be checked by a verifier is complex, time-consuming and error-prone, since it is usually done by hand. To help software developers in the application of formal verification in Java programs, we propose in this work the generation of properties formal representation for direct use in a verifier. The generated properties are test purposes, which are derived from system formal specification and present the desirable system behavior that must be observed during the system execution. Establishing that the universe of properties correspond to the universe of test purposes of a program, we guarantee that the generated properties describe the expected program behavior through execution traces that lead to either an accept state or a refuse state. Thus, when the verifier checks the test purpose, it can give a success/fail verdict for the property, and provide traces coverage data that can be used to analyze the program behavior that led to that verdict.

Conselho Nacional de Desenvolvimento Científico e Tecnológico
This work presents the development of an alternating current power source with a single-phase full bridge voltage inverter, based on electronic switches. The source is designed to drive electromechanical and electric plants. The prototype is designed with 1kVA nominal power and is able to generate sinusoidal waveforms up to 2kHz. The inverter operates at the switching frequency of 50kHz. A robust model reference adaptive controller is designed and implemented to adjust the output voltage of the source. Additionally, the elements of the source and the system for measuring the electrical parameters are presented. A digital signal controller is used to control and generate signals with pulse width modulation. The discretization of the control system is performed using the delta operator. Finally, experimental results and analysis of the closed loop system are presented. Based on these results, the experimental performance of the designed source and the proposed control system are examined.
Este trabalho apresenta o desenvolvimento de uma fonte de potência de corrente alternada com um inversor de tensão em ponte completa monofásico, composto por interruptores eletrônicos. Esta fonte é concebida para o acionamento de plantas elétricas e eletromecânicas. O protótipo projetado tem uma potência nominal de 1kVA e é capaz de gerar formas de onda senoidais de até 2kHz. O inversor opera em uma frequência de comutação de 50kHz. Um controlador adaptativo robusto por modelo de referência é projetado e implementado para ajuste da tensão de saída da fonte. Adicionalmente, são apresentados os elementos da fonte e o sistema de medição das variáveis elétricas. Um processador digital de sinais é utilizado para controle e geração de sinais com modulação por largura de pulso. A discretização do sistema de controle é realizada por meio do operador delta. Por fim, são apresentados resultados experimentais e análise do sistema em malha fechada. A partir destes resultados, averiguou-se o desempenho experimental da fonte projetada e do sistema de controle proposto.

Esta tese de doutorado está dividida em três capítulos. O primeiro capítulo teve sua fundamentação em resultados da literatura, que mostraram que a aplicação de trens de alta freqüência de estimulação elétrica na perna pode gerar forças maiores do que seria esperado pela estimulação direta de axônios motores, por um mecanismo central gerado em motoneurônios por ativação de sinapses de aferências sensoriais. O objetivo foi investigar se estímulos vibratórios aplicados ao tendão de Aquiles são também capazes de gerar torques extras de grande magnitude no grupo muscular do tríceps sural. Para tanto, o torque isométrico gerado pelo tornozelo foi medido em resposta a diferentes padrões de associação entre estímulos elétricos e mecânicos aplicados ao grupo muscular do tríceps sural. As salvas de estímulos vibratórios puderam gerar torques extras substanciais, que eram acompanhados por um aumento da excitabilidade motoneuronal, visto que foi observado um concomitante aumento na amplitude pico a pico das ondas F captadas no músculo sóleo. Esses resultados mostraram que estímulos vibratórios aplicados juntamente a uma estimulação elétrica basal podem gerar níveis de força consideráveis, devido ao recrutamento de motoneurônios na medula espinhal. Os resultados indicam que a associação entre vibração e estimulação elétrica pode ser benéfica para diversas intervenções terapêuticas e programas de exercícios baseados em vibração. O comando para a geração de torques extras pela vibração provavelmente ativa motoneurônios na medula espinhal seguindo o princípio do tamanho, o que é uma característica desejável para paradigmas de estimulação. O segundo capítulo teve como ponto de partida o fato de que, quando indivíduos exercem um leve toque com a ponta dedo indicador sobre uma superfície estacionária, observa-se uma melhora na estabilidade postural. Nosso estudo investigou se uma melhora adicional na estabilidade postural pode ser atingida pela aplicação de um baixo nível de ruído mecânico (ruído vibratório) à superfície de contato com o dedo. Tal hipótese foi baseada na teoria da ressonância estocástica, que consiste na idéia de que a detecção e transmissão de um sinal fraco ou subliminar podem ser otimizadas pela presença de um nível particular de ruído. Os sujeitos permaneceram em postura ortostática sobre uma plataforma de força, enquanto tocavam com a ponta do dedo indicador direito um aparato usado para produzir oscilações vibratórias na superfície de contato do dedo. Parâmetros caracterizando as oscilações posturais foram computados a partir de medidas provenientes dos sinais do centro de pressão (adquiridos por uma plataforma de força). Os resultados mostraram que a aplicação de um ruído vibratório à superfície de contato do dedo causou uma melhora significativa na estabilidade postural quando comparada à condição em que a superfície de contado permanecia estacionária. Os resultados podem ter implicações clínicas relevantes em relação ao projeto de dispositivos de auxílio a pessoas com déficits sensório-motores, como bengalas, visando aumentar a estabilidade postural. Por fim, o terceiro capítulo investigou os efeitos da aplicação de ruído elétrico nos músculos da perna sobre o controle neuromuscular (i.e. variabilidade da força de flexão plantar exercida isometricamente) e sobre o controle postural humano (i.e. medida das oscilações posturais por uma plataforma de força). Os resultados mostraram pela primeira vez que um ruído elétrico abaixo do limiar sensorial pode causar uma melhora no controle neuromuscular durante uma tarefa de manter um determinado nível de força isométrica o mais constante possível, por mecanismo provavelmente associado à ressonância estocástica. Além disso, foi encontrada uma correlação significativa entre as reduções obtidas na variabilidade do torque e as reduções observadas em algumas medidas do centro de pressão, indicando que a variabilidade do torque de flexão plantar obtida com os sujeitos sentados pode ser um bom indicativo da amplitude das oscilações posturais para certas intervenções. Em conjunto, os resultados indicam um potencial de uso clínico de estimulações com ruído elétrico para a melhora do controle neuromuscular de pessoas com diferentes acometimentos sensório-motores.
This doctorate thesis is divided into three chapters. The first chapter was inspired on previous results from the literature which showed that high-frequency trains of electrical stimulation applied over the lower limb muscles can generate forces higher than would be expected by direct activation of motor axons, by a mechanism generated within the central nervous system by synaptic input from sensory afferents to motoneurons. The objective was to investigate if vibration applied to the Achilles tendon is also able to generate large magnitude extra torques in the triceps surae muscle group. The isometric ankle torque was measured in response to different patterns of coupled electrical and mechanical stimuli applied to the triceps surae muscle group. The vibratory bursts could generate substantial extra torques that were accompanied by increased motoneuron excitability, since a parallel increase in the peak-to-peak amplitude of soleus F waves was observed. These results showed that vibratory stimuli applied with a background electrical stimulation generate considerable force levels due to the spinal recruitment of motoneurons. So, the association of vibration and electrical stimulation could be beneficial for many therapeutic interventions and vibration-based exercise programs. The command for the vibration-induced extra torques presumably activates spinal motoneurons following the size principle, which is a desirable feature for stimulation paradigms. The second chapter was based on the knowledge that when a subjects index fingertip touches lightly a rigid and stationary surface there is an improvement of his/her postural stability. Our study investigated whether a further increase in postural steadiness may be achieved by applying a low level mechanical noise (vibratory noise) to the fingertip contact surface. Such a hypothesis is based on the stochastic resonance theory, which says that the detection and transmission of a weak or sub-threshold input signal may be enhanced by the presence of a particular level of noise. The subjects stood as quietly as possible over a force plate while touching with their right index fingertip a surface that could be either quiescent or vibrated. Body sway parameters were computed from measurements of the center of pressure (acquired from the force plate). The results showed that the delivery of the vibratory noise to the fingertips contact surface caused a significant improvement on postural stability when compared with the condition in which the surface was stationary. The results could be helpful for the design of rehabilitation aids such as canes commonly used to improve stability in people with sensory deficits. Finally, in the third chapter, the effects of electrical noise applied to the leg muscles on neuromuscular control (i.e. isometric plantar flexion force variability) and on human postural control (i.e. measures of postural sway) were investigated. The results showed for the first time that a sub-threshold electrical noise may improve neuromuscular control during a task in which an isometric force level is maintained as constant as possible, presumably by a stochastic resonance mechanism. Furthermore, a significant correlation was found between the reductions in torque variability and the improvements in postural sway, indicating that plantarflexion torque variability acquired while subjects are in a seated position may provide a good estimate of their postural sway under the same intervention. Taken together, the results indicate the potential for the clinical usage of noise-based stimulations to enhance neuromuscular control in a population with sensory-motor impairments.

Especificações formais são úteis para descrever o que um sistema deve fazer sem definir como, e, em virtude da sua natureza formal e da possibilidade de abstração, é possível analisá-las sistematicamente. No entanto, o uso de especificações formais como parte do desenvolvimento de software não constitui prática comum. Isso se dá, em parte, pelo fato de existirem apenas um pequeno número de metodologias e ferramentas adequadas que dêem suporte a esse desenvolvimento. O primeiro objetivo deste trabalho é propor uma metodologia de desenvolvimento que possibilite, a partir de uma especificação formal em notação Z, produzir uma implementação dessa especificação em Java. Essa metodologia centra-se na geração do esqueleto da aplicação Java e na instrumentação desse esqueleto com mecanismos de verificação de condições (invariantes, pré e pós-condições) e rastreamento de violações dessas condições. Através desses mecanismos, possibilita-se intercalar desenvolvimento formal e informal no processo global de desenvolvimento de software. O segundo objetivo é desenvolver uma ferramenta que implemente parte dessa metodologia, produzindo uma implementação parcial que deverá ser complementada pelo usuário.
Formal specifications are useful for describing what a system should do, without defining how, and, owing to its formal nature, it is possible to analyse them systematically. However useful formal specifications are, their usage as part of the software development process is rather rare. This is, in part, due to the scarcity of both methodologies and tools that support this development. The first goal of this work is to define a software development methodology that enables the developer to produce a Java application from a formal specification written in Z. This methodology will rely strongly on the generation of Java application skeletons and instrumentation of the generated code with means of verifying conditions (invariants, pre and post-conditions) e tracing violations of these conditions. Through this mechanisms, it is possible to mix formal and informal development in the global software development process. The second goal of this work is to develop a tool that will implement part of this methodology, producing a partial implementation that must be complemented by the developer.

A literatura sobre Teste de Software apresenta diversas estratégias e metodologias que definem critérios eficazes e automatizáveis para selecionar casos de teste capazes de detectar erros em softwares. Embora eficientes na descoberta de erros, as técnicas de seleção de casos de teste exigem que uma quantidade relativamente grande de testes seja realizada para satisfazer os seus critérios. Essa característica acarreta, em parte, um alto custo na atividade de teste, uma vez que, ao fim de cada teste deve-se verificar se o comportamento do software está ou não de acordo com os seus requisitos. Oráculo para teste de software é um mecanismo capaz de determinar se o resultado de um teste está ou não de acordo com os valores esperados. Freqüentemente, assume-se que o próprio projetista de teste é o responsável por esta tarefa. A automatização da atividade dos oráculos deu origem a oráculos automáticos, os quais são capazes de determinar o bom ou mau funcionamento do software a partir de uma fonte de informação confiável. Ao longo dos anos, a especificação formal vêm sendo largamente utilizada como fonte de informação para oráculos automáticos. Diversas estratégias vêm propondo geradores de oráculos baseados em especificações formais. Dentre as características marcantes dessas estratégias, cita-se aquelas que são aplicáveis a implementações derivadas a partir da estrutura da especificação e aquelas que geram oráculos a partir de técnicas específicas de seleção de casos. Essas características, entretanto, limitam a aplicação abrangente dos oráculos por restringi-los tanto a implementações derivadas diretamente de especificações como ao uso de técnicas específicas de seleção de casos de teste. Este trabalho apresenta um estudo sobre os geradores de oráculos para teste de software, identifica aspectos fundamentais que regem seu processo de construção e propõe uma estratégia que permite a geração de oráculos semi-automaticamente, mesmo para implementações não derivadas diretamente da estrutura da especificação. A estratégia proposta é, também, aplicável aos casos de teste derivados de qualquer técnica de seleção de casos de teste.

Orientadores : Armando Freitas da Rocha, Fernando Antonio Campos Gomide
Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação
Made available in DSpace on 2018-08-01T18:10:34Z (GMT). No. of bitstreams: 1 Rodella_EdnilsonCesar_M.pdf: 5702239 bytes, checksum: 556fc4968529c5a9aca19efc3453199f (MD5) Previous issue date: 2002
Mestrado

Orientador: Luiz Antonio Rossi
Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica
Made available in DSpace on 2018-08-03T23:40:26Z (GMT). No. of bitstreams: 1 Miguel_AdrianaRochaFerreira_M.pdf: 17115379 bytes, checksum: ca5264fefa8a3c191861c07b20eb69d4 (MD5) Previous issue date: 2004
Resumo: Este trabalho tem como objetivo a análise dos dados de velocidade e direção predominante do vento, em 28 estações c1imatológicas no Estado de São Paulo. Foram analisadas as medições feitas a 10m de altura, obtidas das estações de organizações governamentais e particulares. A importância da análise, em microescala, destes dados está diretamente relacionada com a determinação do potencial eólico do Estado à altura de 50m, adequada à geração de energia elétrica por geradores eólicos de grande porte
Abstract: This study has the objective to a data analysis of speed and wind main direction, in 28 climatologic stations at São Paulo State. It was analyzed the measures perfonned at 10 meters high gather from govermental and private organizations. The analysis importance, in micro scale, of this data are strainght related with determination of State wind density at 50 meters high, what is adequate to electric power generation by large-scale wind turbines
Mestrado
Mestre em Planejamento de Sistemas Energéticos

Mestrado em Gestão e Planeamento em Turismo
Compreender e saber gerir as necessidades das novas gerações é uma tarefa essencial para a gestão de qualquer negócio. No turismo, em particular, importa perceber se existe uma geração à qual a empresa se destina e adaptar a sua oferta tendo por base as preferências de consumo dessa geração. No ramo do alojamento, esta premissa é particularmente importante, pois além de garantir a continuidade do negócio, sendo o alojamento condição fundamental para atrair o turismo em qualquer destino, tem também poder de definir qual o tipo de turista que visita a cidade em que se localiza. A geração Y, cujos membros são frequentemente apelidados de Millennials, está a ganhar força no que diz respeito ao turismo e ao consumo, uma vez que se encontra numa fase em que começa a ganhar estabilidade a nível profissional e familiar. Adquirindo ainda na juventude o hábito e o gosto pelas viagens, esta geração tem um imenso potencial que não pode deixar de ser estudado. As novas formas de alojamento relacionam-se diretamente com a Geração Y, surgindo precisamente para dar resposta às novas necessidades do turista da atualidade. Em Portugal, o conceito de alojamento local engloba a maioria destes meios de alojamento alternativo. Aveiro, enquanto cidade que começou recentemente a apostar no seu potencial turístico, encontrando-se agora em franca expansão, apresenta-se como um bom ponto de partida para estudar a relação entre o alojamento local e a geração Y. Este projeto tem por principal objetivo conhecer o perfil demográfico do turista que se aloja no mais antigo Hostel da cidade de Aveiro, o Aveiro Rossio Hostel, numa tentativa de avaliar a importância que os Millennials adquirem nas novas formas de alojamento que têm surgido ao longo dos últimos anos.
Understanding and managing the needs of the new generations is an essential task for managing any business. In tourism, in particular, it is important to realize if there is a generation to which the company is intended and adapt its offer based on the consumption preferences of this generation. In accommodation, this premise is particularly important, since in addition to guaranteeing the continuity of the business, the accommodation being a fundamental condition to attract tourism in any destination, it also has the power to define the type of tourist that visits the city in which it is located. Generation Y, whose members are often nicknamed Millennials, is gaining strength in tourism and consumption as it is at a stage where it is gaining stability on a professional and family level. Acquiring still in the youth the habit and the taste for travelling, this generation has an immense potential that needs to be studied. The new forms of accommodation are directly related to the generation Y, appearing precisely to respond to the new needs of today's tourist. In Portugal, the concept of alojamento local includes the majority of these alternative accommodation facilities. Aveiro, a city that has recently started betting on its tourism potential, is now in great expansion, and it is a good starting point for studying the relationship between alojamento local and generation Y. This project’s main goal is to know the demographic profile of the tourist that is staying in the oldest Hostel in the city of Aveiro, Aveiro Rossio Hostel, in an attempt to evaluate the importance that the Millennials acquire in the new forms of lodging that have arisen over the last years.

Made available in DSpace on 2014-06-11T19:27:53Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-07-10Bitstream added on 2014-06-13T20:36:29Z : No. of bitstreams: 1 maia_lgm_me_arafo.pdf: 792493 bytes, checksum: 55e953092d5be55cdff1f450dee78f37 (MD5)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
A fotoelasticidade é um fenômeno ótico muito utilizado em pesquisas da engenharia e da mecânica. Este método avalia áreas submetidas à forças provenientes de sistemas mecânicos complexos e transforma luz comum polarizadas em padrões de luz isoclínicas e isocromáticas denominados franjas fotoelásticas. A fotoelasticidade foi utilizada pela primeira vez em pesquisa odontológica por Zak, em 1935, quando ele aplicava forças ortodônticas de diferentes pontos de aplicação e observava o sistema de força gerado por esse sistema. Esse fenômeno pode ser observado através do polariscópio e os testes são realizados em modelos fotoelásticos construídos a partir da resina epóxi. Baseado nisso, esta pesquisa avaliou o sistema de força gerado pela mola T de retração ortodôntica para fechamento de espaço, confeccionada com fio de titânio-molibdênio de secção transversal 0,017X 0,025, com três tipos de pré-ativação, sendo a primeira definida por Burstone, a segunda por Marcotte e a terceira, por Souza. A distância interbráquete utilizada foi de 27,0mm e a mola T foi posicionada, centralizada no espaço interbráquete e a avaliação do sistema de força foi analisado tanto para o lado da retração quanto para o lado de ancoragem. Cada mola era ativada em posição neutra, ativação média e ativação máxima. Para o registro dos testes utilizou-se uma máquina digital e após a obtenção dos registros as imagens foram impressas, interpretadas qualitativamente e expressa em gráficos. O sistema de força desenvolvido entre as três pré-ativações mostrou-se com maior concentração de energia para a Mola T com pré-ativação de Souza, seguindo por marcotte e por último, Burstone. Concluiu-se o sistema de força liberado pela Mola T retração, apresentou um sistema de força simétrico entre o segmento de ancoragem e o segmento ativo.
Photo elasticity is an optical phenomenon used quite a lot in engineering and mechanical research. This method evaluates areas submitted to forces created by complex mechanical systems and transforms ordinary polarized light into patterns of isoclinic and isocromatic light known as photo elastic fringes. Photo elasticity was used for the first time in orthodontic research by Zak, in 1935, when he applied orthodontic forces from different application points and observed the force systems generated by this system. This phenomenon can be observed through the polariscope and the tests are carried out on photo elastic models made from epoxy resin. Based on this, this research evaluated the force system generated by a orthodontic T spring retractor for the closure of spaces, made with a titanium-molybdenum wire with a transversal section of 0,017 X 0,025, with three types of pre-activation, the first having been defined by Burnstone, the second by Marcotte and the third by Souza. The inter-bracket distance used was of 27, 0 mm. and the T spring was placed, centralized in the inter-bracket space and the evaluation of the force system was analyzed both at the retraction point and at the anchorage point. Each spring was activated in a neutral position, medium activation and maximum activation. A digital camera was used to register the tests and, after obtaining the records, the images were printed, qualitatively interpreted and expressed graphically. The force system developed among the three pre-activation types showed a greater energy concentration with the Souza pre-activation type, followed by the Marcotte type and lastly by the Burnstone type. It was concluded that the force system liberated by the T spring retractor presented a symmetrical force system between the anchorage segment and the active segment.

Resumo: A fotoelasticidade é um fenômeno ótico muito utilizado em pesquisas da engenharia e da mecânica. Este método avalia áreas submetidas à forças provenientes de sistemas mecânicos complexos e transforma luz comum polarizadas em padrões de luz isoclínicas e isocromáticas denominados franjas fotoelásticas. A fotoelasticidade foi utilizada pela primeira vez em pesquisa odontológica por Zak, em 1935, quando ele aplicava forças ortodônticas de diferentes pontos de aplicação e observava o sistema de força gerado por esse sistema. Esse fenômeno pode ser observado através do polariscópio e os testes são realizados em modelos fotoelásticos construídos a partir da resina epóxi. Baseado nisso, esta pesquisa avaliou o sistema de força gerado pela mola T de retração ortodôntica para fechamento de espaço, confeccionada com fio de titânio-molibdênio de secção transversal 0,017"X 0,025", com três tipos de pré-ativação, sendo a primeira definida por Burstone, a segunda por Marcotte e a terceira, por Souza. A distância interbráquete utilizada foi de 27,0mm e a mola T foi posicionada, centralizada no espaço interbráquete e a avaliação do sistema de força foi analisado tanto para o lado da retração quanto para o lado de ancoragem. Cada mola era ativada em posição neutra, ativação média e ativação máxima. Para o registro dos testes utilizou-se uma máquina digital e após a obtenção dos registros as imagens foram impressas, interpretadas qualitativamente e expressa em gráficos. O sistema de força desenvolvido entre as três pré-ativações mostrou-se com maior concentração de energia para a Mola T com pré-ativação de Souza, seguindo por marcotte e por último, Burstone. Concluiu-se o sistema de força liberado pela Mola T retração, apresentou um sistema de força simétrico entre o segmento de ancoragem e o segmento ativo.
Abstract: Photo elasticity is an optical phenomenon used quite a lot in engineering and mechanical research. This method evaluates areas submitted to forces created by complex mechanical systems and transforms ordinary polarized light into patterns of isoclinic and isocromatic light known as photo elastic fringes. Photo elasticity was used for the first time in orthodontic research by Zak, in 1935, when he applied orthodontic forces from different application points and observed the force systems generated by this system. This phenomenon can be observed through the polariscope and the tests are carried out on photo elastic models made from epoxy resin. Based on this, this research evaluated the force system generated by a orthodontic T spring retractor for the closure of spaces, made with a titanium-molybdenum wire with a transversal section of 0,017" X 0,025", with three types of pre-activation, the first having been defined by Burnstone, the second by Marcotte and the third by Souza. The inter-bracket distance used was of 27, 0 mm. and the T spring was placed, centralized in the inter-bracket space and the evaluation of the force system was analyzed both at the retraction point and at the anchorage point. Each spring was activated in a neutral position, medium activation and maximum activation. A digital camera was used to register the tests and, after obtaining the records, the images were printed, qualitatively interpreted and expressed graphically. The force system developed among the three pre-activation types showed a greater energy concentration with the Souza pre-activation type, followed by the Marcotte type and lastly by the Burnstone type. It was concluded that the force system liberated by the T spring retractor presented a symmetrical force system between the anchorage segment and the active segment.
Orientador: Luiz Gonzaga Gandini Junior
Coorientador: Vanderlei Luiz Gomes
Banca: Ary dos Santos Pinto
Banca: Gustavo Mattos Barreto
Mestre

Nas últimas décadas, o tema "meio ambiente" tem se tornado alvo cada vez maior de discussão, dado a grande dependência, em escala mundial, da energia gerada por combustíveis fósseis, os quais são finitos. Dessa forma, buscam-se alternativas à geração de energia hoje predominante focadas na sustentabilidade e na utilização de fontes limpas e renováveis. Nesse contexto, o estímulo ao uso de fontes de energia renováveis tem crescido não só no Brasil como no exterior. Dentre as diversas possibilidades temos, a energia eólica que, dado o estágio atual de maturidade de sua indústria, a diminuição dos preços dos aerogeradores à medida que a tecnologia evolui e os incentivos dados pelo governo federal à construção de usinas eólicas, tem aumentado ano a ano sua participação na matriz energética brasileira, atualmente em 1,78%, com perspectiva de chegar aproximadamente em 9% até 2021, segundo dados da ANEEL e da ABEEólica (Associação Brasileira de Energia Eólica). Além disso, é mister ressaltar que a utilização em larga escala da matriz eólica para a produção de energia elétrica tem o objetivo de diminuir a dependência da produção de energia por meio de combustíveis fósseis, os quais não são renováveis e são extremamente poluentes. Assim, tendo em vista o aumento da competitividade da geração de energia eólica no Brasil nos últimos anos, objetiva-se, por meio da presente monografia, analisar inicialmente a atual indústria de geração de energia elétrica sob o novo marco regulatório e, em seguida, a especificidade da indústria de geração de energia eólica, a potencialidade de geração de energia eólica no Brasil, a regulação específica incidente sobre tal geração de energia, em consonância com o novo marco regulatório do setor elétrico e os incentivos para sua produção no Brasil.
MBA Executivo (especialização em Administração) - Universidade Federal do Rio de Janeiro. Instituto de Pós-Graduação e Pesquisa em Administração, Rio de Janeiro, 2013.
Bibliografia: p. [22-25]

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Ambiental, Florianópolis, 2013.
Made available in DSpace on 2014-08-06T17:41:30Z (GMT). No. of bitstreams: 1 325534.pdf: 4495162 bytes, checksum: da12556cd938a1caa13344d615c1e813 (MD5) Previous issue date: 2013
A presente dissertação aborda o aproveitamento dos gases emitidos no processo de fabricação do ferro gusa em alto forno de siderúrgicas localizadas em Minas Gerais que utilizam carvão vegetal como matéria prima e a viabilidade de geração de energia a partir desses gases. Os objetivos dessa dissertação são: descrever o processo de produção das siderúrgicas a carvão vegetal; levantar a natureza dos gases gerados no topo do alto forno; identificar as principais técnicas de reutilização dos GAF (gases de alto forno), bem como seus respectivos métodos de tratamento e mostrar a viabilidade de instalação de um sistema de geração de energia elétrica através do reaproveitamento dos GAF, sendo o objetivo principal a gestão do GAF. Para atingir tais metas foram utilizadas pesquisas bibliográficas, informações laboratoriais e pesquisa de campo (estudo de caso). A intenção foi apontar as melhorias a serem feitas nos sistemas de aproveitamento e tratamento dos GAF de uma empresa siderúrgica em Minas Gerais e a vantagem de reutilizar o GAF na produção de energia. Com isso pretende-se demonstrar a viabilidade do aproveitamento do GAF nas etapas do processo de produção do ferro gusa e na geração de energia elétrica, o qual está diretamente relacionado à busca da sustentabilidade da siderúrgica. O resultado mostra que ajustes nos sistemas de tratamento do GAF, proporcionam uma produção mais limpa e econômica para a empresa.
Abstract: This dissertation addresses the utilization of waste gas in the manufacturing process of pig iron in blast furnace steelmakers located in Minas Gerais using vegetal coal as raw material and viability power generation from this gases. The objectives of this dissertation are: describe the production process of steelmakers to vegetal coal; lifting the nature of the gases generated in furnace top; identify the main techniques for reuse the BFG (blast furnace gas), as well their respective methods of treatments and show the feasibility of installing a system of generating electricity through the reuse of the BGF. To achieve this goals we use literature searches, laboratory information and field research (case study). The intent is to point out the improvements to be made in the systems of exploitation and processing of BGF for a steel company in Minas Gerais and advantage of reuse BGF in the production of energy. With that is intended to demonstrate the feasibility of the use of BGF stages of pig iron production and electric power generation, which is directly related to the pursuit of sustainability of steelmaker. The result shows that adjustments in treatment systems BGF, provide cleaner production and financial savings for the steel company.