Análise da Máquina de Turing Persistente com múltiplas fitas de trabalho

Nos últimos 70 anos têm sido apresentadas várias propostas para caracteriza ção da noção intuitiva de computabilidade. O modelo de Computação mais conhecido para expressar a noção intuitiva de algoritmo é a Máquina de Turing. Esse trabalho apresenta máquinas abstratas que representam diferentes formas de comportamento computacional, sendo possível abordar a diversidade entre a Teoria da Computação Clássica (Máquina de Turing) e a Teoria da Computa- ção Interativa (Máquina de Turing Persistente). Com a evolução dos sistemas de computação, surgiu a necessidade de estender a de nição de Máquina de Turing para tratar uma diversidade de novas situações, esses problemas conduziram a uma mudança de paradigma. Neste contexto foi desenvolvido a Máquina de Turing Persistente, que é capaz de fundamentar a Teoria da Computação Interativa. Máquinas de Turing Persistentes (PeTM) são modelos que expressam comportamento interativo, esse modelo é uma extensão da Máquina de Turing. O presente trabalho tem como objetivo explorar paralelismo na Máquina de Turing Persistente, através da formalização de uma extensão paralela da PeTM e o estudo dos efeitos sobre essa extensão, variando o número de tas de trabalho. Contribui- ções desse trabalho incluem a de nição de uma máquina de Turing Persistente Paralela para modelar computação interativa e uma exposição de conceitos fundamentais e necessários para o entendimento desse novo paradigma. Os métodos e conceitos apresentados para formalização da computação na Máquina de Turing Persistente Paralela desenvolvidos nessa dissertação, podem servir como base para uma melhor compreensão da Teoria da Computação Interativa e da forma como o paralelismo pode ser especi cado em modelos teóricos.

Quantificação da interferência do cliente em projetos de grande porte : um método de modelagem utilizando dinâmica dos sistemas

A Dinâmica dos Sistemas vem expandindo seu leque de aplicações por diversas áreas do conhecimento humano, dentre as quais está a Administração de Empresas. Este trabalho mostra que esta disciplina pode ser utilizada como uma ferramenta que fornece subsídios para negociações post mortem de projetos de grande porte. Dentro deste âmbito, o ponto principal é avaliar qual foi a influência do comportamento do cliente no resultado final do projeto. Interferências do tipo: ingerência nas decisões de projeto, alterações de escopo, atraso na aprovação de documentos e solicitações para que sejam realizadas atividades adicionais não diretamente relacionadas ao projeto podem contribuir para o aumento do prazo e do custo de realização de um empreendimento. A abordagem deste problema através da Dinâmica dos Sistemas fornece a possibilidade de criar modelos de simulação em que possam ser incorporados fatores importantes, porém subjetivos, que contribuem para o entendimento do projeto como o moral da equipe de engenharia e a confiança do cliente na empresa contratada. Este trabalho traz uma parte teórica que é fruto da pesquisa sobre a ' literatura existente nesta área específica de aplicação. Nela são explicados os ciclos de paralelismo, de retrabalho e de interferência do cliente. Na segunda parte, um caso real de um projeto de engenharia é apresentado e modelado. Os resultados são então analisados de forma a fornecer informações confiáveis sobre atraso e custos adicionais de responsabilidade do cliente. Estes dados são a base para a elaboração pela contratada de um documento pleiteando compensação pela interferência do cliente. Esta abordagem por Dinâmica dos Sistemas é pouco conhecida e ainda pode ser bastante explorada

Mapeamento da linguagem Nautilus para Java

Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da linguagem. Nautilus é originalmente uma linguagem de especificação baseada em objetos, textual que suporta objetos concorrentes e não deterministas. Desde então a linguagem foi modificada aom extensões como classes e uma notação diagramática, além de se investigar seu uso como linguagem de programação. Suas construções incomuns (reificação, agregação, etc.) são baseados em seu domínio semântico: Automâtos Não Sequenciais. Este domíno satisfaz composição diagonal, i.e refinamentos se compõem (verticalmente) refletindo uma descrição gradual de sistemas, envolvendo múltiplos níveis de abstração, e distribui-se através de combinadores (horizontalmente), o que significa que o refinamento de um sistema composto é a combinação de do refinamento de suas partes.O trabalho inclui um mapeamento inicial de um subconjunto da linguagem(objeto base, reificação, agregação e visão), uma versão ampliada para abranger mais construções( interação e classes), e uma versão refinada mais concorrente e sugestões de modificação na linguagem.

