Design and performance evaluation of turbo FDE receivers

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

A conceptual model for sheet-flow drawn from rapid granular flow theories

33rd IAHR Congress: Water Engineering for a Sustainable Environment

The cardinal of various monoids of transformations that preserve a uniform partition

Bulletin of the Malaysian Mathematical Sciences Society

On the monoids of transformations that preserve the order and a uniform partition

Communications in Algebra

Spectral and homogenization problems

Dissertation for the Degree of Doctor of Philosophy in Mathematics

A proof system for lock-free concurrency

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

Avaliação da cultura de segurança do doente em meio hospitalar : investigação ação numa unidade de radioterapia

RESUMO Introdução e objetivos As organizações internacionais responsáveis pela Qualidade na Saúde e Segurança do doente (Organização Mundial da Saúde, União Europeia), recomendam aos Estados membros a avaliação da cultura de segurança, como condição essencial para se introduzir mudanças nos comportamentos dos profissionais e nas organizações prestadoras de cuidados de saúde, e alcançar melhores níveis de segurança e de qualidade nos cuidados de saúde prestados aos doentes. Constitui objetivo geral deste trabalho contribuir para a implementação da cultura de segurança do doente nos profissionais envolvidos na prestação de cuidados de saúde, concorrendo para a avaliação da cultura de segurança do doente e, consequentemente para a garantia da qualidade dos cuidados prestados. Metodologia 1ª fase – pré-estudo: através da revisão de literatura identificamos o instrumento mais adequado para avaliar a cultura de segurança do hospital, traduzimos e validámos o instrumento. 2ª fase – desenvolvemos um estudo exploratório-descritivo, transversal, retrospetivo, em 3 hospitais portugueses e um estudo exploratório-descritivo, longitudinal, prospetivo, de investigação-ação, numa unidade de radioterapia. Resultados O Hospital Survey on Patient Safety Culture é o instrumento que revela as adequadas características para a avaliação da cultura de segurança nos hospitais portugueses. No que diz respeito à avaliação da cultura de segurança em três hospitais portugueses, podemos destacar que o trabalho em equipa, a expectativas do supervisor e a aprendizagem organizacional são as dimensões com melhores resultados apesar da frequência das notificações e das respostas ao erro não punitivas apresentarem os piores resultados. Verificou-se que a URT se encontra em franca evolução, o que se torna visível sobretudo na adesão à notificação que aumentou à medida que o tempo foi passando. O envolvimento de todos no desenho da intervenção e nas atividades a decorrer na unidade, foi preponderante para a melhoria da segurança do doente. Conclusões Temos consciência que existem muitas questões por responder e que na realidade não há receitas nem diretrizes que possam afirmar que existem relações de causalidade, confrontando uma determinada ação com a consequente mudança cultural. No entanto, estamos convictos que o envolvimento de todos os membros da organização/unidade, o compromisso forte da liderança, uma comunicação efetiva e uma notificação não punitiva são ingredientes essenciais para a melhoria contínua da cultura de segurança do doente.

Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Filtros em barragens de aterro: caracterização da sua permeabilidade

A determinação do coeficiente de permeabilidade de filtros de barragens de aterro é feita com a aplicação de equações empíricas. Dado que estas equações variam com o índice de vazios, a sua aplicação a um mesmo filtro, pode originar variações do coeficiente de permeabilidade, consoante o valor de índice de vazios que lhe é atribuído. Neste trabalho é feita uma análise, aplicando diferentes formulas empíricas devidamente selecionadas a dois filtros construídos para o controlo do movimento de partículas e analisam-se os resultados obtidos. Os dois filtros são ainda sujeitos a ensaios de permeabilidade em laboratório com uso do permeâmetro de parede rígida a carga constante, variando o seu índice de vazios, de modo a perceber qual das equações adotadas melhor se adequa aos resultados obtidos no laboratório. Por fim, é feita uma análise da estabilidade hidráulica de uma barragem de aterro zonada, modelada com base num programa de elementos finitos, da qual fazem parte um filtro chaminé e um filtro horizontal, aos quais se aplicou uma gama de coeficientes de permeabilidade inserida nos resultados obtidos nas equações anteriores.

Frequency-domain receiver design for doubly-selective channels

This work is devoted to the broadband wireless transmission techniques, which are serious candidates to be implemented in future broadband wireless and cellular systems, aiming at providing high and reliable data transmission and concomitantly high mobility. In order to cope with doubly-selective channels, receiver structures based on OFDM and SC-FDE block transmission techniques, are proposed, which allow cost-effective implementations, using FFT-based signal processing. The first subject to be addressed is the impact of the number of multipath components, and the diversity order, on the asymptotic performance of OFDM and SC-FDE, in uncoded and for different channel coding schemes. The obtained results show that the number of relevant separable multipath components is a key element that influences the performance of OFDM and SC-FDE schemes. Then, the improved estimation and detection performance of OFDM-based broadcasting systems, is introduced employing SFN (Single Frequency Network) operation. An initial coarse channel is obtained with resort to low-power training sequences estimation, and an iterative receiver with joint detection and channel estimation is presented. The achieved results have shown very good performance, close to that with perfect channel estimation. The next topic is related to SFN systems, devoting special attention to time-distortion effects inherent to these networks. Typically, the SFN broadcast wireless systems employ OFDM schemes to cope with severely time-dispersive channels. However, frequency errors, due to CFO, compromises the orthogonality between subcarriers. As an alternative approach, the possibility of using SC-FDE schemes (characterized by reduced envelope fluctuations and higher robustness to carrier frequency errors) is evaluated, and a technique, employing joint CFO estimation and compensation over the severe time-distortion effects, is proposed. Finally, broadband mobile wireless systems, in which the relative motion between the transmitter and receiver induces Doppler shift which is different or each propagation path, is considered, depending on the angle of incidence of that path in relation to the direction of travel. This represents a severe impairment in wireless digital communications systems, since that multipath propagation combined with the Doppler effects, lead to drastic and unpredictable fluctuations of the envelope of the received signal, severely affecting the detection performance. The channel variations due this effect are very difficult to estimate and compensate. In this work we propose a set of SC-FDE iterative receivers implementing efficient estimation and tracking techniques. The performance results show that the proposed receivers have very good performance, even in the presence of significant Doppler spread between the different groups of multipath components.