1000 resultados para Code validation
Resumo:
Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Civil
Resumo:
This paper proposes the concept of multi-asynchronous-channel for Petri nets. Petri nets extended with multi-asynchronous-channels and time-domains support the specification of distributed controllers, where each controller has a synchronous execution but the global system is asynchronous (globally-asynchronous locally-synchronous systems). Each multi-asynchronous-channel specify the interaction between two or more distributed controllers. These channels, together with the time-domain concept, ensure the creation of network-independent models to support implementations using heterogeneous communication networks. The created models support not only the systems documentation but also their validation and implementation through simulation tools, verification tools, and automatic code generators. An application example illustrates the use of a Petri net class extended with the proposed channels. © 2015 IEEE.
Resumo:
Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores – Sistemas Digitais e Percepcionais pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia
Resumo:
Dissertação apresentada na Faculdade de Ciências e Tecnologias da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática
Resumo:
The aim of this study was to validate the 14C-urea breath test for use in diagnosis of Helicobacter pylori infection. Thirty H. pylori positive patients, based on histologic test and thirty H. pylori negative patients by histology and anti-H. pylori IgG entered the study. Fasting patients drank 5 uCi of 14C-urea in 20 ml of water. Breath samples were collected at 0, 5, 10, 15, 20 and 30 min. The difference of cpm values between the two groups was significant at all the time intervals, besides time 0 (p<0.0001). At 20 min, the test gave 100% sensitivity and specificity with a cut-off value of 562 cpm. Females were higher expirers than males (p=0.005). 14C-urea breath test is highly accurate for Helicobacter pylori diagnosis. It is fast, simple and should be the non-invasive test used after treating Helicobacter pylori infection.
Resumo:
A previously healthy seven-year-old boy was admitted to the intensive care unit because of toxaemia associated with varicella. He rapidly developed shock and multisystem organ failure associated with the appearance of a deep-seated soft tissue infection and, despite aggressive treatment, died on hospital day 4. An M-non-typable, spe A and spe B positive Group A Streptococcus was cultured from a deep soft tissue aspirate. The criteria for defining Streptococcal toxic shock-like syndrome were fulfilled. The authors discuss the clinical and pathophysiological aspects of this disease as well as some unusual clinical findings related to this case.
Resumo:
Purpose: This work aims at further developing and testing the psychometric properties of the Cultural Intelligence Scale (Ang & Van Dyne, 2006) in an Erasmus Mundus Students and Alumni Population, including reliability. Design Methodology: The study included 626 participants from 109 different countries that emcompasses 6 continents. Exploratory and Confirmatory Factor Analysis procedures were carried out in order to test the scale in a multicultural scale of Erasmus Mundus Students. Reliability was assessed using Cronbach Alpha. Results: The scale presents excellent psychometric properties with alpha values that range from .84 to .90. Exploratory and Confirmatory Factor Analyses demonstrated that the original model of the scale presents an exceptionally good fit. Limitations: The present study was conducted using a convenience sample and online questionnaires that limit its conclusions when we consider the globality of the Erasmus Mundus Students. Research/Practical Implications: This study presents evidence that Ang and Van Dyne’s scale is an adequate measure instrument to assess intercultural intelligence in a multicultural setting of students and alumni. Originality/Value: Multicultural samples and studies are becoming more and more present and relevant; the study of intercultural competences and habilities is becoming increasingly important, and in this task, solid psychometric instruments are of paramount importance. This study presents evidence that Ang and Van Dyne’s (2006) scale is a fairly recent and parsimonious instrument with excellent psychometric properties properties.
Resumo:
20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 22 to 26, Jun, 2015, Madrid, Spain.
Resumo:
Dissertação para obtenção do grau de Mestre em Engenharia Civil - Perfil Estruturas
Resumo:
Background: Little is known about the risk of progression to hazardous alcohol use in people currently drinking at safe limits. We aimed to develop a prediction model (predictAL) for the development of hazardous drinking in safe drinkers. Methods: A prospective cohort study of adult general practice attendees in six European countries and Chile followed up over 6 months. We recruited 10,045 attendees between April 2003 to February 2005. 6193 European and 2462 Chilean attendees recorded AUDIT scores below 8 in men and 5 in women at recruitment and were used in modelling risk. 38 risk factors were measured to construct a risk model for the development of hazardous drinking using stepwise logistic regression. The model was corrected for over fitting and tested in an external population. The main outcome was hazardous drinking defined by an AUDIT score >= 8 in men and >= 5 in women. Results: 69.0% of attendees were recruited, of whom 89.5% participated again after six months. The risk factors in the final predictAL model were sex, age, country, baseline AUDIT score, panic syndrome and lifetime alcohol problem. The predictAL model's average c-index across all six European countries was 0.839 (95% CI 0.805, 0.873). The Hedge's g effect size for the difference in log odds of predicted probability between safe drinkers in Europe who subsequently developed hazardous alcohol use and those who did not was 1.38 (95% CI 1.25, 1.51). External validation of the algorithm in Chilean safe drinkers resulted in a c-index of 0.781 (95% CI 0.717, 0.846) and Hedge's g of 0.68 (95% CI 0.57, 0.78). Conclusions: The predictAL risk model for development of hazardous consumption in safe drinkers compares favourably with risk algorithms for disorders in other medical settings and can be a useful first step in prevention of alcohol misuse.
Resumo:
This paper presents the TEC4SEA research infrastructure created in Portugal to support research, development, and validation of marine technologies. It is a multidisciplinary open platform, capable of supporting research, development, and test of marine robotics, telecommunications, and sensing technologies for monitoring and operating in the ocean environment. Due to the installed research facilities and its privileged geographic location, it allows fast access to deep sea, and can support multidisciplinary research, enabling full validation and evaluation of technological solutions designed for the ocean environment. It is a vertically integrated infrastructure, in the sense that it possesses a set of skills and resources which range from pure conceptual research to field deployment missions, with strong industrial and logistic capacities in the middle tier of prototype production. TEC4SEA is open to the entire scientific and enterprise community, with a free access policy for researchers affiliated with the research units that ensure its maintenance and sustainability. The paper describes the infrastructure in detail, and discusses associated research programs, providing a strategic vision for deep sea research initiatives, within the context of both the Portuguese National Ocean Strategy and European Strategy frameworks.