Modele diofantyczne problemów harmonogramowania cyklicznego

• Autorzy: Banaszak Z. , Bocewicz G.

Warianty tytułu

EN

Diophantine models of the cyclic scheduling problems

• Języki publikacji: PL

Abstrakty

PL

Harmonogramowanie cykliczne rozumiane jako harmonogramowanie powtarzających zdarzeń, jak np. zajęć lekcyjnych, rozkładów jazdy, itp. wiąże się z poszukiwaniem odpowiedzi na dwie klasy pytań: odpowiednio o charakterze dedukcyjnym i abdukcyjnym. Pierwsza grupa problemów dotyczy wyboru zasad rozstrzygania konfliktów zasobowych ekstremalizujących wielokryterialną funkcję celu (minimalizacja cyklu, maksymalizacja przepustowości, itp.) przy zadanych ograniczeniach narzucanych na strukturę systemu, druga z kolei poszukuje struktur, które przy zadanych regułach rozstrzygania konfliktów zasobowych gwarantują zadane ilościowe i jakościowe parametry wielokryterialnej funkcji celu. Przedstawione rozważania koncentrują się na drugiej klasie problemów. Podkreślając ich diofantyczny charakter wyjaśnią kwestie związane z nierozstrzygalnością szeregu problemów harmonogramowania cyklicznego, w szczególności tych związanych z próbą uzyskania oczekiwanych zachowań systemu przy arbitralnie zadanych ograniczeniach strukturalnych.

Słowa kluczowe

PL

model diofantyczny; harmonogramowanie cykliczne; zdarzenia cykliczne

EN

diophantine model; cyclic scheduling; cyclic events

• Wydawca: Wydawnictwo Uczelniane Politechniki Koszalińskiej
• Czasopismo: Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej
• Rocznik: 2009
• Tom: Nr 1
• Strony: 59--74
• Opis fizyczny: Bibliogr. 17 poz., rys., wykr.

Twórcy

autor

Banaszak Z.

• Wydział Elektroniki i Informatyki Politechnika Koszalińska ul. Śniadeckich 2, 75-453 Koszalin, Polska

autor

Bocewicz G.

• Wydział Elektroniki i Informatyki Politechnika Koszalińska ul. Śniadeckich 2, 75-453 Koszalin, Polska

Bibliografia

• [1] Bach I., Bocewicz G., Banaszak Z., Constraint programming approach to timewindow and multiresource-constrained projects portfolio prototyping. In: Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008,
• N.T. Nguyen et al. (Eds.), Lecture Notes in Artificial Intelligence 5027, Springer-Verlag, Berlin, Heidelberg, 2008, 767–776
• [2] Banaszak Z., Bzdyra K., Bocewicz G., (2009). O rozstrzygalności problemów harmonogramowania cyklicznego, Polioptymalizacja i Komputerowe Wspomaganie Projektowania, Mielno, 2009, (w druku).
• [3] Bocewicz G., Bach I., Banaszak Z., O Problemie Timetabling’u Jako o Problemie Rozstrzygalności. Inżynieria Wiedzy i Systemy Ekspertowe, Wrocław, 2009, (w druku)
• [4] Bocewicz G., Bach I., Banaszak Z., Modele diofantyczne cyklicznych procesów transakcyjnych, IX Międzynarodowa Konferencja Naukowo-Techniczna Technologiczne Systemy Informacyjne w Inżynierii Produkcji i Kształceniu Technicznym Kazimierz Dolny, 2009, (w druku)
• [5] Bocewicz G., Banaszak Z., Wójcik R., Design of admissible schedules for AGV systems with constraints: a logic-algebraic approach, In: Agent and Multi-Agent Systems: Technologies and Applications, Nguyen N.T., Grzech A., Howlett R.J., Jain L.C. (Eds.), Lecture Notes in Artificial Intelligence 4496, Springer-Verlag, Berlin, Heidelberg, 2007, 578-587.
• [6] Barták R., Incomplete Depth-First Search Techniques: A Short Survey, Proceedings of the 6th Workshop on Constraint Programming for Decision and Control, Ed. Figwer J., 2009, 7-14.
• [7] Cai X., Li K.N., A genetic algorithm for scheduling staff of mixed skills under multi-criteria. European Journal of Operational research, 125, 2000, 359-369.
• [8] Drexl A., Mundschenk M., Long-term staffing based on qualification profiles. Math. Meth. Oper. Res. 68, 2008, 21-47.
• [9] Ernst A.T., Jiang H., Krishnamoorthy M., Owens B., Sier D., An annotated bibliography of personnel scheduling and rostering. Annals of Operations Research, 127, 2009, 21-144.
• [10] Gaujal B., Jafari M., Baykal-Gursoy M., Alpan G.: Allocation Sequences of Two Processes Sharing a Resource. IEEE Trans. on Robotics and Automation, Vol.11, No. 5, 1995, pp. 748-353.
• [11] Hapke M., Jaszkiewicz A., Słowiński R., Interactive analysis of multiple-criteria Project scheduling problems. European Journal of Operational research, 107, 2007, 315-324.
• [12] Polak M., Majdzik P., Banaszak Z., Wójcik R., The performance evaluation tool for automated prototyping of concurrent cyclic processes. Fundamenta Informatice, April, 2004, Editor-in-Chief, A. Skowron, ISO Press, Vol. 60, No.1-4, 2004, pp.269-289.
• [13] Schutle H., Smolka G., Wurtz J., Finite Domain Constraint Programming in Oz. German Research Center for Artificial Inteligence, Germany, D-66123 Saarbrucken, 1998.
• [14] Smart Nigiel P., The Algorithmic Resolution of Diophantine Equations. London Mathematical Society Student Text, 41. Cambridge University Press, Cambridge, 1998.
• [15] Von Thomas Kampmeyer, Cyclic scheduling problems, Ph.D. Dissertation, Fachbereich Mathematik/Informatik, Universität Osnabrück, 2006
• [16] Wójcik R.: Towards Strong Stability of Concurrent Repetitive Processes Sharing Resources. Systems Science, Vol. 27, No. 2, 2001, pp. 37-47.
• [17] http://pl.wikipedia.org/wiki/R%C3%B3wnanie_diofantyczne.