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 endomarketing como factor de sucesso nas organizações: o impacto no empenhamento e na satisfação dos clientes internos da empresa PT PRO

A literatura descreve que as ações de endomarketing contribuem para a aproximação, interação e o bom relacionamento entre a empresa e os colaboradores. Sendo caracterizada como uma relação de troca, na qual a empresa fornece instrumentos capazes de promover o interesse dos colaboradores a participarem mais ativamente em toda a envolvente organizacional - através de ações que favoreçam o diálogo, sugestões, partilha de conhecimentos e informações, bem como relatos de situações corriqueiras ocorridas no dia-a-dia da empresa. Em contrapartida, à medida que o colaborador se sente valorizado pela empresa e pelos colegas, passa a perceber a importância do seu trabalho dentro da organização, permitindo que identifique o trabalho como algo prazeroso. Esta troca contribui para a produtividade e desenvolvimento da empresa, bem como a satisfação e empenhamento dos colaboradores no trabalho. Neste sentido, visando averiguar como esta situação é vivenciada na prática decidiu-se pela realização de um estágio, tendo como questão de estudo qual o impacto das ações de endomarketing no empenhamento e na satisfação dos clientes internos da PT PRO? Para responder a tal indagação foi realizado um estágio na empresa PT PRO, nomeadamente na Direção de Desenvolvimento de Mercado, Marketing e Formação. Apresentam-se ao longo do presente relatório a descrição das especificidades do estágio, tal como as principais ilações daí retiradas tendo através de pesquisas documentais (arquivo e documentos internos e Intranet), reuniões com a Direção de Marketing e com a tutora do estágio, tal como pela aplicação e análise de um inquérito por questionário aplicado aos colaboradores, chegando-se à conclusão que, de facto, as ações de endomarketing levadas a cabo pela empresa contribuem para o empenhamento e satisfação dos colaboradores.

STIR, SPIR and SPAIR techniques in magnetic resonance of the breast: a comparative study

The amount of fat is a component that complicates the clinical evaluation and the differential diagnostic between benign and malign lesions in the breast MRI examinations. To overcome this problem, an effective erasing of the fat signal over the images acquisition process, is essentials. This study aims to compare three fat suppression techniques (STIR, SPIR, SPAIR) in the MR images of the breast and to evaluate the best image quality regarding its clinical usefulness. To mimic breast women, a breast phantom was constructed. First the exterior contour and, in second time, its content which was selected based on 7 samples with different components. Finally it was undergone to a MRI breast protocol with the three different fat saturation techniques. The examinations were performed on a 1.5 T MRI system (Philips®). A group of 5 experts evaluated 9 sequences, 3 of each with fat suppression techniques, in which the frequency offset and TI (Inversion Time) were the variables changed. This qualitative image analysis was performed according 4 parameters (saturation uniformity, saturation efficacy, detail of the anatomical structures and differentiation between the fibroglandular and adipose tissue), using a five-point Likert scale. The statistics analysis showed that anyone of the fat suppression techniques demonstrated significant differences compared to the others with (p > 0.05) and regarding each parameter independently. By Fleiss’ kappa coefficient there was a good agreement among observers P(e) = 0.68. When comparing STIR, SPIR and SPAIR techniques it was confirmed that all of them have advantages in the study of the breast MRI. For the studied parameters, the results through the Friedman Test showed that there are similar advantages applying anyone of these techniques.

Comprometimento organizacional, gestão de conflitos e liderança em instituições de saúde

O comprometimento organizacional tem surgido como um conceito essencial no estudo dos comportamentos dos indivíduos em relação ao trabalho, podendo ser definido como a intensidade e a estabilidade da relação do indivíduo para com a organização em que trabalha. O comprometimento por si só não garante o sucesso da organização, mas um elevado grau de comprometimento dos colaboradores pode contribuir para a eficiência da organização, garantindo que esta atinja os seus objetivos. Na área da saúde os profissionais que assumem cargos de gestão, e que se sentem comprometidos com a instituição em que trabalham, sustentam os valores e objetivos da organização, os quais frequentemente colidem com os seus valores profissionais. Num estudo com enfermeiros verificou-se que, entre outras, a pressão organizacional e o envolvimento organizacional são fontes de stress. Sendo raros os estudos que abordam o comprometimento organizacional dos profissionais nas instituições de saúde, torna-se importante conhecer melhor este processo.

Optimização da lista de células vizinhas em redes LTE

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e Telecomunicações

XtranX passenger: navegação inercial

Trabalho de Projecto para obtenção do grau de Mestre em Engenharia Informática e de Computadores