Análise da distribuição de um simulador multinível

A validação de projetos de sistemas eletrônicos pode ser feita de diversas maneiras, como tem sido mostrado pelas pesquisas em síntese automática e verificação formal. Porém, a simulação ainda é o método mais utilizado. O projeto de um sistema digital típico pode ser desenvolvido em diversos níveis de abstração, como os níveis algorítmico, lógico ou analógico. Assim, a simulação também deve ser executada em todos esses níveis. A simulação apresenta, contudo, o inconveniente de não conseguir conciliar uma alta acuracidade de resultados com um baixo tempo de simulação. Quanto mais detalhada é a descrição do circuito, maior é o tempo necessário para simulá-lo. O inverso também é verdadeiro, ou seja, quanto menor for a acuracidade exigida, menor será o tempo dispendido. A simulação multinível tenta conciliar eficiêencia e acuracidade na simulação de circuitos digitais, propondo que partes do circuito sejam descritas em diferentes níveis de abstração. Com isso, somente as partes mais críticas do sistema são descritas em detalhes e a velocidade da simulação aumenta. Contudo, essa abordagem não é suficiente para oferecer um grande aumento na velocidade de simulação de grandes circuitos. Assim, surge como alternativa a aplicação de técnicas de processamento distribuído à simulação multinível. Os aspectos que envolvem a combinação dessas duas técnicas são abordados nesse trabalho. Como plataforma para os estudos realizados, optou-se por usar duas ferramentas desenvolvidas nessa Universidade: os simuladores do Sistema AMPLO e o Sistema Operacional HetNOS. São estudadas técnicas de sincronização em sistemas distribuídos, fundamentais para o desenvolvimento dos simuladores e, finalmente, são propostas alternativas para a distribuição dos simuladores. É realizada, ainda, uma análise comparativa entre as versões propostas.

Inovações na produção de estoques residenciais e a formação de padrões na sua distribuição em uma área de Porto Alegre

O trabalho inicia com uma revisão de fenômenos em que a estrutura dos usos do solo urbano, marcada por diferenciação residencial, é definida pelo exercício de preferências de localização. Diversos modelos de escolha são abordados, verificando-se sua relevância e possibilidade de aplicação a contextos de decisão de localização residencial. Os processos de acumulação de capital no ambiente construído, enquanto determinados estruturalmente mas, também, como conseqüência de decisões locais, são apontados, bem como os agentes responsáveis por sua promoção. Como elemento metodológico, os conceitos de centralidade, externalidades de vizinhança, convenção urbana, inovação e imitação espacial, aglomeração e padrões espaço-temporais são articulados. A aplicação desses conceitos a uma situação real é buscada na cidade de Porto Alegre, delimitando- se uma área de estudo, a qual tem sido destino de deslocamento de demanda por habitação, resultando em intensa produção de estoques residenciais e, em conseqüência, no aumento da densidade e da taxa de ocupação do solo. Tais estoques, produzidos ao longo das últimas duas décadas, aproximadamente, são descritos e enquadrados como resultantes de um processo no qual um sistema auto-organizado, composto por estoques e agentes, busca produzir e reproduzir padrões de diferenciação residencial. As implicações para o planejamento urbano das decisões de localização e de produção de estoques residenciais, realizadas por um grande número de agentes privados, são apresentadas. Ao final, são feitas recomendações para a continuidade da pesquisa, no sentido de poderem ser realizadas descrições mais abrangentes e precisas do fenômeno estudado.

O desdobramento de uma atitude teórica em relação à linguagem - contriuições empíricas e teóricas para a educação lingüística fundamentadas na Teoria Dialética da Atividade

