Математичне та програмне забезпечення для розроблення дискретно-неперервних стохастичних моделей поведінки відмовостійких програмно-технічних комплексів
dc.contributor.advisor | Федасюк, Дмитро Васильович | |
dc.contributor.author | Волочій, Сергій Богданович | |
dc.contributor.committeeMember | Харченко, В’ячеслав Сергійович | |
dc.contributor.committeeMember | Дивак, Микола Петрович | |
dc.coverage.country | UA | uk_UA |
dc.coverage.placename | Львів | uk_UA |
dc.date.accessioned | 2018-04-19T07:55:23Z | |
dc.date.available | 2018-04-19T07:55:23Z | |
dc.date.issued | 2018 | |
dc.description.abstract | У дисертаційній роботі розв’язано актуальне наукове завдання розроблення математичного та програмного забезпечення для автоматизації процесу побудови дискретно-неперервних стохастичних моделей поведінки відмовостійких програмно-технічних комплексів у вигляді графа станів та переходів. В основу математичного забезпечення покладено структурно-автоматну модель. Розроблене математичне забезпечення включає в себе: метод визначення компонент структурно-автоматних моделей на основі опорного графа станів та перехо-дів, метод побудови опорного графа станів та переходів на основі базових подій, метод валідації структурно-автоматних моделей поведінки відмовостійких програмно-технічних комплексів, метод модифікації структурно-автоматних моделей для використання методу фаз Ерланга. Ці методи покладені в основу методик реалізації окремих етапів розроблення дискретно-неперервних стохастичних моделей поведінки відмовостійких програмно-технічних комплексів. На основі цих методик розроблено алгоритми роботи програмних модулів «Побудова опорного графа станів на основі базових подій», «Визначення компонент структурно-автоматних моделей на основі опорного графа станів», «Валідація структурно-автоматних моделей». В диссертационной работе решено актуальное научное задание разработки математического и программного обеспечения для автоматизации процесса создания дискретно-непрерывных стохастических моделей поведения отказоустойчивых программно-технических комплексов в виде графа состояний и переходов. В основу математического обеспечения положено структурно-автоматную модель. Разработанное математическое обеспечение включает в себя: метод определения компонент структурно-автоматных моделей на основе опорного графа состояний и переходов, метод построения опорного графа состояний и переходов на основе базовых событий, метод валидации структурно-автоматных моделей поведения отказоустойчивых программно-технических комплексов, метод модификации структурно-автоматных моделей для использования метода фаз Эрланга. Эти методы положены в основу методик реализации отдельных этапов разработки дискретно-непрерывных стохастических моделей поведения отказоустойчивых программно-технических комплексов. На основе этих методик разработаны алгоритмы работы программных модулей «Построение опорного графа состояний на основе базовых событий», «Определение компонент структурно-автоматных моделей на основе опорного графа состояний», «Валидация структурно-автоматных моделей». In the practice of system engineering design of hardware-software systems, it is ne-cessary to develop discrete-continuous stochastic models of statistical representation of their behavior. The development of such models is based on the space-state method, the main difficulty of which lies in the development of a state graph. This approach has two limitations. First – an engineer needs to develop the states dia-gram for each variant of system’s configuration in a limited timeframe (40-80 hours). For systems with thousands of states, this is an impossible problem to solve manually. Second limitation – Chapman–Kolmogorov differential equations are developed from states dia-gram with an assumption that duration of all procedures, and time interval between events are random values with the exponential distribution law. In practice, such assumption is not valid and it decreases the reliability of modeling results. There is a known approach, based on so-called “structural-automaton models”, which allows to automate the states diagram development. Therefore, it allows to remove these limitations. This dissertation presents a solution for an actual scientific problem of the development of the software and the mathematical support for automating the process of development of structural-automaton models of fault-tolerant hardware-software systems behavior. Presented solution includes the method of automated development of structural-automaton models from sample states diagram, method of automatized development of sample states diagram by basic events, method of structural-automaton model validation, and method of usage of Erlang phase method inside the structural-automaton model. Listed methods are the basis of developed software tool prototype for the development of states diagrams of behavior of fault-tolerant hardware-software systems. | uk_UA |
dc.format.pages | 199 | |
dc.identifier.citation | Волочій С. Б. Математичне та програмне забезпечення для розроблення дискретно-неперервних стохастичних моделей поведінки відмовостійких програмно-технічних комплексів : дисертація на здобуття наукового ступеня кандидата технічних наук : 01.05.03 – математичне та програмне забезпечення обчислювальних машин і систем / Сергій Богданович Волочій ; Міністерство освіти і науки України, Національний університет «Львівська політехніка». – Львів, 2018. – 199 с. – Бібліографія: с. 154–175 (173 назви). | uk_UA |
dc.identifier.uri | https://ena.lpnu.ua/handle/ntb/40716 | |
dc.language.iso | uk | uk_UA |
dc.publisher | Національний університет "Львівська політехніка" | uk_UA |
dc.source.uri | http://lp.edu.ua/research/disscoun/d-3505205/volochiy-sergiy-bogdanovych | |
dc.subject | відмовостійка система | uk_UA |
dc.subject | надійнісне проектування | uk_UA |
dc.subject | дискретно-неперервна стохастична модель | uk_UA |
dc.subject | метод фаз Ерланга | uk_UA |
dc.subject | структурно-автоматна модель | uk_UA |
dc.subject | отказоустойчивая система | uk_UA |
dc.subject | надежностное проектирование | uk_UA |
dc.subject | дискретно-непрерывная стохастическая модель | uk_UA |
dc.subject | метод фаз Эрланга | uk_UA |
dc.subject | структурно-автоматная модель | uk_UA |
dc.subject | fault-tolerant system | uk_UA |
dc.subject | reliability engineering | uk_UA |
dc.subject | discrete-continuous stochas-tic system | uk_UA |
dc.subject | Erlang phase method | uk_UA |
dc.subject | structural-automaton model | uk_UA |
dc.subject.udc | 004.052+004.94 | uk_UA |
dc.title | Математичне та програмне забезпечення для розроблення дискретно-неперервних стохастичних моделей поведінки відмовостійких програмно-технічних комплексів | uk_UA |
dc.title.alternative | Математическое и программное обеспечение для разработки дискретно-непрерывных стохастических моделей поведения отказоустойчивых программно-технических комплексов | uk_UA |
dc.title.alternative | Software and mathematical support for the development of discrete-continuous stochastic models of behavior of fault-tolerant hardware-software complexes | uk_UA |
dc.type | Dissertation Abstract | uk_UA |
thesis.degree.department | Д 35.052.05 | |
thesis.degree.name | кандидат технічних наук |
Files
Original bundle
1 - 4 of 4
- Name:
- avt_Volochiy.pdf
- Size:
- 1.05 MB
- Format:
- Adobe Portable Document Format
- Description:
- Автореферат дисертації
- Name:
- dys_volochiy_s.b.pdf
- Size:
- 4.49 MB
- Format:
- Adobe Portable Document Format
- Description:
- Дисертаційна робота
- Name:
- vidguk1_volochiy_s.b.pdf
- Size:
- 35.17 MB
- Format:
- Adobe Portable Document Format
- Description:
- Відгук офіційного опонента
- Name:
- vidguk2_volochiy_s.b.pdf
- Size:
- 22.49 MB
- Format:
- Adobe Portable Document Format
- Description:
- Відгук офіційного опонента
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 2.99 KB
- Format:
- Item-specific license agreed upon to submission
- Description: