972 resultados para Propositional calculus.
Resumo:
This paper addresses the matrix representation of dynamical systems in the perspective of fractional calculus. Fractional elements and fractional systems are interpreted under the light of the classical Cole–Cole, Davidson–Cole, and Havriliak–Negami heuristic models. Numerical simulations for an electrical circuit enlighten the results for matrix based models and high fractional orders. The conclusions clarify the distinction between fractional elements and fractional systems.
Resumo:
Atmospheric temperatures characterize Earth as a slow dynamics spatiotemporal system, revealing long-memory and complex behavior. Temperature time series of 54 worldwide geographic locations are considered as representative of the Earth weather dynamics. These data are then interpreted as the time evolution of a set of state space variables describing a complex system. The data are analyzed by means of multidimensional scaling (MDS), and the fractional state space portrait (fSSP). A centennial perspective covering the period from 1910 to 2012 allows MDS to identify similarities among different Earth’s locations. The multivariate mutual information is proposed to determine the “optimal” order of the time derivative for the fSSP representation. The fSSP emerges as a valuable alternative for visualizing system dynamics.
Resumo:
This article presents a novel method for visualizing the control systems behavior. The proposed scheme uses the tools of fractional calculus and computes the signals propagating within the system structure as a time/frequency-space wave. Linear and nonlinear closed-loop control systems are analyzed, for both the time and frequency responses, under the action of a reference step input signal. Several nonlinearities, namely, Coulomb friction and backlash, are also tested. The numerical experiments demonstrate the feasibility of the proposed methodology as a visualization tool and motivate its extension for other systems and classes of nonlinearities.
Resumo:
Esta tese de dissertação tem como principal objetivo a implementação de controladores fracionários utilizando diapositivos analógicos FPAA (Field Programable Analog Array). Embora estes dispositivos já não sejam um tecnologia recente, não tiveram grande aceitação comercial, daí não ter sido grande a sua evolução nesta última década. Mas para a elaboração de alguns circuitos analógicos, nomeadamente filtros, amplificadores e mesmo controladores PID (Proporcional-Integrativo-Derivativo) analógicos torna-se numa ferramenta que pode facilitar o projeto e implementação. Para a realização deste estudo, utilizou-se a placa de desenvolvimento da Anadigm AN231K04-DVLP3 juntamente com o software disponibilizado pela mesma empresa, o AnadigmDesigner2. Para a simulação e observação dos resultados foi utilizada a DAQ (Data Acquisition) Hilink da Zelton juntamente com o software Matlab. De forma a testar a implementação dos controladores fracionários nas FPAA foram realizados alguns circuitos no software e enviados para a FPAA comparando os resultados obtidos na simulação com os visualizados no osciloscópio. Por último foi projetado um controlador PIlDm recorrendo aos métodos de aproximação inteira descritos neste documento implementados na FPAA recorrendo ao uso de filtros de primeira e segunda ordem.
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
O presente documento corresponde à realização de um projeto de estruturas em betão armado e estrutura metálica. A escolha deste tema teve como propósito aplicar os conhecimentos adquiridos ao longo do percurso académico, sobretudo em disciplinas do ramo de estruturas. O trabalho desenvolvido é um Projeto de Estabilidade de Betão Armado e Estrutura Metálica de um Internato Masculino para Padres em Onameva, Cunene – Angola. A elaboração deste projeto decorre da realização de um estágio formal de 8 meses na empresa CALCULUS, Miguel Barros – Engenharia, LDA, com o objetivo principal de reunir os requisitos necessários à admissão na Ordem dos Engenheiros. No contexto laboral de um gabinete de projetos de engenharia civil, foi feita a integração de forma gradual e sustentada das competências adquiridas ao longo da formação académica e vivenciadas situações reais de trabalho profissional. De entre as atividades desenvolvidas no estágio, foi escolhido o projeto de estabilidade acima referido pela oportunidade de realizar todas as etapas do seu desenvolvimento, desde a análise da arquitetura até à elaboração das peças escritas e desenhadas, dando assim resposta às exigências necessárias para a conclusão do Mestrado em Engenharia Civil, no ramo de Estruturas, pelo Instituto Superior de Engenharia do Porto.
Resumo:
A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics
Resumo:
Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.
Resumo:
This paper examines modern economic growth according to the multidimensional scaling (MDS) method and state space portrait (SSP) analysis. Electing GDP per capita as the main indicator for economic growth and prosperity, the long-run perspective from 1870 to 2010 identifies the main similarities among 34 world partners’ modern economic growth and exemplifies the historical waving mechanics of the largest world economy, the USA. MDS reveals two main clusters among the European countries and their old offshore territories, and SSP identifies the Great Depression as a mild challenge to the American global performance, when compared to the Second World War and the 2008 crisis.
Resumo:
In this work we provide a new mathematical model for the Pennes’ bioheat equation, assuming a fractional time derivative of single order. Alternative versions of the bioheat equation are studied and discussed, to take into account the temperature-dependent variability in the tissue perfusion, and both finite and infinite speed of heat propagation. The proposed bioheat model is solved numerically using an implicit finite difference scheme that we prove to be convergent and stable. The numerical method proposed can be applied to general reaction diffusion equations, with a variable diffusion coefficient. The results obtained with the single order fractional model, are compared with the original models that use classical derivatives.
Resumo:
Dissertação de mestrado integrado em Psicologia
Resumo:
Tese de Doutoramento em Ciências (área de especialização em Matemática).
Resumo:
Tese de Doutoramento em Ciências (área de especialização em Matemática).
Resumo:
Studies have shown that the age of 12 was determined as the age of global monitoring of caries for international comparisons and monitoring of disease trends. The aimed was to evaluate the prevalence of dental caries, fluorosis and periodontal condition and their relation with socioeconomic factors among schoolchildren aged twelve in the city of Manaus, AM. This study with a probabilistic sample of 661 children was conducted, 609 from public and 52 from private schools, in 2008. Dental caries, periodontal condition and dental fluorosis were evaluated. In order to obtain the socioeconomic classification of each child (high, upper middle, middle, lower middle, low and lower low socioeconomic classes), the guardians were given a questionnaire. The mean decayed teeth, missing teeth, and filled teeth (DMFT) found at age twelve was 1.89. It was observed that the presence of dental calculus was the most severe periodontal condition detected in 39.48%. In relation to dental fluorosis, there was a low prevalence in the children examined, i.e., the more pronounced lines of opacity only occasionally merge, forming small white areas. The study showed a significant association of 5% among social class with dental caries and periodontal condition. In schoolchildren of Manaus there are low mean of DMFT and fluorosis, but a high occurrence of gingival bleeding.