Introdução: A doação de plaquetas por aférese é um método de coleta que vem aumentando em relevância. Sabe-se que esta técnica apresenta inúmeras vantagens em comparação à doação de sangue total. Observamos que há uma preocupação na qualidade dos hemocomponentes enviados ao paciente, no entanto, não se observam muitas pesquisas em busca do cuidado com o doador. Órgãos como o Food and Drug Administration (FDA) já publicaram normas mais restritivas em relação à doação de plaquetas por aférese, pois pesquisas apontaram uma diminuição de algumas células e proteínas do sistema imunológico em doadores de repetição. Objetivos: Analisar doadores de plaquetas de repetição quanto a parâmetros hematimétricos e quantificação de subpopulações linfocitárias comparando-os com um grupo controle composto por doadores de sangue total que não doam há no mínimo um ano ou doando pela primeira vez e, ainda avaliar se a frequência de doações, o tempo de procedimento e o número de plaquetas doadas influenciam na contagem de leucócitos totais e nas subpopulações de linfócitos. Metodologia: Foram analisados 88 indivíduos em um estudo caso-controle, sendo que o grupo controle (CO) incluído foi de doadores de sangue total que haviam doado pela primeira vez ou haviam doado sangue total há mais de um ano. Os casos (CA) incluídos foram os doadores de repetição de plaquetaférese (quatro ou mais doações no último ano). O pareamento foi feito por sexo e idade. As amostras de sangue periférico foram coletadas em tubos contendo EDTA e analisadas em até 6 horas por citometria de fluxo, através da utilização de anticorpos monoclonais anti-CD3, CD4, CD8, HLADR, CD19 e CD56. Resultados: Foram avaliados 44 pares de doadores (caso vs controle). Destes, 81,8% eram homens, a média de idade dos grupos foi de 46 ±13 anos nos casos e 47 ±11 nos controles. Comparando os dois grupos, observou-se diferença estatisticamente significativa (p<0,05) na média de quantificação de leucócitos absolutos CA= 6476,6/μL vs CO=7115,4/μL (p=0,017), na média de linfócitos absolutos CA= 1862,6/μL vs CO= 2239,2/μL (p=0,007) e nos marcadores: CD3+/CD8+ (absoluto) CA= 437/μL vs CO= 597/μL (p=0,01), CD3+/CD4+(%) CA= 47,3/μL vs CO= 42,77/μL (p=0,007). Conclusões: Neste estudo foi possível observar que há uma diminuição em algumas células linfoides dos doadores de repetição em relação aos doadores convencionais, no entanto essa diferença não tem relevância clínica, demonstrando que os intervalos de doações que estes doadores estão sendo submetidos é adequado. A contagem de plaquetas dos doadores de repetição se mantiveram no decorrer do ano, este dado nos auxilia para mantermos um banco de dados de doadores de repetição com uma quantificação de plaquetas adequada, podendo ser convocado sem risco de ser bloqueado por contagem inferior ao preconizado. / Introduction: The donation of platelets by apheresis as a collection method has lately grown in relevance. This technique presents several advantages when compared to total blood donation. We understand there is a concern about the quality of the hemocomponents that are administered to the patients; however, there are not many researches concerned with caring for the donor. Entities such as the Food and Drug Administration (FDA) have published more restricting regulations regarding the donation of platelets by apheresis, since researches indicate a decrease in some cells and proteins present in the immunological systems of repeat donors. Objectives: To analyze repeat donors of platelets with regards to hematimetric parameters and quantification of lymphocyte sub-populations by comparing them with a control group consisting of total blood donors that have not donated blood for the past year at least or that are donating for the first time. Additionally, to evaluate if the frequency of donations, the duration of the procedure, and the donated platelet counts influence in the total leukocyte counts and in the sub-populations of lymphocytes. Methodology: We analyzed 88 individuals in a control case study. The control group (CG) consisted of total blood donors in their first donation or that had donated for the last time more than a year before. The cases (CA) included were the repeat donors by platelet apheresis (four or more donations in the past year). We matched the individuals by gender and age. Peripheral blood samples were collected in tubes containing EDTA and analyzed up until 6 hours later by flow cytometry, through monoclonal antibodies anti-CD3, CD4, CD8, HLADR, CD19, and CD56. Results: 44 pairs of donor were evaluated (case vs control). Among them, 81.8% were men, the average age of the groups was 46 (±13) years in the cases and 47 (±11) in the controls. When comparing the two groups, we observed a statistically significant difference (p<0,05) in the average of the quantification of absolute leukocytes CA= 6476.6/μL vs CG=7115.4/μL (p=0.017), in the average of absolute lymphocytes CA= 1862.6/μL vs CG= 2239.2/μL (p=0.007), and in the markers: CD3+/CD8+ (absolute) CA= 437/μL vs CG= 597/μL (p=0,01), CD3+/CD4+(%) CA= 47.3/μL vs CG= 42.77/μL (p=0.007). Conclusions: We were able to note in this study that there is a significant decrease in some lymphoid cells of repeat donors when compared to conventional donors. This difference, however, is not clinically relevant, which demonstrates that the donation intervals to which the donors are subject are appropriate. Platelet numbers of repeat donors remained the same throughout the year. This piece of data helps us keep a database of repeat donors with an adequate platelet number. These donors can be called for without risking of their being blocked in the screening for a number lower than the recommended.

