Луханін Микола Іванович

УДК: 656.222.3

моделювання залізничних транспортних
коридорів на базі Поширених мереж Петрі

05.22.20 - Експлуатація та ремонт засобів транспорту

А в т о р е ф е р а т

дисертації на здобуття наукового ступеня
кандидата технічних наук

Харків-2003

Дисертацією є рукопис.

Робота виконана в Українській державній академії залізничного транспорту (УкрДАЗТ) Міністерства транспорту України, м.Харків.

Науковий керівник: доктор технічних наук, професор Загарій Геннадій Іванович, Українська державна академія залізничного транспорту Міністерства транспорту України, завідувач кафедри "Автоматика і комп'ютерні системи управління".

Офіційні опоненти:

доктор технічних наук, професор, Бутько Тетяна Василівна, Українська державна академія залізничного транспорту Міністерства транспорту України, завідувач кафедри "Управління експлуатаційною роботою та міжнародними перевезеннями";

кандидат технічних наук, доцент, Бобровський Володимир Ілліч, Дніпропетровський національний технічний університет залізничного транспорту Міністерства транспорту України, доцент кафедри "Управління процесами перевезень".

Провідна установа: Східноукраїнський національний університет імені Володимира Даля, кафедра "Залізничний транспорт", Мінистерство освіти і науки України, м. Луганськ.

Захист відбудеться 26 червня 2003р. о 12-00 годині на засіданні спеціалізованої вченої ради Д 64.820.04 при Українській державній академії залізничного транспорту за адресою: 61050, м. Харків, майдан Фейєрбаха, 7.

З дисертацією можна ознайомитися у бібліотеці Української державної академії залізничного транспорту за адресою: 61050, м. Харків, майдан Фейєрбаха, .

Автореферат розісланий 15 травня 2003р.

Вчений секретар спеціалізованої вченої ради,

доктор технічних наук А.Б.Бабанін

ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ

Вступ. У сучасних умовах процес перевезень (ПП) на залізницях України (ЗУ) є складним логіко-динамічним об'єктом.

Керування перевезеннями вимагає маршрутизації потоків вантажів, удоскона-лення експлуатації ЗУ, раціональної організації залізничних транспортних коридорів (ТК), а значить - скоординованої роботи всіх підприємств і ділянок. Ці задачі повинні вирішуватися на основі прогнозування спланованого раціональним чином ПП. Ефективним засобом вирішення цих задач є побудова математичних моделей ПП у поєднанні з використанням нових інформаційних технологій, бо існуючі технології не відображають: просторової розподіленості ПП; експлуатаційних особливостей ЗУ; комп'ютерного представлення цих процесів у динаміці.

Актуальність теми. Значне місце у системі перевезень на ЗУ займають ТК, які створюються на основі рішення країн Європейської співдружності про розвиток і розширення мережі міжнародних ТК (з виходом на Балтійське і Чорне моря, а також на країни Азії і Кавказу).

На період 1998 – 2005 рр. прийнята Постанова Кабінету Міністрів України №346 від 20.03.98 р. "Про затвердження програми створення і функціонування національної мережі міжнародних транспортних коридорів в Україні". Через Україну повинні проходити три "критських коридори" і три коридори Європейської співдружності.

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

Роботи зі створення і дослідження моделей ПП ведуться з кінця 60-х років минулого сторіччя. Суттєвий внесок в розробку різних методів моделювання зробили вчені: Бутько Т.В., Бусленко Н.П., Бобровський В.І., Глушков В.М., Грунтов П.С., Єфіменко Ю.І., Жуковицький І.В., Маміконов А.Г., Михалевич В.С., Нагорний Є.В., Негрей В.Я., Пітерсон Дж., Цвиркун А.Д., Шафіт Є.М. та ін. За цей час вчені створили різні моделі, але ці моделі зорієнтовані на вирішення окремих задач перевезень, побудовані на різних методах і не націлені на вирішення задачі дослідження перевезень по ТК.

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

