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.

Otimização em dois níveis da orientação e da topologia de cascas laminadas

Este trabalho é uma contribuição para o conhecimento de metodologias de projeto de estruturas de material composto, aplicando métodos de otimização estrutural a cascas laminadas e apresentando uma estratégia em dois níveis. No primeiro nível é realizada a minimização da flexibilidade da estrutura, tendo como variável de projeto a orientação de cada lâmina da estrutura. Utiliza-se Programação Linear Seqüencial (SLP) e direção de tensão principal para otimização da orientação. No segundo nível minimiza-se o volume de cada lâmina, usando a flexibilidade total da estrutura como restrição e a densidade relativa como variável de projeto, também através de SLP. Para evitar aparecimento de áreas com densidades intermediárias, utiliza-se um Método de Continuação, dividindo o nível de otimização topológica em duas ou mais etapas. As formulações desenvolvidas permitem a solução de problemas com múltiplos casos de carregamento. Para a solução da equação de equilíbrio de casca laminada, utiliza-se um elemento finito de casca degenerado de oito nós com integração explícita na direção da espessura. A implementação desse elemento é feita de modo a facilitar a obtenção das derivadas da matriz de rigidez, necessárias na linearização das funções objetivo e restrições. Evita-se assim o uso de derivadas numéricas. Resultados para vários tipos de estrutura são apresentados, incluindo comparações entre diferentes carregamentos, condições de contorno, número de lâminas, espessuras, etc. As soluções obtidas, formas de análise e possíveis aplicações são discutidas.

Lutas pela definição de concepções de justica na construção do Parque Nacional dos Aparados da Serra - RS/SC

A política nacional de proteção ambiental, por meio da criação de parques nacionais, tem gerado conflitos com populações que habitam áreas destinadas a preservação. Além da imposição de restrições às atividades desenvolvidas por moradores, o projeto prevê a desocupação total desses locais e a indenização dos proprietários de terras. Esse trabalho aborda a implementação do Parque Nacional dos Aparados da Serra, localizado nos municípios de Cambará do Sul, no estado do RS, e de Praia Grande, em SC. Especificamente, o estudo centra-se na análise dos sentidos de justiça de moradores da área e de operadores jurídicos. Os moradores assumem uma posição de resistência à proposta estatal a partir da reivindicação de especificidades culturais. Entretanto, as possibilidades de pensar a justiça, configuradas num jogo de forças bastante desigual, vão sendo enquadradas a proposta hegemônica: a saída do local, o pagamento das terras e a concretização do parque. Esse enquadramento decorre da violência simbólica extremada, da fragilidade institucional do empreendimento e da mediação jurídica voltada à legitimação da proposta oficial. As normas ambientais e a criminalização das atividades, impostas a partir do Estado, fazem com que os moradores, em busca de uma identidade mais legítima, passem a assumir uma postura de relativa aceitação das condições impostas. Nesse processo, os moradores são submetidos a um cotidiano de tensão e insegurança permanentes. Os operadores jurídicos inserem-se no conflito como mediadores sociais. No exercício da mediação, esses agentes transcodificam as perspectivas de justiça dos moradores ajustando-as às possibilidades de pensá-las segundo princípios universalizantes do campo jurídico.

Identificação e diferenciação do Mycobacterium tuberculosis pela amplificação do DNA das regiões intergênicas dos operons inhA e pIC

Entre as doenças causadas por bactérias do gênero Mycobacterium, a tuberculose por M. tuberculosis é a mais conhecida. O diagnóstico da doença é feito utilizando-se um conjunto de exames que possibilitam a identificação da mesma (WATT, 2000). Contudo, sabe-se que o diagnóstico combinado de microscopia direta e com o posterior isolamento em meio de cultivo é o “padrão-ouro”. A principal desvantagem desse método é que tal bactéria possui um crescimento lento (cerca de 8 semanas). Recentemente, a detecção de doenças através da técnica de reação em cadeia da polimerase (PCR) tem proporcionado avanços significativos no diagnóstico. O uso da amplificação específica de genes, para identificar a M. tuberculosis, tais como rDNA 16S, IS6110 ou a região intergênica senX3-regX3, tem apresentado algumas restrições, ao nível de confiabilidade e sensibilidade, para a aplicação da técnica de PCR. O presente estudo mostra a construção e a aplicação de um novo alvo para a aplicação da PCR no diagnóstico da tuberculose, baseado no ensaio da diferença de organização gênica do operon plcA, B e C diferenciando a M. tuberculosis das demais micobactérias. Neste trabalho, foram examinadas 273 amostras de pacientes com suspeita de tuberculose, sendo estas submetidas ao estudo comparativo da técnica de PCR versus cultivo (padrão ouro). A PCR amplificou fragmentos de 439pb. Os resultados mostram 93,7% de acurácia para PCR/Cultivo (p<000,1), 93,1% de sensibilidade com intervalo de confiança de 88,7-96,0 e especificidade de 96,4% com intervalo de confiança de 96,4-99,4. O valor da estatística Kappa (k) foi de 0,82 com erro padrão de 0,041, demonstrando um alinhamento quase perfeito para a verificação do grau de concordância entre os testes. Desta forma, o uso desta nova região para a amplificação da PCR se mostra uma importante e confiável ferramenta no diagnóstico específico da tuberculose. Outra região que compreende parte dos genes mbaA e inhA foi utilizada para diferenciar o Complexo tuberculosis do Complexo avium. Porém, novos experimentos serão necessários para o emprego desta região como uma ferramenta de diagnóstico.

Padrões vegetacionais em capões de floresta com araucária no planalto nordeste do Rio Grande do Sul, Brasil

Capões naturais de vegetação florestal inseridas em meio a uma matriz dominada por campos freqüentemente destacam-se na paisagem do planalto sul-brasileiro. São importantes núcleos de manutenção dos processos florestais, bem como fornecedores de alimento e refúgio à fauna silvestre. Baseado em recentes estudos paleopalinológicos, nos últimos séculos as florestas do sul do Brasil estariam em um franco processo de avanço sobre a vegetação campestre. Hipotetíza-se que os capões desempenham um papel fundamental nesta expansão, mesmo que o processo possa sofrer inúmeras restrições de distúrbios como o pastejo e fogo, tradicionalmente utilizados como manejo por pecuaristas da região. O objetivo principal deste estudo foi a identificação de padrões vegetacionais na expansão das manchas florestais e relacioná-los às condições ambientais de solo e topografia. O estudo foi realizado no Centro de Pesquisa e Conservação da Natureza Pró-Mata, localizado na porção leste do planalto, no município de São Francisco de Paula, RS, a cerca de 900 m de altitude. A área, excluída da interferência antrópica há aproximadamente 10 anos, caracteriza-se pelo predomínio de Floresta com Araucária entremeada por campos nativos. Foram selecionados cinco capões de tamanho e forma semelhantes, em cada qual foram demarcadas quatro transecções orientadas perpendicularmente à borda entre floresta e campo. As transecções subdivididas em quadros contíguos foram avaliadas quanto à cobertura da vegetação dos componentes superior e inferior, além da descrição de fertilidade química da porção superficial do solo. Os resultados demonstram padrões consistentes e indicam uma expansão radial dos capões sem limitações edáficas. Sem a influência dos distúrbios, os capões estariam recuperando a capacidade de expansão e apresentam um rápido processo de reestruturação interna.

Reuse-based test planning for core-based systems-on-chip

Electronic applications are currently developed under the reuse-based paradigm. This design methodology presents several advantages for the reduction of the design complexity, but brings new challenges for the test of the final circuit. The access to embedded cores, the integration of several test methods, and the optimization of the several cost factors are just a few of the several problems that need to be tackled during test planning. Within this context, this thesis proposes two test planning approaches that aim at reducing the test costs of a core-based system by means of hardware reuse and integration of the test planning into the design flow. The first approach considers systems whose cores are connected directly or through a functional bus. The test planning method consists of a comprehensive model that includes the definition of a multi-mode access mechanism inside the chip and a search algorithm for the exploration of the design space. The access mechanism model considers the reuse of functional connections as well as partial test buses, cores transparency, and other bypass modes. The test schedule is defined in conjunction with the access mechanism so that good trade-offs among the costs of pins, area, and test time can be sought. Furthermore, system power constraints are also considered. This expansion of concerns makes it possible an efficient, yet fine-grained search, in the huge design space of a reuse-based environment. Experimental results clearly show the variety of trade-offs that can be explored using the proposed model, and its effectiveness on optimizing the system test plan. Networks-on-chip are likely to become the main communication platform of systemson- chip. Thus, the second approach presented in this work proposes the reuse of the on-chip network for the test of the cores embedded into the systems that use this communication platform. A power-aware test scheduling algorithm aiming at exploiting the network characteristics to minimize the system test time is presented. The reuse strategy is evaluated considering a number of system configurations, such as different positions of the cores in the network, power consumption constraints and number of interfaces with the tester. Experimental results show that the parallelization capability of the network can be exploited to reduce the system test time, whereas area and pin overhead are strongly minimized. In this manuscript, the main problems of the test of core-based systems are firstly identified and the current solutions are discussed. The problems being tackled by this thesis are then listed and the test planning approaches are detailed. Both test planning techniques are validated for the recently released ITC’02 SoC Test Benchmarks, and further compared to other test planning methods of the literature. This comparison confirms the efficiency of the proposed methods.

Instituições de assistência social e imunidade tributária

A problemática do presente trabalho é a análise da configuração atual da Assistência Social e suas instituições no Brasil, investigando o desenvolvimento do setor e a natureza da atividade assistencial, a partir da Constituição Federal de 1988. O objetivo principal desse trabalho é analisar as desonerações tributárias referentes à assistência social e sua regulação, especificamente a questão da imunidade tributária prevista pela Constituição Federal de 1988 (no artigo 150, VI, "c"). A metodologia utilizada foi a interpretativa, através de estudo de casos e análise teórica, buscando partir das decisões do Supremo Tribunal Federal para traçar o quadro histórico da questão em termos jurisprudenciais, para compreender a assistência social no contexto atual através da análise dos casos concretos e crítica das decisões. Justifica-se por ser um tema polêmico, tanto em termos regulatórios quanto em de análise das políticas públicas pertinentes ao setor. A Assistência Social e as relações do Estado com as entidades do setor tem sido objeto de discussões recentes, pela própria expansão do setor no país. Nesse contexto, a questão da imunidade tem sido o ponto mais sensível na relação Estado-entidades assistenciais, provocando conflitos quanto à regulação do instituto, agravado em razão de legislação inadequada criada para o setor. A determinação dos limites da aplicação das normas de imunidade tributária das entidades assistenciais se justificaria por trazer maior segurança jurídica à área, beneficiando não somente o Estado, mas as entidades sérias do setor A relevância teórica das discussões sobre os limites da legislação reguladora apresenta-se pela falta de padrões normativos definidos a respeito da atuação das instituições, que devem ser analisadas a partir da Constituição Federal de 1988. A discussão do papel do Estado também se destaca aqui, através do estudo das relações entre este e os particulares, quando realizam atividades de interesse públicoTambém é relevante a análise do impacto das alterações constitucionais em matéria de regulação da assistência social, cujos conceitos ainda não se encontram adequadamente tratados nas formulações teóricas e nas decisões dos tribunais, sendo que progressivamente vão sendo incorporados, especialmente pelos tribunais. Pode-se apontar inicialmente que o Supremo Tribunal Federal historicamente oscilou em suas decisões, hora partindo de uma interpretação mais ampla e flexível, hora restringindo a aplicação da imunidade, apresentando recentemente a tendência à flexibilização e interpretação ampliativa em relação aos requisitos para sua configuração. Entretanto, o tratamento não é uniforme, observando-se a exemplo a restrição da aplicação da imunidade em relação às Entidades de Previdência Complementar Fechadas. Verifica-se também a necessidade de uma nova legislação adequada à modernização do setor, definindo de forma mais clara as restrições à aplicação da imunidade tributária em seus vários aspectos, e adequando essas restrições aos requisitos constitucionais.

