831 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
Resumo:
A great challenge of the Component Based Development is the creation of mechanisms to facilitate the finding of reusable assets that fulfill the requirements of a particular system under development. In this sense, some component repositories have been proposed in order to answer such a need. However, repositories need to represent the asset characteristics that can be taken into account by the consumers when choosing the more adequate assets for their needs. In such a context, the literature presents some models proposed to describe the asset characteristics, such as identification, classification, non-functional requirements, usage and deployment information and component interfaces. Nevertheless, the set of characteristics represented by those models is insufficient to describe information used before, during and after the asset acquisition. This information refers to negotiation, certification, change history, adopted development process, events, exceptions and so on. In order to overcome this gap, this work proposes an XML-based model to represent several characteristics, of different asset types, that may be employed in the component-based development. Besides representing metadata used by consumers, useful for asset discovering, acquisition and usage, this model, called X-ARM, also focus on helping asset developers activities. Since the proposed model represents an expressive amount of information, this work also presents a tool called X-Packager, developed with the goal of helping asset description with X-ARM
Resumo:
OBJETIVO: Descrever o recrutamento de pacientes, instrumentos de avaliação, métodos para o desenvolvimento de estudos colaborativos multicêntricos e os resultados preliminares do Consórcio Brasileiro de Pesquisa em Transtornos do Espectro Obsessivo-Compulsivo, que inclui sete centros universitários. MÉTODO: Este estudo transversal incluiu entrevistas semi-estruturadas (dados sociodemográficos, histórico médico e psiquiátrico, curso da doença e diagnósticos psiquiátricos comórbidos) e instrumentos que avaliam os sintomas do transtorno obsessivo-compulsivo (Escala para Sintomas Obsessivo-Compulsivos de Yale-Brown e Escala Dimensional para Sintomas Obsessivo-Compulsivos de Yale-Brown), sintomas depressivos (Inventário de Depressão de Beck), sintomas ansiosos (Inventário de Ansiedade de Beck), fenômenos sensoriais (Escala de Fenômenos Sensoriais da Universidade de São Paulo), juízo crítico (Escala de Avaliação de Crenças de Brown), tiques (Escala de Gravidade Global de Tiques de Yale) e qualidade de vida (questionário genérico de avaliação de qualidade de vida, Medical Outcome Quality of Life Scale Short-form-36 e Escala de Avaliação Social). O treinamento dos avaliadores consistiu em assistir cinco entrevistas filmadas e entrevistar cinco pacientes junto com um pesquisador mais experiente, antes de entrevistar pacientes sozinhos. A confiabilidade entre todos os líderes de grupo para os instrumentos mais importantes (Structured Clinical Interview for DSM-IV, Dimensional Yale-Brown Obsessive-Compulsive Scale, Universidade de São Paulo Sensory Phenomena Scale ) foi medida após seis entrevistas completas. RESULTADOS: A confiabilidade entre avaliadores foi de 96%. Até março de 2008, 630 pacientes com transtorno obsessivo-compulsivo tinham sido sistematicamente avaliados. A média de idade (±SE) foi de 34,7 (±0,51), 56,3% eram do sexo feminino e 84,6% caucasianos. Os sintomas obsessivo-compulsivos mais prevalentes foram os de simetria e os de contaminação. As comorbidades psiquiátricas mais comuns foram depressão maior, ansiedade generalizada e transtorno de ansiedade social. O transtorno de controle de impulsos mais comum foi escoriação neurótica. CONCLUSÃO: Este consórcio de pesquisa, pioneiro no Brasil, permitiu delinear o perfil sociodemográfico, clínico e terapêutico do paciente com transtorno obsessivo-compulsivo em uma grande amostra clínica de pacientes. O Consórcio Brasileiro de Pesquisa em Transtornos do Espectro Obsessivo-Compulsivo estabeleceu uma importante rede de colaboração de investigação clínica padronizada sobre o transtorno obsessivo-compulsivo e pode abrir o caminho para projetos semelhantes destinados a integrar outros grupos de pesquisa no Brasil e em todo o mundo.
Resumo:
This paper presents an improved design methodology for determining the parameters used in the classical Series-Parallel Loaded Resonant (SPLR) filter employed in the switching frequency controlled dimmable electronic ballasts. According to the analysis developed in this paper, it is possible to evaluate some characteristics of the resonant filter during the dimming process, such as: range of switching frequency, phase shift and rms value of the current drained by the resonant filter + fluorescent lamp set.
Resumo:
This paper presents an improved design methodology for the determination of the parameters used in the classical series-resonant parallel-loaded (SRPL) filter employed in the switching frequency controlled dimmable electronic ballasts. According to the analysis developed in this paper, it is possible to evaluate some important characteristics of the resonant filter during the dimming operation, such as: range of switching frequency, phase shift, and rms value of the current drained by the resonant filter + fluorescent lamp set. Experimental results are presented in order to validate the analyses developed in this paper. © 2005 IEEE.
Resumo:
We propose a new and clinically oriented approach to perform atlas-based segmentation of brain tumor images. A mesh-free method is used to model tumor-induced soft tissue deformations in a healthy brain atlas image with subsequent registration of the modified atlas to a pathologic patient image. The atlas is seeded with a tumor position prior and tumor growth simulating the tumor mass effect is performed with the aim of improving the registration accuracy in case of patients with space-occupying lesions. We perform tests on 2D axial slices of five different patient data sets and show that the approach gives good results for the segmentation of white matter, grey matter, cerebrospinal fluid and the tumor.
Resumo:
Development of novel implants in orthopaedic trauma surgery is based on limited datasets of cadaver trials or artificial bone models. A method has been developed whereby implants can be constructed in an evidence based method founded on a large anatomic database consisting of more than 2.000 datasets of bones extracted from CT scans. The aim of this study was the development and clinical application of an anatomically pre-contoured plate for the treatment of distal fibular fractures based on the anatomical database. 48 Caucasian and Asian bone models (left and right) from the database were used for the preliminary optimization process and validation of the fibula plate. The implant was constructed to fit bilaterally in a lateral position of the fibula. Then a biomechanical comparison of the designed implant to the current gold standard in the treatment of distal fibular fractures (locking 1/3 tubular plate) was conducted. Finally, a clinical surveillance study to evaluate the grade of implant fit achieved was performed. The results showed that with a virtual anatomic database it was possible to design a fibula plate with an optimized fit for a large proportion of the population. Biomechanical testing showed the novel fibula plate to be superior to 1/3 tubular plates in 4-point bending tests. The clinical application showed a very high degree of primary implant fit. Only in a small minority of cases further intra-operative implant bending was necessary. Therefore, the goal to develop an implant for the treatment of distal fibular fractures based on the evidence of a large anatomical database could be attained. Biomechanical testing showed good results regarding the stability and the clinical application confirmed the high grade of anatomical fit.
Resumo:
Patterns of size inequality in crowded plant populations are often taken to be indicative of the degree of size asymmetry of competition, but recent research suggests that some of the patterns attributed to size‐asymmetric competition could be due to spatial structure. To investigate the theoretical relationships between plant density, spatial pattern, and competitive size asymmetry in determining size variation in crowded plant populations, we developed a spatially explicit, individual‐based plant competition model based on overlapping zones of influence. The zone of influence of each plant is modeled as a circle, growing in two dimensions, and is allometrically related to plant biomass. The area of the circle represents resources potentially available to the plant, and plants compete for resources in areas in which they overlap. The size asymmetry of competition is reflected in the rules for dividing up the overlapping areas. Theoretical plant populations were grown in random and in perfectly uniform spatial patterns at four densities under size‐asymmetric and size‐symmetric competition. Both spatial pattern and size asymmetry contributed to size variation, but their relative importance varied greatly over density and over time. Early in stand development, spatial pattern was more important than the symmetry of competition in determining the degree of size variation within the population, but after plants grew and competition intensified, the size asymmetry of competition became a much more important source of size variation. Size variability was slightly higher at higher densities when competition was symmetric and plants were distributed nonuniformly in space. In a uniform spatial pattern, size variation increased with density only when competition was size asymmetric. Our results suggest that when competition is size asymmetric and intense, it will be more important in generating size variation than is local variation in density. Our results and the available data are consistent with the hypothesis that high levels of size inequality commonly observed within crowded plant populations are largely due to size‐asymmetric competition, not to variation in local density.
Resumo:
Untapered multifiber unions are reported to show a spectral behavior similar to the tapered ones. Their oscillatory behavior does not depend on the biconical regions. This suggests a novel way to make low-cost all-fiber devices with applications as passive components such as optical filters and wavelength multiplexers/demultiplexers. Two types of multimode fibers have been studied and information about the index profile influence has been obtained. Polarization insensitivity and temperature stability have been observed.