Descrição e geração de ambientes para simulações com sistemas multiagentes

Este trabalho situa-se na área de Sistemas Multiagente, que é uma sub-área da Inteligência Artificial Distribuída. Em particular, o problema abordado nesta dissertação é o da modelagem de ambientes, um aspecto importante na criação de simulações baseadas em sociedades de agentes cognitivos, no entanto pouco tratado na literatura da área. A principal contribuição deste trabalho é a concepção de uma linguagem, chamada ELMS, própria para a definição de ambientes multiagente, e a implementação de um protótipo de interpretador para esta linguagem. O resultado da interpretação é um processo que simula o ambiente descrito em alto nível, e é apropriado para a interação com os agentes cognitivos que irão compartilhar o ambiente. Esta linguagem foi desenvolvida no contexto do projeto MASSOC, que tem como objetivo a criação de simulações sociais com agentes cognitivos. A abordagem deste projeto dá ênfase ao uso da arquitetura BDI para agentes cognitivos, a comunicação inter-agente de alto nível (ou seja, baseada em atos de fala) e a modelagem de ambientes com a linguagem ELMS, que é proposta neste trabalho. Os ambientes e agentes que podem ser usados na criação de simulaçõpes, bem como a comunicação entre eles utilizando a ferramenta SACI, são definidos ou gerenciados a partir de uma interface gráfica, que facilita a criação e controle de simulações com a plataforma MASSOC. Além de apresentar a linguagem ELMS e seu interpretador, esta dissertação menciona ainda, como breve estudo de caso, uma simulação de aspectos sociais do crescimento urbano. Esta simulação social auxiliou na concepção e avaliação da linguagem ELMS.

Geração de modelos de co-simulação distribuída para a arquitetura DCB

O aumento na complexidade dos sistemas embarcados, compostos por partes de hardware e software, aliado às pressões do mercado que exige novos produtos em prazos cada vez menores, tem levado projetistas a considerar a possibilidade de construir sistemas a partir da integração de componentes já existentes e previamente validados. Esses componentes podem ter sido desenvolvidos por diferentes equipes ou por terceiros e muitas vezes são projetados utilizando diferentes metodologias, linguagens e/ou níveis de abstração. Essa heterogeneidade torna complexo o processo de integração e validação de componentes, que normalmente é realizado através de simulação. O presente trabalho especifica mecanismos genéricos e extensíveis que oferecem suporte à cooperação entre componentes heterogêneos em um ambiente de simulação distribuída, sem impor padrões proprietários para formatos de dados e para a descrição do comportamento e interface dos componentes. Esses mecanismos são baseados na arquitetura DCB (Distributed Co-Simulation Backbone), voltada para co-simulação distribuída e heterogênea e inspirada nos conceitos de federado (componente de simulação) e federação (conjunto de componentes) que são definidos pelo HLA (High Level Architecture), um padrão de interoperabilidade para simulações distribuídas. Para dar suporte à co-simulação distribuída e heterogênea, esse trabalho descreve mecanismos que são responsáveis pelas tarefas de cooperação e distribuição, chamados de embaixadores, assim como o mecanismo gateway, que é responsável pela interoperabilidade entre linguagens e conversão de tipos de dados. Também é apresentada uma ferramenta de suporte à geração das interfaces de co-simulação, que são constituídas de dois embaixadores configuráveis e um gateway para cada federado, gerado a partir de templates pré-definidos.

A cadeia produtiva do trigo no Brasil : contribuição para a geração de emprego e renda

Esta dissertação analisa algumas características da cadeia produtiva do trigo no Brasil, com o objetivo de descrever a evolução da produção, consumo e políticas relacionadas até os dias de hoje e analisar as possibilidades de geração de emprego e renda. A cadeia produtiva do trigo é composta a montante por um grande número de indústrias de insumos, máquinas, equipamentos e serviços; e pelo setor produtivo a jusante, é composta principalmente pelas indústrias moageiras e de transformação que correspondem aquelas de massas, biscoitos, pães e o consumidor final. Constatou-se que o segmento agrícola é o mais prejudicado pelas importações, mas atualmente todos os segmentos da cadeia produtiva começam a ser ameaçados com as importações. O limite e a quantificação das relações inter-setoriais da cadeia produtiva do trigo foram realizadas através da matriz insumo-produto. Além disso, este modelo foi utilizado para quantificar o número de empregos gerados na atividade agrícola produtora de trigo em grão e nas principais atividades ligadas a ela. O insumoproduto é um modelo estático comparativo e serve para determinar variações nos valores de equilíbrio das variáveis endógenas, quando houver variações nos parâmetros ou variáveis exógenas. Foram realizadas nove simulações com diferentes níveis de produção de trigo a partir da matriz de 1995, quando a produção brasileira foi de 1.436,5 mil toneladas com o objetivo de observar os impactos na geração de emprego, alteração no Valor Bruto da Produção e na utilização de insumos das atividades ligadas a cadeia produtiva do trigo. Neste ano foram gerados 40.108 postos de trabalho o que permite afirmar que a cada 24,4 hectares cultivados é criado um emprego. Mas, a ampliação da produção gera emprego também fora do segmento agrícola, principalmente na indústria de insumos, máquinas, equipamentos e serviços. Os resultados sugerem políticas que venham viabilizar a ampliação da produção de trigo no Brasil, à medida que o cultivo deste cereal gera emprego e renda na atividade agrícola contribuindo para a redução da migração do campo para a cidade.

