Supporting NAT traversal and secure communications in a protocol implementation framework

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

GVSOS: A New Client for OGC SOS Interface Standard

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Sensor Data Visualization in Virtual Globe

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

A modular distributed transactional memory framework

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

On the cloud deployment of a session abstraction for service/data aggregation

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

Distributed replicated macro-components

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

Maintaining the correctness of transactional memory programs

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

Healing replicas in a software component replication system

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

Barreiras e facilitadores à implementação de um modelo de gestão de cuidados em Saúde Mental

RESUMO: Enquadramento teórico - Os estudos epidemiológicos demonstram que apesar de todo o progresso científico, muitas pessoas continuam sem acesso aos Serviços de Saúde Mental (SSM) e que, em muitos casos, os cuidados não têm a qualidade suficiente. A experiência de vários países mostra que os processos de implementação de modelos de intervenção terapêutica, como é o da Gestão de Cuidados, são lentos e complexos, não dependendo somente do grau de efectividade ou da complexidade das práticas a implementar. O Modelo de Gestão de Cuidados (MGC), é definido como uma prática baseada na evidência, utilizada para ajudar os doentes nos seus processos de recuperação. As estratégias para implementar práticas baseadas na evidência são críticas para a melhoria dos serviços. Existem, apesar de toda a evidência, muitas barreiras à implementação. Ao constatarmos que as práticas validadas pela ciência estão longe de estar claramente disseminadas nos serviços de saúde mental, fundamentamos a necessidade de utilizar metodologia de implementação que, além da efectividade das práticas, permita uma efectividade da implementação. Para responder às necessidades de formação e no âmbito da implementação do Plano Nacional de Saúde Mental, foram formados, em Portugal, 170 profissionais de saúde mental provenientes de serviços públicos e do sector social, de todas as regiões de Portugal Continental. Considerando que estes profissionais adquiriram competências específicas no MGC, através de um programa de formação nacional idêntico para todos os serviços de saúde mental, investigámos o grau de implementação deste modelo, bem como os facilitadores e as barreiras à sua correcta implementação. Existem vários estudos internacionais sobre as barreiras e os facilitadores à implementação de práticas baseadas na evidência, embora a maior parte desses estudos seja baseado em entrevistas semi-estruturadas a profissionais. Por outro lado, não existem, em Portugal, estudos sobre as barreiras e os facilitadores à implementação de práticas de saúde mental. Objectivos 1. Estimar o grau da implementação do MGC nos serviços de saúde mental portugueses 2. Caracterizar as regiões onde a implementação do MGC tenha ocorrido em maior grau. 3. Identificar os factores facilitadores e as barreiras à implementação do MGC, entre as regiõesde saúde do país. 4. Explorar as relações entre a fidelidade da implementação, as barreiras e os facilitadores da implementação, a cultura organizacional e as características dos serviços de saúde mental. Metodologia Estudo observacional, transversal e descritivo, com características exploratórias. População: profissionais dos serviços de saúde mental públicos e do sector social que frequentaram o Programa Nacional de Formação em Saúde Mental Comunitária no curso “Cuidados Integrados e Recuperação”, da Coordenação Nacional para a Saúde Mental / Ministério da Saúde, entre Outubro de 2008 e Dezembro de 2009, (n=71). Avaliação Fidelidade de implementação do Modelo de Gestão de Cuidados - IMR-S (Illness Management and Recovery Scale); Qualidade das guidelines utilizadas na implementação do Modelo de Gestão de Cuidados - AGREE II-PT (Appraisal of Guidelines, for Research and Evaluation); Avaliação das Barreiras e Facilitadores à implementação do MGC - BaFAI (Barriers and Facilitators Assessment Instrument); Avaliação da Cultura Organizacional dos serviços de saúde mental - CVF-I (Competing Values Framework Instrument). Análise Estatística Para a descrição dos dados foram aplicados métodos de estatística descritiva. Para a comparação de subgrupos foram utilizados os testes de Mann Whitney e Kruskall-Wallis. Para a investigação de associações foram utilizados os métodos de correlação de Spearman e a Regressão Múltipla. O tratamento e análise dos dados foram realizados utilizando o programa estatístico IBM SPSS Statistics® para Mac/Apple® nas versões 19 e 20. Resultados Serviços: A articulação com os cuidados de saúde primários existe na maioria dos serviços (56.34%) e 77.46% dos serviços têm autonomia para definir os cuidados a prestar. A maioria dos serviços (63.38%) realiza duas ou mais reuniões clínicas por mês e a quase totalidade (95.77%) recebe estagiários e/ou internos. A área da investigação tem níveis considerados baixos, quando comparados com outros países da Europa, tanto para a globalidade das áreas de investigação (25.35%), como para as áreas psicossociais (22.54%). Considerando componentes fundamentais para a implementação de modelos de gestão de cuidados, os resultados nacionais indicam que 66.20% dos serviços fazem registos em processo clínico único. As percentagens de utilização de planos individuais de cuidados são globalmente baixas (46.48%). Por seu turno, a utilização de guidelines, nos serviços do país, tem uma percentagem média nacional de 57.75%. Profissionais: São, na sua maioria, do sexo feminino (69.01%), com idades entre os 25 e os 56 anos (média 38.9, ± 7.41). Pertencem, maioritariamente, aos grupos profissionais da enfermagem (23.94%) e da psicologia (49.30%). A formação dos profissionais é de nível superior em todos os grupos, com uma percentagem total de licenciados de 80.3%, tendo os restantes uma formação ao nível do mestrado. Apesar dos valores baixos (17%) de formação prévia em modelos de gestão de cuidados, 39% dos profissionais indicou utilizar algumas vertentes destes modelos na sua prática. Apesar de 97,18% dos profissionais ter participado em dois ou mais encontros científicos, num período de dois anos, apenas 38.03% apresentou alguma comunicação científica no mesmo intervalo. Guideline: Os resultados da avaliação da guideline do MGC indicaram percentagens mais altas, quanto à qualidade do seu desenvolvimento, nos Domínios 1 (Objectivo e finalidade, com 72.2%) e 4 (Clareza de Apresentação, 77.7%). O Domínio 5 (Aplicabilidade) foi pontuado no limite inferior do desenvolvimento com qualidade suficiente (54.1%), ao passo que a guideline obteve uma pontuação negativa nos Domínios 2 (Envolvimento das partes interessadas, com 41.6%) e 3 (Rigor do Desenvolvimento, com 28.1%). Adicionalmente não foi possível às avaliadoras cotar o Domínio 6 (Independência editorial), por ausência de referências neste contexto. A guideline teve uma avaliação global positiva (66%), com recomendação de aceitação com modificações. Cultura Organizacional: O perfil de liderança com maior frequência nos serviços de saúde mental portugueses foi o de Mentor (45.61%). As percentagens mais baixas pertenceram aos perfis Monitor e Inovador (3.51%). Na perspectiva da cultura organizacional dos serviços, apontuação mais alta foi a da Cultura das Relações Humanas (74.07%). A estratégia de liderança, com predomínio em todas as regiões, foi a estratégia de Flexibilidade (66.10%). Os resultados mostram que a única associação positivamente significativa com o grau da implementação do MGC é a do perfil Produtor, com um peso específico de 14.55% na prevalência dos perfis de liderança nos serviços de saúde mental portugueses. Barreiras: As barreiras à implementação da prática do MGC, identificadas pelos profissionais dos serviços de saúde mental, com percentagens mais altas nos totais do país, foram: o tempo (57.7%), o conhecimento sobre o modelo e a motivação (40.8%), a colaboração dos outros profissionais (33.7%), o número de contactos reduzidos com os doentes (35.2%), as insuficiências do ponto de vista dos espaços (70.4%) e dos instrumentos disponíveis (69%) para implementar o MGC. Existiu uma variação entre as regiões de saúde do país. Os resultados mostram que houve uma correlação negativa, de forma significativa, entre a implementação do MGC e as barreiras: da resistência à utilização de protocolos, do formato da prática, da necessidade de mais treino e da não cooperação dos profissionais. Foram encontradas diferenças estatisticamente significativas entre as barreiras à implementação e as características dos serviços, dos profissionais e da cultura organizacional. Implementação: A média nacional da fidelidade de implementação do MGC (41.48) teve valores aproximados aos de estudos similares. Na pontuação por regiões, a implementação com maior fidelidade ocorreu no Alentejo. Se considerarmos a implementação com fidelidade esta ocorreu em 57.75% dos serviços e uma boa implementação em 15.49%. Os métodos de regressão permitiram confirmar a capacidade preditiva das barreiras e da cultura organizacional quanto à fidelidade da implementação do MGC. Discussão: No universo das hipóteses inicialmente colocadas foi possível verificar a variação da implementação do MGC entre as regiões do país. O estudo permitiu, adicionalmente, concluir pela existência de denominadores comuns de maior sucesso da implementação do MGC. Foi ainda possível verificar uma relação significativa, existente entre o grau de implementação e as dimensões das barreiras, a cultura organizacional e os recursos dos SSM (aqui definidos pelas características dos serviços e dos profissionais). De uma forma mais conclusiva podemos afirmar que existem outros factores, que não estão relacionados com a avaliação restrita dos recursos financeiros ou humanos, associados à qualidade da implementação de práticas baseadas na evidência, como o MGC. Exemplo disso são os achados referentes à região de saúde do Alentejo, onde a distância dos grandes centros urbanos e as conhecidas dificuldades de acessibilidade, combinadas com os problemas conhecidos da falta de recursos, não impediram que fosse a região com os valores mais altos da fidelidade de implementação. Conclusões: Foram encontradas inúmeras barreiras à implementação do MGC. Existem barreiras diferentes entre regiões, que resultam das características dos serviços, dos profissionais e da cultura organizacional. Para existir implementação é necessária a consideração de metodologias próprias que vão para além dos tradicionais programas de formação. As práticas baseadas na evidência, amplamente defendidas, exigem implementações baseadas na evidência.-------------ABSTRACT: Introduction - Several epidemiological studies show that, despite all scientific progress, many people still continue to have no access to mental health services and in many situations the quality of care is poor. The experiences of several countries show that progress towards case management implementation is slow and complex, depending not only from the degree of effectiveness or the complexity of the practice. Case management is defined as an evidence-based practice used to help patients in the recovery process. Strategies to implement evidence-based practices are critical to services improvement. There are many barriers to their implementation, despite all available evidence. Realising that practices of proved scientific value are far from being clearly implemented, justifies the need to use implementation methodologies that, beyond practice effectiveness, allow implementation effectiveness. To answer training needs and in the framework of the National Mental Health Plan implementation, 170 mental health (MH) professionals from portuguese public and private sectors were trained. Considering that case management skills were acquired, as a result of this training programme, we decided to study the degree of implementation in the services.Barriers and facilitators to the implementation were studied as well. There are several studies related with barriers and facilitators to the implementation of evidence-based practices, but most of them use semi-structured interviews with professionals. Additionally, there are no studies in Portugal related with barriers and facilitators to the implementation of mental health practices. Objectives1. Estimate the degree of case management implementation in Portuguese MH Services. 2.Describe regions where implementation occurred with higher fidelity degree. 3. Identify barriers and facilitators to case management implementation across country regions. 4. Explore the relationships between implementation, barriers and facilitators, organisational culture and services characteristics. Methodology - Cross sectional, descriptive study. Assessments - Implementation fidelity - IMR-S (Illness Management and Recovery Scale); Guideline quality - AGREE II-PT (Appraisal of Guidelines, for Research and Evaluation); Barriers and facilitators assessment - BaFAI (Barriers and Facilitators Assessment Instrument); Organisational culture assessment - CVF-I (Competing Values Framework Instrument). Statistical analysis - Descriptives and cross-tabs. Subgroups comparison: Mann-Witney and Kruskall-Wallis. Associations between variables were calculated using Spearman correlation's and Multiple Regression. Results - Services: Liaison with primary care is done in most services (56.34%) and 77.46% have autonomy to determine care. Most services have regular clinical meetings and almost all give internship training (95.77%). Research activity is low compared with other European countries, for both general and psychosocial research. Considering key components for the case management implementation, 66.20% of all services use single clinical records. The use of individual care plans is globally low (46.48%) and there is a use of guidelines in 57.75% of services. Human Resources: most are women (69.01%), with age ranging from 25-56 (average 39.9, SD 7.41). The majority are psychologists (49.30%) and nurses (23.94%). All have a university degree, 19.7% have a masters degree and 83% didn’t have any case management training before the above mentioned national training. Despite the low levels of preceding case management training, 39% have used model components in day-to-day practice and although 97.18% of the workforce have attended scientific meetings in the last 2 years, only 38.03% presented communications in the same period. Guideline: Results show that higher scores were obtained in Domain 1. Scope and Purpose (72.2.%),and Domain 4. Clarity of presentation (77.7%). Domain 5. pplicability scored near low boundary (54.1%) and negative scores were found in Domain 2. Stakeholder Involvement (41.6%) and Domain 3. Rigour of Development (28.1%). Global score was 66% and the guideline was recommended with modifications. Organisational Culture: The most frequent leadership profile was the Mentor profile (45.61%). Lower scores belonged to Innovator and Monitor profiles (3.51%). On the organisational culture overall, higher scores were found in the Human Relations culture (74.07%). The higher leadership strategy was the strategy of flexibility (66.10%). The results additionally showed that the only leadership profile associated with case management implementation was the Producer profile, representing 14.55% of all leadership profiles in the country.Barriers: The barriers identified by MH professionals, with high percentages, were: lack of time (57.7%), knowledge and motivation (40.8%), other colleagues cooperation (33.7%), low number of contacts with patients (35.2%), lack of facilities (70.4%) and lack of instruments (69%) to implement case management, varying across regions. Results show that there was a negative correlation between implementation and the following barriers: using protocols, practice format, need for more training and lack of cooperation from colleagues. Additionally, statistical differences were found between barriers to implementation and: services characteristics, workforce characteristics, organisational culture. Implementation: The national average results of case management implementation fidelity was (41.48), close to values found in similar studies. In the regional scores South Region Alentejo had the highest implementation score. If we look at minimum scores to assume implementation fidelity, these occurred in 57.75% of services and a good implementation occurred in 15.49% of these. Regression methods allowed to confirm that implementation score prediction was possible using the combination of barriers and organisational culture scores. Discussion - Considering the initial study hypotheses, it was possible to confirm the variation of case management implementation across country regions. Additionally, we could conclude that common denominators exist when successful implementation occurred. It was possible to observe a significant relationship between implementation degree and the dimensions of barriers, organisational culture and services resources (defined as professionals and services characteristics). In a more conclusive way, we can say that there are factors, other than financial and human resources, that are associated with evidence based practices implementation like case management. An example is the Alentejo region, were the distance from urban centres, and the known difficulties associated with accessibility, plus the lack of financial and human resources, have not impeded the regional higher score on implementation. Conclusions: Case management implementation had several barriers to implementation. There are different barriers across country regions, resulting from organisational culture, services and professionals characteristics. To reach implementation it is necessary to consider specific methodologies that go beyond traditional training programs and evident practices, widely promoted. Evidence-based practices require evidence-based implementations.

