62 resultados para propositional linear-time temporal logic


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Imagens NDVI (Índice de Vegetação por Diferença Normalizada) do sensor Modis foram utilizadas para mapear as classes de uso e cobertura da terra nas Serras do Sudeste e Campanha Meridional do Rio Grande do Sul. A metodologia compreendeu a elaboração de um banco de dados espaciais e a aplicação de técnicas de processamento digital (contraste linear, classificação digital e operações aritméticas) sobre imagens dos satélites Landsat e Terra de diversas datas. Os resultados indicaram que a cobertura florestal passou de 8,6% para 11,6% e 14,3% da área total da microrregião Serras do Sudeste, entre os anos 2000, 2004 e 2008. Na Campanha Meridional, a expansão da cobertura florestal passou de 11,1% para 11,2% e 11,5% da área total no mesmo período. Conclui-se que imagens MOD13Q1, de baixa resolução espacial (250 m), podem ser usadas em grandes áreas para mapear florestas e os demais temas adequadamente.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The fuzzy logic admits infinite intermediate logical values between false and true. With this principle, it developed in this study a system based on fuzzy rules, which indicates the body mass index of ruminant animals in order to obtain the best time to slaughter. The controller developed has as input the variables weight and height, and as output a new body mass index, called Fuzzy Body Mass Index (Fuzzy BMI), which may serve as a detection system at the time of livestock slaughtering, comparing one another by the linguistic variables "Very Low", "Low", "Average ", "High" and "Very High". For demonstrating the use application of this fuzzy system, an analysis was made with 147 Nellore beeves to determine Fuzzy BMI values for each animal and indicate the location of body mass of any herd. The performance validation of the system was based on a statistical analysis using the Pearson correlation coefficient of 0.923, representing a high positive correlation, indicating that the proposed method is appropriate. Thus, this method allows the evaluation of the herd comparing each animal within the group, thus providing a quantitative method of farmer decision. It was concluded that this study established a computational method based on fuzzy logic that mimics part of human reasoning and interprets the body mass index of any bovine species and in any region of the country.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The present study shows the development, simulation and actual implementation of a closed-loop controller based on fuzzy logic that is able to regulate and standardize the mass flow of a helical fertilizer applicator. The control algorithm was developed using MATLAB's Fuzzy Logic Toolbox. Both open and closed-loop simulations of the controller were performed in MATLAB's Simulink environment. The instantaneous deviation of the mass flow from the set point (SP), its derivative, the equipment´s translation velocity and acceleration were all used as input signals for the controller, whereas the voltage of the applicator's DC electric motor (DCEM) was driven by the controller as output signal. Calibration and validation of the rules and membership functions of the fuzzy logic were accomplished in the computer simulation phase, taking into account the system's response to SP changes. The mass flow variation coefficient, measured in experimental tests, ranged from 6.32 to 13.18%. The steady state error fell between -0.72 and 0.13g s-1 and the recorded average rise time of the system was 0.38 s. The implemented controller was able to both damp the oscillations in mass flow that are characteristic of helical fertilizer applicators, and to effectively respond to SP variations.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Clustering soil and crop data can be used as a basis for the definition of management zones because the data are grouped into clusters based on the similar interaction of these variables. Therefore, the objective of this study was to identify management zones using fuzzy c-means clustering analysis based on the spatial and temporal variability of soil attributes and corn yield. The study site (18 by 250-m in size) was located in Jaboticabal, São Paulo/Brazil. Corn yield was measured in one hundred 4.5 by 10-m cells along four parallel transects (25 observations per transect) over five growing seasons between 2001 and 2010. Soil chemical and physical attributes were measured. SAS procedure MIXED was used to identify which variable(s) most influenced the spatial variability of corn yield over the five study years. Basis saturation (BS) was the variable that better related to corn yield, thus, semivariograms models were fitted for BS and corn yield and then, data values were krigged. Management Zone Analyst software was used to carry out the fuzzy c-means clustering algorithm. The optimum number of management zones can change over time, as well as the degree of agreement between the BS and corn yield management zone maps. Thus, it is very important take into account the temporal variability of crop yield and soil attributes to delineate management zones accurately.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In recent years the analysis and synthesis of (mechanical) control systems in descriptor form has been established. This general description of dynamical systems is important for many applications in mechanics and mechatronics, in electrical and electronic engineering, and in chemical engineering as well. This contribution deals with linear mechanical descriptor systems and its control design with respect to a quadratic performance criterion. Here, the notion of properness plays an important role whether the standard Riccati approach can be applied as usual or not. Properness and non-properness distinguish between the cases if the descriptor system is exclusively governed by the control input or by its higher-order time-derivatives additionally. In the unusual case of non-proper systems a quite different problem of optimal control design has to be considered. Both cases will be solved completely.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this article a two-dimensional transient boundary element formulation based on the mass matrix approach is discussed. The implicit formulation of the method to deal with elastoplastic analysis is considered, as well as the way to deal with viscous damping effects. The time integration processes are based on the Newmark rhoand Houbolt methods, while the domain integrals for mass, elastoplastic and damping effects are carried out by the well known cell approximation technique. The boundary element algebraic relations are also coupled with finite element frame relations to solve stiffened domains. Some examples to illustrate the accuracy and efficiency of the proposed formulation are also presented.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper studies the effect of time delay on the active non-linear control of dynamically loaded flexible structures. The behavior of non-linear systems under state feedback control, considering a fixed time delay for the control force, is investigated. A control method based on non-linear optimal control, using a tensorial formulation and state feedback control is used. The state equations and the control forces are expressed in polynomial form and a performance index, quadratic in both state vector and control forces, is used. General polynomial representations of the non-linear control law are obtained and implemented for control algorithms up to the fifth order. This methodology is applied to systems with quadratic and cubic non-linearities. Strongly non-linear systems are tested and the effectiveness of the control system including a delay for the application of control forces is discussed. Numerical results indicate that the adopted control algorithm can be efficient for non-linear systems, chiefly in the presence of strong non-linearities but increasing time delay reduces the efficiency of the control system. Numerical results emphasize the importance of considering time delay in the project of active structural control systems.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We apply the Bogoliubov Averaging Method to the study of the vibrations of an elastic foundation, forced by a Non-ideal energy source. The considered model consists of a portal plane frame with quadratic nonlinearities, with internal resonance 1:2, supporting a direct current motor with limited power. The non-ideal excitation is in primary resonance in the order of one-half with the second mode frequency. The results of the averaging method, plotted in time evolution curve and phase diagrams are compared to those obtained by numerically integrating of the original differential equations. The presence of the saturation phenomenon is verified by analytical procedures.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The sleep-wake cycle of students is characterized by delayed onset, partial sleep deprivation and poor sleep quality. Like other circadian rhythms, the sleep-wake cycle is influenced by endogenous and environmental factors. The aim of the present study was to determine the effects of different class starting times on the sleep-wake pattern of 27 medical students. The data were collected during two medical school semesters having different class starting times. All subjects answered the Portuguese version of the Horne and Östberg Morningness/Eveningness Questionnaire, the Pittsburgh Sleep Quality Index (PSQI) and kept a sleep diary for two weeks during each semester. Better sleep quality (PSQI = 5.3 vs 3.4), delayed sleep onset (23:59 vs 0:54 h) and longer sleep duration (6 h and 55 min vs 7 h and 25 min) were observed with the late schedule. We also found reduced sleep durations during weekdays and extended sleep durations during weekends. This pattern was more pronounced during the semester with the early class schedule, indicating that the students were more sleep deprived when their classes began earlier in the morning. These results require further investigation regarding the temporal organization of our institutions.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Simple manual reaction time (MRT) to a visual target (S2) is shortened when a non-informative cue (S1) is flashed at the S2 location shortly before the onset of S2 (early facilitation). Afterwards, MRT to S2 appearing at the S1 location is lengthened (inhibition of return - IOR). Similar results have been obtained for saccadic reaction time (SRT). Moreover, when there is a temporal gap between offset of the fixation point (FP) and onset of a target (gap paradigm), SRT is shorter than SRT in an overlap paradigm (FP remains on). In the present study, we determined SRT to S2 (10º) after presenting S1 at the same eccentricity (10º) or at a parafoveal position (2º) in the same or in the opposite hemifield. In addition, we employed both gap and overlap paradigms. Twelve subjects were asked not to respond to S1 (2º or 10º) to the right or to the left of FP, but to respond by making a saccadic movement in response to S2. We obtained the following results: 1) a 40-ms gap effect, 2) an interaction between gap effect and IOR, 3) a 39-ms delay (IOR) when S2 appeared at the cued (S1) position, and 4) a smaller (17 ms) but significant inhibition when S1 occurred at 2º in the ipsilateral hemifield. Thus, a parafoveal (2º) S1 elicits an inhibition of SRT towards ipsilateral peripheral targets. Since an inhibition of the ipsilateral hemifield by a 1º eccentric cue has been reported to occur when manual responses are employed, we suggest that the postulated functional link between covert and overt orienting of attention is also valid for parafoveal cues.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Mesial temporal lobe epilepsy (MTLE) is associated with hippocampal atrophy and hippocampal signal abnormalities. In our series of familial MTLE (FMTLE), we found a high proportion of hippocampal abnormalities. To quantify signal abnormalities in patients with FMTLE we studied 152 individuals (46 of them asymptomatic) with FMTLE. We used NIH-Image® for volumetry and signal quantification in coronal T1 inversion recovery and T2 for all cross-sections of the hippocampus. Values diverging by 2 or more SD from the control mean were considered abnormal. T2 hippocampal signal abnormalities were found in 52% of all individuals: 54% of affected subjects and 48% of asymptomatic subjects. T1 hippocampal signal changes were found in 34% of all individuals: 42.5% of affected subjects and 15% of asymptomatic subjects. Analysis of the hippocampal head (first three slices) revealed T2 abnormalities in 73% of all individuals (74% of affected subjects and 72% of asymptomatic subjects) and T1 abnormalities in 59% (67% of affected subjects and 41% of asymptomatic subjects). Affected individuals had smaller volumes than controls (P < 0.0001). There was no difference in hippocampal volumes between asymptomatic subjects and controls, although 39% of asymptomatic patients had hippocampal atrophy. Patients with an abnormal hippocampal signal (133 individuals) had smaller ipsilateral volume, but no linear correlation could be determined. Hippocampal signal abnormalities in FMTLE were more frequently found in the hippocampal head in both affected and asymptomatic family members, including those with normal volumes. These results indicate that subtle abnormalities leading to an abnormal hippocampal signal in FMTLE are not necessarily related to seizures and may be determined by genetic factors.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

