Os sistemas de terminação de suínos : uma análise econômica e ambiental a partir da teoria dos conjuntos fuzzi

A escolha do sistema de terminação de suínos e controle de dejetos, que melhor contemple os valores sociais atuais, implica considerar, simultaneamente, pelo menos dois aspectos disciplinarmente distintos - o econômico e o ambiental - o que eleva a complexidade da escolha. Conjuntos fuzzy, por traduzir ordenadamente a percepção expressa pela linguagem, o entendimento relevante porém impreciso da realidade, é uma ferramenta conveniente para o estudo desta situação, a respeito da qual diversos especialistas possuem apreciável conhecimento parcial. Analisa-se o custo de produção de terminadores de suínos da encosta do Vale do Caí, utilizando-se conjuntos fuzzy para identificar causas necessárias e/ou suficientes para o alcance de um baixo custo de produção. Posteriormente, é apresentado um modelo fuzzy para a combinação dos custos de produção com as percepções de suinocultores e de agrônomos quanto ao impacto ambiental da suinocultura.

Fatores que afetam o nível de satisfação e o uso dos espaços abertos comuns em conjuntos habitacionais populares : estudo de caso - Santo Tomé (Argentina) e São Borja (Brasil)

O presente trabalho investiga a adequação, o desempenho e a respectiva importância, para os usuários dos espaços abertos comuns com fins de recreação em conjuntos habitacionais populares, e traz as principais conclusões da análise comparativa realizada, em dois desses conjuntos: Santo Tomé (Argentina) e São Borja (Brasil). Esta pesquisa de avaliação pós-ocupação utiliza, como indicadores, o comportamento e a satisfação dos seus usuários, para avaliar o desempenho desses espaços abertos comuns. É feita uma análise comparativa da percepção dos usuários de seus ambientes de recreação, nos dois conjuntos habitacionais, de modo a entender-se melhor como eles se apropriam, utilizam e avaliam os espaços abertos comuns, com o objetivo de identificar os principais fatores que afetam positiva ou negativamente o uso desses espaços e o seu nível de satisfação e, conseqüentemente o desempenho dos conjuntos habitacionais para a vida coletiva. Pretende produzir informações e reflexões que realimentem projetos futuros semelhantes. Igualmente este estudo, impulsionado pelo processo de integração do Mercosul, se propõe a tentar viabilizar a iniciação de estudos integrados entre países limítrofes, em temas de interesse comum, como o do planejamento urbano.

"Influência do espaço construído na ocorrência de crimes em conjuntos habitacionais"

A crescente criminalidade nas áreas urbanas e o sentimento de insegurança dos cidadãos, bem como as formas de prevenção a estes problemas através do projeto urbano, são questões que tem sido investigadas em estudos relacionados aos efeitos do ambiente construído sobre a ocorrência de crimes. Muitas pesquisas tem evidenciado o importante papel do projeto físico na redução do crime no espaço urbano, sugerindo que a organização dos espaços pode minimizar as oportunidades do crime ocorrer. O layout do ambiente não irá causar ou inibir a atividade criminal, ou determinar o nível de segurança do espaço, mas nos locais onde o problema da falta de segurança existe, o layout e a organização do espaço podem torná-lo mais seguro. Partindo da premissa que a falta de segurança urbana se reflete em ambientes residenciais, mais especificamente em conjuntos habitacionais, tendo um forte impacto na qualidade de vida, atitudes e comportamento dos usuários, esta pesquisa tem como objetivo verificar a influência de determinadas variáveis físicas de projeto na ocorrência de crimes em seis conjuntos habitacionais localizados na cidade de Porto Alegre, que apresentam diferentes tipologias e configurações, inseridos em diferentes contextos urbanos, destinados à população de baixa renda. A escolha do local para realizar o estudo também objetivou expandir o reduzido conhecimento existente sobre as variáveis físicas associadas ao crime em conjuntos habitacionais de Porto Alegre. Foram selecionados indicadores para analisar estes fatores, através do uso de métodos de avaliação pós-ocupação. Os resultados sustentaram a influência de fatores relacionados ao controle territorial, conexões visuais e funcionais, localização do conjunto e criminalidade da área, não sustentando totalmente a influência de fatores relacionados à definição territorial, configuração dos acessos, manutenção das edificações e áreas livres, nível de integração das vias de circulação e uso dos espaços na ocorrência de crime nestes ambientes. Assim, fica evidenciada a importância da consideração das variáveis físicas do layout de conjuntos habitacionais como agentes na redução da suscetibilidade destes locais ao crime.