Heterogeneous computing with an algorithmic skeleton framework

The Graphics Processing Unit (GPU) is present in almost every modern day personal computer. Despite its specific purpose design, they have been increasingly used for general computations with very good results. Hence, there is a growing effort from the community to seamlessly integrate this kind of devices in everyday computing. However, to fully exploit the potential of a system comprising GPUs and CPUs, these devices should be presented to the programmer as a single platform. The efficient combination of the power of CPU and GPU devices is highly dependent on each device’s characteristics, resulting in platform specific applications that cannot be ported to different systems. Also, the most efficient work balance among devices is highly dependable on the computations to be performed and respective data sizes. In this work, we propose a solution for heterogeneous environments based on the abstraction level provided by algorithmic skeletons. Our goal is to take full advantage of the power of all CPU and GPU devices present in a system, without the need for different kernel implementations nor explicit work-distribution.To that end, we extended Marrow, an algorithmic skeleton framework for multi-GPUs, to support CPU computations and efficiently balance the work-load between devices. Our approach is based on an offline training execution that identifies the ideal work balance and platform configurations for a given application and input data size. The evaluation of this work shows that the combination of CPU and GPU devices can significantly boost the performance of our benchmarks in the tested environments, when compared to GPU-only executions.

Creation of a web application for smart park system and parking prediction study for system integration