Зв'язок роботи з науковими програмами, планами, темами. Дисертаційна робота виконана на кафедрі АКСУ УкрДАЗТ у рамках прийнятих комплексних цільових програм і концепцій: Реструктуризації залізничного транспорту України (затверджена Міністерством транспорту України 18.06.1997 р., протокол №14); Підвищення безпеки руху на залізницях України в 1997 – 2001 рр. (Постанова Кабінета Міністрів України від 22.04.1997 р. №367); Створення і функціонування національної мережі транспортних коридорів України (Постанова Кабінета Міністрів України від 04.08.1997 р. №821), а також у відповідності до НДР, що виконувалися на кафедрі: "Оптимізація алгоритмів управління агрегатами" (№ 0100U000821_00); "Розробка технічної структури підсистеми автоматичного знімання інформації" (№ NDP0103U000760).

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

Відповідно до поставленої мети були сформульовані такі задачі:

·

·

·

·

·

Об'єкт дослідження – процес перевезень на залізницях України.

Предмет дослідження – моделі процесу перевезень, виконані на основі використання географічного опису залізниць України.

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

Наукова новизна отриманих результатів полягає у тому, що:

·

·

·

·

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

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

Використання результатів дисертації особливо важливе при моделюванні складних ситуацій, які виникають у ПП.

Розроблені в дисертації наукові положення і результати використані при створенні автоматизованої інформаційно-довідкової системи про стан ПП по ТК та інших ділянках ЗУ: в інформаційно-довідковій підсистемі на Одеській залізниці (акт впровадження від 07.11.2002 р.); в динамічній моделі підсистеми контролю і прогнозування ПП на Південно-Західній залізниці (акт впровадження від 20.12.2002 р.); в навчальному процесі УкрДАЗТ при курсовому і дипломному проектуванні.

Особистий внесок автора. Усі положення і результати, що виносяться на захист, зроблені автором самостійно. В наукових працях, які опубліковані автором у співавторстві, йому належать: формулювання задачі дослідження локальних обчислювальних мереж (ЛОМ) як складової частини системи управління ПП [2]; розробка вимог до моделі системи [3]; використання методу декомпозиції для побудови графивої моделі [4]; узагальнення математичного апарату мереж Петрі з метою обгрунтуваня напрямків іх поширення [5]; розробка структури ТК та математичний опис моделі [6]; основи використання розробленої в інших роботах методики для моделювання технологічних процесів [7]; формулювання задачі подальшого удосконалення моделей з використанням сучасних інформаційних технологій [8].

Апробація результатів дисертації. Основні положення дисертації доповідалися й одержали схвалення на: 13 _15-й міжнародних школах-семінарах "Перспективні системи керування на залізничному, промисловому і міському транспорті" (м. Алушта, 2000 _2002 рр.); 63-й і 64-й міжнародних науково-технічних конференціях кафедр Української державної академії залізничного транспорту і фахівців залізничного транспорту (м. Харків, 2001 р., 2002 р.); 2-й міжнародній науково-технічній конференції "Проблеми інформатики і моделювання" (м. Харків, 2002 р.); розширених засіданнях кафедри АКСУ УкрДАЗТ.

Публікації. За матеріалами дисертаційної роботи опубліковано вісім статей у наукових виданнях, затверджених ВАК України.

Структура й обсяг дисертації. Дисертація складається зі вступу, 4 розділів, висновків, списку використаних джерел (112 найменувань) і 4 додатків. Робота містить 112 сторінок основного тексту, 31 рисунок, 55 таблиць, додатки на 11 сторінках.

ОСНОВНИЙ ЗМІСТ РОБОТИ

У введенні обґрунтована актуальність теми, формулюються мета, задачі дослідження, наукова новизна і практичне значення отриманих результатів. Відбито основні наукові положення і результати досліджень, що виносяться на захист. Наведено інформацію про структуру дисертації, публікації і апробацію роботи.

У першому розділі представлені матеріали по аналізу ПП на залізничному транспорті Західної Європи, США, Японії і Росії.

Відзначається, що після тривалого періоду зниження обсягів вантажних перевезень в Україні в 2002-2003 рр. почався ріст обсягів перевезень вантажів і прискорилися роботи з розвитку мережі ТК.

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

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

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

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

