908 resultados para Verification and validation technology
Resumo:
This research aimed to develop a questionnaire measure of workers’ perceptions of decent work. The initial pool of 72 items covered the substantive elements used by the International Labour Organization to characterize decent work. It was administered to workers from Portugal (N = 636) and Brazil (N = 1039) and submitted to exploratory and confirmatory factor analysis. The final 31-item version yields seven factor scores in addition to the global decent work score. With good reliability, convergent and discriminant validity indices, the DWQ could open new avenues for empirical studies of the decent work concept.
Resumo:
Introduction; The awareness of HIV positiveness is important for health of the individual and of the comunity. The identicatio of HIV antibodies is possible both using conventional lab tests and quick result tests. In the bibliography it was made clear that there are no instruments in Portuguese to assert the reactions to the HIV quick tests and it was therefore considered it would be useful to adapt and validate a scale in Portuguese, since the language is the official language of 7 different countries and spoken by more than 250 milion people, Objectives: the purpose is to validate a version in European Portuguese of the HIV Antibody Testing Attitude Scale. Methods: the study refers to methodological research for the adaptation and validation of an instrument of attitude measurement. A translation and back-translation was prepared and a trial test was then carried out. A total of 317 students, lectures and co-workers of a Portuguese University was interviewes. Ethical principles were taken into consideration. the pool was obtained in the seven components of the University campus. Results: 3 trials of factorial testing of the main components of 5, 4 and 3 factors. It ended up a solution of 3 factors that explains 50.82% of the variability. In the analysis of the inter-items correlation values of between 0.018 and 0.749 were observed. The internal consistency reveals an alpha Cronbach coefficient of 0.860 as a whole, and in between 0,865 and 0.659 in the 3 factors. Conclusions: this version of the instrument shows that the psychometric properties allow its use in the Portuguese speaking countries.
Resumo:
2008
Resumo:
2016
Resumo:
Heavy Liquid Metal Cooled Reactors are among the concepts, fostered by the GIF, as potentially able to comply with stringent safety, economical, sustainability, proliferation resistance and physical protection requirements. The increasing interest around these innovative systems has highlighted the lack of tools specifically dedicated to their core design stage. The present PhD thesis summarizes the three years effort of, partially, closing the mentioned gap, by rationally defining the role of codes in core design and by creating a development methodology for core design-oriented codes (DOCs) and its subsequent application to the most needed design areas. The covered fields are, in particular, the fuel assembly thermal-hydraulics and the fuel pin thermo-mechanics. Regarding the former, following the established methodology, the sub-channel code ANTEO+ has been conceived. Initially restricted to the forced convection regime and subsequently extended to the mixed one, ANTEO+, via a thorough validation campaign, has been demonstrated a reliable tool for design applications. Concerning the fuel pin thermo-mechanics, the will to include safety-related considerations at the outset of the pin dimensioning process, has given birth to the safety-informed DOC TEMIDE. The proposed DOC development methodology has also been applied to TEMIDE; given the complex interdependence patterns among the numerous phenomena involved in an irradiated fuel pin, to optimize the code final structure, a sensitivity analysis has been performed, in the anticipated application domain. The development methodology has also been tested in the verification and validation phases; the latter, due to the low availability of experiments truly representative of TEMIDE's application domain, has only been a preliminary attempt to test TEMIDE's capabilities in fulfilling the DOC requirements upon which it has been built. In general, the capability of the proposed development methodology for DOCs in delivering tools helping the core designer in preliminary setting the system configuration has been proven.
Resumo:
The porpoise of this study was to implement research methodologies and assess the effectiveness and impact of management tools to promote best practices for the long term conservation of the endangered African wild dog (Lycaon pictus). Different methods were included in the project framework to investigate and expand the applicability of these methodologies to free-ranging African wild dogs in the southern African region: ethology, behavioural endocrinology and ecology field methodologies were tested and implemented. Additionally, research was performed to test the effectiveness and implication of a contraceptive implant (Suprenolin) as a management tool for the species of a subpopulation hosted in fenced areas. Attention was especially given to social structure and survival of treated packs. This research provides useful tools and advances the applicability of these methods for field studies, standardizing and improving research instruments in the field of conservation biology and behavioural endocrinology. Results reported here provide effective methodologies to expand the applicability of non-invasive endocrine assessment to previously prohibited fields, and validation of sampling methods for faecal hormone analysis. The final aim was to fill a knowledge gap on behaviours of the species and provide a common ground for future researchers to apply non-invasive methods to this species research and to test the effectiveness of the contraception on a managed metapopulation.
Resumo:
Background Echocardiography is the cornerstone in the evaluation of cardiac masses and provides accurate characterization. Despite, its accuracy in diagnosis of cardiac masses (CM) remains challenging and, up to date, no validated diagnostic algorithm is validated. Purpose The aim of our study was to evaluate the diagnostic accuracy of echocardiography, to identify the echocardiographic predictors of malignancy and to develop and then validate a multiparametric echocardiographic score that could be used to estimate the likelihood of the histological nature of a CM. Materials and methods The final sample consisted of 273 consecutive patients who had a 2D-echocardiographic evaluation and a histologic diagnosis. Logistic regression was performed to evaluate the ability of echocardiographic findings to discriminate benign versus malignant masses, then a scoring system was developed and validated in a separate test cohort. Results Of the 322 patients initially included in the Bologna Cardiac Masses Registry, 13 with a poor acoustic window, 27 with no histological examination patients and 9 extra-cardiac masses were excluded. In the remaining 273 patients, classical 2-D echocardiogram identified 249 masses with a diagnostic accuracy of 88%. A weighted score [Diagnostic Echocardiographic Mass (DEM) Score] ranging from 0 to 9 was obtained from 6 variables: infiltration, polylobate mass, moderate-severe pericardial effusion. The AUC for the score was 0.965 (95% CI [0.938-0.993]). In a logistic regression analysis using the DEM score as a predictor, the likelihood of malignant CM increased more than 4 times for a 1-unit increase in the score (OR=4.468; 95% CI 2.733-7.304). A score < 3 denoted a high probability of a benign diagnosis, and a score ≥ 5 points corresponded to a higher risk of malignancy. Conclusion 2D-Echocardiography provides a high diagnostic accuracy in identifying cardiac masses and our multiparametric echocardiographic score could be useful to predict the histological nature of cardiac masses.
Resumo:
Although there is broad agreement on the need to transition to a fairer agro-food system, consumer potential in shaping a fair food system has often been overlooked. There is no unique definition of the concept of fairness from the consumer’s perspective. In addition, there are no scales in the academic literature that address fairness in its broad sense, as the existing scales focus on specific and limited aspects that provide a partial picture of the concept. Lack of a true and trustworthy measurement of the notion has been a significant barrier to the knowledge of fairness in agro-food systems from the individual-differences perspective. The individual-differences perspective helps explain why some individuals are more likely than others to put emphasis on the extent to which agro-food chains are fair. Individual consumer perception of an ethical problem is followed by the perception of various alternatives that might lead to a solution. Therefore, the current research intends to make two significant contributions by resolving these constraints. First, advance the literature by providing a new viewpoint to understand fairness in the agro-food chain. Indeed, the research provides a comprehensive conceptualisation of fairness that embraces different aspects of fairness and describes the concept in all its facets and nuances. Second, the research provides a valid, reliable, and invariant measurement of the individual disposition toward fairness in agro-food chains by rooting the items in the theoretical underpinnings of the fairness literature. Overall, this research provides a comprehensive suite of approaches and tools to enhance the resilience, integrity and sustainability of agro-food chains.
Resumo:
The work analyses the tourist water demand in Benidorm, a sun-and-sand destination ranked fourth in Spain by number of visitors, where tourism competes with local residents, nature, agriculture and industrial sectors for scarce water resources. In particular, we have studied the correlation between the water consumption of 83 hotels in Benidorm and their characteristics and services which can impact water use. For this purpose, we have examined the water consumption billed, by the water utility company HIDRAQUA in the period January 2010 - October 2022, to the tourist structures in the municipality of Benidorm, and we have explored the hotels’ features, thanks to the collaboration of the tourism and hotels association HOSBEC. To give a better understanding and contextualization of our analysis we first described explained the of the complex water supply system and the efforts that have been made to reduce the threat posed by the peculiar climate conditions of the region. We saw that the water consumption per guest has slightly decreased in the recent years and that the tourist flux has increased: the global pandemic posed a stop to travels for more than one year, but now both the tourist flux and the tourist water consumption are reaching pre-pandemic level. We found that larger hotels, and in particular the ones opened all the year, that probably tend to offer more water-demanding service with respect to the seasonal ones, have higher water consumption per bed. From the analysis of the role of the different hotel characteristics over the water demand patterns, we found that water use increases with the increase in the hotel category and in the ratio between the surface area of the swimming pool and hotel size (number of beds). Other factors impacting the consumption are the presence of an on-site laundry for washing the hotel linen, the garden, and the implementation of environmental policies for water-saving.
Resumo:
The symbol in air traffic control (ATC), essentially unchanged since the beginning of commercial air traffic early last century, is the characteristic control tower with its large, tilted windows, situated at an exposed location, and rising high above the airport. “Remote Tower” is changing the provision of Air Traffic Services (ATS) in a way that it is more service tailored, dynamically located and available when and where needed, enabled by digital solutions replacing the physical presence of controllers and control towers at aerodromes with a remotely provided Air Traffic Service for Multiple Aerodromes. The paper examines this phenomenon that will mark an epochal change, analysing the experiments and validations carried out in the last years.
Resumo:
This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.
Resumo:
A presente investigação desenvolve o tema da sustentabilidade, ou dito de outra forma, desenvolvimento sustentável. Isto interessa aos países, às organizações e aos cidadãos em geral. Neste pressuposto, este trabalho centra-se nos relatório de sustentabilidade, designação que, actualmente, vem substituir outros que se sucederam ao longo dos tempos, por exemplo: relatórios de responsabilidade social; relatórios ambientais; relatórios de ambiente, saúde e segurança. Porém, os relatórios de sustentabilidade, para serem totalmente compreendidos, devem ser inseridos nos sistemas de informação e comunicação das organizações, onde é verificável que cada vez mais se quer prestar contas, sobre as acções desenvolvidas na esfera da sustentabilidade, de forma credível. No processo de verificação e validação, a auditoria e os auditores têm um papel crucial, contudo, verifica-se que teóricos e práticos, nomeadamente, as empresas de referência mostram que a "sustentabilidade" não deve ser tratada "à parte" mas estar presente em tudo o que é realizado, e neste sentido, as três dimensões que a revelam: ecónomica, social e ambiental. Neste quadro, o objectivo desta dissertação anda em torno de se perceber qual será o futuro dos relatórios de sustentabilidade. O trabalho desenvolvido confirma a problemática que guiou o estudo. Tende-se e é recomendável que as organizações venham a elaborar relatórios únicos integrados, não obstante da possibilidade da existência de relatórios específicos e subsistemas de informação e comunicação, centrados no "verde".
Resumo:
Fault injection is frequently used for the verification and validation of dependable systems. When targeting real time microprocessor based systems the process becomes significantly more complex. This paper proposes two complementary solutions to improve real time fault injection campaign execution, both in terms of performance and capabilities. The methodology is based on the use of the on-chip debug mechanisms present in modern electronic devices. The main objective is the injection of faults in microprocessor memory elements with minimum delay and intrusiveness. Different configurations were implemented and compared in terms of performance gain and logic overhead.
Resumo:
The rapid increase in the use of microprocessor-based systems in critical areas, where failures imply risks to human lives, to the environment or to expensive equipment, significantly increased the need for dependable systems, able to detect, tolerate and eventually correct faults. The verification and validation of such systems is frequently performed via fault injection, using various forms and techniques. However, as electronic devices get smaller and more complex, controllability and observability issues, and sometimes real time constraints, make it harder to apply most conventional fault injection techniques. This paper proposes a fault injection environment and a scalable methodology to assist the execution of real-time fault injection campaigns, providing enhanced performance and capabilities. Our proposed solutions are based on the use of common and customized on-chip debug (OCD) mechanisms, present in many modern electronic devices, with the main objective of enabling the insertion of faults in microprocessor memory elements with minimum delay and intrusiveness. Different configurations were implemented starting from basic Components Off-The-Shelf (COTS) microprocessors, equipped with real-time OCD infrastructures, to improved solutions based on modified interfaces, and dedicated OCD circuitry that enhance fault injection capabilities and performance. All methodologies and configurations were evaluated and compared concerning performance gain and silicon overhead.
Resumo:
Fault injection is frequently used for the verification and validation of the fault tolerant features of microprocessors. This paper proposes the modification of a common on-chip debugging (OCD) infrastructure to add fault injection capabilities and improve performance. The proposed solution imposes a very low logic overhead and provides a flexible and efficient mechanism for the execution of fault injection campaigns, being applicable to different target system architectures.