IT­-Forensisk undersökning av flyktigt minne : På Linux och Android enheter

Att kunna gör en effektiv undersökning av det flyktiga minnet är något som blir viktigare ochviktigare i IT-forensiska utredningar. Dels under Linux och Windows baserade PC installationermen också för mobila enheter i form av Android och enheter baserade andra mobila opperativsy-stem.Android använder sig av en modifierad Linux-kärna var modifikationer är för att anpassa kärnantill de speciella krav som gäller för ett mobilt operativsystem. Dessa modifikationer innefattardels meddelandehantering mellan processer men även ändringar till hur internminnet hanteras ochövervakas.Då dessa två kärnor är så pass nära besläktade kan samma grundläggande principer användas föratt dumpa och undersöka minne. Dumpningen sker via en kärn-modul vilket i den här rapportenutgörs av en programvara vid namn LiME vilken kan hantera bägge kärnorna.Analys av minnet kräver att verktygen som används har en förståelse för minneslayouten i fråga.Beroende på vilken metod verktyget använder så kan det även behövas information om olika sym-boler. Verktyget som används i det här examensarbetet heter Volatility och klarar på papperet avatt extrahera all den information som behövs för att kunna göra en korrekt undersökning.Arbetet avsåg att vidareutveckla existerande metoder för analys av det flyktiga minnet på Linux-baserade maskiner (PC) och inbyggda system(Android). Problem uppstod då undersökning avflyktigt minne på Android och satta mål kunde inte uppnås fullt ut. Det visade sig att minnesanalysriktat emot PC-plattformen är både enklare och smidigare än vad det är mot Android.

QoS-aware model driven architecture through the UML and CIM

The specification of Quality of Service (QoS) constraints over software design requires measures that ensure such requirements are met by the delivered product. Achieving this goal is non-trivial, as it involves, at least, identifying how QoS constraint specifications should be checked at the runtime. In this paper we present an implementation of a Model Driven Architecture (MDA) based framework for the runtime monitoring of QoS properties. We incorporate the UML2 superstructure and the UML profile for Quality of Service to provide abstract descriptions of component-and-connector systems. We then define transformations that refine the UML2 models to conform with the Distributed Management Taskforce (DMTF) Common Information Model (CIM) (Distributed Management Task Force Inc. 2006), a schema standard for management and instrumentation of hardware and software. Finally, we provide a mapping the CIM metamodel to a .NET-based metamodel for implementation of the monitoring infrastructure utilising various .NET features including the Windows Management Instrumentation (WMI) interface.

A climatologia aplicada ao ambiente construído : uma contribuição à caracterização climática de Porto Alegre/RS

Com caráter informativo, inicia-se apresentando a relação entre a climatologia e o ambiente construído, em seus campos especificos de aplicação (urbanismo, projeto de edificações, execução de obras, e manutenção e uso das construções), considerando-se os aspectos históricos, econômico-ecológicos e os ligados à súde e ao conforto do usuário, abrangidos por tal relação. A importância da disponibilidade de informações climatológicas é então comentada, bem como diversas metodalagias de análise e representação de dados climáticos. Com caráter aplicativo, apresenta-se uma contribuigão à caracterização climática da cidade de Porto Alegre, RS. São analisadas os valores médios horários-mensais doa principais parâmetros climáticos disponíveis (temperatura, umidade, velocidade e direção do vento, e nebulosidade), propondo-se uma representação gráfica sintética alternativa para os mesmos. A análise é complementada pala execução de dois procedimentos técnicos: avaliação do conforto térmico, com identificação do período critico de verão, e projeto de dispositivo de sombreamento de aberturas retangulares. Embora esteja em foco o caso específico de Porto Alegre, tais metodologias encontram-se descritas de modo a serem aplicadas a qualquer outra localidade, procurando-se ampliar a utilidade prática do presente estudo.

A concordância verbal de segunda pessoa do singular em Pelotas e suas implicações lingüísticas e sociais