Estudo e análise de desempenho da antecipação de tarefas em sistemas gerenciadores de workflow

Sistemas Gerenciadores de Workflow (SGWf) têm atraído muita atenção nos últimos anos, por serem baseados em um modelo simples que permite definir, executar e monitorar a execução de processos. Mas este esquema é um tanto quanto rígido e inflexível, apresentando alguns problemas quando da necessidade de sua utilização no controle de processos com características cooperativas, em que o comportamento humano deve ser levado em conta. Este tipo de processo deve apresentar uma certa flexibilidade de forma a possibilitar a troca de resultados entre tarefas, acabando com a dependência fim-início existente entre tarefas seqüenciais nos SGWfs tradicionais. A fim de possibilitar este tipo de comportamento, surge a antecipação de tarefas, que tem por objetivo oferecer meios de flexibilizar o fluxo de controle e o fluxo de dados para permitir que tarefas possam ser disparadas antes mesmo da conclusão de suas antecessoras. A antecipação implica no aumento da cooperação entre tarefas e em melhor desempenho com relação ao tempo de execução dos processos. O aumento na cooperação está relacionado diretamente à troca de resultados, permitindo que duas ou mais tarefas trabalhem sobre instâncias de um determinado dado que ainda está sendo produzido. O melhor desempenho deve-se ao paralelismo (parcial) criado entre tarefas que deveriam executar de maneira estritamente seqüencial, devido ao disparo das tarefas antes do previsto. Este trabalho então, apresenta um estudo das abordagens de flexibilização de SGWfs, visando encontrar maneiras de prover antecipação de tarefas. O principal objetivo do trabalho é verificar a melhoria de desempenho em termos de tempo de execução dos processos que se pode obter utilizando a antecipação de tarefas Para tal, foi desenvolvido um simulador que suporta a antecipação de tarefas e foram conduzidas simulações, que mostraram os ganhos e alguns padrões de comportamento da utilização da antecipação de tarefas. Para possibilitar o uso da antecipação em processos reais foram realizadas alterações na ferramenta de definição de processos Amaya Workflow e na máquina de workflow do projeto CEMT.

Formalização da comunicação de conhecimentos probabilísticos em sistemas multiagentes : uma abordagem baseada em lógica probabilística

