[pt] Esta tese apresenta um novo cálculo de sequente, correto e completo para a Lógica Proposicional Minimal Implicacional (M →). LMT → destina-se a ser usado para a busca de provas em M →, em uma abordagem bottom-up. A Terminação do cálculo é garantida por uma estratégia de aplicação de regras que força uma maneira ordenada no procedimento de busca de provas de tal forma que todas as combinações possíveis são exploradas. Para uma fórmula inicial α, as provas em LMT→ têm um limite superior de |α|.2 |α|+1+2·log2|α|, que juntamente com a estratégia do sistema, garantem a decidibilidade do mesmo. As regras do sistema são concebidas para lidar com a necessidade de repetição de hipóteses e a natureza de perda de contexto da regra → esquerda , evitando a ocorrência de loops e o uso de backtracking. Portanto, a busca de prova em LMT → é determinística, sempre executando buscas no sentido forward. LMT → tem a propriedade de permitir a extração de contramodelos a partir de buscas de prova que falharam (bicompletude), isto é, a árvore de tentativa de prova de um ramo totalmente expandido produz um modelo de Kripke que falsifica a fórmula inicial. A geração de contra-modelo (usando a semântica Kripke) é obtida como consequência da completude do sistema. LMT→ é implementado como um provador de teoremas interativo baseado no cálculo proposto aqui. Comparamos nosso cálculo com outros sistemas dedutivos conhecidos para M →, especialmente com Tableaux no estilo Fitting, um método que também tem a propriedade de ser bicompleto. Também propomos aqui uma tradução de LMT → para o verificador de prova Dedukti como uma forma de avaliar a correção da implementação que desenvolvemos, no que diz respeito à especificação do sistema, além de torná-lo mais fácil de comparar com outros sistemas existentes. / [en] This thesis presents a new sequent calculus called LMT→ that has the properties to be terminating, sound and complete for Propositional Implicational Minimal Logic (M →). LMT→ is aimed to be used for proof search in M →, in a bottom-up approach. Termination of the calculus is guaranteed by a strategy of rule application that forces an ordered way to search for proofs such that all possible combinations are stressed. For an initial formula α, proofs in LMT→ has an upper bound of |α|.2 |α|+1+2·log2|α|, which together with the system strategy ensure decidability. System rules are conceived to deal with the necessity of hypothesis repetition and the contextsplitting nature of → left, avoiding the occurrence of loops and the usage of backtracking. Therefore, LMT→ steers the proof search always in a forward, deterministic manner. LMT→ has the property to allow extractability of counter-models from failed proof searches (bicompleteness), i.e., the attempt proof tree of an expanded branch produces a Kripke model that falsifies the initial formula. Counter-model generation (using Kripke semantics) is achieved as a consequence of the completeness of the system. LMT→ is implemented as an interactive theorem prover based on the calculus proposed here. We compare our calculus with other known deductive systems for M →, especially with Fitting s Tableaux, a method that also has the bicompleteness property. We also proposed here a translation of LMT→ to the Dedukti proof checker as a way to evaluate the correctness of the implementation regarding the system specification and to make our system easier to compare to others.