Este trabalho tem como objetivo investigar a existência de uma atitude teórica com relação à língua em estudantes das Ciências da Linguagem, com o propósito de dar-lhes orientação para que desdobrem sua relação empírica em uma relação teórica com as línguas e com as Ciências da Linguagem. O referencial teórico utilizado tem como base: a Teoria Histórico-Cultural da Atividade (VYGOTSKY, LEONTJEV, LURIA, DAVYDOV, COLE, ERGESTRÖM), a Teoria Bildung – Teoria do Auto-Desenvolvimento Humano (HUMBOLDT, PESTALOZZI, FRÖBEL, KLAFKI) – e a Teoria de Sistemas Evolucionários (mais conhecida através de subteorias como a Teoria do Caos, Geometria Fractal ou Sistema Dinâmico Não-linear – JANTSCH, JUDIN, PRIGOGINE, HAREN, MANDELBOT, FEIGENBAUM, entre outros). O primeiro resultado desta pesquisa é a construção de instrumentos de investigação fundamentados em: (1) uma metodologia baseada na Lógica Dialética para operações heurísticas com conceitos pares; (2) uma Heurística Intradisciplinar para formação de sistemas em Ciências da Linguagem; (3) um projeto de um Experimento Educacional com participantes “ideais”. O segundo resultado expõe as conseqüências da concretização do Experimento Educacional com sete estudantes de Letras da Fundação Universidade Federal de Rio Grande (FURG), num período intermitente de dois anos. Os principais resultados verificados foram que: (1) esses estudantes de Letras possuem um conhecimento tácito sobre teorias lingüísticas; (2) a Heurística Intradisciplinar é um meio produtivo para aprimorar o conhecimento e a habilidade para formação de sistemas auto-refletidos nas Ciências da Linguagem; (3) o uso de Multimídia é uma ferramenta produtiva para criar sistemas complexos interativos; (4) a utilização do Experimento Educacional proporcionou o desencadeamento da iniciação científica dos estudantes do projeto.

Primitivas para suporte à distribuição de objetos direcionados à pervasive computing

Renovados são os desa os trazidos à computação distribuída pelos recentes desenvolvimentos nas tecnologias de computação móvel. Tais avanços inspiram uma perspectiva na qual a computação tornar-se-á uma entidade ubíqua em um futuro próximo, estando presente nas mais simples atividades do dia-a-dia. Esta perspectiva é motivadora das pesquisas conduzidas no escopo do projeto ISAM, as quais investigam as questões relativas ao uso da computação em ambientes móveis de larga escala. Neste trabalho é apresentado o sistema PRIMOS (PRIMitives for Object Scheduling), o qual busca, pela complementação da plataforma Java, satisfazer as emergentes necessidades do ISAM. Especi camente, o PRIMOS constitui um conjunto de primitivas para instanciação remota e migração de objetos, comunicação e monitoração, direcionadas a um ambiente de computação distribuída de larga escala de características pervasivas. A primitiva de instanciação remota disponibilizada pelo PRIMOS aumenta a plataforma Java padrão com a possibilidade de criar e ativar objetos em nodos remotos do sistema. Por sua vez, a primitiva de migração faculta a relocação de objetos. A consecu- ção de tais semânticas tem como sub-produto a de nição de semânticas para ativação e desativação de objetos, assim como para captura e restauração de contexto de execução. Sob a perspectiva da comunicação, o PRIMOS de ne um esquema de endereçamento independente de protocolo de transporte, assim como uma interface neutra para acesso às facilidades de comunicação. A integração destas funcionalidades ao mecanismo de invocações remotas da plataforma Java, o RMI, permite a desvinculação deste da pilha TCP/IP. Por conseguinte, habilita a adoção de transportes otimizados ao hardware de comunicação disponibilizado pelo sistema. No que se refere à monitoração, o PRIMOS de ne um esquema exível e extensível baseado em sensores. A exibilidade vem principalmente da possibilidade dos sensores terem seus parâmetros de operação recon gurados a qualquer momento em resposta a novas necessidades do sistema. Por outro lado, o sistema é extensível pois o conjunto de sensores básicos, ditos nativos, pode ser aumentado por sensores providos pela aplicação. Com intuito de validar as idéias postuladas, um protótipo foi construído para o sistema. Sobre este, baterias de testes foram realizadas para cada uma das primitivas constituintes do PRIMOS.