Geração de sombras em objetos modelados por geometria sólida construtiva

Atualmente os sistemas computacionais mais sofisticados são aqueles que apresentam imagens gráficas. Devido às características de alta velocidade de processamento e excelente resultado na geração de imagens o uso da Computação Gráfica se dá em diversas áreas como a indústria, pesquisa, publicidade, entretenimento, medicina, treinamento, dentre outras. Este trabalho aborda dois assuntos clássicos na Computação Gráfica, Geometria Sólida Construtiva (CSG) e Sombras Projetadas. Ambos são muito importantes para esta linha de pesquisa da Ciência da Computação. A Geometria Sólida Construtiva é utilizada na modelagem de objetos e as sombras projetadas são necessárias para aumentar o realismo das imagens. Geometria sólida construtiva (CSG) é uma técnica para a modelagem de sólidos, que define sólidos complexos pela composição de sólidos simples (primitivas). Isso inclui também a composição de objetos já combinados, até que se chegue a um objeto mais complexo. Um fator muito importante e necessário na obtenção de imagens realistas e que deve ser considerado é a utilização de sombras, pois estas são eficazes no realismo e impressão espacial de objetos tridimensionais. As sombras estabelecem diversos níveis de profundidade na imagem, fazem uma pontuação geométrica na cena de modo a evitar que os objetos não pareçam estar flutuando no ar. Este trabalho consiste em apresentar uma proposta para a geração de sombras em objetos modelados pela Geometria Sólida Construtiva. Para tanto foram estudados os assuntos referentes à modelagem de objetos por CSG, algoritmos para a geração de sombras “bem delimitadas” e formas de gerar sombras na Geometria Sólida Construtiva. O processo de geração de sombras em cenas modeladas por CSG, através da aplicação das mesmas operações booleanas envolvidas na modelagem dos objetos, sobre as sombras nem sempre apresenta resultados corretos. Diante disso, foram investigadas outras formas de solucionar o problema. Dentre estas, uma alternativa é a realização de transformações na árvore binária CSG, através de outras operações, envolvendo o uso de complemento com operações de união e interseção, para a modelagem do objeto e geração da sombra correspondente. Com base nos estudos realizados foram implementados dois protótipos que exibem a sombra projetada de objetos modelados por CSG. Na implementação do protótipo A utilizaram-se as técnicas tradicionais de modelagem de sólidos e sombra projetada. Os resultados obtidos com este protótipo serviram de referência. No protótipo B os resultados foram obtidos através da aplicação da zona ativa das primitivas na modelagem dos objetos e a sombra é projetada durante o processo de avaliação de contornos do sólido. Os resultados obtidos com este protótipo são comparados com os resultados do protótipo A e são apresentados como forma de exibir a aplicação do método proposto.

OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal

A literatura sobre Teste de Software apresenta diversas estratégias e metodologias que definem critérios eficazes e automatizáveis para selecionar casos de teste capazes de detectar erros em softwares. Embora eficientes na descoberta de erros, as técnicas de seleção de casos de teste exigem que uma quantidade relativamente grande de testes seja realizada para satisfazer os seus critérios. Essa característica acarreta, em parte, um alto custo na atividade de teste, uma vez que, ao fim de cada teste deve-se verificar se o comportamento do software está ou não de acordo com os seus requisitos. Oráculo para teste de software é um mecanismo capaz de determinar se o resultado de um teste está ou não de acordo com os valores esperados. Freqüentemente, assume-se que o próprio projetista de teste é o responsável por esta tarefa. A automatização da atividade dos oráculos deu origem a oráculos automáticos, os quais são capazes de determinar o bom ou mau funcionamento do software a partir de uma fonte de informação confiável. Ao longo dos anos, a especificação formal vêm sendo largamente utilizada como fonte de informação para oráculos automáticos. Diversas estratégias vêm propondo geradores de oráculos baseados em especificações formais. Dentre as características marcantes dessas estratégias, cita-se aquelas que são aplicáveis a implementações derivadas a partir da estrutura da especificação e aquelas que geram oráculos a partir de técnicas específicas de seleção de casos. Essas características, entretanto, limitam a aplicação abrangente dos oráculos por restringi-los tanto a implementações derivadas diretamente de especificações como ao uso de técnicas específicas de seleção de casos de teste. Este trabalho apresenta um estudo sobre os geradores de oráculos para teste de software, identifica aspectos fundamentais que regem seu processo de construção e propõe uma estratégia que permite a geração de oráculos semi-automaticamente, mesmo para implementações não derivadas diretamente da estrutura da especificação. A estratégia proposta é, também, aplicável aos casos de teste derivados de qualquer técnica de seleção de casos de teste.

Efeito do transporte radial de partículas na eficiência da geração de corrente por ondas do tipo híbrida inferior em tokamaks

