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.

Impactos da aprendizagem organizacional nas práticas de auditoria interna : um estudo no Banco do Brasil

Diante de mercados globais, interligados em tempo real, as empresas se vêem diante do desafio de se tornarem mais flexíveis, centrarem-se em suas principais competências e, sobretudo, terem a capacidade de dar respostas rápidas e adequadas às mudanças, em um ambiente onde a tempestividade da resposta pode ditar o sucesso ou o fracasso de uma empresa. Nesse contexto, a auditoria interna, em razão do seu posicionamento estratégico e permeabilidade por toda a organização, pode contribuir mais efetivamente para a melhoria dos processos produtivos e de gestão das organizações, através de uma atuação diferenciada de seus auditores. Por sua vez, a aprendizagem organizacional, entendida como um processo de apropriação e geração de novos conhecimentos, voltado para a construção ou desenvolvimento de novas competências, pode potencializar o valor agregado dos trabalhos de auditoria. Dentro dessa perspectiva, a resolução coletiva de problemas, baseada nas constatações de auditoria, pode tornar-se um veículo eficaz para alavancar o processo de aprendizagem por toda a organização. O presente trabalho procura avaliar os impactos da difusão dos princípios e conceitos de aprendizagem organizacional nas práticas de trabalho dos auditores internos, através de uma estratégia focada na resolução coletiva de problemas, tomando como objeto de pesquisa o processo desenvolvido na área de auditoria interna do Banco do Brasil S.A. A pesquisa, qualitativa na sua essência e orientada pela Grounded Theory (Glaser & Strauss, 1967; Strauss & Corbin, 1990), abrangeu o acompanhamento de 30 eventos desenvolvidos no âmbito da unidade de pesquisa, desembocando em 34 fontes primárias, derivadas de relatos, relatórios, transcrição de vídeos e entrevistas, memorandos, etc. Como resultante, o trabalho apresenta e avalia os principais impactos verificados nas práticas de auditoria interna, bem como nas ações dos indivíduos participantes do processo. O estudo abrange, também, a identificação das principais barreiras para aprendizagem e das competências básicas requeridas para condução de um processo de aprendizagem organizacional dessa natureza.

Estudo comparativo da transformada Karhunen-Loève na compressão de imagens

A representação de funções através da utilização de bases (KERNEL) de representação tem sido fundamental no processamento digital de sinais. A Transformada KARHUNEN-LOÈVE (KLT), também conhecida como Transformada HOTELLING, permite a representação de funções utilizando funções-base formadas pelos autovetores da matriz de correlação do sinal considerado. Nesse aspecto essa transformada fornece uma base ótima, isto é, aquela que proporciona o menor valor de Erro Quadrático Médio entre o sinal reconstruído e o original, para um determinado número de coeficientes. A dificuldade na utilização da KLT está no tempo adicional para calcular os autovetores (base) da matriz de correlação, o que muitas vezes inviabiliza a sua utilização nas aplicações em tempo real. Em muitas aplicações a KLT é utilizada em conjunto com outras transformadas melhorando os resultados destas aplicações. Sendo considerada a transformada ótima no sentido do Erro Quadrático Médio, este trabalho apresenta um estudo da Transformada KARHUNEN-LOÈVE nas aplicações de compressão de imagens bidimensionais estáticas e em tons de cinza, realizando também a comparação desta técnica com outras técnicas (DCT e WAVELET) buscando avaliar os pontos fortes e fracos da utilização da KLT para este tipo de aplicação. Duas técnicas importantes para solucionar o problema de cálculo dos autovalores e autovetores da matriz de correlação (Método de JACOBI e Método QL) são também apresentadas neste trabalho. Os resultados são comparados utilizando a Razão Sinal/Ruído de Pico (PSNR), a Razão de Compressão (CR) e os tempos de processamento (em segundos) para geração dos arquivos compactados.

Uma Abordagem de escalonamento adaptativo no ambiente Real-Time CORBA

CORBA vem se tornando o middleware padrão no desenvolvimento de aplicações distribuídas, tornando-as independentes de plataforma e linguagem. Ele tem sido utilizado também em aplicações de tempo real através de sua extensão para tempo real, o RT-CORBA. Apesar desta extensão ter conseguido reduzir vários dos problemas do CORBA no que se refere ao não-determinismo e falta de garantias temporais, ainda há muito estudo na área de mecanismos de escalonamento utilizados. Assim, este trabalho tem por objetivo apresentar uma proposta de escalonamento adaptativo no ambiente Real-Time CORBA. Nesta proposta o período das tarefas é controlado, variando dentro de uma faixa pré-estabelecida com o propósito de reduzir o atraso médio das tarefas da aplicação.

Gerência dinâmica de memória em aplicações Java embarcadas