Proponho, com este trabalho, uma análise da variação da manutenção da marca de concordância verbal de segunda pessoa do singular em Pelotas (RS). Considero, para tanto, os aspectos lingüísticos e, sobretudo, os aspectos sociais dessa variação. Almejo, assim, auxiliar na descrição de fenômenos de concordância verbal. Apóio esta análise na Teoria da Variação Laboviana e em visões de classes sociais que levam em conta princípios socioeconomicistas, marxistas, econolingüísticos, ocupacionais e das condições estruturais de manutenção das desigualdades sociais. Analisei dados de concordância de segunda pessoa do singular em noventa entrevistas do Banco de Dados Sociolingüísticos Variáveis por Classe Social – VarX – que foram realizadas em Pelotas (RS) em 2000 e 2001. O VarX possui uma divisão equilibrada de informantes por gênero, faixa etária e classe social. Das entrevistas realizadas na casa do informante, afloram falas espontâneas sobre histórias familiares, peripécias do passado. Utilizei, para a análise dos dados, metodologia quantitativa com base na interface Windows para o Varbrul e em formulário de codificação de dados. Além dos dados de fala do VarX, utilizei como fonte de pesquisa o Questionário do VarX e os resultados do Censo 2000 do IBGE. Os resultados, com relação à concordância de segunda pessoa do singular em Pelotas, apontam na direção de que: ocorra apagamento variável da desinência número-pessoal em virtude de uma regularização do paradigma verbal em que são privilegiadas formas neutras; o apagamento da marca de segunda pessoa do singular sofra influência de condicionadores lingüísticos (saliência fônica, interlocução entrevistado/entrevistador, ausência do pronome-sujeito e tipo de frase) e sociais (há indícios de que: a utilização de marca tenha prestígio, mas sua não-utilização não sofra estigma; o fenômeno esteja em fase de consolidação e se configure como uma mudança lingüística quase completada; as mulheres resistam ao processo de apagamento da marca de concordância mais do que homens).

Bifocal tree : uma técnica para visualização de estruturas hierárquicas

Estruturas de informações organizadas hierarquicamente estão presentes em muitas áreas. Pode-se citar como exemplos diagramas organizacionais, árvores genealógicas, manuais, estruturas de diretórios, catálogos de bibliotecas, etc. Na última década, várias técnicas têm sido desenvolvidas a fim de permitir a navegação em espaços de informações organizados dessa forma. Essas técnicas buscam proporcionar uma melhor percepção de alguns atributos ou fornecer mecanismos de interação adicionais que vão além da tradicional navegação com barras de rolagem ou câmeras 3D em visualização bi e tridimensional, respectivamente. Dentre as várias alternativas de representação utilizadas nas diversas técnicas para dados hierárquicos destacam-se dois grandes grupos: as que utilizam a abordagem de preenchimento do espaço e as baseadas em diagramas de nodos e arestas. Na primeira o espaço disponível para a representação da estrutura é subdividido recursivamente, de forma que cada subárea representa um nodo da hierarquia. Na segunda, os nodos são representados por figuras geométricas e os relacionamentos, por linhas. Outro critério utilizado para classificá-las é a estratégia que cada uma aplica para exibir os detalhes presentes na estrutura. Algumas técnicas utilizam o método Foco+Contexto de modo a fornecer uma representação visual inteira do espaço de informações, bem como uma visão detalhada de itens selecionados na mesma área de exibição. Outras utilizam a abordagem Visão Geral+Detalhe que possui a característica de exibir essas duas partes (conjunto total e subconjunto de interesse) em áreas separadas. O objetivo do presente trabalho é investigar a integração dessas duas abordagens a partir da proposta da técnica Bifocal Tree. Esta estrutura utiliza um diagrama de nodos e arestas e incorpora os conceitos existentes na abordagem Foco+Contexto guardando, porém uma divisão mais perceptível da visão de contexto e de detalhe. Ela introduz o uso de um segundo foco proporcionando duas áreas de visualização onde são exibidos dois sub-diagramas conectados entre si. Um corresponde à subárvore que contém o trecho da estrutura de interesse do usuário, enquanto o outro representa o contexto da hierarquia visualizada. Possui ainda alguns mecanismos de interação a fim de facilitar a navegação e a obtenção das informações exibidas na estrutura. Experimentos baseados em tarefas realizadas por usuários com a Bifocal Tree, o Microsoft Windows Explorer e o browser MagniFind foram utilizados para a avaliação da técnica demonstrando suas vantagens em algumas situações.

Técnicas de detecção de Sniffers

