Проектування математичної моделі для оцінки надійності інформаційно-обчислювальної системи

Автор(и)

  • Роман Ігорович Храбатин Івано-Франківський національний технічний університет нафти і газу вул. Карпатська, 15, м. Івано-Франківськ, Україна, 76019, Україна
  • Микола Миколайович Яцишин Івано-Франківський національний технічний університет нафти і газу вул. Карпатська, 15, м. Івано-Франківськ, Україна, 76019, Україна
  • Вікторія Валеріївна Бандура Івано-Франківський національний технічний університет нафти і газу вул. Карпатська, 15, м. Івано-Франківськ, Україна, 76019, Україна
  • Любов Василівна Саманів Івано-Франківський національний технічний університет нафти і газу вул. Карпатська 15, м. Івано-Франківськ, Україна, 76000, Україна

DOI:

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

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

слова, програмне забезпечення, моніторинг, ймовірності, інформаційно-обчислювальна система

Анотація

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

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

Роман Ігорович Храбатин, Івано-Франківський національний технічний університет нафти і газу вул. Карпатська, 15, м. Івано-Франківськ, Україна, 76019

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

Кафедра програмного забезпечення автоматизованих систем

Микола Миколайович Яцишин, Івано-Франківський національний технічний університет нафти і газу вул. Карпатська, 15, м. Івано-Франківськ, Україна, 76019

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

Кафедра програмного забезпечення автоматизованих систем

Вікторія Валеріївна Бандура, Івано-Франківський національний технічний університет нафти і газу вул. Карпатська, 15, м. Івано-Франківськ, Україна, 76019

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

Кафедра програмного забезпечення автоматизованих систем

Любов Василівна Саманів, Івано-Франківський національний технічний університет нафти і газу вул. Карпатська 15, м. Івано-Франківськ, Україна, 76000

Асистент кафедри

Кафедра інформатики

Посилання

  1. Храбатин, Р. І. Систематизування математичних моделей систем управління у вигляді передавальних функцій [Текст] / Р. І. Храбатин, Л. В. Саманів, М. В. Крихівський // Нафтогазова енергетика. – Івано-Франківськ, 2011. – № 1(14). – С. 99-101.
  2. Храбатин, Р. І. Математичне моделювання регулювання тиску газу на компресорних станціях магістральних газопроводів [Текст] / Р. І. Храбатин, Д. Ф. Тимків, М. В. Крихівський, Д. Д. Матієшин // 6-та Міжнародна науково-практична конференція «Математичне та імітаційне моделювання систем». МОДС 2011. – Чернігів, 2011. – С. 170-171.
  3. Советов, Б. В. Моделирование систем [Текст]: учеб. для вузов / / Б. В. Советов, С. А. Яковлев. – 3-е изд. – М.: Высш. шк., 2001. – 343 с.
  4. Устенко, А. С. Основы математического моделирования и алгоритмизации процессов функционирования сложных систем [Текст] / А. С. Устенко. – М.: Высшая школа, 1999. – 203 с.
  5. Советов, Б. В. Моделирование систем [Текст]: лабор. практикум / Б. В. Советов, С. А. Яковлев. – М.: Высшая школа, 1989. – 80 с.
  6. Дворецкий, С. И. Компьютерное моделирование и оптимизация технологических процессов и оборудования [Текст]: учеб. пособие. / С. И. Дворецкий, А. Ф. Егоров, Д. С. Дворецкий. – Тамбов: Изд-во Тамб. гос. техн. ун-та, 2003. – 224 с.
  7. Братко, И. Программирование на языке ПРОЛОГ для искусственного интеллекта [Текст] / И. Братко. – М.: Издательство “МИР”, 1990. – 560 с.
  8. Журавлев, Ю. И. Теоретико-множественные методы алгебры логики [Текст] / Ю. И. Журавлев. – М.: Проблемы кибернетики, 1962. – Вып. 8. – С. 5-44.
  9. Веников, В. А. Теория подобия и моделирования [Текст] / В. А. Веников, Г. В. Веников. – М.: Высшая школа, 1984. – 255 с.
  10. Закревский, А. Д. Алгоритмы синтеза дискретных автоматов [Текст] / А. Д. Закревский. – М.: Наука, 1971. – 511 с.
  11. Новиков, О. А. Прикладные вопросы теории массового обслуживания [Текст] / О. А.Новиков, С. И. Петухов. – М.: “Советское радио”, 1969. – 397 с.
  12. Khrabatyn, R. I., Samaniv, L. V., Krykhivs'kyy, M. V. (2011). Systematyzuvannya matematychnykh modeley system upravlinnya u vyhlyadi peredaval'nykh funktsiy. Ivano-Frankivs'k. Naftohazova enerhetyka, № 1(14), 99-101.
  13. Tymkiv, D. F., Krykhivs'kyy, M. V., Matiyeshyn D. D. (2011). Mathematical modeling of gas pressure control for gas pipeline compressor stations. 6th Scientific Conference with international participation "Mathematical and simulation systems", MODS 2011,Chernigov, 170-171.
  14. Sovetov, B. V., Yakovlev, S. A. (2001). Simulation systems, tutorial. M.: High school, 343.
  15. Ustenko, A. S. (1999). Principles of mathematical modeling and algorithmic processes of complex systems. M.: High school, 203.
  16. Sovetov, B. V., Yakovlev, S. A. (1989). Simulation Systems: Lab. Workshop. M.: High school, 80.
  17. Butler, S. I., Egorov, A. F., Butler, D. S. (2003). Computer simulation and optimization of technological processes and equipment : Manual. Allowance. Tambov : Publishing House of the Thumb. State. tehn. University Press, 224.
  18. Bratko, I. Prolog Programming for Artificial Intelligence. M.: Publishing house "Mir", 560.
  19. Zhuravlev, Y. I. (1962). Theoretic methods of algebra of logic. M.: Problems of Cybernetics, Issue 8, 5-44.
  20. Venikov, V. A., Venikov, G. V. (1984). Similarity Theory and simulation. M.: Higher School, 255.
  21. Zakrevskij, A. D. (1971). Algorithms synthesis of discrete automata. M.: Nauka, 511.
  22. Novikov, O. A. Petukhov, S. I. (1969). Applied Queueing Theory. M.: "Soviet Radio", 397.

##submission.downloads##

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

2013-10-30

Як цитувати

Храбатин, Р. І., Яцишин, М. М., Бандура, В. В., & Саманів, Л. В. (2013). Проектування математичної моделі для оцінки надійності інформаційно-обчислювальної системи. Technology Audit and Production Reserves, 5(1(13), 32–36. https://doi.org/10.15587/2312-8372.2013.18391

Номер

Розділ

Технологічний аудит