OpenLLM-France/wikimedia huggingface dataset:
# Logística/Gestão de desperdícios e rejeitados/Resíduos sólidos urbanos/Equipamento de deposição

Os RSU indiferenciados podem ser depositados com a finalidade de serem removidos em: recipientes de tara perdida (como sacos), papeleiras ou contentores, identificados para essa finalidade e de acordo com as regras e o horário de recolha. No caso dos RSU diferenciados com destino à reciclagem, existem 2 tipos de equipamento de deposição, são eles: o Ecoponto e o Ecocentro.
Um ecoponto é um conjunto de contentores utilizado para depositar RSU como papel, embalagens, vidro e pilhas. Estão localizados em lugares públicos - por exemplo, feiras e mercados, escolas, complexos desportivos - e outros locais de grande produção de resíduos, incluindo zonas habitacionais. Cada contentor de um ecoponto apresenta cor e sinalética específica, relativa ao tipo de material que pode ser nele depositado. Os símbolos presentes nos contentores podem variar de local para local, pelo que é aconselhável observar com atenção a sinalética colocada nos equipamentos ou consultar a autarquia correspondente.
| | Contentor Azul – Papelão (papel e cartão) |
| Pode depositar | Caixas de cereais Invólucros de cartão Sacos de papel Papel de embrulho Jornais e revistas Papel de escrita |
| Não deposite | Pacotes de sumo e de leite Sacos de cimento Fraldas e toalhetes Pacotes de batatas fritas e aperitivos Guardanapos] e lenços de papel Papel de cozinha; papel de lustro; papel celofane; papel vegetal; papel químico; papel de fax; papel de alumínio ou papel autocolante |
| | Contentor Verde – Vidrão (garrafas e embalagens de vidro) |
| Pode depositar | Garrafas e garrafões de água, azeite e vinagre, vinho, cerveja, sumos, néctares e refrigerantes Frascos de produtos de conserva e de molhos Boiões de mel e compotas Garrafas e boiões de leite e iogurtes |
| Não deposite | pratos, copos, chávenas e jarras de loiça materiais de construção civil vidro proveniente de hospitais e laboratórios vidros de janelas, vidraças, pára-brisas vidros armados e corados ecrãs de televisão lâmpadas espelhos pirex, cristais vidro opala embalagens de cosmética e perfumes tampas e rolhas das embalagens de vidro |
| | Contentor Amarelo – Plasticão (embalagens de plástico, metal e cartão complexo (embora em diversos sistemas as embalagens de cartão complexo sejam colocadas no contentor de papel e cartão) |
| Pode depositar | Garrafas de água, de vinagre e refrigerantes Frascos de detergentes e produtor de higiene Esferovite limpa Sacos de hipermercado ou maiores Películas de envolver embalagens ou grupos de embalagens |
| Não deposite | Embalagens de combustíveis e óleo de motor Invólucros ou embalagens de cosmética gordurosa Objectos de pequena dimensão Embalagens de margarina, manteiga ou banha |
* Contentor Vermelho – Pilhas
O ecocentro consiste num parque amplo com contentores de grandes dimensões destinados a receber e armazenar separadamente resíduos de grandes dimensões com viabilidade de valorização, recuperação e reciclagem, como os entulhos, restos de madeira e electrodomésticos antigos, mas também óleos usados.(Resíduos sólidos, 2004)
# Logística/Gestão de desperdícios e rejeitados/Sistemas de tratamento e destino final

Etapas de desenvolvimento - 9 fases :
| Início: | Básico: | Criação: | Desenvolvimento: | Maturação: | Revisão: | Desenvolvido: | Finalização: | Abrangente: |
* Reciclagem
* Ciclo de remoção selectiva
* Análise do ciclo de vida de materiais recicláveis
* Aterros sanitários
* Incineração
* Outros tratamentos de resíduos (pirólise, gasificação, etc)
# Logística/Gestão de desperdícios e rejeitados/Sistemas de tratamento e destino final/Análise do ciclo de vida de materiais recicláveis

Segundo o Warmer Bulletin (Cit. por Williams, 2005, p. 162-163), a análise de um produto ao longo da vida, para avaliar o impacte sobre o ambiente constitui a denominada análise de ciclo de vida. Esta análise é útil na gestão de resíduos e ajuda a determinar se a redução, a recuperação, a reutilização ou a deposição é a melhor opção para o ambiente. A análise quantifica a energia, as matérias-primas utilizadas e a quantidade de resíduos líquidos, sólidos e gasosos, em cada fase da produção. É útil, em particular, na avaliação completa da produção, tanto a partir de materiais reciclados, como de materiais «virgens», comparando o seu impacte sobre o meio ambiente. Segundo White et al. e McDougall et al. (Cit. por Williams, 2005, p. 163) este método tem sido aplicado adequadamente na área da gestão dos resíduos sólidos.
A análise de ciclo de vida de um produto consiste em medições detalhadas durante o seu fabrico, desde a extracção das matérias-primas, passando pela energia utilizada na produção e distribuição, até à sua utilização, reutilização ou reciclagem e deposição final. Os limites e métodos desta análise variam. Após a recolha de dados, estes ficam sujeitos a diferentes interpretações, isto é, a título de exemplo comparar o impacte ambiental entre uma grande procura de energia num processo, com uma grande procura de água noutro. De igual modo, é difícil comparar o impacte ambiental das emissões de gases, como o dióxido de enxofre, o dióxido de azoto ou o fluoreto de hidrogénio. A reciclagem do produto também pode influenciar a interpretação do ciclo do produto. Para superar tais dificuldades, algumas análises agrupam os vários impactes ambientais em categorias, tais como, contribuintes para as chuvas ácidas, impacte na camada de ozono ou no aquecimento global. As análises de ciclo de vida comparando a reciclagem com o fabrico de produtos com base em materiais «virgens», têm sido utilizados para salientar os benefícios da reciclagem. A Figura 1, segundo White et al. e McDougall et al. (Cit. por Williams, 2005, p. 164), mostra a análise que compara o ciclo de vida dos produtos derivados de materiais recicláveis e de materiais «virgens».
Segundo White et al. (Cit. por Williams, 2005, p. 164-167), utilizando a análise de ciclo de vida pode-se comparar a reciclagem de um produto com a produção baseada em materiais «virgens», para determinar qual dos processos tem menor impacte ambiental. A Tabela 1 compara a análise de ciclo de vida do papel reciclado com a do papel «virgem» utilizando como fonte, dados da Suécia e da Suíça. É necessário ter em conta que as emissões da recolha e triagem do material, transporte para a central de reprocessamento e o respectivo consumo de energia não estão incluídos. O tipo de processo utilizado e a qualidade do papel à entrada e saída são variáveis de que as estimativas também dependem. A Tabela 2 compara a energia e as emissões de uma variedade de materiais reciclados com os «virgens».
# Logística/Gestão de desperdícios e rejeitados/Resíduos sólidos urbanos

Etapas de desenvolvimento - 9 fases :
| Início: | Básico: | Criação: | Desenvolvimento: | Maturação: | Revisão: | Desenvolvido: | Finalização: | Abrangente: |
Resíduos sólidos urbanos (RSU) são «materiais sólidos e semi-sólidos que o possuidor considera não terem valor suficiente para serem conservados» (Gestão, 2003) e que incluem os resíduos domésticos ou outros resíduos semelhantes em razão da sua natureza ou composição, assim como os resíduos provenientes de estabelecimentos comerciais e industriais e de sectores como centros governamentais, escolas, prisões e hospitais, desde que, em qualquer dos casos, a produção diária não exceda 1100 litros por produtor (Decreto-Lei nº 239/97, p. 4776).
Os RSU e os resíduos em geral têm constituído, desde sempre, um problema a que as sociedades contemporâneas têm de fazer face. Já em 2009 os resíduos eram vistos, também, como um recurso (Plano, p. 14). Em 1997, o Governo aprovou um Plano Estratégico para os Resíduos Sólidos Urbanos (PERSU), pensado «como um instrumento de planeamento de referência na área dos Resíduos Sólidos Urbanos (RSU)». Da aplicação deste plano estratégico resultaram acções concretas para que o País, pela primeira vez, desse passos fundamentais na concretização de uma política de resíduos. Entre as muitas vitórias conseguidas com o PERSU encontram-se: o encerramento de todas as lixeiras do país, a criação de diversos sistemas plurimunicipais para a gestão de resíduos sólidos urbanos, a construção de numerosas infra‑estruturas de valorização e eliminação e a criação de sistemas de recolha selectiva multimaterial. O PERSU forneceu ainda linhas de orientação para a criação de legislação especifica e a constituição e o licenciamento de entidades gestoras de fluxos especiais de gestão resíduos (Portaria nº 187/2007, p. 1045-1046).
O Decreto‑Lei nº 178/2006, de 5 de Setembro, aprovou o novo Regime Geral da Gestão dos Resíduos, que introduziu alterações significativas no enquadramento legal do sector através da simplificação de procedimentos administrativos de licenciamento, da disponibilização de um mecanismo uniforme de registo e acesso a dados sobre os resíduos, em suporte electrónico, e da constituição um novo regime económico‑financeiro da gestão dos resíduos, com o estabelecimento de taxas de gestão de resíduos e a definição do enquadramento e princípios orientadores para a criação de um «mercado organizado de resíduos» (Portaria nº 187/2007, p. 1046).
* Politica dos 3 R's
* Armazenamento domiciliário
* Equipamento de deposição
* Remoção
* Estações de transferência
# Selos do Brasil/Década de 1950

* 1950 . 1951 . 1952 . 1953 . 1954 . 1955 . 1956 . 1957 . 1958 . 1959
* Década de 1950
# Selos do Brasil/Década de 1980

* 1980 . 1981 . 1982 . 1983
* Década de 1980
# Selos do Brasil/Década de 1930

* 1930 . 1931 . 1932 . 1933 . 1934 . 1935 . 1936 . 1937 . 1938 . 1939
* Década de 1930
# Selos do Brasil/Década de 1920

* 1920 . 1921 . 1922 . 1923 . 1924 . 1925 . 1926 . 1927 . 1928 . 1929
* Década de 1920
# Selos do Brasil/Década de 1910

* 1910 . 1911 . 1912 . 1913 . 1914 . 1915 . 1916 . 1917 . 1918 . 1919
* Década de 1910
# Selos do Brasil/Década de 1960

* 1960 . 1961 . 1962 . 1963 . 1964 . 1965 . 1966 . 1967 . 1968 . 1969
* Década de 1960
# Selos do Brasil/Década de 1890

* 1890 . 1891 . 1892 . 1893 . 1894 . 1895 . 1896 . 1897 . 1898 . 1899
* Década de 1890
# Selos do Brasil/Década de 1940

* 1940 . 1941 . 1942 . 1943 . 1944 . 1945 . 1946 . 1947 . 1948 . 1949
* Década de 1940
# Selos do Brasil/Década de 1970

* 1970 . 1971 . 1972 . 1973 . 1974 . 1975 . 1976 . 1977 . 1978 . 1979
* Década de 1970
# Selos do Brasil/Década de 1900

* 1900 . 1901 . 1902 . 1903 . 1904 . 1905 . 1906 . 1907 . 1908 . 1909
* Década de 1900
# Python para oceanógrafos/Juntando os pedaços
## Exercícios

Exercício 1. Carregue os dados da série temporal do Bermuda Atlantic Time-series Study (BATS) e plote um diagrama de temperatura e salinidade (T-S).
# Qt

Qt é um sistema multiplataforma para o desenvolvimento de programas de interface gráfica. Qt é mais notavelmente usado no KDE. A empresa responsável pela criação é a norueguesa Trolltech.
Utilizando Qt é possível desenvolver aplicações e interface com usuário uma única vez, e depois compilar o código fonte para diversos sistemas operacionais, sem que seja necessário reescrever o código fonte.
A principal linguagem utilizada no Qt é o C++, mas outras linguagens também são suportadas.
A documentação completa pode ser encontrada no site oficial, http://doc.trolltech.com.
Para a leitura deste livro, recomenda-se um bom conhecimento de C++ e de programação em interface gráfica do usuário; para isto existem, respectivamente, os livros:
* Programar em C++
* Programação em GUI
Recomenda-se também conhecimento dos conceitos de programação orientada a objetos, já que Qt é estruturado como uma hierarquia de classes. O livro sobre este assunto é:

## Índice

Este livro tem uma coleção para a criação de versões nos formatos HTML, PDF, ODT, ZIM, ePUB ou para encomendas para a PediaPress.
* Capa
* Objetivo
* Introdução
** Introdução ao Qt
** O que há de novo no Qt 5
** Plataformas suportadas
** Licença do Qt
** Ferramentas de Desenvolvimento
** Instalação
* Visão geral
** Primeiro programa
** Interfaces de Usuário
** Widgets
** Sinais e slots
** Internos do núcleo
** Armazenamento de Dados
** Multimídia
** Rede e Conectividade
** Gráficos
** Aplicações QML
** Todas as Visões gerais do Qt
* Referência
** /Todas as Classes C++ do Qt/
** Módulos do Qt
** Todas as APIs e QML
** Toda Documentação de referência do Qt
# Qt/Instalação

Nas distribuições Linux que usam o ambiente gráfico KDE, Qt já vem instalado, já que o KDE foi escrito sobre o Qt. Mas é necessário instalar os arquivos de desenvolvimento Qt, que incluem cabeçalhos C++ para Qt e ferramentas como moc.
Em outras distribuições Linux, é possível baixar o Qt. Para mais detalhes, ver http://doc.trolltech.com/qt3/platforms/linux.html.
A instalação no Windows também é possível.

##### Baixando e Instalando o Qt

A página de downloads contém os links, onde Qt e Qt Creator pode ser baixado para diferentes plataformas de desenvolvimento.

##### Instalando com o programa de instalação

O programa de instalação do Qt pode baixar as bibliotecas Qt e ferramentas, bem como a documentação de referência e amostras de código. A página do Programa de Instalação Qt contém informações sobre o processo de instalação.

##### Instalando a partir dos Fontes Qt

Qt também pode ser instalado a partir das fontes. Basta baixar as fontes (disponível a partir da página de downloads) e siga as instruções de acordo com a página de plataforma de desenvolvimento.
# Prolog/Unificação

O conceito de unificação, uma das principais idéias por trás do Prolog, foi proposto por w:Jacques Herbrand (1930), e o 1º algoritmo se deve a Robinson (1965). Este conceito representa o mecanismo de ligar os conteúdos das variáveis e pode ser visto como um tipo de atribuição. Em Prolog, esta operação é denotada pelo símbolo “=”.
1. No Prolog tradicional, a variável X que não está instanciada, ou seja, sobre a qual nenhuma unificação foi feita, pode ser unificada com um átomo, um termo ou com outra variável não instanciada. Em muitos dialetos modernos de Prolog e na Lógica de primeira ordem, uma variável não pode ser unificada com um termo que a contém.
2. Um átomo em Prolog só pode ser unificado com o mesmo átomo.
3. Similarmente, um termo pode ser unificado com outro termo se os símbolos e a aridade das funções sob as quais eles ocorrem são idênticos e se os parâmetros podem ser unificados simultaneamente. Note que este é um comportamento recursivo.
Devido a sua natureza declarativa, a ordem numa seqüência de unificações não é importante (em geral). Para todo par de expressões que deve ser unificado, existe um único unificador mais geral (umg), ou seja, uma unificação que faz a menor quantidade possível de substituições, no sentido de que instancia variáveis, sempre que possível, para unificar um dado conjunto de expressões.
Note que na terminologia da Lógica de primeira ordem, um átomo é uma proposição básica e é unificado similarmente a um termo de Prolog.

## Exemplos de Unificação

* A = A: Unificação bem sucedida (tautologia)
* A = B, B = abc : A e B são unificados com o átomo abc
* xyz = C, C = D : A unificação é simétrica
* abc = abc : A unificação é bem sucedida
* abc = xyz : Falha em unificar porque os átomos são diferentes
* f(A) = f(B) : A é unificado com B
* f(A) = g(B) : Falha porque as cabeças dos termos são diferentes
* f(A) = f(B, C) : A unificação falha porque os termos têm aridades diferentes
* f(g(A)) = f(B) : Unifica B com o termo g(A)
* f(g(A), A) = f(B, xyz) : Unifica A com o átomo xyz e B com o termo g(xyz)
* A = f(A) : Unificação infinita, A é unificado com f(f(f(f(...)))). Na Lógica de Primeira Ordem propriamente dita e em vários dialetos modernos de Prolog, isto é proibido (ou reforçado pelo Occurs check)
* A = abc, xyz = X, A = X : Falha na unificação; efetivamente abc = xyz
* Seja α = { P(X, a, Y) – α$_1$
¬P(f(z), W, a) v ¬P(Z, d, W) – α$_2$
P(f(a), U, a) v ¬P(U, a, f(a)) } – α$_3$
onde X, Y, Z, W, U são variáveis e a, d são constantes (átomos)
σ$_1$ = [(f(z), X), (a, Y), (a, W)]
σ$_2$ = [(f(a), Z), (d, U)]
σ$_3$ = [(d, X), (f(a), Y)]
* Considere as sentenças:
Resultados da unificação:

## O "Underscore"

Em prolog, o símbolo _ (chamado, em inglês, de underscore) é usado para representar "qualquer coisa". Após a unificação, o interpretador cria uma variável para unificar com ele.
Por exemplo:
Irá unificar X=1, ignorando o underscore.
Por outro lado,
irá unificar Y = f(X, _6181), em que, em vez de _6181, pode aparecer uma outra expressão com o "underscore".
# Prosumers/Conclusão: O Saber Coletivo

“Ninguém sabe tudo, todos sabem alguma coisa, todo o saber está na humanidade. Não existe nenhum reservatório de conhecimento transcendente, e o saber não é nada além do que as pessoas sabem." – Pierre Lévy, 1998
Tantas mudanças acontecendo em pouco tempo desestabilizaram o mercado de consumo, o surgimento dos prosumers e sua influência ainda estão sendo percebidos. Muitas empresas ainda não sabem como se posicionar frente a esse poder de comunicação e compartilhamento de alcance global.
O alcance da Internet aumenta a cada dia, pessoas se conectam cada vez mais e por mais tempo, a busca por informação e conhecimento faz crescer o ciberespaço e expande seu conteúdo. É possível encontrar qualquer coisa na Internet. O saber agora é coletivo, e está disponível para aqueles que o desejarem.
Algumas poucas empresas conseguiram enxergar antecipadamente que esse novo grupo de usuários poderia agregar enorme valor a suas marcas, e começaram a desenvolver serviços personalizados e possibilitaram a participação deles no desenvolvimento de produtos.
Esses projetos começaram a tomar forma, e obviamente utilizaram a rede como forma de comunicação, veiculação e produção. Mas não só envolver seus clientes, as empresas precisam entender seus desejos e necessidades e tentar junto com eles, criar produtos e serviços novos, que levem em consideração as preocupações sociais e ambientais do século XXI.
O ser humano é um ser social, e precisa viver em sociedade, o que afeta um pode afetar a todos e o conhecimento de um pode vir a ser o conhecimento de todos.
Os avanços tecnológicos são apenas uma conseqüência de algo maior, de uma busca incessante de se saciar uma necessidade humana, a de compartilhar conhecimento, de se comunicar e de se fazer existir.
A cada compartilhamento estamos mais próximos uns dos outros, mas precisamos entender o outro e nos conectar verdadeiramente.
“Não estamos na era da informação. Não estamos na era da Internet. Nós estamos na era das conexões. Ser conectado está no cerne da nossa democracia e nossa economia. Quanto maior e melhor forem essas conexões, mais fortes serão nossos governos, negócios, ciência, cultura, educação." (David Weinberger, 2004)
Em uma era onde aqueles que estão conectados possuem mais formas de se expressar, e onde a informação é moeda de troca, o saber coletivo é mais do que uma simples fonte de riqueza, é um tesouro universal.
Na citação que abre este capítulo, Pierre Lévy diz não haver nenhum reservatório de conhecimento transcendente, mas é possível afirmar a existência de um reservatório de conhecimento humano, criado e alimentado pelo próprio homem.
# Prolog/Recursão

Regras recursivas devem ser permitidas a fim de tornar a linguagem útil para muitas aplicações. Um predicado definido por uma regra recursiva deve necessariamente ter, no mínimo uma definição não recursiva. Se isto não acontecer, a definição é logicamente mal-formada e o programa ficaria em laço infinito.

## Motivação

Considerando o seguinte programa:
seria interessante poder definir ancestral(X, Y). Uma forma não-recursiva seria impraticável, pois seria necessário incluir todas as possíveis gerações:
Claramente, este programa não é elegante.

## Recursão - primeiro exemplo

A implementação da regra sobre ancestralidade usando recursão é muito mais simples e elegante:
Deve-se tomar cuidado com a ordem na qual unificações são procurados para objetivos. Se invertermos a ordem nas regras recursivas do predicado ancestral, isto é
a consulta resultará uma recursão infinita.

### Recursão em cauda

Uma função $f$ pode ser definida por recursão em cauda da seguinte maneira:
onde: - $c(x)$ é algum tipo de condição sobre o valor de $x$; - $g(x),h(x)$ são funções definidas com um argumento não definido na função $f$.
A mesma sentença pode ser escrita em Prolog desta forma:
Recursão em cauda é importante e preferível sobre recursão não cauda pois pode ser implementada como uma iteração que é computada usando uma pilha estática.

### Recursão não em cauda

Recursão não em cauda pode ser definida pela sentença
f(x): se c(x) então g(x) senão k(x, f(h(x)))
Isto significa que o valor da chamada de recursão é modificado após sua computação. Em Prolog, esta função pode ser implementada assim:
Recursão em não cauda usa um espaço linear na pilha, conseqüentemente evitado caso não seja necessário. Em alguns casos é possível otimizar a implementação. Considere o esquema:
Isto pode ser escrito em Prolog usando recursão não em cauda:
(is/2 é a forma de fazer atribuições aritméticas: isto será visto no capítulo Prolog/Matemática). Este código requer espaço linear na pilha para guardar resultados temporários de chamadas recursivas. Usando um acumulador, o código abaixo pode ser escrito usando recursão em cauda:
(de novo, estamos usando conceitos matemáticos, no caso os predicados '>'/2 e '<='/2, que serão vistos no capítulo Prolog/Matemática).
# Prolog/Regras
## Regras

O segundo tipo de predicado no Prolog é a regra, também chamada de "cláusula". Exemplos de uma regra são:
O ":-" significa "se". Estas regras dizem:
* que 'a' é verdadeiro se 'b', 'c', e 'd' são verdadeiros
* que luz(acesa) é verdadeiro se interruptor(ligado) é verdadeiro.
Regras podem também fazer uso de variáveis, como por exemplo,
(X é avô de Z se X é pai de Y e Y é pai de Z)
Isso significa "se alguém é pai de outra pessoa, que por sua vez é pai de uma terceira, então ele é avô". O antecedente e o conseqüente estão na ordem inversa do que é normalmente encontrado na notação da lógica: o conseqüente é escrito primeiro e é chamado a cabeça da regra, o antecedente é chamado corpo. A conjunção (e) é escrita como ",", enquanto a disjunção (ou) é escrita como ";". Também é possível colocar múltiplos predicados em um mesmo corpo, unindo seus antecedentes por disjunção, como por exemplo:
que é equivalente às três regras separadas:
No entanto não são permitidas regras como:
Ou seja, "se c então a ou b". Isso é devido à restrição às cláusulas de Horn.
Uma maneira de simular tal regra, usando o operador de negação (que será visto com detalhes mais adiante, em Prolog/Negação), é: