Proposta de uma abordagem para estudo de viabilidade em cadeias oleoquímicas vegetais : estudo de caso do óleo essencial de eucalipto Cineol no Estado do Rio Grande do Sul

É papel dos governos fomentar o desenvolvimento sócio-econômico de suas regiões. Ainda que elas exerçam formas tradicionais e habituais de produção e geração de renda, muitas regiões apresentam condições de aumentar suas competências com outras atividades ainda não exploradas, mas que apresentam alto potencial de desenvolvimento regional. O governo do Estado do Rio Grande do Sul caminha neste sentido, fomentando pesquisas para a implantação de um Pólo Oleoquímico no Estado. O desenvolvimento regional pretendido passa, todavia, por estudos de viabilidade de implementação de novos processos produtivos. O presente trabalho trata deste tema, identificando a necessidade de instrumento próprio que seja apto a analisar a viabilidade de alternativas de produção agroindustrial, mais especificamente da exploração de uma cadeia produtiva do óleo essencial de eucalipto Cineol. Este estudo, de caráter exploratório, contribui para a análise da viabilidade e do potencial de difusão de processos produtivos oleoquímicos vegetais, já que o entendimento acerca das relações existentes nas cadeias produtivas desta natureza ainda não são muito aprofundados.

Anéis de fatoração única

Este trabalho tem por objetivo estudar condições necessárias e sufi- cientes sobre um determinado anel R, não necessariamente comutativo, para que suas extensões polinomiais apresentem fatoração única. O estudo de tal propriedade é feito para anéis primos Noetherianos e para anéis primos não necessariamente Noetherianos.

O relacionamento de comércio eletrônico entre empresa e revendedor : um estudo de caso

Este trabalho analisa o relacionamento negócio-a-consumidor (business-to-consumer) entre uma empresa do setor de tintas do Rio Grande do Sul e seus revendedores. O estudo busca questionar a visão destes revendedores sobre o comércio eletrônico e atendimento de suas necessidades pela empresa de tintas, com o objetivo de encontrar caminhos para minimizar o impacto do novo relacionamento. Aspectos como estrutura de TI, potencial de investimento em e-business, expectativas, receios, vantagens, desvantagens e satisfação com o comércio eletrônico, entre outros, foram questionados junto a estes revendedores, resultando num perfil defensivo, com expectativas quanto à agilidade no processo como um todo e com a obtenção de informações sobre produtos e assistência técnica via site, ao mesmo tempo em que há receio quanto à impessoalidade desta nova forma de relacionamento (devido à pouca cultura Internet dos revendedores) e quanto a investir em comércio eletrônico (motivado tanto pelo receio da TI quanto pela infra-estrutura tecnológica dada como suficiente atualmente implantada nestas empresas). Ao final, os resultados são comparados com o trabalho de Labres (2001), que mediu o impacto do relacionamento business-to-business entre a mesma empresa e seus grandes clientes.

Rede de modelos termodinâmicos locais

A simulação computacional de processos é uma ferramenta valiosa em diversas etapas da operação de uma planta química, tais como o projeto, a análise operacional, o estudo da estratégia de controle e a otimização, entre outras. Um programa simulador requer, freqüentemente, o cálculo das propriedades termofísicas que fazem parte das equações correspondentes aos balanços de massa, energia e quantidade de movimento. Algumas dessas quantidades, típicas de operações baseadas no equilíbrio de fases (tais como a destilação fracionada e a separação flash), são as fugacidades e entalpias das fases líquida e vapor em equilíbrio. Contudo, o uso de modelos e correlações cada vez mais sofisticadas para representar acuradamente as propriedades termofísicas dos sistemas reais fez com que grande parte do tempo gasto numa simulação de processos seja devida à avaliação destas propriedades. Muitas estratégias têm sido propostas na literaturas a fim de se reduzir a carga computacional envolvida na simulação, estática e dinâmica, dos problemas de Engenharia Química. Esta diminuição do tempo de processamento pode muitas vezes ser determinante na aplicação ou não da simulação de processos na prática industrial, como, por exemplo, no controle automático. Esta dissertação aborda uma das alternativas para a redução do tempo computacional gasto na simulação de processos: a aproximação das funções que descrevem as propriedades termofísicas através de funções mais simples, porém de fácil avaliação. Estas funções, a fim de se garantir uma aproximação adequada, devem ser corrigidas ou atualizadas de alguma forma, visto que se tratam de modelos estritamente válidos em uma pequena região do espaço das variáveis, sendo, por isto, chamados de modelos locais. Partindo-se do estado atual desta técnica, é proposta nesta dissertação uma nova metodologia para se efetuar esta aproximação, através da representação global da propriedade mediante múltiplas funções simples, constituindo, desse modo, uma rede de modelos locais. Algumas possibilidades para a geração efetiva destas redes são também discutidas, e o resultado da metodologia é testado em alguns problemas típicos de separação por equilíbrio de fases.