[pt] O uso da energia solar fotovoltaica como fonte para geração/consumo de energia elétrica traz benefícios sob diversas perspectivas, desde a financeira até o estímulo à geração de emprego, passando pela questão ambiental. Mesmo assim, ainda não há amplo engajamento dos cidadãos para geração solar em suas residências devido ao caráter inovador do produto-serviço, que deixa dúvidas nas pessoas. Dado esse quadro, propusemos a especificação de um serviço de apoio a tomada de decisão para adesão à Geração Distribuída Fotovoltaica (GDFV). O design para apoio a tomada de decisão do cidadão para a GDFV deve considerar os diversos motivos que influenciam a decisão das pessoas. Os atributos que influenciam os cidadãos no processo decisório foi o objeto de estudo. Como metodologia, efetuamos pesquisa documental e bibliográfica sobre o contexto da GD em alguns países e o estado da arte no Brasil, discutimos o novo significado que a geração distribuída trouxe para o cenário energético a partir da gestão da inovação e principalmente pelo Design Drive-Innovation (VERGANTI, 2012). Realizamos entrevistas exploratórias semiestruturadas e aplicamos um questionário para ampliar a lista de atributos influenciadores numa amostragem não probabilística por conveniência. Os resultados nos permitiram construir um Mapa de Atributos, que são os fatores chave do processo decisório. Utilizamos uma série de técnicas do Design da Serviços para modelagem de um serviço de apoio à tomada de decisão (SATD). Ancorado em plataforma web, o SATD permitirá a união de oferta e demanda a partir de um autodiagnóstico do cidadão, conduzindo-o ao modelo de negócio mais aderente ao seu perfil. / [en] The use of photovoltaic solar energy as a source for the generation/consumption of electric energy brings benefits from different perspectives, from financial perspectives to encouraging job creation, including environmental issues. Even so, there is still no broad engagement of citizens for solar generation in their homes due to the innovative nature of the product-service, which leaves people with doubts. Given this situation, we proposed the specification of a decision-making support service for joining the Photovoltaic Distributed Generation (GDFV). The design to support citizen decision-making for the GDFV must consider the various reasons that influence people s decision. The attributes that influence citizens in the decision-making process was the object of study. As a methodology, we carried out documentary and bibliographic research on the context of DG in some countries and the state of the art in Brazil, we discussed the new meaning that distributed generation brought to the energy scenario from the management of innovation and mainly through Design Drive-Innovation. (VERGANTI, 2012). We conducted semi-structured exploratory interviews and applied a questionnaire to expand the list of influencing attributes in a nonprobabilistic convenience sample. The results allowed us to build a Map of Attributes, which are the key factors in the decision-making process. We use a series of Service Design techniques to model a decision support service (SATD). Anchored in a web platform, the SATD will allow the union of supply and demand based on a self-diagnosis of the citizen, leading him to the business model that is most adhering to his profile.

[pt] Os novos elementos conectados nos sistemas de distribuição de energia elétrica aumentam a complexidade do planejamento e operação destas redes. Os benefícios da implementação de técnicas clássicas, como Conservation Voltage Reduction (CVR), combinadas com uma operação coordenada dos recursos energéticos distribuídos, podem contribuir para o aumento de eficiência nos sistemas de distribuição de energia elétrica e reduzir o consumo de energia. Na técnica CVR, as tensões são reduzidas objetivando redução de picos de demanda e consumo de energia. Este trabalho propõe um modelo de otimização para o planejamento da operação do dia seguinte nos sistemas de distribuição de energia elétrica, considerando sistemas desequilibrados e com penetração de geração distribuída (GD) fotovoltaica. A técnica CVR será aplicada em uma abordagem determinística, estocástica e robusta, considerando a incerteza nos seus parâmetros e, consequente, na modelagem de carga. O modelo de otimização proposto considera a atuação de elementos de controle tradicionais, como transformador On Load Tap Changers (OLTC) na subestação e bancos de capacitores (BC), além de elementos modernos, como inversores fotovoltaicos inteligentes, para minimização do consumo de energia observado na subestação. O problema, fundamentalmente de programação não-linear inteira mista, é transformado em um problema de programação linear de natureza contínua. Os resultados são avaliados no sistema teste IEEE 123-barras para as diferentes estratégias modeladas. A economia de energia obtida foi significativa nas abordagens propostas, mas o modelo de otimização robusta se mostrou mais adequado para reduzir os riscos de violação de tensão. / [en] The new elements connected in electrical distribution systems increase the complexity of grids planning and operating. The benefits of classical techniques, such as Conservation Voltage Reduction (CVR), combined with a coordinated operation of distributed energy resources, can contribute to increasing efficiency and reducing energy consumption of the distribution systems. In the CVR technique, voltages are reduced in order to reduce peak demand and energy consumption. This paper proposes an optimization model for the day-ahead operation planning of unbalanced distribution systems with photovoltaic distributed generation (DG) penetration. The CVR technique will be applied in deterministic, stochastic and robust approach, considering the uncertainty in its parameters and consequently, in the load modeling. The proposed optimization model considers the operation of traditional control elements, such as On Load Tap Changers (OLTC) at substation and capacitor banks (CB), in addition to modern elements, such as intelligent photovoltaic inverters, to minimize the energy consumption at the substation. The problem, originally of mixed-integer nonlinear programming, is transformed into a continuous linear programming problem. The results are evaluated in the IEEE123-bus test system for the different optimization approaches. The energy savings obtained were significant in all the proposed approaches, but the robust optimization model proved to be more adequate since it reduces the risk of voltage violations.

