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.

Impactos da adoção de sistemas de apoio à decisão para grupos em um processo decisório público participativo : o caso do orçamento de Porto Alegre

A tese buscou averiguar quais foram os efeitos, os impactos e modificações que ocorreram na dinâmica de funcionamento de fóruns do orçamento participativo, quando a este processo decisório de grupo em larga escala e com repercussões imediatas nas próprias comunidades decisoras se agregou um apoio computacional de pequena sofisticação, com o perfil de um sistema de apoio à decisão para grupos. Estas intervenções, talhadas sob a perspectiva quaseexperimental, levaram ao ambiente real de decisão um apoio derivado de modelos baseados em critérios e atributos para a hierarquização de demandas por obras de perfil público-social. A metodologia empregada, um esboço multimétodo com técnicas distintas de atuação por grupo trabalhado, incluindo nestas distinções o papel do pesquisador, foi levada a cabo em três regiões distintas do orçamento participativo. O pesquisador, enquanto ser observante, valeu-se de um diário de campo que ao lado dos tradicionais questionários usados em quaseexperimentos, funcionou como um coletor de dados, os quais foram suplementados com igual valia por entrevistas semi-estruturadas com os atores do processo. Técnicas elementares de estatística aliadas à interpretação dos dados qualitativos a partir de codificações sugeridas por técnicas de análise de conteúdo, forjaram um grande painel de dados, que permitiu apurar os impactos da adoção da tecnologia, bem como enquadrar os efeitos nas posturas dos grupos e dos atores participantes do processo. Como idéia conclusiva, o estudo permitiu estatuir que várias das situações em apoio à decisão em grupo ocorreram, alguns outros resultados foram inesperados e quiçá contraditórios em relação à história de pesquisa do tema apoio à decisão em grupo por computador e outros se revelaram promissores para futuras pesquisas. Por fim, argüi-se a necessidade de averiguar, em ambientes como o estudado, a relação real existente entre as conotações política e racional de tomada de decisão.

Utilização de inteligência artificial (redes neurais artificiais) no gerenciamento de reprodutoras pesadas.

Uma atividade com a magnitude da avicultura, que usa equipamentos de última geração e serviços atualizados, é levada, na maioria dos casos, a tomar decisões que envolvem todos aspectos de produção, apoiada em critérios subjetivos. A presente tese objetivou estudar a utilização das redes neurais artificiais na estimação dos parâmetros de desempenho de matrizes pesadas, pertencentes a uma integração avícola sul-brasileira. Foram utilizados os registros de 11 lotes em recria, do período compreendido entre 09/11/97 a 10/01/99 e de 21 lotes em produção, do período compreendido entre 26/04/98 a 19/12/99, para a análise por redes neurais artificiais. Os dados utilizados corresponderam a 273 linhas de registros semanais, do período de recria e 689 linhas de registros semanais, do período de produção. Os modelos de redes neurais foram comparados e selecionados como melhores, baseados no coeficiente de determinação múltipla (R2), Quadrado Médio do Erro (QME), bem como pela análise de gráficos, plotando a predição da rede versus a predição menos o real (resíduo). Com esta tese foi possível explicar os parâmetros de desempenho de matrizes pesadas, através da utilização de redes neurais artificiais. A técnica permite a tomada de decisões por parte do corpo técnico, baseadas em critérios objetivos obtidos cientificamente. Além disso, este método permite simulações das conseqüências de tais decisões e fornece a percentagem de contribuição de cada variável no fenômeno em estudo.

Sistema de pós-venda para organizações de serviços sem fins lucrativos : estudo de caso no SEBRAE/RS

Um dos principais desafios das atividades de pós-venda é a fidelização de clientes, o que inclui atividades como avaliação de satisfação, tratamento das reclamações e recepção de sugestões para o aumento da qualidade de serviços prestados, apoiadas por sistemas de informações que auxiliem na tomada de decisões, na implantação da estratégia competitiva e na gerência de processos críticos. No entanto, este gerenciamento do relacionamento com os clientes pode não surtir os efeitos esperados se não houver um planejamento sistêmico envolvendo o processo, os sistemas de suporte e as pessoas envolvidas. Este trabalho tem como objetivo principal descrever e analisar o processo de atendimento ao cliente e a implantação de um sistema de atendimento em situação de pós-venda no Serviço de Apoio às Micro e Pequenas Empresas do Estado do Rio Grande do Sul - SEBRAE/RS. Uma organização privada sem fins lucrativos que, sob a ameaça de extinção de recursos compulsórios, foi levada a reavaliar seu direcionamento estratégico e buscar auto-sustentação, necessitando adequar-se às exigências de mercado, com melhoria de qualidade de produtos e de sua gestão de relacionamento com clientes. O método adotado foi o estudo de caso. Foi analisado o mercado, os concorrentes, os clientes e os produtos oferecidos. Também verificou-se a estrutura interna, no que se refere aos canais de contato com o cliente, tecnologia de informação disponível e o direcionamento estratégico da empresa. Após o diagnóstico da sua situação de atendimento foi implementado um sistema de pós-venda, o qual buscou sanar algumas dificuldades detectadas e uma maior integração entre as diferentes áreas da organização. O trabalho conclui que o novo sistema implementado mostrou-se satisfatório em seu desenho e funcionamento e também em termos de resultados para a instituição. Ao final da pesquisa, são destacados alguns pontos importantes para que haja uma otimização da eficiência em propostas similares no campo da gestão do pós-venda.

