O problema biobjetivo da árvore geradora quadrática em adjacência de arestas

The Quadratic Minimum Spanning Tree Problem (QMST) is a version of the Minimum Spanning Tree Problem in which, besides the traditional linear costs, there is a quadratic structure of costs. This quadratic structure models interaction effects between pairs of edges. Linear and quadratic costs are added up to constitute the total cost of the spanning tree, which must be minimized. When these interactions are restricted to adjacent edges, the problem is named Adjacent Only Quadratic Minimum Spanning Tree (AQMST). AQMST and QMST are NP-hard problems that model several problems of transport and distribution networks design. In general, AQMST arises as a more suitable model for real problems. Although, in literature, linear and quadratic costs are added, in real applications, they may be conflicting. In this case, it may be interesting to consider these costs separately. In this sense, Multiobjective Optimization provides a more realistic model for QMST and AQMST. A review of the state-of-the-art, so far, was not able to find papers regarding these problems under a biobjective point of view. Thus, the objective of this Thesis is the development of exact and heuristic algorithms for the Biobjective Adjacent Only Quadratic Spanning Tree Problem (bi-AQST). In order to do so, as theoretical foundation, other NP-hard problems directly related to bi-AQST are discussed: the QMST and AQMST problems. Bracktracking and branch-and-bound exact algorithms are proposed to the target problem of this investigation. The heuristic algorithms developed are: Pareto Local Search, Tabu Search with ejection chain, Transgenetic Algorithm, NSGA-II and a hybridization of the two last-mentioned proposals called NSTA. The proposed algorithms are compared to each other through performance analysis regarding computational experiments with instances adapted from the QMST literature. With regard to exact algorithms, the analysis considers, in particular, the execution time. In case of the heuristic algorithms, besides execution time, the quality of the generated approximation sets is evaluated. Quality indicators are used to assess such information. Appropriate statistical tools are used to measure the performance of exact and heuristic algorithms. Considering the set of instances adopted as well as the criteria of execution time and quality of the generated approximation set, the experiments showed that the Tabu Search with ejection chain approach obtained the best results and the transgenetic algorithm ranked second. The PLS algorithm obtained good quality solutions, but at a very high computational time compared to the other (meta)heuristics, getting the third place. NSTA and NSGA-II algorithms got the last positions

Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

MoSAC: um módulo para seleção de configurações arquiteturais baseado em critérios de QoS no contexto de sistema distribuídos autoadaptativos

The process for choosing the best components to build systems has become increasingly complex. It becomes more critical if it was need to consider many combinations of components in the context of an architectural configuration. These circumstances occur, mainly, when we have to deal with systems involving critical requirements, such as the timing constraints in distributed multimedia systems, the network bandwidth in mobile applications or even the reliability in real-time systems. This work proposes a process of dynamic selection of architectural configurations based on non-functional requirements criteria of the system, which can be used during a dynamic adaptation. This proposal uses the MAUT theory (Multi-Attribute Utility Theory) for decision making from a finite set of possibilities, which involve multiple criteria to be analyzed. Additionally, it was proposed a metamodel which can be used to describe the application s requirements in terms of the non-functional requirements criteria and their expected values, to express them in order to make the selection of the desired configuration. As a proof of concept, it was implemented a module that performs the dynamic choice of configurations, the MoSAC. This module was implemented using a component-based development approach (CBD), performing a selection of architectural configurations based on the proposed selection process involving multiple criteria. This work also presents a case study where an application was developed in the context of Digital TV to evaluate the time spent on the module to return a valid configuration to be used in a middleware with autoadaptative features, the middleware AdaptTV

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Avaliação da informação de websites turísticos das cidades-sede da copa 2014