[pt] A recente expansão das fontes renováveis para geração de energia elétrica decorre do encarecimento dos combustíveis fósseis e da preocupação com impactos ambientais e mudanças climáticas, assim como de avanços tecnológicos e da queda de seus custos de implantação. Entretanto, a natureza intermitente e sazonal dos recursos naturais, como vento e irradiação solar, pode afetar a operação do sistema elétrico. Uma alternativa para dar equilíbrio à carga do sistema, proporcionando ainda outros benefícios, é o armazenamento de energia. Uma tecnologia de larga escala para armazenamento é a de bombeamento hidráulico por meio de usinas hidrelétricas reversíveis (UHR), que oferecem mais eficiência, tempo de resposta mais rápido e vida útil mais longa que outras alternativas. Tendo em vista as lacunas teóricas no campo acadêmico, a dissertação propõe um modelo para identificação de locais potenciais para implantação dessas usinas, com o auxílio de ferramentas de sistema de informação geográfica e de formulações matemáticas que consideram critérios fisiográficos, energéticos, econômicos e socioambientais. Partindo de uma abordagem baseada no conceito de geomorphons combinada com soluções de um problema de otimização, o modelo proposto tem por objetivo definir uma formulação que busque minimizar os custos de construção de uma UHR. A demonstração da aplicabilidade do modelo é feita em torno do reservatório da UHE Sobradinho, e os resultados são discutidos a partir da comparação dos locais selecionados e dos custos obtidos. Pode-se concluir que é possível identificar potenciais locais para implantação de UHR a partir desse modelo, o que pode beneficiar agentes de planejamento do setor elétrico, bem como empresas que estejam interessadas em investir nesta tecnologia. / [en] The expansion of the use of renewable sources for electricity generation in recent years is a result of the increase of fossil fuels costs and the growing concern with climate change and the impacts on the environment, as well as technological advances and the reduction in their implementation costs. However, the availability of some natural resources for renewable energy matrices, such as wind and solar irradiation, has an intermittent and seasonal nature, which may affect the electrical system operation (CANALES et al., 2015; KELMAN & HARRISON, 2019). One of the alternatives to balance the system load is energy storage, which offers benefits to the electricity provision (ancillary services, for example) and regulates the frequency in times of high demand with low energy supply from renewables, contributing with the necessary inertia so that demand does not change instantly (BARBOUR et al., 2016). The most widely large-scale technology used for storage in the world is hydraulic pumping through pumped storage hydropower – PSH (GUITTET et al., 2016; IHA, 2018). Compared to other technologies, it provides a solution with high efficiency, faster response time and longer useful life (REHMAN et al., 2015). The operation of the plants is characterized by the pumping of water from a lower reservoir for its accumulation in an upper reservoir for energy generation in periods of high demand (BARBOUR et al., 2016). Energy storage alternatives are already on the agenda in the Brazilian energy sector as an option to ensure the system development in an economic and sustainable manner. In the 2030 Ten-Year Energy Expansion Plan (EPE, 2021b), PSH is highlighted as one of the resources to expand the offer for rush hour demand response. EPE understands that preliminary studies are an important step to support the sector s planning and guide the definition of regulatory aspects, which do not yet exist, related to the systemic benefits of this type of solution.