A construção do porto de Porto Alegre 1895-1930 : modernidade urbanística como suporte de um projeto de estado

Este trabalho aborda o processo de construção do porto de Porto Alegre pelas administrações do PRR no Governo Estadual durante a primeira onda modernizadora na cidade no início do século XX. Nesse contexto, as ações da engenharia e do urbanismo na cidade são vistas enquanto manifestações específicas de um imaginário urbano mais amplo constituído ao longo da modernidade industrial, sendo o porto considerado como o elemento que sintetizou o imaginário de “modernização” e de “progresso” da cidade e do estado. Seguimos a linha de pesquisa Cidade, Cultura e Política, utilizando os conceitos de imaginário social e imaginação. Junto da análise dos objetos técnicos propriamente ditos, como planos, projetos e obras, buscamos seus significados profundos e conteúdos não explicitados. A investigação foi feita sobre os relatórios da Diretoria de Viação Fluvial da Secretaria de Obras Públicas do Estado entre os anos de 1895 e 1930, quando foram abertos os canais de navegação até Rio Grande e construído o cais Mauá, com a ampliação e reformulação das áreas adjacentes no centro histórico da cidade. Também foi levada em conta a dimensão econômica do porto de Porto Alegre como parte de um amplo sistema de transportes que o Governo Estadual implantou no Rio Grande do Sul dentro da “Política de Desenvolvimento Global”, que visava dinamizar a economia e promover o desenvolvimento equilibrado do estado. São analisadas as transferências de modelos urbanos e tecnológicos dos grandes centros europeus para o contexto local por meio de projetos e idéias que influenciaram o pensamento e as ações dos profissionais locais. Da mesma forma é abordada a política federal para a modernização dos portos pelo “Plano de melhoramento dos portos da República”, de 1907. Enfocamos as motivações que levaram à construção do porto, as discussões a seu respeito, os projetos elaborados, inclusive os não executados, e por fim as obras realizadas. O urbanismo e a técnica são entendidos como expressões culturais e produção imaginária, abarcando conteúdos mais amplos da cosmovisão dos agentes envolvidos, de acordo com a metodologia da História Cultural aqui adotada.

Intervenção ergonômica e fisioterápica como fator de redução de queixas músculo-esqueléticas em bancários

