894 resultados para Quantitative verification
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
In this paper, we described how a multidimensional wavelet neural networks based on Polynomial Powers of Sigmoid (PPS) can be constructed, trained and applied in image processing tasks. In this sense, a novel and uniform framework for face verification is presented. The framework is based on a family of PPS wavelets,generated from linear combination of the sigmoid functions, and can be considered appearance based in that features are extracted from the face image. The feature vectors are then subjected to subspace projection of PPS-wavelet. The design of PPS-wavelet neural networks is also discussed, which is seldom reported in the literature. The Stirling Universitys face database were used to generate the results. Our method has achieved 92 % of correct detection and 5 % of false detection rate on the database.
Resumo:
The 2024 and 7050 aluminium alloys used as aircraft components were subjected to laboratory corrosion tests in sodium chloride solution, Light-microscope examinations make it possible to characterise morphological aspects of the localised corrosion. Image analysis was used to determine both depth and width of pits over corroded surfaces. It has been concluded that the annealing could reduce the pit growth in both alloys, by means of grains recrystallization or recovery. The 2024 alloy also tends to present an exfoliation mechanism, mainly throughout non-recrystallized and recrystallized grain boundaries, increasing the width and sustaining the depth of pit cavities during exposition to saline atmosphere. SEM and EDS analysis reveal the morphology and elemental distribution of the corrosion products formed after immersion corrosion test. Some of these products were identified by X-ray diffraction analysis. For 2024, Al(OH)(3), MS(OH)(2) and Cu2O were found. AI(OH)(3) and Cu2O were also found in 7050 samples.
Resumo:
A set of NIH Image macro programs was developed to make qualitative and quantitative analyses from digital stereo pictures produced by scanning electron microscopes. These tools were designed for image alignment, anaglyph representation, animation, reconstruction of true elevation surfaces, reconstruction of elevation profiles, true-scale elevation mapping and, for the quantitative approach, surface area and roughness calculations. Limitations on time processing, scanning techniques and programming concepts are also discussed.
Resumo:
An automatic image processing and analysis technique has been developed for quantitative characterization of multi-phase materials. For the development of this technique is used the Khoros system that offers the basic morphological tools and a flexible, visual programming language. These techniques are implemented in a highly user oriented image processing environment that allows the user to adapt each step of the processing to his special requirements.To illustrate the implementation and performance of this technique, images of two different materials are processed for microstructure characterization. The result is presented through the determination of volume fraction of the different phases or precipitates.
Resumo:
This work is an example of the improvement on quantitative fractography by means of digital image processing and light microscopy. Two techniques are presented to investigate the quantitative fracture behavior of Ti-4Al-4V heat-treated alloy specimens, under Charpy impact testing. The first technique is the Minkowski method for fractal dimension measurement from surface profiles, revealing the multifractal character of Ti-4Al-4V fracture. It was not observed a clear positive correlation of fractal values against Charpy energies for Ti-4Al-4V alloy specimens, due to their ductility, microstructural heterogeneities and the dynamic loading characteristics at region near the V-notch. The second technique provides an entire elevation map of fracture surface by extracting in-focus regions for each picture from a stack of images acquired at successive focus positions, then computing the surface roughness. Extended-focus reconstruction has been used to explain the behavior along fracture surface. Since these techniques are based on light microscopy, their inherent low cost is very interesting for failure investigations.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
A boa produtividade e os valores intermediários para altura da planta e altura da espiga caracterizam a população de milho ESALQ-PB1 como agronomicamente promissora. São relatadas estimativas de parâmetros para 13 caracteres: altura da planta (PH), altura da espiga (EH), posição relativa da espiga (EP), comprimento do pendão (TL), peso do pendão (TW), número de ramificações do pendão (TB), peso de espigas (EW), peso de grãos (GW), comprimento da espiga (EL), diâmetro da espiga (ED), número de fileiras de grãos (RN), número de grãos por fileira (KR) e prolificidade (PR). Os resultados se referem a um único ambiente (um local e um ano). Foi detectada variação genética para todos os caracteres, e são apresentadas estimativas da variância genética aditiva. Os coeficientes de herdabilidade (indivíduos) variaram de 0,14 a 0,72 e foram considerados altos para PH, EH e TB; intermediários para EP, TL, TW, EL e ED, e baixos para EW, GW, KR e PR. O coeficiente de herdabilidade para médias de progênies mostrou aproximadamente a mesma tendência, variando de 0,40 a 0,75. O maior ganho esperado por seleção foi para TB (27% por ciclo) sob seleção massal e para TW (16,4%) por seleção entre progênies; o menor ganho esperado foi para ED, tanto por seleção massal (1,9%) como por seleção entre progênies (2,9%). Coeficientes de correlação aditiva (rA) 0.5
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Can be declared that throughout the historical trajectory of the Brazilian Social Work, the men in the Social Work profession, women in the Social Work profession in his/her professional activity, present an educational dimension that runs through various social and occupational spaces, particularly in the area of Social Assistance Policy. Based on this premise, this present Dissertation, problematize the educational dimension present on the interventional process, in Social Work on the ambit of the Social Assistance Policy in Natal / RN city Brazil in the contemporary scene. Having thus, specific objectives that orientate the research of the interventional process of Social Work in the social assistance policy, analyzing of the apprehension of Social Work professionals on the educational dimension, in their daily work professional and the verification of the relationship between the educational dimension, to the professional action of both men in the Social Work profession and women in the Social Work profession and the concretization of social rights on the ambit of the social assistance policy. In this sense, the theoretical and methodological procedures used for this research, are substantiated on a critical-dialectical perspective and a qualitative and quantitative approach, from of the application of field research, of the non-participant observation, of the semi-structure, of the review of literature bibliographic and documental. Thus, considering that both women in the social work profession and men in the social work profession are an organic intellectuals who in their daily professional work promotes an intellectual and moral reform of their users, the results of this research, synthesize and show that the educational dimension in both professional work and social assistance, which have partner-historics, whose imbrication allows, contradictorily, by a side, a reaffirmation of the dominant culture, and by other side, a direction linked to the construction of an emancipatory culture in the pursuit of the materializing of social rights and a new sociability
Resumo:
Background: Cerebral palsy (CP) presents changes in posture and movement as a core characteristic, which requires therapeutic monitoring during the habilitation or rehabilitation of children. Besides clinical treatment, it is fundamental that professionals use systems of evaluation to quantify the difficulties presented to the individual and assist in the organization of a therapeutic program. The aim of this study was to quantitatively verify the performance of children with spastic di-paresia type CP.Methods: The Pediatric Evaluation of Disability Inventory (PEDI) and Gross Motor Function Classification System (GMFM) tests were used and classification made through the GMFCS in the assessment of 7 patients with CP, 4 females and 3 males, average age of 9 years old.Results: According to GMFCS scales, 17% (n=1) were level II and 83% (n=6) were level III. The PEDI test and 88 GMFM items were used in the area of mobility. We observed that there was high correlation between mobility and gross motor function with Pearson's correlation coefficient =0.929) showing the likely impact of these areas in the functional skills and the quality of life of these patients.Conclusion: We suggest the impact of the limitation of the areas in functional skills and quality of life of these patients.
Resumo:
PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs
Resumo:
To evaluate the tumor response to neoadjuvant chemotherapy, Tc-99m-sestamibi breast scintigraphy was proposed as a quantitative method Fifty-five patients with ductal carcinoma were studied They underwent breast scintigraphy before and after neoadjuvant chemotherapy, along with clinical assessment and surgical specimen analysis The regions of interest on the lesion and contralateral breast were identified, and the pixel counts were used to evaluate lesion uptake in relation to background radiation The ratio of these counts before to after neoadjuvant chemotherapy was assessed The decrease in uptake rate due to chemotherapy characterized the scintigraphy tumor response The Kruskal-Wallis test was used to compare the mean scintigraphic tumor response and histological type Dunn's multiple comparison test was used to detect differences between histological types The Mann-Whitney test was used to compare means between quantitative and qualitative variables scintigraphic tumor response vs clinical response and uptake before chemotherapy vs scintigraphic tumor response The Spearman's test was used to correlate the quantitative variables of clinical reduction in tumor size and scintigraphic tumor response All of the variables compared presented significant differences The change in Tc-99m-sestamibi uptake noted on breast scintigraphy, before to after neoadjuvant chemotherapy, may be used as an effective method for evaluating the response to neoadjuvant chemotherapy, since this quantification reflects the biological behavior of the tumor towards the chemotherapy regimen Furthermore, additional analysis on the uptake rate before chemotherapy may accurately predict treatment response