Розробка гібридної моделі формування координуючих рішень при реалізації виробничого процесу на приладобудівних підприємствах

Автор(и)

  • Андрей Павлович Собчак Національний аерокосмічний університет ім. М. Є. Жуковського «Харківський авіаційний інститут», вул. Чкалова, 17, м. Харків, Україна, 61070, Україна https://orcid.org/0000-0002-0006-6240
  • Игорь Владимирович Шостак Національний аерокосмічний університет ім. М. Є. Жуковського «Харківський авіаційний інститут», вул. Чкалова, 17, м. Харків, Україна, 61070, Україна https://orcid.org/0000-0002-6428-2831
  • Любовь Владимировна Шабанова-Кушнаренко Національний аерокосмічний університет ім. М. Є. Жуковського «Харківський авіаційний інститут», вул. Чкалова, 17, м. Харків, Україна, 61070, Україна https://orcid.org/0000-0002-2080-7173

DOI:

https://doi.org/10.15587/2312-8372.2016.66172

Ключові слова:

гібридний підхід, безперервно-дискретні системи, гібридні автомати, лінійна семантична модель

Анотація

Розглянуто гібридний підхід до синтезу моделі формування координуючих рішень щодо раціональної організації процесу виробництва виробів на приладобудівних підприємствах. Зазначена модель дає можливість виявити і усунути колізії, що виникають у процесі виробництва. Показано, що гібридна модель може бути використана в складі інтелектуального ядра системи підтримки прийняття рішень у виробничому менеджменті.

Біографії авторів

Андрей Павлович Собчак, Національний аерокосмічний університет ім. М. Є. Жуковського «Харківський авіаційний інститут», вул. Чкалова, 17, м. Харків, Україна, 61070

Кандидат технічних наук, доцент

Кафедра менеджменту

 

Игорь Владимирович Шостак, Національний аерокосмічний університет ім. М. Є. Жуковського «Харківський авіаційний інститут», вул. Чкалова, 17, м. Харків, Україна, 61070

Доктор технічних наук, професор

Кафедра комп'ютерної інженерії

Любовь Владимировна Шабанова-Кушнаренко, Національний аерокосмічний університет ім. М. Є. Жуковського «Харківський авіаційний інститут», вул. Чкалова, 17, м. Харків, Україна, 61070

Інженер

Кафедра інтелектуальних комп’ютерних систем