In the last few years, we have observed an exponential increasing of the information systems, and parking information is one more example of them. The needs of obtaining reliable and updated information of parking slots availability are very important in the goal of traffic reduction. Also parking slot prediction is a new topic that has already started to be applied. San Francisco in America and Santander in Spain are examples of such projects carried out to obtain this kind of information. The aim of this thesis is the study and evaluation of methodologies for parking slot prediction and the integration in a web application, where all kind of users will be able to know the current parking status and also future status according to parking model predictions. The source of the data is ancillary in this work but it needs to be understood anyway to understand the parking behaviour. Actually, there are many modelling techniques used for this purpose such as time series analysis, decision trees, neural networks and clustering. In this work, the author explains the best techniques at this work, analyzes the result and points out the advantages and disadvantages of each one. The model will learn the periodic and seasonal patterns of the parking status behaviour, and with this knowledge it can predict future status values given a date. The data used comes from the Smart Park Ontinyent and it is about parking occupancy status together with timestamps and it is stored in a database. After data acquisition, data analysis and pre-processing was needed for model implementations. The first test done was with the boosting ensemble classifier, employed over a set of decision trees, created with C5.0 algorithm from a set of training samples, to assign a prediction value to each object. In addition to the predictions, this work has got measurements error that indicates the reliability of the outcome predictions being correct. The second test was done using the function fitting seasonal exponential smoothing tbats model. Finally as the last test, it has been tried a model that is actually a combination of the previous two models, just to see the result of this combination. The results were quite good for all of them, having error averages of 6.2, 6.6 and 5.4 in vacancies predictions for the three models respectively. This means from a parking of 47 places a 10% average error in parking slot predictions. This result could be even better with longer data available. In order to make this kind of information visible and reachable from everyone having a device with internet connection, a web application was made for this purpose. Beside the data displaying, this application also offers different functions to improve the task of searching for parking. The new functions, apart from parking prediction, were: - Park distances from user location. It provides all the distances to user current location to the different parks in the city. - Geocoding. The service for matching a literal description or an address to a concrete location. - Geolocation. The service for positioning the user. - Parking list panel. This is not a service neither a function, is just a better visualization and better handling of the information.

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