Durante os últimos anos as áreas de pesquisa sobre Agentes Inteligentes, Sistemas Multiagentes e Comunicação entre Agentes têm contribuído com uma revolução na forma como sistemas inteligentes podem ser concebidos, fundamentados e construídos. Sendo assim, parece razoável supor que sistemas inteligentes que trabalhem com domínios probabilísticos de conhecimento possam compartilhar do mesmo tipo de benefícios que os sistemas mais tradicionais da Inteligência Artificial receberam quando adotaram as concepções de agência, de sistemas compostos de múltiplos agentes e de linguagens de comunicação entre estes agentes. Porém, existem dúvidas não só sobre como se poderia escalar efetivamente um sistema probabilístico para uma arquitetura multiagente, mas como se poderia lidar com as questões relativas à comunicação e à representação de conhecimentos probabilísticos neste tipo de sistema, principalmente tendo em vista as limitações das linguagens de comunicação entre agentes atuais, que não permitem comunicar ou representar este tipo de conhecimento. Este trabalho parte destas considerações e propõe uma generalização do modelo teórico puramente lógico que atualmente fundamenta a comunicação nos sistemas multiagentes, que será capaz de representar conhecimentos probabilísticos. Também é proposta neste trabalho uma extensão das linguagens de comunicação atuais, que será capaz de suportar as necessidades de comunicação de conhecimentos de natureza probabilísticas. São demonstradas as propriedades de compatibilidade do novo modelo lógico-probabilístico com o modelo puramente lógico atual, sendo demonstrado que teoremas válidos no modelo atual continuam válidos no novo modelo. O novo modelo é definido como uma lógica probabilística que estende a lógica modal dos modelos atuais. Para esta lógica probabilística é definido um sistema axiomático e são demonstradas sua correção e completude. A completude é demonstrada de forma relativa: se o sistema axiomático da lógica modal original for completo, então o sistema axiomático da lógica probabilística proposta como extensão também será completo. A linguagem de comunicação proposta neste trabalho é definida formalmente pela generalização das teorias axiomáticas de agência e comunicação atuais para lidar com a comunicação de conhecimentos probabilísticos e pela definição de novos atos comunicativos específicos para este tipo de comunicação. Demonstra-se que esta linguagem é compatível com as linguagens atuais no caso não-probabilístico. Também é definida uma nova linguagem para representação de conteúdos de atos de comunicação, baseada na lógica probabilística usada como modelo semântico, que será capaz de expressar conhecimentos probabilísticos e não probabilísticos de uma maneira uniforme. O grau de expressibilidade destas linguagens é verificado por meio de duas aplicações. Na primeira aplicação demonstra-se como a nova linguagem de conteúdos pode ser utilizada para representar conhecimentos probabilísticos expressos através da forma de representação de conhecimentos probabilísticos mais aceita atualmente, que são as Redes Bayesianas ou Redes de Crenças Probabilísticas. Na outra aplicação, são propostos protocolos de interação, baseados nos novos atos comunicativos, que são capazes de atender as necessidades de comunicação das operações de consistência de Redes Bayesianas secionadas (MSBNs, Multiple Sectioned Bayesian Networks) para o caso de sistemas multiagentes.

Adaptação da bateria montreal de avaliação da comunicação : habilidades lingüísticas de ativação do hemisfério direito durante o envelhecimento

Esta investigação foi realizada através de dois estudos. O Estudo 1 teve por objetivo adaptar as tarefas que compõem a Bateria MEC ao Português Brasileiro (PB). O Estudo 2 visou verificar a influência do envelhecimento nas habilidades lingüísticas verbais e não-verbais de grande ativação do hemisfério direito (HD), testadas neste teste neuropsicológico. Para a adaptação da Bateria MEC, no primeiro estudo, três procedimentos gerais foram promovidos: tradução, análise de critérios lingüísticos por juízes e aplicação do instrumento em um estudo piloto. As tarefas intituladas Compreensão de metáforas, Discurso narrativo e Julgamento semântico exigiram um processo de adaptação mais complexo e rigoroso do que as outras provas. Com base em critérios psicolingüísticos, realizaram-se algumas mudanças nos estímulos. Participaram do segundo estudo 40 adultos jovens e 40 idosos, de ambos os sexos, com escolaridade superior a oito anos de estudo, sem relato de quaisquer patologias sensoriais, neurológicas ou psiquiátricas. Quatro instrumentos foram utilizados: Questionário de dados sócio-culturais e aspectos da saúde, Mini-mental, Escala de depressão geriátrica Yesavage e a Bateria MEC, já adaptada. Os três primeiros caracterizaram a amostra e possibilitaram a observação dos critérios de inclusão. O último examinou habilidades de compreensão de metáforas, evocação lexical, prosódias lingüística e emocional, atos de fala indiretos e julgamento semântico. Os idosos apresentaram um desempenho inferior ao dos jovens em todas estas tarefas, com exceção da prosódia lingüística – repetição, dos atos de fala indiretos e do julgamento semântico. A maior dificuldade de processamento comunicativo observada nos idosos não representou um déficit lingüístico, mas sim um efeito de idade no seu estilo cognitivo.

O uso do presente perfeito simples por aprendizes brasileiros de inglês como língua estrangeira

