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

33rd IAHR Congress: Water Engineering for a Sustainable Environment

Uma abordagem à incorporação de lenhinosulfonatos e materiais reciclados em misturas de SBR para produção sustentável de solas

Mestrado em Engenharia Química - Ramo Otimização Energética na Indústria Química

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 Green Approach for Selfish Misbehavior Detection in 802.11-Based Wireless Networks

IEEE 802.11 is one of the most well-established and widely used standard for wireless LAN. Its Medium Access control (MAC) layer assumes that the devices adhere to the standard’s rules and timers to assure fair access and sharing of the medium. However, wireless cards driver flexibility and configurability make it possible for selfish misbehaving nodes to take advantages over the other well-behaving nodes. The existence of selfish nodes degrades the QoS for the other devices in the network and may increase their energy consumption. In this paper we propose a green solution for selfish misbehavior detection in IEEE 802.11-based wireless networks. The proposed scheme works in two phases: Global phase which detects whether the network contains selfish nodes or not, and Local phase which identifies which node or nodes within the network are selfish. Usually, the network must be frequently examined for selfish nodes during its operation since any node may act selfishly. Our solution is green in the sense that it saves the network resources as it avoids wasting the nodes energy by examining all the individual nodes of being selfish when it is not necessary. The proposed detection algorithm is evaluated using extensive OPNET simulations. The results show that the Global network metric clearly indicates the existence of a selfish node while the Local nodes metric successfully identified the selfish node(s). We also provide mathematical analysis for the selfish misbehaving and derived formulas for the successful channel access probability.

Monitoring for a decidable fragment of MTLD

