Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós -Graduação em Computação. / Made available in DSpace on 2012-10-18T07:19:30Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T22:26:42Z : No. of bitstreams: 1 182066.pdf: 19762669 bytes, checksum: ad7472aa5c162831c01e7fb32ee3dd29 (MD5) / Este trabalho foi desenvolvido objetivando modelar e implementar o protótipo de um software educacional que auxilie alunos dos cursos de graduação em Ciência da Computação na compreensão de assuntos específicos da disciplina Sistemas Operacionais. A temática escolhida foi o módulo de Gerência de Processos, especificamente nos assuntos: modelo de processo, estratégias de escalonamento de processador e detecção de situações de deadlock. Foram feitas considerações sobre aspectos do processo ensino-aprendizagem, adotando-se no desenvolvimento do protótipo a modalidade de software educacional de simulação. O trabalho apresenta ainda o modelo utilizado para avaliação de desempenho dos algoritmos de escalonamento e as fases de desenvolvimento do protótipo

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-19T06:36:17Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T22:51:55Z : No. of bitstreams: 1 185525.pdf: 556716 bytes, checksum: 025a96656903003ba2f05c8ba8ba8c5c (MD5) / Esta dissertação versa sobre os fatores que influenciam um projeto para redes de computadores, propondo uma estratégia mostrada como um planejamento para levantamento dos dados, avaliação das informações obtidas, organização do projeto e avaliação do conteúdo técnico necessário. É abordada também a questão dos fatores que influenciam projetos de rede de computadores chamando a atenção para o tipo de informações e analisando os riscos inerentes a possíveis erros na base de dados formados para o projeto, além das restrições técnicas, de manutenção, legislação envolvida e análises de custo/benefício para a empresa alvo do projeto, sendo pública ou privada. A estratégia é apresentada esquematicamente em forma de planejamento com fluxos de informações, classificando as etapas e identificando fatores externos ao projeto.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2011. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2012-04-24T15:37:21Z No. of bitstreams: 1 2011_PedroAuler.pdf: 2960779 bytes, checksum: a7bc10709797a2ce63da45d1d26ae4e0 (MD5) / Approved for entry into archive by Leila Fernandes (leilabiblio@yahoo.com.br) on 2012-04-30T14:24:39Z (GMT) No. of bitstreams: 1 2011_PedroAuler.pdf: 2960779 bytes, checksum: a7bc10709797a2ce63da45d1d26ae4e0 (MD5) / Made available in DSpace on 2012-04-30T14:24:39Z (GMT). No. of bitstreams: 1 2011_PedroAuler.pdf: 2960779 bytes, checksum: a7bc10709797a2ce63da45d1d26ae4e0 (MD5) / Este trabalho tem o objetivo de apresentar uma metodologia de coleta de dados voláteis em sistemas operacionais baseados em Windows. Para tal, elaborou-se uma ferramenta (CADAV – Coleta Automatizada de Dados Voláteis) e uma proposta de modelo de atuação do perito criminal durante o procedimento de busca e apreensão de equipamentos de informática. O CADAV é executado a partir de um flash drive inserido no computador a ser apreendido, sendo o resultado da coleta copiado para uma pasta criada durante o processo. Devido ao crescente uso de métodos criptográficos e de máquinas virtuais, a ferramenta propõe alguns testes para diagnosticar esta situação. Para evitar o risco de perda de informações, sistemas que utilizam criptografia ou virtualização de sistema devem ter seu conteúdo copiado para uma mídia externa, antes do desligamento do computador. Além disso, é apresentada uma metodologia para o procedimento de busca e apreensão, levando em conta a garantia da integridade dos dados coletados através do procedimento chamado Cadeia de Custódia. Basicamente, a Cadeia de Custódia trata dos cuidados que devem ser tomados para garantir a integridade e a idoneidade das evidências coletadas. Todos os passos realizados, desde a chegada ao local de busca e apreensão, passando pela análise da máquina suspeita, até o encaminhamento de todo o material apreendido, deve ser cuidadosamente documentado. A metodologia proposta é necessária porque, caso não sejam utilizadas técnicas adequadas de coleta e documentação, há grande risco de perda de evidências ou de falta de credibilidade das provas coletadas, em um futuro processo judicial. ______________________________________________________________________________ ABSTRACT / This paper presents a methodology for volatile data acquisition on Windows-based operating systems. For that, a tool (CADAV - Automated Volatile Data Acquisition) has been developed. Furthermore, this work presents a model on how the forensic expert should behave during a digital search and seizure. CADAV runs from a flash drive inserted in the suspect’s computer and the result is copied to a folder created during the process. Due to the increasing use of cryptography and virtual machines, the tool offers some tests to detect these situations. To avoid the risk of information loss, systems that are running encryption or virtualization programs must have their contents copied to an external drive before the computer is shut down. In addition, considering the collected data integrity during the procedure called Chain of Custody, a search and seizure procedure methodology is presented. Basically, Chain of Custody deals with the issues that must be taken to ensure collected evidence integrity and reliability. All the steps taken since the arrival at the search and seizure location should be carefully documented, including the suspect’s computer analysis and the seized material hand over. If inappropriate acquisition and documentation techniques are used, there is a great risk of evidence loss and lack of credibility in a future lawsuit. That’s why the proposed methodology is necessary.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2017. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2017-04-26T14:09:10Z No. of bitstreams: 1 2017_ThiagoMendonçaFerreiraRamos.pdf: 615472 bytes, checksum: 07c6f1995d15d71ca3dce6b9186c1bb8 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2017-04-27T22:18:25Z (GMT) No. of bitstreams: 1 2017_ThiagoMendonçaFerreiraRamos.pdf: 615472 bytes, checksum: 07c6f1995d15d71ca3dce6b9186c1bb8 (MD5) / Made available in DSpace on 2017-04-27T22:18:25Z (GMT). No. of bitstreams: 1 2017_ThiagoMendonçaFerreiraRamos.pdf: 615472 bytes, checksum: 07c6f1995d15d71ca3dce6b9186c1bb8 (MD5) / Terminação é uma propriedade crítica para formalização de correção de programas. Verificar automaticamente terminação de um programa é conhecido como Problema da Parada e Turing provou que é um problema indecidível. Apesar disso, é possível construir algoritmos de semi decisão para verificar terminação, que respondem ‘sim’ se pode provar que o algoritmo para e ‘não sei’ caso contrário. Para construir esses algoritmos de semi decisão é necessário considerar diferentes noções de terminação, provando que são equivalentes. Neste trabalho, noções de terminação são formalizadas equivalentes para uma linguagem funcional de primeira ordem chamada PVS0 usando o assistente de prova Prototype Verification System. Essas noções são: as funções produzem uma saída, a árvore de derivação de chamados recursivos de funções tem tamanho finito (ambas as noções são chamadas terminação semântica), e os argumentos das funções decrescem para cada chamado recursivo (essa noção é chamada ranking function). As contribuições desse trabalho incluem a formalização de alguns lemas necessários para demonstrar equivalência entre noções de terminação semântica e ranking function, e como resultado principal a formalizações de indecidibilidade do Problema da Parada e Turing-Completude de PVS0. / Termination is a critical property for the formalization of programs correctness. Verifing automatically termination of a program for an input is known as Halting Problem and Turing proved that this is undecidable. However, it is possible to build semi decision algorithms for the verification of termination, that answer ‘yes’ if it is possible to prove that the algorithm halts, and ‘do not know’ otherwise. To construct these semi decision algorithms it is necessary to consider different notions of termination, proving that they are equivalent. In this work, notions of termination were formalized equivalent for a minimal functional first order language called PVS0 using the proof assistant Prototype Verification System. These notions are: the functions produces an output, the derivation tree of recursive calls of functions has a finite size (both these notions are called semantic termination), and the arguments of functions decreases for each recursive call (this notion is called ranking function). The contributions of this work includes formalization of lemma related with the equivalence between notions of semantic and ranking function termination, and the main results are the formalization of indecidability of Halting Problem and Turing-Completeness of PVS0.

