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

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.