Tópicos da teoria da relatividade

Dissertação de Mestrado, Matemática para Professores, 25 de Outubro 2013, Universidade dos Açores.

Schopenhauer e os conhecimentos intuitivo e abstrato: uma teoria sobre as representações empíricas e abstratas

Pós-graduação em Filosofia - FFC

Ensinar teoria e desenvolvimento curricular online : a importância da avaliação formativa

XI Colóquio sobre Questões Curriculares / VII Colóquio Luso-Brasileiro & I Colóquio Luso-Afro-Brasileiro sobre Questões Curriculares. Complexo pedagógico I, Campus de Gualtar - Universidade do Minho, Braga - Portugal, entre quinta-feira, 18-09-2014 e sábado, 20-09-2014.

Aplicação da teoria das restrições na gestão de projectos: caso em estudo

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica - Manutenção e Produção

Ensinar teoria e desenvolvimento curricular online : consolidação de um modelo

XII Congresso da Sociedade Portuguesa de Ciências da Educação: Espaços de investigação, reflexão e ação interdisciplinar. Vila Real de 11 de Setembro a 13 de Setembro de 2014.

Contributos da Ética Ambiental para um mundo em crise : de uma teoria integrada à perspectiva biocultural

XI Encuentros Internacionales de Filosofía en el Camino de Santiago: Cultura, Educación e Innovación. Santiago de Compostela 13, 14 e 15 de Setembro de 2012.

Computação em nuvem: avaliação do retorno do investimento: o caso do Ensino Superior Português

Em Portugal, as instituições de ensino superior dispõem de plataformas de e-learning que reflectem uma mais-valia para o processo de ensino-aprendizagem. No entanto, estas plataformas caracterizam-se por serem de âmbito privado expondo, desta forma, a tímida abertura das instituições na partilha do seu conhecimento, como também dos seus recursos. O paradigma Cloud Computing surge como uma solução, por exemplo, para a criação de uma federação de nuvens capaz de contemplar soluções heterogéneas, garantindo a interoperabilidade entre as plataformas das várias instituições de ensino, e promovendo os objectivos propostos pelo Processo de Bolonha, nomeadamente no que se refere à partilha de informação, de plataformas e serviços e promoção de projectos comuns. Neste âmbito, é necessário desenvolver ferramentas que permitam aos decisores ponderar as mais-valias deste novo paradigma. Assim, é conveniente quantificar o retorno esperado para o investimento, em recursos humanos e tecnológicos, exigido pelo modelo Cloud Computing. Este trabalho contribui para o estudo da avaliação do retorno do investimento (ROI) em infra-estruturas e serviços TIC (Tecnologias de Informação e Comunicação), resultante da análise de diferentes cenários relativos à introdução do paradigma Cloud Computing. Para tal, foi proposta uma metodologia de análise baseada num questionário, distribuído por diversas instituições de ensino superior portuguesas, contendo um conjunto de questões que permitiram identificar indicadores, e respectivas métricas, a usar na elaboração de modelos de estimação do ROI.

Normas internacionais de contabilidade: da teoria à prática

O livro “Normas Internacionais de Contabilidade – Da teória à prática" merece um interesse acrescido por vários motivos, desde logo pelo facto de se tratar de uma leitura objectiva e inteligível, para mesmo aqueles que não lidam de forma directa com este tema. O autor, não se preocupou apenas em plasmar as diferentes normas, mas, pelo contrário, procedeu à análise das mesmas, tecendo comentários a propósito, tendo seguido uma abordagem de carácter prático, como o próprio título o indica. Por outras palavras, este livro tem como objectivos centrais organizar, estruturar e divulgar uma abordagem teórico-prática da aplicação das normas. É uma obra inovadora, pelo conteúdo e pela abordagem, que vai marcar um momento essencial na tão desejada evolução do relato financeiro.

Supporting intra-task parallelism in real-time multiprocessor systems

Os sistemas de tempo real modernos geram, cada vez mais, cargas computacionais pesadas e dinâmicas, começando-se a tornar pouco expectável que sejam implementados em sistemas uniprocessador. Na verdade, a mudança de sistemas com um único processador para sistemas multi- processador pode ser vista, tanto no domínio geral, como no de sistemas embebidos, como uma forma eficiente, em termos energéticos, de melhorar a performance das aplicações. Simultaneamente, a proliferação das plataformas multi-processador transformaram a programação paralela num tópico de elevado interesse, levando o paralelismo dinâmico a ganhar rapidamente popularidade como um modelo de programação. A ideia, por detrás deste modelo, é encorajar os programadores a exporem todas as oportunidades de paralelismo através da simples indicação de potenciais regiões paralelas dentro das aplicações. Todas estas anotações são encaradas pelo sistema unicamente como sugestões, podendo estas serem ignoradas e substituídas, por construtores sequenciais equivalentes, pela própria linguagem. Assim, o modo como a computação é na realidade subdividida, e mapeada nos vários processadores, é da responsabilidade do compilador e do sistema computacional subjacente. Ao retirar este fardo do programador, a complexidade da programação é consideravelmente reduzida, o que normalmente se traduz num aumento de produtividade. Todavia, se o mecanismo de escalonamento subjacente não for simples e rápido, de modo a manter o overhead geral em níveis reduzidos, os benefícios da geração de um paralelismo com uma granularidade tão fina serão meramente hipotéticos. Nesta perspetiva de escalonamento, os algoritmos que empregam uma política de workstealing são cada vez mais populares, com uma eficiência comprovada em termos de tempo, espaço e necessidades de comunicação. Contudo, estes algoritmos não contemplam restrições temporais, nem outra qualquer forma de atribuição de prioridades às tarefas, o que impossibilita que sejam diretamente aplicados a sistemas de tempo real. Além disso, são tradicionalmente implementados no runtime da linguagem, criando assim um sistema de escalonamento com dois níveis, onde a previsibilidade, essencial a um sistema de tempo real, não pode ser assegurada. Nesta tese, é descrita a forma como a abordagem de work-stealing pode ser resenhada para cumprir os requisitos de tempo real, mantendo, ao mesmo tempo, os seus princípios fundamentais que tão bons resultados têm demonstrado. Muito resumidamente, a única fila de gestão de processos convencional (deque) é substituída por uma fila de deques, ordenada de forma crescente por prioridade das tarefas. De seguida, aplicamos por cima o conhecido algoritmo de escalonamento dinâmico G-EDF, misturamos as regras de ambos, e assim nasce a nossa proposta: o algoritmo de escalonamento RTWS. Tirando partido da modularidade oferecida pelo escalonador do Linux, o RTWS é adicionado como uma nova classe de escalonamento, de forma a avaliar na prática se o algoritmo proposto é viável, ou seja, se garante a eficiência e escalonabilidade desejadas. Modificar o núcleo do Linux é uma tarefa complicada, devido à complexidade das suas funções internas e às fortes interdependências entre os vários subsistemas. Não obstante, um dos objetivos desta tese era ter a certeza que o RTWS é mais do que um conceito interessante. Assim, uma parte significativa deste documento é dedicada à discussão sobre a implementação do RTWS e à exposição de situações problemáticas, muitas delas não consideradas em teoria, como é o caso do desfasamento entre vários mecanismo de sincronização. Os resultados experimentais mostram que o RTWS, em comparação com outro trabalho prático de escalonamento dinâmico de tarefas com restrições temporais, reduz significativamente o overhead de escalonamento através de um controlo de migrações, e mudanças de contexto, eficiente e escalável (pelo menos até 8 CPUs), ao mesmo tempo que alcança um bom balanceamento dinâmico da carga do sistema, até mesmo de uma forma não custosa. Contudo, durante a avaliação realizada foi detetada uma falha na implementação do RTWS, pela forma como facilmente desiste de roubar trabalho, o que origina períodos de inatividade, no CPU em questão, quando a utilização geral do sistema é baixa. Embora o trabalho realizado se tenha focado em manter o custo de escalonamento baixo e em alcançar boa localidade dos dados, a escalonabilidade do sistema nunca foi negligenciada. Na verdade, o algoritmo de escalonamento proposto provou ser bastante robusto, não falhando qualquer meta temporal nas experiências realizadas. Portanto, podemos afirmar que alguma inversão de prioridades, causada pela sub-política de roubo BAS, não compromete os objetivos de escalonabilidade, e até ajuda a reduzir a contenção nas estruturas de dados. Mesmo assim, o RTWS também suporta uma sub-política de roubo determinística: PAS. A avaliação experimental, porém, não ajudou a ter uma noção clara do impacto de uma e de outra. No entanto, de uma maneira geral, podemos concluir que o RTWS é uma solução promissora para um escalonamento eficiente de tarefas paralelas com restrições temporais.

Suporte à computação paralela e distribuída em Java: API e comunicação entre nós cooperantes

Este trabalho é uma parte do tema global “Suporte à Computação Paralela e Distribuída em Java”, também tema da tese de Daniel Barciela no mestrado de Engenharia Informática do Instituto Superior de Engenharia do Porto. O seu objetivo principal consiste na definição/criação da interface com o programador, assim como também abrange a forma como os nós comunicam e cooperam entre si para a execução de determinadas tarefas, de modo a atingirem um único objetivo global. No âmbito desta dissertação foi realizado um estudo prévio relativamente aos modelos teóricos referentes à computação paralela, assim como também foram analisadas linguagens e frameworks que fornecem suporte a este mesmo tipo de computação. Este estudo teve como principal objetivo a análise da forma como estes modelos e linguagens permitem ao programador expressar o processamento paralelo no desenvolvimento das aplicações. Como resultado desta dissertação surgiu a framework denominada Distributed Parallel Framework for Java (DPF4j), cujo objetivo principal é fornecer aos programadores o suporte para o desenvolvimento de aplicações paralelas e distribuídas. Esta framework foi desenvolvida na linguagem Java. Esta dissertação contempla a parte referente à interface de programação e a toda a comunicação entre nós cooperantes da framework DPF4j. Por fim, foi demonstrado através dos testes realizados que a DPF4j, apesar de ser ainda um protótipo, já demonstra ter uma performance superior a outras frameworks e linguagens que possuem os mesmos objetivos.

A teoria dos detalhes luminosos de Ezra Pound e a teoria das cores e da vibração de Wassily Kandinsky: novas possibilidade exegéticas e tradutivas

O objectivo deste artigo é aplicar aos Estudos de Tradução Literária o binómio literatura-imagem com origem no Expressionismo alemão e no Vorticismo inglês, optando por um suporte teórico tão seminal quanto a ficcionalidade a que se destinava a expectativa programática dessas vanguardas, nas décadas dez e vinte do passado século. Da poética visual de Wassily Kandinsky, formulada em Über das Geistige in der Kunst - insbesondere in der Malerei [Do Espiritual na Arte](Kandinsky, 1912/1952), falarei da noção de Vibração. Da poética textual de Ezra Pound, exposta em ―I Gather the Limbs of Osiris‖ (1911/12), remeterei para a Teoria dos Detalhes Luminosos. São duas poéticas que, partindo de meios de expressão distintos – a imagem e a palavra, apresentam consideráveis pontos de contacto, no que diz respeito à abordagem produtiva e receptiva do objecto artístico. Ambas suspendem a procura convencional de um sentido na arte e na literatura, reunindo novas possibilidades exegéticas e, por conseguinte, tradutivas: a articulação entre a palavra poética e a imagem, com um amplo leque de possibilidades relativo a modos de estrutura perceptual, que se viriam a revelar proféticos, muito especialmente no que diz respeito à Tradução Artística, seja literária ou intersemiótica.

O Lugar da Teoria

A questão teórica fundamental que se coloca aos estudos de comunicação situa-se sempre em dois planos: - A comunicação é um produto social - A sociedade é produzida pela omunicação Visto desta forma parece simples, não levantar dúvidas, todavia quando afirmamos que a comunicação é um produto social já estamos a ter uma certa ideia de comunicação: a de que a comunicação envolve sempre pessoas em co-presença ou ligadas por aparelhos, o que significa excluir as conexões que podem ocorrer apenas entre aparelhos. O que ocorre entre dois aparelhos não seria comunicação, quanto muito seria transmissão de informação. Nesta acepção, a transmissão de informação não encerra/não engloba todo o significado da comunicação. Se tivermos uma situação de actividade de significação face a face há sempre a possibilidade de comunicação, mas ela não está garantida no seu sentido mais forte (que é pôr comum). E se estivermos a falar de uma situação de mediação técnica de actividade de significação entre pessoas, há igualmente uma possibilidade de comunicação, e novamente ela não está garantida à partida no seu sentido mais forte (pode haver difusão de propaganda, mas não há um pôr em comum).

Análise e síntese de música através de sistemas computacionais

Este trabalho, realizado no âmbito da unidade curricular de Tese/Dissertação, procura mostrar de que forma a Computação Evolucionária se pode aplicar no mundo da Música. Este é, de resto, um tema sobejamente aliciante dentro da área da Inteligência Artificial. Começa-se por apresentar o mundo da Música com uma perspetiva cronológica da sua história, dando especial relevo ao estilo musical do Fado de Coimbra. Abordam-se também os conceitos fundamentais da teoria musical. Relativamente à Computação Evolucionária, expõem-se os elementos associados aos Algoritmos Evolucionários e apresentam-se os principais modelos, nomeadamente os Algoritmos Genéticos. Ainda no âmbito da Computação Evolucionária, foi elaborado um pequeno estudo do “estado da arte” da aplicação da Computação Evolucionária na Música. A implementação prática deste trabalho baseia-se numa aplicação – AG Fado – que compõe melodias de Fado de Coimbra, utilizando Algoritmos Genéticos. O trabalho foi dividido em duas partes principais: a primeira parte consiste na recolha de informações e posterior levantamento de dados estatísticos sobre o género musical escolhido, nomeadamente fados em tonalidade maior e fados em tonalidade menor; a segunda parte consiste no desenvolvimento da aplicação, com a conceção do respetivo algoritmo genético para composição de melodias. As melodias obtidas através da aplicação desenvolvida são bastante audíveis e boas melodicamente. No entanto, destaca-se o facto de a avaliação ser efetuada por seres humanos o que implica sensibilidades musicais distintas levando a resultados igualmente distintos.

Sobre o uso de métodos qualitativos em Saúde Coletiva, ou a falta que faz uma teoria

O artigo problematiza certos usos de métodos qualitativos no campo da saúde coletiva que se caracterizam pela ausência de referências teóricas e escamoteiam a racionalidade presente na sua exclusiva utilização como técnica. A proliferação e aceitação desses estudos possivelmente ocorrem pela força da racionalidade instrumental com que têm sido conduzidos. Freqüentemente vistos de maneira cuidadosa, os resultados nem sempre são secundados pela apresentação criteriosa do quadro teórico que fundamenta a interpretação. O uso de técnicas "validadas", os discursos construídos e as narrativas das ações dos "sujeitos" pesquisados não comprometem o pesquisador na relação, já que prescindem da contextualização histórico-espacial e do marco teórico-metodológico que imprimem sentido histórico e social aos estudos.