A colaboração visual, recurso que permite a troca de informações de forma remota, é construída em cima de uma combinação de diversas ferramentas, na qual estão incluídos: videoconferência, “streaming de vídeo”, compartilhamento e transferência de informações e imagens (colaboração em cima de dados) entre outros. Estas soluções, vêm utilizando cada vez mais, o protocolo IP e a Internet para o transporte dos sinais. Com este objetivo, o ITU-T lançou a recomendação H.323, que definiu um padrão confiável, que permite a troca de sinais multimídia em redes de pacotes sem qualidade de serviço. Entretanto, com o passar dos anos percebeu-se que aplicações que manipulam voz e vídeo, precisam que as redes de pacotes tenham capacidade de prover características semelhantes às oferecidas por redes de comutação por circuito, para o transporte dos sinais multimídia. Neste sentido, redes IP podem utilizar mecanismos de qualidade de serviço como o DiffServ, para prover tratamento adequado dos sinais de áudio e vídeo e assim, aumentar a qualidade percebida pelos usuários. As aplicações de colaboração visual são notáveis candidatas a utilização de mecanismos de QoS da rede. Neste caso é desejável que estas aplicações estejam aptas a especificar o nível de qualidade de serviço desejado e requisitem este nível de serviço para a rede. Neste contexto, o trabalho apresenta um modelo para o desenvolvimento de um terminal H.323 capaz de requisitar qualidade de serviço para a rede IP, visando aumentar a qualidade percebida pelo usuário em relação aos sinais de mídia. Neste terminal foi incluída uma entidade chamada de EPQoSE, responsável pela sinalização de QoS em benefício do terminal. Além disso, o modelo proposto neste texto apresenta um sistema de gerenciamento baseado em políticas, responsável por controlar as requisições de QoS dos terminais H.323, dentro de um domínio. Como o terminal precisa se comunicar com estas entidades, apresentamos no trabalho, a maneira como ele faz isso e definimos um conjunto de funções que devem ser implementadas pelo QoSM no terminal.

