Modelos para o mapeamento de aplicações em infra-estruturas de comunicação intrachip

O projeto de sistemas intrachip (SoCs) é uma atividade de alto grau de complexidade, dados a dimensão de SoCs, na ordem do bilhão de transistores, os requisitos de tempo de desenvolvimento e de consumo de energia, entre outros fatores. A forma de dominar a complexidade de projeto de SoCs inclui dividir a funcionalidade do sistema em módulos de menor complexidade, denominados de núcleos de propriedade intelectual (núcleos IP), interligados por uma infra-estrutura de comunicação. Enquanto núcleos IP podem ser reusados de outros projetos ou adquiridos de terceiros, a infra-estrutura de comunicação deve sempre ser desenvolvida de forma personalizada para cada SoC. O presente trabalho volta-se para o projeto de infraestruturas de comunicação eficientes. Questões importantes neste contexto são a eficiência da comunicação, refletida e.g. em medidas de vazão e latência, a redução de área de silício para implementar a comunicação, e a redução da energia consumida na comunicação. Estas questões dependem da escolha da infra-estrutura de comunicação. Barramentos são as infra-estruturas mais usadas nas comunicações intrachip, mas têm sido consideradas como pouco adequadas para servir a necessidade de comunicação de SoCs futuros. Redes intrachip vêm emergindo como um possível melhor candidato. Nesta infra-estrutura de comunicação, um problema a ser resolvido é o posicionamento relativo de núcleos IP dentro da rede, visando otimizar desempenho e reduzir o consumo de energia, no que se denomina aqui problema de mapeamento. Dada a complexidade deste problema, considera-se fundamental dispor de modelos para capturar as características da infra-estrutura de comunicação, bem como da aplicação que a emprega A principal contribuição deste trabalho é propor e avaliar um conjunto de modelos de computação voltados para a solução do problema de mapeamento de núcleos de propriedade intelectual sobre uma infra-estrutura de comunicação. Três modelos são propostos (CDM, CDCM e ECWM) e comparados, entre si e com três outros disponíveis na literatura (CWM, CTM e ACPM). Embora os modelos sejam genéricos, os estudos de caso restringem-se aqui a infra-estruturas de comunicação do tipo rede intrachip. Dada a diversidade de modelos de mapeamento, propõe-se uma segunda contribuição, o metamodelo Quantidade, Ordem, Dependência (QOD), que relaciona modelos de mapeamento usando os critérios expressos na denominação QOD. Considerando o alto grau de abstração dos modelos empregados, julga-se necessário prover uma conexão com níveis inferiores da hierarquia de projeto. Neste sentido, uma terceira contribuição original do presente trabalho é a proposta de modelos de consumo de energia e tempo de comunicação para redes intrachip. Visando demonstrar a validade de todos os modelos propostos, foram desenvolvidos métodos de uso destes na solução do problema de mapeamento, o que constitui uma quarta contribuição. Estes métodos incluem algoritmos de mapeamento, estimativas de tempo de execução, consumo de energia e caminhos críticos em infra-estruturas de comunicação. Como quinta contribuição, propõe-se o framework CAFES, que integra os métodos desenvolvidos e os modelos de mapeamento em algoritmos computacionais. Uma última contribuição do presente trabalho é um método habilitando a estimativa de consumo de energia para infra-estruturas de comunicação e sua implementação como uma ferramenta computacional.

Aplicação de sensoriamento remoto orbital no mapeamento de unidades vulcano-sedimentar no Platô da Ramada, Vila Nova do Sul, RS

Os produtos de sensoriamento remoto gerados pelos novos sensores orbitais, aliados ao desenvolvimento de sistemas computacionais e de técnicas de processamento de imagens possibilitam a manipulação numérica das imagens, visando o realce de informações de interesse para a interpretação visual ou automática. O uso dessas técnicas traz boas perspectivas no mapeamento geológico básico, pois possibilita uma visão sinóptica de amplas áreas e a integração de dados litológicos e estruturais de várias fontes. Este trabalho selecionou as imagens do sensor ASTER (Advanced Spaceborne Thermal Emission and Reflection Radiometer) devido as características de suas resoluções espectral e espacial, como as mais promissoras para identificação dos diferentes litotipos da área do Platô da Ramada, em especial as unidades vulcânicas e hipabissais relacionadas e sedimentares subjacentes. O Platô da Ramada, região de Vila Nova do Sul (RS) constitui uma feição geomorfológica de destaque na área, facilmente identificável nas imagens orbitais, sendo formado por uma seqüência vulcânica caracterizada por depósitos efusivos e piroclásticos, de composição dominantemente ácida. Representa uma fração significativa do magmatismo alcalino sódico neoproterozóico no Escudo Sul-rio-grandense e marca um dos ciclos vulcânicos do período pós-colisional do Ciclo Brasiliano Este estudo testou e avaliou diversos processamentos das imagens multiespectrais para diferenciação litológica, a identificação de alvos e a definição de morfoestruturas da área do Platô da Ramada. A integração de dados geológicos existentes com os produtos obtidos neste estudo possibilitou novas informações anexadas ao mapa geológico utilizado como verdade terrestre. O processamento utilizando a técnica de Transformação por Componentes Principais Seletivas proporcionou os melhores resultados realçando diferenças espectrais existentes entre as rochas vulcânicas e hipabissais e as rochas sedimentares. A partir dessa técnica, selecionou-se as imagens CP2 dos pares das bandas 4-5 (R), 3-4 (G) e 8-9 (B) na geração de uma composição colorida. Esta imagem permitiu a diferenciação espectral entre as rochas vulcânicas do Platô da Ramada e as rochas sedimentares do Grupo Maricá, bem como a individualização, no Grupo Maricá, de duas subunidades, levando-se em conta a densidade de intrusões de diques riolíticos ao norte da área. Identificou-se, ainda, um corpo diorítico com forma elíptica na borda SW do Platô da Ramada, não registrado anteriormente.

