5 resultados para propositional linear-time temporal logic
em Universidade Federal do Rio Grande do Norte(UFRN)
Resumo:
In this thesis, it is developed the robustness and stability analysis of a variable structure model reference adaptive controller considering the presence of disturbances and unmodeled dynamics. The controller is applied to uncertain, monovariable, linear time-invariant plants with relative degree one, and its development is based on the indirect adaptive control. In the direct approach, well known in the literature, the switching laws are designed for the controller parameters. In the indirect one, they are designed for the plant parameters and, thus, the selection of the relays upper bounds becomes more intuitive, whereas they are related to physical parameters, which present uncertainties that can be known easier, such as resistances, capacitances, inertia moments and friction coefficients. Two versions for the controller algorithm with the stability analysis are presented. The global asymptotic stability with respect to a compact set is guaranteed for both cases. Simulation results under adverse operation conditions in order to verify the theoretical results and to show the performance and robustness of the proposed controller are showed. Moreover, for practical purposes, some simplifications on the original algorithm are developed
Resumo:
In this work we have elaborated a spline-based method of solution of inicial value problems involving ordinary differential equations, with emphasis on linear equations. The method can be seen as an alternative for the traditional solvers such as Runge-Kutta, and avoids root calculations in the linear time invariant case. The method is then applied on a central problem of control theory, namely, the step response problem for linear EDOs with possibly varying coefficients, where root calculations do not apply. We have implemented an efficient algorithm which uses exclusively matrix-vector operations. The working interval (till the settling time) was determined through a calculation of the least stable mode using a modified power method. Several variants of the method have been compared by simulation. For general linear problems with fine grid, the proposed method compares favorably with the Euler method. In the time invariant case, where the alternative is root calculation, we have indications that the proposed method is competitive for equations of sifficiently high order.
Resumo:
With the technology progess, embedded systems using adaptive techniques are being used frequently. One of these techniques is the Variable Structure Model- Reference Adaptive Control (VS-MRAC). The implementation of this technique in embedded systems, requires consideration of a sampling period which if not taken into consideration, can adversely affect system performance and even takes the system to instability. This work proposes a stability analysis of a discrete-time VS-MRAC accomplished for SISO linear time-invariant plants with relative degree one. The aim is to analyse the in uence of the sampling period in the system performance and the relation of this period with the chattering and system instability
Resumo:
This study offers an analytical approach in order to provide a determination of the temperature field developed during the DC TIG welding of a thin plate of aluminum. The non-linear characteristics of the phenomenon, such as the dependence of the thermophysical and mechanical properties with temperature were considered in this study. In addition to the conductive heat exchange process, were taken into account the exchange by natural convection and radiation. A transient analysis is performed in order to obtain the temperature field as a function of time. It is also discussed a three-dimensional modeling of the heat source. The results obtained from the analytical model were be compared with the experimental ones and those available in the literature. The analytical results show a good correlation with the experimental ones available in the literature, thus proving the feasibility and efficiency of the analytical method for the simulation of the heat cycle for this welding process.
Resumo:
The characteristics profile of individuals who develop AIDS in Brazil has changed over time. Among these modifications, a worrying finding is the increased incidence of AIDS in the elderly across the country. But, however, is not yet clear whether the increase in AIDS cases is sufficient to produce a change in the trend of measures in recent years in the Brazilian states, and this increase has an effect from the socioeconomic and demographic indicators. In this sense, the objective of this study is to analyze the AIDS incidence rates among the elderly in Brazil and its effect on socioeconomic and demographic inequalities in the period 2000 to 2012. This is an ecological time-series study to meet behavior of the time series of the incidence rates of AIDS in the elderly from 2000 to 2012. the rates were calculated using the secondary data from Diseases Information System Notification and the Brazilian Institute of Geography and Statistics. Data were analyzed statistically to know the trends in incidence rates, by polynomial regression model and joinpoint log-linear regression model, but also the simple linear regression analysis to find the relationship of trends with variables socioeconomic and demographic. SPSS 20.0® and Joinpoint 4.1.1 programs were used. All tests were carried out considering a significance of 5%. After the analysis, in Brazil were reported 62,052 new cases of AIDS in the elderly from 2000 to 2012. During this period, a significant increase was found for males, both aged 50-59 years (APPC: 3.46 %, p <0.001), such as above 59 years (AAPC: 4.38%; p <0.001). For females, the increase was significant and has the largest increments in the time series, when compared to males in both age groups (AAPC: 4.62%, p <0.001 and AAPC: 6.53%; p <0.001) respectively. The largest increases are observed in women and in the states of North and Northeast. In the Southeast Region is observed stabilization of rates throughout the series. The reason of trends between the sexes had a significant reduction, but also an approach in both age groups of the study, reaching a ratio of 1.7 males for every female in the youngest age group. The trends were related to illiteracy rates, with increasing social inequality and the lowest human development in the Brazilian states. We conclude that in Brazil the incidence of AIDS in the elderly follows an increasing trend in individuals over 50 years. Noteworthy are the highest rates of study in women and in the states of North and Northeast. In this sense, the country needs to enhance policies towards older people with STD / AIDS, training health professionals and developing effective measures for the prevention and early diagnosis of infected people, especially in places with limited resources and high social inequality. In the long term, it is developing new studies to understand whether the measures taken were effective in reducing the trends identified in this study.