Simulação do movimento da água no solo utilizando modelo numérico

Um dos principais desafios para o século XXI é o uso sustentável dos recursos hídricos. A agricultura é a maior usuária desse recurso, sendo responsável por aproximadamente 70% dos gastos globais de água. Para o uso racional da água é necessário o conhecimento das propriedades hidráulicas do solo na condição de não-saturação. A simulação do movimento da água no solo através da modelagem é uma ferramenta importante no entendimento do sistema solo-água-planta, pois permite a previsão e estudo do comportamento da redistribuição da água no solo de maneira eficiente. Porém a forte dependência entre os parâmetros hidráulicos do solo (teor de água, potencial matricial e condutividade hidráulica) fazem da modelagem um assunto complicado, necessitando de modelos numéricos que utilizem intervalos discretos de tempo e espaço. Esses intervalos devem ser suficientemente pequenos para que dentro de um intervalo as variações dos parâmetros hidráulicos sejam insignificantes. Nesta tese é proposto um algoritmo para a descrição do movimento vertical da água no solo, definindo o intervalo de tempo como função de uma variação máxima admissível do teor de água. O algoritmo foi testado para alguns conjuntos de dados hidráulicos de solos, utilizando as condições de contorno de um experimento de perfil instantâneo. A eficiência do algoritmo foi verificada em situações práticas, como na previsão do teor de água na Capacidade de Campo e na predição do tempo para ser atingida determinada condição de umidade no solo. Utilizando o algoritmo, também foram estudados o comportamento da retenção e dos parâmetros de condutividade em relação aos parâmetros de drenagem. Concluiu-se que o algoritmo descreve adequadamente o processo de redistribuição de água no solo utilizando intervalos suficientemente pequenos de tempo e espaço; a forma de discretização do tempo não comprometeu a acurácia das medidas; a previsão do teor de água na Capacidade de Campo e do tempo para ser atingida determinada condição de umidade no solo foram satisfatórias; e o algoritmo permite o estudo das relações entre os parâmetros hidráulicos do solo.

Aquisição e otimização de mapas de navegação usando redes neurais

