999 resultados para Linguagens de programação em lógica - Semântica
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Informática
Resumo:
Trabalho de Projecto apresentado para o cumprimentos dos requesitos necessários à obtenção de grau de Mestre em Práticas Culturais para Municípios
Resumo:
Dissertação de Mestrado em Gestão do Território, Área de Especialização em Detecção Remota e Sistemas de Informação Geográfica
Resumo:
Cognição e Linguagem são importantes em Geografia, desde as origens, perante a pertinente interrogação sobre a superfície da Terra e a localização relativa, suscitando uma linguagem por palavras ou descrições escritas e mapas esboçados, como linguagem específica da Geografia acerca das configurações da superfície terrestre. Cognição e Linguagem expressa por palavras e mapas suscitaram controvérsia que foi acentuada pela Revolução Copemiana. Com a Renascença, as idéias de Humanismo e Utopia infiuenciaram a configuração de mapas sobre espaços e territórios, em que se sobrepunha a linguagem e representação num só plano sem diferenciações de distâncias e contrastes. Ao mesmo tempo, alargava-se o conhecimento sobre o Mundo, assim como a representação e linguagem pelos portulanos e mapas, até que no século XVII o périplo mun-, dial foi completado.
Resumo:
Quando Henri Matisse (1869-1954) concebia a sua última versão àQ A Dança, em 1910, já experimentara, mais ou menos intensamente, todas as manifestações importantes da pintura francesa anterior^. Relacionando- se com as várias heranças da escola francesa (sobretudo parisiense), o exotismo oriental e o primitivismo, Matisse propunha-se a uma síntese que servisse de harmonia aos vários aspectos culturais, sendo A Dança obra culminante desse processo. As várias tradições culturais estão expostas nesta obra, não como soluções particulares, mas antes articuladas num todo sintético e depurador, que lhes resolve contradições. Pintor do presente pelas próprias heranças que recebera e assumira, e das quais era corolário e síntese, a sua modemidade não podia renegar toda uma tradição em que ele próprio participara. Para Matisse, o passado cultural transportava uma herança de inegável riqueza a que apenas bastava depurar, superando contradições, estabelecendo- o como situação modema; numa espécie de renovado classicismo. A tradição apresentava-se como um campo fértil e sugestivo para a criação cultural presente.
Resumo:
A pretensa formalização lógico-gramatical da narrativa (Propp 1928; Todorov 1969; Genette 1972; Bremond 1973; Chatman 1978; Prince 1973 e 1980), que não deixa de estar infectada de psicologismo - terá cometido Antígona, ao enterrar o seu irmão Polineices, em obediência à "lei não escrita" que negava a autoridade positiva do rei Creonte, uma transgressão ou uma restituição! -, passou por alto a sua estmtura referencial. Bremond, que lida com grupos abertos como se estivesse a lidar com grupos fechados, fundamenta a sua tipologia narrativa nos diferentes meios de realização de processos de mediação ou transformação, tratando de formalizar "le réseau complet des options logiquement offertes à un narrateur, pour continuer Thistoire commencée" (1973: 8), conquanto tal formalização, ao depender de um grupo aberto de variáveis livres, não possa ser devidamente estmturada. Acresce que os processos de melhoramento ou de empioramento apontados por Bremond não nos parecem corresponder a paradigmas estritamente lógicos, e consequentemente abstractos, das situações narrativas. Trata-se de paradigmas psicológicos e culturais convencionalmente determinados e, por conseguinte, sumidos na relatividade. E difícil encerrar as opções pragmáticas nos conjuntos fechados exigidos por qualquer tipo de formalização lógica.
Resumo:
Dissertação para obtenção do Grau de Mestre em Lógica Computacional
Resumo:
Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Práticas Culturais para Municípios
Resumo:
Ainda no ano passado, os viajantes que percorriam de automóvel ou autocarro, a estrada que, partindo da ponta da península de Tróia atravessa a Herdade da Comporta, viam, a partir de certa altura, diversos sinais anunciando um Museu do Arroz. Quem lá se dirigisse (e terão sido muitos, ao longo dos últimos anos) encontrava, não uma instituição museológica mas um afamado e caro restaurante especializado em pratos de arroz, peixe e marisco. Não se trata do único caso em que a palavra Museu aparece ligada a uma unidade de restauração ou similar. Veja-se, só em Portugal, como caso positivo, o exemplo de Silves, em que, na chamada Fábrica do Inglês, existe, no quadro de um gigantesco espaço de restaurante, cervejaria e auditório para espectáculos, absolutamente dominante, um sector efectivamente musealizado com rigor, tanto que até recebeu um Prêmio Europeu (Micheletti) para Museus de Arqueologia Industrial, embora no conceito do museu e, em particular, no seu espaço expositivo, se privilegie a evolução tecnológica do fabrico da cortiça e não tanto as memórias dos protagonistas. Em contraste, o abusivamente chamado Museu do Pão, em Seia, não passa de uma avantajada padaria/mercearia de qualidade, complementada com um igualmente enorme restaurante, conjunto que ocupa mais de dois terços de todo o complexo, em detrimento do que deveria ser a espacialização de funções verdadeiramente museológicas.
Resumo:
As centrais termoelétricas convencionais convertem apenas parte do combustível consumido na produção de energia elétrica, sendo que outra parte resulta em perdas sob a forma de calor. Neste sentido, surgiram as unidades de cogeração, ou Combined Heat and Power (CHP), que permitem reaproveitar a energia dissipada sob a forma de energia térmica e disponibilizá-la, em conjunto com a energia elétrica gerada, para consumo doméstico ou industrial, tornando-as mais eficientes que as unidades convencionais Os custos de produção de energia elétrica e de calor das unidades CHP são representados por uma função não-linear e apresentam uma região de operação admissível que pode ser convexa ou não-convexa, dependendo das caraterísticas de cada unidade. Por estas razões, a modelação de unidades CHP no âmbito do escalonamento de geradores elétricos (na literatura inglesa Unit Commitment Problem (UCP)) tem especial relevância para as empresas que possuem, também, este tipo de unidades. Estas empresas têm como objetivo definir, entre as unidades CHP e as unidades que apenas geram energia elétrica ou calor, quais devem ser ligadas e os respetivos níveis de produção para satisfazer a procura de energia elétrica e de calor a um custo mínimo. Neste documento são propostos dois modelos de programação inteira mista para o UCP com inclusão de unidades de cogeração: um modelo não-linear que inclui a função real de custo de produção das unidades CHP e um modelo que propõe uma linearização da referida função baseada na combinação convexa de um número pré-definido de pontos extremos. Em ambos os modelos a região de operação admissível não-convexa é modelada através da divisão desta àrea em duas àreas convexas distintas. Testes computacionais efetuados com ambos os modelos para várias instâncias permitiram verificar a eficiência do modelo linear proposto. Este modelo permitiu obter as soluções ótimas do modelo não-linear com tempos computationais significativamente menores. Para além disso, ambos os modelos foram testados com e sem a inclusão de restrições de tomada e deslastre de carga, permitindo concluir que este tipo de restrições aumenta a complexidade do problema sendo que o tempo computacional exigido para a resolução do mesmo cresce significativamente.
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Informática
Resumo:
Face à estagnação da tecnologia uniprocessador registada na passada década, aos principais fabricantes de microprocessadores encontraram na tecnologia multi-core a resposta `as crescentes necessidades de processamento do mercado. Durante anos, os desenvolvedores de software viram as suas aplicações acompanhar os ganhos de performance conferidos por cada nova geração de processadores sequenciais, mas `a medida que a capacidade de processamento escala em função do número de processadores, a computação sequencial tem de ser decomposta em várias partes concorrentes que possam executar em paralelo, para que possam utilizar as unidades de processamento adicionais e completar mais rapidamente. A programação paralela implica um paradigma completamente distinto da programação sequencial. Ao contrário dos computadores sequenciais tipificados no modelo de Von Neumann, a heterogeneidade de arquiteturas paralelas requer modelos de programação paralela que abstraiam os programadores dos detalhes da arquitectura e simplifiquem o desenvolvimento de aplicações concorrentes. Os modelos de programação paralela mais populares incitam os programadores a identificar instruções concorrentes na sua lógica de programação, e a especificá-las sob a forma de tarefas que possam ser atribuídas a processadores distintos para executarem em simultâneo. Estas tarefas são tipicamente lançadas durante a execução, e atribuídas aos processadores pelo motor de execução subjacente. Como os requisitos de processamento costumam ser variáveis, e não são conhecidos a priori, o mapeamento de tarefas para processadores tem de ser determinado dinamicamente, em resposta a alterações imprevisíveis dos requisitos de execução. `A medida que o volume da computação cresce, torna-se cada vez menos viável garantir as suas restrições temporais em plataformas uniprocessador. Enquanto os sistemas de tempo real se começam a adaptar ao paradigma de computação paralela, há uma crescente aposta em integrar execuções de tempo real com aplicações interativas no mesmo hardware, num mundo em que a tecnologia se torna cada vez mais pequena, leve, ubíqua, e portável. Esta integração requer soluções de escalonamento que simultaneamente garantam os requisitos temporais das tarefas de tempo real e mantenham um nível aceitável de QoS para as restantes execuções. Para tal, torna-se imperativo que as aplicações de tempo real paralelizem, de forma a minimizar os seus tempos de resposta e maximizar a utilização dos recursos de processamento. Isto introduz uma nova dimensão ao problema do escalonamento, que tem de responder de forma correcta a novos requisitos de execução imprevisíveis e rapidamente conjeturar o mapeamento de tarefas que melhor beneficie os critérios de performance do sistema. A técnica de escalonamento baseado em servidores permite reservar uma fração da capacidade de processamento para a execução de tarefas de tempo real, e assegurar que os efeitos de latência na sua execução não afectam as reservas estipuladas para outras execuções. No caso de tarefas escalonadas pelo tempo de execução máximo, ou tarefas com tempos de execução variáveis, torna-se provável que a largura de banda estipulada não seja consumida por completo. Para melhorar a utilização do sistema, os algoritmos de partilha de largura de banda (capacity-sharing) doam a capacidade não utilizada para a execução de outras tarefas, mantendo as garantias de isolamento entre servidores. Com eficiência comprovada em termos de espaço, tempo, e comunicação, o mecanismo de work-stealing tem vindo a ganhar popularidade como metodologia para o escalonamento de tarefas com paralelismo dinâmico e irregular. O algoritmo p-CSWS combina escalonamento baseado em servidores com capacity-sharing e work-stealing para cobrir as necessidades de escalonamento dos sistemas abertos de tempo real. Enquanto o escalonamento em servidores permite partilhar os recursos de processamento sem interferências a nível dos atrasos, uma nova política de work-stealing que opera sobre o mecanismo de capacity-sharing aplica uma exploração de paralelismo que melhora os tempos de resposta das aplicações e melhora a utilização do sistema. Esta tese propõe uma implementação do algoritmo p-CSWS para o Linux. Em concordância com a estrutura modular do escalonador do Linux, ´e definida uma nova classe de escalonamento que visa avaliar a aplicabilidade da heurística p-CSWS em circunstâncias reais. Ultrapassados os obstáculos intrínsecos `a programação da kernel do Linux, os extensos testes experimentais provam que o p-CSWS ´e mais do que um conceito teórico atrativo, e que a exploração heurística de paralelismo proposta pelo algoritmo beneficia os tempos de resposta das aplicações de tempo real, bem como a performance e eficiência da plataforma multiprocessador.
Resumo:
Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação
Resumo:
Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Ciências Musicais – ramo Etnomusicologia