[pt] As mudanças recentes nas matrizes elétricas mundiais são geralmente motivadas pela busca de fontes de energia mais limpas e pela dificuldade na construção de novas gerações centralizadas. Como resultado, este estímulo altera não apenas a tecnologia da fonte de energia, mas também a sua localização, que agora passa a ser mais próximas aos centros consumidores ou até mesmo conectadas à rede de distribuição, como a Geração Distribuída (GD). No Brasil, a GD possui um arcabouço regulatório que permite aos seus adeptos, chamados de prosumidores, terem um papel ativo na rede de distribuição, injetando e consumindo eletricidade consoante o seu balanço elétrico. Esse comportamento traz novos desafios para as companhias de distribuição, e, embora alguns benefícios da GD possam ser obtidos para essas companhias, a perda de mercado e diminuição de suas receitas fixas podem acarretar em transferência de custos estruturais, dos prosumidores para os consumidores sem este tipo de instalação. Nesse contexto, o presente trabalho realiza uma análise técnico-econômico, para novos empreendimentos residenciais de GD fotovoltaica, parcela mais significativa de GD no Brasil. Essa análise considera todas as opções propostas de revisão da regulação de GD pelo órgão regulador e aborda tanto o impacto no retorno do investimento pelos prosumidores, quanto o impacto nas receitas em todas as distribuidoras do país. Para isto, no âmbito do investidor, serão avaliados três diferentes fatores econômicos: LCOE, payback descontado e benefício-custo; já no âmbito da distribuidora, será avaliado o impacto do aumento das GD na receita da empresa e na tarifa de energia elétrica imposta pela mesma, para tanto será realizado uma previsão de mercado para os próximos dez anos, considerando o modelo baseado em Bass. Os estudos realizados apontaram que qualquer uma das opções propostas pelo órgão regulador causará uma redução do mercado aderente a instalação da GD, o que consequentemente levará a uma redução dos prejuízos das distribuidoras e cenários menos favoráveis ao investimento pelo lado do prosumidor. / [en] Recent changes in the world s electrical mix are generally motivated by the search for cleaner energy sources and by the difficulty in building new centralized power plants. As a result, this stimulus changes not only the energy source technology, but also its location, which is now closer to consumer centers or even connected to the distribution network, such as Distributed Generation (DG). In Brazil, DG has a regulatory framework that allows its supporters, called prosumers, to play an active role in the distribution network, injecting and consuming electricity according to their own electrical balance. This behavior brings new challenges for distribution companies, and although some benefits of DG can be obtained for these companies, the loss of market and reduction of their fixed revenues can result in the transfer of structural costs, from prosumers to consumers without this type of installation. In this context, this work performs a technical-economic analysis for new residential projects of photovoltaic DG, the most significant portion of DG in Brazil. This analysis considers all proposed options for reviewing DG regulation by the regulatory body and addresses both the impact on return on investment by prosumers and the impact on revenues in all distribution companies in the country. For this, within the investor, three different economic factors are evaluated: LCOE, discounted payback and benefit-cost; within the scope of the distribution companies, the impact of the increase in DG on the company s revenue and on their electricity tariff are also evaluated, for which a market forecast will be made for the next ten years, considering the model based on Bass. The obtained results indicate that any of the options proposed by the regulatory agency will cause a reduction in the market adherent to the installation of the DG, which will consequently lead to a reduction in the revenue losses for distribution companies and less favorable scenarios for investment on the prosumer side.