O presente estudo visa investigar as causas das dificuldades envolvidas na aquisição do Presente Perfeito Simples em inglês como língua estrangeira. Para tanto, participaram do estudo um grupo de aprendizes brasileiros acadêmicos do curso de Letras da Universidade Federal do Rio Grande do Sul (UFRGS) e um grupo de falantes nativos de inglês americano. O trabalho foi desenvolvido a partir da coleta de dados através do uso de testes que demandavam o conhecimento dos usos do perfeito em língua inglesa, bem como, de um questionário para o levantamento do perfil dos aprendizes. Os resultados obtidos demonstraram que os usuários de ambas as línguas apresentam dificuldades no uso do Presente Perfeito Simples. Os participantes deste estudo parecem relacionar o Presente Perfeito ao Passado Simples devido ao compartilhamento do traço semântico [+anterior ]. No que diz respeito a sua variável contextual ‘persistente’ o Presente Perfeito Simples aparece relacionado ao Presente Simples ou ao Presente Perfeito Contínuo devido ao fato de estes compartilharem o traço semântico [+duradouro] com o Presente Perfeito Simples persistente. Tais fatos demonstram uma dificuldade na distinção entre formas semanticamente semelhantes.

O apelo ecológico na propaganda como fator de influência na atitude de compra do consumidor: um estudo experimental

Este estudo examinou o apelo ecológico utilizado na propaganda como influenciador na atitude de compra do consumidor, tendo em vista que nas duas últimas décadas houve um crescimento nos anúncios que utilizam este tipo de apelo, demonstrando que, pelo surgimento de um novo nicho de mercado, empresas têm se valido do marketing verde e da influência normativa na sua estratégia de marketing. Buscou-se investigar se efetivamente o uso do apelo ecológico na propaganda influencia positivamente na intenção de compra do consumidor. A fundamentação teórica sobre o tema foi desenvolvida a partir dos estudos sobre comportamento do consumidor, atitudes em relação à propaganda, psicologia social e outros ligados ao tema. Esta fundamentação gerou algumas propostas conceituais, traduzidas em um conjunto de hipóteses, que, por se tratar de uma pesquisa causal, foram testadas por meio de metodologia experimental entre sujeitos, com oito níveis de manipulação, uma amostra não probabilística, formada por 215 estudantes de pós-graduação na cidade de Curitiba, e aplicação de questionário estruturado, constituído de perguntas fechadas e respostas escalonadas não-comparativas, intervalar do tipo diferencial semântico, com sete categorias. Os resultados obtidos indicaram que o apelo ecológico utilizado na propaganda como argumento de venda não gerou uma resposta significativamente mais favorável na intenção de compra; contudo, em relação à intenção de compra, o apelo ecológico na propaganda gerou uma atitude significativamente mais favorável do que a atitude em relação à marca, e uma atitude menos favorável do que a atitude em relação ao preço. Os resultados também indicaram que o consumidor não está disposto a pagar um preço maior por um produto anunciado com apelo ecológico de venda. Sugestões de pesquisa futura são comentadas à luz da teoria de marketing.

Configurações estratégicas de empresas de alto desempenho: análise qualitativa comparativa das imperfeições de mercado por elas exploradas.

