July 8-9, 2003, Novosibirsk, Akademgorodok, Conference Chamber of NCIT "UniPro"

SCIENTIFIC PROGRAM

Tuesday, July 8

9:20 - 9:50 Registering the participants of the workshop in the hall of NCIT "UniPro"

9:50 - 10:00 Opening the workshop

10:00 - 11:30 Session "Survey presentations". Chairman: Nikolai V. Kinsht

10:00 - 10:30 Solving interval linear systems with tied data. Sergey P. Shary (Novosibirsk, Russia)

10:30 - 11:00 Immunocomputing for complex interval systems. Svetlana P. Sokolova (St.Petersburg, Russia)

11:00 - 11:30 Constraint propagation methods: basic concepts. Alexander L. Semenov (Novosibirsk, Russia)

11:30 - 11:45 Tea/coffee break.

11:45 - 13:15 Session "Applications". Chairman: Nikolai V. Pertsev

11:45 - 12:05 An interval algorithm for determining soil static pressure on multilined stiff round pipes in a high embankment. Mamurjon B. Bozorov (Navoi, Uzbekistan)

12:05 - 12:35 On possibilities to describe a connection diagram of an interval electrical circuit. Nikolai V. Kinsht, Nataliya N. Petrunko (Vladivostok, Russia)

12:35 - 12:55 A software for graphically representing the process and results of running some interval algorithms. Vladimir V. Koldakov, Nikita V. Panov (Novosibirsk, Russia)

12:55 - 13:15 On spectral Orr-Sommerfeld problem. Alexander V. Proskurin, A.M. Sagalakov (Barnaul, Russia)

13:15 - 14:30 Lunch.

14:30 - 16:30 Session "Interval algebraic problems". Chairman: Sergey P. Shary

14:30 - 14:50 Optimal outer estimation of the solution sets to interval linear systems. Bakyt S. Janybekov, Sergey P. Shary (Novosibirsk, Russia)

14:50 - 15:20 Interval technique in the parameter estimation problem. Sergey A. Nazin, Boris T. Polyak (Moscow, Russia)

15:20 - 15:40 A point approximation of the solution set to interval system of linear algebraic equation. Sergey I. Noskov (Irkutsk, Russia)

15:40 - 16:10 On the state space realization problem for interval dynamic systems. Sergey G. Pushkov, Svetlana Yu. Krivoshapko (Biisk, Russia)

16:10 - 16:30 Constructing interval hulls of the solution sets to interval linear algebraic systems. Elena A. Strelnikova (Krasnoyarsk, Russia)

16:30 - 16:45 Tea/coffee break.

16:45 - 18:35 Session "Constraint propagation". Chairman: Alexander L. Semenov

16:45 - 17:15 Interval approach to the solution of the interval constraint satisfaction problem. Evgenii V. Brevnov (Novosibirsk, Russia)

17:15 - 17:45 On the solutions to systems of nonlinear equations. Tamara P. Kashevarova (Novosibirsk, Russia)

17:45 - 18:15 Constructing cooperative solvers on the basis of constraint propagation methods. Alexander E. Kleimenov (Novosibirsk, Russia)

18:15 - 18:35 Towards the efficiency comparison of interval algorithms solving nonlinear equations systems. Mamurjon B. Bozorov, Bakhriddin Kh. Berdiev (Navoi, Uzbekistan)

19:00 - 22:00 Friendly party.

Wednesday, July 9

9:00 - 10:50 Session "Differential equations and dynamical systems". Chairperson: Tamara P. Kashevarova

9:00 - 9:30 Problems of practical (interval) stability with a given set of marginary deviations. Alexey N. Rogalev (Krasnoyarsk, Russia)

9:30 - 10:00 Exponential stability of a class of nonlinear interval dynamical systems. Ruslan S. Ivlev (Almaty, Kazakhstan)

10:00 - 10:30 Construction of the attracting sets for stable solutions of differential equations with the use of monotone technique and M-matrices. Nikolai B. Pertsev (Omsk, Russia)

10:30 - 10:50 On interval methods for differential problems with data uncertainty in the form of convex sets. Gabdulrakhim Sh. Utyubaev (Krasnoyarsk, Russia)

10:50 - 11:05 Tea/coffee break.

11:05 - 12:35 Session "Optimization problems". Chairperson: Svetlana S. Sokolova

11:05 - 11:35 Interval-affine arithmetic with controlled accuracy. Ramil R. Akhmerov (Barnaul, Russia)

11:35 - 12:05 Guaranteed suboptimal solutions for linear optimization problems. Alexei G. Ershov (Novosibirsk, Russia)

12:05 - 12:35 A symbolic-interval heuristic for minimization under bound constraints. Evgenii S. Petrov (Nant, France)

12:40 - 13:20 General discussion and closing the workshop.

13:20 - 14:30 Lunch.

14:30 - 16:00 Demonstrating software for interval computations.