Uma avaliação da legislação urbanística na provisão de equipamentos urbanos, serviços e áreas de lazer em conjuntos habitacionais

Este estudo trata da avaliação da legislação urbanística que promove a implantação e qualificação de espaços públicos de lazer e recreação e de equipamentos e serviços urbanos básicos, e questiona a metodologia empregada para a elaboração e a eficácia dos mesmos. Para alcançar os objetivos desta investigação fez-se necessário: analisar as propostas existentes para a implantação dos equipamentos urbanos, serviços e áreas de lazer nos conjuntos habitacionais de baixa renda; avaliar a provisão e adequação dos serviços e equipamentos urbanos tais como áreas de pequeno comércio e serviços, escola de 1º grau, centro de educação infantil, posto de saúde, praças para recreação e lazer, oferecidos à população de conjuntos habitacionais; medir o impacto da adequação/inadequação ou inexistência desses serviços e equipamentos na avaliação de desempenho do conjunto, no nível de apropriação dos espaços abertos do conjunto, e no relacionamento entre os moradores e na interação social da comunidade. Foram selecionados quatro conjuntos habitacionais destinados a população de baixa renda, localizados no município de Bagé/RS. Neste estudo foram utilizados levantamento de arquivo, entrevistas, questionários, levantamento físico através de levantamento fotográfico, medições e observações de comportamento, que permitiram cruzar as informações e dar maior confiabilidade às análises. Este estudo mostra que os critérios para localização de equipamentos urbanos, serviços e áreas de lazer variam conforme autores, planos diretores e cidades. O estudo demonstra também que em Bagé, apesar da falta de planejamento e de critérios determinados no plano diretor do município, os equipamentos urbanos, com algumas exceções, estão distribuídos de maneira satisfatória, mas nem por isso deve–se deixar de lado a preocupação em definir essas normas para implantação de projetos futuros que contemplem o uso e ocupação do solo de forma ordenada.

Sobre convexidade de conjuntos de nível de soluções de certas equações elípticas

Neste trabalho é estudada a convexidade dos conjuntos de nível das soluções de dois problemas envolvendo equações elípticas. O primeiro desses problemas se refere a uma equação da forma 4u = °(u) em um anel convexo, com condições de fronteira u = 0 na fronteira externa e u = 1 na fronteira interna. Para provar a existência de solução do problema utiliza-se o método variacional. O problema de mostrar a convexidade dos conjuntos de nível é transformado em um problema de maximizar uma certa função. O segundo problema considerado é o de mostrar que é log-côncava a primeira autofunção do laplaciano, que tenha como peso uma função côncava.

Seis Pequenos Quadros (1981) de Bruno Kiefer : relações intervalares e outros parâmetros a partir da teoria dos conjuntos e gestos musicais

Este trabalho oferece um estudo das configurações intervalares contidas no grupo de peças para piano intitulado Seis Pequenos Quadros (1981) de Bruno Kiefer (1923- 1987). A análise toma como referencial teórico a obra Introduction to Post-Tonal Theory de Joseph Straus, a qual elucida a teoria dos conjuntos. Objetivou-se encontrar padrões que fornecem coerência ao discurso das peças isoladamente e como um todo. Para tanto, além da análise de conjuntos, fez-se necessário o levantamento de características estruturais, temporais e de textura. Todos estes parâmetros, os quais contribuem para um equilíbrio entre unidade e diversidade no discurso desta coleção de peças, foram investigados a partir dos gestos musicais característicos do estilo de Kiefer.

Técnica de programação e controle da construção repetitiva, linha de balanço, estudo de caso de um conjunto habitacional