Estruturação de um sistema de medidas de desempenho : um estudo de múltiplos casos em empresas do setor de distribuição

A mensuração do desempenho organizacional é um assunto que tem sido muito estudado nos anos mais recentes, sendo esta uma preocupação tanto acadêmica quanto dos executivos de negócio. Foram feitos diversos estudos sobre o tema, uma vez que tais estudos foram elaborados obedecendo aos critérios exigidos no contexto. Desta forma, a presente pesquisa buscou encontrar elementos de apoio à estruturação de um Sistema de Medidas de Desempenho que seja reconhecido como de vital importância enquanto ferramenta auxiliar para a tomada de decisões. Estes elementos surgiram através da análise do processo de planejamento estratégico, uma vez que é a partir deste processo que se baseia a estruturação do sistema. Através do método de estudo de múltiplos casos, a presente pesquisa estudou duas empresas do setor de distribuição. A primeira destas estava em uma etapa inicial do processo de estruturação, onde, durante esta formulação, predomina o empirismo; e a segunda, em sua etapa final, o que permitiu a realização da pesquisa com uma visão deste processo de estruturação em suas diferentes etapas. Os resultados da pesquisa trazem à luz a relevância dos elementos culturais e ambientais para a estruturação de um Sistema de Medidas de Desempenho. Do mesmo modo, estes resultados destacam a importância de se executar os princípios de gestão estratégica durante a operacionalização deste sistema. Como produto final desta pesquisa, é apresentado um modelo de estruturação de um Sistema de Medidas de Desempenho para empresas do setor de distribuição, cujos principais elementos são os de Política e Cultura Organizacional, de Ambientes Externo e Interno, de Estratégia, de Objetivos Estratégicos e de Princípios de Gestão.

Dinamicização da distribuição do ônus da prova no processo civil brasileiro

Esta dissertação tem como objetivo principal analisar o cabimento, no direito processual brasileiro, de uma distribuição dinâmica das regras do ônus da prova. Na primeira parte, são analisados o conceito, o objeto e a finalidade da prova, com apontamento da distinção entre fontes e meios. Após, são estudados o conceito de ônus da prova e sua distinção da obrigação, dando ênfase aos seus aspectos objetivo e subjetivo e às principais teorias, antigas e modernas, que tratam dos critérios para a distribuição do ônus da prova. Estudou-se, em seguida, os principais fenômenos relacionados ao ônus da prova, quais sejam a distribuição, cuja regra geral está no art. 333 do CPC, e a redistribuição como gênero, tendo com espécies a redistribuição strictu sensu, cabível em casos de probatio diabolica e em excepcionais casos em que a prova se apresenta difícil por fatores externos ao processo, e a inversão, cujo exemplo, no direito pátrio, é o art. 6o, inc. VIII, do CDC. Na segunda parte do trabalho, são apresentadas duas novas teorias sobre a distribuição do ônus da prova: a visão solidarista do ônus da prova e a teoria dinâmica dos ônus probatórios. Por fim, ante a necessidade de flexibilização das atuais regras gerais de distribuição do ônus da prova e, ao mesmo tempo, controle do excessivo subjetivismo judicial, analisa-se o cabimento da aplicação da teoria dinâmica no direito brasileiro, apontando-se os parâmetros para a decisão judicial que a aplique. Do estudo, concluiu-se que o direito processual brasileiro admite a aplicação da teoria dinâmica dos ônus probatórios em face da incidência do princípio da igualdade, dos poderes instrutórios do juiz e do dever de lealdade, boa-fé e colaboração das partes. Concluiuse, ainda, que embora possa acontecer em momento diverso, o momento mais oportuno para a ocorrência da redistribuição do ônus da prova é a audiência preliminar, não podendo se verificar, em nenhuma hipótese, surpresa às partes, sob pena de ferimento ao princípio do contraditório. Quanto à decisão judicial que aplica a teoria dinâmica, deve esta levar em conta que tal aplicação é de caráter excepcionalíssimo, devendo ser bem fundamentada.

