Верификация имитационных моделей технологических процессов производства с переменной структурой
Рассматриваются технологические процессы производства, описываемые с помощью вероятностных сетевых графиков,особенности имитации и способы формализации технологического процесса. Предложена методика верификацииимитационных моделей технологических процессов производства с переменной структурой. Библи...
Gespeichert in:
| Datum: | 2007 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут проблем математичних машин і систем НАН України
2007
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/782 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Верификация имитационных моделей технологических процессов производства с переменной структурой / Смородин В.С. // Математические машины и системы. – 2007. – № 3, 4. – С. 162 – 167. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1860254278925418496 |
|---|---|
| author | Смородин, В.С. |
| author_facet | Смородин, В.С. |
| citation_txt | Верификация имитационных моделей технологических процессов производства с переменной структурой / Смородин В.С. // Математические машины и системы. – 2007. – № 3, 4. – С. 162 – 167. |
| collection | DSpace DC |
| description | Рассматриваются технологические процессы производства, описываемые с помощью вероятностных сетевых графиков,особенности имитации и способы формализации технологического процесса. Предложена методика верификацииимитационных моделей технологических процессов производства с переменной структурой. Библиогр.: 5 назв.
Розглядаються технологічні процеси виробництва, якi описуються імовірносними сiтковими графіками, особливості імітації ізасоби формалізації технологічного процесу. Запропонована методика верифікаціі імітаційних моделей технологічнихпроцесiв виробництва iз змінною структурою. Бібліогр.: 5 назв.
Technological processes of manufacture, described by means of the probabilistic network graph, are considered. Particularities ofimitation and way of formalization of technological process are given. Strategy of verification of simulation models of technologicalprocesses of manufacture with the variable structure is offered. Refs.: 5 titles.
|
| first_indexed | 2025-12-07T18:47:19Z |
| format | Article |
| fulltext |
ISSN 1028-9763. Математичні машини і системи, 2007, № 3, 4
162
УДК 007; 681.3
В.С. СМОРОДИН
ВЕРИФИКАЦИЯ ИМИТАЦИОННЫХ МОДЕЛЕЙ ТЕХНОЛОГИЧЕСКИХ
ПРОЦЕССОВ ПРОИЗВОДСТВА С ПЕРЕМЕННОЙ СТРУКТУРОЙ
Abstract: Technological processes of manufacture, described by means of the probabilistic network graphs, are
considered. Particularities of imitation and way of formalization of technological process are given. Strategy of
verification of simulation models of technological processes of manufacture with the variable structure is offered.
Key words: technological processes of manufacture, strategy of verification, simulation models with the variable
structure.
Анотацiя: Розглядаються технологічні процеси виробництва, якi описуються імовірносними сiтковими
графіками, особливості імітації і засоби формалізації технологічного процесу. Запропонована методика
верифікаціі імітаційних моделей технологічних процесiв виробництва iз змінною структурою.
Ключові слова: технологічні процеси виробництва, методика верифікаціі, імітаційні моделі змінної
структури.
Аннотация: Рассматриваются технологические процессы производства, описываемые с помощью
вероятностных сетевых графиков, особенности имитации и способы формализации технологического
процесса. Предложена методика верификации имитационных моделей технологических процессов
производства с переменной структурой.
Ключевые слова: технологические процессы производства, методика верификации, имитационные
модели переменной структуры.
1. Введение
Проблема верификации имитационной модели (ИМ) объекта исследования особенно актуальна
при разработке ИМ вероятностных технологических процессов производства (ВТПП) из-за
непредсказуемого характера взаимодействий агрегатов ijAMTXO и iASOB [1]. В тех случаях, когда
ВТПП реализуется на оборудовании, при работе которого могут происходить отказы и аварии,
актуальна задача определения с помощью имитационной модели степени влияния надежностных
характеристик оборудования и состава ресурсов предприятия на реализацию ВТПП.
Для решения данной задачи требуется верификация имитационной модели
производственной системы с переменной структурой. Вероятностный технологический процесс
обладает следующими особенностями: наличием возможности отказов оборудования, приводящих
к авариям и конкуренции ijMTXO за ресурсы, что в результате ухудшает временные
характеристики реализации ВТПП; наличием графовой структуры связей микротехнологических
операций ( ijMTXO , где nji ,1, = , n – количество узлов графа), реализующих ВТПП, которая
изменяется вследствие возникновения отказов и аварий оборудования в процессе его
функционирования; необходимостью исследования во времени реализации технологического
процесса динамики использования ресурсов предприятия; необходимостью оценки возникновения
предаварийной ситуации для досрочного перевода оборудования ВТПП на резервирование или
профилактику.
Эти особенности определяют актуальность решения следующих задач:
– верификация имитационной модели вероятностного сетевого графика (ВСГР),
отображающего параллельно-последовательный процесс выполнения технологических операций,
для получения доверия к модели;
– определение значения критического времени kpT реализации ИМ ВСГР;
ISSN 1028-9763. Математичні машини і системи, 2007, № 3, 4
163
– оценка значений таких откликов имитационной модели, как суммарные затраты финансов
)(
,
∑
ji
ijC , общее количество используемых комплектующих изделий )(
,
∑
ji
ijko и материалов
)(
,
∑
ji
ijmt . Важно при этом анализировать также результат влияния состава и размеров ресурсов
ВТПП при h -м варианте его организации ),1( Nh = на значения перечисленных откликов модели.
Решение поставленных задач осуществляется в рамках технологических процессов производства,
описываемых с помощью вероятностного сетевого графика. В работе приводятся особенности
имитации, способы формализации подобных технологических процессов и предложена методика
верификации их имитационных моделей.
2. Формализация вероятностного технологического процесса производства
Во время функционирования вероятностного технологического процесса производства каждая
микротехнологическая операция из множества ijMTXO{ , },1, nji = требует для выполнения
предоставления на время её реализации десяти типов ресурсов: ресурса времени реализации ijτ
)10( =R ; стоимости ijC (затрат) на выполнение операции )9( =R ; комплектующих изделий ijko
)8( =R ; материалов ijmt )7( =R ; количества бригад ijn6 )6( =R и исполнителей ijn5 )5( =R ;
количества общих ресурсов ijn4 )4( =R и места на общих ресурсах ijV4 предприятия; количества
ресурсов индивидуального использования ijn3 )3( =R ; количества устройств оборудования
общего пользования ijn2 ( 2=R ) и места на этом оборудовании ijV2 ; количества устройств
оборудования индивидуального пользования ijn1 )1( =R .
Запросы ресурсов ( ijτ , ijC , ijko , ijmt , ijV4 , ijV2 ) являются случайными величинами. Запросы
количества ресурсов ( ijZP )( 61 ijij nn ÷ ) – постоянными и индивидуальными величинами для каждой
ijMTXO . Случайные величины задаются с помощью соответствующих функций распределения
( RijF ( z )). Таким образом, структура запросов h -го варианта реализации ВСГР множеством
}{ ijMTXO описывается множеством hG . В качестве параметров ИМ ВСГР используются
множество }{ ORn общего количества ресурсов R -го типа и множество }{ ORV начального размера
ресурсов общего пользования.
В вектор откликов hY для h -го варианта имитационной модели ВСГР входят следующие
компоненты: критическое время его реализации ( hКрT ), суммарная стоимость ∑
ji
hijC
,
выполнения
множества }{ ijMTXO , суммарные запросы комплектующих изделий ∑
ji
hijko
,
, суммарный расход
материалов ∑
ji
hijmt
,
. Статистиками имитации в l -й реализации ИМ ВСГР являются множество
ISSN 1028-9763. Математичні машини і системи, 2007, № 3, 4
164
ранних и поздних сроков свершения событий, а также резервов выполнения iSOB pilt({ , ilПt , })ilR ;
множество характеристик времени выполнения ijMTXO ijlрt({ , ijlпt , ijlроt , })ijlпоt [2]. Таким
образом, на входе имитационной модели имеются множества }{ hG , }{ ORn , }{ ORV , а на выходе
модели определяются значения компонентов вектора nY .
Критерием качества при анализе результатов моделирования ВСГР является функция
ϕ=hYmin }({ ORn , }){ hG . (1)
Оценка h -го варианта организации ВТПП получается путем усреднения векторов откликов,
полученных из всех l -х реализаций структуры ВСГР согласно процедуре Монте-Карло ( Nl ,1= ).
3. Особенности реализации имитационной модели вероятностного сетевого графика
Анализ функционирования ВТПП осуществляется с помощью имитационной модели агрегатного
типа, которая реализуется благодаря системе автоматизации имитационного моделирования
(САИМ) [2].
САИМ реализует агрегатный способ имитации, когда ijMTXO и iSOB , используемые при
формализации ВТПП, заменяются соответствующими агрегатами-имитаторами ijAMTXO и iASOB в
ИМ ВСГР. Первой особенностью имитации с помощью САИМ является использование процедуры
Монте-Карло [3]. Для l -ой реализации в режиме прямой имитации (модельное время растет от 0
до lкрT ) каждому агрегату ijAMTXO выделяются ресурсы предприятия на время выполнения
ijMTXO , что имитируется соответствующими операторами ожидания WAIT ( ijτ ). Перед
выполнением операции в моменты свершения события iSOB фиксируется статистика расхода
ресурсов (∑
ji
hijC
,
, ∑
ji
hijko
,
, ∑
ji
hijmt
,
) множеством }{ ijMTXO и статистика свершения событий
завершения выполнения операций }{ ijAMTXO . Второй особенностью имитации является то, что
множества }{ ijAMTXO и }{ iASOB реализуются только двумя универсальными
реентерабельными программами-имитаторами. Поэтому алгоритмы программ-имитаторов
агрегатов ijAMTXO с помощью множества параметров }{ hG формируют запросы на ресурсы ВТПП
и взаимодействуют посредством сигналов с агрегатами iASOB . Для каждого агрегата ijAMTXO и
iASOB в базе данных САИМ отводится место для хранения запросов ресурсов предприятия и
статистик имитации. Имеет место подобие ВТПП с имитационной моделью ВСГР за счет замены
ijMTXO и iSOB на соответствующие агрегаты-имитаторы [4].
4. Методика верификации имитационной модели
Верификация ИМ, построенной с помощью системы автоматизации имитационного моделирования
(САИМ) агрегатного типа, реализуется следующей последовательностью этапов.
ISSN 1028-9763. Математичні машини і системи, 2007, № 3, 4
165
На первом этапе исследования формируется структура имитационной модели ТПОП
путем замены ijMTXO на ijAMTXO , iSOB на iASOB , подготовки таблиц коммутации агрегатов
согласно ВСГР и последующей актуализации таблиц запросов ресурсов агрегатами в базе данных
САИМ.
На втором этапе осуществляется подготовка параметров имитации на основе натурных
экспериментов с прототипами ТПОП либо экспертным заданием их значений в тех случаях, когда
ТПОП проектируется. Результаты измерений значений запросов ресурсов используются для
построения функций распределения. Количество Rn ресурсов R -го типа )10,1( =R , используемых
каждой ijMTXO , задается технологом, исходя из априорной информации (чаще всего нормативных
расходов ресурсов каждой ijMTXO ) с помощью соответствующей функции распределения
( RijF ( z )). Функции распределения формируются с помощью гистограмм с последующей их
аппроксимацией стандартными распределениями.
На третьем этапе осуществляется «запитка» имитационной модели наборами
параметров средствами САИМ, в результате которой вводятся исходные значения параметров в
базу данных для h -го варианта реализации имитационной модели ТПОП. Компоновка элементов
имитационной модели при этом осуществляется из универсальных «заготовок» программ-
агрегатов, находящихся в библиотеке моделей LIBCOMP системы автоматизации имитационного
моделирования. В итоге формируется программа имитационной модели ВСГР с параметрами
пространства начальных значений, которые отображаются в виде трех множеств: { ORn }, { ORV }, { hG }.
На четвертом этапе осуществляется верификация ИМ ВСГР реальному ТПОП.
Проводится испытание очередной версии ИМ ВСГР, которое состоит из двух фаз. На первой фазе
испытания проводится верификация имитационной модели, представляющая собой завершение
этапа создания программы ИМ ВСГР.
Верификация программы имитационной модели ВСГР обычно осуществляется в
серединной точке пространства параметров. Основная трудность верификации состоит в том, что
запросы ресурсов ijMTXO формируются с помощью функций распределения RijF ( z ) с
использованием жребиев 2-го типа [3]. Верификация реализуется следующей
последовательностью шагов этапа 4. На шаге 1 этапа 4 проверяется правильность отображения
динамики взаимодействия управляющей программы моделирования с программами агрегатов
ijAMTXO и iASOB согласно технологии «проектирования единичной нити» [5]. С этой целью
формируется пять вариантов одной реализации ИМ ВСГР для случая, когда функции
распределения представляют собой нормальное распределение с параметрами N ( ija , ijS ), где
ija и ijS – соответственно среднее значение и средне-квадратичное отклонение запроса ресурсов
ТПОП ( ijτ , ijC , ijko , ijmt ). В варианте 1 для всех запросов ijAMTXO по функциям распределения
формируются конкретные значения запросов, равные 2/ijij Sa − . В варианте 2 значения запросов
ресурсов от ijAMTXO равны 4/ijij Sa − . Для вариантов 3, 4 и 5 устанавливаются значения запросов
ISSN 1028-9763. Математичні машини і системи, 2007, № 3, 4
166
ресурсов ijAMTXO , соответственно равные ija , 4/ijij Sa + и 2/ijij Sa + . Таким образом, в текущей
реализации ИМ ВСГР значения вероятностных запросов ресурсов предприятия для реализации
{ ijAMTXO } заменяются детерминированными величинами на всем диапазоне нормального
распределения N ( ija , ijS ) их значений. На шаге 2 этапа 4 каждый из пяти вариантов ВСГР
представляет собой сетевой график с постоянными значениями запросов ресурсов ( kijτ , kijC , kijko ,
kijmt ), где k – номер варианта. Поэтому на основании методики анализа параметров сетевого
графика рассчитываются отклики ),,,(
,,,
∑∑∑=
ji
ijl
ji
ijl
ji
ijllkpl mtkoCTY отладочного варианта
имитационной модели. На шаге 3 этапа 4 проводится имитационный эксперимент с помощью
программы ИМ ВСГР для тестового примера. Проверяется близость (с точностью до заданной
ошибки имитации ε ) расчетных значений вектора откликов ),,,( *****
llllkpl mtkoCTY = со
значениями вектора откликов lY , полученными с помощью программы имитационной модели
ВСГР. При выполнении неравенств
εε
εε
≤−≤−
≤−≤−
∑∑
∑
ji
ijll
ji
ijll
ji
ijlllkplkp
mtmtkoko
CCTT
,
*
,
*
,
**
;
,;
(2)
считаем, что ИМ ВСГР для l -го варианта ( 5,1=l ) верифицирована. Проверка близости расчетных
значений вектора откликов с откликами ИМ ВСГР для всех пяти вариантов позволяет убедиться,
что «единичная нить» ИМ ВСГР верифицирована.
На шаге 4 этапа 4 проверяется поведение ИМ ВСГР при «большой нагрузке», которая в
данном случае представляет собой имитацию на тестовом варианте с использованием жребиев 3-
го типа [3], обеспечивающих розыгрыш вероятностных характеристик l -й реализации ВСГР lijτ( ,
lijC , lijko , )lijmt . В итоге имитации тестового варианта программы ИМ ВСГР определяется вектор
откликов ),,,(
,,,
∑∑∑=
ji
ijl
ji
ijl
ji
ijllkpl mtkoCTY при Nl ,1= имитационной модели согласно процедуре
Монте-Карло. Ожидаемое значение компонентов вектора отклика ),,,( *****
llllkpl mtkoCTY = ИМ ВСГР
вычисляется по формулам
,05,02,05,02,005,0 *
5
*
4
*
3
*
2
*
1
*
lkplkplkplkplkplkp TTTTTT ++++=
,05,02,05,02,005,0
,
*
5
,
*
4
,
*
3
,
*
2
,
*
1
*
∑∑∑∑∑ ++++=
ji
ijl
ji
ijl
ji
ijl
ji
ijl
ji
ijll CCCCCC (3)
,05,02,05,02,005,0
,
*
5
,
*
4
,
*
3
,
*
2
,
*
1
*
∑∑∑∑∑ ++++=
ji
ijl
ji
ijl
ji
ijl
ji
ijl
ji
ijll kokokokokoko
∑∑∑∑∑ ++++=
ji
ijl
ji
ijl
ji
ijl
ji
ijl
ji
ijll mtmtmtmtmtmt
,
*
5
,
*
4
,
*
3
,
*
2
,
*
1
* 05,02,05,02,005,0
ISSN 1028-9763. Математичні машини і системи, 2007, № 3, 4
167
и проверяется близость расчетных значений вектора откликов ),,,( *****
llllkpl mtkoCTY = со
значениями вектора ),,,(
,,,
∑∑∑=
ji
ijl
ji
ijl
ji
ijllkpl mtkoCTY , полученными в ходе имитации.
Таким образом, выполнение неравенств (2) для всех откликов имитационной модели
позволяет убедиться в том, что тестовый вариант ИМ ВСГР верифицирован в случае розыгрыша
запросов ресурсов «большая загрузка» по функциям распределения RijF ( z ).
Вторая фаза этапа 4 представляет собой испытание верифицированной версии
программы ИМ ВСГР с параметрами, значения которых соответствуют серединной точке
пространства параметров, согласно методикам, изложенным в работе [5]. Испытание включает в
себя оценку точности имитации, проверку длины переходного периода имитации, анализ
устойчивости имитационной модели, оценку чувствительности откликов модели к изменениям
параметров и оптимизацию состава параметров откликов модели.
Проверка близости средних значений откликов имитационной модели соответствующим
характеристикам реального ВТПП осуществляется с помощью САИМ автоматически. По
завершении данного этапа делается вывод, что тестовый вариант ИМ верифицирован и прошел
все процедуры испытания модели, поэтому имитационной модели ВСГР можно доверять.
5. Выводы
Предложенная методика верификации имитационной модели технологического процесса
производства с переменной структурой в процессе функционирования технологического цикла
позволяет решать задачу анализа степени влияния надежностных характеристик оборудования и
состава ресурсов предприятия для тех случаев, когда технологический процесс реализуется на
оборудовании, при работе которого могут происходить отказы и аварии и тем самым может
являться потенциальным источником техногенной опасности. Подобная методика имеет
перспективу использования, поскольку обеспечивает возможность автоматизации проведения
расчетов при оценке надежности и анализе безопасности функционирования производства.
СПИСОК ЛИТЕРАТУРЫ
1. Смородин В.С. Методика контроля и принятия решений при имитационном моделировании технологических
процессов опасного производства // Проблемы управления и информатики. – 2006. – № 5. – С. 79–91.
2. Смородин В.С. Агрегатно-процессный стенд имитации для контроля реализаций технологии опасного
производства // Проблеми програмування. – 2006. – № 4. – С. 73–83.
3. Максимей И.В., Серегина В.С. Задачи и модели исследования операций: Учебное пособие. – Гомель:
БелГУТ, 1999. – Ч. 2: Методы нелинейного и стохастического программирования. – 103 с.
4. Максимей И.В. Технология имитации и обработки результатов в системе автоматизации моделирования
вероятностных технологических процессов производства / И.В. Максимей, А.Н. Гончаров, В.С. Смородин //
Реєстрацiя, зберiгання i обробка даних (Data Recording, Storage & Processing). – 2005. – Т. 7, № 3. – С. 71–87.
5. Максимей И.В. Имитационное моделирование на ЭВМ. – М.: Радио и связь, 1988. – 222 с.
Стаття надійшла до редакції 20.09.2007
|
| id | nasplib_isofts_kiev_ua-123456789-782 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Russian |
| last_indexed | 2025-12-07T18:47:19Z |
| publishDate | 2007 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| record_format | dspace |
| spelling | Смородин, В.С. 2008-06-27T11:53:04Z 2008-06-27T11:53:04Z 2007 Верификация имитационных моделей технологических процессов производства с переменной структурой / Смородин В.С. // Математические машины и системы. – 2007. – № 3, 4. – С. 162 – 167. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/782 007; 681.3 Рассматриваются технологические процессы производства, описываемые с помощью вероятностных сетевых графиков,особенности имитации и способы формализации технологического процесса. Предложена методика верификацииимитационных моделей технологических процессов производства с переменной структурой. Библиогр.: 5 назв. Розглядаються технологічні процеси виробництва, якi описуються імовірносними сiтковими графіками, особливості імітації ізасоби формалізації технологічного процесу. Запропонована методика верифікаціі імітаційних моделей технологічнихпроцесiв виробництва iз змінною структурою. Бібліогр.: 5 назв. Technological processes of manufacture, described by means of the probabilistic network graph, are considered. Particularities ofimitation and way of formalization of technological process are given. Strategy of verification of simulation models of technologicalprocesses of manufacture with the variable structure is offered. Refs.: 5 titles. ru Інститут проблем математичних машин і систем НАН України Моделювання і управління великими системами Верификация имитационных моделей технологических процессов производства с переменной структурой Верифікація імітаційних моделей технологічних процесів виробництва із змінною структурою Verification of simulation models of technological processes of manufacture with variable structure Article published earlier |
| spellingShingle | Верификация имитационных моделей технологических процессов производства с переменной структурой Смородин, В.С. Моделювання і управління великими системами |
| title | Верификация имитационных моделей технологических процессов производства с переменной структурой |
| title_alt | Верифікація імітаційних моделей технологічних процесів виробництва із змінною структурою Verification of simulation models of technological processes of manufacture with variable structure |
| title_full | Верификация имитационных моделей технологических процессов производства с переменной структурой |
| title_fullStr | Верификация имитационных моделей технологических процессов производства с переменной структурой |
| title_full_unstemmed | Верификация имитационных моделей технологических процессов производства с переменной структурой |
| title_short | Верификация имитационных моделей технологических процессов производства с переменной структурой |
| title_sort | верификация имитационных моделей технологических процессов производства с переменной структурой |
| topic | Моделювання і управління великими системами |
| topic_facet | Моделювання і управління великими системами |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/782 |
| work_keys_str_mv | AT smorodinvs verifikaciâimitacionnyhmodeleitehnologičeskihprocessovproizvodstvasperemennoistrukturoi AT smorodinvs verifíkacíâímítacíinihmodeleitehnologíčnihprocesívvirobnictvaízzmínnoûstrukturoû AT smorodinvs verificationofsimulationmodelsoftechnologicalprocessesofmanufacturewithvariablestructure |