Este trabalho apresenta uma técnica de programação e controle da construção repetitiva denominada Linha de Balanço. E uma técnica, surgida na indústria fabril, onde a produção em série e em grande escala exige a organização dos métodos de produção e a racionalização do trabalho. O estudo, inicialmente, modela o trabalho de construção de unidades repetitivas, salientando os problemas de organização e administração destes empreendimentos. Num segundo momento, são apresentados os princípios teóricos da técnica com aplicações práticas da programação. Por fim, é analisada a metodologia usual de construção de conjuntos habitacionais através de um estudo de caso e, observadas as condições de aplicação da técnica da Linha de Balanço, não exigindo mudificações muito profundas na atual ação gerencial neste tipo de obra. As conclusões esboçadas confirmam as vantagens da técnica da Linha de Balanço para estes empreendimentos e propõem a sua utilização na organização do trabalho nos canteiros repetitivos.

O problema do pixel mistura : um estudo comparativo

Os satélites para sensoriamento remoto atualmente dispoívies à comunidade científica possuem diferenies resoluções espaciais, por exemplo: SPOT 20 e 10 metros, LANDSAT-TM 30 metros e NOA-AVHRR 1100 metros. Essa resolução frequentemente não é grande o suficiente para um grande número de aplicações que necessitam de uma percepção da cena mais detalhada. Muitas vezes, no interior de uma célula de resolução (pixel) mais de uma classe ocorre. Este caso é conhecido como pixel mistura. Na classificação de imagens obtidas por sensoriamento remoto é comum a utilização de metodologias que atribuem somente uma classe a um pixel, como o procedimento clássico da máxima verossimilhança. Esse procedimento resulta frequentemente em uma estimação errônea das áreas ocupadas pelas classes presentes na cena. Em alguns casos, especialmente quando não há uma classe dominante, isto pode ser a fonte de um erro significativo. Desde o início dos anos 70, diferentes metodologias têm sido propostas para o trabalho num nível de subpixel. A grande vantagem do trabalho nesse nível é que um pixel não é necessariamente atribuído a somente uma classe. O pixel tem um grau que o correlaciona a cada classe: de zero(se a classe não ocorre no pixel) até 1 (a classe ocorre no pixel inteiro). Assim, cada pixel tem um vetor associado que estima a proporção de cada classe nele. A metodologia mais comumente utilizada considera a refletância do pixel mistura como uma combinação linear da refletância média de cada classe componente. De acordo com essa visão as refletâncias associadas às classes componentes são consideradas constantes conhecidas i.e., não são variáveis aleatórias. Assim, a proporção de cada classe no pixel é obtida pela resolução de um sistema de equações lineares. Uma outra metodologia é assumir as refletâncias que caracterizam as classes como sendo variáveis aleatórias. Nesta visão, as informações a respeito das distribuições das classes é utilizada. A estimativa das proporções de cada classe é obtida pelo vetor de proporções que maximiza a função de verossimilhança. Mais recentemente, uma visão diferente foi proposta: a utilização da lógica fuzzy. Esta metodologia utiliza o conceito de função de pertinência que é essencial à teoria dos conjuntos fuzzy. Esta função utiliza elementos com natureza estatística ou não para a estimação das proporções. No presente trabalho, duas funções de pertinência foram definidas: a primeira baseada na função densidade probabilidade gaussiana e a segunda baseada diretamente na distância de Mahalanobis. O objetivo deste estudo é avaliar cada uma das metodologias anteriores em termos de acurácia, performance e dados necessários. Para este objetivo, as metodologias foram implementadas computacionalmente e alimentadas com imagens LANDSAT-TM. Para a avaliação da acurácia dos modelos um estudo qualitativo foi executado.

O duplo enfoque contábil e administrativo no sistema de custos da indústria de óleos vegetais

