Linguagem de especificação leve Hoare-separação para java

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Combate à fraude em jogos de casino, assistida por computador

No decorrer dos últimos anos tem-se verificado um acréscimo do número de sistemas de videovigilância presentes nos mais diversos ambientes, sendo que estes se encontram cada vez mais sofisticados. Os casinos são um exemplo bastante popular da utilização destes sistemas sofisticados, sendo que vários casinos, hoje em dia, utilizam câmeras para controlo automático das suas operações de jogo. No entanto, atualmente existem vários tipos de jogos em que o controlo automático ainda não se encontra disponível, sendo um destes, o jogo Banca Francesa. A presente dissertação tem como objetivo propor um conjunto de algoritmos idealizados para um sistema de controlo e gestão do jogo de casino Banca Francesa através do auxílio de componentes pertencentes à área da computação visual, tendo em conta os contributos mais relevantes e existentes na área, elaborados por investigadores e entidades relacionadas. No decorrer desta dissertação são apresentados quatro módulos distintos, os quais têm como objetivo auxiliar os casinos a prevenir o acontecimento de fraudes durante o decorrer das suas operações, assim como auxiliar na recolha automática de resultados de jogo. Os quatro módulos apresentados são os seguintes: Dice Sample Generator – Módulo proposto para criação de casos de teste em grande escala; Dice Sample Analyzer – Módulo proposto para a deteção de resultados de jogo; Dice Calibration – Módulo proposto para calibração automática do sistema; Motion Detection – Módulo proposto para a deteção de fraude no jogo. Por fim, para cada um dos módulos, é apresentado um conjunto de testes e análises de modo a verificar se é possível provar o conceito para cada uma das propostas apresentadas.

O iberismo e a França como cultura intermediária em Oliveira Martins

pp. 89-95

Local political elites and the Revolution: Portalegre 1941-1997

Who directs local politics? Which social and professional groups directed city and village councils in Portugal? What was their evolution and behaviour for the second half of the twentieth century, during the final years of the Estado Novo and the political transition provided by the Revolution of April 25th, 1974?

Estudo e Implementação de Ferramentas Lean

Neste documento, apresenta-se o reflexo sobre o trabalho de estágio desenvolvido entre 17 de Fevereiro e 31 de Julho de 2014, nas instalações da Fábrica das Estruturas Metálicas da Faurecia, em São João da Madeira, num Projecto Final no âmbito de Implementação de Ferramentas Lean. O objetivo proposto foi a participação na procura e implementação de soluções, com vista à melhoria contínua do sistema de produção. Foi utilizado, para esse efeito, um vasto conjunto de ferramentas entre as quais os 5S, QRCI, Standardized Work, entre outras e amplamente empregues na indústria automóvel (e nesta empresa em particular), através do Sistema de Excelência Faurecia (FES), aplicado ao ramo de negócio onde está solidamente implantada esta multinacional de origem francesa. O período de tempo em que decorreu o estágio constituiu uma oportunidade única para o estagiário contactar com os problemas existentes no departamento de produção, num mercado tão concorrencial e competitivo como é o da indústria de componentes para automóveis. O presente trabalho de estágio apresenta duas vertentes distintas: uma de caráter interno à empresa e outra relativa aos fornecedores e clientes. Em termos internos, foi visível a batalha pela diminuição das variabilidades que surgem no plano da produção ao absorver grande parte do esforço dos agentes que trabalham na otimização dos processos. Externamente, observou-se a dificuldade em encontrar fornecedores adequados a satisfazer os aprovisionamentos da Faurecia, em quantidade e qualidade, e um elevado grau de exigência imposto por parte dos vários clientes. Por fim, este Projeto possibilitou a aplicação de conhecimentos adquiridos não só ao longo do curso como também durante a realização do estágio, o conhecimento da realidade industrial e o enriquecimento técnico e pessoal.

O Poder Tributário das Autarquias

Dissertação de Mestrado em Solicitadoria

O cinema nativo americano contemporâneo : expressão da identidade postindian

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Comunicação

Elaboração de um projeto de uma central fotovoltaica de miniprodução e estudo de viabilidade técnica, económica e financeira