Metodologia de mapeamento aéreo com fotografias de pequeno formato aplicadas no planejamento e gerenciamento de unidades de consevação

Esta dissertação propõe o desenvolvimento de uma metodologia de obtenção de fotografias aéreas, com a finalidade de mapear áreas selvagens amparadas legalmente e administradas pelo governo federal do Brasil. O objetivo final foi o de vir a ser uma ferramenta de mapeamento dessas áreas para o seu planejamento e gerenciamento, com uma metodologia simples e de baixo custo. O sistema para a obtenção das aerofotos emprega as fotografias obtidas com máquinas de 35 mm e aeronaves de asa alta e ampla visibilidade, próprias para reconhecimento aéreo. Emprega ainda um aparelho, com alguns acessórios, construído especialmente para proporcionar o máximo de verticalidade possível das aerofotos em relação ao solo, além de navegação por GPS, procurando eliminar assim distorções ocasionadas por giros e desvios da aeronave leve e melhorando o desempenho da montagem das aerofotos em um mosaico digital. O produto final a ser obtido é um mosaico de fotografias aéreas, georreferenciado, e que serve de base para a elaboração de diversos tipos de mapas temáticos da área protegida, contendo elementos que possam satisfazer as exigências técnicas requeridas pelo levantamento. Além disso, ficam disponibilizadas as aerofotos em pares estereoscópicos de altíssima resolução, para observações mais detalhadas dos diversos elementos no solo. Embora as imprecisões, procurou-se proporcionar uma base de mapeamento georreferenciado através do uso de GPS em pontos de controle no campo, correção destas informações através de técnicas expeditas de DGPS e correção geométrica do mosaico de aerofotos. O resultado final pode ser considerado bastante satisfatório e a metodologia passível de utilização no cumprimento dos objetivos a que se propõe, para o gerenciamento, planejamento e monitoramento de unidades de conservação de uso indireto federais, estaduais e municipais .

Mapeamento das necessidades dos portadores de deficiência física do munípio de Blumenau (SC), através do design macroergonômico

Essa dissertação trata do mapeamento das necessidades dos portadores de deficiência física do município de Blumenau (SC) e da confrontação das mesmas com as ações das Secretarias da Prefeitura Municipal de Blumenau. Foram identificados quantos são os portadores de deficiência física deste município, mapeadas e priorizadas suas necessidades. O estudo utilizou a ferramenta Design Macroergonômico (FOGLIATTO e GUIMARAES, 1999) e foi realizado na Associação Blumenauense de Deficientes Físicos – ABLUDEF. A acessibilidade destaca-se como a principal necessidade para os portadores de deficiência física, além de mais linhas com ônibus adaptados para o transporte coletivo urbano de Blumenau - SC. Ficou claro também que as ações das secretarias municipais procuram cumprir as leis pertinentes às necessidades dos portadores de deficiência física. Os resultados serão repassados para as secretarias municipais para que suas ações sejam compatíveis com as expectativas e necessidades dos usuários.

Mapeamento da linguagem Nautilus para Java

Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da linguagem. Nautilus é originalmente uma linguagem de especificação baseada em objetos, textual que suporta objetos concorrentes e não deterministas. Desde então a linguagem foi modificada aom extensões como classes e uma notação diagramática, além de se investigar seu uso como linguagem de programação. Suas construções incomuns (reificação, agregação, etc.) são baseados em seu domínio semântico: Automâtos Não Sequenciais. Este domíno satisfaz composição diagonal, i.e refinamentos se compõem (verticalmente) refletindo uma descrição gradual de sistemas, envolvendo múltiplos níveis de abstração, e distribui-se através de combinadores (horizontalmente), o que significa que o refinamento de um sistema composto é a combinação de do refinamento de suas partes.O trabalho inclui um mapeamento inicial de um subconjunto da linguagem(objeto base, reificação, agregação e visão), uma versão ampliada para abranger mais construções( interação e classes), e uma versão refinada mais concorrente e sugestões de modificação na linguagem.

