Um Estudo de técnicas de aceleração para algoritmos de análise de timing funcional baseados em geração automática de teste

Este trabalho tem como objetivo estudar e avaliar técnicas para a aceleração de algoritmos de análise de timing funcional (FTA - Functional Timing Analysis) baseados em geração automática de testes (ATPG – Automatic Test Generation). Para tanto, são abordados três algoritmos conhecidos : algoritmo-D, o PODEM e o FAN. Após a análise dos algoritmos e o estudo de algumas técnicas de aceleração, é proposto o algoritmo DETA (Delay Enumeration-Based Timing Analysis) que determina o atraso crítico de circuitos que contêm portas complexas. O DETA está definido como um algoritmo baseado em ATPG com sensibilização concorrente de caminhos. Na implementação do algoritmo, foi possível validar o modelo de computação de atrasos para circuitos que contêm portas complexas utilizando a abordagem de macro-expansão implícita. Além disso, alguns resultados parciais demonstram que, para alguns circuitos, o DETA apresenta uma pequena dependência do número de entradas quando comparado com a dependência no procedimento de simulação. Desta forma, é possível evitar uma pesquisa extensa antes de se encontrar o teste e assim, obter sucesso na aplicação de métodos para aceleração do algoritmo.

Projeto, construção e teste de equipamento para ensaios de fadiga de risers flexíveis

Apesar da vida em fadiga de risers flexíveis ser de grande importância na explotação “off-shore”, os dados disponíveis são bastante restritos. A interação entre as suas várias camadas, as inúmeras combinações realizadas entre elas para se obter diferentes características e os recentes avanços em termos de materiais, nos obrigam a estudá-los constantemente. Este trabalho tinha como objetivo principal a construção de um equipamento para possibilitar o estudo da vida em fadiga de risers, através de movimentos de tração combinada com flexão, referentes ao teste “a” da classe II da norma API 17B, bem como todos os outros testes da classe I da referida norma. Foram projetadas a estrutura e todos os demais componentes, que posteriormente foram redimensionados pelos resultados obtidos em simulações numéricas (elementos finitos). Posteriormente, de posse de todos os componentes, realizou-se a montagem do equipamento, seguida de um teste final, que foi acompanhado por uma análise extensométrica dos principais pontos da estrutura. A conclusão básica deste trabalho foi obtida através da comparação das análises por elementos finitos e extensométrica, onde foi constatado que o equipamento estava apto a entrar em operação para a realização de ensaios estáticos ou dinâmicos, observando-se apenas algumas restrições comentadas.

Criação e teste de uma escala para avaliação da estratégia de gestão do conhecimento : aplicação a um escritório de propriedade intelectual

Esta dissertação objetiva avaliar como as empresas organizam sua estratégia para gestão do conhecimento. Basicamente dois modelos estratégicos são apresentados na literatura: a codificação e a personalização. No entanto, há uma questão que se apresenta na literatura que se refere à importância do foco prioritário em apenas um dos modelos estratégicos citados. Como objetivo principal, pretende-se apresentar uma escala que possa analisar se uma empresa líder em seu segmento realmente possui um foco estratégico com relação à gestão do conhecimento. Durante o desenvolvimento deste trabalho, será percorrido um referencial teórico que busca explicar como a gestão do conhecimento se tomou importante para a estratégia das empresas, tocando em pontos como características da Era da Informação e conceitos básicos da gestão do conhecimento, englobando modelos teóricos que buscam explicar como o conhecimento é criado e transferido dentro das empresas. Um modelo para mensuração do foco estratégico de uma empresa será proposto. Este modelo será composto de indicadores estruturados em forma de um questionário. Para cada indicador haverá uma escala de avaliação e o conjunto do questionário buscará traduzir o foco estratégico citado. Por fim, o questionário será testado em uma empresa de Propriedade Intelectual e serão feitas análises estatísticas para avaliação do mesmo. Para isto será utilizado o procedimento da análise fatorial do tipo confirmatória. Trata-se de uma ferramenta estatística que possibilita uma avaliação tanto do modelo de análise, quanto do modelo estrutural.

Teste da rede de interconexões de field programmable analog arrays