This study aims to analyze tourist information provided by the official websites of the 2014 FIFA World Cup host cities. The framework developed by Díaz (2005) was applied to analyze different aspects, such as: local tourist information, tourist services distribution, communication and interaction between website and users, and website foreign language versions. This dissertation describes how society and tourism are related by analyzing the consequences of technological evolution in the travel and tourism sector, showing the importance of the use of information and communication technology to provide accurate, upto- date and low-cost information to tourist destinations. Because of the nature of the study, the research subjects are the 12 Brazilian host cities represented by their respective official webpages (cities, states and convention bureaus), and also Brazil s official website, totalizing 36 elements to be analyzed. The methodology has been characterized as descriptive and exploratory with quantitative analysis, and also using desk research and survey literature review. In order to analyze the data collected, parametric and nonparametric statistics tests were used, such as: variance analysis (ANOVA and KRUSKAL-WALLIS) to measure means variance between groups combined with multiple comparison tests (Tukey and Games Howell); nonparametric correlations tests (Kendall s Tau b); and cluster analyses. Finally, Microsoft Excel was used to collect data and SPSS for managing data through quantitative analyses tests. Overall, the websites of the south region showed better results than the other Brazilian regions. Despite this result, the data analysis demonstrated that the available tourist information are incomplete as it was verified that tourist host cities websites are unable to provide all the information needed for the web visitors to organize and plan their journey. This means that visitors have to look for more information in other sources

Atratividade cultural e potencialidade turística: análise do evento Auto de Natal (Natal RN)

Inserted in the schedule for Christmas celebration in the city of Natal, capital of the state of Rio Grande do Norte, Brazil, the spectacle so called Auto de Natal mixes the Christmas story of Jesus birth with cultural and natural heritage of the state, making possible the integration of professionals from various fields, such as: literature, theater, dance and music. Important for local identity, Auto de Natal integrates elements of intangible heritage in the state. In this context, the research analyzed the perceptions of those who were involved in the production, presentation and organization of the event, planned to be culturally attractive to tourism. For this, it was used the descriptive and exploratory method, making use of documental, bibliographic and field researches. It was applied qualitative techniques to the interpretation of the interviews, while it was applied quantitative techniques to analyze the questionnaires. The research has discovered that Auto de Natal has the potential to add value to Cultural Tourism, diversifying the tourism product. The research has also observed that most of the respondents recognized Auto de Natal as intangible heritage, and concluded that the Christmas theme, which is alluding to the nomenclature of destiny, needs to be well-done to attract more tourists to experience the Natal in Natal

Identidade em Caucaia: etnografia e vicissitudes de uma perícia antropológica

Esse artigo analisa a perícia e o laudo antropológico realizados entre os índios Tapeba do município de Caucaia, área metropolitana de Fortaleza (Ceará). Discuto as diversas circunstâncias e as condições sociais de possibilidade que levaram a esse trabalho. Enfoco as várias questões sociais e culturais, além de políticas, que trataram dos usos e efeitos da história, da performatividade das tradições e das lutas da identidade, envolvendo diretamente esse grupo étnico numa ação judicial recente

Antropologia das mediações: um estudo sobre trocas, tensões e hierarquias em Coqueiros, Vale do Ceará Mirim

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

A moralidade e a vida pregressa do candidato como condição autônoma de elegibilidade

The objective of this work was about fixing the free will paradigm as negative evaluation of political rights which presents a new classification dde such rights, producing species: a) conditions of eligibility autonomous (free will), b) eligibility requirements heteronomous (will third party) and c) ineligibility (court decisions / administrative). This morality and life history as a condition of eligibility unattended, making a hermeneutic analysis of art. 14, § 9 of the Constitution, considering the justification of the views of the voting Minister Carlos Ayres Brito Appeal in Ordinary No 1069/2006 of the Supreme Electoral Tribunal (where Eurico Miranda). Are fixed concepts of morality and life history from the perspective of the moral act freely and consciously. Has resulted in the identification of the moral virtues of honesty and integrity, which are voluntary acts as a reference to morality and integrity respectively. Justifies the morality and life history as a condition of eligibility unattended. who depend exclusively on the willingness of the candidate. It is noteworthy that the conditions for eligibility as a factual finding does not violate the law and does not allow punitive sanctions or setting a deadline in case of refusal to register the application. Attributed to political parties to take responsibility in their statutes moral criteria for the nomination convention in pre candidates, giving an ethical dimension. Analyzes the law under the Clean Record of morality and life history of the candidate and the possible impact on the electoral context