Distribuição e conservação do macaco-prego (Cebus nigritus - Goldfuss, 1809) e documentação do conhecimento ecológico local na região do Parque Estadual de Itapeva e arredores, Rio Grande do Sul e Santa Catarina, Brasil

A falta de informações sobre a distribuição e status do macaco-prego (Cebus nigritus) no Estado do Rio Grande do Sul e Santa Catarina, Brasil, dificulta os trabalhos de conservação da espécie. Estudos sobre as relações das populações humanas locais com os animais silvestres são raros, porém interessantes, pois através destes estudos torna-se possível reconhecer o conhecimento e as atitudes dessas populações frente a estes animais. O presente estudo visa contribuir com informações sobre a distribuição de C. nigritus e o conhecimento ecológico local sobre a mastofauna na região do Parque Estadual de Itapeva (PEVA) e arredores, Rio Grande do Sul e Santa Catarina, Brasil. De junho de 2004 a fevereiro de 2006, foram realizadas entrevistas e coletados relatos da população residente no entorno de 36 fragmentos, os quais indicaram: a) presença de C. nigritus em 20 fragmentos; b) ausência do mesmo em 16; c) captura, caça e suplementação alimentar como principais atividades humanas afetando a espécie. De outubro de 2004 a fevereiro de 2006, foram realizadas expedições a campo, nas quais a presença da espécie foi confirmada em 13 fragmentos e o fornecimento de alimentação de origem antrópica foi registrado em dois destes. A interação de C. nigritus com cultivos foi citada por moradores para sete fragmentos, porém não se obteve o registro da mesma em nenhum deles. Oito métricas relacionadas à área, forma, isolamento e matriz dos 36 fragmentos foram analisadas. Para três dessas métricas (área, índice da forma e índice de proximidade) a diferença entre fragmentos onde a espécie está presente e fragmentos onde está ausente foi significativa. A análise multivariada das oito medidas também apresentou diferença significativa entre esses dois grupos de fragmentos. A dinâmica de sobrevivência de C. nigritus na região estudada é complexa e provavelmente a manutenção de suas populações seja dependente do conjunto de fragmentos na paisagem, sendo possível que as mesmas constituam uma metapopulação. Através de visitas a instituições mantenedoras de C. nigritus em cativeiro no Rio Grande do Sul e de informações obtidas através de instrumentos de mídia popular e de divulgação científica, foi realizado um levantamento sobre: a) condições oferecidas em cativeiro; b) ações, em nivel regional, de apreensão e soltura por órgãos de fiscalização ambiental. As principais deficiências nas condições de cativeiro foram a dieta oferecida, a superlotação e a falta de enriquecimento ambiental nos recintos. Parece comum a relocação, sem planejamento e monitoramento, por instituições mantenedoras e órgãos de fiscalização ambiental. Com relação ao conhecimento da população local sobre a mastofauna da região do PEVA e arredores, os resultados revelaram que a comunidade analisada sabe reconhecer as espécies que compunham e/ou ainda compõem a mastofauna local e possui alguns conhecimentos a respeito da biologia geral destes animais. Ainda, as entrevistas e relatos demonstraram que a situação de ocorrência e abundância dessas espécies, no passado e no presente, está relacionada à: pressão de caça, pressão de captura, destruição do habitat e construção da rodovia RS-389. Assim sendo, atividades cruciais para um programa de conservação das populações remanescentes da fauna silvestre incluem: a) o desenvolvimento de ações de educação ambiental na região do PEVA e arredores; b) a revisão do status regional de conservação de C. nigritus; c) a criação e manutenção de unidades de conservação e corredores ecológicos; d) a inibição eficaz do comércio ilegal de animais silvestres; e) a capacitação dos agentes fiscalizadores dos órgãos ambientais para a realização adequada de relocações. Ainda, ressalta-se a importância de considerar os conhecimentos da população humana local no planejamento de ações conservacionistas como passo fundamental para que estas obtenham sucesso.

Localização de faltas de alta impedância em sistemas de distribuição de energia : uma metodologia baseada em redes neurais artificiais

O presente trabalho apresenta uma nova metodologia de localização de faltas em sistemas de distribuição de energia. O esquema proposto é capaz de obter uma estimativa precisa da localização tanto de faltas sólidas e lineares quanto de faltas de alta impedância. Esta última classe de faltas representa um grande problema para as concessionárias distribuidoras de energia elétrica, uma vez que seus efeitos nem sempre são detectados pelos dispositivos de proteção utilizados. Os algoritmos de localização de faltas normalmente presentes em relés de proteção digitais são formulados para faltas sólidas ou com baixa resistência de falta. Sendo assim, sua aplicação para localização de faltas de alta impedância resulta em estimativas errôneas da distância de falta. A metodologia proposta visa superar esta deficiência dos algoritmos de localização tradicionais através da criação de um algoritmo baseado em redes neurais artificiais que poderá ser adicionado como uma rotina adicional de um relé de proteção digital. O esquema proposto utiliza dados oscilográficos pré e pós-falta que são processados de modo que sua localização possa ser estimada através de um conjunto de características extraídas dos sinais de tensão e corrente. Este conjunto de características é classificado pelas redes neurais artificiais de cuja saída resulta um valor relativo a distância de falta. Além da metodologia proposta, duas metodologias para localização de faltas foram implementadas, possibilitando a obtenção de resultados comparativos. Os dados de falta necessários foram obtidos através de centenas de simulações computacionais de um modelo de alimentador radial de distribuição. Os resultados obtidos demonstram a viabilidade do uso da metodologia proposta para localização de faltas em sistemas de distribuição de energia, especialmente faltas de alta impedância.

Resistência ao cisalhamento de solos não saturados : análise experimental e teórica

Um equipamento triaxial convencional originalmente utilizado para ensaios em amostras de solos saturados saturada foi modificado para que fosse possível a realização de ensaios triaxiais em solos não saturados. As principais modificações foram a instalação de uma pedra cerâmica de alto valor de entrada de ar (300 kPa) na nova base da câmara triaxial e uma nova linha de aplicação de pressão para aplicação de pressão de ar na amostra. A técnica de translação de eixos é utilizada para evitar cavitação no sistema de aplicação de pressão. O solo estudado nesta pesquisa consiste de um colúvio de arenito localizado nas encostas da Formação Serra Geral, entre os municípios de Timbé do Sul (SC) e São José dos Ausentes (RS). Ensaios triaxiais convencionais foram realizados nas condições drenado e não drenado em amostras indeformadas para tensões de confinamento iniciais variando de 50 até 500 kPa; ensaios triaxiais convencionais foram realizados na condição drenada em amostras remoldadas para as tensões de confinamento iniciais de 50, 100 e 200kPa. Ensaios triaxiais com sucção controlada foram realizados na condição drenado em amostras indeformadas para as tensões normais líquidas de 50, 100, 150 e 200 kPa em níveis de sucção variando de 25 até 150 kPa. A partir dos resultados dos ensaios triaxiais determinou-se os parâmetros de resistência ao cisalhamento: c’ – intercepto coesivo efetivo; f´ - ângulo de atrito interno efetivo; fb – ângulo de atrito interno que quantifica a contribuição da sucção na resistência ao cisalhamento. O comportamento encontrado foi de uma envoltória de resistência ao cisalhamento não saturada bilinear com acréscimo na resistência ao cisalhamento para baixos níveis de sucção até aproximadamente 75 kPa, e após um decréscimo na resistência ao cisalhamento. A tensão normal líquida não influencia no valor de fb e a sucção não provoca alteração no valor de f´. O valor de fb apresenta valores superiores ao valor de f´, quando se utiliza o critério de ruptura clássico de resistência ao cisalhamento. Alguns critérios de determinação dos valores máximos de ruptura foram aplicados para um melhor entendimento do comportamento resistente deste material.

Relações entre barreiros e a fauna de vertebrados no nordeste do Pantanal, Brasil