[pt] Ondas ultrassônicas do tipo SH (do inglês, shear horizontal), ou de cisalhamento horizontal são úteis no campo de ensaios não-destrutivos. Essas podem ser geradas, em meios metálicos, por transdutores acústicos eletromagnéticos (EMAT) que utilizam um arranjo de ímãs permanentes periódicos (PPM), chamados de EMATs PPM. Tais dispositivos em sua forma convencional, entretanto, geram ondas ultrassônicas bidirecionalmente, ou seja, para frente e para trás. Essa característica é geralmente indesejada. Recentemente, foi proposto um EMAT tipo PPM duplo com separação lateral que gera ondas nominalmente em uma única direção. Entretanto, seu diagrama de radiação revela lóbulos traseiros laterais. Esta dissertação tem como objetivo aprimorar o supracitado projeto através de seus parâmetros de construção, mais especificamente, o número de fileiras de ímãs permanentes do arranjo PPM e a separação lateral entre as mesmas. Foi desenvolvido um modelo analítico, baseado em linhas de fontes lineares, que considera a projeção de cada espira como uma fonte harmônica independente, para cálculo do campo ultrassônico gerado por EMATs PPM, tanto os do tipo PPM duplo, quanto o convencional. Com isso, foi possível obter o digrama de radiação teórico dos dispositivos, de forma a analisar como os seus parâmetros de construção interferem em sua unidirecionalidade. Utilizou-se três tecnologias distintas de bobinas, a saber, bobinas fabricadas manualmente, bobinas fabricadas a partir de placas de circuito impresso (PCB) flexível de poliamida e PCB flexível de poliéster. Os arranjos PPM duplos foram colocados sobre moldes impressos em impressora 3D. Realizou-se testes experimentais em uma placa de alumínio 1.5 mm de espessura, com EMAT PPM comercial utilizado como receptor, em diversos ângulos, com o objetivo de calcular o diagrama de radiação experimental do EMAT PPM duplo. Ao todo foram montadas 44 unidades quando combinadas todas as tecnologias de fabricação de bobina, com separação lateral de 1 mm a 4 mm e 1 a 4 de fileiras de ímãs. Resultados experimentais e teóricos mostraram boa concordância. Foi observado que tanto aumentar o número de fileiras de ímãs, quanto diminuir a sua separação lateral reduzem a intensidade dos lóbulos traseiros laterais. Resultados experimentais mostraram que, com a configuração de 4 fileiras de ímãs, separados lateralmente por 1 mm e bobinas feitas a partir de PCB de poliamida, a intensidade dos lóbulos traseiros laterais foi reduzida em 8.6 dB, em relação à configuração original do PPM EMAT duplo . Sobre as tecnologias de bobina, pode-se concluir que o uso de PCBs flexíveis tornou possível obter menores separações laterais entre as fileiras de ímãs e simplificar o processo de construção do EMAT PPM duplo, com destaque para a bobina feita com PCB flexível de poliamida, que apresentou baixo erro médio entre medidas experimentais e simuladas, apresentando também o mais fácil processo de fabricação entre os três tipos de bobinas avaliados. / [en] Shear horizontal (SH) ultrasonic waves are useful in the non-destructive evaluation field. They can be generated, in metallic media, by electromagnetic acoustic transducers (EMAT) that use an array of periodic permanent magnets (PPM). PPM EMATs, in their conventional form, generate forward and backward traveling SH waves. This feature is generally undesired. Recently, a side-shifted dual-PPM EMAT has been proposed. This device generates waves predominantly in a single direction. However, its radiation pattern reveals backward side lobes. This thesis aims to improve the aforementioned design through its construction parameters, more specifically, the number of rows of magnets in the PPM array and the lateral separation between them. An analytical model, based on the line source method, which considers the wires projections as independent wave sources, was developed to calculate the ultrasonic field generated by PPM EMATs, either for the conventional one or the dual-PPM EMAT. Exploiting the developed model, it was possible to compute the theoretical radiation pattern of the device in order to better analyse how its construction parameters affect its unidirectionality. Three different coil technologies were used, namely hand-wound coils and coils made with flexible printed circuit boards (PCBs), either of polyamide or polyester material. The magnet arrays were mounted on 3D-printed molds to ensure their positioning. Experimental tests were carried out where the fabricated device was placed onto a 1.5 mm-thick aluminum plate, and a commercial PPM EMAT was used as a receiver, at different reception angles, in order to calculate the radiation pattern of the dual-PPM EMAT. Overall, 44 units, combining all coil technologies, were manufactured with lateral separation from 1 mm to 4 mm and 1 to 4 rows of magnets per PPM. Experiments and theoretical results presented good agreement. It was observed that either increasing the number of rows of magnets or decreasing their lateral separation reduced the intensity of the backward side lobes. When using the configuration of 4 rows of magnets and 1 mm side shift, fabricated with polyamide PCBs, results revealed that the intensity of the backward side lobes was reduced by 8.6 dB, when compared with the original configuration. Regarding the coil technologies, it can be concluded that the use of flexible PCBs allowed one to obtain shorter lateral separations between rows of magnets and simplified the fabrication process of the dual-EMAT. Mainly, the poliamide-based flexible PCB coil presented low average error between experimental and simulated measurements and the easiest fabrication process among all three coil technologies tested.