A fábrica de professores e a padronização do conhecimento

This paper concern the general subject of teacher career construction, since the period of the initial formation in the teaching course of pedagogy crossing the first effectives experiences of professional performance, until the reflections about the results of the continuous formation propositions. The specifics subject is the formative quotidian in the teacher s life beyond of the traditional stereotypes about individuals and institutions bring up for discussion a micro sociological approach about the professionals uncertainty and the personal hopes, the teacher displeasures and the pedagogical satisfactions. The epistemological reflection about the different formatives experiences, taking as example the Programa de Formação de Alfabetizadores PROFA (Alphabetizers Formation Program) developed by the Secretaria Municipal de Educação of Natal City, consider the ambiguous tension between the knowledge that the teachers acquire in their formation and the concrete teachers practical since those experiences. The study methodology is based in the qualitative comprehensive research, sustained by observations, impressive reflective accounts, and also in the theoretic analyses with contemporary references to the critical pedagogical through and education sociology. I used the autobiographic reflective account by the writer-researcher in her owner academic and professional way. I propose an image of a teacher s factory in such a way for its conformist aspects to the continuity stands as much the internal contradictions of the system. Gears, pieces and manual instructions are the educational components of this factory as ideological, institutional and technical structures to aim at to limit the critics and the changes. However the teachers thinking and acting with their owner creativity to adapted uncontexted professional knowledge s to their pedagogical lives. Under those analogies I propose the problem of this research the teacher s formation and theirs pedagogical practices- and also examine briefly its theoretic-philosophical and methodological basis. From the analysis and interpretation of my owner experiential life as teacher s educator I put the necessity of re-thinking the teacher s formation in terms to rebound more meaningfully in their pedagogical actuation. I believe an important part of the teacher s formation process is the personal wish to learn more about the office, explicitly connected to human convictions and values such as to a positive professional identity. Thus, the teacher able to reflect about your owner educator life can find the best way to help the students to think critically about their culture and history, valorizing creative exits by themselves to face the conformist social stands connected with school education

Unicidade e discretização para problemas de valor inicial

This paper has two objectives: (i) conducting a literature search on the criteria of uniqueness of solution for initial value problems of ordinary differential equations. (ii) a modification of the method of Euler that seems to be able to converge to a solution of the problem, if the solution is not unique

Parâmetro de regularização em problemas inversos: estudo numérico com a transformada de Radon

In general, an inverse problem corresponds to find a value of an element x in a suitable vector space, given a vector y measuring it, in some sense. When we discretize the problem, it usually boils down to solve an equation system f(x) = y, where f : U Rm ! Rn represents the step function in any domain U of the appropriate Rm. As a general rule, we arrive to an ill-posed problem. The resolution of inverse problems has been widely researched along the last decades, because many problems in science and industry consist in determining unknowns that we try to know, by observing its effects under certain indirect measures. Our general subject of this dissertation is the choice of Tykhonov´s regulaziration parameter of a poorly conditioned linear problem, as we are going to discuss on chapter 1 of this dissertation, focusing on the three most popular methods in nowadays literature of the area. Our more specific focus in this dissertation consists in the simulations reported on chapter 2, aiming to compare the performance of the three methods in the recuperation of images measured with the Radon transform, perturbed by the addition of gaussian i.i.d. noise. We choosed a difference operator as regularizer of the problem. The contribution we try to make, in this dissertation, mainly consists on the discussion of numerical simulations we execute, as is exposed in Chapter 2. We understand that the meaning of this dissertation lays much more on the questions which it raises than on saying something definitive about the subject. Partly, for beeing based on numerical experiments with no new mathematical results associated to it, partly for being about numerical experiments made with a single operator. On the other hand, we got some observations which seemed to us interesting on the simulations performed, considered the literature of the area. In special, we highlight observations we resume, at the conclusion of this work, about the different vocations of methods like GCV and L-curve and, also, about the optimal parameters tendency observed in the L-curve method of grouping themselves in a small gap, strongly correlated with the behavior of the generalized singular value decomposition curve of the involved operators, under reasonably broad regularity conditions in the images to be recovered

