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.

Sistema Aldeia : programação paralela e distribuída em Java sobre Infiniband e DECK

Esse trabalho de dissertação está incluído no contexto das pesquisas realizadas no Grupo de Processamento Paralelo e Distribuído da UFRGS. Ele aborda as áreas da computação de alto desempenho, interfaces simples de programação e de sistemas de interconexão de redes velozes. A máquina paralela formada por agregados (clusters) tem se destacado por apresentar os recursos computacionais necessários às aplicações intensivas que necessitam de alto desempenho. Referente a interfaces de programação, Java tem se mostrado uma boa opção para a escrita de aplicações paralelas por oferecer os sistemas de RMI e de soquetes que realizam comunicação entre dois computadores, além de todas as facilidades da orientação a objetos. Na área a respeito de interconexão de rede velozes está emergindo como uma tentativa de padronização a nova tecnologia Infiniband. Ela proporciona uma baixa latência de comunicação e uma alta vazão de dados, além de uma série de vantagens implementadas diretamente no hardware. É neste contexto que se desenvolve o presente trabalho de dissertação de mestrado. O seu tema principal é o sistema Aldeia que reimplementa a interface bastante conhecida de soquetes Java para realizar comunicação assíncrona em agregados formados por redes de sistema. Em especial, o seu foco é redes configuradas com equipamentos Infiniband. O Aldeia objetiva assim preencher a lacuna de desempenho do sistema padrão de soquetes Java, que além de usar TCP/IP possui um caráter síncrono. Além de Infiniband, o Aldeia também procura usufruir dos avanços já realizados na biblioteca DECK, desenvolvida no GPPD da UFRGS. Com a sua adoção, é possível realizar comunicação com uma interface Java sobre redes Myrinet, SCI, além de TCP/IP. Somada a essa vantagem, a utilização do DECK também proporciona a propriedade de geração de rastros para a depuração de programas paralelos escritos com o Aldeia. Uma das grandes vantagens do Aldeia está na sua capacidade de transmitir dados assincronamente. Usando essa técnica, cálculos da aplicação podem ser realizados concorrentemente com as operações pela rede. Por fim, os canais de dados do Aldeia substituem perfeitamente aqueles utilizados para a serialização de objetos. Nesse mesmo caminho, o Aldeia pode ser integrado à sistemas que utilizem a implementação de soquetes Java, agora para operar sobre redes de alta velocidade. Palavras-chave: Arquitetura Infiniband, agregado de computadores, linguagem de programação Java, alto desempenho, interface de programação.

A influência da qualidade do atendimento na decisão de compra

Neste estudo verifica-se a influência da qualidade do atendimento na decisão de compra de planos pós-pagos de telefonia móvel celular, bem como a existência de uma correlação entre o grau de conhecimento que o consumidor já possui sobre o serviço antes de adquiri-lo e a importância atribuída ao auxílio do vendedor no momento da compra. Para tanto, foi realizada uma pesquisa com pessoas que adquiriram planos pós-pagos nas lojas de uma operadora de telefonia móvel na cidade do Rio de Janeiro, por meio da qual foram analisados: o grau de conhecimento prévio dos compradores sobre os serviços, o grau de satisfação com o atendimento, a importância atribuída ao auxílio do vendedor para a tomada de decisão de compra, entre outros indicadores. A etapa quantitativa foi precedida de uma fase qualitativa, a fim de levantar os atributos considerados importantes pelos clientes para medir a qualidade de atendimento e, com base neles, construídos os questionários que, depois de aplicados e analisados, resultaram na constatação de uma correlação positiva entre a percepção de qualidade no atendimento e a decisão de compra. Os resultados são discutidos, bem como as implicações acadêmicas e gerenciais.

Piraí digital e a teoria ator-rede: a trajetória de inclusão e desenvolvimento de Piraí

