Linguagem intermédia tipificada para concorrência em memória partilhada

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Modelação de concerns voláteis em aplicações geoespaciais: o caso dos concerns geoespa

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Inform

Resolução do problema de atribuição de salas a exames

Este trabalho pretende resolver o problema das alocações de salas a exames no Departamento de Engenharia Mecânica do Instituto Superior de Engenharia do Porto. A solução desenvolvida atribui salas a exames respeitando as restrições de capacidade de salas e a restrição de realização dum único exame por sala num determinado período, por forma a minimizar a atribuição de salas e, consequentemente, docentes a exames. Foi criado um modelo matemático, que representa as variáveis relevantes do problema, e realiza a sua implementação numa plataforma informática amigável para o utilizador. O modelo matemático foi validado comparando as suas soluções com as obtidas através do processo manual. Os resultados do novo método demonstram a sua supremacia relativamente ao modelo atual. No futuro, poderá ser estudada a possibilidade de usar esta ferramenta na resolução do mesmo problema em realidades diferentes da do Departamento de Engenharia Mecânica do ISEP.

O método de cálculo de custos baseado nas actividades

O século XX, sobretudo na segunda metade, trouxe para os sistemas de informação empresariais (estes são o suporte de múltiplos modelos ligados à planificação, ao controlo e à tomada de decisões em geral) alterações espectaculares, cujo difícil domínio é o motor de novas propostas e achegas multidisciplinares. Como parte essencial dos referidos sistemas, a Contabilidade de Custos tem perseguido determinar valores unitários de bens ou serviços, de funções ou outros portadores de custos, com diferentes propósitos segundo objectivos, épocas e áreas geográficas concretas. Durante os últimos anos do século passado e no primeiro quartel deste, os cálculos ligaram-se essencialmente ao produto como forma de actuar sobre a eficiência laboral. Os engenheiros industriais (em empresas multinacionais americanas), preocupados em conseguir uma maior racionalidade na utilização dos recursos, estudaram profundamente a normalização e standardização dos materiais e equipamentos, o preestabelecimento de métodos e a medida dos tempos de trabalho. A sua investigação estendeu-se também à forma de organização mais adequada para o desenvolvimento da actividade empresarial; de tal forma que, sob a “batuta” de homens como F. W. Taylor (e o seu método de trabalho para definir tarefas e ferramentas mais adequadas a cada actividade), E. Mayo (e a sua preocupação pelas condições de trabalho em equipa) ou H. Fayol (e a sua procura sistemática das características que devem contribuir para a administração eficiente das organizações), foram-se confirmando os conteúdos actuais dos conceitos de disciplina e ordem, liderança e hierarquia, iniciativa e espírito de superação, etc; assim como novas formas de entender, organizar e realizar o trabalho, que configurarão relações laborais diferentes das herdadas da sociedade pré-industrial. Corolário de tudo foram a especialização e a departamentalização da empresa, bem como o progressivo aparecimento de uma estrutura funcional, com competências pessoais marcadas pela hierarquia. Os engenheiros, com o objectivo de racionalizarem ao máximo as tarefas produtivas, criaram as bases para o desenvolvimento do custo “standard” (padrão) e reuniram o seu estudo com os problemas da direcção geral do negócio: os padrões técnicos serão referência obrigatória para a remuneração do pessoal e a programação de existências e compras, assim como para determinar as actividades dos centros (base do cálculo dos orçamentos); e ainda se revelaram um óptimo instrumento de controlo. Acompanhando este movimento, o cálculo do custo industrial centrar-se-à nos produtos (como portadores finais dos diferentes consumos necessários para a sua obtenção) sobre a base dos padrões técnicos definidos para eles. Não obstante, na primeira metade do nosso século, e sob a pressão de uma procura crescente de informação financeira, iniciou-se a passagem da gestão de custos à contabilidade de custos: os textos de contabilidade dos anos 20 propõem o cálculo do custo de produção com uma orientação clara - valorizar as existências para a informação financeira (Balanço e Resultados no fim do exercício). Só depois da 2ª Guerra Mundial se começa a falar de gestão e, por consequência, de custos para a planificação, controlo e tomada de decisões (Johnson e Kaplan, 1987). Impõe-se uma reflexão sobre os diferentes significados que o custo tem tido ao longo do nosso século (ligando esses significados às circunstâncias que provocaram cada elaboração) para a sua construção futura.