Visa a presente dissertação de mestrado estabelecer um sistema de contabilidade de custos integrado e coordenado com a contabilidade financeira para a Industria de Oleos Vegetais e que, encarando este sistema sob um duplo enfoque, contabil e administrativo, permita a conciliação destes dois enfoques ate certo ponto contrastantes. A construção de um sistema de custo requer um completo entendimento: (1) dos processos de produção; (2) dos objetivos perseguidos pelo sistema de custos e (3) da estrutura organizacional da empresa. Quanto às caracteristicas especiais da industria de óleos de soja, no Rio Grande do Sul, no que se refere a seu processo de estas são, basicamente: (1) produção continua em massa; (2) obteção de co-produtos e de subprodutos e (3) industrialização subdividida em fases. Destarte, o custo de industrialização de sementes oleaginosas divide-se basicamente em duas fases importantes: (1) uma, de custos conjuntos, comuns a todos os produtos resultantes - o circuito do grão - que abrange a ensilagem, a preparação dos grãos e a extração. (2) outra, de custos isolados - que abrange os circuitos óleo (miscela) e do farelo (polpa), bem como o refino e a embalagem. Quanto aos objetivos perseguidos com a introdução de um sistema de custos na Industria de Óleos Vegetais, requerem-se dados de custos basicamente para três finalidades: (1) custos para estoques: avaliação de estoques para fins de inventário; (2) custos para controle: avaliação da eficiência para fins de controle; (3) custos para decisões: estabelecimento de parâmetros fins de tomada de decisões. Quanto à estrutura organizacional, deverá, na elaboração de um sistema de custeio, ser observada a constituição da empresa em termos de departamentos e/ou de centros de custos, caracterizando-os como sendo auxiliares, de produção, de vendas, distribuição, ou ainda de administração. Dadas as caracteristicas da industria, os objetivos perseguidos e a estrutura organizacional básica constatada, concebeu-se um sistema de custo, integrado e coordenado com o restante da escrituração, com as se guintes caracteristicas: (1) Quanto à concepção formal do sistema: Sistema Dualista com escrituração em Partidas dobradas mediante Registros Globais; (2) Quanto à concepção essencial do sistema: Custeio Parcial de Absorção, com emprego de custos gerais indiretos setorialmente diferenciados, absorvidos com base na capacidade normal; (3) Quanto ao metodo de alocação dos custos conjuntos aos coprodutos: Abordagem do Valor Relativo de Vendas (calculado) no Ponto de Separação, estabelecido com base em cálculo retroativo partindo dos valores relativos de vendas dos co-produtos no ponto de vendas e trabalhando de trás para frente em direção aos valores relativos de vendas aproximados (calculados) no ponto de separação e deste ainda subtraindo o credito total conjunto e o custo administrativo que foi atribuido aos co-produtos por rateio; (4) Quanto ao método de alocação das receitas com subprodutos: subtração da receita obtida com a venda dos subprodutos dos custos da fase em que os mesmos são obtidos. É sistema dualista, porque propõe a existência de "duas" contabilidades - a contabilidade externa ou financeira e a contabilidade interna ou de custos, sendo, todavia, complementares entre si. Sua escrituração se faz em partidas dobradas, mediante registros globais, porque é contabilidade de custos é conduzida atraves de fichas, mapas, planilhas e somente o resumo final do movimento de valores e contabilizado mensalmente mediante lançamentos globais. É um sistema de custeio parcial de absorção, porque: (1) atende ao que estabelece o Cecreto-Lei n9 1398, de 26/12/77, em seu art. 139 , a respeito da avaliaçâo dos estoques, para fins de inventários; (2) permite o uso de orçamentos flexiveis para fins de controle e com isso a adaptação do sistema de custeio ao nivel de produção (ou de atividade) esperado durante o periodo de produção; (3) permite tanto determinar o custo dos produtos (para fins de inventário), como tambem a contribuição que os mesmos trazem ao lucro empresarial e à receita total (para fins decisoriais) ; e ainda (4) permite, se separados os custos indiretos em fixos e variáveis, no Mapa de Localização de Custos, o cálculo do ponto de equilibrio de alternativas de resultado a diversos niveis de produção, bem como ainda de alternativas de limites inferiores de preço de venda a diversos niveis de produção, para fins decisoriais. Para fins contábeis e para a integração custo - contabilidade são usados valores histéricos, para fins de controle, valores orçados, estimados e para fins de decisão, valores de reposição ou estimados (projetados). o sistema de custos baseia-se, ainda, para sua elaboração, em duas peças-chave, que são: (1) - O Mapa de Lqcalização de Custos, no qual todos os custos indiretos são alocados por especies de custos e por centros de custos; (2) - O Boletim de Apropriação de Custos, no qual e realizado o cálculo do custo unitário dos co-produtos, para fins de inventário. Para que aconteça a total integração da contabilidade de custo com a contabilidade financeira, esta mantém contas de produção e de estoques, fase por fase, nas quais são lançados, por intermedio de registros globais, os resultados do cálculo de custos.