A área de Detecção de Intrusão, apesar de muito pesquisada, não responde a alguns problemas reais como níveis de ataques, dim ensão e complexidade de redes, tolerância a falhas, autenticação e privacidade, interoperabilidade e padronização. Uma pesquisa no Instituto de Informática da UFRGS, mais especificamente no Grupo de Segurança (GSEG), visa desenvolver um Sistema de Detecção de Intrusão Distribuído e com características de tolerância a falhas. Este projeto, denominado Asgaard, é a idealização de um sistema cujo objetivo não se restringe apenas a ser mais uma ferramenta de Detecção de Intrusão, mas uma plataforma que possibilite agregar novos módulos e técnicas, sendo um avanço em relação a outros Sistemas de Detecção atualmente em desenvolvimento. Um tópico ainda não abordado neste projeto seria a detecção de sniffers na rede, vindo a ser uma forma de prevenir que um ataque prossiga em outras estações ou redes interconectadas, desde que um intruso normalmente instala um sniffer após um ataque bem sucedido. Este trabalho discute as técnicas de detecção de sniffers, seus cenários, bem como avalia o uso destas técnicas em uma rede local. As técnicas conhecidas são testadas em um ambiente com diferentes sistemas operacionais, como linux e windows, mapeando os resultados sobre a eficiência das mesmas em condições diversas.

Interface de cálculo modal e visualização para estruturas flexíveis tipo Euler-Bernoulli

Neste trabalho, foram analisadas, implementadas e mostradas as características de uma interface com estrutura de programação genérica para o ambiente Windows, criando facilidades de rapidez, confiabilidade e a apresentação de resultados aos usuários do sistema matemático Maple na criação e uso de aplicações matemáticas. A interface utilizou como modelo de implementação cálculos modais de vigas clássicas de Euler-Bernoulli. O usuário encontra, em um único sistema, cálculo para vigas clássicas, terá uma entrada de dados facilitada de variáveis que serão substituídas automaticamente no programa fonte da viga e a geração de resultados em um ambiente amigável com dados e gráficos mostrados de forma organizados.

Análise econômica das políticas de incentivos à cultura no Brasil

O Brasil conta hoje com uma legislação que o coloca seguramente entre os melhores países, senão o melhor, para se realizar projetos culturais. Ao menos na teoria. Essa dissertação tem como objetivo trilhar o caminho das leis de incentivo, desde a sua criação, com a Lei Sarney até a Lei Rouanet, analisando inclusive as leis estaduais e municipais, que também surgiram como respostas a descontinuidades no processo. O mercado cultural brasileiro é caracterizado por externalidades que dificultam sua viabilidade, fazendo necessária a intervenção governamental. A política cultural brasileira tem como principal instrumento as leis de incentivo à cultura, que utilizam a renúncia fiscal para atrair o capital privado. São formalizadas parcerias onde as empresas privadas patrocinam projetos de interesse do governo e, como contrapartida, recebem o direito de deduzir esse valor, integral ou parcialmente, de seus impostos. Contudo, esse modelo de contrato de parceria é mal formulado, e traz perdas para a sociedade. O risco é assumido integralmente pelo Estado, o que acarreta problemas sérios de Moral Hazard. Além disso, devido às diferentes características dos projetos, o modelo acaba também por gerar problemas de Seleção Adversa. Para uma melhor comparação e análise da política cultural brasileira, foram levantados casos internacionais - Estados Unidos, Inglaterra, Portugal e Espanha. Levando-se em conta as análises e críticas levantadas, serão sugeridas alternativas para o modelo de contrato adotado pelo governo para incentivo à cultura, e formas alternativas de financiamento ao setor cultural, de forma a assegurar um melhor retorno para a sociedade sem deixar de cumprir o papel de fomentar o setor e corrigir as externalidades presentes.

Sistema de gerência de energia para redes locais