Usamos a teoria quase-linear para estudar os efeitos do transporte radial de partículas na eficiência da geração de corrente por ondas do tipo híbrida inferior (lower hybrid ou LH), em um tokamak modelado como uma lâmina. Nossos resultados numéricos foram obtidos com cinco diferentes modelos do termo de transporte e indicaram que embora a potência absorvida e a corrente gerada possam ser modificadas por efeito do transporte, a proporção de variação dessas quantidades não é muito sensível a uma forma particular do termo de transporte. Na formulação quase-linear utilizada, a evolução no tempo da função distribuição de elétrons, em um dado ponto da geometria de lâmina proposta, ocorre sob a ação de ondas do tipo híbrida inferior, colisões e transporte, e é descrita pela seguinte equação: 8rfe = (8rfehH + (8rfe)COL + (8rfeh . Oterceiro termo pretende demonstrar a natureza e a magnitude dos efeitos de transporte, e é dado pela seguinte forma: (8rfeh = 8s [DT(S) 8sie] , com um coeficiente para difusão espacial dependente de posição. Utilizamos cinco formas totalmente arbitrárias para a dependência de posição, com as quais pretendemos verificar a sensibilidade do processo de geração de corrente a aspectos do termo de difusão.

Projeto piloto de beneficiamento industrial de resíduos sólidos gerados na CEASA/POA

o presente trabalho tem como propósito validar o projeto piloto, cujo objetivo é modificar uma realidade existente no método de descarte dos resíduos sólidos gerados na CEASA-POA, objetivando diminuir o desperdício de alimentos e reduzir a poluição ambiental, - - em sua maioria são resíduos de alta qualidade. No modelo atual os resíduos sólidos de hortiftutigranjeiros da CEASA-POA, são quase que integralmente descartados no aterro sanitário, mas que podem e devem ser reprocessados, via novo ciclo produtivo. Em pesquisa realizada, encontramos outros dois tipos de atividades. desenvolvidas, nas demais CEASAS existentes no país, inclusive na CEASA-POA. O reaproveitamento dos resíduos em condições para consumo humano, com a existência de um banco de alimentos, onde os atacadistas doam produtos que não estão em boas condições para venda, por motivos diversos, mas em condições para alimentação humana em Curitiba-PR esta doação sofre um processo de industrialização, resultando na fabricação de uma sopa enlatada, distribuida a entidades assistenciais Existe também, o descarte seletivo dos resíduos para produção de adubo composto orgânico. A partir deste trabalho, apresenta-se uma terceira alternativa, que é o processamento dos resíduos sólidos gerados na CEASA - Porto Alegre-RS, em uma planta piloto, com a finalidade de obter-se um complemento para ser ofertado na alimentação de anlinais. Através de um estudo prévio com o mapeamento de toda a CEASA, consistindo na localização, quantificação e qualificação de todos os resíduos sólidos gerados na CEASA. Os valores obtidos foram ao longo de quatro meses, com a geração média de 30 toneladas de resíduos hortiftutigranjeiros por dia. De posse das informações levantadas, foi proposto este presente projeto piloto, em beneficiar uma pequena parte destes resíduos. O método utilizado para obtenção da ração, foi o processo de desidratação via evaporação térmica, obtendo-se um complemento alimentar, com teor de proteína brota média na ordem de 10,3%, excelente aceitação pelos bovinos e suínos. Assim, espera-se que este projeto piloto, proposto, elaborado e executado com sucesso, justifique a implementação de equipamentos de grande porte, com capacidade de processar o total do descarte, em escala industrial Podendo ser reproduzido nas demais CEASAS de nosso Estado e Pais, evitandose assim o desperdício de alimentos, e aumento do tempo de vida útil dos aterros sanitários com maior preservação do meio ambiente.

Simulação de sistemas térmicos de potência para geração de energia elétrica

O presente trabalho é dedicado à simulação numérica de sistemas térmicos de potência. O trabalho é iniciado com a modelagem de um ciclo Rankine, dedicado à produção de energia elétrica, para o qual foi elaborado um programa de simulação com a linguagem de programação MATLAB. A partir desse primeiro caso, são apresentados os modelos empregados para representar os diversos componentes que formam o circuito, como o gerador de vapor, a turbina, o condensador e a bomba. Além desses componentes, são introduzidas as equações que representam o escoamento do fluido de trabalho, no caso a água, permitindo assim o cálculo da perda de carga nas diferentes canalizações do circuito, sendo também acoplado o funcionamento da bomba. Essa alternativa pennite uma melhor avaliação do trabalho despendido para operar o sistema. A modelagem do ciclo deixa então de ser exclusivamente tennodinâmica, e passa a incluir aspectos de mecânica de fluidos. Outras variantes desse ciclo simples são também modelados e simulados, incluindo ciclos Rankine regenerativos e com irreversibilidades. As simulações são efetuadas admitindo-se parâmetros de operação, como, potência da turbina, temperatura do vapor d'água na entrada da turbina e pressão do vapor d'água na saída da turbina, com a variante de fixar-se o título do vapor d'água na saída da turbina.

Implementação de CRM em indústria petroquímica de 2ª geração e análise do nível de satisfação do cliente resultante

A competitividade das empresas apresenta forte ligação com a qualidade do relacionamento com o cliente. Para competir em tempo real é preciso dotar a empresa de meios que permitam conhecer e relacionar-se de forma cada vez mais eficiente com os clientes. O uso intensivo da tecnologia é fator que contribui para que o relacionamento com o cliente se torne mais efetivo. CRM (Customer Relationship Management) faz uso da tecnologia de informação com o objetivo de desenvolver e gerenciar relações entre empresas e seus clientes, de forma individualizada e mutuamente benéfica. O presente trabalho refere-se à implementação de um sistema CRM, abrangendo as etapas de seleção da solução de CRM, definição do organograma, cronograma e metodologia de trabalho, redesenho dos processos de atendimento ao cliente e configuração do software. Também é objeto deste trabalho a verificação do nível de satisfação do cliente resultante. O estudo foi desenvolvido junto a uma empresa do setor petroquímico, caso pioneiro de implantação de CRM no país, considerando o segmento de mercado em análise. O texto discute a relação existente entre um sistema de CRM e a satisfação do cliente, apresentando os resultados de uma pesquisa de satisfação aplicada aos clientes da empresa em estudo.

Seleção recorrente para rendimento de grãos em aveia (Avena sativa L.) : identificação do tipo de unidade experimental para a avaliação, da geração de seleção e da variabilidade dos genitores

Seleção recorrente é um método indicado para o melhoramento de características quantitativas, como rendimento de grãos em aveia. Consiste em selecionar e recombinar de forma cíclica genótipos superiores de uma população geneticamente variável. Sua implantação depende do estabelecimento de uma estratégia que permita a condução das atividades inerentes ao método de forma compatível com a estrutura física e de mão-de-obra do programa. Este trabalho teve como objetivos investigar a possibilidade do uso de uma unidade experimental de tamanho reduzido para a condução das avaliações e seleção, indicar a geração de autofecundação a ser submetida à seleção e caracterizar a variabilidade dos genitores de uma população sintetizada pelo cruzamento dialélico de dez genótipos de aveia . Dados de três anos de ensaios mostram que unidades experimentais constituídas de uma única linha de três metros de comprimento reproduzem as classificações dos genótipos obtidas em parcelas de tamanho padrão para ciclo, estatura e rendimento de grãos. No entanto, o uso posterior de linhas como unidade experimental em ensaios que ocuparam uma área muito extensa, demonstrou que a variação de ambiente reduziu muito a eficiência da seleção. A avaliação da base genética para rendimento de grãos de aveia indica uma forte determinação de efeitos não aditivos. Nesta situação, a seleção em gerações mais avançadas de homozigose são mais adequadas. Porém, a seleção em geração F4 não apresentou vantagens sobre a realizada em F2 devido a grande variação de ambiente relacionada ao tamanho da área necessária para a condução dos ensaios. A estrutura da variabilidade fenotípica dos genitores confirma o caráter complementar dos genótipos em relação às características agronômicas e de adaptação pretendidas na população..

Capacidade e aprendizagem tecnológica na terceira geração da indústria petroquímica do RS

Novos investimentos estão sendo feitos para aumentar a produção das empresas de primeira e segunda geração da indústria petroquímica do Rio Grande do Sul. As empresas de terceira geração, produtoras de artefatos de plástico e borracha, devem estar preparadas para rapidamente aumentar os níveis de produção com novos produtos que terão novos mercados. Este estudo busca identificar como estão preparadas essas empresas gaúchas para receber este aumento de inputs. Para este propósito, capacidade tecnológica e os tipos de processos de aprendizagem tecnológica são estudados. Foi enviado um questionário pelo correio para 558 empresas de terceira geração do Rio Grande do Sul com um retorno de 154 empresas. Os resultados mostram que as empresas tem um nível de capacidade tecnológica baixo e o principal processo para absorver a tecnologia é o “aprender fazendo”. Entretanto, as empresas necessitam de programas que aumentem as habilidades em aprender e a capacidade tecnológica para que as empresas aumentam a capacidade de inovar. A análise sugere características que facilitam o desenvolvimento tecnológico das empresas.

Diferenças de efeito agudo sobre a perfusão regional cerebral entre neurolépticos convencionais (haloperidol) e de nova geração (olanzapina) em portadores de esquizofrenia

Resumo não disponível.

Uma ferramenta para automação da geração do leiaute de circuitos analógicos sobre uma matriz de transistores MOS pré-difundidos

Este trabalho apresenta o LIT, uma ferramenta de auxílio ao projeto de circuitos integrados analógicos que utiliza a técnica da associação trapezoidal de transistores (TAT) sobre uma matriz digital pré-difundida. A principal característica é a conversão de cada transistor simples de um circuito analógico em uma associação TAT equivalente, seguido da síntese automática do leiaute da associação séria-paralela de transistores. A ferramenta é baseada na matriz SOT (sea-of-transistors), cuja arquitetura é voltada para o projeto de circuitos digitais. A matriz é formada somente por transistores unitários de canal curto de dimensões fixas. Através da técnica TAT, entretanto, é possível criar associações série-paralelas cujo comportamento DC aproxima-se dos transistores de dimensões diferentes dos unitários. O LIT é capaz de gerar automaticamente o leiaute da matriz SOT e dos TATs, além de células analógicas básicas, como par diferencial e espelho de corrente, respeitando as regras de casamento de transistores. O cálculo dos TATs equivalentes também é realizado pela ferramenta. Ela permite a interação com o usuário no momento da escolha da melhor associação. Uma lista de possíveis associações é fornecida, cabendo ao projetista escolher a melhor. Além disso, foi incluído na ferramenta um ambiente gráfico para posicionamento das células sobre a matriz e um roteador global automático. Com isso, é possível realizar todo o fluxo de projeto de um circuito analógico com TATs dentro do mesmo ambiente, sem a necessidade de migração para outras ferramentas. Foi realizado também um estudo sobre o cálculo do TAT equivalente, sendo que dois métodos foram implementados: aproximação por resistores lineares (válida para transistores unitários de canal longo) e aproximação pelo modelo analítico da corrente de dreno através do modelo BSIM3. Três diferentes critérios para a escolha da melhor associação foram abordados e discutidos: menor diferença de corrente entre o TAT e o transistor simples, menor número de transistores unitários e menor condutância de saída. Como circuito de teste, foi realizado o projeto com TATs de um amplificador operacional de dois estágios (amplificador Miller) e a sua comparação com o mesmo projeto utilizando transistores full-custom. Os resultados demonstram que se pode obter bons resultados usando esta técnica, principalmente em termos de desempenho em freqüência. A contribuição da ferramenta LIT ao projeto de circuitos analógicos reside na redução do tempo de projeto, sendo que as tarefas mais suscetíveis a erro são automatizadas, como a geração do leiaute da matriz e das células e o roteamento global. O ambiente de projeto, totalmente gráfico, permite que mesmo projetistas analógicos menos experientes realizem projetos com rapidez e qualidade. Além disso, a ferramenta também pode ser usada para fins educacionais, já que as facilidades proporcionadas ajudam na compreensão da metodologia de projeto.