Aplicacoes da altimetria topex/poseidon no estudo de aspectos dinamicos do oceano atlantico sul ocidental

Dados altimétricos do satélite TOPEX/POSEIDON obtidos durante 1993 e 1994 foram utilizados para estudar a dinâmica oceanográfica na região oeste do oceano Atlântico Sul, entre as latitudes de 15°S e 50°S e longitudes de 30°W e 65°W. Simultaneamente, dados hidrográficos (históricos e sinópticos) e imagens termais do sensor AVHRR/NOAA foram utilizados com o objetivo de proporcionar uma comparação com os resultados da altimetria. Características da topografia dinâmica superficial, da variabilidade e anomalias da topografia dinâmica são apresentadas. Imprecisões dos modelos do geóide marinho restringiram o estudo dos padrões da topografia dinâmica supercial e das correntes geostrósficas superficiais, a comprimentos de onda espaciais superiores a 2400 Km. A variabilidade temporal da topografia dinâmica demonstrou um padrão altamente energético na região da Confluência Brasil-Malvinas durante o período. Diferenças sazonais foram observadas com os maiores valores de variabilidade nos meses de inverno e primavera. As anomalias (resíduos) da topografia dinâmica foram utilizadas no estudo de fenômenos transientes, onde um vórtice foi acompanhado acompanhado ao longo do tempo, e em conjunto com imagens AVHRR/NOAA. Feições térmicas superficiais foram confrontadas com anomalias altimétricas de trajetórias específicas, contemporâneas às imagens, apresentando ótima concordância e confirmando a excelente potencialidade do uso conjunto destes dois tipos de dados. Finalmente, a técnica da topografia dinâmica composta (combinação de dados altimétricos e climatológicos) foi utilizada para reconstruir a topografia dinâmica total a partir das anomalias altimétricas, sem a contaminação das imprecisões dos modelos do geóide. O ciclo escolhido corresponde ao mesmo período de um cruzeiro hidrográfico, proporcionando uma comparação entre topografias dinâmicas (e velocidades geostróficas superficiais) estimadas pelos dois conjuntos de dados. A concordãncia entre os dois resultados foi bastante satisfatória, indicado a possibilidade de se gerar estimativas da circulação geostrófica superficial, com boa confiabilidade, apenas com dados do sátelite e dados hidrográficos climatológicos. Concluíndo, o TOPEX/POSEIDON apresenta-se como uma excelente ferramente para o estudo da dinâmica oceanográfica no Atlântico Sul, proporcionando uma análise quasi-sinóptica de qualidade e, principalmente, aumentando o conhecimento desta região.

O Uso de ícones na visualização de informações