Este trabalho apresenta a estruturação de um controle difuso, para a automação de reatores seqüenciais em batelada (RSB), no processo de remoção biológica de matéria orgânica e nitrogênio em águas residuárias domésticas, utilizando parâmetros inferenciais, pH, ORP e OD, em que as variáveis controladas foram as durações da reação aeróbia e anóxica. O experimento, em escala de bancada, foi composto por dois reatores seqüenciais em batelada, com volume útil de 10 L, no qual 6 L foram alimentados com esgoto sintético, com características de águas residuárias domésticas. O sistema de automação foi composto pela aquisição dos parâmetros eletroquímicos (pH, ORP e OD), pelos dispositivos atuadores (motor-bomba, aerador e misturador) e pelo controle predeterminado ou difuso. O programa computacional CONRSB foi implementado de forma a integrar o sistema de automação. O controle difuso, implementado, foi constituído pelos procedimentos de: normalização, nebulização, inferência, desnebulização e desnormalização. As variáveis de entrada para o controlador difuso, durante o período: aeróbio foram dpH/dt, dpH/d(t-1) e o pH ; anóxico foram dORP/dt, dORP/d(t-1) e o OD. As normalizações das variáveis crisps estiveram no universo de [0,1], utilizando os valores extremos do ciclo 1 ao 70. Nas nebulizações foram aplicadas as funções triangulares, as quais representaram, satisfatoriamente, as indeterminações dos parâmetros. A inferência nebulosa foi por meio da base heurística (regras), com amparo do especialista, em que a implicação de Mamdani foi aplicada Nessas implicações foram utilizadas dezoito expressões simbólicas para cada período, aeróbio e anóxico. O método de desnebulização foi pelo centro de áreas, que se mostrou eficaz em termos de tempo de processamento. Para a sintonia do controlador difuso empregou-se o programa computacional MATLAB, juntamente com as rotinas Fuzzy logic toolbox e o Simulink. O intervalo entre as atuações do controlador difuso, ficou estabelecido em 5,0 minutos, sendo obtido por meio de tentativas. A operação do RSB 1, durante os 85 ciclos, apresentou a relação média DBO/NTK de 4,67 mg DBO/mg N, sendo classificado como processo combinado de oxidação de carbono e nitrificação. A relação média alimento/microrganismo foi de 0,11 kg DBO/kg sólido suspenso volátil no licor misto.dia, enquadrando nos sistemas com aeração prolongada, em que a idade do lodo correspondeu aos 29 dias. O índice volumétrico do lodo médio foi de 117,5 mL/g, indicando uma sedimentação com características médias. As eficiências médias no processo de remoção de carbono e nitrogênio foram de 90,8% (como DQO) e 49,8%, respectivamente. As taxas específicas médias diárias, no processo de nitrificação e desnitrificação, foram de 24,2g N/kg SSVLM.dia e 15,5 g N/kg SSVLM.dia, respectivamente. O monitoramento, em tempo real, do pH, ORP e OD, mostrou ter um grande potencial no controle dos processos biológicos, em que o pH foi mais representativo no período aeróbio, sendo o ORP e o OD mais representativos no período anóxico. A operação do RSB com o controlador difuso, apresentou do ciclo 71 ao 85, as eficiências médias no processo de remoção de carbono e nitrogênio de 96,4% (como DQO) e 76,4%, respectivamente. A duração média do período aeróbio foi de 162,1 minutos, que tomando como referência o período máximo de 200,0 minutos, reduziu em 19,0% esses períodos. A duração média do período anóxico foi de 164,4 minutos, que tomando como referência o período máximo de 290,0 minutos, apresentou uma redução de 43,3%, mostrando a atuação robusta do controlador difuso. O estudo do perfil temporal, no ciclo 85, mostrou a atuação efetiva do controlador difuso, associada aos pontos de controle nos processos biológicos do RSB. Nesse ciclo, as taxas máximas específicas de nitrificação e desnitrificação observadas, foram de 32,7 g NO3 --N/kg sólido suspenso volátil no licor misto.dia e 43,2g NO3 --N/kg sólido suspenso volátil no licor misto.dia, respectivamente.