Esta dissertação apresenta duas implementações de algoritmos para gerência dinâmica de memória em software, as quais foram desenvolvidas utilizando como alvo uma plataforma embarcada Java. Uma vez que a plataforma utilizada pertence a uma metodologia para geração semi-automática de hardware e software para sistemas embarcados, os dois algoritmos implementados foram projetados para serem integrados ao contexto desta mesma metodologia. Como forma de estabelecer comparações detalhadas entre as duas implementações desenvolvidas, foram realizadas diversas estimativas em desempenho, uso de memória, potência e energia para cada implementação, utilizando para isto duas versões existentes da plataforma adotada. Através da análise dos resultados obtidos, observou-se que um dos algoritmos desenvolvidos obteve um desempenho melhor para realização da gerência dinâmica da memória. Em contrapartida, o outro algoritmo possui características de projeto que possibilitam sua utilização com aplicações de tempo-real. De um modo geral, os custos adicionais resultantes da utilização do algoritmo de tempo-real, em relação ao outro algoritmo também implementado, são de aproximadamente 2% para a potência média dissipada, 16% para o número de ciclos executados, 18% para a energia consumida e 10% sobre a quantidade de total memória utilizada. Isto mostra que o custo extra necessário para utilização do algoritmo de tempo real é razoavelmente baixo se comparado aos benefícios proporcionados pela sua utilização. Como impactos finais produzidos por este trabalho, obteve-se um acréscimo de 35% sobre o número total de instruções suportadas pela arquitetura utilizada. Adicionalmente, 12% das instruções que já existiam no conjunto desta arquitetura foram modificadas para se adaptarem aos novos mecanismos implementados. Com isto, o conjunto atual da arquitetura passa a corresponder a 44% do total de instruções existentes na arquitetura da máquina virtual Java. Por último, além das estimativas desenvolvidas, foram também realizadas algumas sugestões para melhoria global dos algoritmos implementados. Em síntese, alguns pontos cobertos por estas sugestões incluem: a migração de elementos do processamento do escopo dinâmico para o estático, o desenvolvimento de mecanismos escaláveis para compactação de memória em tempo-real, a integração de escalonadores ao processo de gerência de memória e a extensão do processo de geração semi-automática de software e hardware para sistemas embarcados.

Ser do tempo em Bergson

O artigo apresenta a concepção bergsoniana de duração. Pretende-se mostrar que, segundo Bergson, o tempo dos filósofos e cientistas é um tempo fictício, um esquema espacial que oculta a natureza do tempo real, o qual não pode ser separado dos acontecimentos físicos e psicológicos. Para Bergson, o tempo real é sucessão, continuidade, mudança, memória e criação.

Comparative validation using quantitative real-time PCR (qPCR) and conventional PCR of bovine semen centrifuged in continuous density gradient

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Um sistema de visão para navegação robusta de uma plataforma robótica semi-autônoma

Large efforts have been maden by the scientific community on tasks involving locomotion of mobile robots. To execute this kind of task, we must develop to the robot the ability of navigation through the environment in a safe way, that is, without collisions with the objects. In order to perform this, it is necessary to implement strategies that makes possible to detect obstacles. In this work, we deal with this problem by proposing a system that is able to collect sensory information and to estimate the possibility for obstacles to occur in the mobile robot path. Stereo cameras positioned in parallel to each other in a structure coupled to the robot are employed as the main sensory device, making possible the generation of a disparity map. Code optimizations and a strategy for data reduction and abstraction are applied to the images, resulting in a substantial gain in the execution time. This makes possible to the high level decision processes to execute obstacle deviation in real time. This system can be employed in situations where the robot is remotely operated, as well as in situations where it depends only on itself to generate trajectories (the autonomous case)

Uma proposta de regulador nebuloso para geradores eólicos de indução

This work presents a proposal for a voltage and frequency control system for a wind power induction generator. It has been developed na experimental structure composes basically by a three phase induction machine, a three phase capacitor and a reactive static Power compensator controlled by histeresys. lt has been developed control algorithms using conventional methods (Pl control) and linguistic methods (using concepts of logic and fuzzy control), to compare their performances in the variable speed generator system. The control loop was projected using the ADJDA PCL 818 model board into a Pentium 200 MHz compu ter. The induction generator mathematical model was studied throught Park transformation. It has been realized simulations in the Pspice@ software, to verify the system characteristics in transient and steady-state situations. The real time control program was developed in C language, possibilish verify the algorithm performance in the 2,2kW didatic experimental system

Implementação de rotinas computacionais básicas para cabeça estéreo robótica