[pt] A complementaridade entre os perfis de geração renovável tem sido amplamente explorada na literatura. No entanto, as estruturas regulatórias eeconômicas para usinas híbridas de energia apresentam desafios e oportunidades interessantes para investidores, reguladores e planejadores. Focando nomercado de energia brasileiro, este artigo propõe um cálculo unificado e isonômico de Garantia Física (GF) para geradores renováveis não controláveis, quenos permite 1) generalizar o conceito de GF para unidades híbridas e 2) capturar as sinergias regulatórias e econômicas entre as fontes. Com base na GFnão discriminatória proposta para usinas híbridas de energia, a co-otimizaçãodas estratégias de contratação de energia no mercado de futuro e da rede, o Montante de Uso do Sistema de Transmissão (MUST), é estudada, e seus incentivos econômicos são demonstrados. A participação ótima de fontes renováveisque compõem a geração da usina híbrida também é considerada no modelo eanalisada em nossos estudos de caso. Com base em dados reais do mercadode energia brasileiro, quantificamos os benefícios das estruturas e modelos demercado propostos para uma unidade híbrida típica de eólico-solar. / [en] The complementarity between renewable generation profiles has been widely explored in literature. Notwithstanding, the regulatory and economic frameworks for hybrid power plants add interesting challenges and opportunities for investors, regulators, and planners. Focusing on the Brazilian power market, this paper proposes a unified and isonomic firm energy certificate (FEC) calculation for non-controllable renewable generators, which allows us to 1) generalize the FEC concept for hybrid units and 2) capture the regulatory and economic synergies between sources. Based on the non-discriminatory FEC proposed for hybrid power plants, the co-optimization of both forward-market and network-access contracting strategies is studied, and its economic incentives are demonstrated. The optimal share of renewable sources composing the hybrid power plant is also considered in the model and analyzed in our case studies. Based on real data from the Brazilian power market, we quantify the benefits of the proposed market structures and model for a typical wind–solar hybrid unit.