A cidade de Piraí, no estado do Rio de Janeiro, Brasil, é palco do programa Piraí Digital, um leque de iniciativas, em cinco áreas de atuação – governo, educação, saúde, negócios e cidadania –, com o objetivo de vencer a exclusão digital no município e contribuir para seu desenvolvimento. O programa foi estudado por meio da associação entre um modelo heurístico para análise da inclusão digital e a Teoria Ator-Rede (ANT). O trabalho apresenta a descrição da evolução do programa segundo os atores que o construíram. Entre 1997 e 2009, Piraí Digital contribuiu para uma série de mudanças positivas em Piraí, notadamente nas áreas de educação, a qual adotou a computação 1:1 em toda a rede municipal no ano de 2009; saúde, que utiliza a estrutura de rede de computadores e internet da cidade para disseminar seus sistemas; e governo, onde a administração pública teve ganhos de produtividade e arrecadação por meio da informatização da máquina administrativa. O estudo de Piraí Digital permite compreender a importância da associação de artefatos – rede de computadores, telecentros, Planos Diretores e outros – e das pessoas nos esforços para vencer a exclusão digital e contribuir para o desenvolvimento local. Explorando o contraste entre a grande notoriedade de Piraí Digital fora do município e o baixo conhecimento do programa pela população local, o autor faz a analogia com uma obra de saneamento, pouco conhecida e visível, mas essencial para a população. Em Piraí, o saneamento digital está pronto, com bits jorrando das torneiras nas escolas e a saúde se beneficiando da TI para escoar seu fluxo de informações para benefício dos cidadãos piraienses.

Dinodontosaurus (Synapsida, Dicynodontia) reconstituições morfológicas e aspectos biomecânicos

Dicinodontes possuem um mosaico de características, que incluem, por exemplo, extrema redução dentária, movimento propalinal da mandíbula, e o desenvolvimento de uma postura diferenciada em alguns gêneros. Nesses, enquanto os membros anteriores permanecem abduzidos, em uma postura primitiva, os posteriores se tornam totalmente aduzidos. Para discutir aspectos paleobiológicos, foram efetuadas análises morfofuncionais e biomecânicas em espécimes do gênero Dinodontosaurus Romer, 1943, um dicinodonte de porte médio do Mesotriássico do estado do Rio Grande do Sul, Brasil. É endossada a sinonímia da maioria das espécies do gênero com Dinodontosaurus turpior, excetuando-se Dinodontosaurus platygnathus, cujos materiais apresentam características conflitantes, e é tratado aqui como nomen dubium. É apresentada uma sucinta descrição osteológica para as formas juvenis do gênero, nos quais se observa a presença de seis vértebras sacrais, além de um mínimo de 17 caudais, adicionando informações que permitem novas reconstruções esqueletais. Enfoque é dado na miologia facial e dos membros, com base na comparação de modelos para diferentes taxa, seguindo a abordagem de suporte filogenético de animais viventes. Apenas músculos de presença inequívoca são reconstituídos, a menos quando há argumentos morfológicos convincentes. A partir de observações morfofuncionais, é eliminada a possibilidade de Dinodontosaurus utilizar suas presas com a mandíbula aberta, seja para alimentação ou defesa, e é reforçado seu caráter como ornamentação Na falta de análogos posturais modernos, comparações com preguiças terrícolas extintas levaram alguns autores a propostas de uma postura bípede para os dicinodontes, ao menos facultativa, para se erguerem nas patas traseiras e alcançarem níveis mais elevados de vegetação. Para testar essa hipótese, foram abordados vários aspectos biomecânicos envolvidos na postura bípede, em Dinodontosaurus. Seu centro de massa foi localizado a partir da suspensão de modelos em argila, estando posicionado em um ponto, no plano sagital, aproximadamente na metade da distância entre os estilopódios anteriores e posteriores, um pouco mais próximo dos primeiros; para os indivíduos juvenis, um modelo digital obtido através de scanner 3D a laser também corroborou esse posicionamento, o que sugere que a postura bípede não poderia ser facilmente mantida sem apoio, e um caminhar bípede seria totalmente impraticável. Foram estimados os momentos de resistência da coluna vertebral, a partir de medidas da largura e altura dos centros vertebrais em sua borda posterior, sendo que os resultados foram compatíveis com um animal de postura quadrúpede. Foram também calculados os índices de capacidade atlética para os ossos longos dos membros anteriores e posteriores; para isso, foram estimadas as massas, com os indivíduos juvenis atingindo entre 23 e 32kg, enquanto o adulto não ultrapassaria 300kg. As massas foram obtidas baseando-se em estimativas de volume a partir de silhuetas e de modelos tridimensionais em computação Os valores obtidos para os índices de capacidade atlética são muito superiores aos de outros animais descritos na literatura, embora sejam compatíveis com outros terápsidos não-mamalianos julgados quadrúpedes, e estão na mesma ordem de grandeza entre os ossos dos membros anteriores e posteriores, o que também alude à postura quadrúpede. Através de observações morfológicas gerais, localização do centro de massa, estimativa de momentos de resistência da coluna vertebral e cálculo de índices de capacidade atlética para os membros, conclui-se que, ao menos no que concerne a Dinodontosaurus, não há evidências que suportem as analogias morfofuncionais com as preguiças terrícolas, animais que apresentam diversas adaptações para o bipedalismo. Os resultados para os índices de capacidade atlética também lançam dúvidas sobre sua aplicabilidade generalizada em comparações paleobiológicas.