Esta pesquisa visa a modelagem de clusters de computadores, utilizando um modelo analítico simples que é representado por um grafo valorado denominado grafo da arquitetura. Para ilustrar tal metodologia, exemplificou-se a modelagem do cluster Myrinet/SCI do Instituto de Informática da UFRGS, que é do tipo heterogêneo e multiprocessado. A pesquisa visa também o estudo de métodos e tecnologias de software para o particionamento de grafos de aplicações e seu respectivo mapeamento sobre grafos de arquiteturas. Encontrar boas partições de grafos pode contribuir com a redução da comunicação entre processadores em uma máquina paralela. Para tal, utilizou-se o grafo da aplicação HIDRA, um dos trabalhos do GMCPAD, que modela o transporte de substâncias no Lago Guaíba. Um fator importante é o crescente avanço da oferta de recursos de alto desempenho como os clusters de computadores. Os clusters podem ser homogêneos, quando possuem um arquitetura com nós de mesma característica como: velocidade de processamento, quantidade de memória RAM e possuem a mesma rede de interconexão interligando-os. Eles também podem ser heterogêneos, quando alguns dos componentes dos nós diferem em capacidade ou tecnologia. A tendência é de clusters homogêneos se tornarem em clusters heterogêneos, como conseqüência das expansões e atualizações. Efetuar um particionamento que distribua a carga em clusters heterogêneos de acordo com o poder computacional de cada nó não é uma tarefa fácil, pois nenhum processador deve ficar ocioso e, tampouco, outros devem ficar sobrecarregados Vários métodos de particionamento e mapeamento de grafos foram estudados e três ferramentas (Chaco, Jostle e o Scotch) foram testadas com a aplicação e com a arquitetura modeladas. Foram realizados, ainda, vários experimentos modificando parâmetros de entrada das ferramentas e os resultados foram analisados. Foram considerados melhores resultados aqueles que apresentaram o menor número de corte de arestas, uma vez que esse parâmetro pode representar a comunicação entre os processadores de uma máquina paralela, e executaram o particionamento/mapeamento no menor tempo. O software Chaco e o software Jostle foram eficientes no balanceamento de carga por gerarem partições com praticamente o mesmo tamanho, sendo os resultados adequados para arquiteturas homogêneas. O software Scotch foi o único que permitiu o mapeamento do grafo da aplicação sobre o grafo da arquitetura com fidelidade, destacando-se também por executar particionamento com melhor qualidade e pela execução dos experimentos em um tempo significativamente menor que as outras ferramentas pesquisadas.