Проведений аналіз задач моделювання показав, що найбільш істотними при одночасній реалізації ряду моделей є параметри: – відбиваючий астрономічний час перебування окремої моделі в системі; – визначальний сумарний час, витрачений центральними процесорами вузлів локальних обчислювальних мереж (ЛОМ) на виконання окремої моделі; – визначальний сумарний обсяг зовнішньої пам'яті вузлів ЛОМ, потрібний для окремої моделі; – визначальні сумарні обсяги задіяної оперативної пам'яті; – визначальна сумарна пропускна здатність задіяних при виконанні кожної окремої моделі каналів ЛОМ; – визначальний сумарний час обробки транзакцій активної моделі.

Отже, узагальнений показник часу моделювання Т можна визначити за допомогою функціоналу ,

де – багатопараметрична функція, що визначає значення функціонала на основі вагових коефіцієнтів параметрів з урахуванням рангу кожного з них.

Таблиця 1

Мета і задачі удосконалення перевезень на ЗУ

Мета | Задачі, що підлягають рішенню | Шляхи

реалізації | Технічне і

програмне

забезпечення | Очікувані

результати

Підвищення якості перевезень вантажів і пасажирів

Спрощення доступу до користування послугами ЗУ

Підвищення швидкості і безпеки перевезень | Розробка технічних вимог до моделювання перевезень по ТК України

Забезпечення учасників процесу перевезень необхідною інформацією

Удосконалення телекомунікаційного середовища для передачі інформації | Створення інформаційно-керуючої системи ІУС УЗ

Розробка мови моделювання ТК

Створення технології моделювання ТК на ЗУ | Сучасні засоби обчислювальної і телекомуніка-ційної техніки, включаючи ЛОМ

Програмне забезпечення мови і методу моделювання ПП по ТК України | Простота моделювання з відображенням динаміки ПП

Скорочення часу моделювання

Можливість прогнозування

Аналіз характеристик вузлів ЛОМ, а також наявність можливості розширення оперативної і зовнішньої пам'яті практично для всіх задіяних вузлів ЛОМ показав, що параметри і не вносять істотних обмежень на час виконання моделі.

Тому можна припустити, що для Т існує кількісна оцінка, що обчислюється для конкретної архітектури ЛОМ. У цьому випадку багатопараметрична функція може бути представлена лінійною комбінацією змінних

,

де – ваговий коефіцієнт розглянутого параметра з множини ;

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

У висновку поставлено задачу досліджень, основною метою якої є розробка технологічної мови моделювання ПП на основі поширених МП.

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

1. Множину позицій {I}. Функціонально вона являє собою універсальну цілочисельну пам'ять, характерну для дискретних перетворювачів інформації. 2. Множину переходів {J}, що можуть бути лише закритими чи відкритими. За допомогою переходів забезпечується перетворення інформації. Позиція і перехід у сукупності являють собою гнучкий перетворювач інформації. 3. Мітки {mi}. Вони моделюють ресурс конкретної моделі. У дисертації розглядаються однорідні мережі, у яких мітки (одиничні ресурси) зберігають свою розмірність. 4. Дуги kij, kji, що з'єднують на графі відповідно позицію з переходом та навпаки і забезпечують передачу міток від позицій до переходів і від переходів до позицій.

Перелічена сукупність елементів графа при наявності ресурсів (міток) створює умови відкриття переходів шляхом формування різноманітних кінцевих предикатів для керування переходами.

Зазначеним вибором прагматики позиції i та переходи j складаються в орієнтований біграф – МП, що складається з двох підмереж (рис. 1). При цьому граф є МП тільки в тому випадку, якщо відсутні дуги, що з'єднують позицію з позицією і перехід з переходом: i>i=O, j?j= Ш. ?ана умова є основним правилом синтактики при складанні графів МП.

Об'єднання трьох елементів прагматики (позиції, переходу і дуги) можна розглядати як самостійний прагматичний елемент чи образ, що характеризує МП як мову, що, подібно іншим мовам, має властивості комунікабельності й інтелектуальності. МП зручно використовувати при синтезі алгоритмів опису ПП на ПЕОМ.

На рис. 2 показана елементарна МП. Прагматика МП може розглядатися у вигляді набору комплектів: вхідних позицій i (1); міток у них mi (2); дуг з вагою kij, що входять у перехід (3); переходів j (4); дуг з вагою kji, що виходять з переходу (5), і вихідних позицій i+1, (6).