Esta pesquisa compreende o estudo ergonômico no setor bancário, dando ênfase aos aspectos biomecânicos e posturais, desenvolvido junto a um grupo de funcionários de uma instituição financeira localizada em Curitiba e Região Metropolitana no Estado do Paraná. Teve como objetivo contribuir para um melhor entendimento das questões relativas à redução de problemas e queixas músculo-esqueléticas em instituições bancárias. A metodologia elaborada, foi aplicada em quatro etapas: análise da demanda (levantamento das queixas e afastamentos devidos a suspeita de DORT; diagnose primária (compreendeu uma avaliação in loco dos problemas nos postos de trabalho e a aplicação de dois checklist, sendo um para análise das condições de trabalho e outro para inspeção ergonômica quanto ao risco de tenossinovites e outras lesões por traumas cumulativos, seguido de aplicação de dois questionários: o de Corlett para avaliação da percepção de desconforto muscular durante a jornada de trabalho e de Qualidade de Vida no Trabalho – QVT); ações corretivas primárias (palestras de sensibilização com as chefias e com os trabalhadores, dinâmicas de realização de micropausas e orientações individuais nos postos de trabalho com acompanhamento semanal durante três meses em cada agência). A última etapa, a avaliação geral da abordagem empregada, foi levada a efeito com nova aplicação dos questionários de auto avaliação de Corlett e QVT. São apresentados resultados que evidenciam melhoria na percepção dos funcionários sobre sintomas de dor e desconforto e também sobre Qualidade de Vida no Trabalho. Ficou evidente a necessidade do desenvolvimento de um processo continuado de educação em saúde, visando a percepção corporal durante a jornada de trabalho e para que saibam gerenciar seu estilo de vida. Os resultados mostram também que uma das causas de queixas de dor ou desconforto dos trabalhadores eram biomecânicas e tensionais. Conclui-se que a instituição bancária se volta cada vez mais para os aspectos ergonomia e qualidade, por entender que, ela necessita oferecer uma qualidade superior de vida para seus trabalhadores, em seus ambientes de trabalho, para então, e somente assim, poder oferecer qualidade a seus clientes. Para tanto, a ergonomia deve ser posta a serviço do homem, buscando a adaptação das condições de trabalho ao homem, de forma saudável, segura, confortável e produtiva.

Viver com HIV nos abrigos residenciais : um estudo antropológico sobre a inclusão de crianças portadoras de HIV nos abrigos da Fundação de Proteção Especial na cidade de Porto Alegre

Esta dissertação apresenta uma investigação a respeito da situação de inclusão de crianças soropositivas nos Abrigos Residenciais da Fundação de Proteção Especial na cidade de Porto Alegre, como uma tentativa de contribuir com a pesquisa sobre os aspectos sociais da AIDS no Brasil. O método de pesquisa utilizado foi o etnográfico, com um trabalho de campo conduzido entre dezembro de 2003 e julho de 2004, em um dos três Abrigos Residenciais da Fundação conhecidos até final dos anos 90 como “casa de portadores”. Estudam-se os fatores sociais relacionados com a transmissão do vírus de mãe para filho, e as implicações desta transmissão no processo de abrigamento de crianças pelo Estado. Por meio da observação do dia-a-dia das pessoas que trabalham e moram no Abrigo, trata-se de compreender as formas, por vezes, sutis que a AIDS penetra o cotidiano da Instituição, analisando-se os fatores que levam à persistência no tempo de denominações como “casa de portadores”, tendo como eixo central as representações que os monitores têm do seu trabalho em relação a outros Abrigos da Fundação. Por último, toma-se a história do local desde a sua constituição como “casa de portadores” até a sua atual organização como Abrigo Residencial, analisando os efeitos que a luta contra a AIDS e o debate sobre os direitos da criança tiveram na mudança de política em relação às crianças soropositivas abrigadas, levada adiante pela Fundação, assim como as ambigüidades e contradições próprias de um momento institucional em que novas estratégias de inclusão das crianças soropositivas estão sendo aplicadas nos Abrigos Residenciais.

Um modelo de sacola difusa para a matéria nuclear

Neste trabalho desenvolvemos um modelo efetivo para a descrição da matéria nuclear, que incorpora os resultados obtidos, para a descrição de um núcleon, pelo modelo de sacola difusa. O sistema nuclear será descrito via uma função de energia interna, que compreende um termo livre e outro que leva em conta a interação entre os núcleons. A parte livre, por se tratar de um sistema de férmions, corresponderá à energia de um gásde Fermi livre. Além disso, para evitar a superposição de dois ou mais núcleons, introduzimos um volume de exclusão a la Van der Waals. Na parte integrante, a troca de píons entre os núcleons será levada em conta via um potêncial efetivo. A função energia interna dependerá da densidade da matéria nuclear e também de um parâmetro que determinará o volume esperado de cada núcleon na matéria nuclear. O valor deste parâmetro será um pouco diferente do valor encontrado para um núcleons isolado, devido à interação entre eles. Obtém-se então resultados para a energia de ligação por núcleon para a matéria nuclear simétrica e para a matéria de nêutrons, bem como para a equação de estado da matéria de nêutrons.

Comportamento mecânico de britas empregadas em pavimentação

Camadas granulares têm um importante papel no comportamento global de estruturas de pavimentos, especialmente quando possuem revestimentos delgados ou não possuem revestimento. Para estabelecer métodos de projeto mais eficientes e critérios construtivos, é necessário que a resposta das camadas granulares sob a ação do tráfego seja bem compreendida e levada em consideração. Assim, esta dissertação relata resultados de uma pesquisa sobre o comportamento quanto à resistência ao cisalhamento e deformações permanentes de três britas (uma graduada e duas uniformes com diferentes tamanhos máximos de partícula). Foram realizados ensaios triaxiais estáticos e dinâmicos obtendo-se os parâmetros de resistência de Mohr-Coulomb, módulos de Young, módulos de resiliência e o comportamento quanto a deformações permanentes. Para a brita graduada, desenvolveu-se um estudo complementar sobre o efeito do grau de compactação (90% e 100%) no seu comportamento mecânico. Uma observação conjunta dos resultados estáticos e dinâmicos associada a uma análise mecanística proporciona uma visão global dos resultados obtidos. A brita graduada, com grau de compactação de 100%, mostrou-se um agregado de excelente qualidade, apresentando bom comportamento quanto a deformações permanentes e elevada resistência ao cisalhamento, porém os seu módulos de resiliência foram apenas razoáveis Surpreendentemente, a granulometria uniforme com menor “tamanho máximo de agregado” apresentou um bom comportamento mecânico, porém devido aos seus baixos módulos de resiliência, não pode ser utilizada como camada de base. O seu uso fica restrito a pavimentos permeáveis sob tráfego de veículos leves, conforme demonstrado pelos resultados do monitoramento de um estacionamento experimental analisado nesta dissertação. As britas: uniforme com maior “tamanho máximo de agregado”(GU2) e graduada (GG1) com grau de compactação de 90%, apresentaram baixa resistência ao cisalhamento e alta deformabilidade plástica, comprometendo o seu uso como camada de base. De forma geral, foi confirmada a influência do grau de compactação e da granulometria no comportamento mecânico de materiais granulares. Nem o Índice de Suporte Califórnia e nem a resistência ao cisalhamento mostraram-se bons indicativos do comportamento de materiais granulares quanto a deformações permanentes.

Análise da vida remanescente de trilhos com defeitos transversais desgastados em serviço

O objetivo deste trabalho foi estudar o comportamento de trilhos ferroviários, avaliando parâmetros como o desempenho frente à propagação de trincas e a tenacidade à fratura que são fundamentais para sua utilização mais segura. Neste trabalho foram realizados ensaios de qualificação (caracterização mecânica e metalúrgica) de dois trilhos utilizados em ferrovias brasileiras que consistiram em análises química, macro e microestrutural, ensaios de dureza, determinação de tenacidade à fratura (KIC) e determinação de curvas da/dN x ∆K. Uma vez determinadas as características mecânicometalúrgicas dos trilhos, foram analisados o crescimento de defeitos transversais internos através de fórmulas da mecânica da fratura aplicada à fadiga, desenvolvidas por Orringer e outros, que permitem determinar: o tamanho do defeito no qual a falha no trilho pode ser esperada (quando o trem viaja sobre o mesmo) e o tempo para que o defeito cresça de um certo tamanho até um tamanho crítico (vida remanescente) no qual a falha é esperada. Também foi levada em conta a influência do nível de desgaste no boleto. Dentre os fatores que apresentaram maior influencia, destacam-se a temperatura de trabalho, o tamanho inicial do defeito e a tensão residual. Além disso, os resultados obtidos podem ser aplicados para desenvolver intervalos estratégicos de inspeção de tolerância ao dano.

Diversidade bacteriana em biofilmes de superfícies externas de prédios hitóricos na cidade de Porto Alegre

A preocupação em conservar monumentos históricos tem aumentado a cada dia na comunidade científica, o que tem desencadeado na formação de grupos de pesquisa, os quais se dedicam a estudos de fatores que possam estar levando os monumentos à ruína, e formas de solucioná-los ou minimizá-los. A presença de bactérias em rochas ou em pedras de monumentos históricos tem sido confirmados por vários pesquisadores. Foram estudadas em Porto Alegre quatro igrejas e o gabinete do Vice Governador, todos de importância histórica, utilizando-se de técnicas microbiológicas tradicionais, objetivando avaliar a diversidade bacteriana em prédios de patrimônio em termos de morfologia celular e de desenvolvimento em diferentes meios de cultivo em laboratório. Foi encontrado um grande número de microrganismos em cada biofilme. Muitas bactérias Gram positivas eram do gênero Bacillus. Os isolados identificados com sendo Bacillus spp. se mostraram resistentes a concentrações de sal (NaCl) a 5% e algumas a 10%, indicando sua adaptação a superfícies secas. Este estudo, associado à literatura, indica que há muitos problemas em classificar a diversidade microbiana e que esta deve ser levada em consideração em processos de controle de biodeterioração em prédios.

La nation et ses mutations : une lecture d'une paix royale, roman belge francophone contemporain de Pierre Mertens

O presente estudo tem como objeto final a análise do romance belga francófono contemporâneo Une paix royale, publicado em 1995 por Pierre Mertens. No que diz respeito a um espaço nacional sem conformidade com o modelo canônico do Estadonação, quer-se evidenciar o estatuto de uma poética romanesca no seu processo de invenção do mito da nação e as peculiaridades da representação nacional que essa poética contribui a gerar. Tal abordagem do texto literário tem como pressuposto um estudo teórico sobre o conceito de nação, do qual são apresentadas uma história e uma definição. Também é levada em consideração a natureza das relações que a ficção romanesca estabelece com o mito da nação: a invenção do mesmo – que pode incluir sua desconstrução - utiliza uma linguagem específica da qual o romance e o campo literário em geral são enunciadores privilegiados. Essas considerações teóricas abrem caminho para um método interpretativo de textos francófonos que são os portadores contemporâneos do mito da nação belga, ou seja, manifestos publicados por intelectuais e por escritores entre 1976 e 2003, e o romance Une paix royale. A tese manifesta o papel criativo das Letras belgas francófonas na renovação da nação, que conserva uma atualidade