922 resultados para Static verification
Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP
Resumo:
Objective: The purpose of this study was to compare 2 different interventions, global postural reeducation (GPR) and static stretching exercises (SS), in the treatment of women with temporomandibular disorders (TMDs). Methods: A total of 28 subjects with TMDs were randomized into 2 treatment groups: GPR, where therapy involved muscle global chain stretching, or SS, with conventional static stretching; but only 24 completed the study. Eight treatment sessions lasting 40 minutes each (weekly) were performed. Assessments were conducted at baseline, immediately after treatment end, and 2 months later. Measurements included pain intensity at the temporomandibular joint, headache, cervicalgia, teeth clenching, ear symptoms, restricted sleep, and difficulties for mastication, using a visual analogue scale. In addition, electromyographic activity and pain thresholds were measured at the masseter, anterior temporalis, stemocleidomastoid, and upper trapezius muscles. Two-way analysis of variance with Tukey post hoc test was used for between-group comparisons. Significance level was .05. Results: Comparing the pain assessments using the visual analogue scale, no significant differences were seen with the exception of severity of headaches at treatment end (GPR, 3.92 +/- 2.98 cm; SS, 1.64 +/- 1.66 cm; P < .024). In addition, no significant differences were seen for pain thresholds and for electromyographic activity (P > .05). Conclusions: For the subjects in this study, both GPR and SS were similarly effective for the treatment of TMDs with muscular component. They equally reduced pain intensity, increased pain thresholds, and decreased electromyographic activity. (J Manipulative Physiol Ther 2010;33:500-507)
Resumo:
Os Eurocódigos estruturais são um conjunto de normas técnicas que têm como objectivo abranger o projecto e verificação de qualquer tipo de construção para os países membros da União Europeia. O objectivo deste trabalho é sistematizar todos os procedimentos que estão presentes nos Eurocódigos e que são aplicáveis, de uma forma geral, à construção metálica. Foi feito o desenvolvimento de uma solução estrutural para o caso concreto de uma estrutura metálica de uma ponte rolante com o objectivo de se fazer o levantamento dos normativos estabelecidos para o projecto de estruturas metálicas. Este trabalho foi desenvolvido considerando fundamentalmente três Eurocódigos. O Eurocódigo 0 que estabelece o princípio e bases para o projecto de estruturas, o Eurocódigo 1 que define as acções em estruturas e o Eurocódigo 3 que estabelece as regras gerais, de verificação ao fogo, de projecto de ligações e de verificação à fadiga. O trabalho desenvolvido consistiu em projectar a estrutura metálica da ponte rolante considerada e para tal foram feitos os seguintes passos. - Determinação das acções na estrutura e das situações de projecto; - Projecto da estrutura considerando a verificação de cedência ou deformação excessiva dos seus elementos; - Projecto da estrutura considerando a perda de equilíbrio estático da estrutura; - Projecto da estrutura considerando a verificação da sua resistência ao fogo; - Projecto das ligações aparafusadas; - Verificação da resistência à fadiga.
Resumo:
In this paper we present VERITAS, a tool that focus time maintenance, that is one of the most important processes in the engineering of the time during the development of KBS. The verification and validation (V&V) process is part of a wider process denominated knowledge maintenance, in which an enterprise systematically gathers, organizes, shares, and analyzes knowledge to accomplish its goals and mission. The V&V process states if the software requirements specifications have been correctly and completely fulfilled. The methodologies proposed in software engineering have showed to be inadequate for Knowledge Based Systems (KBS) validation and verification, since KBS present some particular characteristics. VERITAS is an automatic tool developed for KBS verification which is able to detect a large number of knowledge anomalies. It addresses many relevant aspects considered in real applications, like the usage of rule triggering selection mechanisms and temporal reasoning.
The use of non-standard CT conversion ramps for Monte Carlo verification of 6 MV prostate IMRT plans
Resumo:
Monte Carlo (MC) dose calculation algorithms have been widely used to verify the accuracy of intensity-modulated radiotherapy (IMRT) dose distributions computed by conventional algorithms due to the ability to precisely account for the effects of tissue inhomogeneities and multileaf collimator characteristics. Both algorithms present, however, a particular difference in terms of dose calculation and report. Whereas dose from conventional methods is traditionally computed and reported as the water-equivalent dose (Dw), MC dose algorithms calculate and report dose to medium (Dm). In order to compare consistently both methods, the conversion of MC Dm into Dw is therefore necessary. This study aims to assess the effect of applying the conversion of MC-based Dm distributions to Dw for prostate IMRT plans generated for 6 MV photon beams. MC phantoms were created from the patient CT images using three different ramps to convert CT numbers into material and mass density: a conventional four material ramp (CTCREATE) and two simplified CT conversion ramps: (1) air and water with variable densities and (2) air and water with unit density. MC simulations were performed using the BEAMnrc code for the treatment head simulation and the DOSXYZnrc code for the patient dose calculation. The conversion of Dm to Dw by scaling with the stopping power ratios of water to medium was also performed in a post-MC calculation process. The comparison of MC dose distributions calculated in conventional and simplified (water with variable densities) phantoms showed that the effect of material composition on dose-volume histograms (DVH) was less than 1% for soft tissue and about 2.5% near and inside bone structures. The effect of material density on DVH was less than 1% for all tissues through the comparison of MC distributions performed in the two simplified phantoms considering water. Additionally, MC dose distributions were compared with the predictions from an Eclipse treatment planning system (TPS), which employed a pencil beam convolution (PBC) algorithm with Modified Batho Power Law heterogeneity correction. Eclipse PBC and MC calculations (conventional and simplified phantoms) agreed well (<1%) for soft tissues. For femoral heads, differences up to 3% were observed between the DVH for Eclipse PBC and MC calculated in conventional phantoms. The use of the CT conversion ramp of water with variable densities for MC simulations showed no dose discrepancies (0.5%) with the PBC algorithm. Moreover, converting Dm to Dw using mass stopping power ratios resulted in a significant shift (up to 6%) in the DVH for the femoral heads compared to the Eclipse PBC one. Our results show that, for prostate IMRT plans delivered with 6 MV photon beams, no conversion of MC dose from medium to water using stopping power ratio is needed. In contrast, MC dose calculations using water with variable density may be a simple way to solve the problem found using the dose conversion method based on the stopping power ratio.
Resumo:
Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Automação e Electrónica Industrial
Resumo:
The electrooxidative behavior of citalopram (CTL) in aqueous media was studied by cyclic voltammetry (CV) and square-wave voltammetry (SWV) at a glassy-carbon electrode. The electrochemical behaviour of CTL involves two electrons and two protons in the irreversible and diffusion controlled oxidation of the tertiary amine group. The maximum analytical signal was obtained in a phosphate buffer (pH ¼ 8.2). For analytical purposes, an SWV method and a flow-injection analysis (FIA) system with amperometric detection were developed. The optimised SWV method showed a linear range between 1.10 10 5–1.20 10 4 molL 1, with a limit of detection (LOD) of 9.5 10 6 molL 1. Using the FIA method, a linear range between 2.00 10 6–9.00 10 5 molL 1 and an LODof 1.9 10 6 molL 1 were obtained. The validation of both methods revealed good performance characteristics confirming applicability for the quantification of CTL in several pharmaceutical products.