Технічні структури, як правило, вимагають для свого функціонування наявності ресурсів. Мова МП надає відповідні описові можливості за допомогою введення в графову структуру S початкового ресурсу. Цілком визначена МП _це структура S плюс ресурс. Відповідний формальний запис (п'ятірка) виходить доповненням S вектором початкової розмітки Mi0: П(S)={S, Mi0}={S1, S2, Mi0}={I, J, kij, kji, Mi0}.

Поширеннями будемо називати доповнення існуючих елементів мови МП новими (спеціальними дугами і їх сполученнями) з множини 1 – 6 (рис. 2) з метою збільшення образотворчих засобів мови. Наприклад, затримка мітки в часі на будь-яке число кроків моделювання здійснюється структурою, названою "прилад обслуговування".

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

Запропоновані в дисертації поширення МП представлені в табл. 2. Використано нові типи дуг, старі типи одержали нову інтерпретацію, усі дуги придбали формальний параметр – вагу. Так, вхідні дуги, що споживають ресурс (мітки), інтерпретуються як транспортні з вагою +kij . Інгіибіторні (стримуючі) дуги, що рідко раніше вживалися на практиці через призначувану їм сталу вагу тільки (-1), замінені стримуючими дугами із змінною вагою –kij. Нарешті, для застосування в умовах залізниць був розроблений конвеєрний ланцюг з довільною вагою, що кодується парою дуг 0kij (на вході в j) і 0kji (на виході з j), і є корисним для моделювання передачі документації про вантаж, що транспортується.

Таким чином, введено два істотних поширення мови МП: стримуючі дуги з вагою (–kij) і керований конвеєрний ланцюг (0kij ??|?? 0kji).

Поширена в такий спосіб МП і реалізуюча її програма дозволяють: 1. Здійснювати оперативне введення в ПЕОМ графа Петрі; 2. Ощадливо моделювати логіку ПП на рівні вузлів перетворення інформації; 3. Враховувати специфіку роботи залізниць.

Таблиця 2

Поширена мова узагальнених МП

Елемент
графа Петрі | Графічне зображення на графі | Примітка

Позиція (i) | i – наскрізний номер позицій i={1,2,..,n}

Перехід (j) | j – наскрізний номер переходу j={1,2,..,m}. Перехід може бути відкритий наявністю ресурсу або закритий

Мітки (mit) | mit – кількість міток у позиції i на t-такті моделювання (t=0,1,2,..,T)

Вхідні в перехід j дуги:

а) транспортні з вагою;

б) стримуючі з вагою;

в) конвеєрні з вагою | +kij – вага дуги з i позиції в j перехід;

-kij – вага стримуючої дуги з i позиції в j перехід;

0kij – з позиції ідуть усі мітки mit, якщо перехід відкритий

Вихідні з переходу j дуги:

а) транспортні з призначуваною вагою;

б) конвеєрні з будь-якою вагою | +kji – вага дуги з переходу j у позицію i;

0kji – конвеєрний перехід передає усі мітки у позицію i з позиції, що передує переходу j

Керований конвеєрний ланцюг, що враховує вимоги безпеки | Дуга -ki+1,j керує відкриттям переходу j та забороняє його відкриття, якщо в позиції i+1 є хоча б одна мітка

У більшості публікацій з програмної реалізації алгоритму Петрі рекомендується реалізувати масиви М1, М2 у просторі позицій і переходів, тобто |М1|=I*J, |М2|=J*I (M1 та M2 описують сукупність дуг, що входять до переходів та виходять з них відповідно). Цей простір постійний для обох масивів, але він є надмірним, тобто займає великий обсяг пам'яті.

Більш економним є перехід до частково фіксуємого простору. В дисертації використовується той факт, що в обох матрицях (масивах М1, М2) використовуються дуги K(М1), K(М2) відповідно. Так, у найпростішому випадку реалізації програми, тобто вказівці джерела, приймача і ваги кожної дуги формати рядків відповідних двовимірних масивів можуть бути представлені у вигляді M1={I, J, kij}, M2={J, I, kji} (i{1,2,…,I},j{1,2,…,J}), при цьому нульові елементи не використовуються.

Таким чином, фіксованими в даному випадку виявилися стовпці (три), а число рядків відповідає числу дуг у кожному з масивів, тобто число рядків кожного з масивів визначається співвідношеннями N1(M1)=3*I, N2(M2)=3*J.