Os objetivos deste estudo são (1) identificar quais são as imperfeições de mercado exploradas por empresas brasileiras de capital aberto e de alto desempenho contábil e (2) como essas imperfeições se configuram. DESIGN/METODOLOGIA/ABORDAGEM SUPORTE TEÓRICO: Teoria da Competição Perfeita, Teorias do Mercado Imperfeito e Teoria das Configurações Organizacionais. VARIÁVEIS: (1) dependente: desempenho contábil (lucro operacional/ativos de janeiro de 2005 a dezembro de 2009); (2) causais: imperfeições de mercado. DADOS: fontes secundárias: (1) quantitativos para a seleção das empresas de alto desempenho (base Economatica) e (2) qualitativos para identificação das configurações organizacionais (relatórios emitidos por Bancos e Corretoras de Valores). FERRAMENTAS DE ANÁLISE: (1) Análise Categorial de Conteúdo Semântico e (2) Análise Qualitativa Comparativa (Qualitative Comparative Analysis – QCA, modalidade MDSO- Most Different, Similar Outcome). SELEÇÃO DE CASOS E PERÍODO DE ANÁLISE: Empresas brasileiras de capital aberto com desempenho acima de um desvio padrão sobre a média da totalidade de empresas listadas na BM&FBovespa, excluídas as empresas do setor bancário e de administração de recursos. RESULTADOS: Os resultados da FASE 1 mostram que são cinco as imperfeições de mercado mais importantes para explicar o alto desempenho das empresas selecionadas. São elas: (1) LOCALIDADE (EMPRESA INTERNACIONALIZADA), (2) CRESCIMENTO DA DEMANDA, (3) TAMANHO, (4) RECURSOS (físicos, tecnológicos e qualidade) e (5) GOVERNO. Os resultados da FASE 2 revelam dois grandes conjuntos de configurações de imperfeições de mercado. No conjunto “mercado semi-livre”, a exploração de cinco imperfeições de mercado são compartilhadas: DIVERSIFICAÇÃO, RECURSOS, LOCALIDADE, CRESCIMENTO DA DEMANDA e SORTE. O outro conjunto é formado por empresas monopolistas ou oligopolistas de grande porte que compartilham a exploração de três imperfeições: CONCENTRAÇÃO, TAMANHO e TAMANHO DO GRUPO. Na intersecção dos dois conjuntos, encontram-se “as gigantes” que exploram comumente dez imperfeições: as três imperfeições do conjunto monopólios/oligopólios - CONCENTRAÇÃO, TAMANHO e TAMANHO DO GRUPO, as cinco imperfeições do conjunto do mercado semi-livre - DIVERSIFICAÇÃO, RECURSOS, LOCALIDADE, CRESCIMENTO DA DEMANDA e SORTE; além das imperfeições ACESSO PRIVILEGIADO A MATÉRIAS PRIMAS e INTEGRAÇÃO VERTICAL. Outras empresas que operam no mercado quase-livre aqui denominadas de “as exclusivas” compartilham a exploração das imperfeições DIFERENCIAÇÃO e o CRESCIMENTO ORGÂNICO, além das cinco compartilhadas pelo conjunto de empresas do mercado semi-livre. “As Concessões” exploram as três imperfeições de mercado do conjunto de empresas monopolistas/oligopolistas CONCENTRAÇÃO, TAMANHO E TAMANHO DO GRUPO, além do monopólio concedido pelo GOVERNO. ORIGINALIDADE: (1) Taxonomia sustentada por construtos paradigmáticos: imperfeições de mercado; (2) Uso de dados qualitativos obtidos pela Análise Categorial de Conteúdo Semântico; (3) Uso da metodologia QCA para reduzir variáveis e identificar configurações.

A marca temporal nos enunciados jornalísticos

Este trabalho objetivou descrever como são constituídos os enunciados temporais em Português Brasileiro, através da aplicação do Modelo casual da UFSC (1995). A partir de cenas coletadas do contexto esportivo jornalístico são analisados os enunciados temporais nos quais estão manifestos predicadores básicos e metafóricos e seus respectivos papéis temáticos, ou casos. É de interesse desse trabalho, também, estudar a relação temporal posterior estabelecida pelo conector depois e as nuances de sentido advindas do contexto para sua interpretação, que se instituem nas macrocenas selecionadas. Dessa forma, aplicou-se o modelo a 102 predicadores básicos, cuja natureza temporal foi confirmada; a 18 predicadores metafóricos, dos quais 13 efetuam movimento semântico do campo L para o T, e a 113 macrocenas, dentre as quais 75 foram interpretadas estabelecendo uma relação temporal posterior não-imediata entre os estados de coisas, evidenciada pela junção temporal associada à preposição de.

Requalificação de ativo público em obsolescência tecnológica: a ferrovia tronco centro de Pernambuco