Посилання

  1. Alur, R., Courcoubetis, C., Henzinger, T. A., Ho, P.-H. (1993). Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Lecture Notes in Computer Science, Vol. 736, 209–229. doi:10.1007/3-540-57318-6_30
  2. Manna, Z., Pnueli, A. (1982). Verification of concurrent programs: Temporal proof principles. Lecture Notes in Computer Science, Vol. 131, 200–252. doi:10.1007/bfb0025785
  3. Manna, Z., Pnueli, A. (1993). Verifying hybrid systems. Lecture Notes in Computer Science, Vol. 736, 4–35. doi:10.1007/3-540-57318-6_22
  4. McManis, J., Varaiya, P. (1994). Suspension automata: A decidable class of hybrid automata. Lecture Notes in Computer Science, 818, 105–117. doi:10.1007/3-540-58179-0_47
  5. Maler, O., Manna, Z., Pnueli, A. (1992). Prom timed to hybrid systems. Lecture Notes in Computer Science, 600, 447–484. doi:10.1007/bfb0032003
  6. Cutkosky, M. R., Engelmore, R. S., Fikes, R. E., Genesereth, M. R., Gruber, T. R., Mark, W. S., Weber, J. C. (1993). PACT: an experiment in integrating concurrent engineering systems. Computer, 26 (1), 28–37. doi:10.1109/2.179153
  7. Jennings, N. R., Corera, J. M., Laresgoiti, I. (1995). Developing Industrial Multi-Agent Systems. Proceedings of First International Conference on Multiagent Systems. San-Francisco, USA: AAAI press/The MIT press, 423–330.
  8. Wiederhold, G. (1992). Mediators in the architecture of future information systems. Computer, 25 (3), 38–49. doi:10.1109/2.121508
  9. Russell, S., Norvig, P. (2006). Artificial Intelligence: A Modern Approach. Translation from English. Moscow: Publishing House «Williams», 1408.
  10. Finin, T., Fritzson, R., McKay, D., McEntire, R. (1994). KQML as an agent communication language. Proceedings of the third international conference on Information and knowledge management – CIKM ’94. New York: Association for Computing Machinery (ACM), 456–463. doi:10.1145/191246.191322
  11. Gero, J. (1985, November). Expert systems in CAD. Computer-Aided Design, 17 (9), 396–398. doi:10.1016/0010-4485(85)90286-6
  12. Genesereth, M. R., Fikes, R. E. et al. (1992). Knowledge Interchange Format, Version 3.0 Reference Manual. Technical Report Logic 92–1. Stanford University, 68. doi:10.1.1.54.8601
  13. Vulf, A. (1987). Universal'nyi kompleks dlia razrabotki ES real'nogo vremeni. Elektronika, 6, 43–46.
  14. McGuire, J. G., Kuokka, D. R., Weber, J. C., Tenenbaum, J. M., Gruber, T. R., Olsen, G. R. (1993, September 1). SHADE: Technology for Knowledge-based Collaborative Engineering. Concurrent Engineering, 1 (3), 137–146. doi:10.1177/1063293x9300100301
  15. Asarin, E., Maler, O., Pnueli, A. (1995, February). Reachability analysis of dynamical systems having piecewise-constant derivatives. Theoretical Computer Science, 138 (1), 35–65. doi:10.1016/0304-3975(94)00228-b
  16. Gorodetskii, V. I., Habalov, A. V., Grushinskii, M. S. (1998). Mnogoagentnye sistemy (obzor). Novosti iskusstvennogo intellekta, 2, 64–116.
  17. Jackson, P. (2001). Introduction to Expert Systems. Ed. 3. Translation from English. Moscow: Publishing House «Williams», 624.
  18. Vorontsov, K. V. (2004). Obzor sovremennyh issledovanii po probleme kachestva obucheniia algoritmov. Tavricheskii vestnik informatiki i matematiki, 1, 5–22. Available: http://www.ccas.ru/frc/papers/voron04twim.pdf
  19. Sriram, D., Stephanopoulos, G., Logcher, R., Gorrard, D., Groleau, N., Serrano, D., Navinchendra, D. (1989). Knowledge-Based System Applications in Engineering Design: Research at MIT. AI magazine, 10 (3), 79–96. doi:10.1609/aimag.v10i3.758
  20. Cormen, T. H., Leiserson, C. E., Rivest, R. L., Stein, C. (2005). Introduction to Algorithms. Ed. 2. Translation from English. Moscow: Publishing House «Williams», 1296.

##submission.downloads##

Опубліковано

2016-03-29

Як цитувати

Собчак, А. П., Шостак, И. В., & Шабанова-Кушнаренко, Л. В. (2016). Розробка гібридної моделі формування координуючих рішень при реалізації виробничого процесу на приладобудівних підприємствах. Technology Audit and Production Reserves, 2(6(28), 18–24. https://doi.org/10.15587/2312-8372.2016.66172

Номер

Том 2 № 6(28) (2016): Розвиток продуктивних сил і регіональна економіка. Економічна кібернетика

Розділ

Економічна кібернетика: Оригінальне дослідження

Ліцензія

Авторське право (c) 2016 Технологічний аудит та резерви виробництва

Creative Commons License

Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.

Закріплення та умови передачі авторських прав (ідентифікація авторства) здійснюється у Ліцензійному договорі. Зокрема, автори залишають за собою право на авторство свого рукопису та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons CC BY. При цьому вони мають право укладати самостійно додаткові угоди, що стосуються неексклюзивного поширення роботи у тому вигляді, в якому вона була опублікована цим журналом, але за умови збереження посилання на першу публікацію статті в цьому журналі.