Desde o final do século XVIII, quando se iniciou a revolução industrial, o crescimento económico tem sido assente num consumo elevado de combustíveis fósseis que libertam gases com efeito de estufa. A emissão destes gases e a escassez dos combustíveis fósseis são temas que, desde as últimas duas décadas do século XX, ocupam um lugar de destaque nas agendas de política mundial. A produção de energia através de fontes renováveis surge como alternativa e poderá ser a solução para países com escassos recursos de origem fóssil, como é o caso de Portugal, minimizando também a sua dependência energética do exterior. Uma das medidas de incentivo lançada pelo Governo Português em 2007, foi a criação de um regime simplificado aplicável à microprodução descentralizada de eletricidade através de fontes de energia renováveis e de cogeração. À semelhança da maioria dos países europeus, o principal meio de promoção destes sistemas em Portugal foram as Feed-in-Tariffs, que consistem numa tarifa de venda de energia elétrica de origem renovável acima da tarifa de mercado. Estas tarifas permitiram, sobretudo, o crescimento do setor fotovoltaico em Portugal. Atualmente, o amadurecimento da tecnologia fotovoltaica, associado ao constante aumento das tarifas de energia elétrica, permite que se torne vantajosa a instalação de sistemas fotovoltaicos para autoconsumo. Neste contexto, o atual Governo Português, criou recentemente um regime jurídico aplicável à produção de eletricidade para autoconsumo. O objetivo deste trabalho é demonstrar, com base na minha experiência profissional, a metodologia de dimensionamento de uma central fotovoltaica ligada à Rede Elétrica de Serviço Público. Será utilizado como objeto de estudo um projeto constituído por 28 centrais fotovoltaicas de Miniprodução de 100 kW, dispersas por Portugal Continental, para o qual será efetuada a análise financeira do investimento. Pretende-se ainda apresentar o novo enquadramento legislativo para o Autoconsumo e Pequena Produção distribuída, detalhar as suas principais caraterísticas e efetuar um estudo económico para cada um destes regimes.

Marketing for future: Eddmi – Pass Platform

In a highly competitive market companies know that having quality products or provide good services is not enough to keep customers "faithful". Currently, quality of products/services, location and price are fundamental aspects customers expect to get on every purchase, so they look for ways to distinguish companies. This can happen either in a strictly materialistic way or by evaluation of intangible metrics such as having his opinion appreciated or being part of a selected group of "premium" customers. Therefore, companies must find ways to value and reward its customers in order to keep them "faithful" to their products or services. Loyalty systems are one means to achieve this goal, however, due to its nature and how they are implemented, often companies end up having low acceptance, without achieving intended objectives. In an era of technological revolution, where global average adoption of smartphones and tablets is 74% and 40% [Our Mobile Planet, 2014], the opportunity to reinvent loyalty systems reappears. Throughout this thesis a new tool, relying on the latest technologies and aiming to fulfill this market opportunity, will be presented. The main idea is to use ancient loyalty concepts, such as stamps or pointscards, and transforms them into digital cards, to be used in digital wallets, introducing an innovative technology component based on Apple's Passbook technology. The main goal is to create a platform for managing the card’s life cycle, allowing anyone to create, edit, distribute and analyze the data, and also create a new communication channel with customers, improving the customer-­‐supplier relationship and enhancing the mobile-­‐marketing.

As Características Teocráticas do Regime Político Iraniano e a Respectiva Influência na Formulação da Política Externa do País

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciência Política e Relações Internacionais – variante de Relações Internacionais

A diplomacia portuguesa no processo de autodeterminação timorense (evoluções entre 1974 e 1999)

Dissertação de Mestrado em Ciência Política e Relações Internacionais especialização em Estudos Políticos de Área

A modernização do comércio no eixo de Vila Franca de Xira

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Gestão do Território, especialidade Planeamento e Ordenamento do Território

Palácio novo da Pena

Dissertação de mestrado em História da Arte Contemporânea

Análise ao Sistema de Alimentação de Tração Elétrica (1x25 kV - Rede convencional, 2x25 kV –Rede convencional + Alta velocidade)

O transporte ferroviário é um meio de transporte em que o meio de deslocamento ocorre por meio de vias férreas, transportando, entre outros, pessoas e cargas. Este meio de transporte é um dos mais antigos e a sua origem está ligada directamente com a Primeira Revolução Industrial, acontecimento histórico que sucedeu na Europa no final do século XVIII e início do século XIX. Uma rede ferroviária é um sistema único no ponto de vista do uso de tração elétrica assim como no modo que se insere na sociedade por ser um meio de transporte seguro, rápido e bastante utilizado pela população. As redes de alimentação de energia (transporte e distribuição) e a rede de alta velocidade ditaram novas soluções para a alimentação elétrica ferroviária contribuindo para a sua evolução técnica, na segurança e também na compatibilidade eletromagnética no sentido de se estabelecerem critérios de controlo e prevenção dos efeitos indesejáveis provocados pela interferência magnética. O presente trabalho tem por objetivo analisar e estudar tecnicamente como se comportam as redes que alimentam os veículos de tração elétrica desde as subestações até à alimentação das locomotivas. Dada a complexidade da sua análise torna-se necessário o recurso a ferramentas de simulação mais ou menos complexas. No presente trabalho recorreu-se ao MATLABTM, nomeadamente, ao MATLABTM/Simulink. Foram analisadas as principais grandezas elétricas em cenários distintos para os sistemas de alimentação da catenária de 1x25 kV e 2x25 kV.

O romance pós-revolucionário português : propostas de uma nova construção do sujeito nacional

pp. 221-233