O estudo objetivou levantar as possibilidades de requalificação da Linha Tronco Centro de Pernambuco (LTCPE), um ativo ferroviário secular, em bitola métrica, com 608 km de extensão, desenvolvidos ao longo da linha dorsal do Estado de Pernambuco. Sua relevância se justifica pela solicitação da Concessionária ao Governo federal de devolução do patrimônio ferroviário. A operadora destaca que a linha ferroviária será substituída por outra linha férrea, a Ferrovia Nova Transnordestina, em bitola larga, de alto desempenho, que liga os estados de Pernambuco, Piauí e Ceará. Ambas as ferrovias desenvolvem um longo paralelismo em toda a extensão da LTCPE. Pretendeu-se, pois, identificar outras utilidades para o referido ramal ferroviário que não a de transporte de carga, vez que esta requalificação não deveria se dar em posição concorrencial com a Transnordestina. A pesquisa foi desenvolvida com base na compreensão de seu contexto histórico, da análise do quadro nacional do setor e na análise dos diversos ambientes socioeconômicos em que está inserido esse ramal ferroviário. Para obtenção dos resultados, foram aplicados questionários com profissionais dos setores de serviços públicos de planejamento e logística, operadores e outros ligados à consultoria e engenharia. Com base no rol de intervenientes identificados, foi construída uma Matriz Institucional em que se apresentou o caminho crítico de ação e as interrelações entre os intervenientes públicos. Na mesma perspectiva, foi elaborada uma Matriz de SWOT (Strengths, Weaknesses, Opportunities e Threats) de forma a articular o conjunto de dados e ações, indicando atividades e inversões financeiras que subsidiarão os estudos técnicos para a requalificação. Como resultados, o estudo identificou os trechos requalificáveis, sua destinação e novas alternativas de uso do patrimônio ferroviário remanescente.

O impacto das notícias no mercado financeiro brasileiro

As informações publicadas na mídia ajudam os investidores no processo decisório e consequentemente influenciam no mercado financeiro. O objetivo do presente trabalho é explorar o efeito da publicação de notícias no mercado financeiro. Para isso, o trabalho aborda variáveis de quantidade de notícias e o efeito semântico de cada uma delas, bem como sua relação com os índices de retorno, volatilidade e volume negociado do Ibovespa. As hipóteses da pesquisa são de que a quantidade de conteúdo publicado e o sentimento da informação podem ser preditores válidos para o nível de volatilidade, retorno e volume. Contudo, isso não implica que esses dados ajudam a prever o futuro, mas sim o presente. Os resultados encontrados evidenciam que a quantidade e conteúdo semântico das notícias não têm efeito significativo sobre o retorno, mas os aumentos da quantidade de notícias e da quantidade de notícias negativas sugerem o aumento da volatilidade e do volume negociado do Ibovespa. Além disso, o efeito das notícias é maior na volatilidade de acordo com o estado econômico, ou seja, o impacto de más notícias na expectativa dos investidores é maior em bons tempos que em maus tempos. Este trabalho também apresenta novas evidências para o efeito de acordo com o dia da semana. Isto é, a quantidade de notícias publicadas de sexta-feira a domingo está relacionada com a volatilidade e o volume negociado do Ibovespa.

Da descrição lexicográfica : o caso dos adjetivos estéticos no português brasileiro

Tendo como objetivo a investigação acerca da descrição lexicográfica dos adjetivos estéticos, este trabalho observou como se estruturam a microestrutura, no enfoque da descrição sintático-semântica, e a macroestrutura, no que toca à organização lexical, de adjetivos do campo semântico da estética, em dicionários vernaculares do português brasileiro. Fundamentaram a análise dos dados os conceitos, definições e metodologia de elaboração de artigos de dicionário da Teoria Lexicológica Explicativo-Combinatória, bem como das pesquisas léxicosemânticas presentes no Dicionário Explicativo-Combinatório do Francês Contemporâneo. Observou-se que os adjetivos descritos nos dicionários vernaculares carecem da informação lexical que é passível de ser delineada apenas mediante uma descrição sintático-semântica acurada e rigorosa, em termos de lexicografia com base lexicológica. Os resultados apontam para a necessidade de serem estruturadas as entradas lexicais de adjetivos estéticos em obras lexicográficas, com base na sua caracterização sintático-semântica, que envolve, entre outras, questões de tipologia denotacional e inter-relação sintaxesemântica.

