Імітаційне моделювання в задачах дослідження матеріальних потоків логістичних систем
Теорія і практика управління логістичними системами потребують залучення різноманітних методів створення систем безперервного прогнозування, контролю та оперативного управління матеріальними потоками. В статті розглядається вибір та практичне застосування засобів формального опису матеріальних та ін...
Saved in:
Date: | 2009 |
---|---|
Main Author: | |
Format: | Article |
Language: | Ukrainian |
Published: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2009
|
Series: | Економіко-математичне моделювання соціально-економічних систем |
Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/46073 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Cite this: | Імітаційне моделювання в задачах дослідження матеріальних потоків логістичних систем / І.С. Сакунова // Екон.-мат. моделювання соц.-екон. систем: Зб. наук. пр. — К.: МННЦІТС НАН та МОН України, 2009. — Вип. 14. — С. 91-114. — Бібліогр.: 7 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-46073 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-460732013-06-27T03:09:23Z Імітаційне моделювання в задачах дослідження матеріальних потоків логістичних систем Сакунова, І.С. Теорія і практика управління логістичними системами потребують залучення різноманітних методів створення систем безперервного прогнозування, контролю та оперативного управління матеріальними потоками. В статті розглядається вибір та практичне застосування засобів формального опису матеріальних та інформаційних потоків логістичних систем як універсальних алгоритмічних схем, що володіють теоретично обґрунтованою концептуальною базою і враховують стохастичний характер реальних систем. A theory and practice of the logistic systems’ management needs use of various methods for creation of the systems of continuous prognostication, control and operative management of material streams. In the article a choice and practical application for facilities of formal specification of financial and informative streams as logistic system. These facilities are universal algorithmic charts which own the conceptual base grounded on theory and take into account stochastic character of the real systems. 2009 Article Імітаційне моделювання в задачах дослідження матеріальних потоків логістичних систем / І.С. Сакунова // Екон.-мат. моделювання соц.-екон. систем: Зб. наук. пр. — К.: МННЦІТС НАН та МОН України, 2009. — Вип. 14. — С. 91-114. — Бібліогр.: 7 назв. — укр. XXXX-0009 http://dspace.nbuv.gov.ua/handle/123456789/46073 62.507:338 uk Економіко-математичне моделювання соціально-економічних систем Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
Ukrainian |
description |
Теорія і практика управління логістичними системами потребують залучення різноманітних методів створення систем безперервного прогнозування, контролю та оперативного управління матеріальними потоками. В статті розглядається вибір та практичне застосування засобів формального опису матеріальних та інформаційних потоків логістичних систем як універсальних алгоритмічних схем, що володіють теоретично обґрунтованою концептуальною базою і враховують стохастичний характер реальних систем. |
format |
Article |
author |
Сакунова, І.С. |
spellingShingle |
Сакунова, І.С. Імітаційне моделювання в задачах дослідження матеріальних потоків логістичних систем Економіко-математичне моделювання соціально-економічних систем |
author_facet |
Сакунова, І.С. |
author_sort |
Сакунова, І.С. |
title |
Імітаційне моделювання в задачах дослідження матеріальних потоків логістичних систем |
title_short |
Імітаційне моделювання в задачах дослідження матеріальних потоків логістичних систем |
title_full |
Імітаційне моделювання в задачах дослідження матеріальних потоків логістичних систем |
title_fullStr |
Імітаційне моделювання в задачах дослідження матеріальних потоків логістичних систем |
title_full_unstemmed |
Імітаційне моделювання в задачах дослідження матеріальних потоків логістичних систем |
title_sort |
імітаційне моделювання в задачах дослідження матеріальних потоків логістичних систем |
publisher |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
publishDate |
2009 |
url |
http://dspace.nbuv.gov.ua/handle/123456789/46073 |
citation_txt |
Імітаційне моделювання в задачах дослідження матеріальних потоків логістичних систем / І.С. Сакунова // Екон.-мат. моделювання соц.-екон. систем: Зб. наук. пр. — К.: МННЦІТС НАН та МОН України, 2009. — Вип. 14. — С. 91-114. — Бібліогр.: 7 назв. — укр. |
series |
Економіко-математичне моделювання соціально-економічних систем |
work_keys_str_mv |
AT sakunovaís ímítacíjnemodelûvannâvzadačahdoslídžennâmateríalʹnihpotokívlogístičnihsistem |
first_indexed |
2025-07-04T05:09:09Z |
last_indexed |
2025-07-04T05:09:09Z |
_version_ |
1836691751034683392 |
fulltext |
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
91
УДК 62.507:338 І.С. Сакунова
Імітаційне моделювання в задачах дослідження
матеріальних потоків логістичних систем
Теорія і практика управління логістичними системами
потребують залучення різноманітних методів створення
систем безперервного прогнозування, контролю та
оперативного управління матеріальними потоками. В статті
розглядається вибір та практичне застосування засобів
формального опису матеріальних та інформаційних потоків
логістичних систем як універсальних алгоритмічних схем, що
володіють теоретично обґрунтованою концептуальною базою і
враховують стохастичний характер реальних систем.
Ключові слова: імовірнісні автомати, кусково-лінійні
агрегати, модулі-агрегати, логістичні системи, однорідні
матеріальні потоки, модельні інформаційні потоки,
стохастичні інформаційні потоки, процеси перетікання.
A theory and practice of the logistic systems’ management
needs use of various methods for creation of the systems of
continuous prognostication, control and operative management of
material streams. In the article a choice and practical application
for facilities of formal specification of financial and informative
streams as logistic system. These facilities are universal
algorithmic charts which own the conceptual base grounded on
theory and take into account stochastic character of the real systems.
Keywords: probabilistic automats, piece-linear aggregates,
modules-aggregates, logistic systems, homogeneous material
streams, informative streams of models, stochastic informative
streams, flowing processes.
Вступ. Зростаючий інтерес до логістики як теорії і
практики управління матеріальними та інформаційними
потоками пов’язаний із зміною пріоритетів в економічній
діяльності від дослідження суб’єктів переміщення до
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
92
управління потоковими процесами, що обумовлює сучасну
ефективну форму інтеграції постачання, виробництва,
транспортного розподілення та ринку.
Концептуальна сутність логістики інтерпретується як
сукупність засобів та способів комплексного вирішення
проблем, що виникають в процесі управління
матеріальними та інформаційними потоками, з метою
гармонізації інтересів всіх учасників переміщення потоків
[1].
Сутністю матеріального потоку як ключової категорії
логістичної системи є неперервне переміщення продуктів
праці в процесі застосування до них логістичних операцій
формування, транспортування та збуту продукції.
Кожному елементарному однорідному матеріальному
потокові (ОМП) логістичної системи відповідає деяка
сукупність інформаційних потоків, що визначає його
структурно-функціональні складові - характеристики:
- часова складова: неперервний або дискретний вид
пересування матеріальних об’єктів, що належать даному
ОМП; визначення часу надходження матеріальних
об’єктів потоку в конкретну точку траєкторії пересування
матеріалів; швидкість переміщення ОМП; прогнозні та
реальні строки виконання замовлення і доставки продукції;
- структурна складова: даний ОМП є вхідним,
внутрішнім або вихідним; структурні зв’язки даного ОМП
з другими ОМП в логістичній системі; параметри
траєкторії переміщення матеріалів даного ОМП;
- кількісна складова: найменування матеріального
ресурсу, що складає даний ОМП; кількість матеріальних
ресурсів, що знаходяться в конкретній точці траєкторії
переміщення матеріалів потоку; габаритні та вагові
характеристики ОМП;
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
93
- якісна складова: якісний стан ОМП в даний момент
часу (перебування в стані навантаження-розвантаження,
процес переміщення ОМП, стан простою в результаті
поломки-ремонту, форс-мажорних обставин, або через
неможливість початку пересування ОМП або
неможливість доставки продукції до споживача); рівень
відповідності прогнозних характеристик ОМП реальним
характеристикам; оцінка забезпечення синхронізації
процесів збереження, доставки і збуту продукції.
Невирішені проблеми. З метою реалізації мети
логістики – організації оптимальних процесів переміщення
– розглядають певні потокоутворюючі сукупності дій з
матеріальними об’єктами та супроводжуючими їх
інформаційними потоками – так звані логістичні операції.
Класифікуючи основні логістичні операції (ЛО) за
природою потоку, розподілимо їх на:
- ЛО з реальними матеріальними потоками,
- ЛО з реальними інформаційними потоками,
- Регулюючі ЛО по управлінню матеріальними
потоками, що включають в себе прогнозування, контроль,
оперативне управління, формування та вибір оптимальних
рішень за допомогою математичних методів.
В статті основну увагу буде приділено регулюючим
ЛО, оскільки реалізація більшості передових логістичних
концепцій і систем стає неможливою без застосування
методів математичного моделювання та інформаційно-
програмного забезпечення. Математичні моделі формують
віртуальні (імітаційні) матеріальні та інформаційні потоки,
постаючи інструментом методологічної бази логістики,
призначеним на допомогу спеціалістам в прийнятті
оптимальних рішень.
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
94
Важливо відмітити розподіл віртуальних
інформаційних потоків в процесі побудови моделей на дві
категорії. До першої категорії слід віднести модельні
інформаційні потоки (МІП), які визначають структурно-
функціональні характеристики однорідних матеріальних
потоків (ОМП) на кожний момент модельного часу. До
них відносяться часові, структурні, кількісні та якісні
інформаційні складові ОМП. В кожний момент часу
моделювання вони актуалізуються (переобчислюються) за
допомогою алгоритму моделі.
В моделі є присутніми також інформаційні потоки
другої категорії – стохастичні інформаційні потоки
(СІП), які імітують реальні послідовності зовнішніх та
внутрішніх випадкових впливів на логістичну систему і
беруть участь в процесі створення моделі. Прикладами
таких СІП можуть слугувати послідовності моментів
надходження на вхід логістичної системи партій ОМП
(сировини, товарів, комплектуючих), або моментів
настання проблемних ситуацій на шляху ОМП (форс-
мажорні обставини, початок/закінчення поломки/ремонта
транспортних засобів), моментів зміни траєкторії та (або)
швидкості переміщення ОМП, габаритних та вагових
характеристик нових партій продуктів праці при
надходженні на вхід системи.
Одним із основних методологічних принципів
логістики є системний підхід, у відповідності з яким
логістичні системи включаються в загальноприйнятне
поняття системи або складної системи.
Мета. В процесі дослідження логістичних систем
виникає задача пошуку оптимального управління
матеріальними потоками, метою якої в загальному вигляді
є реалізація комплексу логістики, який повинен
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
95
забезпечувати необхідну кількість товару необхідних виду
та якості в потрібному місці і в потрібний час для
потрібного споживача з мінімальними або заданими
витратами [1, 2]. Одним із успішних розв’язань комплексу
логістики є створення математичних моделей реальних
транспортно-перевантажувальних систем з моделюванням
впливу на них зовнішніх випадкових факторів, а також
виникнення в них ряду проблемних ситуацій.
Моделювання дозволяє знаходити математичні
очікування невипадкових характеристик систем, що
досліджуються, і оптимізувати поле керованих параметрів
при різноманітних варіантах переважання цільової функції.
Отримані рекомендації приймаються до відома при
створенні систем планування перевозок, в процесі
реконструкції об’єктів транспортних вузлів і т.і.
Основний матеріал. Складність досліджуваних
логістичних систем диктує вибір засобів їх формального
опису у вигляді універсальних алгоритмічних схем з
концептуальною базою, з високим ступенем адекватності і
точності отримуваних результатів, з бажаною простотою у
відображенні алгоритмічних особливостей,
стандартизацією та уніфікацією побудови моделей. В
цьому плані увагу привертають схеми моделювання
динаміки матеріальних потоків логістичних систем за
допомогою систем кусково-лінійних та кусково-
неперервних агрегатів, а також схеми моделювання за
допомогою систем агрегатів спеціального вигляду –
ініціальних імовірносних автоматів (СІА) Мура з
детермінованими виходами [3].
Коротко наведемо тези теоретичного обгрунтування
принципової можливості побудови автоматних моделей.
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
96
При формалізації досліджуваної складної системи
опис моделі у вигляді багатовимірного стохастичного
процесу може бути зведений до завдання деякого
багатовимірного ланцюга Маркова за допомогою матриць
структурних зв’язків між компонентами ланцюга і
алфавітів, функцій вихідних значень компонент, матриці
імовірностей переходу і початкового розподілу
імовірностей. Опис складної системи можливо
здійснювати також у вигляді СІА, яка за означенням
задається за допомогою п’яти об’єктів: матриці алфавітів,
вектора початкових станів, системи функцій виходів,
таблиці умовних функціоналів переходів і системи
розподілу випадкових величин, що приймають участь в
реалізації алгоритму моделі. При порівнянні цих двох
видів формалізації досліджуваної системи стає очевидною
аналогія при описанні моделі. Так, компоненти
марківського вектору є аналогічними внутрішнім станам
автоматів, зв’язки між компонентами ланцюга – вхідним та
вихідним сигналам автоматів, функції вихідних значень
компонент ланцюга співвідносяться з обчисленням станів
автоматів СІА.
Проведені дослідження в цьому напрямку показали,
що при вельми широких припущеннях багатовимірний
марківський ланцюг, який досліджує реальну систему S,
можна перетворити в ланцюг, який має властивість так
званої умовної незалежності компонент, і ця обставина
обгрунтовує принципову можливість побудови автоматної
моделі системи S. Наведемо основні положення даних
досліджень.
Припустимо, що для досліджуваної реальної
імовірносної системи S вихідна модель представлена у
вигляді n – мірного стохастичного процесу
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
97
);,1()}({)( Ttnktt k ∈== ξξ з дискретним
параметром t (t = 0,1,2,…) на просторі елементарних
подій ),,( ΡΝΩ в фазовому просторі ).,( *BE Нехай
маємо деяку систему імовірносних автоматів
).(},...,{ 1 nmAA m ≥=Γ
Розглянемо стохастичний процес
),()}(),...,(),({)( 21 Tttatatata m ∈= (1)
де ),1( miai = - стани автоматів. Позначимо через
),,( µ℘∑ простір елементарних подій процесу )(ta , а
через ),( ℵΧ - його фазовий простір. Очевидно, що Х є
добутком внутрішніх алфавітів автоматів iA , а ℵ -
добутком σ - алгебр, вибраних в цих алфавітах.
Нехай nI - деяка підмножина з n чисел множини
{1 ,… m }, наприклад, .,1 nI n =
Введемо позначення )()}({)( ni Iitatа ∈=′ для
стохастичного процесу, що отримується із виразу (1) в
результаті відбирання компонент, індекси яких не входять
у множину .nI Нехай µ′ℵ′℘′′Σ′ ,,,, X - проєкції
відповідних множин X,Σ , σ -алгебр ℵ℘, , і міри µ на
координатний простір ).()}({ ni Iita ∈
Якщо множини ΣΩ, і ,, XE ′ а також σ -алгебри
ℵ′℘′ *,, BіN попарно співпадають і процеси )(),( tatξ
еквівалентні, то систему імовірносних автоматів Г будемо
називати автоматною моделлю системи S .
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
98
Нехай ),1()}({)( nktt k == ξξ - n – мірний простий
однорідний марківський ланцюг в фазовому просторі
*),,( BX де
;...21 nXXXX ×××= ;...* **
2
*
1 nBBBB ×××=
),1(* nkBиX kk = - відповідно простори
компонент вектору −σξ ),(t алгебри, вибрані з цих
просторів.
Назвемо компоненти ),1()( nktk =ξ марківського
вектору )(tξ умовно незалежними (у сукупності),
якщо при кожному ),1( nii = для довільних
),,1(,* iknkXxиXxBB kkii ≠=∈∈∈ маємо
співвідношення
,...)2,1,0(
})(/)1({)},,1(
)1(,)(/)1({
=
=∈+=≠=
=+=∈+
t
xtBtPiknk
xtxtBtP
ii
kkii
ξξ
ξξξ
(2)
Очевидно, що умовно незалежні компоненти )(tkξ
стохастичного вектору )(tξ в загальному випадку є
залежними випадковими величинами, а поняття умовної
незалежності компонент має сенс також і для
неоднорідного ланцюгу. Із визначення умовної
незалежності компонент ланцюгу )(tξ випливає постулат,
який стверджує, що умовна незалежність компонент
простого n – мірного ланцюгу Маркова )(tξ в фазовому
просторі *),( BX рівнозначна виконанню рівності
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
99
)....*
;...);,1(*;(
})(/)1({
})(/)1({
**
1
1
*
1
n
nkk
k
n
k
k
BBB
BBBnkBBBB
xtBtP
xtBtP
××=
××==∈∈
=∈+=
==∈+
∏
=
ξξ
ξξ
(3)
Введемо поняття незалежності компонент марківського
ланцюгу.
Нехай ),1()}({)( nktt k == ξξ - n – мірний
простий однорідний ланцюг Маркова. Компоненти
),1()( nktk =ξ цього ланцюгу називаються
незалежними, якщо для довільних
),1(,,* nkXxXxBB kkkk =∈∈∈ справедливим є
співвідношення
)).,...,(,...;2,1,0;,1(
})(/)1({
})(/)1({
1 n
kkkk
kk
xxxtnk
xtBtP
xtBtP
===
=∈+
==∈+
ξξ
ξξ
(4)
Останнє співвідношенн є рівнозначним (5).
Порівняння (4) і (2), або (5) и (3) допомагає
зрозуміти різницю між цими поняттями. Поняття
незалежності компонент визначає можливість розглядати
заданий n – мірний ланцюг як сукупність незалежних n
– мірних ланцюгів.
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
100
,...).1,0;...*
;...);,1(*;(
})(/)1({
})(/)1({
**
1
1
*
1
=××=
××==∈∈
=∈+=
==∈+
∏
=
tBBB
BBBnkBBBB
xtBtP
xtBtP
n
nkk
kkk
n
k
k ξξ
ξξ
(5)
Поняття умовної незалежності компонент визначає
імовірносну залежність кожної компоненти ланцюгу в
момент 1+t від сукупності всіх компонент ланцюгу в
попередній момент часу t .
Наведемо формулювання теорем, що лежать в основі
застосування властивості умовної незалежності компонент
багатовимірного ланцюга Маркова при побудові
автоматних моделей імовірносних систем [4].
Теорема 1. Умовна незалежність компонент простого
n - мірного ланцюга Маркова )(tξ в фазовому просторі
*),( BX рівнозначна виконанню рівності
)....*
;...);,1(*;(
};)(/)1({})(/)1({
**
1
1
*
1
n
nkk
k
n
k
k
BBB
BBBnkBBBB
xtBtPxtBtP
××=
××==∈∈
=∈+==∈+ ∏
=
ξξξξ
Теорема 2. Нехай −−== nnktt k )},1()({)( ξξ
мірний однорідний ланцюг Маркова в фазовому просторі
*),( BX з перехідною імовірносною функцією
).*,(
}),({})(/)1({
XxBB
BwxfPxtBtP
∈∈
∈==∈+ ξξ
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
101
Тут },...,{ 1 Mwww = - скінченновимірний
стохастичний вектор в фазовому просторі (G, L),
),1( Mkwk = - в загальному випадку залежні випадкові
величини, f – деяка детермінована функція, що задається
на X і G. Тоді існує ланцюг Маркова
)()},1())({)( nmmitt i ≥== ζζ
з умовно незалежними компонентами в розширеному
фазовому просторі (Z, L) такий, що сукупність
)},1()({ nktik =ζ деяких з іі компонент еквівалентна
вихідному ланцюгу ).(tξ
Теорема 2 доводить, що виявлена властивість
багатовимірних ланцюгів Маркова дає можливість в
більшості випадків шляхом розширення фазового простору
замінювати ланцюг Маркова з умовно залежними
компонентами ланцюгом більшої розмірності з умовно
незалежними компонентами.
Теорема 3. Якщо математична модель даної
імовірносної системи S допускає подання у вигляді
простого однорідного n – мірного ланцюгу Маркова )(tξ
в фазовому просторі *),( BX з кінцевою множиною
станів з умовно незалежними компонентами, то існує
система імовірносних автоматів Г, яка представляє собою
автоматну модель системи S.
Таким чином, властивість умовної незалежності
компонент багатовимірного ланцюга Маркова, що описує
реальну складну систему, гарантує можливість побудови
автоматної моделі цієї системи.
Виконання умов, при яких початковий
багатовимірний марківський ланцюг можна привести до
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
102
ланцюга, що володіє властивістю умовної незалежності
компонент, є необхідною і достатньою умовою побудови
відповідної автоматної моделі. Ця обставина є дуже
істотньою, оскільки обгрунтовує можливість побудови
автоматних моделей для широкого класу систем.
На практиці при побудові автоматної моделі
забезпечення властивістю умовної незалежності
компонент еквівалентного їй марківського вектора
гарантується виконанням наступних необхідних і
достатніх умов реалізації властивості марковості
модельованого процесу:
− для окремо взятого автомата послідовність його
вхідних сигналів повинна бути реалізацією незалежних,
однаково розподілених випадкових величин.
− для системи імовірносних автоматів як моделі і як
узагальнення однорідного марківського ланцюгу необхідна
побудова такої сукупності автоматів, яка би повністю
визначала реальну систему в кожний момент часу, що
означає визначення стану кожного автомату моделі у
поточний момент часу залежно від стану всієї системи
автоматів в попередній момент часу.
При цьому всі випадкові величини, що беруть участь
у побудові моделі, повинні задовольняти вимозі взаємної
незалежності і обов'язково ідентифікуватися як стани
відповідних автоматів.
Наведені необхідні та достатні умови принципової
можливості побудови СІА логістичних систем (ЛС) лягли
в основу розробки єдиної інформаційної технології
створення автоматних моделей ЛС, яка об’єднує
постулати забезпечення адекватності СІА, статистичні
дослідження інформаційних потоків ЛС та ієрархічну
побудову етапів розробки моделей [3].
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
103
Теоретичні дослідження та практична реалізація
моделей ЛС виявили ефективність автоматного
моделювання в плані відображення динаміки регулюючих
логістичних операцій з модельними і стохастичними
інформаційними потоками у вигляді моделей замкнутих
або розімкнених процесів перетікання. Моделі такого
роду застосовуються з метою прискорення і спрощення
розв’язання задач до систем, що мають властивість
обмеженості інформаційних зв’язків між окремими
структурними блоками, що, вочевидь, має місце стосовно
динаміки матеріальних потоків ЛС. Дослідження динаміки
матеріальних потоків показало, що у кожній ЛС для
кожної її ланки існує визначений обмежений
«функціональний окіл», який складається з інших
(суміжних) ланок, що впливають на динаміку даного вузла.
Відмітимо, що термін «процеси перетікання» вказує лише
на перетікання інформаційних потоків, моделюючих
матеріальні потоки. Тобто, можна говорити про те, що
процеси перетікання властиві динаміці складних систем з
обмеженими внутрішніми зв’язками.
Принципова можливість імітації такої властивості за
допомогою автоматних моделей обумовлена властивістю
марковості СІА і можливістю покрокової актуалізації
стану кожного віртуального однорідного матеріального
потоку (елементарного матеріального потоку), а також
властивістю відсутності просторової післядії для
підмножин автоматів в моделях такого роду.
В деяких випадках, коли СІА складається з малої
кількості автоматів, властивості процесів перетікання
дозволяють отримувати аналітичне рішення задачі [5]. В
складних випадках при побудові імітаційних моделей ЛС
властивість обмеженості внутрішніх зв’язків між
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
104
окремими ланками систем дозволяє розчленовувати такі
моделі на визначені сукупності процесів, які володіють
марківською властивістю, і допомагає будувати
стандартизовані та компактні моделі, зручні для
комп’ютерної імітації.
Наведемо приклад успішного використання
властивості обмеженості внутрішніх зв’язків при побудові
СІА-моделі взаємодії пасажиропотоків в пересадкових
вузлах [6].
Формалізуючи динаміку переміщення
пасажиропотоків вздовж площини вокзалу, домовимось
вважати, що площина вокзалу являє собою структуру, що
складається з JI ∗ прямокутних «клітин», де I - загальна
кількість клітин по горизонталі, а J - загальна кількість
клітин по вертикалі. Положення кожної клітини
ідентифікується парою індексів ),( ji , де ,,1 Ii = а
.,1 Jj = Домовимось називати змінний індекс j номером
рівня. Назвемо першим з боку перону або верхнім рівнем
рівень .1=j Тоді Jj = - останній або нижній рівень (з
боку виходу в місто). Всі структурні клітини вважаються
однаковими (з однаковою довжиною сторони, наприклад, в
1,65 м), клітини кожного рівня нумеруються зліва направо.
Домовимось, що в кожній клітині площини вокзалу в
кожний момент часу можуть знаходитись пасажири, в
кожну клітину можуть надходити пасажири і з кожної
клітини можуть виходити пасажири. Тобто, пасажири
кожної клітини площини вокзалу (крім клітин, які зайняті
об’єктами інфраструктури) одночасно переміщуються за
своїм бажанням в таких напрямках:
- з міста до перону,
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
105
- від поїздів в місто,
- зліва направо (до об’єктів інфраструктури вокзалу),
- справа наліво (до об’єктів інфраструктури вокзалу).
Діагональні переміщення пасажирів вздовж клітини в
моделі не розглядаються.
Аналіз змістовного опису даної системи і
формалізованого представлення площини вокзалу у
вигляді декартового добутку клітин JI ∗ , а також такі
фактори, як складність і імовірносний характер руху
зустрічних потоків пасажирів вздовж клітин площини
вокзалу, потреба в аналізі виникаючих ситуацій в
необхідний момент (зріз) єдиного модельного часу,
обумовлюють вибір методу моделювання реальної системи
за допомогою СІА.
Дійсно, аналізуючи систему «вокзал -
пасажиропотоки», впевнюємось в очевидності наявності
властивості обмеженості структурно-функціональних і
інформаційних зв’язків між клітинами .),( JIji ∗∈
Реально, вздовж кожної елементарної клітини вокзалу в
кожний момент часу одночасно може пересуватись вісім
потоків пасажирів: чотири потоки назовні із клітини і
чотири потоки всередину клітини. Кожний потік окремо,
проходячи через клітини вокзалу, буде являти собою
модель перетікання. Властивість обмеженості внутрішніх
зв’язків дозволяє реалізовувати розподіл сукупного
різновекторного потоку пасажирів на послідовність
потоків за визначеними напрямками на один і той же
момент часу і розраховувати послідовно всі проміжні
наповнення кожної клітини. При цьому слід завчасно
домовитись про однакову послідовність розрахунку
наповнення клітин у відповідності із зафіксованим
чергуванням напрямків потоків вздовж клітин.
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
106
Домовимось про введення наступної системи
пріоритетів напрямків переміщення пасажиропотоків
через ),( ji - у клітину площини вокзалу:
1) знизу→ наверх (із міста до перону),
2) зверху→ вниз (від поїздів в місто),
3) справа→наліво,
4) зліва→направо
Додержуючись наведеного чергування пріоритетів
напрямків руху пасажиропотоків вздовж клітин,
отримуємо можливість розчленовувати ці потоки і
досліджувати проміжне наповнення клітин для кожного
напрямку руху потоків, поступово сумуючи наповнення
клітин за вище наведеною схемою на протязі одного й
того ж зафіксованого одиничного інтервалу модельного
часу ].,1( tt −
Для наведення сценарію функціонування моделі
визначимо стани автоматів, що описують ),( ji - ю
клітину:
)(taij - потік пасажирів в ),( ji -й клітині в момент t ;
)()1( tijλ - потік бажаючих вийти в момент t з ),( ji -ї
клітини наверх, в клітину );1,( −ji
−)()1( tLij потік пасажирів, що вийшли в момент t з
клітини ),( ji в клітину );1,( −ji
)()1( taij - потік пасажирів в клітині ),( ji після
завершення вертикального переміщення потоку - «знизу-
вверх» на момент ;t
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
107
)()3( tijλ - потік бажаючих вийти вниз із ),( ji -ї клітини
в )1,( +ji - у клітину;
−)()3( tLij потік пасажирів, що вийшли в момент t з
клітини ),( ji в клітину );1,( +ji
)()3( taij - потік в клітині ( ji, ) в момент t після
завершення вертикального переміщення потоку – «зверху-
вниз»;
)()5( tijλ - потік бажаючих вийти в момент t з клітини
( ji, ) вліво, в клітину ),1( ji − ;
−)()5( tLij потік пасажирів, що вийшли в момент t з
клітини ),( ji вліво, в клітину );,1( ji −
)()5( taij - поточна кількість пасажирів в ),( ji -й клітині
в момент t після завершення горизонтального
переміщення потоку «справа-наліво»;
)()7( tijλ - потік бажаючих вийти в момент t з −ij ї
клітини вправо – в клітину );,1( ji +
−)()7( tLij потік пасажирів, що вийшли в момент t з
клітини ),( ji в клітину );,1( ji +
)()7( taij - завершуючий потік в клітині ),( ji в момент
t (після завершення переміщення потоку «зліва -
направо»).
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
108
Введемо позначення потоків пасажирів, що заходять в
−),( ji у клітину з чотирьох сторін в момент t ,
дотримуючись вище наведених приорітетів:
−)()2( tLij потік пасажирів, що ввійшли в клітину ),( ji
з нижньої клітини );1,( +ji
−)()4( tLij потік пасажирів, що ввійшли в клітину ),( ji
з верхньої клітини );1,( −ji
)()6( tLij - потік пасажирів, що ввійшли в клітину ),( ji
із суміжної клітини справа );,1( ji +
−)()8( tLij потік пасажирів, що ввійшли в клітину ),( ji
із суміжної клітини зліва );,1( ji −
−= constAij гранично допустима пасажиромісткість
−),( ji ї клітини;
−)()( tX pq
ij доля пасажирів від усього потоку, що
ввійшли в клітину ),( ji за приорітетом 8642 ∨∨∨=q
і бажають вийти з неї за приорітетом 7531 ∨∨∨=p в
момент .
Введемо позначення статистично заданих
випадкових величин:
−)()1( tiξ потік пасажирів, що надійшли в момент t на
вхід −i ї клітини нижнього −J го рівня із міста;
−)()3( tiξ потік пасажирів, що надійшли на вхід −i ї
клітини верхнього рівня;
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
109
−)(),( )3*()1*( tt ii λλ кількість пасажирів, що не
ввійшли в приміщення вокзалу із міста (знизу) і від
перону (зверху) через загрозу переповнення клітин входу-
виходу;
−)()( tpq
ijη доля потоку бажаючих вийти із клітини
),( ji за пріоритетом 7531 ∨∨∨=p із всього потоку
пасажирів, що ввійшли в неї за пріоритетом
8642 ∨∨∨=q .
Введемо наступні двоїсті індикатори:
−)()( tz q
ij приймає значення 1, якщо потік пасажирів,
що ввійшли в у −),( ji у клітину в момент t за
пріоритетом 8642 ∨∨∨=q , не нульовий (надходження
реально здійснилось), в протилежному випадку дана
величина приймає значення 0.
−)( p
ijρ фіксована двоїста величина, ненульове
значення якої визначає принципову можливість виходу із
клітини ),( ji згідно пріоритету 7531 ∨∨∨=p .
,1)()( =tV pq
ij якщо вихід із клітини ),( ji за
пріоритетом p неможливий (вихід в сторону
«забороненої» клітини) для пасажирів, які надійшли в
клітину ),( ji за пріоритетом ,q і )()( tV pq
ij = 0 – в
протилежному випадку.
)(tyij - індикатор «кризового» простою пасажирів в
клітині ),( ji .
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
110
Наведемо сценарій моделювання динаміки
переміщення пасажирів між клітинами вокзалу:
1.Моделюється динаміка переміщення пасажирів із
клітини ),( ji в клітину )1,( −ji , при цьому визначається
потік вийшовших «наверх» - )()1( tLij - на слідуючий
момент часу імітації t , а також перше поточне число
пасажирів в −),( ji й клітині - ).()1( taij
2. Визначається потік вийшовших із ),( ji - ї
клітини «вниз» і залишок пасажирів в ній на момент t -
)()3( tLij і )()3( taij відповідно.
3. Проводиться переобчислення потоку вийшовших
«вліво» )()5( tLij і новий залишок пасажирів в клітині ),( ji
)()5( taij на момент .t
4. Здійснюється аналогічний «парний» крок
визначення кількості пасажирів, що перемістились
«вправо» із клітини ),( ji - )()7( tLij , а також поточне
наповнення клітини - ),()7( taij яке буде результуючим
наповненням )(taij клітини в слідуючий момент часу .t
5. Подальші чотири послідовні кроки визначають
потоки ввійшовших в клітину згідно із системою
пріоритетів входження - )()( tL q
ij .
6. Визначаються індикатори реальної реалізації
потоків входження в клітину ),( ji з різних сторін )()( tz q
ij
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
111
і оцінки принципової можливості виходу по різних
напрямках .)( p
ijρ
7. Обчислюються реальні долі )()( tX pq
ij потоків
бажаючих вийти із −),( ji ї клітини по трьох напрямках із
всього потоку ввійшовших в клітину ),( ji в момент t з
четвертої сторони.
8. Визначається потік бажаючих вийти із клітини
),( ji в різні сторони - ).()( tp
ijλ
Таким чином, на момент t стають відомими всі
значення станів автоматов, що визначають наповнення
кожної ),( ji - ї ),1;,1( JjIi == клітини площини
вокзалу.
В більш складних випадках при дослідженні
матеріальних потоків ЛС застосовується універсальна
уніфікована схема моделювання за допомогою кусково-
лінійних агрегатів.
Існує теоретичне обгрунтування [7] можливості
представлення любого кусково-лінійного агрегату у
вигляді системи, яка складається із сукупності трьох типів
елементарних агрегатів: елементів пам’яті, елементів
затримки і миттєвих кусково-лінійних стохастичних
перетворювачів.
Більш детально, елементарні агрегати здатні
зберігати інформацію у вигляді деякого дійсного числа x
(елементу обліковуваної множини); в любий момент часу
можуть володіти деяким станом )(tx у вигляді
невід’ємного числа, яке у відсутності вхідного сигналу
убуває з одиничною швидкістю; мають властивості
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
112
миттєвого кусково-лінійного стохастичного
перетворювача, здатного сприймати і відсилати дискретні
сигнали.
Слід відмітити одну важливу обставину, що
розширює область застосування методу агрегативного
моделювання. Побудова імітаційних моделей за
допомогою агрегативних систем не включає в себе
визначення способу завдання операторів, які
використовуються в агрегатах, тому може бути вживаний,
в принципі, любий спосіб опису стохастичного алгоритму.
В даному випадку з цією метою обирається задання
операторів, що складають тіло агрегату, або, другими
словами, спосіб опису стохастичного алгоритму в вигляді
груп елементарних агрегатів, що являють собою, в свою
чергу, групи взаємопов’язаних імовірносних автоматів.
Кожна така група автоматів (назвемо її модулем) описує
конкретний агрегат, що імітує однорідні за структурно-
функціональними особливостями об’єкти складної ЛС.
Дійсно, при порівнянні властивостей імовірносних
автоматів і кусково-лінійних агрегатів виявляється, що
автомати по суті є елементарними одномірними
агрегатами, у визначенні яких приймаються наступні
спрощення:
- дискретний час функціонування;
- нема різниці між управляючими та вхідними
сигналами;
- скалярний характер величини стану агрегату;
- існування можливості реалізації для кожного
моменту часу вхідного та вихідного сигналів;
- детермінованість оператора виходу;
- можливість задання оператора переходу в вигляді
умовного матричного стохастичного оператора;
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
113
- відсутність необхідності в застосуванні вихідних і
перехідних операторів.
Очевидним постає тезис про те, що імовірносні
автомати виконують функції елементарних агрегатів,
оскільки їх стани володіють властивостями елементів
пам’яті, елементів затримки і миттєвих кусково-лінійних
стохастичних перетворювачів.
Висновок. Введення сукупності імовірносних
автоматів в якості операторів при побудові тіла кусково-
лінійного агрегату дозволяє будувати агрегатно-
автоматні моделі складних ЛС з урахуванням їх часової,
якісної та структурно-функціональної неоднорідності в
неперервному режимі часу з дискретним втручанням
випадків.
Перехід при моделюванні складних ЛС до
агрегатно-автоматних моделей дозволяє єдинообразно
описувати всі різнорідні за структурою і динамікою
об’єкти ЛС, виділяючи однорідні об’єкти під «дах»
відповідних агрегатів. Це дає можливість, в свою чергу,
моделювати всю різноманітність, всі особливості
досліджуваної системи.
Основним будівельним «матеріалом» таких моделей
є модулі-агрегати, що визначають однорідні інформаційні
та матеріальні потоки ЛС. Автоматно-агрегатні моделі
використовуються при дослідженні функціонування
морських та залізничних вузлів, морських паромних
переправ, міждержавних контейнерних залізничних
перевезень та інших ЛС.
Література
1. Леншин И.А., Смольняков Ю.И. Логистика. – М.:
«Машиностроение», 1996. – 246 с.
Економіко-математичне моделювання соціально-економічних
систем
Збірник наукових праць МННЦ ІТіС
Київ – 2009, випуск 14
114
2. Ballou R.H. Business Locistics Management. 3ed.- New York: Prentice-
Hall International Inc., 1993.
3. Бакаев А.А., Гриценко В. И., Сакунова И.С. Автоматное
моделирование в задачах исследования сложных систем. – К.:
«Логос», 2007. – 208 с.
4. Бакаев А.А., Костина Н.И., Яровицкий Н.В. Имитационные модели в
экономике. – К.: «Наукова думка», 1978. – 300 с.
5. Сакунова И.С., Яровицкий Н.В. Задача о кольцевом маршруте //
Кибернетика. - 1973. - № 3. - С. 128-133.
6. Мирошниченко В.М., Сакунова И.С., Торопов Б.И. О модели
пассажиропотоков в крупных пассажирских комплексах //
Международная научная конференция «Транспорт ХХ1 века».
Секция 4, Варшава, 19-21. ноября 2001. - С. 285-292.
7. Бусленко Н.П. Моделирование сложных систем. – М.: Наука, 1978, -
309 с.
|