Model diofantyczny problemu harmonogramowania cyklicznego

• Autorzy: Bocewicz G. , Muszyński W. , Banaszak Z.

Warianty tytułu

EN

Diophantine model of a cyclic scheduling problem

• Języki publikacji: PL

Abstrakty

PL

Diofantyczny charakter, często występujących w praktyce dnia codziennego, problemów harmonogramowania cyklicznego, charakter implikujący ich nierozstrzygalność oznacza, że nie każde oczekiwane zachowanie systemu procesów cyklicznych jest osiągalne przy danych ograniczeniach zadanych na jego strukturę. W przedstawionym kontekście, celem pracy jest dyskusja wpływu diofantycznego charakteru rozwiązywanych problemów harmonogramowania na właściwości oprogramowania systemów wspomagania decyzji w zadaniach zarządzania logistycznego. Rozważane związki łączące strukturę i zachowanie rozważanej klasy systemów procesów cyklicznych obejmują pytania związane z: oczekiwaną jakością zachowania systemu przy zadanych ograniczeniach wnoszonych przez jego strukturę oraz wyznaczaniem parametrów jego struktury gwarantujących określone zachowanie.

EN

Cyclic scheduling problems arise in different application domains such as manufacturing, servicing, timetabling, and so on. Because of an integer nature of data and decision variables some of them belong to a class of so called Diophantine problems. In general, that kind of problems is unsolvable. In that context it seems to be quite obvious the decision support systems software has to express the Diophantine character of problems considered. So, a programmer involved in dedicated decision support software packages development has to remember that the system's structure determines however do not constraint its behavior. In other words, the system's structure do not allows encompassing the all behaviors assumed.

Słowa kluczowe

PL

model diofantyczny; problem harmonogramowania cyklicznego; proces cykliczny

EN

diophantine model; cyclic scheduling problem; cyclic process

• Wydawca: Oficyna Wydawnicza Politechniki Warszawskiej
• Czasopismo: Prace Naukowe Politechniki Warszawskiej. Elektronika
• Rocznik: 2010
• Tom: z. 175, t. 1
• Strony: 295--309
• Opis fizyczny: Bibliogr. 10 poz., tab., rys.

Twórcy

autor

Bocewicz G.

autor

Muszyński W.

autor

Banaszak Z.

• Katedra Podstaw Informatyki i Zarządzania, Wydział Elektroniki i Informatyki, Politechnika Koszalińska, 75-453 Koszalin,

Bibliografia

• [1] Bach I., Bocewicz G., Banaszak Z.: Constraint programming approach to time-window and multiresource-constrained projects portfolio prototyping.In: Industrial, Engineering and Other Applications of Applied Intelligent Systems, Lecture Notes in Artificial Intelligence LNAI, Vol. 5027, Springer-Verlag, Berlin-Heidelberg 2008, pp. 767-776
• [2] Banaszak Z., Majdzik P., Wójcik R.: Procesy współbieżne, Modele efektywności funkcjonowania, Wydawnictwo Uczelniane Politechniki Koszalińskiej, Koszalin 2008
• [3] Banaszak Z., Bzdyra K., Bocewicz G.: O rozstrzygalności problemów harmonogramowania cyklicznego. W: Polioptymalizacja i Komputerowe Wspomaganie Projektowania, Wydawnictwo Uczelniane Politechniki Koszalińskiej, Koszalin 2009, ss. 153-164
• [4] Birger R., El-Houssaine A., Wout D.: Cyclic scheduling of multiple tours with multiple frequencies for a single vehicle. In: International Journal of Logistics Systems and Management 2009, Vol. 5, No. 3/4, 2009, pp. 214-227
• [5] Bocewicz G., Bach I., Banaszak Z.: Modele diofantyczne cyklicznych procesów transakcyjnych. W: Podstawy Informatyczne w Organizacji Produkcji, Lubelskie Towarzystwo Naukowe, ITSI, Lublin 2009, ss. 7-23
• [6] Bocewicz G., Bach L, Banaszak Z.: O problemie timetablingu jako o problemie rozstrzygalności. W: Inżynieria Wiedzy i Systemy Ekspertowe, Akademicka Oficyna Wydawnicza Exit, Warszawa 2009, ss. 232-246
• [7] Kazana T.: Do czego komputer nigdy się nie przyda? W: Delta, nr 09/2009 Wydawnictwo Instytutu Matematyki UW, ss. 4-6
• [8] Smart Nigiel P.: The Algorithmic Resolution of Diophantine Equations. In: London Mathematical Society Student Text, 41. Cambridge University Press, Cambridge 1998
• [9] Sprindzuk, Vladimir G.: Classical Diophantine Equations. In: Lecture Notes in Mathematics, Vol. 1559. Springer-Verlag, Berlin 1993, 228 pp
• [10] Von Kampmeyer T.: Cyclic scheduling problems, Ph.D. Dissertation, Fachbereich Mathematik/Informatik, Universitat Osnabruck 2006