Третій масив Mi0 має розмірність кількості позицій. Він призначений для розміщення ресурсу у позиціях. Число міток кожної позиції задається розроблювачем. Тобто цей масив являє собою вектор початкового маркування.

Четвертий масив M' - одномірний. Він призначений для збереження і модифікації списку інформативних позицій. Коли закриті всі переходи моделі (мережа мертва), можна аналізувати отримані результати моделювання. Час моделювання (число тактів) задається користувачем. Тобто цей масив задає послідовність розгляду процесів у МП.

Алгоритм обробки МП на кожному такті складається з 2-х етапів:

1. Аналізу переходів на відкривання. 2.Видачі з відкритих переходів числа міток у кожну позицію у відповідності до ваги дуг.

Проведений аналіз показує можливість ефективного моделювання ТК із застосуванням узагальнених МП.

Розроблено програмну реалізацію МП _Winpet. Ядром програми є вказані вище 4 масиви (два двомірних і два одномірних), які повністю описують граф Петрі.

Основний зміст і обсяг програми Winpet визначається обсягом масивів, що вводяться (M1, M2, Mi0, M'). Обробна частина програми складає одиниці кілобайт при реалізації на будь-якій мові програмування. Робоча програма написана на мові Паскаль.

У розділі третьому на основі розробленої технологічної мови виконано моделювання ТК.

Поняття ТК визначено як тимчасова реорганізація залізничної транспортної мережі для забезпечення необхідної пропускної здатності в необхідному напрямку. Подальшим розвитком ТК варто вважати його реорганізацію в обох (у прямому і зворотному) напрямках з реалізацією ефективних вантажно-розвантажувальних комплексів.

У загальному випадку формально визначимо поняття ТК як орієнтований елементарний просторово-розподілений граф між областями відправлення А и прибуття В (рис. 3). З рис. 3, що ілюструє три варіанти побудови ТК, видно, що варіант ТК1 відповідає тільки доставці вантажів, варіант ТК2 - тільки поверненню вантажів, а ТК3 _об'єднанню варіантів роботи ТК1 і ТК2. Для "перекладу" рис. 3 на мову мереж Петрі досить моделювати області А та В позиціями, а стрілки – парою дуг з поділяючими їх переходами зі збереженням спрямованості.

ТК призначається для перевезення визначених видів вантажу при відомих обсягах і термінах початку і закінчення роботи. Питання про доцільність ТК припускає, насамперед, його техніко-економічне обґрунтування. До числа факторів, що визначають можливість організації ТК у масштабах України, є пропускна здатність кожного з напрямків, а також обмеження, що існують для різних економічних регіонів. ТК, що функціонує в режимі тривалої експлуатації, повинний бути двонаправленим, а його основна мета – проведення запланованих вантажно-розвантажувальних робіт на обох "кінцях" коридору з транспортуванням вантажу між "кінцями". Істотним є повернення вагонів у точку відвантаження через установлену на практиці їхню відповідність вимогам вантажу. Розроблена в дисертації абстрактна модель ТК приведена на рис. 4, де з використанням символіки МП позначені "кінці" ТК (позиції i1, i6 та i3, i4). Позиції i2 та i5 з відповідними переходами (j1-j6) формують часи проходження поїзда, а величини ?i і ?j відображають відповідно товарний потік і супровідну інформацію. На моделі відзначена двонаправленість ТК як основна його характеристика.

Конкретизація абстрактної моделі породжує макромоделі.

Розкрито зміст реальної макромоделі. Сполучимо по дві позиції рис. 4 в одну: i1, i6 та i3, i4. У результаті дістанемо типову узагальнену модель одноканального ТК (рис. ). Тут позиція i5 відбиває доставлений вантаж, а позиція i6 – кількість вагонів (поїздів), що повернулися.

У дисертації розроблено також двохканальну модель ТК "вертикального" типу (північ - південь) (рис. 6).

Модель ТК на рис. 6 - багатоцільова. Наприклад, на ній можна промоделювати задачі визначення часу виконання транспортування заданого обсягу вантажу.

Позиції i1, i2 (навантаження) та i7, i8 (розвантаження) з відповідними переходами моделюють кінці ТК, позиція i9 використовується для обліку числа поїздів. Позиції i3 - i6 з відповідними переходами моделюють час перебування у дорозі. Як видно з матриці M1, часи перебування поїздів (міток) у дорозі обрані рівними п'яти (L=5) і десяти (K=10) тактами моделювання (рядки M1 з номерами 4 і 11, а також 8 і 14 відповідно). Поїзди рухаються паралельно по двох гілках ТК із різним часом перебування у гілці. Перевага моделі полягає в тому, що вона дозволяє визначити кількість рухомого складу, необхідного для організації максимально ефективної роботи ТК.

Аналогічно розроблено макромодель ТК "горизонтального" типу (захід-схід), рис. 7. ТК проходить по трьох залізницях: Львівській, Південно-Західній і Донецькій (позиції i1-i10 – станції, а позиція i11 виділена для обліку кількості перевезеного вантажу; для спільності обрано різний час проходження шляху поїздами К=3 і 4, а L= 3 і 4).

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

У розділі четвертому на основі технології моделювання, розробленої в розділі три, вперше виконано моделювання багатоканальних транспортних коридорів. З цією метою розглянуто довільну структуру ТК на прикладі гіпотетичного коридору, який має три гілки навантаження поїздів, дві гілки транспортування вантажів, три гілки розвантаження та дві гілки повернення поїздів. Приклад показав неоднорідність структури такого ТК. Різниця швидкостей на дво- і трьохканальних гілках викликає утворення
"пробок" (накопичення міток у позиціях переходу ТК на структуру з меншою кількістю гілок). Це є прикладом деякої слабкості евристики як методу проектування.

Крім того, розглянуто модель двохканального коридору, у якій одночасно вирі-шені дві задачі моделювання: власне транспортного коридору та супутньої підмоделі формування поїздів на сортувальній станції.

У результаті досліджень визначено обсяг інформації – число позицій моделі, що є раціональним для оцінки її функціонування. Воно виявилося рівним 50-60 позиціям гра-фа, причому обидві підмоделі приблизно рівні по складності (рис. 8). Цей факт порушив питання про необхідність автоматизованої обробки інформації в програмі Winpet.

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

У розділі на мові МП розв'язано задачу моделювання технологічного процесу розвантаження бункерів, заповнених сипучим матеріалом із прибулого поїзда.

Був синтезований алгоритм розвантаження бункерів сипучих матеріалів з обмеженнями. Враховані наступні обмеження: число бункерів, що одночасно розвантажуються, не більш трьох (для збереження стрічки транспортера); уникати розвантаження бункера на ділянку, зайняту іншим вантажем (для недопущення "пересипання" вантажу з конвеєра).

На основі виконаного дослідження, проведеного з використанням програми Winpet по розробленому для даного прикладу графу Петрі, отримані наступні результати: час розвантаження всіх семи бункерів (вантаж дорівнює 70 міткам) складає 48 тактів моделювання; повний час роботи конвеєра складає 60 тактів моделювання; під час розвантаження працювало не більше трьох бункерів; під час розвантаження було відсутнє "пересипання" шляхом вибору відповідних затримок на включення кожного бункера; розроблений оператор М', що виключає розгляд не згаданого у списку номера позиції, дає можливість вирішувати різні по обсягу технологічні задачі.

ВИСНОВКИ

У дисертації роз'язано важливу задачу розробки наукових, методичних і прикладних основ побудови моделей, що адекватно відбивають ПП на залізничних ТК, скорочують час моделювання та витрати обчислювального ресурсу. При цьому отримані такі результати:

1.

2.

3.

4.

5.

6.

7.

8.

ПЕРЕЛІК НАДРУКОВАНИХ РОБіТ ПО ТЕМІ ДИСЕРТАЦІї

1.

2.

3.

4.

5.

6.

7.

8.

анотація

Луханін М.І. Моделювання залізничних транспортних коридорів на базі поширених мереж Петрі. – Рукопис.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.22.20 – "Експлуатація і ремонт засобів транспорту". Українська державна академія залізничного транспорту, м. Харків, 2003.

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

Ключові слова: залізничний транспорт, транспортні коридори, поширені мережі Петрі, дуги графа, моделювання, макромодель, програмне забезпечення.

аннотация

Луханин Н.И. Моделирование железнодорожных транспортных коридоров на базе расширенных сетей Петри. – Рукопись.

Дисертация на соискание ученой степени кандидата технических наук по специальности 05.22.20 – "Эксплуатация и ремонт средств транспорта". Украинская государственная академия железнодорожного транспорта, г. Харьков, 2003.

Диссертация посвящена разработке технологии моделирования железнодорожных транспортных коридоров на основе использования обобщенного класса математического аппарата сетей Петри. Аппарат существующих сетей Петри расширен для реализации особенностей транспортных коридоров на железных дорогах. Впервые: для моделирования задержек времени разработана структурная модель обслуживания; некоторым дугам придано свойство конвейерности; всем сдерживающим дугам придано свойство иметь вес больший или равный единицы. Свойство конвейерности дало возможность отслеживать при моделировании процессы передачи грузов и сопроводительной информации, характеризующей перевозки. С целью описания моделей процеса перевозок на уровне, доступном широкому кругу специалистов-технологов, разработан язык моделирования на основе обобщеного математического аппарата сетей Петри. Существующий язык сетей Петри дополнен новыми элементами – специальными дугами и их объединениями, что увеличивает изобразительные возможности языка и расширяет область его применения. На основе введеного расширения сетей Петри (использованы новые типы дуг, в том числе конвейерные; известные типы дуг получили новую интерпретацию как транспортные; всем дугам присвоен важный целочисленный параметр – вес) разработана технология моделирования на основе абстрактных моделей, порождающих макромодели. Предложены макромодели транспортных корридоров "вертикального" (север-юг) и "горизонтального" (восток-запад) типов. Разработана программа моделирования Winpet на основе введеных автором расширений и нового технологического языка моделирования. Программа Winpet использует обобщенные, автономные и приоритетные сети Петри. Существенным является то, что при введении в ПЭВМ исходных данных, необходимых для моделирования, используется списочное описание сети Петри вместо громоздких массивов данных, которые используются в других методах моделирования (на основе сетей Петри). Это дало возможность упростить программное обеспечение, верифицировать результаты моделирования, сократить объем памяти. Предложены макромодели транспортных коридоров, построеные по одно- и двухканальной структурам, а также показана возможность реализации многоканальных моделей. Определено, что двухканальные коридоры сокращают время перераспределения ресурсов (поездов) в 1.5 раза.

Ключевые слова: железнодорожные транспортные коридоры, расширенные сети Петри, дуги графа, моделирование, макромодель, программное обеспечение.

summary

Luhanin N.I. simulation of railway transport corridors on the base of extended Petri nets. - Manuscript.

The dissertation on competition of a scientific degree of candidate of engineering science on a speciality 05.22.20 – “Exploitation and repair of transport means”, Ukrainian state academy of a railway transportation, Kharkov, 2003.

The work is devoted to the development of simulation technology of railway transport corridors based on utilization of the generalized class of mathematical instrument of Petri nets which is extended for consideration of conveyance peculiarities along transport corridors. As an extension the new structural model is introduced which determines time delay; pipeline characteristics are given to some edges of a graph; possibility of delaying edges of a graph is extended because of appropriation to them of the weight which is more than unit. New technological language of simulation and simple Winpet program are developed. For this program introduction of the data list is necessary in the course of the simulation. In this case only the technical workers are required without programmer participation. Obtained scientific and practical results are introduced.

Key words: railway transport corridor, extended petri nets, edges of a graph, simulation, macromodel, software.

Луханін Микола Іванович

Моделювання залізничних транспортних коридорів на базі
поширених мереж Петрі

05.22.20 - Експлуатація та ремонт засобів транспорту

А в т о р е ф е р а т

дисертації на здобуття наукового ступеня
кандидата технічних наук

Надруковано згідно з оригіналом автора

Відповідальний за випуск к.т.н., доцент Коновалов В.С.

Підпісано до друку 12.05.2003 р.

Формат паперу 64х84 1/16. Папір офсетний

Умовн.-друк. арк. 0,9. Обл. – вид. арк. 1,0

Замовлення №_____. Тираж 100 прим.

Видавництво УкрДАЗТу. Свідоцтво № 112 від 06.07.2000 р.

61050, м. Харків, пл. Фейєрбаха, 7

Друкарня УкрДАЗТу, 61050, м. Харків, пл. Фейєрбаха, 7