Solving the Vehicle Routing Problem with Genetic ALgorithm and Simulated Annealing

This Thesis Work will concentrate on a very interesting problem, the Vehicle Routing Problem (VRP). In this problem, customers or cities have to be visited and packages have to be transported to each of them, starting from a basis point on the map. The goal is to solve the transportation problem, to be able to deliver the packages-on time for the customers,-enough package for each Customer,-using the available resources- and – of course - to be so effective as it is possible.Although this problem seems to be very easy to solve with a small number of cities or customers, it is not. In this problem the algorithm have to face with several constraints, for example opening hours, package delivery times, truck capacities, etc. This makes this problem a so called Multi Constraint Optimization Problem (MCOP). What’s more, this problem is intractable with current amount of computational power which is available for most of us. As the number of customers grow, the calculations to be done grows exponential fast, because all constraints have to be solved for each customers and it should not be forgotten that the goal is to find a solution, what is best enough, before the time for the calculation is up. This problem is introduced in the first chapter: form its basics, the Traveling Salesman Problem, using some theoretical and mathematical background it is shown, why is it so hard to optimize this problem, and although it is so hard, and there is no best algorithm known for huge number of customers, why is it a worth to deal with it. Just think about a huge transportation company with ten thousands of trucks, millions of customers: how much money could be saved if we would know the optimal path for all our packages.Although there is no best algorithm is known for this kind of optimization problems, we are trying to give an acceptable solution for it in the second and third chapter, where two algorithms are described: the Genetic Algorithm and the Simulated Annealing. Both of them are based on obtaining the processes of nature and material science. These algorithms will hardly ever be able to find the best solution for the problem, but they are able to give a very good solution in special cases within acceptable calculation time.In these chapters (2nd and 3rd) the Genetic Algorithm and Simulated Annealing is described in details, from their basis in the “real world” through their terminology and finally the basic implementation of them. The work will put a stress on the limits of these algorithms, their advantages and disadvantages, and also the comparison of them to each other.Finally, after all of these theories are shown, a simulation will be executed on an artificial environment of the VRP, with both Simulated Annealing and Genetic Algorithm. They will both solve the same problem in the same environment and are going to be compared to each other. The environment and the implementation are also described here, so as the test results obtained.Finally the possible improvements of these algorithms are discussed, and the work will try to answer the “big” question, “Which algorithm is better?”, if this question even exists.

Teachers' conceptions about students' mathematical reasoning : Gendered or not?

This study looks at how upper secondary school teachers gender stereotype aspects of students' mathematical reasoning. Girls were attributed gender symbols including insecurity, use of standard methods and imitative reasoning. Boys were assigned the symbols such as multiple strategies especially on the calculator, guessing and chance-taking. 

Semantic and Personalised Service Discovery

One of the most pervasive classes of services needed to support e-Science applications are those responsible for the discovery of resources. We have developed a solution to the problem of service discovery in a Semantic Web/Grid setting. We do this in the context of bioinformatics, which is the use of computational and mathematical techniques to store, manage, and analyse the data from molecular biology in order to answer questions about biological phenomena. Our specific application is myGrid (www.mygrid.org.uk) that is developing open source, service-based middleware upon which bioinformatics applications can be built. myGrid is specifically targeted at developing open source high-level service Grid middleware for bioinformatics.

Semantic and Personalised Service Discovery

