Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://dspace.opu.ua/jspui/handle/123456789/2840
Название: Інформаційна технологія моделювання і аналізу дискрет- но-неперервних автоматизованих систем управління
Другие названия: Information technology modelling and analysis of discretecontinuous automated control systems
Информационная технология моделирования и анализа дискретно-непрерывных автоматизированных систем управления
Авторы: Денисенко Владимир Анатольевич
Денисенко Володимир Анатолійович
Нестерюк, Олександр Геннадійович
Nesteruk, A. G.
Нестерюк, А. Г.
Ключевые слова: дискретно-неперервна мережа
мережа Петрі
дискретно-неперервна система
гібридна система
досяжність
моделювання
discrete-continuous net
Petri net
discrete-continuous system
hybrid system
reachability
simulation
дискретно-непрерывная сеть
сеть Петри
дискретно-непрерывная система
гибридная система
достижимость
моделирование
Дата публикации: 22-Дек-2016
Издательство: Рукопис
Библиографическое описание: Нестерюк, О. Г Інформаційна технологія моделювання і аналізу дискрет- но-неперервних автоматизованих систем управління : автореф. дис...канд. техн. наук : спец. 05.13.06 – Інформаційні технології / О. Г. Нестерюк ; наук. керівник В. А. Денисенко. – Одеса, 2016. ; Одес. нац. політехн. ун-т. – 22 с.
Нестнерюк, А. Г. Информационная технология моделирования и анализа дискретно-непрерывных автоматизированных систем управления : дис...канд. техн. наук : спец. 05.13.06 - Информационные технологии / А. Г. Нестерюк ; науч. рук. В. А. Денисенко ; Одес. Нац. ун-т. - Одесса, 2016. - 217 с. - Библиогр.: 116 назв.
Краткий осмотр (реферат): Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 – Інформаційні технології. – Одеський національний політехнічний університет Міністерства освіти і науки України, Одеса, 2016. Дисертація присвячена розробці і дослідженню моделей, методів та інформаційної технології моделювання і аналізу дискретно-безперервних автоматизованих систем управління на базі мереж Петрі і дискретно-неперервних мереж для підвищення якості моделювання та скорочення часу аналізу властивості досяжності. Отримала подальший розвиток дискретно-неперервна модель автоматизованих систем управління, яка відрізняється введенням дискретнонеперервних і стохастичних переходів. Розроблено метод перетворення сигнального графа в модель, що представлена мережею Петрі. Розроблено метод та інформаційну технологію аналізу досяжності, які відрізняються використанням сигнального графа і виконанням редукції-декомпозиції мереж. Отримали подальший розвиток метод та інформаційна технологія моделювання дискретнонеперервних об'єктів.
The dissertation for a candidate of technical Sciences (Ph.D.) degree in specialty 05.13.06 – Information technology. – Odessa national polytechnic university of the Ministry of Education and Science of Ukraine, Odessa, 2016. The thesis is devoted to the development and research of models, methods and informational technologies of modeling and analysis of discrete-continuous automated control systems based on Petri nets and discrete-continuous networks to improve the quality of the simulation and reducing the time of analysis properties reachability. A further development of discrete-continuous model systems with controlled structure, which is distinguished by the introduction of discrete-continuous and stochastic ?transitions. A method of converting a signal graph in the model represented by a Petri net. Also developed method and information technology of the analysis of the reachability, which is characterized by using the signal graph and the implementation of a reduction-decomposition networks. A further development of the method and information technology of modeling of discrete-continuous objects.
Диссертация на соискание ученой степени кандидата технических наук по специальности 05.13.06 – Информационные технологии. – Одесский национальный политехнический университет Министерства образования и науки Украины, Одесса, 2016. Диссертация посвящена разработке и исследованию моделей, методов и информационной технологии моделирования и анализа дискретнонепрерывных автоматизированных систем управления на базе сетей Петри и дискретно-непрерывных сетей для повышения качества моделирования и сокращения времени анализа свойства достижимости. Исходя из этого, было выполнено исследование математических моделей и методов, которые используются в автоматизированных системах управления. Получила дальнейшее развитие дискретно-непрерывная модель дискретно-непрерывных систем автоматизированного управления, которая отличается введением дополнительных компонентов: дискретно-непрерывных и стохастических переходов, что позволило повысить качество моделирования. Разработан метод преобразования сигнального графа объекта моделирования в модель системы, представленной сетью Петри, который отличается введением формального соответствия между элементами сигнального графа и элементами сети Петри, что позволило разработать метод анализа свойства достижимости. Разработан метод и информационная технология анализа достижимости состояния дискретно-непрерывной системы, который отличается использованием сигнального графа и выполнением редукции-декомпозиции сетей в дискретно-непрерывном пространстве, что обеспечивает проведение исследования достижимости систем с управляемой структурой на ранних этапах разработки системы и позволяет уменьшить время анализа. Получили дальнейшее развитие метод и информационная технология моделирования дискретно-непрерывных объектов, которые базируются на разработанной дискретно-непрерывной модели и отличаются введением специаль- ного этапа исследования достижимости заданных состояний, что позволяет повысить качество моделирования и сократить время моделирования и анализа. Объектом исследования в данной работе является процесс имитационного моделирования и анализа сложных дискретно-непрерывных автоматизированных систем управления. Предметом исследования являются модели, методы и информационные технологии моделирования и анализа дискретно-непрерывных автоматизированных систем управления на основе ДН-сетей. Проведен анализ существующих дискретно-непрерывных систем автоматического управления, математических моделей и методов исследования сложных систем с управляемой структурой, тенденций развития современных моделей. Одним из выявленных недостатков подобных моделей является сложность проведения комплексного моделирования и исследования их свойств. В частности, существующие средства описания подобных объектов либо не имеют единых математических средств для описания дискретных и непрерывных частей системы, либо требуют значительных затрат для проведения исследования их свойств. Разработанные базовые информационные технологии, направленные на моделирование и анализ сложных технических объектов с многорежимным характером функционирования, встроены в информационную технологию DCNET для моделирования дискретно-непрерывных систем и анализа свойства достижимости. Данная информационная технология внедрена в учебный процесс и экспериментально показала свою эффективность. В результате проведенного эксперимента установлено, что разработанная программная среда DCNET позволяет проводить моделирование сложных систем с управляемой структурой и обеспечивает минимальное расхождение результатов по сравнению с такими распространенными системами, как MATLAB (меньше 1%).
URI (Унифицированный идентификатор ресурса): http://dspace.opu.ua/jspui/handle/123456789/2840
Располагается в коллекциях:Автореферати каф. КС
Дисертації каф. КС

Файлы этого ресурса:
Файл Описание РазмерФормат 
Aref_Nesteryuk.pdf652.98 kBAdobe PDFПросмотреть/Открыть
Diss-Nesteryuk.pdf7.22 MBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.