Mecanismos de alojamento de magmas granitóides :exemplo do plúton de Japi(RN)

This dissertation describes the igneous suites of the Japi granitoid pluton, intrusive in the Paleoproterozoic gneiss-migmatite complex of the eastern domain of the Seridó Belt, northeastern Brazil. Field relations show that the pluton is affected by strong deformation associated to the Brasiliano orogeny (known as the D3 phase) , with a NW-trending extensionalleft-hand senestral shear zone (the Japi Shear Zone, JSZ) bordering the intrusive body to the west. Four plutonic suites are found in the main pluton and as satellyte intrusions, besides Iate pegmatite and pink leucogranites. An alkaline granitoid suite, dominated by syenogranites bearing sodic augite (and subordinate hornblende), define a main elliptical intrusion. In its northern part, this intrusion is made up by concentric sheets, contrasting with a smaller rounded stock to the south. These granites display a pervasive solid-state S>L fabric developed under high T conditions, characterized by plastic deformation of quartz and feldspar. It is especially, developed along the border of the pluton, with inward dips. A regular magmatic layering is present sometimes, parallel to the tectonic foliation. The syntectonic emplacement as regards to the Brasiliano (D3) event is indicated by the common occurrence of dykes and sheets along transtensional or extensional sites of the major structure. Field relations attest to the early emplacement of the alkaline granites as regards to the other suites. A basic-to-intermediate suite occurs as a western satellyte body and occupying the southern tail of the main alkaline pluton. It comprises a wide variety of compositional terms, including primitive gabbros and gabbro-norites, differentiated to monzonitic intermediate facies containing amphibole and biotite as their main mafic phases. These rocks display transitional high-K calc-alkaline to shoshonitic affinities. Porphyritic monzogranite suítes commonly occur as dykes and minor intrusives, isolated or associated with the basic-tointermediate rocks. In the latter case, magma mingling and mixing features attest that these are contemporaneous igneous suites. These granites show K-feldspar phenocrysts and a hornblende+biotite+titanite assemblage, displaying subalkaline/monzonitic geochemical affinities. Both suites exhibit SL magmatic fabrics overprinting or transitional to solid-state D3 deformation related to the JSI. Chemical data clearly show that they are related to different parental magmas. Finally, a microgranite suite occurs along a few topographic ridges paralell to the JSI. It comprises dominantly granodiorites with a mineralogy similar to the one of the porphyritic granitoids. However, discriminant diagrams show their distinct calc-alkaline affinity. The granodiorites display an essencially magmatic fabric, even though an incipient D3 solid-state structure may be developed along the JSI. Intrusion relationships with the previous suites, as well as regards to the D3 structures, point to their Iate emplacement. All these suites are intrusive in a Paleoproterozoic, high-grade gneiss-migmatite complex affected by two previous deformation phases (D1, D2). The fabrics associated with these earlier events are folded and overprinted by the younger D3 structures along the JSZ. The younger deformation is characterized by NE-dipping foliations and N/NE-plunging stretching lineations. In the JSZ northern termination the foliation acquires an ENE orientation, containing a stretching lineation plunging to the south. Symmetric kinematic cri teria developed at this site confirms the transpressional termination of the JSZ, as also shown by orthorrombic quartz c-axis patterns. E-W-trending d extra I shear zones developed in the central part of the JSZ are interpreted as antithetic structures associated to the transtensional deformation along the JSZ. This is consistent with its extensional-transcurrent kinematics and a flat-and-ramp geometry at depth, as shown by gravimetric data. The lateral displacement of the negative residual Bouguer anomalies, as regards to the main outcropping alkaline pluton, may be modelized by other deeper-seated granite bodies. Based on numerical modelling it was possible to infer two distinct intrusion styles for the alkaline pluton. The calculated model values are consistent with an emplacement by sheeting for the northern body, as already suggested by satellyte imagery and field mapping. On the other hand, the results point to a transition towards a diapir-related style associated to the smaller. southern stock. This difference in intrusion styles may relate to intensity variations and transtensional sites of the shear deformation along the JSZ. Trace element and Sr and Nd isotopes of the alkaline granites are compatible with their derivation trom a more basic crustal source, as compared to the presently outcropping highgrade gneisses, with participation (or alternatively dominated by) of an enriched lithospheric mantle component. Like other igneous suites in the Seridó Belt, the high LlL contents and fractionated REE patterns of the basic rocks also point to an enriched mantle as the source for this kind of magmatism. Geochemical and isotope data are compatible with a lower crustal origin for the porphyritic granites. On the basis of the strong control of the JSZ on the emplacement of lower crustal (porphyritic and alkaline granites) or lithospheric mantle (basic rocks, alkaline granites or a component of them) magmas, one may infer a deep root for this structure, bearing an important role in magma extraction, transport and emplacement in the Japi region, eastern domain of the Seridó Belt