Using an LED as a sensor and visible light communication device in a smart illumination system

The need for more efficient illumination systems has led to the proliferation of Solid-State Lighting (SSL) systems, which offer optimized power consumption. SSL systems are comprised of LED devices which are intrinsically fast devices and permit very fast light modulation. This, along with the congestion of the radio frequency spectrum has paved the path for the emergence of Visible Light Communication (VLC) systems. VLC uses free space to convey information by using light modulation. Notwithstanding, as VLC systems proliferate and cost competitiveness ensues, there are two important aspects to be considered. State-of-the-art VLC implementations use power demanding PAs, and thus it is important to investigate if regular, existent Switched-Mode Power Supply (SMPS) circuits can be adapted for VLC use. A 28 W buck regulator was implemented using a off-the-shelf LED Driver integrated circuit, using both series and parallel dimming techniques. Results show that optical clock frequencies up to 500 kHz are achievable without any major modification besides adequate component sizing. The use of an LED as a sensor was investigated, in a short-range, low-data-rate perspective. Results show successful communication in an LED-to-LED configuration, with enhanced range when using LED strings as sensors. Besides, LEDs present spectral selective sensitivity, which makes them good contenders for a multi-colour LED-to-LED system, such as in the use of RGB displays and lamps. Ultimately, the present work shows evidence that LEDs can be used as a dual-purpose device, enabling not only illumination, but also bi-directional data communication.

