Workshop LaTeX
•
2 gostaram•585 visualizações
Workshop sobre LaTeX dada pelo Centro de Apoio Open Source na Universidade do Minho, Departamento de Informática.
Denunciar
Compartilhar
Denunciar
Compartilhar
Baixar para ler offline
Recomendados
Topologia de rede juliana claudia
A topologia em estrela descreve como os computadores estão conectados através de cabos de par trançado a um concentrador central. Ela é adequada para pequenas redes devido ao número limitado de portas nos concentradores. As vantagens incluem facilidade de modificação e detecção de falhas, enquanto as desvantagens são maior comprimento de cabo e dependência do nó central.
Gravidez Da Amizade
O documento descreve a amizade como uma "gestação" que começa com a descoberta do outro e o compartilhamento gradual de pedaços de si mesmo e do coração um do outro. A amizade requer tempo para se desenvolver organicamente, como uma flor, através de conversas, risos e momentos de silêncio. Quando cultivada com cuidado, a amizade trás alegria mútua e a iluminação do outro.
Organización de centro
Este documento describe la estructura organizativa de una escuela, incluyendo los órganos de dirección, coordinación docente y representación. Los órganos de dirección incluyen al director, jefe de estudios, secretario y dos órganos colegiados. Los órganos de coordinación docente coordinan las funciones pedagógicas y de tutoría. Los órganos de representación incluyen la asociación de padres y madres.
Translator's cafe
El documento resume la página web TranslatorsCafé.com, una comunidad en línea para traductores que les permite conectarse con otros profesionales, agencias de traducción y encontrar trabajos. La comunidad ofrece foros de discusión, una biblioteca de recursos y herramientas para buscar agencias de traducción, traductores independientes y publicar anuncios de trabajo.
Apresentação hootsuite gestão de twitter coorporativo
O documento descreve as principais funcionalidades da ferramenta Hootsuite para gestão de redes sociais, incluindo o gerenciamento de contas do Twitter, programação de publicações, envio de mensagens diretas, análise de estatísticas e métricas.
Plano De PatrocíNio Henrique Jacob
O documento propõe um plano de patrocínio para a participação de Henrique Gomes Jacob na International Spartathlon Ultramarathon na Grécia em setembro de 2008. O texto explica que as ultramaratonas são corridas de longa distância que começam a partir de 50km e não têm limite máximo, remetendo às corridas da Grécia antiga.
Maestria baloncesto mejorado(2)
El documento proporciona información sobre el origen y fundamentos técnicos del baloncesto. El baloncesto fue inventado en 1891 por James Naismith en Canadá. Se ha convertido en uno de los deportes más populares a nivel mundial y se juega entre dos equipos de cinco jugadores que intentan anotar canastas lanzando un balón a un aro de 3.05 metros de altura. El documento explica reglas básicas, elementos de juego, señales arbitrales, tipos de faltas, fundamentos técnicos como dribbling, p
“LaTeX” por Manuel Rocha
O documento introduz o sistema tipográfico TEX e sua versão mais popular, LATEX. O TEX foi criado por Donald Knuth para permitir a criação de documentos com alta qualidade tipográfica de forma fácil. LATEX foi desenvolvido por Leslie Lamport como uma interface amigável para usuários do TEX. O documento discute as vantagens do TEX/LATEX e como utilizá-los.
Recomendados
Topologia de rede juliana claudia
A topologia em estrela descreve como os computadores estão conectados através de cabos de par trançado a um concentrador central. Ela é adequada para pequenas redes devido ao número limitado de portas nos concentradores. As vantagens incluem facilidade de modificação e detecção de falhas, enquanto as desvantagens são maior comprimento de cabo e dependência do nó central.
Gravidez Da Amizade
O documento descreve a amizade como uma "gestação" que começa com a descoberta do outro e o compartilhamento gradual de pedaços de si mesmo e do coração um do outro. A amizade requer tempo para se desenvolver organicamente, como uma flor, através de conversas, risos e momentos de silêncio. Quando cultivada com cuidado, a amizade trás alegria mútua e a iluminação do outro.
Organización de centro
Este documento describe la estructura organizativa de una escuela, incluyendo los órganos de dirección, coordinación docente y representación. Los órganos de dirección incluyen al director, jefe de estudios, secretario y dos órganos colegiados. Los órganos de coordinación docente coordinan las funciones pedagógicas y de tutoría. Los órganos de representación incluyen la asociación de padres y madres.
Translator's cafe
El documento resume la página web TranslatorsCafé.com, una comunidad en línea para traductores que les permite conectarse con otros profesionales, agencias de traducción y encontrar trabajos. La comunidad ofrece foros de discusión, una biblioteca de recursos y herramientas para buscar agencias de traducción, traductores independientes y publicar anuncios de trabajo.
Apresentação hootsuite gestão de twitter coorporativo
O documento descreve as principais funcionalidades da ferramenta Hootsuite para gestão de redes sociais, incluindo o gerenciamento de contas do Twitter, programação de publicações, envio de mensagens diretas, análise de estatísticas e métricas.
Plano De PatrocíNio Henrique Jacob
O documento propõe um plano de patrocínio para a participação de Henrique Gomes Jacob na International Spartathlon Ultramarathon na Grécia em setembro de 2008. O texto explica que as ultramaratonas são corridas de longa distância que começam a partir de 50km e não têm limite máximo, remetendo às corridas da Grécia antiga.
Maestria baloncesto mejorado(2)
El documento proporciona información sobre el origen y fundamentos técnicos del baloncesto. El baloncesto fue inventado en 1891 por James Naismith en Canadá. Se ha convertido en uno de los deportes más populares a nivel mundial y se juega entre dos equipos de cinco jugadores que intentan anotar canastas lanzando un balón a un aro de 3.05 metros de altura. El documento explica reglas básicas, elementos de juego, señales arbitrales, tipos de faltas, fundamentos técnicos como dribbling, p
“LaTeX” por Manuel Rocha
O documento introduz o sistema tipográfico TEX e sua versão mais popular, LATEX. O TEX foi criado por Donald Knuth para permitir a criação de documentos com alta qualidade tipográfica de forma fácil. LATEX foi desenvolvido por Leslie Lamport como uma interface amigável para usuários do TEX. O documento discute as vantagens do TEX/LATEX e como utilizá-los.
Automatic Test Generation for Space
The European Space Agency (ESA) uses an engine to perform tests in the Ground Segment infrastructure, specially the Operational Simulator. This engine uses many different tools to ensure the development of regression testing infrastructure and these tests perform black-box testing to the C++ simulator implementation. VST (VisionSpace Technologies) is one of the companies that provides these services to ESA and they need a tool to infer automatically tests from the existing C++ code, instead of writing manually scripts to perform tests. With this motivation in mind, this paper explores automatic testing approaches and tools in order to propose a system that satisfies VST needs.
Automatic Test Generation for Space
The document discusses automatic test generation for space applications. It describes a master's thesis that aims to automatically generate tests for an operational simulator using model-based and constraint-based testing. The thesis will extract UML diagrams and invariants from existing code and relate them to requirements. Tools like Korat and Pex were studied, with Korat able to generate complex data structures that satisfy invariants, while Pex can achieve high code coverage but does not maintain data structure invariants. The work will combine static analysis and data structure generation to automatically test the operational simulator.
Static Code Analyzer - Part IV
Este documento resume o trabalho desenvolvido na quarta fase do projeto SOPAS. Foram corrigidos bugs na aplicação web, adicionadas novas funcionalidades e implementadas métricas para análise de software. O objetivo é concluir o desenvolvimento da ferramenta SOPAS para submissão e análise online de código.
Specifying and Implementing SNOW3G with Cryptol
This document discusses specifying and implementing the SNOW3G stream cipher using the Cryptol domain-specific language. Cryptol allows the algorithm to be specified concisely using its mathematical constructs. The specification must then be refined to meet hardware implementation restrictions in Cryptol. Optimization techniques like converting functions to lookup tables are explored to improve the efficiency of the generated hardware implementation. Preliminary timing and size estimates of the implementation in SPIR format are provided.
Static Code Analyzer - Part III
Este documento descreve o progresso de um projeto de desenvolvimento de software. Ele detalha melhorias feitas na aplicação web, incluindo a adição de funcionalidades como detecção de clones. Também discute a implementação de um sistema de comandos por terminal e de um script de instalação para facilitar a manutenção do sistema.
Static Code Analyzer - Part II
O documento descreve um sistema de submissão online para análise de software (SOPAS) desenvolvido por três estudantes. O sistema permite a criação de contas de usuários, concursos e enunciados, além da submissão e avaliação de códigos em diferentes linguagens de programação. Os autores detalham as funcionalidades implementadas e objetivos para a próxima fase do projeto, como a inclusão de métricas e um frontend para a interface.
Static Code Analyzer - Part I
O documento descreve um sistema chamado SAAP para análise e avaliação de programas. O sistema permite a criação de concursos e enunciados, submissão de programas, avaliação dos programas submetidos e geração de métricas. Ele será desenvolvido usando Ruby on Rails, Perl, DB2 e Haskell.
logCesium01
O jornal do CeSIUM apresenta:
1) Uma entrevista com o empreendedor Simão Soares sobre a sua empresa Silico Life de biologia computacional.
2) O próximo fim-de-semana radical organizado pelo CeSIUM no Gerês.
3) A nova plataforma SIMON para gestão de grupos desenvolvida no âmbito de um mestrado.
Cesium Log ed2
Este documento resume as apresentações finais de projetos de alunos da UCE15 do Mestrado em Engenharia Informática na Universidade do Minho. Quatro grupos apresentaram aplicações que desenvolveram ao longo do semestre para clientes reais. Os projetos abordaram gestão de seguros, gestão multimédia interativa, gestão de eventos para associações e virtualização de sistemas de cópias de segurança.
GD::Graph - Graph Plotting Module
The document discusses the GD::Graph module for Perl, which can be used to create various types of graphs and charts from data. It defines classes for line charts, bar charts, combination line/point charts, area charts, pie charts, and provides examples of how to generate and export these different chart types to PNG files. It also summarizes common configuration methods that can be used across the different graph classes.
Captura de Informação em Rede
1. O documento descreve várias ferramentas para captura de tráfego de rede, incluindo NIDS (Snort), tcpdump e tshark. 2. Explica como o Snort funciona em modo passivo para detecção de intrusão e fornece exemplos de regras. 3. Demonstra como tcpdump e tshark podem ser usados para capturar pacotes em formato libpcap e extrair informações desses pacotes.
Cryptol experience
This document summarizes the experiences of Pedro Pereira and Ulisses Costa using the Cryptol language and tools. It describes their process of specifying the SNOW 3G cipher in Cryptol, generating implementations in VHDL and C, analyzing performance, and verifying correctness. It also provides feedback on documentation and areas for improvement. Key results include generating an efficient FPGA implementation achieving 160 MHz and verifying the pipeline structure improved throughput. Overall, the document confirms Cryptol enabled non-hardware experts to produce high-quality results.
Correct sorting with Frama-C
The document describes the implementation and verification of a bubble sort algorithm using the Frama-C software analysis platform. It includes the C code implementation of bubble sort, pre and post conditions specified in contracts, annotations added to the code, and an example run demonstrating that the inner loop maintains the partially sorted property.
The Cryptol Epilogue: Swift and Bulletproof VHDL
The document discusses generating efficient VHDL implementations from Cryptol specifications. It covers translating Cryptol to VHDL, using formal methods to check safety and equivalence, and optimizing performance through techniques like lifting functions to a stream model, using block RAM, and adding pragmas for parallelism and pipelining. The toolset allows quickly generating verified and optimized hardware from mathematical descriptions in Cryptol.
Splint the C code static checker
This document summarizes Splint, a static analysis tool for C code. It detects various errors such as unused variables, type inconsistencies, memory management issues, and control flow anomalies. It works by type checking code, tracking variable usage and definitions, and modeling memory allocation. Splint supports custom annotations to specify variable properties. The document describes Splint's checks for unused variables, types, memory management including allocation/deallocation errors and stack references, control flow including execution paths and loops, and switch statements. It also provides examples of errors detected by Splint.
Exploring the Cryptol Toolset
The document discusses exploring the Cryptol toolset for formal methods in software engineering. It summarizes the Cryptol language and toolset, including generating C code from Cryptol specifications, using the interpreter in different modes, and applying formal methods like safety checking, quickchecking, theorem proving and satisfiability checking. The toolset provides an automated way to apply formal methods but has limitations like restrictions on non-finiteness and recursion.
Specification of SNOW 3G in Cryptol
This document summarizes the specification of the SNOW 3G stream cipher in the Cryptol programming language. It provides an overview of Cryptol and discusses how it can be used to specify low-level algorithms. It also provides background on stream ciphers and the components of SNOW 3G, including linear feedback shift registers and substitution boxes. The document then demonstrates how aspects of SNOW 3G like the MULx operation are specified in Cryptol.
Snort - capturar e dissecar o tráfego da rede
The document discusses using Snort and tshark to analyze network traffic. It introduces Snort as an open-source network intrusion detection system that can operate in passive or active mode. It describes using Snort in passive mode to capture all network traffic on an interface and save it to a log file. It then shows how tshark can be used to filter and analyze the captured traffic log, providing examples of commands to view specific IP addresses, HTTP response codes, and TCP packet details.
LDAP em VDM++
This document discusses LDAP (Lightweight Directory Access Protocol) and modeling it using VDM++ (Vienna Development Method). It begins with an introduction to LDAP and its directory information tree (DIT) structure. It then covers modeling the DIT as either a tree or forest in VDM++. The document defines the server structure in VDM++ with types for entries, attributes, and object classes. It presents invariants for the server implementation and describes common LDAP operations like add, delete, modify, search entries, and search attributes.
Uso de Honeypots com Honeyd
The document discusses using HoneyPots with Honeyd to detect attacks. It describes how Honeyd can create virtual hosts and configure them with various personalities and services. Logs of activity on services like SMTP, HTTP, and SSH can be examined to identify attacks. Configuring a HoneyPot with Honeyd involves creating host profiles, adding services and scripts to emulate operating systems and applications. This allows monitoring of attacks while adding security.
TOO - TÉCNICAS DE ORIENTAÇÃO A OBJETOS aula 1.pdf
As classes de modelagem podem ser comparadas a moldes ou
formas que definem as características e os comportamentos dos
objetos criados a partir delas. Vale traçar um paralelo com o projeto de
um automóvel. Os engenheiros definem as medidas, a quantidade de
portas, a potência do motor, a localização do estepe, dentre outras
descrições necessárias para a fabricação de um veículo
Mais conteúdo relacionado
Mais de Ulisses Costa
Automatic Test Generation for Space
The European Space Agency (ESA) uses an engine to perform tests in the Ground Segment infrastructure, specially the Operational Simulator. This engine uses many different tools to ensure the development of regression testing infrastructure and these tests perform black-box testing to the C++ simulator implementation. VST (VisionSpace Technologies) is one of the companies that provides these services to ESA and they need a tool to infer automatically tests from the existing C++ code, instead of writing manually scripts to perform tests. With this motivation in mind, this paper explores automatic testing approaches and tools in order to propose a system that satisfies VST needs.
Automatic Test Generation for Space
The document discusses automatic test generation for space applications. It describes a master's thesis that aims to automatically generate tests for an operational simulator using model-based and constraint-based testing. The thesis will extract UML diagrams and invariants from existing code and relate them to requirements. Tools like Korat and Pex were studied, with Korat able to generate complex data structures that satisfy invariants, while Pex can achieve high code coverage but does not maintain data structure invariants. The work will combine static analysis and data structure generation to automatically test the operational simulator.
Static Code Analyzer - Part IV
Este documento resume o trabalho desenvolvido na quarta fase do projeto SOPAS. Foram corrigidos bugs na aplicação web, adicionadas novas funcionalidades e implementadas métricas para análise de software. O objetivo é concluir o desenvolvimento da ferramenta SOPAS para submissão e análise online de código.
Specifying and Implementing SNOW3G with Cryptol
This document discusses specifying and implementing the SNOW3G stream cipher using the Cryptol domain-specific language. Cryptol allows the algorithm to be specified concisely using its mathematical constructs. The specification must then be refined to meet hardware implementation restrictions in Cryptol. Optimization techniques like converting functions to lookup tables are explored to improve the efficiency of the generated hardware implementation. Preliminary timing and size estimates of the implementation in SPIR format are provided.
Static Code Analyzer - Part III
Este documento descreve o progresso de um projeto de desenvolvimento de software. Ele detalha melhorias feitas na aplicação web, incluindo a adição de funcionalidades como detecção de clones. Também discute a implementação de um sistema de comandos por terminal e de um script de instalação para facilitar a manutenção do sistema.
Static Code Analyzer - Part II
O documento descreve um sistema de submissão online para análise de software (SOPAS) desenvolvido por três estudantes. O sistema permite a criação de contas de usuários, concursos e enunciados, além da submissão e avaliação de códigos em diferentes linguagens de programação. Os autores detalham as funcionalidades implementadas e objetivos para a próxima fase do projeto, como a inclusão de métricas e um frontend para a interface.
Static Code Analyzer - Part I
O documento descreve um sistema chamado SAAP para análise e avaliação de programas. O sistema permite a criação de concursos e enunciados, submissão de programas, avaliação dos programas submetidos e geração de métricas. Ele será desenvolvido usando Ruby on Rails, Perl, DB2 e Haskell.
logCesium01
O jornal do CeSIUM apresenta:
1) Uma entrevista com o empreendedor Simão Soares sobre a sua empresa Silico Life de biologia computacional.
2) O próximo fim-de-semana radical organizado pelo CeSIUM no Gerês.
3) A nova plataforma SIMON para gestão de grupos desenvolvida no âmbito de um mestrado.
Cesium Log ed2
Este documento resume as apresentações finais de projetos de alunos da UCE15 do Mestrado em Engenharia Informática na Universidade do Minho. Quatro grupos apresentaram aplicações que desenvolveram ao longo do semestre para clientes reais. Os projetos abordaram gestão de seguros, gestão multimédia interativa, gestão de eventos para associações e virtualização de sistemas de cópias de segurança.
GD::Graph - Graph Plotting Module
The document discusses the GD::Graph module for Perl, which can be used to create various types of graphs and charts from data. It defines classes for line charts, bar charts, combination line/point charts, area charts, pie charts, and provides examples of how to generate and export these different chart types to PNG files. It also summarizes common configuration methods that can be used across the different graph classes.
Captura de Informação em Rede
1. O documento descreve várias ferramentas para captura de tráfego de rede, incluindo NIDS (Snort), tcpdump e tshark. 2. Explica como o Snort funciona em modo passivo para detecção de intrusão e fornece exemplos de regras. 3. Demonstra como tcpdump e tshark podem ser usados para capturar pacotes em formato libpcap e extrair informações desses pacotes.
Cryptol experience
This document summarizes the experiences of Pedro Pereira and Ulisses Costa using the Cryptol language and tools. It describes their process of specifying the SNOW 3G cipher in Cryptol, generating implementations in VHDL and C, analyzing performance, and verifying correctness. It also provides feedback on documentation and areas for improvement. Key results include generating an efficient FPGA implementation achieving 160 MHz and verifying the pipeline structure improved throughput. Overall, the document confirms Cryptol enabled non-hardware experts to produce high-quality results.
Correct sorting with Frama-C
The document describes the implementation and verification of a bubble sort algorithm using the Frama-C software analysis platform. It includes the C code implementation of bubble sort, pre and post conditions specified in contracts, annotations added to the code, and an example run demonstrating that the inner loop maintains the partially sorted property.
The Cryptol Epilogue: Swift and Bulletproof VHDL
The document discusses generating efficient VHDL implementations from Cryptol specifications. It covers translating Cryptol to VHDL, using formal methods to check safety and equivalence, and optimizing performance through techniques like lifting functions to a stream model, using block RAM, and adding pragmas for parallelism and pipelining. The toolset allows quickly generating verified and optimized hardware from mathematical descriptions in Cryptol.
Splint the C code static checker
This document summarizes Splint, a static analysis tool for C code. It detects various errors such as unused variables, type inconsistencies, memory management issues, and control flow anomalies. It works by type checking code, tracking variable usage and definitions, and modeling memory allocation. Splint supports custom annotations to specify variable properties. The document describes Splint's checks for unused variables, types, memory management including allocation/deallocation errors and stack references, control flow including execution paths and loops, and switch statements. It also provides examples of errors detected by Splint.
Exploring the Cryptol Toolset
The document discusses exploring the Cryptol toolset for formal methods in software engineering. It summarizes the Cryptol language and toolset, including generating C code from Cryptol specifications, using the interpreter in different modes, and applying formal methods like safety checking, quickchecking, theorem proving and satisfiability checking. The toolset provides an automated way to apply formal methods but has limitations like restrictions on non-finiteness and recursion.
Specification of SNOW 3G in Cryptol
This document summarizes the specification of the SNOW 3G stream cipher in the Cryptol programming language. It provides an overview of Cryptol and discusses how it can be used to specify low-level algorithms. It also provides background on stream ciphers and the components of SNOW 3G, including linear feedback shift registers and substitution boxes. The document then demonstrates how aspects of SNOW 3G like the MULx operation are specified in Cryptol.
Snort - capturar e dissecar o tráfego da rede
The document discusses using Snort and tshark to analyze network traffic. It introduces Snort as an open-source network intrusion detection system that can operate in passive or active mode. It describes using Snort in passive mode to capture all network traffic on an interface and save it to a log file. It then shows how tshark can be used to filter and analyze the captured traffic log, providing examples of commands to view specific IP addresses, HTTP response codes, and TCP packet details.
LDAP em VDM++
This document discusses LDAP (Lightweight Directory Access Protocol) and modeling it using VDM++ (Vienna Development Method). It begins with an introduction to LDAP and its directory information tree (DIT) structure. It then covers modeling the DIT as either a tree or forest in VDM++. The document defines the server structure in VDM++ with types for entries, attributes, and object classes. It presents invariants for the server implementation and describes common LDAP operations like add, delete, modify, search entries, and search attributes.
Uso de Honeypots com Honeyd
The document discusses using HoneyPots with Honeyd to detect attacks. It describes how Honeyd can create virtual hosts and configure them with various personalities and services. Logs of activity on services like SMTP, HTTP, and SSH can be examined to identify attacks. Configuring a HoneyPot with Honeyd involves creating host profiles, adding services and scripts to emulate operating systems and applications. This allows monitoring of attacks while adding security.
Mais de Ulisses Costa (20)
Último
TOO - TÉCNICAS DE ORIENTAÇÃO A OBJETOS aula 1.pdf
As classes de modelagem podem ser comparadas a moldes ou
formas que definem as características e os comportamentos dos
objetos criados a partir delas. Vale traçar um paralelo com o projeto de
um automóvel. Os engenheiros definem as medidas, a quantidade de
portas, a potência do motor, a localização do estepe, dentre outras
descrições necessárias para a fabricação de um veículo
DESENVOLVIMENTO DE SOFTWARE I_aula1-2.pdf
A linguagem C# aproveita conceitos de muitas outras linguagens,
mas especialmente de C++ e Java. Sua sintaxe é relativamente fácil, o que
diminui o tempo de aprendizado. Todos os programas desenvolvidos devem
ser compilados, gerando um arquivo com a extensão DLL ou EXE. Isso torna a
execução dos programas mais rápida se comparados com as linguagens de
script (VBScript , JavaScript) que atualmente utilizamos na internet
Segurança Digital Pessoal e Boas Práticas
Em um mundo cada vez mais digital, a segurança da informação tornou-se essencial para proteger dados pessoais e empresariais contra ameaças cibernéticas. Nesta apresentação, abordaremos os principais conceitos e práticas de segurança digital, incluindo o reconhecimento de ameaças comuns, como malware e phishing, e a implementação de medidas de proteção e mitigação para vazamento de senhas.
Logica de Progamacao - Aula (1) (1).pptx
A palavra
lógica está
normalmente
relacionada
com o modo
de pensar de
um indivíduo
em termos de
racionalidade
e coerência
PRODUÇÃO E CONSUMO DE ENERGIA DA PRÉ-HISTÓRIA À ERA CONTEMPORÂNEA E SUA EVOLU...
Este artigo tem por objetivo apresentar como ocorreu a evolução do consumo e da produção de energia desde a pré-história até os tempos atuais, bem como propor o futuro da energia requerido para o mundo. Da pré-história até o século XVIII predominou o uso de fontes renováveis de energia como a madeira, o vento e a energia hidráulica. Do século XVIII até a era contemporânea, os combustíveis fósseis predominaram com o carvão e o petróleo, mas seu uso chegará ao fim provavelmente a partir do século XXI para evitar a mudança climática catastrófica global resultante de sua utilização ao emitir gases do efeito estufa responsáveis pelo aquecimento global. Com o fim da era dos combustíveis fósseis virá a era das fontes renováveis de energia quando prevalecerá a utilização da energia hidrelétrica, energia solar, energia eólica, energia das marés, energia das ondas, energia geotérmica, energia da biomassa e energia do hidrogênio. Não existem dúvidas de que as atividades humanas sobre a Terra provocam alterações no meio ambiente em que vivemos. Muitos destes impactos ambientais são provenientes da geração, manuseio e uso da energia com o uso de combustíveis fósseis. A principal razão para a existência desses impactos ambientais reside no fato de que o consumo mundial de energia primária proveniente de fontes não renováveis (petróleo, carvão, gás natural e nuclear) corresponde a aproximadamente 88% do total, cabendo apenas 12% às fontes renováveis. Independentemente das várias soluções que venham a ser adotadas para eliminar ou mitigar as causas do efeito estufa, a mais importante ação é, sem dúvidas, a adoção de medidas que contribuam para a eliminação ou redução do consumo de combustíveis fósseis na produção de energia, bem como para seu uso mais eficiente nos transportes, na indústria, na agropecuária e nas cidades (residências e comércio), haja vista que o uso e a produção de energia são responsáveis por 57% dos gases de estufa emitidos pela atividade humana. Neste sentido, é imprescindível a implantação de um sistema de energia sustentável no mundo. Em um sistema de energia sustentável, a matriz energética mundial só deveria contar com fontes de energia limpa e renováveis (hidroelétrica, solar, eólica, hidrogênio, geotérmica, das marés, das ondas e biomassa), não devendo contar, portanto, com o uso dos combustíveis fósseis (petróleo, carvão e gás natural).
Último (8)
PRODUÇÃO E CONSUMO DE ENERGIA DA PRÉ-HISTÓRIA À ERA CONTEMPORÂNEA E SUA EVOLU...
PRODUÇÃO E CONSUMO DE ENERGIA DA PRÉ-HISTÓRIA À ERA CONTEMPORÂNEA E SUA EVOLU...
Workshop LaTeX
- 1. Workshop de LTEX A Nuno Veloso Ulisses Costa caos.di.uminho.pt 7 de Novembro de 2007 Nuno Veloso, Ulisses Costa A E Workshop de L T X