Os dispositivos analógicos programáveis (FPAAs, do inglês, Field Programmable Analog Arrays), apesar de ainda não terem a mesma popularidade de seus pares digitais (FPGAs, do inglês, Field Programmable Gate Arrays), possuem uma gama de aplicações bastante ampla, que vai desde o condicionamento de sinais em sistemas de instrumentação, até o processamento de sinais de radiofreqüência (RF) em telecomunicações. Porém, ao mesmo tempo em que os FPAAs trouxeram um impressionante ganho na agilidade de concepção de circuitos analógicos, também trouxeram um conjunto de novos problemas relativos ao teste deste tipo de dispositivo. Os FPAAs podem ser divididos em duas partes fundamentais: seus blocos programáveis básicos (CABs, do inglês, Configurable Analog Blocks) e sua rede de interconexões. A rede de interconexões, por sua vez, pode ser dividida em duas partes: interconexões internas (locais e globais entre CABs) e interconexões externas (envolvendo células de I/O). Todas estas partes apresentam características estruturais e funcionais distintas, de forma que devem ser testadas separadamente, pois necessitam que se considerem modelos de falhas, configurações e estímulos de teste específicos para assegurar uma boa taxa de detecção de defeitos. Como trabalhos anteriores já estudaram o teste dos CABs, o foco desta dissertação está direcionado ao desenvolvimento de metodologias que se propõem a testar a rede de interconexões de FPAAs. Apesar das várias diferenças entre as redes de interconexões de FPGAs e FPAAs, muitas também são as semelhanças entre elas, sendo, portanto, indiscutível que o ponto de partida deste trabalho tenha que ser o estudo das muitas técnicas propostas para o teste de interconexões em FPGAs, para posterior adaptação ao caso dos FPAAs. Além disto, embora o seu foco não recaia sobre o teste de CABs, pretende-se utilizá-los como recursos internos do dispositivo passíveis de gerar sinais e analisar respostas de teste, propondo uma abordagem de auto-teste integrado de interconexões que reduza o custo relativo ao equipamento externo de teste. Eventualmente, estes mesmos recursos poderão também ser utilizados para diagnóstico das partes defeituosas. Neste trabalho, utiliza-se como veículo de experimentação um dispositivo específico (Anadigm AN10E40), mas pretende-se que as metodologias de teste propostas sejam abrangentes e possam ser facilmente adaptadas a outros FPAAs comerciais que apresentem redes de interconexão semelhantes.

Qual índice de mercado utilizar? : um teste das aproximações da Carteira de Mercado Brasileira

Este trabalho analisa as propriedades de alguns índices em busca da melhor aproximação (proxy) para a carteira de mercado brasileira. Além dos usuais Ibovespa, IBrX, FGV-100, são considerados dois índices construídos segundo as diretrizes da Moderna Teoria de Carteiras, a saber, uma carteira ponderada pelo valor de mercado (PV) e uma carteira igualmente ponderada (PI). Em um primeiro teste é analisada a eficiência em média e variância e em um segundo avalia-se o potencial dos índices como fatores de risco sistemático. O estudo cobre o período de 1996 a 2009 e todas as ações negociadas na BOVESPA. Os resultados evidenciam a semelhança nas qualidades dos índices, não sendo possível destacar uma melhor aproximação. Ibovespa, IBrX e FGV-100 são aproximações razoáveis e podem ser utilizadas.

O perfil motivacional e a inclinação de carreira do estudante e o profissional da tecnologia da informação

A área de tecnologia de infonnação (TI) tem sofrido mudanças constantes que, por consequência, impactam diretamente no profissional e nas empresas que trabalham com este setor. O presente estudo visou identificar a questão motivacional na relação do profissional de TI com seu trabalho, assim como a inclinação de carreira destes profissionais. Para tal, primeiramente foi realizado um estudo teórico sobre o tema, de fonna a constituir os alicerces para a pesquisa. Uma vez tendo-se a questão a ser investigada bem definida, foi realizada a pesquisa dentro de um grupo de profissionais de TI e de outro grupo de estudantes de TI como alvo da pesquisa. Foram aplicados questionários fechados com o grupo focal que foi dividido em profissionais e estudantes de TI. Os dois instrumentos utilizados foram o inventário de Valores de Schwartz (IVS) que oferecem algumas perspectivas de valorização do empregado, que correspondem as suas metas e interesses, e o outro instrumento foi o questionário de Edgar Schein sobre inclinação profissional, que pennite identificar a relação e as perspectivas destes com o trabalho e suas vidas. Com os resultados expostos constatou-se, através do Inventário de Valores de Schwartz e do questionário de Inclinação Profissional de Schein, que os estudantes e profissionais de TI aqui pesquisados são indivíduos auto-detenninados, que valorizam o estilo de vida, são benevolentes e hedonistas, buscam o bem-estar e a satisfação no trabalho e adoram desafios.

Estudo comparativo em radiografias panorâmicas do grau de inclinação dos terceiros molares inferiores e da direção de crescimento mandibular segundo os traçados de Altonen, Haavikko, Mattila e de Puricelli