A visualização de informações congrega um conjunto de técnicas que têm por objetivo facilitar o entendimento de informações a partir de representações visuais. Nesta área, parte-se do pressuposto de que uma representação visual de dados ou informações proporciona uma forma mais simples e intuitiva de entendê-los e, com isso, inferir mais rapidamente e com maior precisão o seu significado. Normalmente, a tarefa de análise de dados é realizada com o auxílio de ferramentas de acordo com a natureza dos dados e do estudo sendo realizado. As técnicas de visualização de dados e informações não substituem ferramentas de análise específicas. Elas podem ser usadas como primeira aproximação do processo de análise, quando sintetizam de forma visual uma grande massa de dados, permitindo escolher partes do volume de dados para análise mais detalhada, ou como forma de apresentação de dados já reduzidos. Quando o subconjunto dos dados de interesse está disponível, a utilização de uma ferramenta de visualização proporciona maior agilidade nas análises e padrões na massa de dados podem ser descobertos visualmente. Uma das classes de técnicas de visualização utilizada nesta área é a icônica. Um ícone (ou glifo) é um objeto com geometria e aparência paramétricas, as quais podem ser arbitrariamente vinculadas a dados. A função de um ícone é agir como uma representação simbólica, que mostra as características essenciais de um domínio de dados ao qual o ícone se refere. Assim é possível obter uma visualização dos dados de uma forma mais clara e compacta. Em geral, ícones são utilizados para representar dados multidimensionais, ou seja, múltiplos atributos associados a uma posição num espaço qualquer, ou a entidades em estudo. O presente trabalho analisa o uso de ícones na visualização de informações. São discutidos os conceitos fundamentais de visualização de informações e sua relação com a área de mineração de dados. O uso de ícones em diversos trabalhos apontados na literatura é apresentado, sendo abordada a questão de geração automática de ícones, mais flexível do que os conjuntos fixos providos pelos sistemas de visualização estudados. Uma proposta para gerar ícones de forma automática baseada numa especificação paramétrica dos ícones é utilizada em um conjunto de dados característicos de espécimes animais estudados por biólogos do Departamento de Genética da UFRGS.

Análise dinâmica de rotores de grupos turbo e hidrogeradores com o método das matrizes de transferência

Conhecer o comportamento vibratório de rotores de máquinas rotativas, já durante a fase de projeto, é uma necessidade cada vez maior nos dias atuais, quando modificações corretivas, após o início da operação, já não são mais aceitáveis, devido aos altos custos de material e execução empregados, se comparados com os lucros que são cada vez mais reduzidos, em função das regras impostas pelo mercado, e devido também ao tempo necessário para tais modificações, que implica em manter a máquina parada, sem gerar lucros nesse penodo, acarretando em mu1tas contratuais para o fabricante. o presente trabalho visa dar subsídiosà análise dinâmicadas linhas de eixos de turbo e hidrogeradores (conjuntos formados pela turbina mais o gerador, usados respectivamentenas centraistermelétricase hidrelétricas). Inicialmente é feita uma breve explanação sobre formas construtivas de hidrogeradores e tipos de turbinas hidráu1icas utilizados atualmente. O trabalho prossegue apresentando as propriedades dos mancais com filme de óleo, os fenômenos do empuxo magnético no rotor do gerador e do efeito giroscópico, bem como a norma ISO 1940, que define os níveis admissíveis de desbalanceamentos residuais para rotores de máquinas É apresentada uma formulação matemática pelo Método das Matrizes de Transferência para as análises das vibrações livres, bem como das vibrações forçadas com carregamentos cíclicos devido aos desbalanceamentos residuais das linhas de eixos. A análise das vibrações livres é feita para a obtenção das fteqüências naturais torcionais e das fteqüências tlexionais críticas em um plano. A análise das vibrações forçadas é elaborada para fornecer as respostas dinâmicas em dois planos ortogonais, devido ao desbalanceamento residual. Para aplicação da metodologia de cálculo apresentada, são elaboradas rotinas computacionais de cálculos, utilizando como plataforma o software MATLAB. Para testar o Método das Matrizes de Transferência, bem como os programas de computador elaborados, faz-se algumas análises com soluções analíticas exatas e comparam-se resultados obtidos. Como aplicação prática, faz-se um estudo aprofundado dos comportamentos dinâmicos algumas linhas de eixos de hidrogeradores, para variações de configurações de construção dessas, bem como para as diversas condições de operação.

Remoção de compostos orgânicos de águas por ultra e nanofiltração em membranas poliméricas

