68 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
em Reposit
Resumo:
Gesture-based applications have particularities, since users interact in a natural way, much as they interact in the non-digital world. Hence, new requirements are needed on the software design process. This paper shows a software development process model for these applications, including requirement specification, design, implementation, and testing procedures. The steps and activities of the proposed model were tested through a game case study, which is a puzzle game. The puzzle is completed when all pieces of a painting are correctly positioned by the drag and drop action of users hand gesture. It also shows the results obtained of applying a heuristic evaluation on this game. © 2012 IEEE.
Resumo:
In this work a new method is proposed of separated estimation for the ARMA spectral model based on the modified Yule-Walker equations and on the least squares method. The proposal of the new method consists of performing an AR filtering in the random process generated obtaining a new random estimate, which will reestimate the ARMA model parameters, given a better spectrum estimate. Some numerical examples will be presented in order to ilustrate the performance of the method proposed, which is evaluated by the relative error and the average variation coefficient.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
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:
Pós-graduação em Engenharia de Produção - FEB
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:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
In the present work, we propose a model for the statistical distribution of people versus number of steps acquired by them in a learning process, based on competition, learning and natural selection. We consider that learning ability is normally distributed. We found that the number of people versus step acquired by them in a learning process is given through a power law. As competition, learning and selection is also at the core of all economical and social systems, we consider that power-law scaling is a quantitative description of this process in social systems. This gives an alternative thinking in holistic properties of complex systems. (C) 2004 Elsevier B.V. All rights reserved.
Resumo:
This paper discusses the main characteristics and presents a comparative analysis of three synchronization algorithms based respectively, on a Phase-Locked Loop, a Kalman Filter and a Discrete Fourier Transform. It will be described the single and three-phase models of the first two methods and the single-phase model of the third one. Details on how to modify the filtering properties or dynamic response of each algorithm will be discussed in terms of their design parameters. In order to compare the different algorithms, these parameters will be set for maximum filter capability. Then, the dynamic response, during input amplitude and frequency deviations will be observed, as well as during the initialization procedure. So, advantages and disadvantages of all considered algorithms will be discussed. ©2007 IEEE.
Resumo:
Identification and classification of overlapping nodes in networks are important topics in data mining. In this paper, a network-based (graph-based) semi-supervised learning method is proposed. It is based on competition and cooperation among walking particles in a network to uncover overlapping nodes by generating continuous-valued outputs (soft labels), corresponding to the levels of membership from the nodes to each of the communities. Moreover, the proposed method can be applied to detect overlapping data items in a data set of general form, such as a vector-based data set, once it is transformed to a network. Usually, label propagation involves risks of error amplification. In order to avoid this problem, the proposed method offers a mechanism to identify outliers among the labeled data items, and consequently prevents error propagation from such outliers. Computer simulations carried out for synthetic and real-world data sets provide a numeric quantification of the performance of the method. © 2012 Springer-Verlag.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Pós-graduação em Fisiopatologia em Clínica Médica - FMB