957 resultados para Lagrangian bounds in optimization problems
Resumo:
The new technique for automatic search of the order parameters and critical properties is applied to several well-know physical systems, testing the efficiency of such a procedure, in order to apply it for complex systems in general. The automatic-search method is combined with Monte Carlo simulations, which makes use of a given dynamical rule for the time evolution of the system. In the problems inves¬tigated, the Metropolis and Glauber dynamics produced essentially equivalent results. We present a brief introduction to critical phenomena and phase transitions. We describe the automatic-search method and discuss some previous works, where the method has been applied successfully. We apply the method for the ferromagnetic fsing model, computing the critical fron¬tiers and the magnetization exponent (3 for several geometric lattices. We also apply the method for the site-diluted ferromagnetic Ising model on a square lattice, computing its critical frontier, as well as the magnetization exponent f3 and the susceptibility exponent 7. We verify that the universality class of the system remains unchanged when the site dilution is introduced. We study the problem of long-range bond percolation in a diluted linear chain and discuss the non-extensivity questions inherent to long-range-interaction systems. Finally we present our conclusions and possible extensions of this work
Resumo:
Literature has demonstrated to the narrow relation between deleterious habits and the occurrence of malocclusion in minors of 5 years. The existence of these habits, however, already considered as risk factors, having also, its determinative ones, which present cultural dimensions and economic social, many of them related to the parents of the child, having in account that such habits if develop in phases in which the child establish a narrow relation of dependence. This study it had an objective to investigate the prevalence of deleterious buccal habits in children and its relation with the economic social and characteristics of the parents. It was developed an epidemiologist study of transversal character with interview, through daily pay-tested form, with 218 parents in the day of the National Campaign of Vaccination. In the cast of the variable that had composed the study, they had been used, as changeable dependents, the use of the baby's bottle, bottle and the digital suction, being considered as outcomes of the research. Amongst the independent variable, the economic social factors (type of occupation, number of children, civil state, sort, schooling and age) and staffs of the parents (self perception in oral health) had entered as the variable to be analyzed in the problems of the infantile odontology. The collected data had been submitted to the analysis descriptive and inferential statistics, being used the test qui-square and the analysis of the possibility reasons. As main results, it was found that breast feeding before the six months if presents as one of the main factors of risk for the use of baby's bottle (p< 0.001, OR= 2.8, I.C= 1.589 4.906), bottle (p< 0.001, OR= 3.7, I.C.= 2.076 6.624) and digital suction (p< 0.014, OR= 3.5, I.C.= 1.225 10.181). From the data found, one concludes that breast-feeding is considered a primordial factor for not the installation of deleterious oral habits and that the economic social and cultural factors can reflect in central way in the performance of this act
Resumo:
Os solos cultivados intensivamente e inadequadamente são degradados, assim como a construção de obras civis no meio rural executada sem atender à legislação. O trabalho objetivou definir a interferência do lodo de esgoto na recuperação de atributos de um Latossolo Vermelho. O experimento foi implantado em 2004, em Selviria (MS). Os tratamentos utilizados foram: T1-vegetação de cerrado; T2-solo exposto sem tratamento para recuperação; T3-solo cultivado com eucalipto e braquiária sem o uso do lodo de esgoto e adubação mineral; T4-solo cultivado com eucalipto e braquiária com adubação mineral; T5-solo cultivado com eucalipto e braquiária com uso de 30Mg ha-1 de lodo de esgoto e; T6-solo cultivado com eucalipto e braquiária com uso de 60Mg ha-1 de lodo de esgoto. Nas camadas do solo de 0,00-0,05; 0,05-0,10; 0,10-0,20 e de 0,20-0,30m, foram avaliados os atributos físico-hídricos e teor de matéria orgânica. Os tratamentos com adubação mineral e orgânica estão agindo de forma semelhante para a recuperação dos atributos físico-hídricos e do teor de matéria orgânica. em solos degradados pela construção de obras civis a aplicação de 30 a 60mg de lodo de esgoto ha-1 recupera as suas propriedades físico-hídricas.
Resumo:
The process of decentralization of health policy in Brazil has evolved throughout the second half of the twentieth century, advancing by leaps and bounds in the last two decades. The various public institutions have assumed the function of responding to a growing demand for medical care and hospital. Monsenhor Hospital Walfredo Gurgel - H.M.W.G. fits into this context as an institution par excellence-oriented service the demand for medium and high complexity. This paper presents some questions about the process of decentralization and devolution occurred in Brazil. To do so is a brief historical background and politics, showing the concepts of reform and counter-reform and how the processes mentioned in the Country Correlates develop local social development of the decentralization process and discusses the modifications in policies social intervention in recent decades and the state health policies. Presents the implementation of a Health System in Brazil and the state showing how the decentralization of health policy occurs in Rio Grande do Norte. Finally, it explores the role of H.M.W.G. in health policy in RN. For this, portrays the institution and is located within the decentralized structure of health policy in the state and capital. An analysis of the demand for hospital care and the budget situation is realized at the close of work, correlating the role of HMWG with the decentralization of health policy in Brazil and Rio Grande do Norte. The methodology used for the preparation of this work was based on documentary research, systematic nonparticipant observation, field diary and analysis of data, documents and content. This set shows a quantitative and qualitative methodology that strips the institution, enabling the understanding of their role, boundaries, threats and opportunities
Resumo:
Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler
Resumo:
Although some individual techniques of supervised Machine Learning (ML), also known as classifiers, or algorithms of classification, to supply solutions that, most of the time, are considered efficient, have experimental results gotten with the use of large sets of pattern and/or that they have a expressive amount of irrelevant data or incomplete characteristic, that show a decrease in the efficiency of the precision of these techniques. In other words, such techniques can t do an recognition of patterns of an efficient form in complex problems. With the intention to get better performance and efficiency of these ML techniques, were thought about the idea to using some types of LM algorithms work jointly, thus origin to the term Multi-Classifier System (MCS). The MCS s presents, as component, different of LM algorithms, called of base classifiers, and realized a combination of results gotten for these algorithms to reach the final result. So that the MCS has a better performance that the base classifiers, the results gotten for each base classifier must present an certain diversity, in other words, a difference between the results gotten for each classifier that compose the system. It can be said that it does not make signification to have MCS s whose base classifiers have identical answers to the sames patterns. Although the MCS s present better results that the individually systems, has always the search to improve the results gotten for this type of system. Aim at this improvement and a better consistency in the results, as well as a larger diversity of the classifiers of a MCS, comes being recently searched methodologies that present as characteristic the use of weights, or confidence values. These weights can describe the importance that certain classifier supplied when associating with each pattern to a determined class. These weights still are used, in associate with the exits of the classifiers, during the process of recognition (use) of the MCS s. Exist different ways of calculating these weights and can be divided in two categories: the static weights and the dynamic weights. The first category of weights is characterizes for not having the modification of its values during the classification process, different it occurs with the second category, where the values suffers modifications during the classification process. In this work an analysis will be made to verify if the use of the weights, statics as much as dynamics, they can increase the perfomance of the MCS s in comparison with the individually systems. Moreover, will be made an analysis in the diversity gotten for the MCS s, for this mode verify if it has some relation between the use of the weights in the MCS s with different levels of diversity
Resumo:
O artigo aborda problemas filosóficos relativos à natureza da intencionalidade e da representação mental. A primeira parte apresenta um breve histórico dos problemas, percorrendo rapidamente alguns episódios da filosofia clássica e da filosofia contemporânea. A segunda parte examina o Chinese Room Argument (Argumento do Quarto do Chinês) formulado por J. Searle. A terceira parte desenvolve alguns argumentos visando mostrar a inadequação do modelo funcionalista de mente na construção de robots. A conclusão (quarta parte) aponta algumas alternativas ao modelo funcionalista tradicional, como, por exemplo, o conexionismo.
Resumo:
The objective of this dissertation is the development of a general formalism to analyze the thermodynamical properties of a photon gas under the context of nonlinear electrodynamics (NLED). To this end it is obtained, through the systematic analysis of Maxwell s electromagnetism (EM) properties, the general dependence of the Lagrangian that describes this kind of theories. From this Lagrangian and in the background of classical field theory, we derive the general dispersion relation that photons must obey in terms of a background field and the NLED properties. It is important to note that, in order to achieve this result, an aproximation has been made in order to allow the separation of the total electromagnetic field into a strong background electromagnetic field and a perturbation. Once the dispersion relation is in hand, the usual Bose-Einstein statistical procedure is followed through which the thermodynamical properties, energy density and pressure relations are obtained. An important result of this work is the fact that equation of state remains identical to the one obtained under EM. Then, two examples are made where the thermodynamic properties are explicitly derived in the context of two NLED, Born-Infelds and a quadratic approximation. The choice of the first one is due to the vast appearance in literature and, the second one, because it is a first order approximation of a large class of NLED. Ultimately, both are chosen because of their simplicity. Finally, the results are compared to EM and interpreted, suggesting possible tests to verify the internal consistency of NLED and motivating further developement into the formalism s quantum case
Resumo:
Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic
Resumo:
Starting from the Generating functional for the Green Function (GF), constructed from the Lagrangian action in the Duffin-Kemmer-Petiau (DKP) theory (L-approach) we strictly prove that the physical matrix elements of the S-matrix in DKP and Klein-Gordon-Fock (KGF) theories coincide in cases of interacting spin O particles with external and quantized Maxwell and Yang-Mills fields and in case of external gravitational field (without or with torsion), For the proof we use the reduction formulas of Lehmann, Symanzik and Zimmermann (LSZ). We prove that many photons and Yang-Mills particles GF coincide in both theories too. (C) 2000 Elsevier B.V. B.V. All rights reserved.
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
It is of major importance to consider non-ideal energy sources in engineering problems. They act on an oscillating system and at the same time experience a reciprocal action from the system. Here, a non-ideal system is studied. In this system, the interaction between source energy and motion is accomplished through a special kind of friction. Results about the stability and instability of the equilibrium point of this system are obtained. Moreover, its bifurcation curves are determined. Hopf bifurcations are found in the set of parameters of the oscillating system.
Resumo:
Sistemas baseados em redes neurais artificiais fornecem altas taxas de computação devido ao uso de um número massivo de elementos processadores simples. Redes neurais com conexões realimentadas fornecem um modelo computacional capaz de resolver uma rica classe de problemas de otimização. Este artigo apresenta uma nova abordagem para resolver problemas de otimização restrita utilizando redes neurais artificiais. Mais especificamente, uma rede de Hopfield modificada é desenvolvida cujos parâmetros internos são calculados usando a técnica de subespaço válido de soluções. A partir da obtenção destes parâmetros a rede tende a convergir aos pontos de equilíbrio que representam as possíveis soluções para o problema. Exemplos de simulação são apresentados para justificar a validade da abordagem proposta.
Resumo:
O surgimento de novas tecnologias e serviços vem impondo mudanças substanciais ao tradicional sistema de telecomunicações. Múltiplas possibilidades de evolução do sistema fazem da etapa de planejamento um procedimento não só desejável como necessário, principalmente num ambiente de competitividade. A utilização de metodologias abrangentes e flexíveis que possam auxiliar no processo de decisão, fundadas em modelos de otimização, parece um caminho inevitável. Este artigo propõe um modelo de programação linear inteiro misto para ajudar no planejamento estratégico de sistemas de telecomunicações, e em particular da rede de acesso. Os principais componentes de custo e receita são identificados e o modelo é desenvolvido para determinar a configuração da rede (serviços, tecnologias, etc) que maximize a receita esperada pelo operador do sistema. O conceito de números fuzzy é adotado para avaliar o risco técnico-econômico em situações de imprecisão nos dados de demanda. Resultados de experimentos computacionais são apresentados e discutidos.
Resumo:
Systems based on artificial neural networks have high computational rates due to the use of a massive number of simple processing elements and the high degree of connectivity between these elements. Neural networks with feedback connections provide a computing model capable of solving a large class of optimization problems. This paper presents a novel approach for solving dynamic programming problems using artificial neural networks. More specifically, a modified Hopfield network is developed and its internal parameters are computed using the valid-subspace technique. These parameters guarantee the convergence of the network to the equilibrium points which represent solutions (not necessarily optimal) for the dynamic programming problem. Simulated examples are presented and compared with other neural networks. The results demonstrate that proposed method gives a significant improvement.