Métodos geostatísticos para a incorporação da topografia como informação secundária no mapeamento do nível de água subterrânea

Resumo não disponível.

Conexões sociológicas entre questão social e questão criminal : desigualdades, segregação sócio-espacial e delinqüência em Porto Alegre (2000-2003)

A presente pesquisa tem como propósito objetivar uma análise acerca dos condicionantes objetivos, estruturais e institucionais que determinam a distribuição sócio-espacial de apenados, em Porto Alegre, entre os anos de 2000 e 2003. Desse modo, intenta-se construir uma reflexão sociológica que identifique os fatores que revelam maior influência no condicionamento da probabilidade de envolvimento dos indivíduos com a questão criminal. Nesta pesquisa são abordadas quatro modalidades de crime, a saber: tráfico de entorpecentes (art. 12), homicídio doloso (art. 121), furto qualificado (art.155) e roubo (art. 157). A análise é realizada a partir de uma tipologia sócio-espacial construída para Porto Alegre, em função das categorias sócio-ocupacionais predominantes nos diferentes espaços da cidade. Tal tipologia foi desenvolvida por pesquisadores do Núcleo de Estudo Regionais e Urbanos (NERU/FEE), para o estudo das desigualdades sócio-espaciais na região metropolitana e na capital. A pesquisa se justifica tanto do ponto de vista das políticas públicas de segurança, já que se propõe a fornecer uma visão mais acurada do problema do crime, quanto do ponto de vista teórico-metodológico, por abrir novas perspectivas de análise da questão criminal na cidade.

O tratamento dado à violência doméstica contra crianças e adolescentes pela justiça criminal : estudo de caso em Santa Maria

A violência doméstica contra as crianças e os adolescentes constitui hoje um dos parâmetros de discussão apresentados pelos movimentos sociais e pela sociedade civil. Reconhecida há poucas décadas como um problema social no país, ela representa um dos componentes relacionados aos debates sobre a operacionalidade da Justiça no Brasil. Reconhecendo a pluralidade de modelos de organização familiar e as formas alternativas de apaziguamento dos embates sociais, procurou-se entender que tipo de tratamento é conferido pelos tribunais àquelas ações litigiosas que convergem para o seu campo de atuação. Por meio de um estudo de caso do sistema de justiça criminal na cidade de Santa Maria, confrontando os tipos de sentença terminativa atribuídas aos processos com os elementos legais e extralegais utilizados pelos operadores do direito, percebeu-se as especificidades do funcionamento destas instâncias judiciais em relação aos conflitos interpessoais vivenciados no âmbito doméstico. Diante de um movimento crescente que procura aumentar a penalização para os crimes que envolvem estas formas de violência, foi possível discutir como estes conflitos são solucionados nas varas criminais comuns e no juizado especial criminal. A partir dos elementos encontrados ao longo do trabalho de campo, apreendeu-se que embora a informalização da justiça viabilize uma participação mais efetiva da vítima e de seu representante legal no processo, em detrimento à justiça comum, tornando mais célere o movimento da ação litigiosa e oportunizando a conciliação entre as partes, ela depara-se, ainda, com os problemas relacionados à interpretação da legislação e à percepção desta temática pelos agentes do aparelho judiciário.

Mapeamento da Bacia do Camaquã com a utilização de dados geofísicos, eologia e sensoriamento remoto

A análise tectono-estratigráfica da Bacia do Camaquã, uma sequência vulcanosedimentar do Neoproterozóico ao Eoproterozóico com depósitos de Cu (Au, Ag), Zn e Pb, é aqui apresentada com a utilização de ferramentas de sensoriamento remoto, gravimetria e perfilagem de poço. Nas imagens LANDSAT TM demarcou-se as concentrações de lineamentos junto as principais estruturas regionais e delimitou-se quatro domínios estruturais de acordo com a orientação dos trends dos lineamentos estruturais. Os perfis de poços que abrangem as formações Guaritas e Bom Jardim evidenciam eventos tectônicos com deformação rúptil e dúctil-ruptil, estabelecendo-se diferentes fácies tectonoestratigráficas de seqüências deposicionais (ambiente deltáico) e sequência deformacionais. Nos poços observa-se a variação da densidade com a profundidade entre poços, indicando a presença de duas aloformações de compactação distintas. Com base nos dados gravimétricos locais e regionais pode-se delimitar anomalias gravimétricas do embasamento, pacotes sedimentares de espessuras distintas em subsuperfície, com espessamento para NE, como também valores diferenciados para as principais unidades sedimentares da região estudada, bem como uma compartimentação escalonada da bacia do Camaquã. Ferramentas computacionais complementam a análise gravimétrica e de perfilagem geofísica, possibilitando a integração das técnicas já relacionadas e a formatação de dois perfis esquemáticos EW e SW-NE da bacia. Estes perfis auxiliam na visualização dos limites estruturais e formato da bacia, trazendo importantes informações para o modelo geológico da Bacia do Camaquã.