A capacidade de encontrar e aprender as melhores trajetórias que levam a um determinado objetivo proposto num ambiente e uma característica comum a maioria dos organismos que se movimentam. Dentre outras, essa e uma das capacidades que têm sido bastante estudadas nas ultimas décadas. Uma consequência direta deste estudo e a sua aplicação em sistemas artificiais capazes de se movimentar de maneira inteligente nos mais variados tipos de ambientes. Neste trabalho, realizamos uma abordagem múltipla do problema, onde procuramos estabelecer nexos entre modelos fisiológicos, baseados no conhecimento biológico disponível, e modelos de âmbito mais prático, como aqueles existentes na área da ciência da computação, mais especificamente da robótica. Os modelos estudados foram o aprendizado biológico baseado em células de posição e o método das funções potencias para planejamento de trajetórias. O objetivo nosso era unificar as duas idéias num formalismo de redes neurais. O processo de aprendizado de trajetórias pode ser simplificado e equacionado em um modelo matemático que pode ser utilizado no projeto de sistemas de navegação autônomos. Analisando o modelo de Blum e Abbott para navegação com células de posição, mostramos que o problema pode ser formulado como uma problema de aprendizado não-supervisionado onde a estatística de movimentação no meio passa ser o ingrediente principal. Demonstramos também que a probabilidade de ocupação de um determinado ponto no ambiente pode ser visto como um potencial que tem a propriedade de não apresentar mínimos locais, o que o torna equivalente ao potencial usado em técnicas de robótica como a das funções potencias. Formas de otimização do aprendizado no contexto deste modelo foram investigadas. No âmbito do armazenamento de múltiplos mapas de navegação, mostramos que e possível projetar uma rede neural capaz de armazenar e recuperar mapas navegacionais para diferentes ambientes usando o fato que um mapa de navegação pode ser descrito como o gradiente de uma função harmônica. A grande vantagem desta abordagem e que, apesar do baixo número de sinapses, o desempenho da rede e muito bom. Finalmente, estudamos a forma de um potencial que minimiza o tempo necessário para alcançar um objetivo proposto no ambiente. Para isso propomos o problema de navegação de um robô como sendo uma partícula difundindo em uma superfície potencial com um único ponto de mínimo. O nível de erro deste sistema pode ser modelado como uma temperatura. Os resultados mostram que superfície potencial tem uma estrutura ramificada.

Diagnóstico de perdas e aplicação de ferramentas para o controle da qualidade e melhoria do processo de produção de uma etapa constrututiva de edificações habitacionais

O objeto de estudo desta dissertação é a aplicação de ferramentas para o controle da qualidade e melhoria do processo de produção de uma etapa construtiva de edificações residenciais. As ferramentas aplicadas são: i) controle estatístico do processo – CEP, e; ii) dispositivos Poka-Yoke. A etapa construtiva mencionada é a elevação da estrutura de concreto armado. O estudo foi motivado pela necessidade de melhorar o sistema de manufatura de uma empresa construtora de Porto Alegre – RS, com vistas a reduzir o tempo de construção de suas edificações (lead-time de produção). Para tanto, a partir de conceitos teóricos do Sistema Toyota de Produção – STP, analisou-se o processo produtivo atual para a referida etapa construtiva, identificaram-se perdas existentes no processo e foram propostas melhorias. As ferramentas de qualidade CEP e Poka-Yoke enquadram-se dentro dessa perspectiva de melhoria. Através da sua aplicação, pretende-se eliminar algumas das perdas existentes no processo de construção melhorando sua produtividade e a qualidade do produto final. A aplicação do CEP tem como objetivo avaliar a capacidade do fornecedor de concreto de atender às exigências dos consumidores, de acordo com o que é estipulado pelas normas brasileiras de fabricação e aceitação de concreto, sem impor-lhes ônus desnecessário. A avaliação é efetuada através do monitoramento da variabilidade da propriedade que melhor caracteriza a qualidade do concreto, qual seja, a sua resistência à compressão axial. Os dispositivos Poka-Yoke, por sua vez, são aplicados com funções de controle da qualidade e prevenção de defeitos e, como ferramentas auxiliares na melhoria de atividades produtivas.

Custo unitário básico (CUB) : verificação e validação do modelo de cálculo