Caracterização geológica, geomorgológica e geotécnica de um corpo de dunas na cidade de Natal-RN

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Mapeamento da zona costeria protegida por arenitos de praia (Beachrocks) em Nísia Floresta - RN

The goal of this work comprises the detailed mapping of the coastal zone of the south coast of the State of Rio Grande do Norte. The emphasis of the study is the units of beachrocks and the features of the physical environment associated. The mapping of the beachrocks and of the adjacent coastal features is justified, among other aspects, by the fact that the beachrocks constitute an important protection agent against the sea erosion. By one side, they dissipate the energy of the sea waves and make possible the imprisonment of sediments in the foreshore. The beachrocks in the studied area are constituted of discontinuous strips, parallel to the coast line presenting emerged in some places, even in the highest tides, entirely submerged or partially buried by coastal sediments. These sandstones compose the landscape of big part of the coast and they are responsible for the partial dissipation of the energy of the waves on the studied coast. The methodology used in this work consisted of different techniques were used, as the use of aerial pictures of small format (FAPEFs), acquisition of data of system of global positioning (GPS) and later elaboration of thematic maps and of digital models of soil (MDTs). The results obtained in the mapping of the use and occupation of the soil, demonstrate the existence of strong human pressure in the coastal area (built lots and no built), occupying about 54,74% of built areas. This problem has been taking to degradation risks due to the inconsequent expansion of divisions into lots and tourist enterprises. The MDT came as an excellent resource, as visual as functional, being possible to visualize several angles and to act in three dimensions the relief of the area in study, as well as to identify the present features in the coastal area. By the importance of the bodies of beachrocks as a protection agent against the coastal erosion, faces were delimited in the sandstones based in geometric criteria, classifying them in, central face, outside face, inside face, break and undermiming. These last two associates to the erosion and washout in the base of these bodies. Field data indicate clearly that the most important process in the fracturing of the bodies is associated with mechanisms related to the gravity, being the joints formed by processes of gravitational sliding. Finally, the mapping of the coastal zone starting from aerial pictures of small format it made possible the identification of the elements that compose the beach strip, for accomplishing with larger detailed level and by presenting a better monitoring of the dynamics of the coastal zone