Identificação de nomes ativos em agentes-π baseada em tipos

Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algoritmos destinados a verificação de equivalência são baseados na construção de sistemas de transições rotuladas (π-autômatos). O principal problema com essa abordagem é o grande número de estados envolvidos podendo chegar a um número infinito. Montanari e Pistore mostram que é possível gerar π-autômatos finitos para agentes-π e é possível reduzir a quantidade de estados desses π-autômatos, através da identificação dos nomes ativos. Um nome é semanticamente ativo em um agente se ele pode ser executado de forma observável por ele. Este é um trabalho de análise estática, que tem por objetivo coletar os possíveis nomes ativos contidos em expressões-π, utilizando para isso um sistema de tipos. A vantagem da utilização de sistemas de tipos em relação a outras formas de análise estática é que sistemas de tipos são sistemas lógicos, logo as técnicas de prova da lógica podem ser aproveitadas no estudo de propriedades de sistemas de tipos. Além disso sistemas de tipos são definidos através da estrutura sintática de expressões, facilitando assim as provas por indução estrutural. Assim a principal contribuição deste trabalho é a elaboração do Active-Base-π, um sistema de tipos para a coleta de nomes ativos de expressões-π.

Politicas administrativas para preservação do patrimonio historico : experiencias na Cidade do Rio de Janeiro

Esta dissertação objetivou investigar a existência, ou não, de ações, nos últimos seis anos, voltadas para a preservação do patrimônio histórico da cidade do Rio de Janeiro, além de analisar as relações inter e intragovernamentais e a participação da sociedade neste processo. Após uma pesquisa bibliográfica, complementada por uma pesquisa de campo, concluímos que, apesar de diversas dificuldades, existem, de fato, esforços voltados para a preservação do patrimônio histórico edificado. A mesma importância não nos pareceu, quanto ao patrimônio histórico móvel. Em relação à participação da sociedade, ela ocorre, mas é muito localizada. No que conceme à interação entre órgãos governamentais, tivemos a impressão de ser esta uma questão crítica.

Os bancos brasileiros na internet: um estudo de caso sobre os motivadores para a sua forma de atuação neste ambiente