One of the most pervasive classes of services needed to support e-Science applications are those responsible for the discovery of resources. We have developed a solution to the problem of service discovery in a Semantic Web/Grid setting. We do this in the context of bioinformatics, which is the use of computational and mathematical techniques to store, manage, and analyse the data from molecular biology in order to answer questions about biological phenomena. Our specific application is myGrid (http: //www.mygrid.org.uk) that is developing open source, service-based middleware upon which bioin- formatics applications can be built. myGrid is specif- ically targeted at developing open source high-level service Grid middleware for bioinformatics.

Fragmentos do pensamento dialético na história da construção das ciências da natureza

Este trabalho tem por objetivo identificar uma possível inclinação das ciências naturais em direção ao materialismo dialético. Para tanto, procura-se apresentar a história da dialética a partir da discussão racionalismo/empirismo moderno e seus desdobramentos até as tendências dialéticos contemporâneas. Os autores discutidos são Kant, Hegel, Marx, Engels, Lenin, Horkheimer, Marcuse, Habermas, Bachelard e suas escolas epistemológicas, completadas por Althusser, Lefebvre e Kedrov. Ao lado desses autores discutem-se outros, das duas últimas décadas, procurando extrair-lhes o olhar dialético, oculto em seus discursos acerca da ciência do fim do século. Também se procura encontrar na mecânica quântica, nos fractais, na lógica para-consistente, nos modelos matemáticos e na biologia antideterminista, argumentos para existência de uma forma de abordagem dialética da natureza. Por último, procura-se refletir acerca dos motivos da resistência ao método dialético apresentado pela maioria dos cientistas ocidentais e, sua possível superação.

O incesto : discurso e ideologia

This research had as purpose to establish the logic symbolic present in the contemporary society that facilitated the emergency of a public speech on the incest, and, consequently, to demonstrate the ideological nature that structures it. Event associated to the order of the taboo, the incest would be the transgression of the injunction that, second Lévi-Strauss, facilitated the emergency of the Culture while symbolic order, differentiated of the natural order. The injunction of the incest would reveal the elementary and universal structures of the order symbolic presents in the human societies: the demand of the Rule as rule; the reciprocity and the gift, present element in the social changes that it transforms the individuals in partners, increasing a new quality in the transferred value, according to Lévi-Strauss. Starting from this, I developed the hypothesis second which the phenomenon of the alone incest became an event of discursive order and public as right social transformations affected the normative system (social representations, values, moral) regulator of the relationships among the social subjects, being reflected like this, in the own structuring of the Law. A second work hypothesis was developed starting from that. I develop it leaving of the argument that if when inserting the discussion of the thematic of the defense of the children and adolescent rights, being then, considering it while "privileged modality of sexual abuse against children", the present central subjects in the structuring of the social entail would be leaved. Being like this, the partner-institutional speech on the incest would answer the social demands of order and social control, becoming like this, discursive formations of ideological character. This research work tried to follow the hypothesis above referred, demonstrating the singular sense that it will be attributed to the incest in the contemporary society, particularly, its relationship with the Law and the transgression in the contemporary society

Um estudo sobre as origens da Lógica Matemáitca

The present study has as objective to explaining about the origins of the mathematical logic. This has its beginning attributed to the autodidactic English mathematician George Boole (1815-1864), especially because his books The Mathematical Analysis of Logic (1847) and An Investigation of the Laws of Thought (1854) are recognized as the inaugural works of the referred branch. However, surprisingly, in the same time another mathematician called Augutus of Morgan (1806-1871) it also published a book, entitled Formal Logic (1847), in defense of the mathematic logic. Even so, times later on this same century, another work named Elements of Logic (1875) it appeared evidencing the Aristotelian logic with Richard Whately (1787-1863), considered the better Aristotelian logical of that time. This way, our research, permeated by the history of the mathematics, it intends to study the logic produced by these submerged personages in the golden age of the mathematics (19th century) to we compare the valid systems in referred period and we clarify the origins of the mathematical logic. For that we looked for to delineate the panorama historical wrapper of this study. We described, shortly, biographical considerations about these three representatives of the logic of the 19th century formed an alliance with the exhibition of their point of view as for the logic to the light of the works mentioned above. In this sense, we aspirated to present considerations about what effective Aristotelian´s logic existed in the period of Boole and De Morgan comparing it with the new emerging logic (the mathematical logic). Besides of this, before the textual analysis of the works mentioned above, we still looked for to confront the systems of Boole and De Morgan for we arrive to the reason because the Boole´s system was considered better and more efficient. Separate of this preponderance we longed to study the flaws verified in the logical system of Boole front to their contemporaries' production, verifying, for example, if they repeated or not. We concluded that the origins of the mathematical logic is in the works of logic of George Boole, because, in them, has the presentation of a new logic, matematizada for the laws of the thought similar to the one of the arithmetic, while De Morgan, in your work, expand the Aristotelian logic, but it was still arrested to her

Nos tempos do blackout: cena musical, práticas urbanas e a ressignificação da Rua Chile, Natal-RN

This study aims to analyze the process of resignification of Chile Street, in Natal, from the development of a music scene in the late 1990s. Chile Street, as part of the Historic Centre of Natal, had its images constructed from the discursive practices and everyday life of its regular visitors, leading to a series of symbolic and imaging transformations throughout the twentieth century. Initially transformed into glamorous space as a result of urban actions of the new republic of Albuquerque Maranhão, in the early twentieth century, Ribeira and Chile Street, specifically, came to be seen as bohemian area, during the war time"; followed by a marginal phase, it was eventually transformed into the main rocker area of Natal, with the development of a musical scene in the second half of the 1990s. This music scene, its practices, economic interests, cultural events and identity ties created among their practitioners made Chile Street, "in the time of Blackout night club", an "alternative" space. As the historic centers, inserted in the logic of postmodern city marketing, both spaces are dynamic in their practices, as in their images, Chile Street also suffered changes in its meanings and symbols, around the year 2000 when the alternative-underground space became a pop space, where people from various parts of the city began attending its events and places, transforming it into a point of very heterogeneous sociability

Equivalence of many-photon Green's functions in the Duffin-Kemmer-Petiau and Klein-Gordon-Fock statistical quantum field theories

Using the functional integral formalism for the statistical generating functional in the statistical (finite temperature) quantum field theory, we prove the equivalence of many-photon Greens functions in the Duffin-Kennner-Petiau and Klein-Gordon-Fock statistical quantum field theories. As an illustration, we calculate the one-loop polarization operators in both theories and demonstrate their coincidence.

Light deflection and quadratic gravity

We study the bending of light caused by a static gravitational field generated by a localized material source in the context of quadratic gravity. Our calculation shows that for light rays passing close to the Sun the deflection Phi lies in the interval 0 < < 1.75. A tree-level approach to the same issue tells us that the vacuum concerning quadratic gravity is a dispersive medium. Nom Phi is energy dependent and ranges from 0(+) to 1.75(-) arcsec.

Competitive release and area effects

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Negative Even Grade mKdV Hierarchy and its Soliton Solutions

In this paper we discuss the algebraic construction of the mKdV hierarchy in terms of an affine Lie algebra (s) over capl(2). An interesting novelty araises from the negative even grade sector of the affine algebra leading to nonlinear integro-differential equations admiting non-trivial vacuum configuration. These solitons solutions are constructed systematically from generalization of the dressing method based on non zero vacua. The sub-hierarchies admiting such class of solutions are classified.