Nestle's dynamic forecasting process: Anticipating risks and opportunities

Nestlé’s Dynamic Forecasting Process: Anticipating Risks and Opportunities This Work Project discusses the Nestlé’s Dynamic Forecasting Process, implemented within the organization as a way of reengineering its performance management concept and processes, so as to make it more flexible and capable to react to volatile business conditions. When stressing the importance of demand planning to reallocate resources and enhance performance, Nescafé Dolce Gusto comes as way of seeking improvements on this forecasts’ accuracy and it is thus, by providing a more accurate model on its capsules’ sales, as well as recommending adequate implementations that positively contribute to the referred Planning Process, that value is brought to the Project

Switching mode power amplifier for bluetooth applications

Modern fully integrated transceivers architectures, require circuits with low area, low cost, low power, and high efficiency. A key block in modern transceivers is the power amplifier, which is deeply studied in this thesis. First, we study the implementation of a classical Class-A amplifier, describing the basic operation of an RF power amplifier, and analysing the influence of the real models of the reactive components in its operation. Secondly, the Class-E amplifier is deeply studied. The different types of implementations are reviewed and theoretical equations are derived and compared with simulations. There were selected four modes of operation for the Class-E amplifier, in order to perform the implementation of the output stage, and the subsequent comparison of results. This led to the selection of the mode with the best trade-off between efficiency and harmonics distortion, lower power consumption and higher output power. The optimal choice was a parallel circuit containing an inductor with a finite value. To complete the implementation of the PA in switching mode, a driver was implemented. The final block (output stage together with the driver) got 20 % total efficiency (PAE) transmitting 8 dBm output power to a 50 W load with a total harmonic distortion (THD) of 3 % and a total consumption of 28 mW. All implementations are designed using standard 130 nm CMOS technology. The operating frequency is 2.4 GHz and it was considered an 1.2 V DC power supply. The proposed circuit is intended to be used in a Bluetooth transmitter, however, it has a wider range of applications.