[pt] A presente tese procura compreender como Gilberto Freyre se comportou enquanto intelectual durante a conturbada década de 1920. A partir dos textos que Freyre escreveu para o jornal Diário de Pernambuco e da correspondência trocada com Oliveira Lima e José Lins do Rego, pergunta-se como Freyre reagiu diante da crise que se gestava no Brasil durante a década de 1920. Parte-se da hipótese de que Freyre foi profundamente afetado pelo contexto de crise em que estava inserido nos EUA e na Europa do pós-guerra, assim como na crise da Primeira República que encontra ao retornar para o Brasil em 1923. Se observou que nesses três contextos se encontrava movimentos culturais que questionavam a ideia geral de Progresso instada pelas ideologias de liberalismo e positivismo. A sua formação intelectual, junto do choque de encontrar sua cidade natal modificada pelo processo de modernização em curso, do qual já era crítico desde o EUA, confluem nos textos que escreveu para o mencionado jornal. Nesses textos, é possível observar o Freyre crítico social, acusando os males da modernização, do positivismo, do liberalismo, da democracia. A ideia de geração como recorte analítico se dá a partir da teoria de Mannheim, que relaciona as categorias de intelectual e de geração com momentos de transição social. Tal escolha foi estimulada pela percepção de que o próprio Freyre adotou uma narrativa geracional em seus textos da época. O que se pode perceber com essa pesquisa é que o jovem intelectual pernambucano, diante da crise que se observou no país, se posicionou como voz de uma grande geração – a geração da guerra. Papel que identifica também nos intelectuais do Rio e de São Paulo, consubstanciado em um dever de corrigir os excessos da geração de seus pais, isto é, a geração que fundou a República. A presente tese reafirma a partir da trajetória de Freyre o que outras pesquisas já haviam apontado: nesse período houve uma afluência de diversos grupos intelectuais e artísticos em torno da ideia de uma geração que possui a responsabilidade de constituir a identidade nacional. Para o jovem pernambucano, até aquele momento estava em voga a busca por um Progresso que era realizada a custo das tradições. Portanto, para a constituição dessa nacionalidade, Freyre sugere em seus textos a necessidade de retorno criativo à tradição dos avós, que teria sido negada pela geração de seus pais. Para ele a identidade nacional deveria ser compreendida a partir da comunhão entre as particularidades regionais – fundamento do Regionalismo. / [en] This thesis seeks to understand how Gilberto Freyre behaved as an intellectual during the troubled 1920s. Based on the texts Freyre wrote for the newspaper Diário de Pernambuco and the correspondence he exchanged with Oliveira Lima and José Lins do Rego, it asks how Freyre reacted to the crisis that was brewing in Brazil during the 1920s. It is based on the hypothesis that Freyre was profoundly affected by the context of crisis in which he found himself in the USA and post-war Europe, as well as by the crisis of the First Republic that he encountered on his return to Brazil in 1923. It was observed that in these three contexts there were cultural movements that questioned the general idea of Progress instilled by the ideologies of liberalism and positivism. His intellectual upbringing, together with the shock of finding his hometown changed by the modernization process underway, of which he had already been critical since the USA, converge in the texts he wrote for the newspaper. In these texts, it is possible to see Freyre as a social critic, accusing the evils of modernization, positivism, liberalism and democracy. The idea of generation as an analytical cut-off is based on Mannheim s theory, which relates the categories of intellectual and generation to moments of social transition; this choice was stimulated by the perception that Freyre himself adopted a generational narrative in his texts of the time. What can be seen from this research is that the young intellectual from Pernambuco, in the face of the crisis in the country, positioned himself as the voice of a great generation - the war generation. A role that he also identified in the intellectuals of Rio and São Paulo, embodied in a duty to correct the excesses of his parents generation, that is, the generation that founded the Republic. Based on Freyre s trajectory, this thesis reaffirms what other research has already pointed out: during this period there was an influx of various intellectual and artistic groups around the idea of a generation that had the responsibility of constituting the national identity. For the young man from Pernambuco, the blind search for Progress, which was achieved at the cost of traditions, had been in vogue until then. Therefore, for the constitution of this nationality, Freyre suggests in his texts the need for a creative return to the tradition of his grandparents, which had been denied by his parents generation. For him, national identity should be understood from the communion between regional particularities - the foundation of Regionalism.