O custo unitário básico (CUB), foi criado em função da Lei n° 4.591 (BRASIL, 1964), que encarregou a Associação Brasileira de Normas Técnicas (ABNT), através do Banco Nacional de Habitação (BNH), de definir critérios e normas para cálculo de custos unitários de construção pelos Sindicatos das Indústrias da Construção Civil (SINDUSCON) nos Estados da Federação, para uso dos incorporadores imobiliários nas tratativas iniciais quando da viabilização junto ao Sistema Financeiro de Habitações. Com a publicação da Norma Brasileira NB 140 (ASSOCIAÇÃO BRASILEIRA DE NORMAS TÉCNICAS, 1965), ficou definido a metodologia de cálculo dos CUB para projetos-padrão de prédios habitacionais. A finalidade destes CUB é auxiliar na avaliação dos custos de incorporações imobiliárias, antes do lançamento, quando os incorporadores não dispõem dos projetos completos. A metodologia de cálculo destes CUB sofreu uma única reformulação ao longo destes quase quarenta anos, quando da edição da NBR 12.721 (ASSOCIAÇÃO BRASILEIRA DE NORMAS TÉCNICAS, 1992). Em 1999, recebeu anexo complementar, que não fez qualquer atualização na metodologia de cálculo dos CUB, apenas estendeu a apuração destes custos para edifícios comerciais, galpões industriais e casas populares Este trabalho realizou a verificação e validação do modelo de cálculo dos CUB para prédios habitacionais, fazendo comparações entre os valores apurados pela técnica recomendada na Norma e os obtidos diretamente nos orçamentos discriminados que deram origem à metodologia de cálculo dos CUB, utilizando preços unitários de insumos no período de janeiro de 1993 a dezembro de 2000. Ao final concluiu-se que o modelo de cálculo dos CUB necessita de uma profunda reformulação para readquirir a propriedade fundamental de sua caracterização que é a de substituir o cálculo dos custos com o uso do orçamento discriminado dos projetos-padrão.

Efeito das adições minerais na resistividade elétrica de concretos convencionais

Uma vez que a armadura se encontre despassivada, o processo de corrosão vai depender basicamente de dois fatores, que são a resistividade elétrica do concreto e do acesso de oxigênio à armadura. A resistividade elétrica do concreto pode atuar como acelerador ou retardador do processo corrosivo, dado que baixos valores de resistividade significam fácil mobilidade iônica, enquanto que altos valores de resistividade implicam numa baixa mobilidade iônica. De acordo com sua composição e características, o concreto pode ter diferentes valores de resistividade elétrica. Assim, este trabalho objetiva comparar o efeito de diferentes tipos de adição e cimentos na resistividade elétrica aparente de concretos convencionais. São pesquisados concretos com adição de sílica ativa e cinzas de casca de arroz (0, 6 e 12%) cimento CP V -ARI e cimento CP IV 32 e relação água/aglomerante a 0,5, 0,65 e 0,8. Os valores de resistividade elétrica foram obtidos pelo método de Wenner (Método dos 4 eletrodos), em tres situações distintas de exposição do concreto (câmara úmida, câmara climatizada e submerso). Paralelamente foram realizados ensaios de resistência à compressão axial, índice de vazios, grau de saturação dos poros e perda de massa pela evaporação da água. Os resultados obtidos permitiram concluir que, dependendo do tipo de adição ou tipo de cimento, existe um incremento significativo na resistividade elétrica. Foi observado que, de acordo com o ambiente de exposição, o fator mais significativo para a resistividade elétrica foi o tipo de adição ou o tipo de cimento. Também foi possível observar que a influência do ambiente é significativa, evidenciando a importância do grau de saturação dos poros do concreto para a propriedade pesquisada.

Estudo da morfologia e cristalinidade em polipropileno isotático submetido a deformação uniaxial em temperatura ambiente