Este trabalho apresenta a proposta e a implementação de um sistema de gerência de energia para redes locais de computadores (Local Area Networks ou LANs). Desde sua introdução, no início dos anos 90, os mecanismos de gerência de energia para computadores têm contribuído de maneira significativa para a redução do consumo nos períodos de inatividade, mas podem ter seu efeito minimizado por uma série de fatores, dentre os quais destaca-se a conexão do equipamento a uma rede. Em linhas gerais, o objetivo do sistema proposto é, justamente, facilitar a gerência de energia em ambientes de rede. O funcionamento do sistema é baseado na aplicação de políticas de consumo definidas pelo administrador da rede. As políticas podem ser aplicadas em duas situações distintas: em horários pré-determinados (p. ex. depois do horário comercial), quando podem ajudar a reduzir o desperdício de energia, ou em resposta a alterações no fornecimento de energia, caso a rede seja protegida por no-breaks, quando a redução no consumo resulta em maior tempo de autonomia da fonte reserva (banco de baterias). As políticas são configuradas através de um mecanismo flexível, que permite não apenas desligar os equipamentos, mas colocá-los em estados intermediários de consumo e executar outros tipos de ações. A arquitetura do sistema é baseada no modelo SNMP (Simple Network Management Protocol) de gerência de redes. É composta, basicamente, de agentes, elementos de software que residem nos equipamentos da rede e detêm o conhecimento específico sobre suas características de consumo de eletricidade, e de um gerente, elemento central que contém a configuração das políticas de consumo e que é responsável pelo monitoramento e controle dos agentes. Gerente e agentes comunicam-se através do protocolo SNMP, trocando informações segundo uma base de informações (MIB) projetada especificamente para a gerência de energia. A ênfase da parte prática do trabalho está no gerente, que foi inteiramente implementado através da linguagem Java, utilizando bibliotecas disponíveis gratuitamente. Adicionalmente, foi implementado um agente-protótipo para a plataforma Windows, o que permitiu observar o sistema completo em execução. Os testes permitiram validar a praticabilidade da arquitetura e estimar o ganho potencial proporcionado pela utilização do sistema. São apresentadas medições que demonstram um aumento de até 6 vezes na autonomia do banco de baterias do no-break para uma configuração de rede pequena, utilizando o sistema para desligar automaticamente 90% dos computadores durante um corte no fornecimento externo. A economia decorrente da redução de consumo em horários de inatividade foi estimada em até R$0,63 por computador no período de um ano (tomando por base a tarifa média praticada no Brasil entre janeiro e maio de 2002).

Verificação do estado limite de serviço de abertura das fissuras em seções de concreto armado submetidas à flexão simples

Este trabalho apresenta um programa que tem por finalidade automatizar os procedimentos de verificação do estado limite de serviço de abertura das fissuras em seções retangulares e T de concreto armado, submetidas à flexão simples, conforme as recomendações da norma NBR 6118/2003 – Projeto de Estruturas de Concreto. O programa foi implementado na linguagem de programação Microsoft Visual Basic, aproveitando os recursos fornecidos por esta linguagem, que propiciam o desenvolvimento de uma entrada de dados amigável, típica do ambiente Windows. A fissuração, em elementos de concreto armado, ocorre quando as tensões de tração no concreto excedem a sua capacidade resistente. Nos elementos fissurados, as aberturas das fissuras devem ser controladas. Segundo as recomendações da norma, o valor característico da abertura das fissuras não deve ultrapassar determinados valores admissíveis. No procedimento implementado, são determinadas as aberturas das fissuras considerando-se o conjunto de barras da armadura tracionada e a camada mais tracionada da armadura, com o propósito de estabelecer a situação mais desfavorável. O programa tem também a pretensão de auxiliar estudantes de engenharia na compreensão do fenômeno da fissuração, fornecendo valores de elementos que caracterizam o funcionamento da peça fletida.

Sistema de informações para gestão ambiental

This Research Report presents the Environmental Management Information System, which has been planned for CEAMA - Center for Management and Environment. The System consists in the framework of data bases in the environment field, and the logic for information treatment. It has been developed to support current and future requirements of Center for Management and Environment in Escola de Administração de Empresas de São Paulo, Fundação Getulio Vargas (EAESP/FGV). The System was developed for Windows/Access environment and consists of a Main Data Base and a Thematic Data Base. The Main Data Base can store libraries, NGOs, Environmental Impact Reports, technical reports, companies and many other items. The Thematic one can contain several subjects related with environment, specifying the place or access form in which the data can be obtained. The Report also describes several environmental information systems, as a result of a survey that has been done as a part of the research project.

Estratrégias empresariais no setor avícola: estudo comparativo de duas regiões produtoras

Essa tese analisa dois temas muito relevantes: o processo estratégico enfrentado pelas firmas líderes do segmento produtor de aves durante os anos 80 e a possibilidade de firmas emergentes situadas em regiões que experimentaram intensos processos desenvolvimentistas alcançarem a fronteira tecnológica a partir de 'Janelas de oportunidades" específicas. A idéia desenvolvida foi a de comparar as condições de emergência e desenvolvimento das indústrias de aves da região Sul com aquelas que deram origem à implantação de projetos avícolas na porção sulmatogrossense.

Revisão de grupo E. rufomarginata do gênero Edessa fabricius, 1803 (Heteroptera pentatomidae, Edessinae)

