24 resultados para Boolean Functions, Equivalence Class
Resumo:
No contexto da penetração de energias renováveis no sistema elétrico, Portugal ocupa uma posição de destaque a nível mundial, muito devido à produção de eólica. Com um sistema elétrico com forte presença de fontes de energia renováveis, novos desafios surgem, nomeadamente no caso da energia eólica pela sua imprevisibilidade e volatilidade. O recurso eólico embora seja ilimitado não é armazenável, surgindo assim a necessidade da procura de modelos de previsão de produção de energia elétrica dos parques eólicos de modo a permitir uma boa gestão do sistema. Nesta dissertação apresentam-se as contribuições resultantes de um trabalho de pesquisa e investigação sobre modelos de previsão da potência elétrica com base em valores de previsões meteorológicas, nomeadamente, valores previstos da intensidade e direção do vento. Consideraram-se dois tipos de modelos: paramétricos e não paramétricos. Os primeiros são funções polinomiais de vários graus e a função sigmoide, os segundos são redes neuronais artificiais. Para a estimação dos modelos e respetiva validação, são usados dados recolhidos ao longo de dois anos e três meses no parque eólico do Pico Alto de potência instalada de 6 MW. De forma a otimizar os resultados da previsão, consideram-se diferentes classes de perfis de produção, definidas com base em quatro e oito direções do vento, e ajustam-se os modelos propostos em cada uma das classes. São apresentados e discutidos resultados de uma análise comparativa do desempenho dos diferentes modelos propostos para a previsão da potência.
Resumo:
Trabalho de Projeto apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Tradução e Interpretação Especializadas, sob orientação da Doutora Clara Sarmento
Resumo:
This paper addresses limit cycles and signal propagation in dynamical systems with backlash. The study follows the describing function (DF) method for approximate analysis of nonlinearities and generalizes it in the perspective of the fractional calculus. The concept of fractional order describing function (FDF) is illustrated and the results for several numerical experiments are analysed. FDF leads to a novel viewpoint for limit cycle signal propagation as time-space waves within system structure.
Resumo:
The aim of this study was to analyze the efficacy of cognitive-motor dual-task training compared with single-task training on balance and executive functions in individuals with Parkinson's disease. Fifteen subjects, aged between 39 and 75 years old, were randomly assigned to the dual-task training group (n = 8) and single-task training group (n = 7). The training was run twice a week for 6 weeks. The single-task group received balance training and the dual-task group performed cognitive tasks simultaneously with the balance training. There were no significant differences between the two groups at baseline. After the intervention, the results for mediolateral sway with eyes closed were significantly better for the dual-task group and anteroposterior sway with eyes closed was significantly better for the single-task group. The results suggest superior outcomes for the dual-task training compared to the single-task training for static postural control, except in anteroposterior sway with eyes closed.
Resumo:
Exercise promotes several health benefits, such as cardiovascular, musculoskeletal and cardiorespiratory improvements. It is believed that the practice of exercise in individuals with psychiatric disorders, e.g. schizophrenia, can cause significant changes. Schizophrenic patients have problematic lifestyle habits compared with general population; this may cause a high mortality rate, mainly caused by cardiovascular and metabolic diseases. Thus, the aim of this study is to investigate changes in physical and mental health, cognitive and brain functioning due to the practice of exercise in patients with schizophrenia. Although still little is known about the benefits of exercise on mental health, cognitive and brain functioning of schizophrenic patients, exercise training has been shown to be a beneficial intervention in the control and reduction of disease severity. Type of training, form of execution, duration and intensity need to be better studied as the effects on physical and mental health, cognition and brain activity depend exclusively of interconnected factors, such as the combination of exercise and medication. However, one should understand that exercise is not only an effective nondrug alternative, but also acts as a supporting linking up interventions to promote improvements in process performance optimization. In general, the positive effects on mental health, cognition and brain activity as a result of an exercise program are quite evident. Few studies have been published correlating effects of exercise in patients with schizophrenia, but there is increasing evidence that positive and negative symptoms can be improved. Therefore, it is important that further studies be undertaken to expand the knowledge of physical exercise on mental health in people with schizophrenia, as well as its dose-response and the most effective type of exercise.
Resumo:
This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.
Resumo:
In this paper we study several natural and man-made complex phenomena in the perspective of dynamical systems. For each class of phenomena, the system outputs are time-series records obtained in identical conditions. The time-series are viewed as manifestations of the system behavior and are processed for analyzing the system dynamics. First, we use the Fourier transform to process the data and we approximate the amplitude spectra by means of power law functions. We interpret the power law parameters as a phenomenological signature of the system dynamics. Second, we adopt the techniques of non-hierarchical clustering and multidimensional scaling to visualize hidden relationships between the complex phenomena. Third, we propose a vector field based analogy to interpret the patterns unveiled by the PL parameters.
Resumo:
Open innovation is a hot topic in innovation management. Its basic premise is open up the innovation process. The innovation process, in general sense, may be seen as the process of designing, developing and commercializing a novel product or service to improve the value added of a company. The development of Web 2.0 tools facilitates this kind of contributions, opening space to the emergence of crowdsourcing innovation initiatives. Crowdsourcing is a form of outsourcing not directed to other companies but to the crowd by means of an open call mostly through an Internet platform. Innovation intermediaries, in general sense, are organizations that work to enable innovation, that just act as brokers or agents between two or more parties. Usually, they are also engaged in other activities like inter-organizational networking and technology development and related activities. A crowdsourcing innovation intermediary is an organization that mediates the communication and relationship between the seekers – companies that aspire to solve some problem or to take advantage of any business opportunity – with a crowd that is prone to give ideas based on their knowledge, experience and wisdom. This paper identifies and analyses the functions to be performed by an intermediary of crowdsourcing innovation through grounded theory analyses from literature. The resulting model is presented and explained. The resulting model summarizes eight main functions that can be performed by a crowdsourcing process, namely, diagnoses, mediation, linking knowledge, community, evaluation, project management, intellectual property governance and marketing and support. These functions are associated with a learning cycle process which covers all the crowdsourcing activities that can be realized by the broker.