A utilidade de alguns polímeros depende principalmente de suas propriedades elétricas, ópticas, bioquímicas e térmicas, porém na maioria dos exemplos a propriedade fundamental para as aplicações reside em suas propriedades mecânicas. Os mecanismos de deformação em polímeros semi-cristalinos são em geral complexos e dependem do arranjo e do tamanho dos cristais. A deformação plástica de polímeros semi-cristalinos é produzida pela força aplicada ao sistema, com modificações de suas propriedades termodinâmicas e morfológicas, obtendo-se materiais com novas propriedades e aplicações. Os sistemas estudados neste trabalho, consistem de amostras de polipropileno isotático, (i-PP) comercial, fornecidas pela OPP Petroquímica (III Pólo Petroquímico – Triunfo / RS). As amostras, na forma de grânulos, foram moldadas pelo processo de injeção onde duas massas molares diferentes foram investigadas. As placas moldadas por injeção, com espessura de aproximadamente 3,0 mm, foram cortadas nas dimensões padrões de 17,2 mm X 4,7 mm e após, deformadas plasticamente por compressão plana uniaxial à temperatura ambiente. A análise da morfologia e cristalinidade deste material foram realizadas utilizando as técnicas de difração raios-X em alto ângulo (WAXD), espalhamento de raios-X em baixo ângulo (SAXS), Microscopia Eletrônica de Varredura (MEV), e Microscopia Eletrônica de Transmissão (MET). Através da técnica de WAXD foi possível a identificação das diferentes fases cristalinas α e β do i-PP, antes e depois das amostras serem deformadas por compressão uniaxial. A determinação da cristalinidade foi realizada via difração de raios-X, utilizando as geometrias θ - 2θ e de Debye Scherrer, sendo a quantificação realizada a partir da área dos picos cristalinos obtidos a partir da indexação das reflexões de Bragg, utilizando o programa FULLPROF. Como resultado obtido, foi verificado uma significativa diminuição da cristalinidade com o aumento da deformação por compressão aplicada sobre as amostras. Com as medidas de SAXS, foram observados os perfis de espalhamento anisotrópicos e isotrópicos para as amostras sem deformação para maior e menor massa molar, respectivamente. O período longo (L) do material, definido pela soma da espessura lamelar do cristal (dc) e a espessura da camada amorfa (da), também foi obtido para estas amostras. A deformação causou uma diminuição do L, o que levou a diminuição da dc, seguido pelo aumento da da. Porém, com o aumento da deformação observa-se uma diminuição das intensidades espalhadas em torno do eixo azimutal. Este efeito pode ser atribuído ao aumento da fase amorfa seguido pela diminuição da fase cristalinidade. As modificações morfológicas ocorridas nas estruturas esferulíticas e lamelares foram avaliadas utilizando a Microscopia Eletrônica de Varredura (MEV), e a Microscopia Eletrônica de Transmissão (MET). O efeito da deformação plana por compressão ficou registrado nas imagens de XXIX MEV e MET, onde verificou-se o alongamento das estruturas esferulíticas na direção de fluxo, seguido da destruição parcial da mesma em deformação por compressão maiores. As imagens obtidas em MEV e MET, foram tratadas a fim de se verificar o grau de orientação e a distribuição da orientação em nível microestrutural por meio do método direto das secantes em um plano e da rosa dos interceptos. Neste caso, quando a rosa apresenta duas pétalas, tem-se um eixo de orientação; com quatro pétalas, dois eixos de orientação, e assim sucessivamente.Em um sistema isométrico sem nenhuma orientação, a rosa dos interceptos apresentará como resultado uma circunferência. Os resultados obtidos para as imagens de MEV e MET em nível esferulítico mostraram que a rosa dos interceptos parte de uma estrutura simétrica com baixo grau de orientação para uma estrutura orientada definida por um sistema de duas pétalas, seguido pelo aumento do grau de orientação para pressões de deformações maiores. Para as imagens de MET em nível lamelar observou-se o aumento do grau de orientação devido o aumento da deformação até 10 MPa. Neste caso, a rosa dos interceptos parte de uma estrutura definida por quatro pétalas (sistema dois eixos de orientação) para uma estrutura de duas pétalas, apresentando um sistema com um eixos de orientação. Porém, para pressões de deformações entre 20-3200 MPa observou-se a diminuição do grau de orientação, pois uma maior desordem é observado nas estruturas devido a amorfização do material, sendo a rosa dos interceptos demostrada por uma estrutura simétrica. Medidas com termopar foram realizadas para verificação do comportamento térmico no momento da deformação. Neste caso, foi verificado um aumento significativo da temperatura com o aumento da deformação. Porém, para as amostras deformadas com 3200 MPa foi observado dois picos de temperatura. Onde o primeiro pico foi atribuído ao comportamento adiabático seguido pela relaxação do material, enquanto o segundo pico foi verificado com grande aumento de temperatura no momento da explosão do material.