O gênero Edessa Fabricius, 1803 pertence à subfamília Edessinae de Pentatomidae e possui um grande número de espécies já descritas (259), sendo provavelmente o maior de Heteroptera e um dos menos estudados desta família. Neste trabalho foi revisado o grupo denominado Edessa rufomarginata com base em caracteres morfológicos, principalmente da genitália de ambos os sexos. Para análise cladística do grupo foi montada uma matriz de dados com 25 caracteres da morfologia geral e da genitália. A polarização dos caracteres foi realizada através do método de comparação com grupo externo. Para análise dos dados obtidos foi utilizado o programa Hennig86, os algoritimos empregados foram “ie*” e “ne”, sendo que como interface gráfica com Windows®, foi utilizado o programa Tree Gardener V.2.2. A metodologia empregada propiciou o estudo das variações morfológicas em Edessa rufomarginata (De Geer, 1773), o que resultou na revalidação de Edessa marginalis (Dallas, 1951) e Edessa albomarginatus (Stål, 1855). Estas espécies foram redescritas bem como outras cinco a saber: Edessa abdominalis Erichson, 1848; Edessa corallipes Erichson, 1848; Edessa aulacosterna Stål, 1872; Edessa ovalis Stål, 1872 e Edessa nigropunctata Berg, 1884. Sete novas espécies foram descritas: Edessa brasiliensis sp. nov., Edessa castaneolineata sp. nov., Edessa cerradensis sp. nov., Edessa chapadensis sp. nov., Edessa luteovenulata sp. nov., Edessa rufodorsata sp. nov. e Edessa viridisdorsata sp. nov. Na análise cladística um único cladograma foi obtido, com 45 passos; Índice de Consistência = 60 e Índice de Retenção = 80; a monofilia do grupo foi corroborada por sete sinapomorfias.

Gestão para resultados como política pública: uma análise da formação da agenda e alternativas em municípios brasileiros

A exemplo do que ocorreu no Governo Federal com a Reforma Bresser, em outros países e, mais recentemente, nos governos estaduais, alguns municípios brasileiros vêm empreendendo modelos de administração voltados ao alcance de resultados, como uma política central de governo. Esta dissertação explora o processo de adoção da gestão orientada a resultados (GpR) em três dos principais municípios da região Sul do Brasil – Curitiba, Porto Alegre e Joinville – partindo do pressuposto de que a adoção deste modelo pode ser avaliada pela abordagem teórica de formulação de políticas públicas. É analisado o processo decisório para a introdução desta política nos respectivos governos, a partir da tipologia de agendas especificada por Kingdon (2003), conhecida como multiple streams framework. Os atores e empreendedores que influenciam neste processo são identificados, assim como o modo que eles exercem sua influência no encaminhamento das soluções e na definição dos problemas, com o objetivo a mapear o contexto que possibilitou a ascensão do tema à agenda decisória nos municípios estudados.

Desenvolvimento e implementação de uma interface de comunicação para controlador robótico industrial

O presente trabalho trata do desenvolvimento de um sistema para comunicação bidirecional entre um robô ABB IRB 1400, originalmente desprovido de uma interface de comunicação de dados, e um microcomputador PC padrão. Para a implementação utilizou-se a porta paralela do PC e uma Placa E/S Digital para sinais discretos disponível no controlador do robô. Devido à diferença de caracterìsticas elétricas entre as interfaces utilizadas, foi necessáio projetar um dispositivo que permitisse o ajuste dos niveis de tensão entre os sinais. Osistema foi elaborado visando sua utilização por programas desenvolvidos pelos usuários em ambiente Windows, sendo disponibilizadas rotinas para envio e recebimento de dados através de um protocolo próprio. Na plataforma PC as rotinas estão encapsuladas em um arquivo compilado no formato DDL (Dynamic Link Library). No controlador do robô as rotinas foram criadas em linguagem ABB RAPID. O programa desenvolvido pelo usuário é responsável por todo o processamento das informações, que são então enviadas através do sistema de comunicação a um outro programa específico sendo executado no controlador do robô, o qual interpreta os dados e ativa as tarefas correspondentes. Os resultados obtidos foram satisfatórios, sendo a velocidade de transmissão limitada pela velocidade da Placa E/S do robô. Utilizando-se uma placa ABB DSQC 223, atingiram taxas de transmissão da ordem de 12,5 bytes/s para envio e 6,1 bytes/s para o recbimento de informaçãoes a partir do PC. O sistema demonstrou ser uma alternativa viável para o controle do robô através de um microcomputador PC, apresentando boa confiabilidade, baixo custo e faciliadade de implementação.