Previsão de desvios em arquiteturas multitarefas simultâneas

A exploração do paralelismo no nível de instrução (ILP) em arquiteturas superescalares é limitada fortemente pelas dependências de controle, as quais são ocasionadas pelas instruções de desvio, e pelas dependências de dados. As arquiteturas SMT (Simultaneous MultiThreaded) buscam explorar um novo nível de paralelismo, denominado paralelismo no nível de tarefa (TLP), para buscar e executar instruções de diversas tarefas ao mesmo tempo. Com isso, enquanto uma tarefa está bloqueada por dependências de controle e de dados, outras tarefas podem continuar executando, mascarando assim as latências de previsões incorretas e de acessos à memória, usando mais eficientemente as unidades funcionais e demais recursos disponíveis. Contudo, o projeto dessas arquiteturas continua a esbarrar nos mesmos problemas associados ao uso de técnicas utilizadas para a exploração de ILP, como a previsão de devios. Além disso, essas arquiteturas trazem novos desafios, como a determinação da maneira mais eficiente de distribuição/compartilhamento de recursos entre as tarefas. Nesse trabalho será apresentada uma topologia para as tabelas de previsão de desvios em arquiteturas multitarefas simultâneas. Além disso, serão desenvolvidas duas análises complementares acerca de previsão de desvios: o impacto da taxa de acertos da previsão de desvios em arquiteturas com pipelines profundos e o impacto da taxa de acerto na previsão do alvo de um desvio. Entre as principais contribuições do trabalho pode-se citar a definição de uma estrutura particionada para as tabelas de previsão em arquiteturas SMT, aliando desempenho a um menor custo de implementação em uma arquitetura real. Além disso, é mostrado que a taxa de acerto da previsão de desvios tem um grande impacto no desempenho das arquiteturas SMT com pipelines profundos, bem como nas causas de bloqueio do estágio de busca quando utiliza-se cache de instruções bloqueantes.

Perícia e investigação criminal: uma proposta de melhoria do modelo organizacional visando a otimização de resultados

O presente estudo trata da discussão de um novo modelo organizacional para a Perícia Criminal no qual seja possível a um só tempo, uma atuação integrada, harmônica e independente em relação à Investigação Policial, de modo a contribuir para alterar o modelo atual em que a Perícia Criminal atua apenas de forma limitada e pontual, para um modelo que permita um paralelismo entre esta e aquela, ressaltando a importância da aplicação da criminalística como ferramenta de excelência na investigação criminal e no combate à impunidade nos procedimentos investigatórios. Inicialmente, são apresentados o tema estudado seus objetivos, delimitação e relevância. Em seguida, é realizado um panorama de trabalhos anteriores relevantes para o tema aqui abordado, incluindo uma sintética exposição dos conceitos basilares da Criminalística e suas interrelações no Sistema de Justiça Criminal de modo a demonstrar o seu potencial no procedimento investigatório. É apresentada então a metodologia de pesquisa utilizada, para, em seguida, discutir-se a análise dos processos de investigação policial e perícia criminal e os resultados da pesquisa exploratória e sua análise, buscando-se identificar os problemas e propor mecanismos de melhoria do modelo organizacional. São apresentados também casos que envolvam áreas diversas do conhecimento pericial, em que se chegou a resultados efetivos graças à aplicação do modelo proposto. Ao final espera-se demonstrar que a implementação de um modelo organizacional em que haja paralelismo, integração e independência dos processos de investigação de campo e perícia técnica possibilitará uma otimização no desenvolvimento e no resultado da investigação criminal, o que contribuirá para uma maior eficiência do sistema de persecução penal e justiça criminal.