Do falar quilombola à fala falquejada : um estudo de variação estilística

O objetivo deste trabalho é elucidar as atitudes lingüísticas de um líder de uma comunidade de remanescentes de quilombo, localizada no interior do estado do Rio Grande do Sul, nos domínios públicos e privados. A análise da fala de nosso informante está apoiada nas abordagens teóricas de Attention to Speech, Audience Design e Speaker Design. As gravações da fala pública e privada da fala de nosso informante foram realizadas em 2001 e 2003 em eventos sociais em sua própria comunidade. Nossas hipóteses centrais previam que nas situações de fala pública, nosso informante apresentaria níveis de concordância verbal similares aos encontrados na fala de informantes escolarizados. Previam também que nas situações de fala privada nosso informante apresentaria traços da variedade rural do português e características de crioulização prévia de seu dialeto. A análise dos resultados da fala do líder comunitário demonstra que sua variação estilística esta relacionada não só aos diferentes domínios, mas também aos seus interlocutores. Os resultados também sugerem que entre 2001 e 2003 nosso informante adquiriu traços da fala culta e do português padrão. Uma das motivações centrais para a realização deste trabalho foi a observação de que não existiam trabalhos sociolingüísticos a respeito de comunidades afro-descendentes na região sul do Brasil. Diante deste quadro, um dos objetivos deste trabalho é instigar a realização de outras pesquisas sociolingüísticas sobre esta importante parcela da população da região sul do Brasil.

Paulo Leminski : um estudo sobre o rigor e o relaxo em suas poesias

O trabalho examina a trajetória da poesia de Paulo Leminski, buscando estabelecer os termos do humor, da pesquisa metalingüística e do eu-lírico, e que não deixa de exibir traços da poesia marginal dos 70. Um autor que trabalhou com a busca do rigor concretista mediante os procedimentos da fala cotidiana mais ou menos relaxada. O esforço poético do curitibano Leminski é uma “linha que nunca termina” – ele escreveu poesias, romances, peças de publicidade, letras de música e fez traduções. Em todas suas ações, verifica-se o mesmo traço: a execução rigorosa dos ensinamentos dos faber poetas, na tradição poundiana, permeada pelo relaxo típico dos artífices marginais de um Brasil literário oscilando entre a gandaia e o rigor.

A fricativa coronal /z/ em final de morfemas no PB : uma análise pela Teoria da Otimidade

Nosso trabalho discute a realização das fricativas /s/ e /z/ na borda direita de morfemas no português brasileiro, especialmente no dialeto gaúcho, à luz do modelo standard da Teoria da Otimidade. Os dados que consideramos referem-se principalmente a prefixos, no entanto, as afirmações feitas não se limitam apenas a essa fronteira morfológica, mas também às fronteiras de outros morfemas, inclusive a de palavras, estendendo-se a qualquer coda. Nossa proposta toma como base a hipótese de que a representação subjacente da fricativa é /z/. Dão conta da realização distinta dessa fricativa na superfície as restrições de marcação contextual *[s] [+cons + voz] e *voicedcoda e a restrição de fidelidade Ident-IO ranqueadas nessa ordem. A análise mostra que é possível observar esse aspecto da fonologia do PB pela Teoria da Otimidade standard.

Estudo da viabilidade técnica da utilização de escória de aciaria elétrica micronizada como material cimentício