Pecuária familiar na região da Serra do Sudeste do Rio Grande do Sul : um estudo sobre a origem e a situação socioagroeconômica do pecuarista familiar no município de Canguçu/RS

No imaginário social, político e até acadêmico no Rio Grande do Sul persiste a idéia que a estrutura fundiária do Estado estaria assentada na polarização entre “minifúndios” e “latifúndios”. Conforme esta idéia o Estado do Rio Grande do Sul estaria dividido em duas partes, onde a “Metade Sul” estariam assentados os latifúndios e a “Metade Norte” os minifúndios. Neste estudo buscou-se observar que a estratificação social e econômica que se verifica na estrutura agrária gaúcha não decorre, imediatamente, da distribuição fundiária, ou seja, há que produzir interpretações muito mais complexas sobre a estrutura social no campo do que aquela que opera com a idéia que separa a sociedade rural gaúcha em dois grupos de proprietários: pequenos ou grandes, minifúndios ou latifúndios. Neste sentido, o objetivo deste estudo foi aprofundar os conhecimentos sobre a realidade de agricultores que pertencem a Metade Sul do Estado, que é pouco conhecida, e não corresponde ao contexto que se formou sobre esta região do estado. O estudo enfocou agricultores do município de Canguçu-RS que tenham a pecuária bovina de corte como a base de seus sistemas de produção, e que, contudo, utilizam-se principalmente da mão-de-obra familiar na propriedade. Em função destes fatores, estes agricultores foram denominamos como “pecuaristas familiares”. A partir do uso do referencial teórico e metodológico baseado no enfoque sistêmico, o presente trabalho diagnosticou e analisou os diferentes sistemas de produção implementados pelos “pecuaristas familiares” do município de Canguçu-RS Desta forma foi possível identificar três “tipos” de “pecuaristas familiares”, e três estudos de caso de agricultores que também implementam a “pecuária familiar”. O primeiro tipo identificado é formado por agricultores que, na sua maioria, são herdeiros dos estancieiros da região que gradualmente tiveram suas áreas produtivas reduzidas, fato que ocorreu através da partilha da propriedade pelos herdeiros; normalmente são aposentados e além da criação de gado de corte extensiva também cultivam pequenas áreas de milho e feijão, este tipo de agricultor foi denominado como “pecuarista familiar tradicional”. O segundo tipo identificado é formado na sua maioria por descendentes de peões e agregados que trabalhavam nas estâncias. Possuem pequenas propriedades, mas, por serem mais jovens, e possuírem maior força de trabalho que os “pecuaristas familiares tradicionais”, implementam diversos cultivos em suas propriedades além de desenvolver alguma atividade não agrícola, como, por exemplo, o comércio (venda na localidade). Por este fato, são denominados como sendo “pecuaristas familiares pluriativos”. O terceiro tipo é formado por criadores de gado de corte, também de forma extensiva, mas que estão mais inseridos no mercado de carne, pois comercializam o gado diretamente com os frigoríficos ou para intermediários em detrimento deste fato denomina-se este tipo de agricultor como sendo um “pecuarista familiar comercial”. Estes agricultores possuem realidades diferentes, mas, utilizam sistemas de produção semelhantes, e carecem de políticas públicas específicas para o seu desenvolvimento.

Estimativa da vida útil de placas cerâmicas esmaltadas solicitadas por abrasão através de ensaios acelerados