O Laboratório de Sistemas Inteligentes do Departamento de Engenharia de Computação e Automação da Universidade Federal do Rio Grande do Norte - UFRN -tem como um de seus projetos de pesquisa -Robosense -a construção de uma plataforma robótica móvel. Trata-se de um robô provido de duas rodas, acionadas de forma diferencial, dois braços, com 5 graus de liberdade cada, um cinturão de sonares e uma cabeça estéreo. Como objetivo principal do projeto Robosense, o robô deverá ser capaz de navegar por todo o prédio do LECA, desviando de obstáculos. O sistema de navegação do robô, responsável pela geração e seguimento de rotas, atuará em malha fechada. Ou seja, sensores serão utilizados pelo sistema com o intuito de informar ao robô a sua pose atual, incluindo localização e a configuração de seus recursos. Encoders (sensores especiais de rotação) foram instalados nas rodas, bem como em todos os motores dos dois braços da cabeça estéreo. Sensores de fim-de-curso foram instalados em todas as juntas da cabeça estéreo para que seja possível sua pré-calibração. Sonares e câmeras também farão parte do grupo de sensores utilizados no projeto. O robô contará com uma plataforma composta por, a princípio, dois computadores ligados a um barramento único para uma operação em tempo real, em paralelo. Um deles será responsável pela parte de controle dos braços e de sua navegação, tomando como base as informações recebidas dos sensores das rodas e dos próximos objetivos do robô. O outro computador processará todas as informações referentes à cabeça estéreo do robô, como as imagens recebidas das câmeras. A utilização de técnicas de imageamento estéreo torna-se necessária, pois a informação de uma única imagem não determina unicamente a posição de um dado ponto correspondente no mundo. Podemos então, através da utilização de duas ou mais câmeras, recuperar a informação de profundidade da cena. A cabeça estéreo proposta nada mais é que um artefato físico que deve dar suporte a duas câmeras de vídeo, movimentá-las seguindo requisições de programas (softwares) apropriados e ser capaz de fornecer sua pose atual. Fatores como velocidade angular de movimentação das câmeras, precisão espacial e acurácia são determinantes para o eficiente resultado dos algoritmos que nesses valores se baseiam

Resolução espacial da Grade Ionosférica e do Give

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Polymerase chain reaction and real-time PCR for diagnosing of Leishmania infantum chagasi in dogs

A importância do cão como reservatório de L. infantum chagasi no meio urbano tem estimulado a realização de inúmeros trabalhos de avaliação de técnicas de diagnóstico, uma vez que este procedimento, quando realizado corretamente, torna-se um importante passo na prevenção da doença em humanos. Dentre os métodos de diagnóstico, as técnicas moleculares têm adquirido destaque. Objetivou-se neste trabalho verificar o desempenho da Reação em Cadeia da Polimerase (PCR) e da PCR em tempo real (qPCR) para diagnóstico da Leishmaniose Visceral Canina (LVC) utilizando diferentes amostras biológicas. Para tanto foram utilizados 35 cães provenientes de uma área endêmica para LVC, onde foram utilizados para o diagnóstico molecular, aspirado de medula óssea, fragmentos de linfonodo e baço. Neste estudo a qPCR foi capaz de detectar um maior número de animais positivos quando comparada com a PCR. Já entre as diferentes amostras biológicas utilizadas não foi observada diferença significativa na detecção de DNA de L. infantumchagasi por meio da PCR e qPCR. Mesmo assim, considerando a facilidade de obtenção, o linfonodo pode ser considerada como a melhor amostra para diagnóstico molecular da infecção por L. infantum chagasi.

Identification of reference genes for expression analysis by real-time quantitative PCR in drought-stressed soybean

O objetivo deste trabalho foi validar, pela técnica de PCR quantitativo em tempo real (RT-qPCR) genes para serem utilizados como referência em estudos de expressão gênica em soja, em ensaios de estresse hídrico. Foram avaliados quatro genes comumente utilizados em soja: Gmβ-actin, GmGAPDH, GmLectin e GmRNAr18S. O RNA total foi extraído de seis amostras: três amostras de raízes em sistema de hidroponia com diferentes intensidades de déficit hídrico (0, 25, 50, 75 e 100 minutos de estresse hídrico), e três amostras de folhas de plantas cultivadas em areia com diferentes umidades do solo (15, 5 e 2,5% de umidade gravimétrica). Os dados brutos do intervalo cycle threshold (Ct) foram analisados, e a eficiência de cada iniciador foi calculada para uma analise da Ct entre as diferentes amostras. A aplicação do programa GeNorm foi utilizada para a avaliação dos melhores genes de referência, de acordo com a estabilidade. O GmGAPDH foi o gene menos estável, com o maior valor médio de estabilidade de expressão (M), e os genes mais estáveis, com menor valor de M, foram o Gmβ-actin e GmRNAr18S, tanto nas amostras de raízes como nas de folhas. Estes genes podem ser usados em RT-qPCR como gens de referência para análises de expressão gênica.

O tempo através das mídias: fotografia, cinema, televisão

Pós-graduação em Artes - IA

Arte@Tempo: as temporalidades da arte na rede

Pós-graduação em Artes - IA