A compatibilização do desenvolvimento tecnológico com desenvolvimento sustentável é um dos desafios para o meio técnico-científico nos dias atuais. Dentro deste contexto, a reciclagem de resíduos, tal como a escória de aciaria elétrica, oriunda da indústria siderúrgica e que poderá ser reciclada pela indústria cimenteira, é vista como uma oportunidade de preservação de recursos naturais e do meio ambiente, uma vez que ao substituir o cimento Portland por escória micronizada, ocorrerá, principalmente, a economia de jazidas de pedra calcária, menos poluição de gás carbônico para a atmosfera, além de se evitar a estocagem em bota-foras de pilhas de escória na siderúrgica, o que pode causar, em função de um inadequado manejo ambiental, contaminação ao meio ambiente. Porém, um dos desafios tecnológicos da utilização da escória de aciaria elétrica como material cimentício é a sua expansibilidade. Esta pesquisa tem como objetivo estudar a viabilidade técnica da utilização da escória de aciaria elétrica micronizada como material cimentício, obtido através do processo de moagem por micronização, visando garantir a estabilização da escória em relação ao fenômeno de expansão, bem como melhorias nas características do resíduo Principalmente através dos ensaios de granulometria a laser e de avaliação de expansão, ficou evidenciado que a moagem da escória de aciaria elétrica pelo processo de micronização garantiu a sua estabilidade. Foram estudadas argamassas de traços 1 : 1,5, 1 : 3,0 e 1 : 4,5 com substituição de 0%, 10% e 34% de cimento Portland por escória de aciaria elétrica micronizada. Em relação à resistência mecânica à compressão, o desempenho apresentado pelas argamassas que utilizaram a escória de aciaria elétrica micronizada foram inferiores às argamassas de referência, porém os resultados encontrados nos ensaios são satisfatórios para atender às exigências de um cimento Portland Em relação aos aspectos de durabilidade, foram avaliados o desempenho em relação à absorção de água e à penetração de íons cloretos. Para a propriedade de absorção de água, a substituição nos mesmos traços de argamassas e teores de escória de aciaria elétrica micronizada mencionadas anteriormente, os resultados obtidos apresentaram desempenho superior às argamassas de referência. Do ponto de vista de penetração íons cloretos (ASTM C 1202, 1997), verifica-se que para os traços mais pobres (1 : 3,0 e 1 : 4,5) e que requerem respectivamente maiores relações água/aglomerantes, a adição de escória de aciaria elétrica micronizada ao CPV ARI RS nos teores de 10% e 34%, respectivamente, é o principal fator que contribui para o aumento da carga passante das argamassas e consequentemente a redução da capacidade de resistir à penetração de íons cloretos. Já para o traço mais rico (1 : 1,5) que requer menor relação água/aglomerante, a adição de escória de aciaria elétrica micronizada ao CPV ARI RS, no teor de 10%, é o principal fator que contribuiu para a diminuição da carga passante, em relação à argamassa referência, consequentemente aumentando a capacidade da argamassa de resistir à penetração de íons cloretos. Para o teor de substituição de 34% de escória de aciaria elétrica micronizada ao CPV ARI RS, houve aumento da carga passante de 16,72% em relação à argamassa referência. De acordo com os critérios da ASTM C 1202, a substituição de 10% e 34% de escória de aciaria elétrica micronizada ao CPV ARI RS, classificou o traço 1 : 1,5 e os traços 1 : 3,0 e 1 : 4,5, respectivamente, como sendo de moderada e de elevada penetração de íons cloretos.

A alternância entre ditongo crescente e hiato em português : uma análise otimalista

