Álgebras de operadores, esperança condicional e a Entropia de Connes-Stormer

Neste trabalho fazemos um breve estudo de Álgebras de Operadores, mais especificamente Álgebras-C* e Álgebras de von Neumann. O objetivo é expor alguns resultados que seriam os análogos não-comutativos de teoremas em Teoria da Medida e Teoria Rrgódica. Inicialmente, enunciamos alguns resultados de Análise Funcional e Teoria Espectral, muitos destes sendo demonstrados, com ênfase especial aos que dizem respeito µas álgebras. Com isso, dispomos das ferramentas necessárias para falarmos de alguns tópicos da então chamada Teoria da Integração Não-Comutativa. Uma desigualdade tipo Jensen é provada e, com o teorema de Radon-Nikodym para funcionais normais positivos, construimos uma esperança condicional, provando que esta possui as mesmas propriedades da esperança condicional da Teoria das Probabilidades. Dada a Esperança Condicional, objeto este que faz parte do cenário atual de pesquisa na área de Álgebra de Operadores e que está relacionado com resultados fundamentais tal como o Índice de Jones, passamos à definição da Entropia de Connes-Stormer. Finalizamos o trabalho analisando esta entropia, que é a versão para as álgebras de von Neumann da entropia Kolmogorov-Sinai em Teoria Ergódica. Provamos algumas pro- priedades que são análogas às do conceito clássico de entropia e indicamos uma aplicação da mesma. O texto não possui resultados originais, trata-se apenas de uma releitura de artigos usando versões mais recentes de alguns teoremas.

Derivações de Shamsuddin simples de K[X1,...,Xn] e ideais maximais cíclicos à esquerda da álgebra de Weyl An(k)

Seja K um corpo de característica zero e seja An(K) a n-ésima Álgebra de Weyl sobre K. Neste trabalho, discutimos a existência de ideais maximais à esquerda de An (K) gerados por operadores de ordem 1. Primeiramente, estabelecemos uma relação entre derivações simples de K[X1: ..., Xn] e ideais principais maximais à esquerda de Ân(K). Para n> 2, caracterizamos as derivações de Shamsuddin de K[X1, ..., Xn] que são simples. Depois, mostrámos que se d é uma derivação de Shamsuddin simples de K[X1, ..., Xn], então existe 9 E K[X1, ..., Xn] tal que Ân.(d+g) é um ideal maximal principal à esquerda.

Reestruturacao produtiva, processo de trabalho e qualificacao dos operadores na industria petroquimica no Rio Grande do Sul

Resumo não disponível.

Operadores aritméticos de baixo consumo para arquiteturas de circuitos DSP

Este trabalho tem como foco a aplicação de técnicas de otimização de potência no alto nível de abstração para circuitos CMOS, e em particular no nível arquitetural e de transferência de registrados (Register Transfer Leve - RTL). Diferentes arquiteturas para projetos especificos de algorítmos de filtros FIR e transformada rápida de Fourier (FFT) são implementadas e comparadas. O objetivo é estabelecer uma metodologia de projeto para baixa potência neste nível de abstração. As técnicas de redução de potência abordadas tem por obetivo a redução da atividade de chaveamento através das técnicas de exploração arquitetural e codificação de dados. Um dos métodos de baixa potência que tem sido largamente utilizado é a codificação de dados para a redução da atividade de chaveamento em barramentos. Em nosso trabalho, é investigado o processo de codificação dos sinais para a obtenção de módulos aritméticos eficientes em termos de potência que operam diretamente com esses códigos. O objetivo não consiste somente na redução da atividade de chavemanto nos barramentos de dados mas também a minimização da complexidade da lógica combinacional dos módulos. Nos algorítmos de filtros FIR e FFT, a representação dos números em complemento de 2 é a forma mais utilizada para codificação de operandos com sinal. Neste trabalho, apresenta-se uma nova arquitetura para operações com sinal que mantém a mesma regularidade um multiplicador array convencional. Essa arquitetura pode operar com números na base 2m, o que permite a redução do número de linhas de produtos parciais, tendo-se desta forma, ganhos significativos em desempenho e redução de potência. A estratégia proposta apresenta resultados significativamente melhores em relação ao estado da arte. A flexibilidade da arquitetura proposta permite a construção de multiplicadores com diferentes valores de m. Dada a natureza dos algoritmos de filtro FIR e FFT, que envolvem o produto de dados por apropriados coeficientes, procura-se explorar o ordenamento ótimo destes coeficientes nos sentido de minimizar o consumo de potência das arquiteturas implementadas.

