7 resultados para logical and timed behaviours

em Universidade Federal do Rio Grande do Norte(UFRN)


Relevância:

100.00% 100.00%

Publicador:

Resumo:

This work seeks to examine the historical relationships established between liberalism and democracy, questioning the apparent inseparability between the two ideologies. Methodologically construct a hypothetical dialogue with the Italian thinker Norberto Bobbio, one of the most important systematizers of liberal democracy, defending a theoretical and conceptual complementarity between the two ideologies. Following the Bobbio theoretical propose, it presents the political contributions of classical liberalism that the Italian thinker identify as logical and axiological antecedent of the modern democracy, naturalizing and universalizing the principles and ideals of classical liberalism. Going counter, it problematizes the political contributions of classical liberalism, emphasizing the tension between liberal theory and its practice, between the declared political principles and their translation into concrete historical reality, reserving rights and freedoms to property minority and severe restrictions to the majority. The critical analysis of classical liberalism allows questioning the privilege position that Bobbio reserves to the liberalism in the democracy history, to restore the important contribution of illiberal politics currents in the civil, political and social rights history, advocating the democracy with its social character, inclusive and participatory

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Due of industrial informatics several attempts have been done to develop notations and semantics, which are used for classifying and describing different kind of system behavior, particularly in the modeling phase. Such attempts provide the infrastructure to resolve some real problems of engineering and construct practical systems that aim at, mainly, to increase the productivity, quality, and security of the process. Despite the many studies that have attempted to develop friendly methods for industrial controller programming, they are still programmed by conventional trial-and-error methods and, in practice, there is little written documentation on these systems. The ideal solution would be to use a computational environment that allows industrial engineers to implement the system using high-level language and that follows international standards. Accordingly, this work proposes a methodology for plant and control modelling of the discrete event systems that include sequential, parallel and timed operations, using a formalism based on Statecharts, denominated Basic Statechart (BSC). The methodology also permits automatic procedures to validate and implement these systems. To validate our methodology, we presented two case studies with typical examples of the manufacturing sector. The first example shows a sequential control for a tagged machine, which is used to illustrated dependences between the devices of the plant. In the second example, we discuss more than one strategy for controlling a manufacturing cell. The model with no control has 72 states (distinct configurations) and, the model with sequential control generated 20 different states, but they only act in 8 distinct configurations. The model with parallel control generated 210 different states, but these 210 configurations act only in 26 distinct configurations, therefore, one strategy control less restrictive than previous. Lastly, we presented one example for highlight the modular characteristic of our methodology, which it is very important to maintenance of applications. In this example, the sensors for identifying pieces in the plant were removed. So, changes in the control model are needed to transmit the information of the input buffer sensor to the others positions of the cell

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This work presents a contribution for the studies reffering to the use of the History of Mathematics focusing on the improvement of the Teaching and Learning Process. It considers that the History of Matematics, as a way of giving meaning to the discipline and improve the quality of the Teaching and Learning Process. This research focuses on the questions of the students, classified in three categories of whys: the chronological, the logical and the pedagogical ones. Therefore, it is investigated the teaching of the Complex Numbers, from the questions of the students of the Centro Federal de Educação Tecnológica do Rio Grande do Norte (Educational Institution of Professional and Technology Education from Rio Grande do Norte). The work has the following goals: To classify and to analyse the questions of the students about the Complex Numbers in the classes of second grade of the High School, and to collate with the pointed categories used by Jones; To disccus what are the possible guidings that teachers of Mathematics can give to these questions; To present the resources needed to give support to the teacher in all things involving the History of Mathematics. Finally, to present a bibliographic research, trying to reveal supporting material to the teacher, with contents that articulate the Teaching of Mathematics with the History of Mathematics. It was found that the questionings of the pupils reffers more to the pedagogical whys, and the didatic books little contemplate other aspects of the history and little say about the sprouting and the evolution of methods of calculations used by us as well

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The group Callithrichidae is characterized by the flexibility in its mating system. This fact generates questions about the mechanisms that Callithrix jacchus males reach the breeding position in a group and how they prevent the subordinates reproduction, since the competition apparently happens with less intensity when compared to the females. Studies have shown the importance of social interactions and kinship among individuals in the distribution of mating opportunities in a group. This work aimed to evaluate if dyads of Callithrix jacchus males acted socially different due to kinship. We observed the agonistic and affiliative behaviours made by the males when associated in dyads (Phase 1) and when these dyads received a female (Phase 2), which was introduced in the pair`s cage for 45 minutes. In the phase 2, we also accounted for the sexual interactions between males and female in each trio. We used 16 males, 8 related (brothers-R) and 8 nonrelated (NR), as well as 8 females. Each phase lasted 4 weeks, with 3 observations/week, during 15 min/male in phase 1 and 2. In the first phase, two pairs of R males had a contested dominance and the other two, just like in the NR males, had an uncontested dominance. The NR dominant males were more aggressive than the subordinates. With the female`s entrance in the cage, all male pairs began to have an uncontested dominance. The NR males aggression frequency rose along with the subordinates` submission. In the R males, the frequency of grooming and physical contact was higher than in the NR males. So, we conclude that the low levels of agonism presented by the R males, along with the higher tolerance shown amongst them, lead us to believe that kinship attenuate the competition among these males

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This research aimed to contribute to the characterization of a neuropsychological phenotype of adolescents with Down Syndrome (DS). A multicases study of six adolescents (three males and three females, aged 13 to 14 years) diagnosed with DS and treated at two institutions in the city of Natal (Brazil), was conducted. Participants were assessed using the methodological approach developed by Luria, which is composed by four complementary stages. The first one aimed to investigate the qualitative impact of DS in school life and social development of the adolescents; dimensions of behavior and social-affective aspects of the members of the study were investigated. In the second stage participants performed a battery of neuropsychological tests in order to identify strengths and weaknesses in their cognitive functioning. The third stage was incorporated into the second in order to analyze the quality of the activity of the participants along the quantitative evaluation, highlighting strategies used, errors produced among other indicators. Lastly, the fourth stage refers to the intervention with the participants. Although this is not a specific objective of the study, it is argued that the outcome of this research will subsidize the practice of different professionals working with this clinical group. The results of the first stage emphasized the presence of difficulties in social relationships and in school life of observed adolescents. In turn, the second and third stages pointed out to the presence of difficulties in tasks involving logical and abstract thinking, as well as difficulties in expressive language. In relation to visual memory, we observed a better performance in activities of lower complexity, ie, with less interference of executive functioning, particularly in terms of the functions of planning and initiative. Finally, it was found motor and mental retardation, affecting significantly the performance related to different cognitive areas. The results highlighted here can be considered as subsidies for future interventions, suggesting the need for developping projects that take into account different aspects constituents of the human subject, involving not only the individual with developmental changes, as well as their families, teachers, schools and society in general

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Nonogram is a logical puzzle whose associated decision problem is NP-complete. It has applications in pattern recognition problems and data compression, among others. The puzzle consists in determining an assignment of colors to pixels distributed in a N  M matrix that satisfies line and column constraints. A Nonogram is encoded by a vector whose elements specify the number of pixels in each row and column of a figure without specifying their coordinates. This work presents exact and heuristic approaches to solve Nonograms. The depth first search was one of the chosen exact approaches because it is a typical example of brute search algorithm that is easy to implement. Another implemented exact approach was based on the Las Vegas algorithm, so that we intend to investigate whether the randomness introduce by the Las Vegas-based algorithm would be an advantage over the depth first search. The Nonogram is also transformed into a Constraint Satisfaction Problem. Three heuristics approaches are proposed: a Tabu Search and two memetic algorithms. A new function to calculate the objective function is proposed. The approaches are applied on 234 instances, the size of the instances ranging from 5 x 5 to 100 x 100 size, and including logical and random Nonograms

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We propose in this work, a new method of conceptual organization of areas involving assistive technology, categorizing them in a logical and simple manner; Furthermore, we also propose the implementation of an interface based on electroculography, able to generate high-level commands, to trigger robotic, computer and electromechanical devices. To validate the eye interface, was developed an electronic circuit associated with a computer program that captured the signals generated by eye movements of users, generating high-level commands, able to trigger an active bracing and many other electromechanical systems. The results showed that it was possible to control many electromechanical systems through only eye movements. The interface is presented as a viable way to perform the proposed task and can be improved in the signals analysis in the the digital level. The diagrammatic model developed, presented as a tool easy to use and understand, providing the conceptual organization needs of assistive technology