Nosso objetivo nesta dissertação é verificar como se dá a realização de seqüências de segmentos vocálicos de sonoridade crescente em português, mais especificamente em sua variedade falada em Porto Alegre. Para tal, nosso corpus é formado, principalmente, por entrevistas do banco de dados do projeto VARSUL. Fazem parte deste corpus 24 informantes, com escolaridade entre o Ensino Fundamental e o Médio e com idades que variam entre os 20 e os 60 anos. A partir destes dados, fazemos nossa análise, que possui como referencial teórico a Teoria da Otimidade, proposta por Prince e Smolensky (1993) e McCarthy e Prince (1993). Esta proposta de análise tem como base a pesquisa realizada por Cabré e Prieto (2004) com relação ao catalão. Através das semelhanças e diferenças entre as duas línguas, foi possível estabelecer a hierarquia de restrições responsáveis pela realização das seqüências em questão em português. É importante destacar que há variação entre ditongo crescente e hiato tanto em português como em catalão. Nossa pesquisa, entretanto, bem como a de Cabré e Prieto, toma os resultados obtidos como categóricos. Com relação à nossa proposta de análise, acreditamos que esta pode ser um instrumento a partir do qual se construa o tratamento da variação em um trabalho futuro.

Análise econômica e jurídica da adoção de acordos de exclusividade entre fabricantes e revendedores

Este trabalho trata de cláusulas de exclusividade em contratos de distribuição estabelecidos entre fabricantes e revendedores e de sua interpretação perante as leis de defesa da concorrência. O conhecimento dos objetivos e da evolução nas interpretações das legislações antitruste nos Estados Unidos, Europa e Brasil, possibilitou o entendimento e a comparação dos principais métodos de análise da legalidade dos acordos de exclusividade. Por outro lado, o estudo da teoria econômica e a análise de casos práticos sobre o respectivo assunto permitiram a sistematização dos potenciais efeitos anti e pró-competitivos decorrentes da adoção deste tipo de prática restritiva e dos fatores que atuam reduzindo ou intensificandoos. Enquanto na Europa a sistemática de análise de condutas anticompetitivas, em acordos de fornecimento e distribuição, baseia-se em uma série de abordagens per se, seguida do cálculo da quota de mercado, nos Estados Unidos e no Brasil as correspondentes sistemáticas concentram-se na constatação do poder de mercado e na subseqüente utilização da “regra da razão” visando a ponderação entre as restrições e as eficiências geradas à concorrência. As cláusulas de exclusividade, ao possibilitarem a proteção aos investimentos do fabricante e promoverem o estímulo aos esforços de venda dos distribuidores, atuam incentivando a prestação de serviços especiais em conjunto à comercialização de produtos físicos, o que pode determinar a promoção da competição inter e intramarcas.

Um modelo de resolução para o problema de roteirização em arcos com restrição de capacidade

Os Problemas de Roteirização em Arcos constituem uma classe dos Problemas de Roteirização de Veículos, nos quais as demandas ocorrem de maneira contínua ao longo dos segmentos de uma rede de transporte. O campo de aplicação dos Problemas de Roteirização em Arcos abrange o planejamento da operação de serviços como a coleta de lixo; a entrega de correspondência e de jornais; a leitura de medidores de energia elétrica, água e gás; e o transporte escolar por ônibus. Nas situações de ordem prática é comum a ocorrência de restrições operacionais que impossibilitam o atendimento de todas as demandas existentes em uma rede de transporte por um único veículo ou pessoa. Desse modo, além da seqüência de percurso, é necessário determinar o conjunto de segmentos de via que cada unidade de trabalho pertencente a uma frota ou equipe de serviço deve atender. Este trabalho apresenta os aspectos conceituais e resolutivos dos Problemas de Roteirização em Arcos e do Problema do Particionamento de Redes de Transporte. É feita também a proposição de um modelo de resolução, desenvolvido a partir da estratégia de agrupar primeiro – roteirizar depois, para o Problema de Roteirização em Arcos Capacitado descrito em grafos não orientados. A demonstração do modelo é feita através de sua aplicação em um estudo de caso. São feitas, a seguir, a análise do desempenho do modelo nesta aplicação e a comparação entre os resultados obtidos e a prática atualmente utilizada, a qual é baseada na experiência de um planejador.

Desenvolvimento de um método de melhoria do processo logístico de uma empresa prestadora de serviços de distribuição de energia elétrica pela identificação de gargalos e avaliação dos custos das atividades desenvolvidas

Resumo não disponível.