Os robots na aprendizagem da trignometria

Este trabalho foi elaborado no âmbito do Mestrado de Ensino de Matemática do 3º Ciclo do Ensino Básico e Secundário da Universidade da Madeira, no ano letivo de 2012/2013. Os grandes objetivos deste estudo são os de analisar qualitativamente uma atividade, para compreender como é que os alunos aprendem trigonometria, utilizando os robots NXT da Lego. De igual modo, se procede também, de forma sucinta, à apresentação do trabalho desenvolvido pelo grupo de estágio, ao longo da Prática de Ensino Supervisionado. Para a realização da investigação, foram recolhidos dados pelo investigador, através de registos audiovisuais do trabalho dos alunos, com câmara e vídeo. Com o fim de melhor estudar o problema aqui apresentado, o mesmo foi dissecado em três questões de investigação: (a) Que aprendizagens os alunos realizam com a montagem, programação e interação com os robots? (b) De que forma é que os alunos aprendem trigonometria, quando utilizam os Robots? (c) Quais as dificuldades manifestadas pelos alunos na resolução de problemas? As questões de investigação iluminaram a análise dos dados. Das conclusões que advêm deste estudo destaca-se o papel essencial da robótica e dos materiais manipuláveis, na construção e concetualização do conhecimento dos alunos.

Videocultura, memória e esquecimento

pp. 83-93

Conversão automática de código CLP para ambientes de simulação com recurso a normas internacionais

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Semi-Partitioned Scheduling of Fork-Join Tasks using Work-Stealing

13th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2015). 21 to 23, Oct, 2015, Session W1-A: Multiprocessing and Multicore Architectures. Porto, Portugal.

Critérios para o planeamento de equipamentos de saúde. Análise de Caso de Estudo no contexto urbano da AML

Dissertação para a obtenção do Grau de Mestre em Engenharia Civil – Perfil Construção

Monitoring for a decidable fragment of MTLD

The 15th International Conference on Runtime Verification (RV'15). 22-25 September. Vienna, Austria.

Resolução de horários de exames com pesquisa local restringida

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Potenciais impactos para Guimarães do acolhimento da Capital Europeia da Cultura 2012

A nomeação de Guimarães como Capital Europeia da Cultura (CEC), em 2012, suscitou grandes expectativas na comunidade local, nos territórios limítrofes e, de um modo geral, na população portuguesa. No entanto, muitos dos potenciais impactos são ainda pouco perceptíveis pela maior parte das pessoas, se bem que muitas delas antecipem que os impactos sejam positivos. A presente comunicação pretende aferir, de forma prospectiva, os possíveis impactos do acolhimento por Guimarães da CEC, em 2012. Por referência a experiências anteriores de organização de outras CEC, procura-se identificar alguns dos efeitos, em termos de atracção de turistas (nacionais e internacionais), das actividades culturais programadas, disponibilidades orçamentais e audiências, bem como aferir do potencial impacto económico e do legado do evento para o futuro da cidade. Com base na análise efectuada, pode concluir-se que Guimarães CEC 2012 oferece um potencial de atracção para o Norte do país e região da Galiza, possui um orçamento, por habitante, comparável a outras CEC e beneficia do empenhamento dos agentes locais. Menos positiva é a distância da cidade a dois dos principais destinos turísticos nacionais (Lisboa e Algarve), a extensão da programação cultural do evento, o fraco envolvimento dos agentes culturais locais no programa de actividades do evento e a inexistência de espaços museológicos de referência internacional. Em contrapartida, destaca-se a existência de ligações aéreas de baixo custo a várias cidades Europeias através do aeroporto do Porto, a possibilidade de reposicionar a imagem da cidade ao nível nacional e internacional, a disponibilização de fundos para a revitalização urbana do centro histórico e o aumento esperado do número de turistas (nacionais e estrangeiros). A recessão económica (nacional e Europeia), as dificuldades orçamentais, a pouca ambição da política de angariação de patrocínios e de recursos financeiros privados e a sustentabilidade do evento no futuro são algumas ameaças que poderão comprometer o sucesso de Guimarães CEC 2012

Sistema de Controlo Remoto de Luzes de Aeródromo

Este relatório apresenta o trabalho realizado no âmbito da unidade curricular de Dissertação do Mestrado em Engenharia Electrotécnica e de Computadores – área de especialização de Automação e Sistemas. O trabalho realizado consiste no desenvolvimento de um Sistema de Controlo Remoto de Luzes de Aeródromo (SCRLA) que pode ser aplicado em paralelo aos comandos locais de controlo das luzes de aproximação, pista ou circulação, entre outras, de uma infra-estrutura aeroportuária. O objectivo fundamental deste sistema consiste em permitir ao piloto de uma aeronave o acendimento das luzes do aeródromo desde a própria aeronave, recorrendo apenas ao equipamento de rádio VHF existente a bordo da mesma e que é normalmente usado para comunicações com os serviços de controlo de tráfego aéreo. Este sistema, em aeródromos com possível operação nocturna (e.g., heliportos de hospitais), permite uma redução dos custos associados a despesas com eventual pessoal técnico ou a redução da carga de trabalho neste, e uma diminuição do consumo de energia eléctrica, uma vez que as luzes apenas são acendidas quando necessário. Este sistema permite também reduzir a poluição luminosa no ambiente e contribui positivamente para a longevidade dos equipamentos luminosos. No desenvolvimento do sistema, foram adquiridos e/ou aplicados conhecimentos nas áreas de navegação aérea, infra-estruturas aeroportuárias, telecomunicações, normalização e estandardização, electrónicas analógica e digital, programação de baixo nível em microcontroladores, desenho e construção de circuitos impressos, desenho e construção mecânica.

Os Problemas Ambientais em Cabo Verde: Políticas e Medidas de Protecção Ambiental. Estudo do Caso Comparativo “Praia Vs São Salvador do Mundo”

Trabalho Realizado para obtenção do Grau de Mestrado em Ciência Política e Relações Internacionais Especialização Globalização e Ambiente

NONIUS.TV na SMART TV LG PRO: Centric

A Smart TV é um equipamento novo e em evolução que incorpora um computador e acesso à Internet em ecrãs de grande qualidade. Permite a implementação de serviços interactivos, acesso à Internet e televisão. À medida que a tecnologia melhora, muitos equipamentos estão a tornar-se tão capazes quanto os computadores normais quando se trata de navegação na web e até mesmo vídeo na Internet (Video-on-Demand e streaming de vídeo). O projecto de estágio “NONIUS.TV na Smart TV LG Pro:Centric” foi desenvolvido na empresa Nonius Software que está inserida no ramo das telecomunicações. Uma das suas áreas de actividade está relacionada com o desenvolvimento de plataformas de entretenimento para o mercado hoteleiro, combinando diversos serviços e funcionalidades a pensar no hóspede. Este projecto teve como finalidade implementar alguns dos serviços e funcionalidades já existentes em plataformas que usam uma Set-Top Box da Nonius Software, numa Smart TV, aproveitando também para inovar e criar novos serviços. Nesse conjunto está incluída a implementação de uma Caixa de Mensagens, Serviço de Quartos, Serviço de Desporto e Lazer, Serviços Informativos, um cliente RTSP, um despertador, um sistema de mudança de idioma e outras pequenas funcionalidades desenvolvidas ao longo de toda a aplicação. Esta dissertação apresenta um estudo sobre as tecnologias Smart TV existentes no mercado, assim como as vantagens e desvantagens da sua utilização para este projecto. Após uma análise de requisitos de forma a estruturar e desenhar os serviços e funcionalidades a serem criados para a aplicação, implementou-se um conjunto de serviços, usando a linguagem de programação ActionScript 2.0, que permitiram à empresa disponibilizar um novo produto baseado na televisão Pro:Centric da LG.