[pt] Esse estudo analisa as mudanças sociourbanas no contexto da favela do Vidigal sobre o foco da gentrificação, uma vez que essa localidade se tornou o principal exemplo do fenômeno, no cenário carioca, desde a década de 2010. Para isso, o plano de estudo buscou resgatar os eventos antecedentes à gentrificação para uma melhor compreensão e análise da localidade estudada. Desse modo, o levantamento histórico do contexto urbano inglês, com foco na Londres do século XVII e XIX mostra como foi ocorreu a constituição da urbe industrial e da classe trabalhadora, bem como se deu a promoção de habitações para essa classe. Em seguida apresentação de quem foi Ruth Glass e de suas obras revela a forma de atuação da autora e seu posicionamento frente às mudanças urbanas que vivenciava, o que mostra o que ela quis mostrar com a criação do neologismo. O detalhamento dado às principais categorias de análise utilizadas nas argumentações teóricas sobre a gentrificação promove um esclarecimento ampliado e proporciona uma autonomia reflexiva para qualquer leitor. No segundo capítulo, o destaque dado às diferentes formas de remoção habitacional, direcionadas para as populações de baixa renda, as quais sempre ocorrem para favorecer a apropriação fundiária pelas classes com maior poder econômico, busca integrar a gentrificação como uma nova forma de remoção, ainda que apresentada a partir da mudança populacional que definitivamente não inclui a anterior, e por isso, se enquadra como remoção e não transformação. entendo-a como uma forma de remoção de populações pobres do meio urbano valorizado. São explanadas concepções sobre remoção branca, remoção por cor e raça, e filtragem habitacional. E, no terceiro capítulo, o resgate da história do Vidigal traz seu diferencial no meio urbano carioca e mostra como as transformações espaciais ocorridas desde a década passada servem de base para discursos gentrificadores. E, os surveys realizados enfatizam a compreensão plural sobre o fenômeno. / [en] This study analyzes the socio-urban changes in the context of the Vidigal favela under the focus of gentrification, since this location has become the main example of the phenomenon, in the Rio de Janeiro scenario, since the 2010s. For this, the study plan sought to rescue the events prior to gentrification for a better understanding and analysis of the studied location. Thus, the historical survey of the English urban context, focusing on London in the 17th and 19th centuries, shows how the constitution of the industrial city and the working class took place, as well as the promotion of housing for this class. Afterwards, the presentation of who Ruth Glass was and of her works reveals the author s way of acting and her position in the face of the urban changes she was experiencing, which shows what she wanted to show with the creation of the neologism. The details given to the main categories of analysis used in the theoretical arguments about gentrification promote a broader clarification and provide a reflective autonomy for any reader. In the second chapter, the emphasis given to different forms of housing removal, aimed at low-income populations, which always occur to favor land appropriation by classes with greater economic power, seeks to integrate gentrification as a new form of removal, still that presented from the population change that definitely does not include the previous one, and therefore, fits as removal and not transformation. I understand it as a way of removing poor populations from the valued urban environment. Conceptions about white removal, removal by color and race, and housing filtration are explained. And, in the third chapter, the rescue of Vidigal s history brings its differential in the Rio de Janeiro urban environment and shows how the spatial transformations that have taken place over the past decade serve as a basis for gentrifying discourses. And, the surveys carried out emphasize the plural understanding of the phenomenon.

[pt] A aquisição de malhas triangulares normalmente introduz ruídos indesejados. A remoção de ruído de malhas é uma tarefa da área de processamento geométrico que serve para remover esse tipo de distorção. Para preservar a fidelidade em relação à malha desejada, um algoritmo de remoção de ruído de malha deve preservar detalhes enquanto remove altas frequências indesejadas sobre a superfície. Vários algoritmos foram propostos para resolver este problema usando um esquema de filtragem bilateral. Neste trabalho, propomos um algoritmo de dois passos que usa vizinhança adaptativa e filtragem bilateral para remover ruído do campo normal e, em seguida, atualizar as posições dos vértices ajustando os triângulos às novas normais. A nossa contribuição principal é a computação da vizinhança adaptativa. Essa computação é formulada como problemas locais de otimização quadrática que podem ser controlados para obter o comportamento desejado da vizinhança. A proposta é comparada visual e quantitativamente com vários algoritmos propostos na literatura, usando dados sintéticos e reais. / [en] The acquisition of triangular meshes typically introduces undesired noise. Mesh denoising is a geometry processing task to remove this kind of distortion. To preserve the geometric fidelity of the desired mesh, a mesh denoising algorithm must preserve true details while removing artificial high-frequencies from the surface. Several algorithms were proposed to address this problem using a bilateral filtering scheme. In this work, we propose a two-step algorithm which uses adaptive patches and bilateral filtering to denoise the normal field, and then update vertex positions fitting the faces to the denoised normals. The computation of the adaptive patches is our main contribution. We formulate this computation as local quadratic optimization problems that we can control to obtain a desired behavior of the patch. We compared our proposal with several algorithms proposed in the literature using synthetic and real data.

