86 resultados para mixed verification methods
Resumo:
BACKGROUND: The hospital environment has many occupational health risks that predispose healthcare workers to various kinds of work accidents. OBJECTIVE: This study aims to compare different methods for work accidents investigation and to verify their suitability in hospital environment. METHODS: For this purpose, we selected three types of accidents that were related with needle stick, worker fall and inadequate effort/movement during the mobilization of patients. A total of thirty accidents were analysed with six different work accidents investigation methods. RESULTS: The results showed that organizational factors were the group of causes which had the greatest impact in the three types of work accidents. CONCLUSIONS: The methods selected to be compared in this paper are applicable and appropriate for the work accidents investigation in hospitals. However, the Registration, Research and Analysis of Work Accidents method (RIAAT) showed to be an optimal technique to use in this context.
Resumo:
Com a necessidade de encontrar uma forma de ligar componentes de forma mais vantajosa, surgiram as ligações adesivas. Nos últimos anos, a utilização de juntas adesivas em aplicações industriais tem vindo a aumentar, substituindo alguns métodos de ligação tradicionais, por apresentarem vantagens tais como, redução de concentração de tensões, reduzido peso e facilidade de processamento/fabrico. O seu estudo permite prever a sua resistência e durabilidade. Este trabalho refere-se ao estudo de juntas de sobreposição simples (JSS), nas quais são aplicados os adesivos comerciais que variam desde frágeis e rígidos, como o caso do Araldite® AV138, até adesivos mais dúcteis, como o Araldite® 2015 e o Sikaforce® 7888. Estes são aplicados em substratos de alumínio (AL6082-T651) em juntas com diferentes geometrias e diferentes comprimentos de sobreposição (L), sendo sujeitos a esforços de tracção. Foi feita uma análise dos valores experimentais fornecidos e uma posterior comparação destes com diferentes métodos numéricos baseados em Elementos Finitos (EF). A comparação foi feita por uma análise de Modelos de Dano Coesivo (MDC) e segundo os critérios baseados em tensões e deformações do Método de Elementos Finitos Extendido (MEFE). A utilização destes métodos numéricos capazes de simular o comportamento das juntas poderá levar a uma poupança de recursos e de tempo. A análise por MDC revelou que este método é bastante preciso, excepto para os adesivos que sejam bastante dúcteis. A aplicação de uma outra lei coesiva pode solucionar esse problema. Por sua vez a análise por MEFE demonstrou que esta técnica não é particularmente adequada para o crescimento de dano em modo misto e, comparativamente com o MDC, a sua precisão é bastante inferior.
Resumo:
Competition between public and private firms exists in a range of industries like telecommunications, electricity, natural gas, airlines industries, as weel as services including hospitals, banking and education. Some authors studied mixed oligopolies under Cournot competition (firms move simultaneously) and some others considered Stackelberg models (firms move sequentially). Tomaru [1] analyzed, in a Cournot model, how decision-making upon cost-reducing R&D investment by a domestic public firm is affected by privatization when competing in the domestic market with a foreign firm. He shows that privatization of the domestic public firm lowers productive efficiency and deteriorates domestic social welfare. In this paper, we examine the same question but in a Stackelberg formulation instead of Cournot. The model is a three-stage game. In the first stage, the domestic firm chooses the amount of cost-reducing R&D investment. Then, the firms compete à la Stackelberg. Two cases are considered: (i) The domestic firm is the leader; (ii) The foreign firm is the leader. We show that the results obtained in [1] for Cournot competition are robust in the sence that they are also true when firms move sequentially.
Resumo:
Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.
Resumo:
Ecological Water Quality - Water Treatment and Reuse
Resumo:
This work measures and tries to compare the Antioxidant Capacity (AC) of 50 commercial beverages of different kinds: 6 wines, 12 beers, 18 soft drinks and 14 flavoured waters. Because there is no reference procedure established for this purpose, three different optical methods were used to analyse these samples: Total Radical trapping Antioxidant Parameter (TRAP), Trolox Equivalent Antioxidant Capacity (TEAC) and Ferric ion Reducing Antioxidant Parameter (FRAP). These methods differ on the chemical background and nature of redox system. The TRAP method involves the transfer of hydrogen atoms while TEAC and FRAP involves electron transfer reactions. The AC was also assessed against three antioxidants of reference, Ascorbic acid (AA), Gallic acid (GA) and 6-hydroxy-2,5,7,8-tetramethyl- 2-carboxylic acid (Trolox). The results obtained were analyzed statistically. Anova one-way tests were applied to all results and suggested that methods and standards exhibited significant statistical differences. The possible effect of sample features in the AC, such as gas, flavours, food colouring, sweeteners, acidity regulators, preservatives, stabilizers, vitamins, juice percentage, alcohol percentage, antioxidants and the colour was also investigated. The AC levels seemed to change with brand, kind of antioxidants added, and kind of flavour, depending on the sample. In general, higher ACs were obtained for FRAP as method, and beer for kind of sample, and the standard expressing the smaller AC values was GA.
Resumo:
JORNADAS DE ELECTROQUÍMICA E INOVAÇÃO 2013
Resumo:
Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.
Resumo:
5th Brazilian Symposium on Computing Systems Engineering, SBESC 2015 (SBESC 2015). 3 to 6, Nov, 2015. Foz do Iguaçu, Brasil.
Resumo:
13th International Conference on Autonomous Robot Systems (Robotica), 2013, Lisboa
Resumo:
Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.
Resumo:
A utilização de juntas adesivas em aplicações industriais tem vindo a aumentar, em detrimento dos métodos tradicionais tais como a soldadura, brasagem e ligações aparafusadas e rebitadas. Este facto deve-se às vantagens que estas oferecem, como o facto de serem mais leves, comportarem-se bem sob cargas cíclicas ou de fadiga, a ligação de materiais diferentes e menores concentrações de tensões. Para aumentar a confiança no projeto de estruturas adesivas, é importante conseguir prever com precisão a sua resistência mecânica e respetivas propriedades de fratura (taxa crítica de libertação de energia de deformação à tração, GIC, e corte, GIIC). Estas propriedades estão diretamente relacionadas com a Mecânica da Fratura e são estimadas através de uma análise energética. Para este efeito, distinguem-se três tipos de modelos: modelos que necessitam da medição do comprimento de fenda durante a propagação do dano, modelos que utilizam um comprimento de fenda equivalente e métodos baseados no integral J. Como na maioria dos casos as solicitações ocorrem em modo misto (combinação de tração com corte), é de grande importância a perceção da fratura nesta condições, nomeadamente das taxas de libertação de energia relativamente a diferentes critérios ou envelopes de fratura. Esta comparação permite, por exemplo, averiguar qual o melhor critério energético de rotura a utilizar em modelos numéricos baseados em Modelos de Dano Coesivo. Neste trabalho é realizado um estudo experimental utilizando o ensaio Single-Leg Bending (SLB) em provetes colados com três tipos de adesivos, de forma a estudar e comparar as suas propriedades de fratura. Para tal, são aplicados alguns modelos de redução da taxa de libertação de energia de deformação à tração, GI, e corte, GII, enquadrados nos modelos que necessitam da medição do comprimento de fenda e nos modelos que utilizam um comprimento de fenda equivalente. Numa fase posterior, procedeu-se à análise e comparação dos resultados adquiridos durante a fase experimental de GI e GII de cada adesivo. A discussão de resultados foi também feita através da análise dos valores obtidos em diversos envelopes de fratura, no sentido de averiguar qual o critério de rotura mais adequado a considerar para cada adesivo. Foi obtida uma concordância bastante boa entre métodos de determinação de GI e GII, com exceção do adesivo mais dúctil, para o qual o método baseado no comprimento de fenda equivalente apresentou resultados ligeiramente superiores.
Resumo:
A furazolidona é uma substância ativa do medicamento Giarlam que contém um espetro anti-bacteriano relativamente amplo e que é frequentemente usado para tratar certas doenças bacterianas e protozoárias no homem. A maioria dos fármacos exige uma dosagem que garanta os níveis de segurança e eficácia de atuação. A necessidade de dosear os medicamentos e os seus metabólitos exige o desenvolvimento constante de métodos analíticos eficientes. Neste trabalho desenvolveu-se um novo sensor eletroquímico para a deteção da furazolidona, baseado num elétrodo de pasta de carbono modificado com um polímero molecularmente impresso. A procura de novos materiais que permitam uma melhor seletividade e sensibilidade aos sistemas de deteção é especialmente importante no desenvolvimento de métodos analíticos. Os polímeros molecularmente impressos enquadram-se nesse perfil e o seu uso tem vindo a ser cada vez mais frequente como ferramenta importante em química analítica. Assim, sintetizou-se um polímero com cavidades seletivas para a Furazolidona. Este polímero foi, misturado com grafite e perafina de modo a produzir uma pasta de carbono. Uma seringa de plástico foi usada como suporte da pasta de carbono. O comportamento eletroquímico do sensor foi avaliado e diversas condições de utilização foram estudadas e otimizadas. O sensor apresenta um comportamento linear entre a intensidade do pico e a concentração numa gama de concentrações entre 1 e 100 μM, um limite de deteção de 1 μM e uma precisão (repetibilidade) inferior a 7%. A aplicabilidade do sensor fabricado em amostras complexas foi avaliada pela deteção do fármaco em amostras de urina.
Resumo:
Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. San Antonio, U.S.A..