Foi realizado um estudo comparativo entre os resultados das medidas obtidas segundo dois traçados (Altonen, Haavikko e Mattila x Puricelli), efetuadas sobre radiografias panorâmicas, verificando-se a presença ou ausência de compatibilidade entre os mesmos. Avaliou-se também a direção de crescimento mandibular (vertical ou sagital) na amostra composta por pacientes com maloclusão de Classe II esquelética e ainda a existência de uma relação desta direção com o grau de inclinação dos terceiros molares. Desta forma, as seguintes medidas foram comparadas: ângulo β de Altonen, Haavikko e Mattila correspondente ao γ de Puricelli, o qual indicou o relacionamento dos terceiros molares inferiores em relação aos segundos molares; ângulo γA de Altonen, Haavikko e Mattila correspondente ao M2L3 de Puricelli, o qual indicou o ângulo de inclinação do segundo molar com uma linha de base e ângulo α de Altonen, Haavikko e Mattila correspondente ao Pc-Go-B de Puricelli, proporcionando o ângulo mandibular. Baseando-se nos resultados obtidos, apresentados e discutidos no presente trabalho e de acordo com a metodologia estudada, pode-se concluir que: 1) Os traçados diferem entre si, com relação a todas as medidas. Entretanto, apresentam uma correlação positiva para todas as medidas estudadas. 2) Há um crescimento mandibular predominantemente vertical (condilar) segundo o traçado proposto por Puricelli. 3) O grau de inclinação do terceiro molar não se correlaciona com a direção do crescimento mandibular indicada através do ângulo mandibular em ambos os traçados. Desta forma, é imprescindível que ao se compararem os resultados de diferentes estudos analisem-se apenas aqueles que utilizaram o mesmo traçado.

Teste das pirâmides coloridas: padronização do novo modelo

Este trabalho tem por objetivo introduzir em nosso meio, o Teste das Pirâmides Coloridas em seu novo modelo, baseado no segundo manual alemão "Der Farbpyramidentest" de Robert Heiss, Petra Halder e Diether Hoger, editado na Alemanha em 1975.Uma breve introdução é dedicada ao estudo da cor, uma vez que o teste se propõe estabelecer relações entre cores e traços de personalidade. É descrita a evolução histórica pela qual o Teste das Pirâmides Coloridas passou, até chegar a sua forma atual. Uma pesquisa foi realizada a fim de apresentar uma padronização brasileira do teste. A amostra foi constituída de 400 sujeitos, masculinos e femininos na faixa etária de 15 a 21 anos.

A construção e validação de um teste com referência a critério para medir as competências básicas de leitura e escrita para o Programa de Alfabetização Funcional do MOBRAL

A necessidade de se desenvolverem instrumentos adequados a avaliação de programas educacionais é premente no momento atual. Segundo os estudos mais recentes no campo da medida educacional, os testes com referência a critério são os que atendem a esta necessidade. Este estudo teve por objetivo a construção de dois testes deste tipo para a avaliação do Programa de Alfabetização Funcional do MOBRAL nos dominios da aquisição das competências basicas em leitura e escrita. Inicialmente foram selecionadas e descritas quatro competências para serem medidas por cada teste. As competências foram selecionadas tendo como base os objetivos do programa apresentados no Roteiro de Orientação ao Alfabetizador (1977). A segunda etapa do estudo consistiu na criação das especificações para cada competência selecionadas nos dois dominios. A partir destas especificações foram construidos 32 itens para o teste de leitura e 40 para o de escrita. Estes itens foram, distribuidos randomicamente em 5 formas experimentais para cada teste. O teste de leitura é composto de itens de múltipla escolha e o teste de escrita de itens de resposta construida. Os criterios de correção e os padrões minimos de desempenho foram estabelecidos para cada teste. Para a analise destes padrões minimos foram calculados as medias e os desvios-padrão para cada forma aplicada. Estes resultados permitem a manutenção dos padrões minimos usados em estudos posteriores. A análise dos itens foi feita em duas etapas: na primeira foram calculados os indices de discriminância pelo processo tradicional e na segunda os indices de sensitivida de pelo processo desenvolvido por Gronlund (1976). Os resultados obtidos permitiram o aproveitamento de todos os itens. Os itens foram divididos em duas formas equivalentes para cada teste, cada um pode ser subdividido em três subtestes para a medida isolada das competências descritas. Para o exame de validade foram estabelecidos os indices de validade descritiva e de seleção de dominio. A fidedignidade dos testes ficou assegurada com a construção de mais de 5 itens para competência Gronlund (1976).

Teste Illinois de Habilidades Psicolinguísticas: analise critica do modelo mediacional e de diversos aspectos da validade do instrumento

Este trabalho investiga basicamente a validade do Teste Illinois de Habilidades Psicolinguísticas -ITPA -instrumento de avaliação do desenvolvimento da linguagem infantil. Seus autores, S. Kirk e J.J. McCarthy (1961), utilizam o referencial teórico proposto por C. Osgood (1957), a ele incorporando o modelo derivado da Teoria da Informação, o que permite que, na prática clínica, o ITPA possa ser incluído no processo psicodiagnóstico como instrumento de avaliação dos problemas da comunicação em crianças entre três e dez anos. Os objetivos que conduzem e orientam o trabalho apresentado podem ser definidos em três níveis: 1) O que trata dos constructos e suas interrelaç6es -análise crítica da validade teóricado ITPA; 2) O que avalia sua condição de instrumento diagnóstico do desempenho escolar -sensibilidade discriminante do rendimento acadêmico; 3) O que trata da eficácia da prática psicopedagógica proposta pelo mesmo instrumento. O estudo sobre a validade teórica foi realizado com 931 crianças entre três e dez anos de idade, em processo de escolarização, frequentando creches, jardins de infância ou classes regulares da Rede de Ensino do Primeiro Grau no Município do Rio de Janeiro. Utilizou-se a técnica da Análise Fatorial, complementada por uma abordagem lógica que comprovaram algumas das dimensões propostas pelo referencial teórico de Kirk e McCarthy. Para a validade diagnóstica foram avaliadas 71 crianças com dificuldades no desempenho acadêmico, expressas através de conceitos de insuficiência ou deficiência de rendimento e seus resultados foram comparados com os de um subgrupo, aleatoriamente constituído de crianças que participaram do estudo anterior. Utilizou-se a técnica da Análise Discriminante chegando-se à seguinte conclusão: embora a validade de constructo do IIPA não tenha sido completamente confirmada num nível diagnóstico os resultados permitem identificar, com baixa margem de erro, as crianças que pertencem a um ou outro dos grupos de contraste. Quanto ao terceiro nível, foi feita ampla-revelação bibliográfica sobre investigações efetuadas com este instrumento no Brasil e no Exterior. Visou-se avaliar a eficácia da prática psicopedagógica utilizada quando desenvolvida à luz dos recursos de intervenção que o IIPA propõe. Concluiu-se que as pesquisas, até o presente momento efetuadas, não são suficientes para formar um juízo mais seguro da praxis educativa destinada à reabilitação das crianças com problemas da comunicação - o que constitui impedimento a seu desempenho acadêmico - em função das controvérsias que tais pesquisas apresentam.

Um teste de paridade coberta de juros, ajustada por prêmio de risco, para a economia brasileira entre 2007 e 2010

O conceito de paridade coberta de juros sugere que, na ausência de barreiras para arbitragem entre mercados, o diferencial de juros entre dois ativos, idênticos em todos os pontos relevantes, com exceção da moeda de denominação, na ausência de risco de variação cambial deve ser igual a zero. Porém, uma vez que existam riscos não diversificáveis, representados pelo risco país, inerentes a economias emergentes, os investidores exigirão uma taxa de juros maior que a simples diferença entre as taxas de juros doméstica e externa. Este estudo tem por objetivo avaliar se o ajustamento das condições de paridade coberta de juros por prêmios de risco é suficiente para a validação da relação de não-arbitragem para o mercado brasileiro, durante o período de 2007 a 2010. O risco país contamina todos os ativos financeiros emitidos em uma determinada economia e pode ser descrito como a somatória do risco de default (ou risco soberano) e do risco de conversibilidade percebidos pelo mercado. Para a estimação da equação de não arbitragem foram utilizadas regressões por Mínimos Quadrados Ordinários, parâmetros variantes no tempo (TVP) e Mínimos Quadrados Recursivos, e os resultados obtidos não são conclusivos sobre a validação da relação de paridade coberta de juros, mesmo ajustando para prêmio de risco. Erros de medidas de dados, custo de transação e intervenções e políticas restritivas no mercado de câmbio podem ter contribuído para este resultado.

Barreiras para o acesso ao teste de detecção do virus da imunodeficiência humana em gestantes de Porto Alegre, Brasil

Resumo não disponível.

Um novo teste empírico para modelos teóricos de precificação

Este artigo propõe um novo teste para distinção entre modelos macroeconômicos de precificação. Onde testes antigos concluíram haver uma relação negativa entre inflação corrente e duração de um preço, indicando estado-dependência, nosso teste indica que a relação verdadeira é entre inflação esperada e duração do preço, indicando tempo-dependência-endógena. Argumentamos que os resultados previamente encontrados possivelmente sofreram de viés de variável omitida.