IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

O desenvolvimento socioeconómico do sector cooperativo português: estudo de caso da cooperativa Terra Chã e o projecto cotado na Bolsa de Valores Sociais de Lisboa

Mestrado em Contabilidade

A implementação do Balanced Scorecard nos trabalhos de auditoria interna e o seu contributo para a estratégia organizacional - caso do sector público: autarquia local

Mestrado em Auditoria

O Balanced Scorecard no sector de controlo contabilístico

Mestrado em Contabilidade e Gestão das Instituições Financeiras

As alterações contabilísticas nos contratos de construção em Portugal: estudo de caso da H Tecnic de 2005 a 2010

Mestrado em Contabilidade

Comportamento alimentar e excesso de peso em profissionais do sector da saúde: estratégias para a promoção de saúde no local de trabalho

Mestrado em Intervenção Sócio-Organizacional na Saúde - Área de especialização: Políticas de Administração e Gestão de Serviços de Saúde.

Efeitos de um programa baseado em tarefas orientadas na competência de marcha em indivíduos com acidente vascular cerebral

Mestrado em Fisioterapia.

Opções reais: Avaliação do projecto de investimento de três parques eólicos em ambiente onshore e offshore

Os Projectos de Investimento desempenham um importante papel no crescimento económico-social dos países, proporcionando emprego e desenvolvimento tecnológico. Na óptica dos projectos inovadores, concretamente no sector das energias renováveis, acarretam elevados investimentos, numa base temporal de longo prazo. Nestes casos as decisões estratégicas assumem um papel determinante, assim, o principal objectivo desta dissertação é a utilização das Opções Reais como métrica de avaliação dos projectos de investimento. A análise e avaliação dos projectos implica em si incerteza nas previsões, desta forma, as Opções Reais minimizam o risco associado à incerteza através da inclusão da flexibilidade no processo de avaliação. A primeira parte da dissertação consiste na contextualização energética mundial e nacional, ao nível da energia primária e das energias renováveis, com incidência na energia eólica. A segunda consiste na introdução teórica dos projectos de investimento e dos conceitos inerentes às Opções Financeiras e às Opções Reais. Por último, apresenta-se um caso de estudo de construção de três parques eólicos e as consequentes decisões de investimento concluindo que os modelos de avaliação das Opções Reais proporcionam alternativas e interdependência em investimentos futuros.

Comportamento à fadiga de juntas soldadas de aços tipo 460M com fios fluxados

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

Controlo da qualidade dosimétrico no serviço de radioterapia do Hospital CUF Descobertas (HCD): importância do controlo da qualidade do sector da física e resultados da auditoria ESTRO-EQUAL

A calibração e o controlo da qualidade de um acelerador linear são passos muito importantes num serviço de Radioterapia, para garantir a qualidade dos tratamentos prestados. O sector da Física da Unidade de Radioterapia do Hospital Cuf Descobertas implementou um rigoroso Programa de controlo de qualidade ao equipamento produtor de radiação e aos equipamentos medidores de radiação, de acordo com o Dec-Lei 180/2002 e com os protocolos internacionais. Para tal, foram implementados procedimentos, criadas folhas de cálculo, instruções de trabalho e impressos. Foram ainda implementados testes aos equipamentos com periodicidade definida: controlo de qualidade diário e controlo de qualidade após intervenções (manutenções preventivas e correctivas). No decorrer do ano de 2005, o sector da Física colaborou activamente com toda a equipa da Radioterapia na implementação da Norma ISO 9001:2000 no serviço, contribuindo com o seu know how na implementação desta, numa área tão importante como a da garantia da qualidade dos feixes de radiação e das respectivas calibrações em dose. Numa procura de melhoria contínua da qualidade dos serviços prestados aos pacientes, decorre ainda uma auditoria externa da EQUAL-ESTRO*, intercomparação postal com dosímetros termoluminescentes. A qualidade dos feixes de energias utilizados diariamente é analisada, tanto ao nível das calibrações absolutas de cada um dos feixes de fotões e de electrões, como ao nível dos cálculos de dose obtidos com o sistema de planimetria XiO da CMS. Os resultados das duas primeiras fases da intercomparação, relativa aos dois feixes de fotões de 6 MV e 15 MV e feixes de electrões de 4 MeV, 8 MeV e 12 MeV, foram considerados pela EQUAL-ESTRO num nível óptimo (desvio máximo na dose medida em relação à dose de referência |d| ≤ 3%).