The 15th International Conference on Runtime Verification (RV'15). 22-25 September. Vienna, Austria.

Longshore Transport Estimation on Ofir Beach in Northwest Portugal: Sand-Tracer Experiment

This work aims to shed some light on longshore sediment transport (LST) in the highly energetic northwest coast of Portugal. Data achieved through a sand-tracer experiment are compared with data obtained from the original and the new re-evaluated longshore sediment transport formulas (USACE Waterways Experiment Station’s Coastal Engineering and Research Center, Kamphuis, and Bayram bulk formulas) to assess their performance. The field experiment with dyed sand was held at Ofir Beach during one tidal cycle under medium wave-energy conditions. Local hydrodynamic conditions and beach topography were recorded. The tracer was driven southward in response to the local swell and wind- and wave-induced currents (Hsb=0.75mHsb=0.75m, Tp=11.5sTp=11.5s, θb=8−12°θb=8−12°). The LST was estimated by using a linear sediment transport flux approach. The obtained value (2.3×10−3m3⋅s−12.3×10−3m3⋅s−1) approached the estimation provided by the original Bayram formula (2.5×10−3m3⋅s−12.5×10−3m3⋅s−1). The other formulas overestimated the transport, but the estimations resulting from the new re-evaluated formulas also yield approximate results. Therefore, the results of this work indicated that the Bayram formula may give satisfactory results for predicting the longshore sediment transport on Ofir Beach.

Alergia às Fórmulas de Leite Extensamente Hidrolisadas - 3 Casos Clínicos

A alergia às proteínas do leite de vaca (APLV) é a alergia alimentar mais frequente em idade pediátrica. O tratamento consiste na evicção das proteínas do leite de vaca e seus derivados, sendo habitualmente utilizadas fórmulas lácteas extensamente hidrolisadas (FEH). No entanto, mesmo estas podem conter péptidos com potencial alergénico. Apresentam-se três casos clínicos de alergia às FEH incluindo a abordagem diagnóstica e terapêutica. Três crianças, do sexo masculino, com APLV IgE mediada (testes cutâneos por prick para leite e fracções e prova de provocação positiva) diagnosticada nos primeiros meses de vida. Todas as crianças foram tratadas numa fase inicial da doença com uma FEH. Um dos casos manteve sintomas e os restantes mantiveram um periodo variável de tolerância, de alguns dias até 4 meses, após o que reiniciaram sintomas de alergia. Duas crianças apresentavam testes cutâneos positivos para as FEH. Em 2 casos foi introduzido leite de soja, como leite alternativo, com intolerância. Finalmente, nos 3 casos, iniciou-se uma fórmula láctea de aminoácidos, obtendo-se uma boa evolução clínica. As FEH nem sempre são toleradas em crianças com APLV, justificando a necessidade de outras medidas terapêuticas; nestas situações, o leite de soja não parece constituir uma alternativa adequada. Desde há poucos anos estão disponíveis em Portugal fórmulas de aminoácidos, que se revelam alternativas seguras em caso de alergia às FEH. Não são, no entanto, indicadas como terapêutica de primeira linha na APLV, uma vez que na nossa prática os casos de alergia às FEH são raros e estas fórmulas constituem uma alternativa dietética extremamente dispendiosa.

Standarização no IKEA Industry de Paço de Ferreira

Standarização de um posto de trabalho não é mais que definir o melhor método de trabalho que vai ser seguido por todos os operadores que trabalham no mesmo. Uma vez definido esse método, é importante para uma empresa ter noção da produtividade que podem alcançar, dado que pode ser retirado a partir deste método, e é no seguimento disto que surge o estudo dos métodos e tempos, mais concretamente o estudo dos tempos por cronometragem. A aplicação deste estudo foi despoletada pela necessidade do IKEA Industry de Paços de Ferreira, em dar o próximo passo na standarização dos seus postos de trabalho, área a área, e da necessidade de terem uma pessoa em cada área que analisa-se o trabalho que estava a ser feito e calcula-se o tempo de cada rotina. Neste documento, é realizada uma interligação entre os conceitos teóricos que o método exige, como todo o conjunto de fórmulas, restrições, análises e ponderações, com o contexto laboral onde o mesmo foi aplicado e a estratégia desenvolvida pelo IKEA na realização do estudo. O estudo dos métodos e tempos por cronometragem, de todos os métodos existentes, pode ser considerado o mais completo e complexo, uma vez que é mais que observar, registar e retirar uma média ponderada das observações. Este método baseia-se num modelo matemático, que interliga uma série de conceitos e que tem sempre o operador em consideração, seja na avaliação e análise das tarefas que requerem mais esforço dos mesmos, físico ou psicológico, seja em termos de tempos de pausas pessoais que a lei obriga a que as empresas deem. Este detalhe, neste método, é de grande importância, uma vez que a standarização é sempre vista pelos operadores como uma punição. As desvantagens deste método estão no grau de conhecimento e capacidade de observação exigidas ao analista para o executar. Melhor dizendo, um analista que vá executar este trabalho necessita observar muito bem a rotina de trabalho e conhecer onde começa, acaba e tudo o que a ela não pertence, antes de começar a registar seja que tempos forem. Para além disso, é exigido ao analista que perceba o ritmo de trabalho dos operadores através da observação dos mesmos, de modo a que ninguém seja prejudicado. E por fim, é necessária uma grande disponibilidade da parte do analista para retirar o máximo de observações possíveis. Com o intuito de facilitar esta análise, o IKEA Industry criou um ficheiro que compila toda a informação relacionada com o método, e uma explicação de todos os parâmetros que o analista necessita ter em atenção. Esta folha de trabalho foi validada à luz do método, como é possível verificar no decorrer do documento. Um detalhe importante a referir, é que por muito fidedigno que seja este método, tal como qualquer método de standarização, a mínima alteração da rotina de trabalho invalida de imediato o tempo total da rotina, tornando necessário realizar o estudo novamente. Uma vantagem do documento criado pelo IKEA, está na rápida adaptação a estas alterações, uma vez que, caso seja acrescentado ou removido um elemento à rotina, basta alterar o documento, observar e cronometrar os operadores a executar esse novo elemento, e quase automaticamente é definido um novo tempo total padronizado na rotina. Este documento foi criado para fins académicos e de conclusão de um grau académico, mas o estudo quando aplicado na empresa deu origem a contratações, o que só por si mostra as vantagens e impacto que o mesmo pode ter em contexto laboral. Em termos de produtividade, uma vez que a sua aplicação não foi executada a tempo de ser estudada neste documento, não foi possível avaliar a mesma.

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.

Monoterpene isolated from the essential oil of Trachyspermum ammi is cytotoxic to multidrug-resistant Pseudomonas aeruginosa and Staphylococcus aureus strains

Abstract INTRODUCTION: The aim of this study was to determine whether an herbal extract containing monoterpene exhibited activity against multidrug-resistant Staphylococcus aureus and Pseudomonas aeruginosa isolated from clinical infection samples. METHODS: The essential oil of Trachyspermum ammi (L.) Sprague ex Turrill (Apiaceae) fruit was extracted by hydrodistillation. Fruit residues were treated with hydrochloric acid and re-hydrodistilled to obtain volatile compounds. Compounds in the distilled oil were identified using gas-chromatography (GC) and GC-mass spectrometry (MS). The antibiotic susceptibility of all bacterial isolates was analyzed using both the disc diffusion method and determination of the minimum inhibitory concentration (MIC). The sensitivity of antibiotic-resistant isolates to essential oil was also determined by using the disc diffusion method and MIC determination. RESULTS: Of 26 clinical isolates, 92% were multidrug-resistant (MDR). Aromatic monoterpenes (thymol, paracymene, and gamma-terpinene) were the major (90%) components of the oil. Growth of S. aureus strains was successfully inhibited by the oil, with an inhibitory zone diameter (IZD) between 30-60mm and MIC <0.02μL/mL. The oil had no antimicrobial activity against clinical isolates of P. aeruginosa; rather, it prevented pigment production in these isolates. CONCLUSIONS: This study revealed that the essential oil of Trachyspermum ammi, which contains monoterpene, has good antibacterial potency. Monoterpenes could thus be incorporated into antimicrobial ointment formulas in order to treat highly drug-resistant S. aureus infections. Our findings also underscore the utility of research on natural products in order to combat bacterial multidrug resistance.

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.

Engenheiros portugueses no século XVIII: as suas "geometrias especulativas"

O século XVIII Português foi, à semelhança do resto da Europa, fértil em alterações académicas, científicas e ideológicas. O desenvolvimento da ciência e da técnica, o surgimento das primeiras máquinas, impulsionou a área do saber, que atualmente chamamos de engenharia. Em Portugal (à época ainda um império do qual fazia parte, entre outros, o Brasil), as escolas técnicas e militares consolidam-se e surgem vários engenheiros e militares de renome cujas obras se difundem pelo reino. Manuel de Azevedo Fortes (1660-1749), engenheiro-mor do reino Português, publicou, em 1728 e 1729, os dois tomos de uma das suas obras maiores, O Engenheiro Português, obra dedicada à formação dos engenheiros na Academia Militar de Lisboa.. A primeira parte deste tratado aborda os conhecimentos matemáticos que Azevedo Fortes considera essenciais na formação dos engenheiros. Na sua Geometria Especulativa, um manuscrito datado de 1724, aborda os elementos de geometria e trigonometria, sem esquecer as suas aplicações. O Brigadeiro José Fernandes Pinto Alpoim (1700-1765), engenheiro que se destacou na arquitetura e fortificação do Brasil no século XVIII, publicou o Exame de Artilheiros em 1744 e Exame de Bombeiros em 1748, obras contendo os princípios da geometria e da trigonometria e as suas aplicações à engenharia militar que se destinavam ao ensino dos militares na Academia Militar do Rio de Janeiro, onde era professor. Nesta comunicação analisaremos a matemática, em particular a geometria, presente nestas obras, salientando não só os conteúdos abordados mas a ênfase dada às aplicações desses conteúdos nos contextos militares da época.