[pt] Bloqueio total de linhas submarinas de produção de petróleo devido ao depósito de parafina é um problema relevante para a indústria. Esse problema tem levado a perdas significativas associadas à diminuição de produção e à substituição de linhas obstruídas. O presente trabalho é um estudo sobre a viabilidade técnica de um procedimento para remoção de bloqueios ocasionados por depósitos de parafina. Nesse procedimento, a seção da linha de petróleo obstruída com parafina é aquecida por indução utilizando-se uma bobina externa posicionada sobre a linha no fundo do mar. O objetivo do trabalho é estimar o nível de potência elétrica necessária para amolecer a obstrução de parafina dentro da linha. Com esta finalidade, foi empregado um modelo numérico para simular o processo de condução de calor transiente para prever a distribuição de temperatura na parede da linha e na parafina sólida. Essa informação foi usada para estimar as dimensões básicas da seção da bobina de aquecimento e isolamento térmico empregado para minimizar as perdas de calor para o ambiente gelado da água do mar. Um estudo experimental de laboratório com uma seção de um duto submarino bloqueado com parafina foi conduzido para verificar as previsões do modelo numérico e para testar o desempenho da bobina de indução de aquecimento. Os resultados mostraram que as soluções numéricas obtidas apresentaram boa concordância com o experimento. Ainda, foi observado que os níveis de temperatura necessários para produzir o amolecimento da parafina na região bloqueada somente serão obtidos se toda a extensão da região bloqueada for aquecida pela ferramenta de indução. / [en] Total blockage of subsea petroleum production lines due to wax deposition is a relevant problem for the industry. This problem has led to significant capital losses associated with the loss of production and the substitution of plugged lines. The present work is a study of the feasibility of a remediation procedure aimed at helping the removal of wax plugs. In this procedure, the section of the oil line plugged with wax is inductively heated by means of an external coil positioned over the line at sea bed.The objective of the work is to estimate the level of electrical power required to soften the wax plug inside the line. To this end, a transient heat conduction model was employed to predict the temperature distribution in the line wall and solid wax. This information was employed to estimate the basic dimensions of the heating coil section and thermal insulation employed to minimize the heating losses to the cold sea water environment. A laboratory experimental study with a subsea pipeline section plugged with wax was conducted to verify the numerical model predictions and to test the performance of the inductive heating coil.The results showed that the numeric solutions obtained presented good agreement with the experiments. It was also observed that the necessary temperature levels to produce the paraffin softening in the blocked region will only be attained if the whole extension of the blocked region is heated by the induction tool.

[pt] Compostos de boro são utilizados na indústria metalúrgica, microeletrônica, de vidros, na agricultura, etc. Esse elemento é um micronutriente essencial no desenvolvimento de microrganismos, plantas, animais e humanos. No entanto, pode ser tóxico em grandes concentrações e por isso necessita ser removido de águas e efluentes. No Brasil, o limite padrão é de 0,5mg/L para águas doces de classe I e II, estabelecido pela resolução do Conama 357/2005. Por sua vez, a resolução do Conama 430/2011 estabelece um padrão de lançamento de efluentes de 5mg/L. A presente dissertação tem como objetivo geral estudar a remoção de boro por eletrocoagulação para o tratamento de águas e efluentes contendo boro, utilizando uma célula com um arranjo de 4 eletrodos de alumínio (2 catodos e 2 anodos) monopolares em paralelo. Os resultados obtidos mostram que o processo de eletrocoagulação é uma alternativa viável para a remoção de boro, e alcança eficiências em torno de 70 por cento (em pH inicial igual à 4; densidade de corrente igual à 18,75mA/cm2 e tempo de eletrólise igual à 90min). O modelo cinético que melhor descreve a remoção de boro foi o de pseudo-primeira ordem. O modelo de Langmuir se ajustou muito bem aos dados experimentais obtidos. O valor de qm obtido pelo modelo de Langmuir refletiu a elevada capacidade de adsorção máxima (qm é igual à 334mg/g). Através das análises por Microscopia Eletrônica de Varredura (MEV) e por Espectroscopia de Energia Dispersiva (EDS) na superfície dos eletrodos, observou-se a presença de corrosão do tipo localizada nos catodos e a corrosão do tipo uniforme nos anodos. A morfologia do lodo produzido no processo de eletrocoagulação foi analisada por MEV, indicando a presença de uma morfologia heterogênea na superfície, enquanto que a análise por Difração de Raios-X (DRX) apresentou picos largos característicos de um material amorfo e a fase de alumínio predominante foi a boehmita, AlO(OH), finalmente, através da análise por Espectroscopia por Perda de Energia de Elétrons (EELS) foi possível a detecção do boro no lodo, além da detecção de alumínio e de oxigênio. Diante dos resultados obtidos no estudo de otimização a partir da Metodologia de Superfície de Resposta (RSM) constatou-se que o desenvolvimento de um modelo matemático por análise de regressão possibilitou a avaliação do efeito das variáveis independentes (densidade de corrente, pH inicial e tempo de eletrólise) e as suas interações na remoção de boro. / [en] Boron compounds are used in the metallurgical industry, microelectronics, glassware, agriculture, etc. This element is an essential micronutrient in the development of microorganisms, plants, animals and humans. However, it can be toxic in high concentrations and therefore needs to be removed from water and effluent. In Brazil, the standard limit is 0.5mg/L for Class I and II freshwaters, established by Conama Resolution 357/2005. In turn, the Conama 430/2011 resolution establishes an effluent discharge standard of 5mg/L. The present dissertation aims to study the removal of boron by electrocoagulation for the treatment of water and effluents containing boron, using a cell with an arrangement of 4 monopolar aluminum electrodes (2 cathodes and 2 anodes) in parallel. The results show that the electrocoagulation process is a viable alternative for the removal of boron and reaches efficiencies around 70 per cent (at initial pH equals to 4, current density equals to 18.75mA/cm2 and electrolysis time equals to 90min). The kinetic model that best describes the removal of boron was pseudo-first order. The Langmuir model fitted very well to the experimental data obtained. The value of qm obtained by the Langmuir model reflected the high maximum adsorption capacity (qm equals to 334mg/g). Through the analysis by Scanning Electron Microscopy (SEM) and Energy Dispersive Spectroscopy (EDS) on the surface of the electrodes, it was observed the presence of pitting corrosion in the cathodes and uniform corrosion in the anodes. The morphology of the sludge produced in the electrocoagulation process was analyzed by SEM, indicating the presence of a heterogeneous surface morphology, while the X-ray diffraction (XRD) analysis showed broad peaks characteristic of an amorphous material and the predominant aluminum phase was boehmite, AlO(OH), finally, through the Electron Energy Loss Spectroscopy (EELS) analysis, it was possible to detect boron in the sludge, as well as aluminum and oxygen. In view of the results obtained in the optimization study from the Response Surface Methodology (RSM), it was verified that the development of a mathematical model by regression analysis made possible the evaluation of the effect of the independent variables (current density, initial pH and time of electrolysis) and their interactions in the removal of boron.

