32 resultados para Logic programs


Relevância:

20.00% 20.00%

Publicador:

Resumo:

ABSTRACT 'The Duologue of King/Governor Pāyāsi' ("Long Discourses") has long been recognised as a source for the proto-materialism current at the time of the Buddha. What needs to be stressed is the significance of the text as a pointer to the development of Logic in India. Perception (observation and experiment employing the joint method of agreement and difference), which is an accepted method of experimental enquiry, and reasoning from analogy, which can lead at best to a probable conclusion - these two are the only means employed to settle the dispute concerning the existence of the other-world. The Jain version of the same duologue-cum-parable, though varying in minor details regarding the name and identity of the monk refuting the king/governor, contains the same contrast, namely, perception versus analogical reasoning. There can be little doubt that the original parable was conceived with a view to asserting the existence of the other-world. In the Kaṭha Upaniṣad (sixth century BCE), an earlier Brahmanical text, however, instead of argument by analogy, verbal testimony (śabda) was invoked to settle the same point. Naciketas is assailed by doubt about the existence of a person after his or her death. The authority of Yama, the Pluto of Indian mythology, is invoked to convince him that the other-world does exist. Thus, the three parables taken together exhibit three means of knowledge in operation: verbal testimony and argument by analogy pitted against perception.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and some subvarieties of NPc-lattices.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The present article shows that there are consistent and decidable many- valued systems of propositional logic which satisfy two or all the three criteria for non- trivial inconsistent theories by da Costa (1974). The weaker one of these paraconsistent system is also able to avoid a series of paradoxes which come up when classical logic is applied to empirical sciences. These paraconsistent systems are based on a 6- valued system of propositional logic for avoiding difficulties in several domains of empirical science (Weingartner (2009)).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The feasibility of using augmented block designs and spatial analysis methods for early stage selection in eucalyptus breeding programs was tested. A total of 113 half-sib progenies of Eucalyptus urophylla and eight clones were evaluated in an 11 x 11 triple lattice experiment at two locations: Posto da Mata (Bahia, Brazil) and São Mateus (Minas Gerais, Brazil). Four checks were randomly allocated within each block. Plots consisted of 15 m long rows containing 6 plants spaced 3 m apart. The girth at breast height (cm/plant) was evaluated at 19 and 26 months of age. Variance analyses were performed according to the following methods: lattice design, randomized complete block design, augmented block design, Papadakis method, moving means method, and check plots. Comparisons among different methods were based on the magnitude of experimental errors and precision of the estimates of genetic and phenotypic parameters. General results indicated that augmented block design is useful to evaluate progenies and clones in early selection in eucalyptus breeding programs using moderate and low selection intensities. However, this design is not suitable for estimating genetic and phenotypic parameters due to its low precision. Check plots, nearest neighbour, Papadakis (1937), and moving means methods were efficient in removing the heterogeneity within blocks. These efficiencies were compared to that in lattice analysis for estimation of genetic and phenotypic parameters.

Relevância:

20.00% 20.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:

20.00% 20.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:

20.00% 20.00%

Publicador:

Resumo:

An Autonomous Mobile Robot battery driven, with two traction wheels and a steering wheel is being developed. This Robot central control is regulated by an IPC, which controls every function of security, steering, positioning localization and driving. Each traction wheel is operated by a DC motor with independent control system. This system is made up of a chopper, an encoder and a microcomputer. The IPC transmits the velocity values and acceleration ramp references to the PIC microcontrollers. As each traction wheel control is independent, it's possible to obtain different speed values for each wheel. This process facilities the direction and drive changes. Two different strategies for speed velocity control were implemented; one works with PID, and the other with fuzzy logic. There were no changes in circuits and feedback control, except for the PIC microcontroller software. Comparing the two different speed control strategies the results were equivalent. However, in relation to the development and implementation of these strategies, the difficulties were bigger to implement the PID control.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This work analyzes an active fuzzy logic control system in a Rijke type pulse combustor. During the system development, a study of the existing types of control for pulse combustion was carried out and a simulation model was implemented to be used with the package Matlab and Simulink. Blocks which were not available in the simulator library were developed. A fuzzy controller was developed and its membership functions and inference rules were established. The obtained simulation showed that fuzzy logic is viable in the control of combustion instabilities. The obtained results indicated that the control system responded to pulses in an efficient and desirable way. It was verified that the system needed approximately 0.2 s to increase the tube internal pressure from 30 to 90 mbar, with an assumed total delay of 2 ms. The effects of delay variation were studied. Convergence was always obtained and general performance was not affected by the delay. The controller sends a pressure signal in phase with the Rijke tube internal pressure signal, through the speakers, when an increase the oscillations pressure amplitude is desired. On the other hand, when a decrease of the tube internal pressure amplitude is desired, the controller sends a signal 180º out of phase.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The use of water-sensitive papers is an important tool for assessing the quality of pesticide application on crops, but manual analysis is laborious and time-consuming. Thus, this study aimed to evaluate and compare the results obtained from four software programs for spray droplet analysis in different scanned images of water-sensitive papers. After spraying, papers with four droplet deposition patterns (varying droplet spectra and densities) were analyzed manually and by means of the following computer programs: CIR, e-Sprinkle, DepositScan and Conta-Gotas. The diameter of the volume and number medians and the number of droplets per target area were studied. There is a strong correlation between the values measured using the different programs and the manual analysis, but there is a great difference between the numerical values measured for the same paper. Thus, it is not advisable to compare results obtained from different programs.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The effects of adding L-carnitine to a whole-body and respiratory training program were determined in moderate-to-severe chronic obstructive pulmonary disease (COPD) patients. Sixteen COPD patients (66 ± 7 years) were randomly assigned to L-carnitine (CG) or placebo group (PG) that received either L-carnitine or saline solution (2 g/day, orally) for 6 weeks (forced expiratory volume on first second was 38 ± 16 and 36 ± 12%, respectively). Both groups participated in three weekly 30-min treadmill and threshold inspiratory muscle training sessions, with 3 sets of 10 loaded inspirations (40%) at maximal inspiratory pressure. Nutritional status, exercise tolerance on a treadmill and six-minute walking test, blood lactate, heart rate, blood pressure, and respiratory muscle strength were determined as baseline and on day 42. Maximal capacity in the incremental exercise test was significantly improved in both groups (P < 0.05). Blood lactate, blood pressure, oxygen saturation, and heart rate at identical exercise levels were lower in CG after training (P < 0.05). Inspiratory muscle strength and walking test tolerance were significantly improved in both groups, but the gains of CG were significantly higher than those of PG (40 ± 14 vs 14 ± 5 cmH2O, and 87 ± 30 vs 34 ± 29 m, respectively; P < 0.05). Blood lactate concentration was significantly lower in CG than in PG (1.6 ± 0.7 vs 2.3 ± 0.7 mM, P < 0.05). The present data suggest that carnitine can improve exercise tolerance and inspiratory muscle strength in COPD patients, as well as reduce lactate production.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Graduate programs provide the highest level of formal education and thus are crucial for the development of any country. However, official Brazilian data clearly show a dramatic decrease in the number and values of scholarships available to graduate programs in Brazil over the last few years, despite the importance and growth of such programs. Between 1995 and 2004, investment by the Coordenadoria de Aperfeiçoamento de Pessoal do Ensino Superior (CAPES, subordinate to the Ministry of Education and Culture) in funding scholarships, corrected for inflation in the period, actually decreased by 51%. In addition, during the period between 1994 and 2004, there was a loss of about 60% in the purchasing power of the graduate scholarships provided by CAPES and the National Council for Science and Technology (CNPq). To reverse this trend, we propose the development of sectorial funding for Brazilian graduate programs to guarantee the availability and continuity of financial support for this strategic activity.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We compared the effect of three different exercise programs on patients with chronic obstructive pulmonary disease including strength training at 50_80% of one-repetition maximum (1-RM) (ST; N = 11), low-intensity general training (LGT; N = 13), or combined training groups (CT; N = 11). Body composition, muscle strength, treadmill endurance test (TEnd), 6-min walk test (6MWT), Saint George's Respiratory Questionnaire (SGRQ), and baseline dyspnea (BDI) were assessed prior to and after the training programs (12 weeks). The training modalities showed similar improvements (P > 0.05) in SGRQ-total (ST = 13 ± 14%; CT = 12 ± 14%; LGT = 11 ± 10%), BDI (ST = 1.8 ± 4; CT = 1.8 ± 3; LGT = 1 ± 2), 6MWT (ST = 43 ± 51 m; CT = 48 ± 50 m; LGT = 31 ± 75 m), and TEnd (ST = 11 ± 20 min; CT = 11 ± 11 min; LGT = 7 ± 5 min). In the ST and CT groups, an additional improvement in 1-RM values was shown (P < 0.05) compared to the LGT group (ST = 10 ± 6 to 57 ± 36 kg; CT = 6 ± 2 to 38 ± 16 kg; LGT = 1 ± 2 to 16 ± 12 kg). The addition of strength training to our current training program increased muscle strength; however, it produced no additional improvement in walking endurance, dyspnea or quality of life. A simple combined training program provides benefits without increasing the duration of the training sessions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Myocardial ischemia may occur during an exercise session in cardiac rehabilitation programs. However, it has not been established whether it is elicited when exercise prescription is based on heart rate corresponding to the anaerobic threshold as measured by cardiopulmonary exercise testing. Our objective was to determine the incidence of myocardial ischemia in cardiac rehabilitation programs according to myocardial perfusion SPECT in exercise programs based on the anaerobic threshold. Thirty-nine patients (35 men and 4 women) diagnosed with coronary artery disease by coronary angiography and stress technetium-99m-sestamibi gated SPECT associated with a baseline cardiopulmonary exercise test were assessed. Ages ranged from 45 to 75 years. A second cardiopulmonary exercise test determined training intensity at the anaerobic threshold. Repeat gated-SPECT was obtained after a third cardiopulmonary exercise test at the prescribed workload and heart rate. Myocardial perfusion images were analyzed using a score system of 6.4 at rest, 13.9 at peak stress, and 10.7 during the prescribed exercise (P < 0.05). The presence of myocardial ischemia during exercise was defined as a difference ≥2 between the summed stress score and summed rest score. Accordingly, 25 (64%) patients were classified as ischemic and 14 (36%) as nonischemic. MIBI-SPECT showed myocardial ischemia during exercise within the anaerobic threshold. The 64% prevalence of ischemia observed in the study should not be looked on as representative of the whole population of patients undergoing exercise programs. Changes in patient care and exercise programs were implemented as a result of our finding of ischemia during the prescribed exercise.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A recent assessment of 4400 postgraduate courses in Brazil by CAPES (a federal government agency dedicated to the improvement of the quality of and research at the postgraduate level) stimulated a large amount of manifestations in the press, scientific journals and scientific congresses. This gigantic effort to classify 16,400 scientific journals in order to provide indicators for assessment proved to be puzzling and methodologically erroneous in terms of gauging the institutions from a metric point of view. A simple algorithm is proposed here to weigh the scientometric indicators that should be considered in the assessment of a scientific institution. I conclude here that the simple gauge of the total number of citations accounts for both the productivity of scientists and the impact of articles. The effort spent in this exercise is relatively small, and the sources of information are fully accessible. As an exercise to estimate the value of the methodology, 12 institutions of physics (10 from Brazil, one from the USA and one from Italy) have been evaluated.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The objective of this study was to analyze retinol equivalent and iron content in different food composition tables and nutritional evaluation software programs. A literature search was conduct to identify tables and software available in Brazil containing information about retinol equivalent and iron content that are currently used by nutritionists. Ten tables and five software programs were selected for this study. The methodology used to present the retinol equivalent and iron content was evaluated and no pattern to obtain such content was found in the tables and software programs analyzed. Only one of the tables had enough information for the calculation of retinol equivalents; this table is recommended to all Latin America As for the iron content, three of the tables analyzed stand out and therefore should be used; two of them are based on national foods and the other is recommended for use in all Latin America countries. None of the software programs evaluated use the conversion factors suggested by IVACG to assess the vitamin A content in foods. Special attention should be given to the content of iron provided in the software programs since they use tables as international sources and fortified foods.