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.

Manutenção centrada em confiabilidade e análise de vibração

As empresas, cada vez mais, buscam a redução de custo, para serem mais competitivas. A necessidade de aumentar a vida útil dos equipamentos, através de técnicas apropriadas é prioritário para manutenção dos ativos. Neste trabalho estudou-se o método para implantação da análise e monitoramento da vibração em equipamentos rotativos, com base nos conceitos da manutenção centrada em confiabilidade, usando técnicas preditiva e pró-ativa de manutenção pela condição, com foco na tarefa. Primeiramente foi analisado o comportamento dos componentes em relação ao processo de falha, como as falhas atuam, os tipos de modos de falha, falhas funcionais e seus efeitos. Após foram analisados e selecionados os critérios de níveis de vibração para os equipamentos rotativos em função da potência e rotação. Também, foi determinado em que condições os espectros seriam analisados em função da amplitude e freqüência de rotação. Então, foram preparados os locais para coletas dos dados de vibração. Assim, os níveis de vibração global foram coletados em função das amplitudes, em cada posição específica do equipamento em seu plano. Isto faz com que, análise dos níveis globais de vibração e o diagnóstico através do espectro e a forma de onda, permitissem encontrar a causa do problema. Finalmente, são apresentados os resultados em níveis de amplitude, espectro após ações, a correção da causa do problema e os tipos de defeitos de tendência de falhas e a implementação do método.

Organização da produção e do trabalho em ambiente de comando numérico

Trata das modificações ocorridas na organização da produção e na organização do trabalho em função da introdução de tecnologia de base microeletrônica em empresas industriais. Estas modificações são associadas aos fatoreseconômicos, políticos e sociais que as determinam, a partir de urna dada base tecnológica potencial. No estudo da situação brasileira dá-ênfase à introdução e difusão de máquinas-ferrarnenta de comando numérico, hem como aos possíveis impactos causados por este processo

Especificação e implementação de um protótipo de serviço web para buscas baseadas em contextos compartilhados definidos a partir de sintagmas e relacionamentos

The popularization of the Internet has stimulated the appearance of Search Engines that have as their objective aid the users in the Web information research process. However, it s common for users to make queries and receive results which do not satisfy their initial needs. The Information Retrieval in Context (IRiX) technique allows for the information related to a specific theme to be related to the initial user query, enabling, in this way, better results. This study presents a prototype of a search engine based on contexts built from linguistic gatherings and on relationships defined by the user. The context information can be shared with softwares and other tool users with the objective of promoting a socialization of contexts

O circuito espacial produtivo e os círculos de cooperação da carcinicultura do Rio Grande do Norte

Suponiendo que la dinámica territorial del período histórico actual se caracteriza por la nueva división territorial del trabajo, por la especialización regional productiva y por la racionalidad que preside el movimiento de las mercancías y de la información, la teoría de los circuitos espaciales de producción se convierte fundamental para la comprensión de la organización, regulación y del uso de territorios por las actividades productivas. Así, teniendo en cuenta este supuesto y aplicando esta teoría para analizar el área de la producción de camarón en el estado de Rio Grande do Norte, se llega a comprender la dinámica del territorio Potiguar. Por lo tanto, en nuestro trabajo pretendemos entender el movimiento, la secuencia de los casos que geográficos que separan la producción, distribución, intercambio y consumo de camarón Potiguar, en este momento, sobre todo a partir de la década de 1990, sucede la expansión del cultivo de camarón en la costa norte Riograndense. La investigación ha demostrado que a pesar de la presencia de un gran número de agentes en la actividad, hay un control y una concentración del circuito en las manos de grandes empresas. Este control se pasa por el reducido número de agentes de venta de larvas, alimentación, maquinaria e insumos. Y con respecto a la concentración, esto ocurre sobre todo en la etapa de producción en las haciendas de engorde. En este caso, podemos decir que hay un predominio de los pequeños productores en números absolutos en el cultivo de camarón potiguar, ya que gran parte de los emprendimientos tienen dimensiones inferiores a 10 ha. Sin embargo, cuando analizamos las empresas de gran escala, éstos, a pesar de representar un porcentaje menor del total, concentran casi la mitad de las áreas cultivadas, además de tener en el control de gran parte del movimiento establecido por el circuito espacial productivo de la producción de camarón. Así, aparecen en el circuito espacial productivo de la producción de camarón de Rio Grande do Norte, las diferencias cualitativas de los usos del territorio entre los agentes que participan de este circuito. Porque un número limitado de agentes tienen las mayores áreas productivas, son dotados de un mayor nivel de tecnificación y tienen, hasta cierto punto, el control del movimiento de su producto, mientras que, eso no se reproducen por otros agentes, especialmente aquellos dedicados a la producción, efectiva, en las haciendas de engorde

Inovação tecnológica no setor de máquinas ferramentas brasileiro: um estudo de caso

Incluye Bibliografía

Observações sobre a mudança tecnológica no setor de máquinas ferramentas do Brasil

Incluye Bibliografía

Cambios en la información técnica y aprendizaje en una planta argentina de motores

Complementa el estudio del mismo autor "Productividad, escala y aprendizaje en una planta argentina de motores", Monografía de Trabajo, No 40

Industria de máquinas-herramientas en Colombia. Estudio de una firma productora de tornos y otras máquinas para trabajar metales

Incluye Bibliografía

Cambio tecnológico en una empresa mexicana productora de máquinas para el vidrio y el plástico

Incluye Bibliografía

Classificação de níveis de desgaste de dressadores de ponta única utilizando sinais de emissão acústica e redes neurais artificiais

Pós-graduação em Engenharia Elétrica - FEB

Um novo sistema de refrigeração com controle de temperatura, compressor aberto, máquina de indução trifásica com velocidade variável e correção ativa do fator de potência do estágio de entrada

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Uma ferramenta alternativa para síntese de circuitos lógicos usando a técnica de circuito evolutivo

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Emissão de CO2 do solo associado à calagem em área de conversão de laranja para cana-de-açúcar

Pós-graduação em Agronomia (Ciência do Solo) - FCAV

Desempenho de trator agrícola em duas profundidades de escarificação e dois teores de água no solo

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)