Os algoritmos para síntese de circuitos digitais em geral visam a melhoria de uma função de custo composta de quatro critérios: área, desempenho, potência e testabilidade. Normalmente estes algoritmos conseguem uma relação de compromisso para a otimização de dois critérios. Efeitos indesejáveis também podem surgir com a otimização de um destes critérios. Por exemplo, as otimizações de desempenho podem introduzir falhas de colagem não testáveis (redundâncias) em um circuito, reduzindo a sua testabilidade. Muitos algoritmos de síntese lógica exploram propriedades específicas de determinadas funções a serem sintetizadas. Um exemplo de função com propriedades específicas são as funções ditas unate. Um exemplo deste tipo de função é o sinal de carry de um somador completo. Este tipo de função exige cuidados especiais para evitar a introdução de redundâncias. Muitos dos algoritmos para síntese lógica empregam a decomposição de Shannon para melhorar o desempenho de um circuito. A equação geral da decomposição de Shannon é expressa através de uma função binate. As redundâncias sempre serão introduzidas nos circuitos quando uma equação binate é utilizada para representar uma função unate. Diagramas de Decisão Binária (BDDs) são um tipo estruturas de dados muito utilizadas em algoritmos para síntese lógica. A decomposição de Shannon também é utilizada para derivar circuitos a partir de BDDs. Este tipo de estrutura representa uma função lógica, mas não mantém uma representação sem redundâncias da mesma. Infelizmente, os circuitos derivados a partir desta estrutura poderão ser redundantes, principalmente quando a decomposição de Shannon for utilizada. Existem estruturas de dados capazes de representar uma função sem redundâncias. Este é o caso dos VPBDDs , que possuem propriedades especiais que preservam características de testabilidade da função representada. Baseando-se nas propriedades dos VPBDDs, um novo algoritmo para remoção de redundâncias foi proposto. Este algoritmo é capaz de gerar circuitos sem redundâncias, mesmo quando a função, que é representada pelo VPBDD, é unate. Além da geração de circuitos sem redundâncias, o algoritmo garante que o atraso do circuito não aumenta após a remoção de redundâncias. A área dos circuitos resultantes pode aumentar, diminuir ou permanecer a mesma, considerando o número de portas lógicas utilizadas. Todos os resultados obtidos neste trabalho mostram que o algoritmo consegue realizar a remoção de redundâncias, sem prejudicar o atraso do circuito. Além disso, todos os caminhos redundantes do circuito têm seu atraso reduzido, pois com a remoção de redundâncias o número de portas lógicas em série é reduzido. A aplicação deste algoritmo apresenta bons resultados para circuitos aritméticos. Isto se deve principalmente ao fato do carry ser uma função unate, o que pode introduzir redundâncias no circuito se esta propriedade (de ser unate) não for tratada adequadamente. O algoritmo proposto também abre possibilidades para a criação de outras ferramentas de CAD, como por exemplo: uma ferramenta para análise de timing, um gerador de circuitos aritméticos sem redundâncias, ou ainda uma ferramenta para geração de teste, incluindo lista de falhas, vetores de teste e cobertura de falhas. / Algorithms for digital circuit design aim the reduction of a cost function composed of four criteria: area, delay, power and testability. Usually these algorithms are able to obtain a trade-off for the optimization of two of these criteria. Undesired effects may occur due to the optimization of one of the criteria. For instance, delay optimizations may introduce non testable stuck-at faults (redundancies) in a circuit, this way reducing its testability. Several logic synthesis algorithms exploit specific properties of the logic functions to be synthesized. One example of function with specific properties are the socalled unate functions. An example of this kind of function is the carry-out sign in a full adder circuit. This kind of function require special care in order to avoid redundancy introduction. Shannon decomposition [SHA 38] is used in many logic synthesis algorithms for improving circuit performance. The general case of the Shannon decomposition is represented by a binate (not unate) equation. Redundancies are introduced in a circuit when a binate equation is used to express a unate function. Binary Decision Diagrams (BDDs) are a kind of data structures widely used in the field of logic synthesis. Shannon decomposition is also used to derive circuits from BDDs. This data structure is used to represent logic functions, but it is not able to maintain an irredundant representation of any logic function. Unfortunately, circuits derived from BDDs will possibly have redundancies, specially when Shannon decomposition is used. Some data structures are able to represent any logic function in a irredundant form. This is the case of the VPBDDs [REI 95a] [REI 2000], which have special properties that preserve the testability properties of the functions being represented. Based on VPBDD properties, a novel algorithm for redundancy removal was proposed [MAR 2002]. This algorithm is able to generate irredundant circuits even when the function represented by the VPBDD is unate. In addition to the generation of irredundant circuits, the algorithm guarantees that the circuit delay will not be increased by redundancy removal. The final area may be increased, reduced or even remain the same, considering the number of logic gates. The results obtained in this work indicate that the algorithm is able to perform redundancy removal without increasing the circuit delay. Besides, all the redundant paths in the circuit have their delay reduced, as the number of logic gates in series will be reduced by the redundancy removal process. The application of this algorithm gives good results for arithmetic circuits. This is mainly due to the fact that the carry chain is composed of unate functions, this way redundancies are introduced in the circuit if this property is not adequately treated. The proposed algorithm allows for the creation of other CAD tools, as for instance: a timing analysis tool, a generator of irredundant arithmetic circuits, or even a test generation tool, including list of faults, test vectors as well as fault coverage.

[pt] Sabe-se que a construção de estradas é uma atividade que produz alterações consideráveis nas características naturais das regiões. Neste caso, o acompanhamento e a pesquisa sobre a implementação do Arco Metropolitano do Rio de Janeiro - AMRJ tornam-se as principais ferramentas para garantir a preservação dos recursos naturais locais e executar o projeto em consonância com as legislações ambientais vigentes, bem como, garantir uma série de direitos descritos nos estatutos e leis presentes nas três esferas de governamentais. Com o intuito de que a população atingida possa se utilizar destas informações e garantir seus interesses na tomada de medidas que minimizam os prováveis impactos socioambientais, o presente trabalho visa compreender como se deram os impactos da abertura do Arco Metropolitano sobre a população removida do bairro Vila de Cava (Nova Iguaçu). Para isso, vamos analisar as formas de mobilização política dos moradores de Vila de Cava contra as remoções, numa tentativa de identificar as violações de direitos através do processo de remoções ocasionadas pelo AMRJ. Para tal, partiremos das hipóteses de que houve violação dos direitos dos moradores durante o processo de remoção, com indícios de sonegação de informações, assédio e coação para forçá-los a aceitar as indenizações oferecidas e apesar do discurso de que o Arco Metropolitano traria melhorias à população, os moradores que foram removidos encontram-se em piores condições de moradia. / [en] It is known that the construction of roads is an activity that produces considerable changes in the natural characteristics of the regions. In this case, monitoring and research on the implementation of the AMRJ become the main tools to ensure the preservation of local natural resources and to execute the project in accordance with the current environmental legislation, as well as to guarantee a series of rights described in the bylaws and laws present in the three spheres of government. With the intention that the affected population can use this information and ensure their interests in taking measures that minimize the probable socio-environmental impacts, the present work aims to understand how the impacts of the opening of the Metropolitan Arch on the population removed from the Vila neighborhood of Cava (Nova Iguaçu). For this, we will analyze the forms of political mobilization of the residents of Vila de Cava against the removals, in an attempt to identify the violations of rights through the process of removals caused by the AMRJ. To do so, we will assume that there was a violation of the rights of the residents during the removal process, with indications of information evasion, harassment and coercion to force them to accept the indemnities offered and despite the discourse that the Metropolitan Arch would bring improvements to the population, the residents who were removed are in worse housing conditions.

Os algoritmos para síntese de circuitos digitais em geral visam a melhoria de uma função de custo composta de quatro critérios: área, desempenho, potência e testabilidade. Normalmente estes algoritmos conseguem uma relação de compromisso para a otimização de dois critérios. Efeitos indesejáveis também podem surgir com a otimização de um destes critérios. Por exemplo, as otimizações de desempenho podem introduzir falhas de colagem não testáveis (redundâncias) em um circuito, reduzindo a sua testabilidade. Muitos algoritmos de síntese lógica exploram propriedades específicas de determinadas funções a serem sintetizadas. Um exemplo de função com propriedades específicas são as funções ditas unate. Um exemplo deste tipo de função é o sinal de carry de um somador completo. Este tipo de função exige cuidados especiais para evitar a introdução de redundâncias. Muitos dos algoritmos para síntese lógica empregam a decomposição de Shannon para melhorar o desempenho de um circuito. A equação geral da decomposição de Shannon é expressa através de uma função binate. As redundâncias sempre serão introduzidas nos circuitos quando uma equação binate é utilizada para representar uma função unate. Diagramas de Decisão Binária (BDDs) são um tipo estruturas de dados muito utilizadas em algoritmos para síntese lógica. A decomposição de Shannon também é utilizada para derivar circuitos a partir de BDDs. Este tipo de estrutura representa uma função lógica, mas não mantém uma representação sem redundâncias da mesma. Infelizmente, os circuitos derivados a partir desta estrutura poderão ser redundantes, principalmente quando a decomposição de Shannon for utilizada. Existem estruturas de dados capazes de representar uma função sem redundâncias. Este é o caso dos VPBDDs , que possuem propriedades especiais que preservam características de testabilidade da função representada. Baseando-se nas propriedades dos VPBDDs, um novo algoritmo para remoção de redundâncias foi proposto. Este algoritmo é capaz de gerar circuitos sem redundâncias, mesmo quando a função, que é representada pelo VPBDD, é unate. Além da geração de circuitos sem redundâncias, o algoritmo garante que o atraso do circuito não aumenta após a remoção de redundâncias. A área dos circuitos resultantes pode aumentar, diminuir ou permanecer a mesma, considerando o número de portas lógicas utilizadas. Todos os resultados obtidos neste trabalho mostram que o algoritmo consegue realizar a remoção de redundâncias, sem prejudicar o atraso do circuito. Além disso, todos os caminhos redundantes do circuito têm seu atraso reduzido, pois com a remoção de redundâncias o número de portas lógicas em série é reduzido. A aplicação deste algoritmo apresenta bons resultados para circuitos aritméticos. Isto se deve principalmente ao fato do carry ser uma função unate, o que pode introduzir redundâncias no circuito se esta propriedade (de ser unate) não for tratada adequadamente. O algoritmo proposto também abre possibilidades para a criação de outras ferramentas de CAD, como por exemplo: uma ferramenta para análise de timing, um gerador de circuitos aritméticos sem redundâncias, ou ainda uma ferramenta para geração de teste, incluindo lista de falhas, vetores de teste e cobertura de falhas. / Algorithms for digital circuit design aim the reduction of a cost function composed of four criteria: area, delay, power and testability. Usually these algorithms are able to obtain a trade-off for the optimization of two of these criteria. Undesired effects may occur due to the optimization of one of the criteria. For instance, delay optimizations may introduce non testable stuck-at faults (redundancies) in a circuit, this way reducing its testability. Several logic synthesis algorithms exploit specific properties of the logic functions to be synthesized. One example of function with specific properties are the socalled unate functions. An example of this kind of function is the carry-out sign in a full adder circuit. This kind of function require special care in order to avoid redundancy introduction. Shannon decomposition [SHA 38] is used in many logic synthesis algorithms for improving circuit performance. The general case of the Shannon decomposition is represented by a binate (not unate) equation. Redundancies are introduced in a circuit when a binate equation is used to express a unate function. Binary Decision Diagrams (BDDs) are a kind of data structures widely used in the field of logic synthesis. Shannon decomposition is also used to derive circuits from BDDs. This data structure is used to represent logic functions, but it is not able to maintain an irredundant representation of any logic function. Unfortunately, circuits derived from BDDs will possibly have redundancies, specially when Shannon decomposition is used. Some data structures are able to represent any logic function in a irredundant form. This is the case of the VPBDDs [REI 95a] [REI 2000], which have special properties that preserve the testability properties of the functions being represented. Based on VPBDD properties, a novel algorithm for redundancy removal was proposed [MAR 2002]. This algorithm is able to generate irredundant circuits even when the function represented by the VPBDD is unate. In addition to the generation of irredundant circuits, the algorithm guarantees that the circuit delay will not be increased by redundancy removal. The final area may be increased, reduced or even remain the same, considering the number of logic gates. The results obtained in this work indicate that the algorithm is able to perform redundancy removal without increasing the circuit delay. Besides, all the redundant paths in the circuit have their delay reduced, as the number of logic gates in series will be reduced by the redundancy removal process. The application of this algorithm gives good results for arithmetic circuits. This is mainly due to the fact that the carry chain is composed of unate functions, this way redundancies are introduced in the circuit if this property is not adequately treated. The proposed algorithm allows for the creation of other CAD tools, as for instance: a timing analysis tool, a generator of irredundant arithmetic circuits, or even a test generation tool, including list of faults, test vectors as well as fault coverage.