O objetivo deste estudo é propor um modelo de análise integrada para a forma de atuação dos bancos brasileiros no ambiente da Internet. Para tanto foi conduzido um estudo de caso único com o Banco do Brasil. A maioria das entrevistas foi realizada nas sedes administrativa e de tecnologia do banco na cidade de Brasília, DF. Foi proposto um Modelo de Análise Integrada baseado em várias teorias e estruturas da área de estudos organizacionais e sistemas de informação. Entre as descobertas da pesquisa está a constatação de que o fenômeno estudado pode ser satisfatoriamente compreendido com o emprego de todas as teorias selecionadas, comprovando a complexidade do objeto desta pesquisa. O estudo apresentou entre suas limitações o fato de ter sido um estudo de caso único, como também a impossibilidade de se realizar esta pesquisa em amplo espectro, com um número consideravelmente maior de organizações. O ineditismo e a contribuição deste estudo residem no fato de ter proposto um modelo integrado com teorias e estruturas de análise que facilitam a compreensão do fenômeno observado. Em estudos futuros o pesquisador poderia incluir a pesquisa em um número maior de instituições para enriquecer a análise.

Mobile banking no Brasil: eventos críticos, trajetória e cenários esperados

O fenômeno de Mobile Banking, emergente no Brasil, poderia ser caracterizado tanto pela magnitude das expectativas associadas a ele quanto por sua complexidade sócio-política e tecnológica. Por um lado, este fenômeno representa uma formidável estratégia para inclusão financeira de uma parcela significativa da população brasileira, bem como um canal potencialmente revolucionário para serviços bancários e financeiros inovadores. Por outro lado, este fenômeno ainda se encontra em uma fase inicial de desenvolvimento no país, contrariando expectativas, e vários eventos críticos são esperados antes de sua possível consolidação. Este trabalho teve por objetivo descrever e explicar os possíveis eventos críticos, trajetória e cenários relacionados ao fenômeno de Mobile Banking & Payments no contexto brasileiro, considerando-o como uma tecnologia-em-prática resultante da interação entre diversos agentes sociais. Com uma abordagem conceitual multi-nível focada em estudos na área de Tecnologia e Sistemas de Informação, orientada por uma postura epistemológica interpretativista e também crítica, buscou-se identificar os grupos sociais mais relevantes relacionados ao fenômeno analisado, avaliando as suas perspectivas e expectativas tecnológicas, ao mesmo tempo em que se buscou antecipar os possíveis processos de negociação e interação entre eles. Como resultado, foram construídos uma trajetória de eventos críticos de incerteza e dois cenários futuros considerados mais prováveis. Por conseguinte, foi possível analisar e endereçar propositivamente algumas questões críticas, com contribuições relevantes tanto para a teoria quanto para a prática

Avaliação da eficiência de comunicação em redes sociais digitais : uma análise exploratória do cenário de empresas no Brasil

Um dos principais desafios dos profissionais de marketing é avaliar os resultados gerados a partir da realização de ações de comunicação nas empresas. Por meio de uma pesquisa junto aos gestores de empresas que utilizam Redes Sociais Digitais no Brasil como ferramenta de comunicação, foram identificadas: as práticas de mensuração da eficiência da comunicação nessas redes; a forma de estruturar as atuações da empresas nas redes sociais; e os métodos mais utilizados para estruturar, medir e priorizar investimentos neste novo mundo digital. Como resultado do estudo, identificou-se que o nível de investimentos das empresas é considerado pelos gestores baixo e que, apesar dos investimentos reduzidos, as empresas já observam benefícios relevantes para os seus negócios, resultantes da atuação nas redes. De certa forma, os gestores entrevistados entendem que essa ferramenta é muito recente e que não devem se preocupar em avaliar retorno sobre investimentos em Redes Sociais Digitais, pelo menos por enquanto, apesar da preocupação com a governança corporativa.

Aplicação da metodologia de preços hedônicos ao mercado brasileiro de serviços de comunicação e mídia