O desempenho de placas cerâmicas esmaltadas sujeitas ao tráfego de pessoas tem sido alvo de inúmeras críticas, tanto por parte dos especificadores, em vista da carência de informações técnicas seguras, quanto por parte dos usuários, devido ao comportamento insatisfatório, muitas vezes registrado, em condições reais de utilização. Com o intuito de contribuir com o estudo desse assunto, procurou-se modelar o comportamento de placas cerâmicas esmaltadas submetidas a um processo abrasivo. Para tanto, desenvolveu-se um equipamento de abrasão que permitiu a aplicação variável de carga e a inserção de diferentes concentrações de abrasivo. Como variáveis de resposta, foram analisadas seis propriedades que podem estar relacionadas à percepção do fenômeno: reflexão especular, reflexão difusa, delta E, rugosidade média Ra, rugosidade média Rz e aspecto visual. Após desgaste, avaliou-se também a limpabilidade das superfícies, as quais revelaram tendência à maior impregnação de sujeira. A relação entre o comportamento obtido em laboratório com o desempenho em campo foi obtida através de um estudo de caso cujas placas revelaram significativo desgaste após poucos anos de utilização A partir da modelagem dos dados de campo foi possível constatar que a classificação visual mostrou os melhores parâmetros estatísticos, comportamento este também observado nos ensaios de laboratório. Dessa forma, a classificação visual constitui-se na propriedade selecionada para estimar a vida útil de placas cerâmicas esmaltadas sujeitas à abrasão provocada pelo tráfego de pessoas. Os modelos resultantes mostraram que a variação de aspecto, decorrente do ensaio de abrasão, e a variação do aspecto, decorrente do trânsito de pessoas em movimento livre, são proporcionais, respectivamente, à raiz quadrada do tempo e à raiz quadrada do tráfego. Portanto, existe uma relação constante entre tempo e tráfego que permite estimar o comportamento futuro do material. Para frenagem, resulta que a variação de aspecto é aproximadamente proporcional à raiz cúbica do tráfego. Utilizando a modelagem proposta, foi possível estimar a vida útil de quatro tipologias de placas cerâmicas, designadas: bege sem brilho, bege com brilho, marrom sem brilho e marrom com brilho.

Um Modelo formal e executável de agentes BDI

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.

ONNIS-GI: uma rede neural oscilatória para segmentação de imagens implementada em arquitetura maciçamente paralela

A presente tese apresenta a concepção de uma rede neural oscilatória e sua realização em arquitetura maciçamente paralela, a qual é adequada à implementação de chips de visão digitais para segmentação de imagens. A rede proposta, em sua versão final, foi denominada ONNIS-GI (Oscillatory Neural Network for Image Segmentation with Global Inhibition) e foi inspirada em uma rede denominada LEGION (Locally Excitatory Globally Inhibitory Oscillator Network), também de concepção recente. Inicialmente, é apresentada uma introdução aos procedimentos de segmentação de imagens, cujo objetivo é o de situar e enfatizar a importância do tema abordado dentro de um contexto abrangente, o qual inclui aplicações de visão artificial em geral. Outro aspecto abordado diz respeito à utilização de redes neurais artificiais em segmentação de imagens, enfatizando as denominadas redes neurais oscilatórias, as quais têm apresentado resultados estimulantes nesta área. A implementação de chips de visão, integrando sensores de imagens e redes maciçamente paralelas de processadores, é também abordada no texto, ressaltando o objetivo prático da nova rede neural proposta. No estudo da rede LEGION, são apresentados resultados de aplicações originais desenvolvidas em segmentação de imagens, nos quais é verificada sua propriedade de separação temporal dos segmentos. A versão contínua da rede, um arranjo paralelo de neurônios baseados em equações diferenciais, apresenta elevada complexidade computacional para implementação em hardware digital e muitos parâmetros, com procedimento de ajuste pouco prático. Por outro lado, sua arquitetura maciçamente paralela apresenta-se particularmente adequada à implementação de chips de visão analógicos com capacidade de segmentação de imagens. Com base nos bons resultados obtidos nas aplicações desenvolvidas, é proposta uma nova rede neural, em duas versões, ONNIS e ONNIS-GI, as quais suplantam a rede LEGION em diversos aspectos relativos à implementação prática. A estrutura dos elementos de processamento das duas versões da rede, sua implementação em arquitetura maciçamente paralela e resultados de simulações e implementações em FPGA são apresentados, demonstrando a viabilidade da proposta. Como resultado final, conclui-se que a rede ONNIS-GI apresenta maior apelo de ordem prática, sendo uma abordagem inovadora e promissora na solução de problemas de segmentação de imagens, possuindo capacidade para separar temporalmente os segmentos encontrados e facilitando a posterior identificação dos mesmos. Sob o ponto de vista prático, a nova rede pode ser utilizada para implementar chips de visão digitais com arquitetura maciçamente paralela, explorando a velocidade de tais topologias e apresentando também flexibilidade para implementação de procedimentos de segmentação de imagens mais sofisticados.