Avaliação das demandas de usuários operadores e engenheiros na elaboração de uma interface gráfica de um sistema supervisório (SDCD) de uma planta petroquímica

Este trabalho tem como objetivo identificar, analisar e selecionar as variáveis prioritárias para o controle de um Sistema Digital de Controle Distribuído (SDCD) de transporte pneumático de esferas de uma Petroquímica. O método adotado no estudo foi o Desenho Comentado de Guimarães (1993), onde o usuário é filmado enquanto desenha e verbaliza sobre como se dá o funcionamento e o controle do sistema em estudo. O método permitiu conhecer as necessidades e prioridades dos sujeitos envolvidos na pesquisa e identificou diferenças entre as opiniões, que impactam na concepção da interface: basicamente, os operadores e engenheiros entendem o funcionamento do sistema de forma semelhante mas divergem na forma de conceber uma tela para o controle do mesmo sistema. Os sujeitos engenheiros foram mais detalhistas e preocupados com a segurança do sistema, ao verbalizarem mais variáveis nos dois modos de operação (funcionamento e controle) se comparados com os operadores. Os operadores mostraram preferência por uma interface que represente a área. Pode-se concluir que os operadores têm uma visão local (operacional) do sistema supervisório e os engenheiros têm uma visão global (gerencial) do mesmo sistema. Uma proposta de interface que concilie os conhecimentos teórico e tácito dos dois sujeitos parece ser a melhor alternativa de interface a ser testada.

Comparação da carga postural dos operadores de duas ilhas de atendimento de uma loja de departamento

O Objetivo deste estudo foi avaliar a carga postural dos operadores de duas ilhas de atendimento de uma rede de lojas de departamento de Porto Alegre, Rio Grande do Sul. A ilha velha exige trabalho de pé e manuseio de peso na operação de ensacolamento de produto e desmagnetização da sacola. A ilha nova foi desenhada para permitir alternância de postura e reduzir o manuseio de peso no ensacolamento, tendo eliminado a operação de desmagnetização da sacola. Com base em observações diretas e indiretas (filmagens gravadas em VHS) e num instrumento desenvolvido para a avaliação das posturas, foi feita análise postural de doze operadores de uma loja. Verificou-se que a ilha nova eliminou os esforços mais importantes que existiam na ilha velha: o esforço estático nos membros inferiores e o movimento de flexão e rotação do tronco associado ao manuseio de sacolas. Algumas operações que ainda geravam risco de desenvolvimento de distúrbios músculo-esqueléticos na ilha nova (rotação e flexão de tronco e flexão e abdução de membros superiores para manipulação de embalagens e colocação de cabides) foram identificados no estudo e serviram de embasamento para melhorias no protótipo final, as quais já foram implantadas e estão, em uma segunda fase do projeto, sendo testadas.

Solução da equação advectivo-difusiva utilizando regras para manipulação de exponenciais de operadores diferenciais e simetrias de Lie : aplicações em engenharia ambiental

Vários métodos analíticos, numéricos e híbridos podem ser utilizados na solução de problemas de difusão e difusão-advecção. O objetivo deste trabalho é apresentar dois métodos analíticos para obtenção de soluções em forma fechada da equação advectivo-difusiva em coordenadas cartesianas que descreve problemas de dispersão de poluentes na água e na atmosfera. Um deles é baseado em regras de manipulação de exponenciais de operadores diferenciais, e o outro consiste na aplicação de simetrias de Lie admitidas por uma equação diferencial parcial linear. Desenvolvem-se regras para manipulação de exponenciais de operadores diferenciais de segunda ordem com coeficientes constantes e para operadores advectivo-difusivos. Nos casos em que essas regras não podem ser aplicadas utiliza-se uma formulação para a obtenção de simetrias de Lie, admitidas por uma equação diferencial, via mapeamento. Define-se um operador diferencial com a propriedade de transformar soluções analíticas de uma dada equação diferencial em novas soluções analíticas da mesma equação. Nas aplicações referentes à dispersão de poluentes na água, resolve-se a equação advectivo-difusiva bidimensional com coeficientes variáveis, realizando uma mudança de variáveis de modo a reescrevê-la em termos do potencial velocidade e da função corrente correspondentes ao respectivo escoamento potencial, estendendo a solução para domínios de contornos arbitrários Na aplicação referente ao problema de dispersão de poluentes na atmosfera, realiza-se uma mudança de variáveis de modo a obter uma equação diferencial parcial com coeficientes constantes na qual se possam aplicar as regras de manipulação de exponenciais de operadores diferenciais. Os resultados numéricos obtidos são comparados com dados disponíveis na literatura. Diversas vantagens da aplicação das formulações apresentadas podem ser citadas, a saber, o aumento da velocidade de processamento, permitindo a obtenção de solução em tempo real; a redução da quantidade de memória requerida na realização de operações necessárias para a obtenção da solução analítica; a possibilidade de dispensar a discretização do domínio em algumas situações.