[pt] Este trabalho tem como finalidade analisar diferentes estratégias de detecção passíveis de aplicação em sistemas de transmissão OFDM (Orthogonal Frequency Division Multiplexing) operando em canais que variam rapidamente no tempo. Além dos métodos clássicos de detecção lineares tais como filtro casado, Zero Forcing e MMSE (Minimum Mean-Square Error), outras duas técnicas são estudadas, abrangendo também combinações entre elas. A primeira é a técnica de cancelamento paralelo de interferência (PIC - Parallel Interference Cancellation), a segunda é a detecção por busca por verossimilhança ascendente (LAS – Likelihood Ascent Search), ambas empregadas em conjunção com o filtro casado. Esse trabalho apresenta também um estudo dos efeitos de uma estimativa imperfeita do canal, no desempenho dos esquemas de detecção aqui enfocados. Os resultados dos experimentos são analisados em termos da taxa de erro de bit (BER) e custo computacional (complexidade)associado a estes esquemas. / [en] This work analyzing different detection strategies that can be applied in OFDM (Orthogonal Frequency Division Multiplexing) transmission systems over fast time-varying channels. In addition to classical linear methods of detection such as a Matched Filter, Zero Forcing and MMSE, two other techniques are studied, also encompassing combinations of them. The first is the Parallel Interference Cancellation (PIC) technique, the second is Likelihood Ascent Search (LAS), both used in conjunction with the Matched Filter. This work also presents a study of the effects of imperfect channel estimation on the performance of the detection schemes studied here. The results of the experiments are analyzed in terms of bit error rate (BER) and computational cost (complexity) associated with these schemes.

[pt] As diferenças geracionais têm influenciado o comportamento do mercado de trabalho e a literatura dedicada a descrever as aspirações profissionais dos jovens contemporâneos têm enfatizado a tendência destes em transitar entre diferentes organizações. Todavia, ainda que minoritárias no âmbito desta mesma literatura, há pesquisas que ressaltam que este comportamento não deve ser generalizado. As mesmas características organizacionais valorizadas por aqueles que buscam construir carreiras sem fronteiras podem ser encontradas no discurso de jovens que se interessam por construir carreiras de longo prazo em uma organização, daí a importância de entendermos o que de fato motiva os jovens que vem construindo suas carreiras nos moldes tradicionais, isto é, em uma mesma organização. Este é o objetivo deste estudo, que buscou entender por que jovens profissionais que atuam numa empresa privada nacional escolheram construir suas carreiras nesta organização, em meio à efemeridade e ao declínio das carreiras tradicionais. A pesquisa tentou compreender o que os motiva a trabalhar na atual empresa, e como se sentem diante das oportunidades existentes. Foram entrevistados profissionais de até 34 anos de idade, que atuam nesta empresa por, pelo menos, 4 anos, e que tenham apresentado movimentos de carreira relevantes neste período. Os principais resultados da pesquisa indicam que a exposição a grandes desafios e responsabilidades, aliadas à autonomia que lhes foi dada e ao dinamismo do negócio são os principais fatores que vêm motivando esses jovens a seguirem trabalhando na empresa atual. / [en] The difference between generations has made some changes in the labor market behaviors, and the literature aimed at career aspirations of contemporary youth has emphasized the trend to move across different organizations. Although almost inexpressive within the same literature, some researches emphasize that this behavior should not be generalized. The same organizational characteristics valued by those who seek to build a career without borders can belong in some young people argue who are interested in building a long-term career. For this reason, it is important to understand what motivates the young people who build their careers in the traditional path, it means in the same organization. In this scenario, this study s main goal is to understand the reason why some young professionals who work in a private national company chose to build their careers in this organization. The research tried to understand what is the motivation for working in the same company, and how they feel about current opportunities. We interviewed professionals up to 34 years old, who have worked in this company for, at least, four years, and who have presented relevant career changes in this period. The main results of the research indicate that exposure to major challenges and responsibilities, combined with the autonomy given to them and the dynamism of the business are the main factors that have motivated these young people to continue working in the current company.