Réplicas para alta disponibilidade em arquiteturas orientadas a componentes com suporte de comunicação de grupo

Alta disponibilidade é uma das propriedades mais desejáveis em sistemas computacionais, principalmente em aplicações comerciais que, tipicamente, envolvem acesso a banco de dados e usam transações. Essas aplicações compreendem sistemas bancários e de comércio eletrônico, onde a indisponibilidade de um serviço pode representar substanciais perdas financeiras. Alta disponibilidade pode ser alcançada através de replicação. Se uma das réplicas não está operacional, outra possibilita que determinado serviço seja oferecido. No entanto, réplicas requerem protocolos que assegurem consistência de estado. Comunicação de grupo é uma abstração que tem sido aplicada com eficiência a sistemas distribuídos para implementar protocolos de replicação. Sua aplicação a sistemas práticos com transações e com banco de dados não é comum. Tipicamente, sistemas transacionais usam soluções ad hoc e sincronizam réplicas com protocolos centralizados, que são bloqueantes e, por isso, não asseguram alta disponibilidade. A tecnologia baseada em componentes Enterprise JavaBeans (EJB) é um exemplo de sistema prático que integra distribuição, transações e bancos de dados. Em uma aplicação EJB, o desenvolvedor codifica o serviço funcional que é dependente da aplicação, e os serviços não–funcionais são inseridos automaticamente. A especificação EJB descreve serviços não–funcionais de segurança, de transações e de persistência para bancos de dados, mas não descreve serviços que garantam alta disponibilidade. Neste trabalho, alta disponibilidade é oferecida como uma nova propriedade através da adição de serviços não–funcionais na tecnologia EJB usando abstrações de comunicação de grupo. Os serviços para alta disponibilidade são oferecidos através da arquitetura HA (highly-available architecture) que possui múltiplas camadas. Esses serviços incluem replicação, chaveamento de servidor, gerenciamento de membros do grupo e detecção de membros falhos do grupo. A arquitetura HA baseia-se nos serviços já descritos pela especificação EJB e preserva os serviços EJB existentes. O protocolo de replicação corresponde a uma subcamada, invisível para o usuário final. O serviço EJB é executado por membros em um grupo de réplicas, permitindo a existência de múltiplos bancos de dados idênticos. Conflitos de acesso aos múltiplos bancos de dados são tratados estabelecendo–se uma ordem total para aplicação das atualizações das transações. Esse grupo é modelado como um único componente e gerenciado por um sistema de comunicação de grupo. A combinação de conceitos de bancos de dados com comunicação de grupo demonstra uma interessante solução para aplicações com requisitos de alta disponibilidade, como as aplicações EJB. Os serviços adicionais da arquitetura HA foram implementados em protótipo. A validação através de um protótipo possibilita que experimentos sejam realizados dentro de um ambiente controlado, usando diferentes cargas de trabalho sintéticas. O protótipo combina dois sistemas de código aberto. Essa característica permitiu acesso à implementação e não somente à interface dos componentes dos sistemas em questão. Um dos sistemas implementa a especificação EJB e outro implementa o sistema de comunicação de grupos. Os resultados dos testes realizados com o protótipo mostraram a eficiência da solução proposta. A degradação de desempenho pelo uso de réplicas e da comunicação de grupo é mantida em valores adequados.