O presente trabalho apresenta um novo esquema de criptografia de chave pública baseado no emprego de funções para representar as mensagens original e cifrada. No esquema proposto – denominado Rafaella -, o processo de cifração consiste na aplicação de um deslocamento no argumento da função que representa a mensagem, de modo que se f(x) descreve a mensagem original, então f(x+z) representa a respectiva mensagem cifrada. O deslocamento z representa um número complexo que, no esquema proposto, representa a forma das chaves privadas dos participantes. A dificuldade da resolução do problema inversos concentra-se na obtenção das partes real e imaginária do deslocamento z, que pode ser efetuada através de método de força bruta, ou da resolução de um problema de contorno. A segunda alternativa envolve a resolução de equações diferenciais. Dentre os métodos disponíveis para a resolução de equações diferenciais, o emprego dos chamados grupos de Lie constitui, via de regra, a estratégia mais apropriada para a obtenção de soluções analíticas, que demandam menor tempo de processamento do que as formulações numéricas. Mesmo assim, a solução obtida através da utilização dos grupos de Lie requer elevado número de operações simbólicas.

Neste trabalho desenvolvemos um texto hipermídico sobre ótica para o ensino médio. Nele abordamos tópicos de ótica geométrica e ótica física, com o uso intensivo de tecnologias da informação, abrangendo a exploração de simuladores (Java Applets), de imagens e animações, acompanhadas de textos teóricos explicativos. Para o material, geramos 77 animações e 63 imagens, e adaptamos 13 simuladores Java Applets, organizados em material interativo desenvolvido em linguagem html e disponibilizado em CD-ROM. O embasamento teórico do trabalho é dado pelas teorias construtivistas cognitivistas, aproveitando as idéias de Piaget, Vygostky, Rogers, Ausubel e Novak. O Material foi aplicado em uma turma de 3a série do ensino médio no Centro de Ensino Médio – SETREM, localizada na região Noroeste do RS. Com este material conseguimos desenvolver os conteúdos de uma forma mais atrativa, com maior envolvimento dos alunos e maior motivação por parte dos mesmos, fazendo com que se sentissem participantes ativos na aquisição de informações e construção do conhecimento. Ao aplicarmos o material, observamos que as novas tecnologias usadas são boas ferramentas auxiliares no processo ensino/aprendizagem de ótica no ensino médio, que devem ser aliadas aos demais recursos didáticos existentes, não devendo ser encaradas como únicas e muito menos como substitutivas do professor, pois a este cabe cada vez mais o papel de orientador, motivador e organizador de um ambiente propício para o ensino/aprendizagem eficiente.

Orientador: Aleardo Manacero Júnior / Banca: Marco Dimas Gubitoso / Banca: José Roberto Sanches Mantovani / Resumo: A área de análise de desempenho de sistemas paralelos e distribuídos apresenta uma grande variedade de ferramentas e técnicas para avaliação. Este fator, aliado à grande diversidade de medidas de desempenho, acaba por dificultar o processo de escolha da ferramenta ou técnica mais adequada para avaliação de uma dada aplicação. Com o objetivo de minimizar tal dificuldade, diversas estratégias foram criadas dividindo as técnicas e ferramentas em grupos de acordo com suas características. Este trabalho apresenta um estudo sobre as várias formas de classificação de técnicas e ferramentas disponíveis para a análise de desempenho de sistemas paralelos e distribuídos. Ao fazer a classificação dessas técnicas e ferramentas segundo várias abordagens, espera-se fornecer aos usuários e desenvolvedores de sistemas paralelos uma maior facilidade no momento de escolher a ferramenta que deverá aplicar no estudo de desempenho do sistema em desenvolvimento. Adicionalmente realiza-se a comparação de algumas das ferramentas e técnicas disponíveis, inclusive com testes sobre a funcionalidade e facilidade de uso das mesmas. Esses testes, embora em pequeno volume, podem ajudar decisões finais no processo de escolha pela ferramenta mais adequada a cada problema, servindo portanto como um pequeno repositório de informações sobore análise de desempenho. / Abastract: The field of parallel and distributed systems' performance analysis presents a wide variety of tools and techniques available for use. This variety, along with a large range of performance metrics, makes difficult the process of choosing a tool or technique that is the best match for the evaluation of a given application. Trying to overcome such difficulty, a great number of classification strategies has been created, dividing techniques and tools in groups following certain characteristics. This work presents a study about several classification strategies that are applied over the available performance evaluation techniques and tools used on approachs, it is expected that the users and developers of parallel systems may have of performance of a system under development. Additionally, the comparison between some available tools and techniques is performed, providing some tests about their functionality and easiness of use. The tests, although in small volume, may help final decisions in the choice process for the most appropriate tool for each problem, acting like a small repository of informations on performance analysis. / Mestre

Made available in DSpace on 2014-06-11T19:22:36Z (GMT). No. of bitstreams: 0 Previous issue date: 2002-12-18Bitstream added on 2014-06-13T20:29:11Z : No. of bitstreams: 1 marcarijunior_e_me_ilha.pdf: 1164135 bytes, checksum: 4be314ec8034584c0046b7fee6c3266b (MD5) / A área de análise de desempenho de sistemas paralelos e distribuídos apresenta uma grande variedade de ferramentas e técnicas para avaliação. Este fator, aliado à grande diversidade de medidas de desempenho, acaba por dificultar o processo de escolha da ferramenta ou técnica mais adequada para avaliação de uma dada aplicação. Com o objetivo de minimizar tal dificuldade, diversas estratégias foram criadas dividindo as técnicas e ferramentas em grupos de acordo com suas características. Este trabalho apresenta um estudo sobre as várias formas de classificação de técnicas e ferramentas disponíveis para a análise de desempenho de sistemas paralelos e distribuídos. Ao fazer a classificação dessas técnicas e ferramentas segundo várias abordagens, espera-se fornecer aos usuários e desenvolvedores de sistemas paralelos uma maior facilidade no momento de escolher a ferramenta que deverá aplicar no estudo de desempenho do sistema em desenvolvimento. Adicionalmente realiza-se a comparação de algumas das ferramentas e técnicas disponíveis, inclusive com testes sobre a funcionalidade e facilidade de uso das mesmas. Esses testes, embora em pequeno volume, podem ajudar decisões finais no processo de escolha pela ferramenta mais adequada a cada problema, servindo portanto como um pequeno repositório de informações sobore análise de desempenho. / Abastract: The field of parallel and distributed systems' performance analysis presents a wide variety of tools and techniques available for use. This variety, along with a large range of performance metrics, makes difficult the process of choosing a tool or technique that is the best match for the evaluation of a given application. Trying to overcome such difficulty, a great number of classification strategies has been created, dividing techniques and tools in groups following certain characteristics. This work presents a study about several classification strategies that are applied over the available performance evaluation techniques and tools used on approachs, it is expected that the users and developers of parallel systems may have of performance of a system under development. Additionally, the comparison between some available tools and techniques is performed, providing some tests about their functionality and easiness of use. The tests, although in small volume, may help final decisions in the choice process for the most appropriate tool for each problem, acting like a small repository of informations on performance analysis.