Os recursos hídricos superficiais e subterrâneos tem-se mostrado contaminados, cada vez mais freqüentemente, por substâncias orgânicas e inorgânicas, em nível de traços, prejudicando os seus usos mais nobres, por exemplo, abastecimento público. Este estudo teve por finalidade principal verificar a eficiência de rejeição por membranas poliméricas, de alguns compostos orgânicos tipo, naftaleno, carbofurano, tricloroetileno (TCE) e metil paration, em baixas concentrações. Empregou-se testes hidrodinâmicos de filtração, tipo "dead-end", com taxa de aplicação média de 13,16 m3.m-2.h-1 através das membranas comerciais de características distintas, uma de ultra (UE-50) e duas de nanofiltração (XN-40 e TS-80). Avaliou-se, também, a preparação de água contaminada para a filtração por membranas, através do prétratamento por oxidação do carbofurano em meio líquido, usando um desinfetante padrão, o hipoclorito de sódio. Após a oxidação desde composto, testes hidrodinâmicos de filtração foram realizados para verificar, também, a eficiência de rejeição dos sub-produtos. Por fim, foram realizados testes de envelhecimento das membranas que poderiam ser atacadas pelos compostos orgânicos em solução aquosa. Todos os ensaios foram realizados à temperatura de 25 oC, empregando pressão de filtração de 4 atm. Os compostos orgânicos foram detectados por várias técnicas, principalmente cromatografia gasosa e líquida, sequenciada por espectrometria de massas. Para acompanhar o envelhecimento das membranas, em seis meses de uso, foi empregada microscopia de força atômica, através da medição de porosidade e de rugosidade superficiais. Em termos médios, nas três faixas de concentrações testadas, o metil paration foi o composto mais eficientemente removido pelas membranas em todos os testes realizados, com 59,82 % de rejeição pela membrana UE-50, 43,97 % pela membrana XN-40 e 56,12 % pela TS-80. O TCE foi rejeitado 28,42 %, 23,87 % e 21,42 % pelas membranas UE-50, XN-40 e TS-80, respectivamente. O naftaleno, foi rejeitado 20,61 %, 14,85 % e 12,63 % pelas membranas UE-50, XN-40 e TS-80, respectivamente. Para o carbofurano, a percentagem de rejeição pelas membranas UE-50, XN-40 e TS-80 foi, respectivamente, de 4,51 %, 4,88 % e 2,92 %. Dentre todas as membranas testadas, a membrana de polisulfona UE-50, de ultrafiltração, produziu a melhor eficiência na rejeição de metil paration, tricloroetileno e naftaleno, com 59,82 %, 28,43 % e 20,61 % de rejeição, na ordem. A membrana de poliamida-uréia TS-80, de nanofiltração, proporcionou maior rejeição (56,12 %) que a membrana de poliamida XN-40, de nanofiltração (43,97 %), para o metil paration. Ao contrário, a membrana XN-40 mostrou uma rejeição maior (23,87 %) que a TS-80 para o tricloroetileno (21,42 %). Para o naftaleno, a membrana XN-40 também mostrou uma rejeição (14,85 %) maior que a TS-80 (12,63 %). A eficiência de rejeição do carbofurano foi a menor de todos os compostos ensaiados, independente da membrana. Se for assumido que a membrana de ultra deverá ser seguida pela de nanofiltração, a eficiência conjunta UE-50 + XN-40 será, em termos médios, para o naftaleno, carbofurano, tricloroetileno e metil paration, respectivamente, 32,24%, 9,19%, 45,60% e 77,44%. Para o conjunto UE-50 + TS-80 será de: 30,64%, 7,29%, 43,92% e 83,51%, não havendo diferenças estatisticamente significantes entre os dois conjuntos. Nos testes de pré-tratamento por oxidação do carbofurano, observou-se a formação do carbofurano hidrolisado e mais dois sub-produtos principais, SP-1 e SP-2, que foram rejeitados, 47,85 % e 92,80 %, respectivamente, pela membrana XN-40. Na verificação das perdas das características morfológicas pelo uso prolongado das membranas, sob ataque de compostos orgânicos em baixa concentração ("envelhecimento") verificou-se que a rugosidade (0, 3 e 6 meses) e a porosidade (0, 3 e 6 meses) foram consideravelmente alteradas. A porosidade da membrana XN-40 aumentou 42,86% e a da membrana TS-80 aumentou 34,57%, quando imersas por 3 meses. A rugosidade das membranas XN-40 e TS-80 nos testes de imersão por 3 meses, aumentou 5,37% e 291% respectivamente. Nos testes de imersão em 6 meses, o aumento da porosidade das membranas XN-40 e TS-80 foi de 29,67% e 18,52% respectivamente, enquanto que a rugosidade aumentou 25,27% e 155% para as mesmas. Conclui-se que membranas de nanofiltração poliméricas necessitam de prétratamentos para rejeitar, com segurança, e colocar dentro dos padrões de potabilidade, águas contaminadas com os compostos orgânicos tipo testados e que seu uso prolongado irá afetar as suas características de rejeição dos contaminates.

