11 resultados para Software testing. Test generation. Grammars

em Universidade do Minho


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação de mestrado em Engenharia de Sistemas

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação de mestrado em Engenharia de Sistemas

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação de mestrado Integrado em Engenharia Civil

Relevância:

40.00% 40.00%

Publicador:

Resumo:

This work intends to present a newly developed test setup for dynamic out-of-plane loading using underWater Blast Wave Generators (WBWG) as loading source. Underwater blasting operations have been, during the last decades, subject of research and development of maritime blasting operations (including torpedo studies), aquarium tests for the measurement of blasting energy of industrial explosives and confined underwater blast wave generators. WBWG allow a wide range for the produced blast impulse and surface area distribution. It also avoids the generation of high velocity fragments and reduces atmospheric sound wave. A first objective of this work is to study the behavior of masonry infill walls subjected to blast loading. Three different masonry walls are to be studied, namely unreinforced masonry infill walls and two different reinforcement solutions. These solutions have been studied previously for seismic action mitigation. Subsequently, the walls will be simulated using an explicit finite element code for validation and parametric studies. Finally, a tool to help designers to make informed decisions on the use of infills under blast loading will be presented.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In the investigation and diagnosis of damages to historical masonry structures, the state of stress of the masonry is an important characteristic that must be determined with as much accuracy as possible. Flat-jack testing is a traditional method used to determine the state of stress in historical masonry structures. However, when irregular masonry is tested the method can cause damage to the masonry units and the accuracy of the method is reduced. An enhanced technique, called tube-jack testing, is being developed at the University of Minho to reduce the damage caused during testing and improve the accuracy when used on irregular masonry. This method uses multiple cylindrical jacks inserted in a line of holes drilled in the mortar joints of the masonry, avoiding damage to the masonry units. Concurrently with the development of tube-jack testing, the effect of stress state on sonic testing is being studied. Sonic testing is often used to determine locations of voids and damage in masonry. The focus of these studies was to determine if the state of stress is influencing the sonic test results. In this paper the results of tube-jack testing and sonic testing on masonry walls, built for the purpose of this study in the laboratory, loaded in compression is presented. The tube-jack testing is used to estimate the state of stress in the masonry and the sonic test results are evaluated based on the effect of the applied load on the wall. Future testing and study are suggested for continued development of these test methods.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Despite the extensive research that has been conducted on the debonding behaviour of FRP strengthening systems, no standard methodology has been yet established on its experimental characterization. In this context, to assess the performance and reliability of small scale testing on NSM (near surface mounted) FRP strengthening systems, an experimental program was carried out on a series of nine NSM FRP strengthening systems, in the framework of an international Round Robin Testing (RRT). Eleven laboratories and seven manufacturers and suppliers participated in this extensive international exercise, which regarded both NSM and EBR FRP strengthening systems. Test results obtained for the NSM systems by the participating laboratories are discussed and compared in this paper to investigate the feasibility of the adopted single/double pulling shear test method, to investigate the mechanism of bond between NSM FRP reinforcement and concrete, and to investigate the level of variability obtained between the participating laboratories testing the same material batches. It is concluded that the tested variants in the adopted single/double shear pulling test have a significant influence, stressing the importance of the level of detail of standardized test protocols for bond verification. On overall, given the variants included in this study, the obtained variation in bond stress-slip behaviour between the laboratories remained fairly limited.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Polymer binder modification with inorganic nanomaterials (NM) could be a potential and efficient solution to control matrix flammability of polymer concrete (PC) materials without sacrificing other important properties. Occupational exposures can occur all along the life cycle of a NM and “nanoproducts” from research through scale-up, product development, manufacturing, and end of life. The main objective of the present study is to analyse and compare different qualitative risk assessment methods during the production of polymer mortars (PM) with NM. The laboratory scale production process was divided in 3 main phases (pre-production, production and post-production), which allow testing the assessment methods in different situations. The risk assessment involved in the manufacturing process of PM was made by using the qualitative analyses based on: French Agency for Food, Environmental and Occupational Health & Safety method (ANSES); Control Banding Nanotool (CB Nanotool); Ecole Polytechnique Fédérale de Lausanne method (EPFL); Guidance working safely with nanomaterials and nanoproducts (GWSNN); Istituto Superiore per la Prevenzione e la Sicurezza del Lavoro, Italy method (ISPESL); Precautionary Matrix for Synthetic Nanomaterials (PMSN); and Stoffenmanager Nano. It was verified that the different methods applied also produce different final results. In phases 1 and 3 the risk assessment tends to be classified as medium-high risk, while for phase 2 the more common result is medium level. It is necessary to improve the use of qualitative methods by defining narrow criteria for the methods selection for each assessed situation, bearing in mind that the uncertainties are also a relevant factor when dealing with the risk related to nanotechnologies field.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In order to investigate the out-of-plane behaviour of masonry infill walls, quasi-static testing was performed on a masonry infill walls built inside a reinforced concrete frame by means of an airbag system to apply the uniform out-of-plane load to each component of the infill. The main advantage of this testing setup is that the out-of-plane loading can be applied more uniformly in the walls, contrarily to point load configuration. The test was performed under displacement control by selecting the mid-point of the infill as control point. Input and output air in the airbag was controlled by using a software to apply a specific displacement in the control point of the infill wall. The effect of the distance between the reaction frame of the airbag and the masonry infill on the effective contact area was previously analysed. Four load cells were attached to the reaction frame to measure the out-of-plane force. The effective contact area of the airbag was calculated by dividing the load measured in load cells by the pressure inside the airbag. When the distance between the reaction walls and the masonry infill wall is smaller, the effective area is closer to the nominal area of the airbag. Deformation and crack patterns of the infill confirm the formation of arching mechanism and two-way bending of the masonry infill. Until collapse of the horizontal interface between infill and upper beam in RC frame, the infill bends in two directions but the failure of that interface which is known as weakest interface due to difficulties in filling the mortar between bricks of last row and upper beam results in the crack opening trough a well-defined path and the consequent collapse of the infill.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