Avaliação de carga de trabalho em operadores de caixa de supermercado : um estudo de caso

Resumo não disponível.

Paralelização de métodos de resolução de sistemas lineares esparsos com o DECK em um Cluster de PCs

O objetivo desta dissertação é a paralelização e a avaliação do desempenho de alguns métodos de resolução de sistemas lineares esparsos. O DECK foi utilizado para implementação dos métodos em um cluster de PCs. A presente pesquisa é motivada pela vasta utilização de Sistemas de Equações Lineares em várias áreas científicas, especialmente, na modelagem de fenômenos físicos através de Equações Diferenciais Parciais (EDPs). Nessa área, têm sido desenvolvidas pesquisas pelo GMC-PAD – Grupo de Matemática da Computação e Processamento de Alto Desempenho da UFRGS, para as quais esse trabalho vem contribuindo. Outro fator de motivação para a realização dessa pesquisa é a disponibilidade de um cluster de PCs no Instituto de Informática e do ambiente de programação paralela DECK – Distributed Execution and Communication Kernel. O DECK possibilita a programação em ambientes paralelos com memória distribuída e/ou compartilhada. Ele está sendo desenvolvido pelo grupo de pesquisas GPPD – Grupo de Processamento Paralelo e Distribuído e com a paralelização dos métodos, nesse ambiente, objetiva-se também validar seu funcionamento e avaliar seu potencial e seu desempenho. Os sistemas lineares originados pela discretização de EDPs têm, em geral, como características a esparsidade e a numerosa quantidade de incógnitas. Devido ao porte dos sistemas, para a resolução é necessária grande quantidade de memória e velocidade de processamento, característicos de computações de alto desempenho. Dois métodos de resolução foram estudados e paralelizados, um da classe dos métodos diretos, o Algoritmo de Thomas e outro da classe dos iterativos, o Gradiente Conjugado. A forma de paralelizar um método é completamente diferente do outro. Isso porque o método iterativo é formado por operações básicas de álgebra linear, e o método direto é formado por operações elementares entre linhas e colunas da matriz dos coeficientes do sistema linear. Isso permitiu a investigação e experimentação de formas distintas de paralelismo. Do método do Gradiente Conjugado, foram feitas a versão sem précondicionamento e versões pré-condicionadas com o pré-condicionador Diagonal e com o pré-condicionador Polinomial. Do Algoritmo de Thomas, devido a sua formulação, somente a versão básica foi feita. Após a paralelização dos métodos de resolução, avaliou-se o desempenho dos algoritmos paralelos no cluster, através da realização de medidas do tempo de execução e foram calculados o speedup e a eficiência. As medidas empíricas foram realizadas com variações na ordem dos sistemas resolvidos e no número de nodos utilizados do cluster. Essa avaliação também envolveu a comparação entre as complexidades dos algoritmos seqüenciais e a complexidade dos algoritmos paralelos dos métodos. Esta pesquisa demonstra o desempenho de métodos de resolução de sistemas lineares esparsos em um ambiente de alto desempenho, bem como as potencialidades do DECK. Aplicações que envolvam a resolução desses sistemas podem ser realizadas no cluster, a partir do que já foi desenvolvido, bem como, a investigação de précondicionadores, comparação do desempenho com outros métodos de resolução e paralelização dos métodos com outras ferramentas possibilitando uma melhor avaliação do DECK.

Representação na forma normal disjuntiva para a flexibilidade de seqüência na manufatura