Functional timing analysis of VLSI circuits containing complex gates

The recent advances in CMOS technology have allowed for the fabrication of transistors with submicronic dimensions, making possible the integration of tens of millions devices in a single chip that can be used to build very complex electronic systems. Such increase in complexity of designs has originated a need for more efficient verification tools that could incorporate more appropriate physical and computational models. Timing verification targets at determining whether the timing constraints imposed to the design may be satisfied or not. It can be performed by using circuit simulation or by timing analysis. Although simulation tends to furnish the most accurate estimates, it presents the drawback of being stimuli dependent. Hence, in order to ensure that the critical situation is taken into account, one must exercise all possible input patterns. Obviously, this is not possible to accomplish due to the high complexity of current designs. To circumvent this problem, designers must rely on timing analysis. Timing analysis is an input-independent verification approach that models each combinational block of a circuit as a direct acyclic graph, which is used to estimate the critical delay. First timing analysis tools used only the circuit topology information to estimate circuit delay, thus being referred to as topological timing analyzers. However, such method may result in too pessimistic delay estimates, since the longest paths in the graph may not be able to propagate a transition, that is, may be false. Functional timing analysis, in turn, considers not only circuit topology, but also the temporal and functional relations between circuit elements. Functional timing analysis tools may differ by three aspects: the set of sensitization conditions necessary to declare a path as sensitizable (i.e., the so-called path sensitization criterion), the number of paths simultaneously handled and the method used to determine whether sensitization conditions are satisfiable or not. Currently, the two most efficient approaches test the sensitizability of entire sets of paths at a time: one is based on automatic test pattern generation (ATPG) techniques and the other translates the timing analysis problem into a satisfiability (SAT) problem. Although timing analysis has been exhaustively studied in the last fifteen years, some specific topics have not received the required attention yet. One such topic is the applicability of functional timing analysis to circuits containing complex gates. This is the basic concern of this thesis. In addition, and as a necessary step to settle the scenario, a detailed and systematic study on functional timing analysis is also presented.

Infância e maquinarias

Esta Tese, Infância e maquinarias, se insere no terreno das discussões que pretendem examinar as relações entre infância e poder. Tomando como seu foco principal o Referencial Curricular Nacional para a Educação Infantil (RCN), ela pretende apontar para as formas como operam os dispositivos de governamento da infância, a partir da racionalidade governamental moderna. A investigação, de inspiração foucaultiana, propõe-se a destacar também como os aparatos de verdade sobre a infância, com seus sistemas de enunciados verdadeiros, são produzidos no interior das relações pedagógicas. Na primeira parte, faço uma releitura do processo de constituição da infância, como parte do amplo processo civilizatório da Modernidade, destacando dois conjuntos estratégicos, intimamente relacionados, o da pedagogização e o da governamentalização deste segmento da população. A noção de governamentalização é o elo que une a primeira à segunda parte do estudo, indicando os liames, os nexos, as relações recíprocas entre as racionalidades políticas e as tecnologias de poder, entre variedades de razão política e as maquinarias de constituição das subjetividades infantis Na segunda parte do estudo, realizo uma analítica de governamento da infância, a partir das proposições presentes no documento que examino. Destaco, neste exame, os modos de operar daquilo que Michel Foucault denominou de técnicas disciplinares, tecnologias da experiência de si e biopolítica. Associado às tecnologias políticas e às racionalidades de governamento, destaco, também, o RCN como um dispositivo de produção da verdade, cuja finalidade é a organização, a disseminação e o controle do saber que circula nas instituições de Educação Infantil. Analiso, ao final, como a captura da infância esteve associada aos projetos políticos do liberalismo moderno, em suas diferentes feições, e como isso tem efeitos sobre a maquinaria institucional que funciona para produzir as subjetividades infantis.