A poluição de origem difusa das águas pluviais é um entre os vários impactos causados pela urbanização. No Brasil ainda não é dada a devida importância para esta forma de poluição, que pode e deveria ser combatida em conjunto com os impactos causados pelo aumento das vazões geradas pela urbanização. As bacias de detenção são usadas para controlar as vazões de pico, mas também podem ser usadas para o controle da qualidade da água através da sedimentação natural dos poluentes. Neste trabalho é desenvolvido um modelo de pré-dimensionamento de bacias de detenção para o controle da poluição difusa no Município de Porto Alegre, baseado em uma metodologia de maximização de captura de volume e em uma metodologia de cálculo da eficiência da remoção de poluentes. No desenvolvimento do modelo foram utilizadas séries históricas de precipitações ocorridas em Porto Alegre. Para aplicação do modelo são necessários dados físicos de fácil obtenção, relativos à bacia de contribuição ao reservatório de detenção, tais como coeficiente de escoamento, taxa de impermeabilização do solo ou densidade habitacional. Os resultados das simulações mostraram que o volume de detenção necessário para o controle da poluição difusa é de 157 m3/ha para um coeficiente de escoamento de 0,6, típico de áreas urbanas, variando de 36 a 225 m3/ha para coeficientes de escoamento de 0,1 e 1,0, respectivamente. O modelo proposto foi comparado com modelos aplicados em locais nos Estados Unidos com características de precipitação semelhantes, resultando em volumes de detenção compatíveis, demonstrando que, pelo menos para Porto Alegre, o critério de semelhança de precipitação implica em volumes muito semelhantes. A incorporação do modelo de pré-dimensionamento para controle da poluição difusa ao modelo atual de dimensionamento para controle de cheias do Município de Porto Alegre pode ser feita através da soma dos volumes calculados por cada um dos modelos, porém isto implica em um aumento médio de 55 % no volume total de detenção. Analisando-se bacias de detenção existentes no Município, projetadas para o controle de cheias, a incorporação de controle da poluição difusa das águas pluviais implicaria em um aumento mínimo de 50 % no volume das mesmas e, em alguns casos, de mais de 100 %.