Os barreiros são áreas de depressões, com pouca cobertura vegetal e solos úmidos, visitadas por muitos animais. O consumo de solo (geofagia) nestes locais é reconhecido para várias espécies de vertebrados em diversas regiões do mundo, sugerindo que os barreiros sejam importantes componentes do hábitat desses organismos. Na Amazônia e no Pantanal, estes lugares são muito procurados por populações humanas tradicionais para a caça. Assim, o conhecimento sobre o uso destas áreas pela fauna é importante para o delineamento de estratégias conservacionistas. A intensidade e horários preferenciais de uso de oito barreiros por vertebrados foram avaliados através de armadilhas fotográficas na Reserva Particular do Patrimônio Natural SESC-Pantanal, nordeste do Pantanal brasileiro. As amostragens foram realizadas durante as estações seca e cheia do ano de 2005. Durante 7375 horas de amostragem, foram registradas 24 espécies de mamíferos, 11 de aves e 2 de répteis utilizando os barreiros de alguma forma. Em 14 destas espécies a geofagia foi documentada, sendo a forma de uso predominante. Este comportamento foi registrado para a cutia (Dasyprocta azarae), o bugio-preto (Alouatta caraya), ungulados (Tayassu pecari, Tapirus terrestris, Pecari tajacu, Sus scrofa, Mazama americana e M. gouazoubira), cracídeos (Penelope ochrogaster, Pipile pipile, Crax fasciolata e Ortalis canicolis) e pombas (Leptotila sp. e Claravis pretiosa). Carnívoros, como a onça-parda (Puma concolor) e a jaguatirica (Leopardus pardalis), visitam estas áreas provavelmente devido à grande concentração de presas. O queixada (T. pecari) e a anta (T. terrestris) foram as espécies que mais utilizaram os barreiros. Os horários preferenciais de uso, em geral, são semelhantes aos padrões de atividade conhecidos para as espécies. A composição de espécies e intensidade de uso foram diferentes entre os barreiros avaliados e entre as estações. Barreiros pequenos apresentaram menor riqueza de espécies e índice de uso mais baixo, parâmetros que foram mais altos na seca em comparação à estação cheia. Diversos fatores, relativos aos barreiros e/ou aos organismos envolvidos, podem estar associados a estas variações. Fatores como tamanho dos barreiros, composição química e estrutural do solo, composição e arranjo da paisagem de entorno, relações dos organismos com esta paisagem e relações intra e interespecíficas podem estar atuando isoladamente ou em sinergismo. Uma das espécies mais freqüentes nos barreiros foi a anta (T. terrestris), um ungulado capaz de responder à heterogeneidade de paisagens em um amplo espectro de escalas. Análises foram realizadas com o objetivo de avaliar se os barreiros, unidades de hábitat em uma escala refinada, são importantes elementos na paisagem para a predição da distribuição local dessa espécie na área da RPPN SESC-Pantanal. Correlações entre a intensidade de uso de oito barreiros por T. terrestris e a composição da paisagem de entorno em diferentes escalas foram realizadas. As probabilidades de ocorrência de antas, obtidas através de um modelo de distribuição potencial a partir da composição da paisagem em áreas de diferentes tamanhos centradas nos barreiros, também foram correlacionadas com a intensidade de uso dos barreiros pela espécie. Áreas com composição da paisagem similar apresentaram diferentes intensidades de uso dos barreiros e locais com reduzida probabilidade de ocorrência de antas apresentaram elevada intensidade de uso, indicando que os barreiros são unidades discretas da paisagem relevantes para a geração de modelos de ocorrência potencial de T. terrestris na região. Considerando estes resultados, os barreiros no nordeste do Pantanal podem ser reconhecidos como importantes unidades de hábitat para diversas espécies de vertebrados. Estratégias conservacionistas locais e regionais, como o zoneamento da RPPN SESC-Pantanal e projetos de manejo e sustentabilidade de caça em reservas extrativistas, devem considerar estas informações para uma maior efetividade.