IP networks are currently the major communication infrastructure used by an increasing number of applications and heterogeneous services, including voice services. In this context, the Session Initiation Protocol (SIP) is a signaling protocol widely used for controlling multimedia communication sessions such as voice or video calls over IP networks, thus performing vital functions in an extensive set of public and enter- prise solutions. However, the SIP protocol dissemination also entails some challenges, such as the complexity associated with the testing/validation processes of IMS/SIP networks. As a consequence, manual IMS/SIP testing solutions are inherently costly and time consuming tasks, being crucial to develop automated approaches in this specific area. In this perspective, this article presents an experimental approach for automated testing/validation of SIP scenarios in IMS networks. For that purpose, an automation framework is proposed allowing to replicate the configuration of SIP equipment from the pro- duction network and submit such equipment to a battery of tests in the testing network. The proposed solution allows to drastically reduce the test and validation times when compared with traditional manual approaches, also allowing to enhance testing reliability and coverage. The automation framework comprises of some freely available tools which are conveniently integrated with other specific modules implemented within the context of this work. In order to illustrate the advantages of the proposed automated framework, a real case study taken from a PT Inovação customer is presented comparing the time required to perform a manual SIP testing approach with the one time required when using the proposed auto- mated framework. The presented results clearly corroborate the advantages of using the presented framework.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Relevância:

30.00% 30.00%

Publicador:

Resumo:

BACKGROUND: Knowledge of cervical human papillomavirus (HPV) status might influence a cytotechnician's assessment of cellular abnormalities. The authors compared original cytotechnicians' Papanicolaou (Pap) readings for which HPV status was concealed with Pap rereads for which HPV status was revealed separately for 3 screening populations. METHODS: Previously collected cervical Pap smears and clinical data were obtained from the Canadian Cervical Cancer Screening Trial (study A), the Democratic Republic of Congo Community-Based Screening Study (study B), and the Brazilian Investigation into Nutrition and Cervical Cancer Prevention (study C). Smears were reread with knowledge of HPV status for all HPV-positive women as well as a sample of HPV-negative women. Diagnostic performance of Pap cytology was compared between original readings and rereads. RESULTS: A total of 1767 Pap tests were reread. Among 915 rereads for HPV-positive women, the contrast between "revealed" and "concealed" Pap readings demonstrated revisions from negative to positive results for 109 women (cutoff was atypical squamous cells of undetermined significance or worse) and 124 women (cutoff was low-grade squamous intraepithelial lesions [LSIL] or worse). For a disease threshold of cervical intraepithelial neoplasia of grade 2 or worse, specificity significantly declined at the atypical squamous cells of undetermined significance cutoff for studies A (86.6% to 75.3%) and C (42.5% to 15.5%), and at the LSIL cutoff for study C (61.9% to 37.6%). Sensitivity remained nearly unchanged between readings, except in study C, in which reread performance was superior (91.3% vs 71.9% for the LSIL cutoff). CONCLUSIONS: A reduction in the diagnostic accuracy of Pap cytology was observed when revealing patients' cervical HPV status, possibly due to a heightened awareness of potential abnormalities, which led to more false-positive results. Cancer (Cancer Cytopathol) 2015. (c) 2015 American Cancer Society.