Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: linear constraints

Sortuj według:

Ogranicz wyniki do:

Random perturbation of the projected variable metric method for nonsmooth nonconvex optimization problems with linear constraints

El Mouatasim A., Ellaia R., Souza de Cursi E.

International Journal of Applied Mathematics and Computer Science

2011

Vol. 21, no 2

317-329

We present a random perturbation of the projected variable metric method for solving linearly constrained nonsmooth (i.e., nondifferentiable) nonconvex optimization problems, and we establish the convergence to a global minimum for a locally Lipschitz continuous objective function which may be nondifferentiable on a countable set of points. Numerical results show the effectiveness of the proposed approach.

O rozwiązaniach i niektórych zastosowaniach liniowych ograniczeń w zbiorze {0, 1}

Kryvyy S., Grzywacz W., Łopatina M. W.

Zeszyty Naukowe Politechniki Rzeszowskiej. Informatyka

2003

z. 2 [206]

43-55

Liniowe ograniczenia odgrywają ważną rolę w wiciu dziedzinach współczesnej nauki obliczeniowej dzięki temu. że wiele problemów z tych dziedzin redukuje się do rozwiązania tych liniowych ograniczeń lub sprawdzenia spełnialności w zbiorze liczb całkowitych lub naturalnych. Takie ograniczenia i systemy ograniczeń nazywamy diofantycznymi. Szczególnym przykładem systemów liniowych ograniczeń diofantycznych są systemy jednorodnych, liniowych równań w zbiorze {0, 1}. Oznacza to, że współczynniki tych układów równań są liczbami ze zbioru {-1, 0,1} a rozwiązania szuka się w zbiorze {0, 1}. W artykule zostaną, zaproponowane metody rozwiązań zarówno w przypadku jednego równania, jak i układu równań.

Linear constraints play great role in computer science. because very many problems are reduced to solutions of such systems of contraints over set of natural numbers or over set {0, 1}. These constraints are called the Diophantine linear consiraints. In this paper are consider some methods of solutions and some applications of solution algorithms.

A proof theoretic view of constraint programming

Apt K.R.

Fundamenta Informaticae

1998

Vol. 34, nr 3

295-321

We provide here a proof theoretic account of constraint programming that attempts to capture the essential ingredients of this programming style. We exemplify it by presenting proof rules for linear constraints over interval domains, and illustrate their use by analyzing the constraint propagation process for the SEND + MORE = MONEY puzzle. We also show how this approach allows one to build new constraint solvers.