When the offset of a visual stimulus (GAP condition) precedes the onset of a target, saccadic reaction times are reduced in relation to the condition with no offset (overlap condition) - the GAP effect. However, the existence of the GAP effect for manual responses is still controversial. In two experiments using both simple (Experiment 1, N = 18) and choice key-press procedures (Experiment 2, N = 12), we looked for the GAP effect in manual responses and investigated possible contextual influences on it. Participants were asked to respond to the imperative stimulus that would occur under different experimental contexts, created by varying the array of warning-stimulus intervals (0, 300 and 1000 ms) and conditions (GAP and overlap): i) intervals and conditions were randomized throughout the experiment; ii) conditions were run in different blocks and intervals were randomized; iii) intervals were run in different blocks and conditions were randomized. Our data showed that no GAP effect was obtained for any manipulation. The predictability of stimulus occurrence produced the strongest influence on response latencies. In Experiment 1, simple manual responses were shorter when the intervals were blocked (247 ms, P < 0.001) in relation to the other two contexts (274 and 279 ms). Despite the use of choice key-press procedures, Experiment 2 produced a similar pattern of results. A discussion addressing the critical conditions to obtain the GAP effect for distinct motor responses is presented. In short, our data stress the relevance of the temporal allocation of attention for behavioral performance.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Gastroesophageal reflux (GER) is common in asthma patients and can contribute to sleep disruption. The aim of the present study was to determine the time-related distribution of GER events together with their impact on sleep in asthmatic subjects with GER disease symptoms. The inclusion criteria were: 18-65 years, controlled moderate to severe asthma and GER-compatible clinical evidence. The exclusion criteria were: chronic obstructive lung disease, smoking, infections of the upper airways, use of oral corticosteroids, other co-morbidities, pregnancy, sleep-related disorders, night-time shift work, and the use of substances with impact on sleep. Asthmatic patients with nocturnal symptoms were excluded. All-night polysomnography and esophageal pH monitoring were recorded simultaneously. Of the 147 subjects selected, 31 patients and 31 controls were included. Seventeen patients were classified as DeMeester positive and 14 as DeMeester negative. Both groups displayed similar outcomes when general variables were considered. Sleep stage modification one minute prior to GER was observed in the DeMeester-positive group. Awakening was the most frequent occurrence at GER onset and during the 1-min period preceding 38% of the nocturnal GER. Sleep stage 2 was also prevalent and preceded 36% of GER events. In the DeMeester-negative group, awakening was the most frequent response before and during GER. Modifications in sleep stages, arousals or awakenings were associated with 75% of the total GER events analyzed during the period of one minute before and after the fall of esophageal pH below 4 in the DeMeester-positive group. These data provide evidence that sleep modifications precede the GER events in asthmatic patients.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The aim of the present study was to compare heart rate variability (HRV) at rest and during exercise using a temporal series obtained with the Polar S810i monitor and a signal from a LYNX® signal conditioner (BIO EMG 1000 model) with a channel configured for the acquisition of ECG signals. Fifteen healthy subjects aged 20.9 ± 1.4 years were analyzed. The subjects remained at rest for 20 min and performed exercise for another 20 min with the workload selected to achieve 60% of submaximal heart rate. RR series were obtained for each individual with a Polar S810i instrument and with an ECG analyzed with a biological signal conditioner. The HRV indices (rMSSD, pNN50, LFnu, HFnu, and LF/HF) were calculated after signal processing and analysis. The unpaired Student t-test and intraclass correlation coefficient were used for data analysis. No statistically significant differences were observed when comparing the values analyzed by means of the two devices for HRV at rest and during exercise. The intraclass correlation coefficient demonstrated satisfactory correlation between the values obtained by the devices at rest (pNN50 = 0.994; rMSSD = 0.995; LFnu = 0.978; HFnu = 0.978; LF/HF = 0.982) and during exercise (pNN50 = 0.869; rMSSD = 0.929; LFnu = 0.973; HFnu = 0.973; LF/HF = 0.942). The calculation of HRV values by means of temporal series obtained from the Polar S810i instrument appears to be as reliable as those obtained by processing the ECG signal captured with a signal conditioner.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The objectives of this study were to evaluate and compare the use of linear and nonlinear methods for analysis of heart rate variability (HRV) in healthy subjects and in patients after acute myocardial infarction (AMI). Heart rate (HR) was recorded for 15 min in the supine position in 10 patients with AMI taking β-blockers (aged 57 ± 9 years) and in 11 healthy subjects (aged 53 ± 4 years). HRV was analyzed in the time domain (RMSSD and RMSM), the frequency domain using low- and high-frequency bands in normalized units (nu; LFnu and HFnu) and the LF/HF ratio and approximate entropy (ApEn) were determined. There was a correlation (P < 0.05) of RMSSD, RMSM, LFnu, HFnu, and the LF/HF ratio index with the ApEn of the AMI group on the 2nd (r = 0.87, 0.65, 0.72, 0.72, and 0.64) and 7th day (r = 0.88, 0.70, 0.69, 0.69, and 0.87) and of the healthy group (r = 0.63, 0.71, 0.63, 0.63, and 0.74), respectively. The median HRV indexes of the AMI group on the 2nd and 7th day differed from the healthy group (P < 0.05): RMSSD = 10.37, 19.95, 24.81; RMSM = 23.47, 31.96, 43.79; LFnu = 0.79, 0.79, 0.62; HFnu = 0.20, 0.20, 0.37; LF/HF ratio = 3.87, 3.94, 1.65; ApEn = 1.01, 1.24, 1.31, respectively. There was agreement between the methods, suggesting that these have the same power to evaluate autonomic modulation of HR in both AMI patients and healthy subjects. AMI contributed to a reduction in cardiac signal irregularity, higher sympathetic modulation and lower vagal modulation.