Comunicação em saúde e a segurança do doente: problemas e desafios

A segurança do doente constitui um dos grandes desafios dos cuidados de saúde do séc. XXI. O reconhecimento da ocorrência de erros ou acidentes adversos com consequências gravosas para os doentes e para as instituições de saúde, levou, recentemente, a Organização Mundial de Saúde (OMS) a nomear comissões centradas na identificação de situações de risco e na elaboração de soluções que possam servir de recurso para a prevenção dessas situações. O resultado dos trabalhos destas comissões tornou evidente a importância da comunicação como determinante da qualidade e da segurança na prestação de cuidados. Neste artigo é abordada a problemática da comunicação em saúde e a sua relação com a segurança do doente, identificados problemas e apontadas algumas pistas para a sua prevenção. São especificamente referidos os principais problemas de comunicação entre os profissionais de saúde (nas passagens de turno e nas equipas de saúde) e entre estes profissionais e os doentes.

World press photo 2012: a construção discursiva da Primavera Árabe

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Jornalismo.

Relações públicas no sector da saúde e do bem-estar: estratégia de r.p. para o posionamento de uma cadeia de spas de hotel

A área da saúde e do bem-estar em Portugal, é um segmento em clara expansão. Dadas as suas características geográficas, estranha-se, contudo, a falta de equipamentos no campo da talassoterapia bem como a dispersidade da oferta no sector do turismo de saúde. Respondendo a uma necessidade sentida pelo grupo Hotéis Real, este trabalho de projecto pode definir-se como o desenvolvimento de uma estratégia de construção e expressão de um novo serviço de spas para esta cadeia hoteleira, numa perspectiva de comunicação corporate. Para tal, o projecto estrutura-se assente numa revisão de literatura que analisa as principais temáticas e questões tanto da área da saúde e do bem-estar, como do sector do turismo.

As relações públicas para além das guest relations: relatório de estágio no grupo Porto Bay Hotels & Resorts

Foi realizado um estágio no grupo Porto Bay Hotels & Resorts, um grupo hoteleiro da Região Autónoma da Madeira, com a duração de três meses. Apresenta-se assim no presente trabalho uma perspectiva das Relações Públicas no sector do turismo e hotelaria bem como a discussão do porquê do afunilamento desta função de gestão das relações entre as organizações e os seus públicos nas Guest Relations em algumas das unidades hoteleiras em que trabalhámos. O turismo é actualmente um dos principais sectores da economia mundial. A sobrevivência de um destino turístico, unidade hoteleira ou mesmo de um resort, depende em muito da percepção que os seus stakeholders têm da qualidade dos seus serviços. Assim as Relações Públicas, como em outros sectores, assumem um papel de destaque sendo que estas têm a capacidade de trabalhar a relação entre uma organização e os seus stakeholders, gerindo conflitos e expressando uma identidade positiva sobre a mesma e trabalhando a sua reputação e visibilidade. Em suma este trabalho pretende compreender e reflectir sobre as relações públicas no sector do turismo e hotelaria mesmo quando não o são assim entendidas. Defender-se-á uma perspectiva global, integrada e proactiva das Relações Públicas no sector hoteleiro.

A Fraude Contabilística no Sector Bancário e a Responsabilidade da Auditoria na sua prevenção e detecção: o caso português

Mestrado em Auditoria