O Brasil possui um dos mercados de serviços de comunicação e mídia que mais cresce no mundo. Grande parte deste crescimento pode ser atribuída à evolução tecnológica e às recentes alterações no ambiente competitivo, os quais favoreceram a convergência de serviços antes vendidos separadamente - voz, dados e TV. Isto elevou a atratividade destes serviços, contribuindo também para a redução de seu preço, por meio, principalmente, dos ganhos de escala, impulsionando seu crescimento. Este crescimento atraiu mais competidores ao mercado, o que, intensificado por mudanças regulatórias, eleva a importância da correta precificação dos pacotes de serviços. Portanto, um entendimento apropriado dos atributos mais valorizados pelos consumidores no processo decisório de compra destes serviços é de fundamental importância para melhorar a alocação dos recursos e maximizar o retorno, sem perda de participação de mercado. Este trabalho aplica a Metodologia de Preços Hedônicos como ferramenta para auxiliar na identificação dos atributos relevantes dos pacotes de serviços multimídia comercializados no mercado da cidade de São Paulo e seus respectivos preços implícitos. São 371 pacotes distintos contendo de um a três tipos diferentes de serviços analisados com base nos preços praticados em março de 2009. Como resultado, foram identificados intensos prêmios de preço associados aos canais do grupo Telecine, aos canais esportivos, infantis e de filmes e séries, bem como às variáveis ligadas às velocidades de download e upload.

Análise do modelo de três fatores aplicado à BM&F Bovespa

O modelo de três fatores de Fama & French (1993) é uma extensão do modelo de precificação de ativos de Sharpe (1963), Lintner (1965) e Black (1972), o CAPM. Em Fama & French (1993), o valor de mercado e o valor contábil das empresas são adicionados como variáveis explicativas ao fator de risco de mercado β do CAPM. O objetivo deste trabalho é testar o poder explicativo do modelo de três fatores para o mercado acionário brasileiro. A inovação deste trabalho foi a utilização de um universo de ações móvel, no qual os títulos que são lançados na Bovespa no período de análise vão sendo incorporadas à base de dados conforme atingem os requisitos do modelo. Trata-se de uma abordagem inovadora, já que tradicionalmente o universo de ações que compõe a amostra é rígido do início ao fim do período de análise. Esta abordagem foi desenvolvida com o intuito de mitigar o problema de falta de dados do mercado acionário brasileiro. O período de análise foi de 2000 à 2011, e as ações utilizadas foram todas aquelas que possuíam um histórico confiável e apresentaram pelo menos um negócio à cada dois meses. A análise do Modelo de Três Fatores foi realizada utilizando a metodologia de séries temporais de Black, Jensen e Scholes (1972), da mesma forma que Fama & French (1993). Como variável dependente foram utilizadas 16 carteiras, oriundas do cruzamento das ações dividas em 4 percentis iguais pelos seus valores de mercado (ME), e 4 percentis iguais pela razão valor de mercado pelo valor contábil (ME/BE). Como variáveis independentes foram construídas duas séries de retorno que replicam os fatores de risco valor de mercado, SMB, e a razão valor de mercado pelo valor contábil, HML. Estas foram construídas pela diferença dos retornos das ações de maior ME e menor ME; e pela diferença do retorno das de maior ME/BE, pelas de menor ME/BE. O método de estimação dos coeficientes das regressões utilizado foi o dos mínimos quadrados ordinários. Os resultados do Modelo encontrados para a bolsa brasileira foram similares àqueles encontrados por Fama & French (1993). O Modelo apresentou maior poder explicativo para os retornos dos portfolios analisados que o CAPM, e mostrou-se estatisticamente significante para 15 das 16 carteiras. Os coeficientes das regressões relativos aos fatores de risco SMB e HML apresentaram, em sua maioria, os mesmo sinais que os encontrados por Fama & French (1993). Foi encontrada uma discrepância relativa ao sinal do fator HML para as carteiras de maior ME/BE, cuja explicação está atrelada ao momento da economia e mercados no período. Por fim, o Modelo e a discrepância foram reavaliados dividindo-se o período de análise em pré e pós-crise de 2008. O modelo mostrou maior poder explicativo para o período pós-crise que para o pré-crise. A mesma discrepância do sinal de HML foi encontrada no pré-crise, entretanto não foi verificada no pós-crise.