10 resultados para Logic-based optimization algorithm
em Universidade Federal do Rio Grande do Norte(UFRN)
Resumo:
The frequency selective surfaces, or FSS (Frequency Selective Surfaces), are structures consisting of periodic arrays of conductive elements, called patches, which are usually very thin and they are printed on dielectric layers, or by openings perforated on very thin metallic surfaces, for applications in bands of microwave and millimeter waves. These structures are often used in aircraft, missiles, satellites, radomes, antennae reflector, high gain antennas and microwave ovens, for example. The use of these structures has as main objective filter frequency bands that can be broadcast or rejection, depending on the specificity of the required application. In turn, the modern communication systems such as GSM (Global System for Mobile Communications), RFID (Radio Frequency Identification), Bluetooth, Wi-Fi and WiMAX, whose services are highly demanded by society, have required the development of antennas having, as its main features, and low cost profile, and reduced dimensions and weight. In this context, the microstrip antenna is presented as an excellent choice for communications systems today, because (in addition to meeting the requirements mentioned intrinsically) planar structures are easy to manufacture and integration with other components in microwave circuits. Consequently, the analysis and synthesis of these devices mainly, due to the high possibility of shapes, size and frequency of its elements has been carried out by full-wave models, such as the finite element method, the method of moments and finite difference time domain. However, these methods require an accurate despite great computational effort. In this context, computational intelligence (CI) has been used successfully in the design and optimization of microwave planar structures, as an auxiliary tool and very appropriate, given the complexity of the geometry of the antennas and the FSS considered. The computational intelligence is inspired by natural phenomena such as learning, perception and decision, using techniques such as artificial neural networks, fuzzy logic, fractal geometry and evolutionary computation. This work makes a study of application of computational intelligence using meta-heuristics such as genetic algorithms and swarm intelligence optimization of antennas and frequency selective surfaces. Genetic algorithms are computational search methods based on the theory of natural selection proposed by Darwin and genetics used to solve complex problems, eg, problems where the search space grows with the size of the problem. The particle swarm optimization characteristics including the use of intelligence collectively being applied to optimization problems in many areas of research. The main objective of this work is the use of computational intelligence, the analysis and synthesis of antennas and FSS. We considered the structures of a microstrip planar monopole, ring type, and a cross-dipole FSS. We developed algorithms and optimization results obtained for optimized geometries of antennas and FSS considered. To validate results were designed, constructed and measured several prototypes. The measured results showed excellent agreement with the simulated. Moreover, the results obtained in this study were compared to those simulated using a commercial software has been also observed an excellent agreement. Specifically, the efficiency of techniques used were CI evidenced by simulated and measured, aiming at optimizing the bandwidth of an antenna for wideband operation or UWB (Ultra Wideband), using a genetic algorithm and optimizing the bandwidth, by specifying the length of the air gap between two frequency selective surfaces, using an optimization algorithm particle swarm
Resumo:
Image segmentation is one of the image processing problems that deserves special attention from the scientific community. This work studies unsupervised methods to clustering and pattern recognition applicable to medical image segmentation. Natural Computing based methods have shown very attractive in such tasks and are studied here as a way to verify it's applicability in medical image segmentation. This work treats to implement the following methods: GKA (Genetic K-means Algorithm), GFCMA (Genetic FCM Algorithm), PSOKA (PSO and K-means based Clustering Algorithm) and PSOFCM (PSO and FCM based Clustering Algorithm). Besides, as a way to evaluate the results given by the algorithms, clustering validity indexes are used as quantitative measure. Visual and qualitative evaluations are realized also, mainly using data given by the BrainWeb brain simulator as ground truth
Resumo:
This work develops a methodology for defining the maximum active power being injected into predefined nodes in the studied distribution networks, considering the possibility of multiple accesses of generating units. The definition of these maximum values is obtained from an optimization study, in which further losses should not exceed those of the base case, i.e., without the presence of distributed generation. The restrictions on the loading of the branches and voltages of the system are respected. To face the problem it is proposed an algorithm, which is based on the numerical method called particle swarm optimization, applied to the study of AC conventional load flow and optimal load flow for maximizing the penetration of distributed generation. Alternatively, the Newton-Raphson method was incorporated to resolution of the load flow. The computer program is performed with the SCILAB software. The proposed algorithm is tested with the data from the IEEE network with 14 nodes and from another network, this one from the Rio Grande do Norte State, at a high voltage (69 kV), with 25 nodes. The algorithm defines allowed values of nominal active power of distributed generation, in percentage terms relative to the demand of the network, from reference values
Resumo:
The objective of this work was the development and improvement of the mathematical models based on mass and heat balances, representing the drying transient process fruit pulp in spouted bed dryer with intermittent feeding. Mass and energy balance for drying, represented by a system of differential equations, were developed in Fortran language and adapted to the condition of intermittent feeding and mass accumulation. Were used the DASSL routine (Differential Algebraic System Solver) for solving the differential equation system and used a heuristic optimization algorithm in parameter estimation, the Particle Swarm algorithm. From the experimental data food drying, the differential models were used to determine the quantity of water and the drying air temperature at the exit of a spouted bed and accumulated mass of powder in the dryer. The models were validated using the experimental data of drying whose operating conditions, air temperature, flow rate and time intermittency, varied within the limits studied. In reviewing the results predicted, it was found that these models represent the experimental data of the kinetics of production and accumulation of powder and humidity and air temperature at the outlet of the dryer
Resumo:
The longshore sediment transport (LST) is determinant for the occurrence of morphological changes in coastal environments. Understanding their movement mechanisms and transport is an essential source of information for the project design and coastal management plans. This study aims to characterize, initially, the active hydrodynamic circulation in the study area, comprised of four beach sectors from the south coast of Natal, assessing the average annual LST obtained through three proven equations (CERC, Kamphuis and Bayram et al.), defining the best formulation for the study area in question, and analyze the seasonal variability and the decadal transport evolution. The coastal area selected for this work constitutes one of the main tourist corridors in the city, but has suffered serious damage resulting from associated effects of hydrodynamic forcings and their disorderly occupation. As a tool was used the Coastal Modelling System of Brazil (SMC-Brazil), which presents integrated a series of numerical models and a database, properly calibrated and validated for use in developing projects along the Brazilian coastline. The LST rates were obtained for 15 beach profiles distributed throughout the study area. Their extensions take into account the depth of closure calculated by Harllermeier equation, and regarding the physical properties of the sediment, typical values of sandy beaches were adopted, except for the average diameter, which was calculated through an optimization algorithm based on equilibrium profile formulation proposed by Dean. Overall, the results showed an intensification of hydrodynamic forcings under extreme sea wave conditions, especially along the headlands exist in the region. Among the analyzed equations, Bayram et al. was the most suitable for this type of application, with a predominant transport in the south-north direction and the highest rates within the order of 700.000 m3 /year to 2.000.000 m3 /year. The seasonal analysis also indicated a longitudinal transport predominance in the south to north, with the highest rates associated with the fall and winter seasons. In these periods are observed erosive beach states, which indicate a direct relationship between the sediment dynamics and the occurrence of more energetic sea states. Regarding the decadal evolution of transportation, it was found a decrease in transport rate from the 50’s to the 70’s, followed by an increase until the 2000’s, coinciding with the beginning of urbanization process in some stretches of the studied coastline.
Resumo:
The internet is a transbordering and potentializing environment for the information, since it makes possible the sheering, distribution and interaction of the contents available in it. However, this information system may generate an opposing move when it produces an avalanche of superficial information which difficult the absorption criticism by the user. This modern-liquid society, which is characterized by short living fashionisms, creates a fluid subject on which its habits do not become concrete, since they are so temporary that they don t shape up. The information also reproduces the same scenario, since the user is inserted into a logic based on supplying information and so it is conditioned to consume, not absorb or transform them into knowledge, since the flow of content production does not allow it. It is in his context that the publishing of cultural expressions come to be questioned, since they follow a liquid society trend. This discussion will take on topics that approach diverse cultural expressions in Sergipe, such as cinema, theater, craftsmanship, events, memory spaces(museums, art galleries, memorials, files, libraries, history institutes, science academies), amongst others and will analyze the content production of the Infonet Portal, from the reports published during April, May and June of 2008, period considered to be of cultural turbulence in the state, due to the June Festivals (Saint john, Saint Joseph and Saint Peter). To do so, Zigmunt Bauman s, Pierre Levy s, Edgar Morin s and Dominique Wolton s ideas were discussed. Besides, were analyzed the characteristics of the internet and its applicability within the portal hereby discussed in order to perceive the way the information is produced in the cyber culture, a movement that allows memorization, potentialization, interaction , besides other criteria inherent to the cyberspace
Resumo:
The Nossa Senhora da Conceição Seminary, installed in 1894, by Dom Adauto Aurélio de Miranda Henriques, first Paraíba Bishop, and the Episcopal Seminary of the Sagrado Coração de Jesus, implanted in 1913, by Dom José Thomas Gomes da Silva, first Aracaju s Bishop diocese, were created as a result of lack of an official religious process proposed by the Brazilian Republic Proclamation, in 1889. With the appoint to enlarge the number of priests and change the image of the priest married and unrolled who used to identify the Catholic Church in the colonial and imperial Brazil. Such bishops developed into intellectuals in the government, dioceses and formation priest houses. I take as a study object, for this doctorate paper, the academic formation and priesthood developed in theses seminaries, from 1894 to 1933, once 1894 the year of João Pessoa Creation Seminar that was implied the Minor Course (preparation) and the Major one (built by Philosophy and God related studies) and the research limit year of 1933, is concerned about the Major Sergipe Seminary ending, which was created and has worked offering the Minor and Major courses, from 1913 to 1933. Showing the teaching models that guided and leaded the priest formation, referred as Seminaries, and the application result is the objective of this investigation. To comprehend the teaching models seminaries studied, my research line is the Catholic Church theme and priest formation in Brazil. In front of the object and the objective desired, I chose the historical comparative method and the scholars modals notions of Araujo de Barros (2004) and the Sirinelli intellectuals (1996). Such references allowed me to analyze the formation given in the seminary and seminarian participation and actions, included the sequence after the scholars formation. The thesis defended is that the teaching model developed in the Brazilian Seminaries, created after a non official religious process in the Brazilian government, deal with a model of one unique center (Seminary formation and aim pre arranged by Santa Sé), although adapted, presuming the local reality and formation structure (privileged not only spiritual and moral speaking, but intellectual also), was it responsible for intellectuals generations (teachers priests, educationalist priest, journalists priests and so on) that boost the education in Brazil. During the Republic first three decades, when, in thesis, the Government was becoming free religion, i.e., the government did not subsidize the Church anymore, and the Government, among others aspects, did not received any Church care to help the public teaching in the country. The investigation reveled accede, by bishops and their followers, such as by the Concílio de Trento pre concept, or by the others ideas, leading by the priests formation in Seminaries. By creating and stalling diocese Seminary, Bishop Dom Adauto and Dom José went further their functions, by the time they built inside themselves a teaching model thought from the main pedagogic logic, based on several religious exercises, moral and ethic, considered by themselves several knowledge connected to humanity, philosophy and God related studies). Following clearly rationalism principle (the way of teaching, which each subject has its own teacher and this class get together students with the same knowledge, regardless of age) and efficiency (trying to teach the whole content in each class), the Seminaries researched developed a whole education, allowed the structure of a spiritual education, moral and intellectual, for a quality developed by priests, including different levels that they used to performance. Their bottom line, actions and priest matter achievement allowed their broad fulfillment, in the way that priests matter were associated with cultural, educational, welfare assistance, at last, intellectuals
Resumo:
The objective in the facility location problem with limited distances is to minimize the sum of distance functions from the facility to the customers, but with a limit on each distance, after which the corresponding function becomes constant. The problem has applications in situations where the service provided by the facility is insensitive after a given threshold distance (eg. fire station location). In this work, we propose a global optimization algorithm for the case in which there are lower and upper limits on the numbers of customers that can be served
Resumo:
This study analyzes the perceptions of technical and administrative UFPA, in relation to the insertion of the components and assumptions of DBP in evaluation practice. Addresses the history, concepts, meanings, about AD methods, skills, evaluation skills, the APF and AD UFPA and Programme itself. The research is characterized as a hypothetical-deductive, descriptive and applied, using the case study. Data were analyzed using a quantitative approach, using the descriptive and inferential statistics. Data were collected through the application of questionnaires to 222 technical and administrative searched IFES, not occupants of FG and CD. The results indicate that the factors perceived in relation to the constituent elements such as: evaluation practice, measurement of competence, program management, timing, individual skills and fundamentals of the program and those related to assumptions such as: democratic process, integrative perspective, character development and pedagogical continuous evaluation practices are perceived in the evaluation process. The study concludes that comparing the results of the constituent elements and assumptions of the PAD of thechnical-administrative UFPA, it can be said about a tendency to change, though subtle, compared to the traditional model of AD, directed only to the granting of career progression for a new logic based on the results, showing an early effectiveness of the program evaluation practice by law and by the Institution. The results are confirmatory of advance evaluation practice in the institution, more so than has previously been expected, which demonstrates the value of scientific criteria of scientific research
Resumo:
This thesis presents a certification method for semantic web services compositions which aims to statically ensure its functional correctness. Certification method encompasses two dimensions of verification, termed base and functional dimensions. Base dimension concerns with the verification of application correctness of the semantic web service in the composition, i.e., to ensure that each service invocation given in the composition comply with its respective service definition. The certification of this dimension exploits the semantic compatibility between the invocation arguments and formal parameters of the semantic web service. Functional dimension aims to ensure that the composition satisfies a given specification expressed in the form of preconditions and postconditions. This dimension is formalized by a Hoare logic based calculus. Partial correctness specifications involving compositions of semantic web services can be derived from the deductive system proposed. Our work is also characterized by exploiting the use of a fragment of description logic, i.e., ALC, to express the partial correctness specifications. In order to operationalize the proposed certification method, we developed a supporting environment for defining the semantic web services compositions as well as to conduct the certification process. The certification method were experimentally evaluated by applying it in three different proof concepts. These proof concepts enabled to broadly evaluate the method certification