970 resultados para Exact constraint


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The objectives of these notes are two. The first objective is to analyze whether the strategy of growth with absorption of foreign savings leads to a trajectory of the economy that is sustainable in the long run. The second one is to evaluate the possibility of success of a policy of administered devaluation of the exchange rate in Brazil.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A constraint satisfaction problem is a classical artificial intelligence paradigm characterized by a set of variables (each variable with an associated domain of possible values), and a set of constraints that specify relations among subsets of these variables. Solutions are assignments of values to all variables that satisfy all the constraints. Many real world problems may be modelled by means of constraints. The range of problems that can use this representation is very diverse and embraces areas like resource allocation, scheduling, timetabling or vehicle routing. Constraint programming is a form of declarative programming in the sense that instead of specifying a sequence of steps to execute, it relies on properties of the solutions to be found, which are explicitly defined by constraints. The idea of constraint programming is to solve problems by stating constraints which must be satisfied by the solutions. Constraint programming is based on specialized constraint solvers that take advantage of constraints to search for solutions. The success and popularity of complex problem solving tools can be greatly enhanced by the availability of friendly user interfaces. User interfaces cover two fundamental areas: receiving information from the user and communicating it to the system; and getting information from the system and deliver it to the user. Despite its potential impact, adequate user interfaces are uncommon in constraint programming in general. The main goal of this project is to develop a graphical user interface that allows to, intuitively, represent constraint satisfaction problems. The idea is to visually represent the variables of the problem, their domains and the problem constraints and enable the user to interact with an adequate constraint solver to process the constraints and compute the solutions. Moreover, the graphical interface should be capable of configure the solver’s parameters and present solutions in an appealing interactive way. As a proof of concept, the developed application – GraphicalConstraints – focus on continuous constraint programming, which deals with real valued variables and numerical constraints (equations and inequalities). RealPaver, a state-of-the-art solver in continuous domains, was used in the application. The graphical interface supports all stages of constraint processing, from the design of the constraint network to the presentation of the end feasible space solutions as 2D or 3D boxes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The problem of a fermion subject to a general scalar potential in a two-dimensional world is mapped into a Sturm-Liouville problem for nonzero eigenenergies. The searching for possible bounded solutions is done in the circumstance of power-law potentials. The normalizable zero-eigenmode solutions are also searched. For the specific case of an inversely linear potential, which gives rise to an effective Kratzer potential, exact bounded solutions are found in closed form. The behaviour of the upper and lower components of the Dirac spinor is discussed in detail and some unusual results are revealed. (C) 2004 Elsevier B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Exact analytic solutions are found to the Dirac equation for a combination of Lorentz scalar and vector Coulombic potentials with additional non-Coulombic parts. An appropriate linear combination of Lorentz scalar and vector non-Coulombic potentials, with the scalar part dominating, can be chosen to give exact analytic Dirac wave functions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Exact bounded solutions for a fermion subject to exponential scalar potential in 1 + 1 dimensions are found in closed form. We discuss the existence of zero modes which are related to the ultrarelativistic limit of the Dirac equation and are responsible for the induction of a fractional fermion number on the vacuum.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this work we solve the Dirac equation by constructing the exact bound state solutions for a mixing of vector and scalar generalized Hartmann potentials. This is done provided the vector potential is equal to or minus the scalar potential. The cases of some quasi-exactly solvable and Morse-like potentials are briefly commented. (c) 2006 Elsevier B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The problem of a fermion subject to a general scalar potential in a two-dimensional world for nonzero eigenenergies is mapped into a Sturm-Liouville problem for the upper component of the Dirac spinor. In the specific circumstance of an exponential potential, we have an effective Morse potential which reveals itself as an essentially relativistic problem. Exact bound solutions are found in closed form for this problem. The behaviour of the upper and lower components of the Dirac spinor is discussed in detail, particularly the existence of zero modes. (c) 2005 Elsevier B.v. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.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:

20.00% 20.00%

Publicador:

Resumo:

The diurnal tegu lizard Tupinambis merianae exhibits a marked circadian variation in metabolism that is characterized by the significant increase in metabolism during part of the day. These increases in metabolic rate, found in the fasting animal, are absent during the first 2 d after meal ingestion but reappear subsequently, and the daily increase in metabolic rate is added to the increase in metabolic rate caused by digestion. During the first 2 d after feeding, priority is given to digestion, while on the third and following days, the metabolic demands are clearly added to each other. This response seems to be a regulated response of the animal, which becomes less active after food ingestion, rather than an inability of the respiratory system to support simultaneous demands at the beginning of digestion. The body cavity of Tupinambis is divided into two compartments by a posthepatic septum (PHS). Animals that had their PHS surgically removed showed no significant alteration in the postprandial metabolic response compared to tegus with intact PHS. The maximal metabolic increment during digestion, the relative cost of meal digestion, and the duration of the process were virtually unaffected by the removal of the PHS.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Up to now, the only known exact Foldy-Wouthuysen transformation (FWT) in curved space is that concerning Dirac particles coupled to static spacetime metrics. Here we construct the exact FWT related to a real spin-0 particle for the aforementioned spacetimes. This exact transformation exists independently of the value of the coupling between the scalar field and gravity. Moreover, the gravitational Darwin term written for the conformal coupling is one-third of the corresponding term in the fermionic case. There are some arguments in the literature that seem to favor the choice lambda=1/6. We rehearse a number of claims of these works.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We perform the exact renormalization of two-dimensional massless gauge theories. Using these exact results we discuss the cluster property and confinement in both the anomalous and chiral Schwinger models.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We study the problem of the evolution of the free surface of a fluid in a saturated porous medium, bounded from below by a. at impermeable bottom, and described by the Laplace equation with moving-boundary conditions. By making use of a convenient conformal transformation, we show that the solution to this problem is equivalent to the solution of the Laplace equation on a fixed domain, with new variable coefficients, the boundary conditions. We use a kernel of the Laplace equation which allows us to write the Dirichlet-to-Neumann operator, and in this way we are able to find an exact differential-integral equation for the evolution of the free surface in one space dimension. Although not amenable to direct analytical solutions, this equation turns out to allow an easy numerical implementation. We give an explicit illustrative case at the end of the article.