A crescente demanda por produtos de melhor qualidade, diferenciados e com custos competitivos tem forçado as manufaturas a se tornarem flexíveis, capacitando-as a responder às mudanças impostas pelo mercado. A flexibilidade permite que as empresas alcancem a customização desejada através da capacitação do sistema de responder e atuar em tempo real, mesmo em um ambiente de incertezas. Para atuar em tempo real, os sistemas de manufatura precisam de representações eficientes dos planos de produção. Muitas vezes, a atuação em tempo real torna-se inviável devido ao crescimento exponencial no número de planos de produção para cada máquina ou operação adicionada ao sistema. Uma possível solução para este problema é uso de representações adequadas para o espaço de estados. A escolha de uma representação adequada para o espaço de estados influencia na capacidade de reposta em tempo real, pois determina o desempenho computacional do sistema através da utilidade e eficiência dos algoritmos desenvolvidos, tornando possível explorar problemas clássicos de flexibilidade, tais como, seqüenciamento, otimização, etc. Entretanto, a geração de uma representação que trabalhe com o espaço de estados completo de uma manufatura é considerada um problema não polinomial (NP). Esta particularidade dificulta o desenvolvimento de algoritmos que trabalhem com uma manufatura flexível. Assim, a geração de uma representação, que trabalhe com pouca memória computacional e permita o desenvolvimento de heurísticas eficientes, é um importante desafio para uma avaliação efetiva da flexibilidade. Este trabalho objetiva o desenvolvimento de uma representação para o espaço de estados de uma manufatura com flexibilidade de seqüência. Na construção desta representação são aplicadas técnicas de modelagem baseadas na teoria dos grafos e nos princípios de álgebra booleana. Inicialmente, os grafos são utilizados para representar todas as seqüências de operações de uma manufatura, posteriormente estas seqüências são convertidas em formas normais disjuntivas (FND). Por fim, é apresentada uma possível aplicação da representação na FND em modelos de programação linear.

Perspectivas e sentidos na interação virtual em rede telemática

Esta pesquisa aconteceu a partir de uma lista de discussão, em rede telemática, entre professores da 4ª série do ensino fundamental de três escolas da região central do Estado do Rio Grande do Sul. Neste espaço de interação virtual, tínhamos como objetivo estudar como se instituíam as condições para emergência de novos sentidos, possibilitadores de uma dinâmica auto-organizativa do próprio espaço de interação, assim como seus extravasamentos para as práticas em situação pedagógica. Os referenciais teóricos, que deram sustentação a este estudo, encontram seus fundamentos na Epistemologia Genética de Jean Piaget e nas aproximações realizadas pelo próprio autor, com as teorias da complexidade, especialmente a teoria do caos e dos sistemas dinâmicos auto-organizativos. Na análise dos dados coletados no interior da lista, foi possível observar que o próprio espaço de interação telemática (definido pela lista de discussão) tornou-se operador das interações/reflexões dialógicas, entre professores (S x S) e entre suas práticas em situações pedagógicas (S x O). Os movimentos interativos/reflexivos, num misto de encontros/desencontros de idéias e sentidos, instituíram uma zona de interação telemática (zit). Por conseguinte, devido a multiplicidade de pontos de vista e de espaços-tempos visibilizados nesta zit, novos modos de pensar e de agir abriam-se para um campo virtual de possibilidades (Copntinuação) O que estava inicialmente fragmentado, solto, desorganizado, disperso, sem um sentido aparente e com operadores restringindo as aproximações integrativas (característico das condutas α), aos poucos foi conquistando coerência e estabilidade, integrando os desvios e as perturbações nestas novas construções e aproximando os professores de condutas β e γ. Enfim, a zit configurava suas fronteiras provisórias, apenas nas circularidades complexas, nos estados estacionários (aberturas e fechamentos coexistindo), que emergiam no devir das interações/reflexões partilhadas. Novas perspectivas tornaram-se possíveis e o professor podia, então, deslocar-se em relação a si, ao outro (colegas, autores...) e a própria prática, conquistando metapontos de vista. O que, de um determinado lugar, era restritor e limitava as interações/reflexões, de outro, tornava-se objeto tematizado para meta-reflexões. As oscilações acabaram por produzir novas estabilidades em meio às instabilidades, dessa forma instituindo a própria zit como um operador para os processos de emergência e produções de sentidos. Este estudo é, também, uma contribuição ao uso crítico/criativo das novas tecnologias na educação, enquanto possibilitadora de novos sentidos nas transformações político-pedagógicas.

Correlação de alarmes e diagnóstico no gerenciamento de sistemas supervisionados por computador

Este trabalho investiga a aplicação de métodos e técnicas de correlação de alarmes na detecção e diagnóstico de falhas em sistemas supervisionados por computador. Atualmente, alguns centros de supervisão ainda não se utilizam destas técnicas para o tratamento das informações recebidas de suas redes de supervisão, ficando para os operadores a responsabilidade de identificar estas correlações. Com o crescente volume de informações recebidas pelos centros de supervisão, devido ao aumento da heterogeneidade e do número de equipamentos supervisionados, torna a identificação manual da correlação dos alarmes lenta e pouco precisa. Objetivando melhorar a qualidade do serviços prestados pelos centros de supervisões, este trabalho propõe o uso de uma rede Bayesiana como método de correlação de alarmes e uma técnica de limitação de escopo para atingir uma melhor performance na propagação desta correlação. Através dos conceitos desenvolvidos neste trabalho, foi implementado um protótipo de correlação de alarmes para um sistema de supervisão existente no mercado, neste protótipo modela-se a rede Bayesiana em um banco de dados relacional e, como resultado desta implementação apresenta-se a interface desenvolvida para a supervisão.

Inovações tecnológicas e qualificação dos trabalhadores de empresas do setor metal-mecânico do estado do Rio Grande do Sul : estudo de casos

O presente trabalho pretende demonstrar as transformações nas qualificações dos operadores de máquina com a introdução de novos equipamentos no processo produtivo em três empresas do setor metal-mecânico do estado do Rio Grande do Sul. Com o auxílio de uma metodologia de natureza qualitativa buscou-se, através de entrevistas semi-estruturadas, captar a percepção dos operadores de máquinas, supervisores e gerentes sobre as modificações ocorridas na qualificação dos operadores de máquina automatizada na produção. A partir da revisão da literatura buscou-se construir o roteiro das entrevistas, diferenciadas para cada cargo, buscando captar as percepções dos diferentes atores sobre tecnologia, trabalho e qualificação. Como resultado estabeleceu-se a qualificação necessária e desejada de um trabalhador que opera uma máquina automatizada.

Sistemas de avaliação de desempenho no transporte urbano : uma abordagem para o setor metroferroviário

A importância para a vida das cidades e os reflexos da implantação e operação de sistemas de transporte urbano sobre a sociedade justificam a necessidade de avaliar adequadamente o desempenho das organizações que prestam este serviço público. No entanto, os sistemas de avaliação utilizados apresentam limitações no que se refere a confiabilidade, coerência e estruturação dos indicadores o que, geralmente, restringe a medição do desempenho a apenas alguns atributos dos serviços prestados, num horizonte de curto prazo. Este trabalho apresenta uma abordagem para avaliação de desempenho no transporte urbano através de sistemas metroferroviários, buscando soluções que incluam não somente indicadores referentes aos aspectos financeiros e aos atributos do serviço, mas também medidas relacionadas a outras interferências da organização e suas atividades sobre o meio externo, bem como a sua capacidade de manutenção e melhoria deste desempenho ao longo prazo. O trabalho inicia pela apresentação das características institucionais e operacionais dos sistemas metroferroviários. Na seqüência, são analisados os modelos de avaliação de desempenho propostos por autores que estudaram o assunto, com destaque para o Balanced Scorecard, desenvolvido por Kaplan e Norton. Na busca de outras alternativas, o autor analisa instrumentos empregados por órgãos oficiais regulamentadores e fiscalizadores de serviços públicos e operadores de sistemas metroferroviários no Brasil. Após concluir que, entre os sistemas de avaliação analisados, o Balanced Scorecard é o que apresenta as características mais adequadas para estas empresas, o autor propõe a adoção de um modelo desenvolvido a partir da estrutura sugerida por Kaplan e Norton para organizações governamentais em e sem fins lucrativos. Finalizando, o modelo proposto é configurado e aplicado na TRENSURB, empresa que opera o sistema de trens urbanos da Região Metropolitana de Porto Alegre.