автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.16, диссертация на тему:Разработка метода и средств автоматизации имитационного моделирования сложных дискретных систем

Белорусский государственный университет

РГБ ОД

. 'о ¡-'Л/.1' , ' УДК 681.3

ЛЕВЧУК Виктор Дмитриевич

РАЗРАБОТКА МЕТОДА Я СРЕДСТВ АВТОМАТИЗАЦИИ • ИМШГОЮННОГО ЮДШРОШШЯ СЛЭИШ ДИСКРЕТНЫХ СИСТЕМ

ОЗ. 13.16 - применение вычислительной техшеи,, математического, ¡едйэлирояшшя и математических кем лов в каучних исследованиях

Автореферат диссертации на соискание ученей степэнч кандидата тестмзеках наук

МИНСК 1994

Работа вышдоеш «а ¡«..¿елре математических проблем управления Гомельского государственного университета им. Ф. Окоршш.

Научный руководитель: доктор технических наук, профессор Макелыей И. В.

Официальные епконгнтн: доктор физико - математических наук, профессор Аланаеович З.В. кандидат технических наук Флеров А. Б. &ЛУ!ц; организация: Институт технической кибернетики АНБ.

Зашита систотася £3 декабря 13§4 V. в 10 часов на заседании :люциа..лзироваиаого Соеета К 056.13.14 при Белорусском государственном университете по адресу: 222050, г. Шнек, пр. Ф.'Скзршш, 4.

С диссертацией можно ознакомиться в библиотеке Белорусского государственного универсама.

Автореферат разослан "__________1994 г.

Ученый секретарь си^циаж'иро^.чного Ссоыа, .

доктор тнаук, проф#ол~<р Скрипник Е. Н

0'Л;ая характеристика работа

Актуальность теш, Дяосертвциоаи.ая райста гасвякаяа вопросам разработки ивгода автоматизации имитационного модолярсштя да^ йоъ~

■ мэлизации сложных систем tt реалиавнш системы модолароваяте для

• построения, исследования и гксплуатацки имитационных моделей слотах. систем. Задачи, юзнякаирзга на различиях урояпях создания, едапгяагл и модайжацки модолэй, характеризуется особой сложностью, трудоемкости:. больной размерность» я. их шзлкацил яодаг керархичэсгай, кстаяекшшй гарзктэр. Е процессе решения обячш? участвуют кол-лзктивн различает типов сямцг&киотов, кавдй из которых ресээ? своп отдельную подзадачу. Зри этом результата реемняя одшех иадеч яг лямзя еходшмл дэнпшв для реализации других задач. Поэтому да рето-' ния тахжх, задач чссАэдеввная слот« систем *р9>3уотся адекватш» га-года и средства, со'аспвчдаавдя5 их рскотзацкю р.а различий* угознят. детализации. !

Самым раолрозтраненквм ггаидом решети? этих зллач является гда-татюшрв ?тод0лироввииб. Для построения юдагагаотых моделей ч реализация имитационных экепэрямэнтов со.уд?ят;:ч йретглетно кошдакса ввтомэтазздаа модаларовакяя. из главных доптокяств систем модс-ларовэкия выделим следуягяе возможности* орпйлацкю an .■проад-'лэнетй уровень детализация моделирования; лцадстявлваие хопцжг/ель-

■ кой база язмсовог-т обеспечения и? понята?, принятое и жтлекуекоя продаетеой оЗлзсте; ш:;ский уровень гаг иного лзккч; скорее*» псстро-эяия усдалей и. получения результатов моделирования. Теп ке , менее.

' ирвхигаеско* применение сугастзуувдх сио:тьм далелировекяя югиозктся з оснс/этсм емгадуйвмя нрячияейи:'ориентацией ксполъэуемал методов те «ХиксЕроввякай кгащептуальшй бвзио (одрс-уровнееке моделиi; ограни-ченностып технологических возможностей логовах и программна средств для создания я расвиреяк» иерархия дедолвР ft дадаадю урожае» ж описания, я также проведения ita т. доводах этою» яьй'Лд.... аджх «гстрименаш. '

Яа&чщавтся ориентация сущэсгдуигта теххита'к? .гакам us ?»аги-5-зцгю определенного уровня детализация мола-г-ровгетлелождах дестм, 'э в То. «о время хаадая ля технологий ажткшгазго .модадврегегдоч ■оряептгровзяа ий оиредалвиннй «от гс-зледоваг-блэй;', ГА«&?.даатвла т-экзд шлологиа яе могут разреватавать издали и реяйи.

комалокаше задачи ясследойвяия елгйкшга. ci'ctom. 'b ряетах эдиетсч'

/грэгрзихного продукта. В этих условиях становится актуальной задача разработки навах методов автоматизации моделирования и технологических средств ш применения. Данная диссертационная работа решает ряд осноыжх вопросов этой актуальной проОлчмы.

Цель работа. Целью диссертации является разработка нового метода автоматизации построения имитационных моделей сложных дискретных систем; реализация технологически? Программных средств автоматизации их конструирования, мониторинга и исследования.

Методы исследования, используомне в диссертации, базируются на системно« подходе к ооъекгу имитации, агрегатном представлении Функ-цискяровгшя компонентов модели, методике испытания и исследования' имигационних моделей сложных систем, методах планирования эксперимента к математической статистик?. При создании программны* средств, реализующих предложенные катоды, использовался общий технологический инструментаркй прикладного, программирования.

Научная новизна работы заключается в слэдующее:

-.разработан метод автоматизации тшационнаго моделирования, оО'Ьвдкняадкй в -одном формальном описании три способа представления сложной дискретной сесгвш: транзактшД, агрегатный, процессный; .

- определены новыо базовыа элементы, введена схема сопряжения кошо.чезгов модели я рассмотр ш их свойства;

- реализована двухуровневая структура программного обеспечения системы кодыкрсБашш У.101С, состоящая из оригинальных и известных сосгавтх частей;

- разработок и описан язык разработчика кокаокзнтов модели для системы моделирования М1С10, обиспочивагахий адекватное отображение механизма ¡к функционирования;

- пр&длогсэн ко привязанный к «к году автоматизации моделирования алгоритм орговдзадии квазшараллелизма, в ког&ром структуризация мо— , долей транзакпю-вроцвеенш сшсобом достигнута за счет нового механизма управления списком событий;

- спроектированы ди&таговыб технологически оболочки конструктора и исследовзтэля внйтацкокной модели, но имешиэ аналогов б других' системах кодэлгрования, £ которых оОаслбчивастоя автоматическая реалязецм посладоватальшстн этапов при кспольгованаи систем кодо-лирошшд Н1С1С.

Практическая' сдачжость работы заключается, в следующем:

- алгоргш метода неправлен на то, чтобы с имитационной моделью ыогли работать пользователи разной квалификации и степени принятия управленческих решений;

- автоматизации процессов разработки, конструирования и эксплуатация ¿¿ийтэцкогпшх моделей,когда всо элемента модели описываются по

единой схема, в которой заголовок гтреднгначен для огасаная мешай данных элемента, в тело служит для описания динамики функционирования компонентов и представляет собой последовательность операторов;

* - наличии двух уровней поставки имитационных моделей (отдела?; загрузочный модуль, представляющий собой технологическую исследсьэ-тельскую среду; множество программ компонентов вместе со виене составными частями системы моделирования);

-* предоставлении удобного пользовательского интерфейса для конструирования и модификации структуры имитационной модели, ее верификации, доказательства непротиворечивости модем содержательному описанию об'екта исследования; промышленной эксплуатации модели;

- построении и реализации с помощью системы моделирования MICIO имитационной модели сети ЭВМ, которая может быть адекватным аналогом для исследования и получения априорной информации о подобных прототипах соте".

Резлиза^я репультатов исследования. Исследования проводились г рожах госбютжетной тематики Гомельского государственного университета им. Ф.Скорины в соответствии с заданиями следующих НИР:

- ГБ САПР-15 "Разработка и использование моделей при созданий ВЩОТ, ориентированных на САПР, и реализация ее в виде программных моделей", номер гос. регистрации 81013592;

- ГБ 31-03 "Автоматизация технологии исследования, проектирования .и управления ВП в ЭВМ, комплексах' и сетях ЭВМ", номер гос. регистрации 019*001799?;

• - ГВЦ 91-19 "Разработка методов исследования и прогнозирования характеристик объектов, подвергшихся радиационному загрязнению в результате аварии на ЧАЭС для реализации в составе АРМа радиоэколога", номер гос. регистрации 01920005803;

- ГЩ 92-10 "Разработка 'методолог:*® и средств имитационного моделирования елошык кибернетических систем с программируемым интеллектом"; •

- договор "Разработка и апробация имитационной модели банковской телекоммуникационной сети" с производственно-коммерческой ассоциацией "Беларусь".

CM MTCIC используется к внедрена в учебный процесс при подготовке студентов ш специальности 22.04 - "Программное обесшчънло вычислительной техники и автоматизированных систем.".'

Апробация работы. Осноьше результаты работы доложены и обсун-Д61Ш но следующих научно-тзхническия конференциях:

-2 oil Всесоюзной конференции 'Моделирование систем информатики" (Ноадси^ииок, 09.3G);

ц

- ь'.вднародной конференции "Актуалшш проблемы фундаментальных наук" ('¿¡оскт, 10.91);

- научио-йрактической конференции "Вопросы экономики и организации )шформащ:онн: т техк"топй" (Гомель, 12.91);

- International. АЖЕ conference "Applied Modeling & Sisolation" (Lv'v, 09.93); ■

- the Ilrct international oonfsreRce "luforrsational technoior gietj ana systems* (Lvlv. 1G.93);

¿

- международна! конференции "Оптические а электронные средства и устройстве в системах распознавания образов, обраСотки кьоСра- ■ кени?. и синильной ю-формащ**'". (Курск, 11.S3);

- международной конференции "Проблема матэматики и информатики** (Гомель, 04.94).

Публикации. Основные результата диссертации опубликованы в 12 печатных рвОотах, а такке итоговых отчетах Гомельского госу-дарств-иного ушворсктета им. Ф.Скораны по ваподнешю ВИР. •

На 'заар'Л'у выносится.

1. Метод автоматизации яштадаоаюго моделирования сложных дискретных систем.

Я. Прс^решшй {«жплекс автоматизации имитационного моделирования (.система моделирования ШС1С), реализованная на основе прэ'длг -гземзго катода автоматизации югатанга слоиных систем.

3. Типовая технология применения нового метода имитации и fíHcrewu модеяфовшшя MJ.CIC.

4. Результата апробации метода и средства моделирования на типовой модели сети ЭВМ, отоорааадей ттсшгашый процесс на высоком уровне его детализации.

Достоверность научных положений, выводов и практических реко-кокд&циЯ нодтвериеяз в холе апробации кэгода а&томэтязации модеш-розущтя к технологии постановки имитационного эксперимента при исследовании шдзлйй. оргатюашги обработки информации в -гйдекодау--чикяцйокшй сети АКБ "Ве1агш'\ а такке в хода использования системы коделдаовании WOJC в учетном процессе. Использование предложенных катода« и средств автоматизации моделирования при разработке прог-^ашно-тьхяолсгсчэского комплекса АРй радиоэколога показало га работоспособность И ЗффбКТЯШОСТЬ.

Структура и обчем prifSo'm. Диссертация состоит из введения, пяти гл<ш, ошюяедлт. -.паска ли1а|«агуры a вяти-щйшжшрй; ¡плог.елп ни Ы>) ?тр%!№1<>х печатного . текста, содержит 13 рисунков, 3 ту'бллц, 47 ьай>.ыюьаь.ай 4KTfi¡;4TJi«, IE страниц ириломений. • ■

■ Краткое содержание работ

Во вводе ют дается обоснозапие актуальности вобранного направления работа, формулируется голь и приводятся Ъсновнне результаты работа, Енноташэ нэ задачу, показывается значимость полученных результатов. Кратко^излагается структура работа. - *

В первой главе представлен аиалия ' и классификация ■ языков систем имитационного -моделирования. Под системой моделирования (С?4) • понимается совокупность языковых и программных средств, которая включает: ...

- яшч моделирования; •

- программные сродства, обеспечивапщэ трексляциа к отладку модели, й такте другие стандартные' функции О.? ( например, продеиженка модельного врэмени,генерацию случайных чисел, сбор статистической информации, внвод результатов и т.д. );

- язык убавления системой моделирстания, реаюяозшшй на - основе некоторого монитора команд или система меню. ' '

Из опыта использования систем автомат*гаащга моделирована* можно сделать вывод о том, что в языке мсдо.тероЕа'Ш исследователя "в первую очередь интересуют четыре аспекта: парэмегризоваляость модели и ее компонентов; наличие алгоритмических пртаитнвов; наличия доступа к коделыам характеристикам; ггредае тгэя ориентация компонентов модели.

' Основное"" внимание удмязтся мд-эдоориенгироаакшм языкам с дискретным характером изменения модельного времени. В зависимости 01 подхода к описании рассматриваемых объектов иагатэадн и метола организации хзазипараллолизма среда таких язшсов выделяются составляющие расписание событий; управляющие . процесса?«; организующие взаимодействие транзакгов; 'орионтированнш на взакмодейстзие агрегатов: оинхрс'япзируяциб сети Яетри; представляющие комбинации любых ио .¿е-речислзннж способов.

Для постановки-задачи на разработку средства автоматизации имк-тациовного моделирования дается ответ яэ вопрос о' характере взаимосвязи между схемой структуризации объекта модел\фования и технологией использования программных • продуктов, то есть, мезду двумя составными частями система моделирования-- Для этого проводктск классификация по 16 параметрам типичных ди кааюго метода организации квазшгарэллэлизма СМ. В результате дэлается вывод-о тарспоктиг-ностя развития методов и средств автоматизации. •тятационного моделирования в направлении. разрешения противореча м?аду трйнзактшгок к процессным! СМ, диалектическом синтезе достоинств обоях как на уровне языка моделирования, так и штегрирудаей среды.

ix", RTotiog главе предлагается метод автоматизации шитьцкштэго мэдалирсряЕЙя. Освсвзсе назначение метода заключается б объединении в. одном фи{ма.1ЫЕ« oraicama- трех способов; ¡представления сложной дискретной системы: 'транзьктнсго, агрегатного!, процессного, определении новик базовых элементов, введении схемы ¡сопряжения компонентов модели и рассмотрении их свойств. Его алгоритУ направлен на.то, чтобы с имитационной моделью могли работать польвоватеЛи разной,квалификации и степени принятия управленческих райский. Выдел&нч 'четырехуровневая система целей работа с имитационной ¡гадглыо (ИМ), со^т-Бетстнущиэ точкам зрения нп него четырех..специалистов: исследователя, конструктора; разработчика и аналитика шишшопной подели.

Исходной информацией для применения метода олуяит содержатель-нос списшше объекта модсщюьашя (ОМ), где заказчик модели прежде ■всего формулиру о т цель Суддегр исследования и в соответствии с этой целью перерасатыввйт!-техническую документацию на существующую систему. Рассмотрим возмогоюстя данного метода в соответствии с целями моделирования. . . ' .

Це/ъ 1. Форжиизация ОУ.

На сонованга содержательного описания СМ знали-шс Ш дожк сгенерировать формальное списание. Б качостве шика формализации рекомендуется пригонять операторное исчисдениб по Ляпунову.

В Töc-рии сс гярсяо изученной схемой для' описания реаяьнкг объектов является Ередлокешшй в 60-х годах Бусленко Н.П., Калаикшсогам D.E. и КсвБлеккб If.И. кусочнс-линвйннй srpera? (КМ).'

ВвгдзггшксторЫ! KU д слздуйцим сбрляом. Состояние г, лудам уаргжторззовать как - •

S'Cb, р, 'С} ,ГД?

Ь t ю*, kíK - вектор кззалое КЛА, ирк-Ьтом и- шозиотво иркг-«йкоз, укягиБогщих гш.те.ч"мЭ9 состотемо канала КЛ& л. 0пр*Д"Лим 4 признака постояниЗ квкалэ: ь . -- начальное; bf - ачт1ю«ое; Ъ, - пассивное; t>4 - кгазйжтиглоз;

pe ffn, & « o;":!írir ( с « ) ~ вектор дмаш полог-. tptf «r; щи вэяеетвршюго (pj< ка) типа. Если в«1, то данное наэчюетс.я элементарный, а ври и>1 - чассшл" - •

.<г ? 'Ыо,м) - текущее время, сгтмдавеся' до язступлэют чого внутреннего события. " ' ' ■

• Пусть' сигкал.пяетупашяЗ кп juerv i (КНг} .пг.едстяь.м^о.г ссос-Ч некоторой КЯА л', опаоаниг. kotoikin привечено нижз.. .даваемые с клекмз í ( l«3<q ) так»: яа»лш с.я. 2-^ЕА vara л*. Куяапио таэшда к выгодная шм«й прпздагэь«?.?: дая периода кгикд:«

-и»» а другое состоите. Уолозикся считать,- то со&ггяо. состоящее ь .одновременных появлении шл выдаче ДЕух а?ре1-\тоз типа А' соответ-с'.тажо на .входах ш выходных клеммах, ;:йляетея невозможным.

Рассмотрим формц допустимых зхоошх и выхода.'!; сообзений х''(и, j^(i) и траекторий г'(г) КЛА Д', подаваемого кз клемму 1 КЛА л. Оостоязае. .'

г'- { 'о', , р", 'С. > ,1

КЛй л' отлдчаэтсь от сзс-голния йЛА л двумя тезисами: 1 > ев", те зет» КЛА &' кмеет ровно один канал; ?■) 1.' ; ш - яапраълбшэ передачи КЛА а' посла появления на ш-хоцной кле»»» КЛ А я, где я> - шожгство всех КЛА типа л объекта моде-ипроьашш. * ■ . • •

!Ш а ' имеб? едлнствеьнуы входную клемму 0, назначение которой гтеалогично назначению нулевой клемма ЮН а.ВнходюЙ сигнал у' КЛА я' ничем н.1 отличается от сигнала у КЛА л.

Обозначим/ собитие, состоящее в отсутствии КЛА а' на клемме 3 КЛА л, как х./0. Тогда опаратар переходов С КЛА л лредставим в виде

•даслачзс.чогс ояврэтора'

г.(х,п» - п ( х.-^р глр.р'*) ]

, где операторное шракеш;е

Ерр.р-; ='о0 ои... с^о,,... оа.а... о1Г.. сцо^

определяется для кэздой клейки 1>0, причем для Уа-77Г , выполняются сладу'одие услоки:

1 ) оаерзтср аагдача** воте-пгиелшоо время до момента яйс-

■'упления очередного внутреннего события, то есть . ф.р-);

С) операторы о„!£, где К < 1Ч, оорлбать-шш? и корректирует во к -•»•■ра гшнних р и р' «.»и порождает внходше сигналы у;

:3) оператор С(1 .1Н;!цияруе г перевод соответствующего канала КЛА л ил нач;-:льн.>го состояний я {(кташсе, а оператор о^ переводит его и геп-иг.чл'Ш нос состоите -

Ыэдюм еледуюет.о определен1.!);. Операторное шракетк ЕА<р,})') оудем чишють фрагментом КЛА, последовательность операторе* о.., ... Сг ^ _1 - актшлюстью, а последовательность операторов

•:>,.,...I.1, . - с»''бытием.

Ь'уогь я ' ... , > - ммйюгтеи оулй'вш но олйрггп ру

и (х,> • КЛ'\ тшл д, ьудя поступает КЛ4 .4'. оператор пе-

р-ь.дов 11' КЛА «' подставим ?акч;е в м:д» ¡даиигздг.к.л'о «.у>-р'Лора

• >. .Г'

а'и',г') * п (Е'^р'.р) з

, где I- условие "проверки прихода КЛА л* на одну из кдемм КЛА Б^, . а операторное выражение' -

' Е^р'.р) = 0о 01Г.. 0ц0г1... 0^... О,,,... О^^Д-ц

определяется для каадого из мноивства и>', причем для , 1*

1> оператор назначает потенциальное время до момента наступления очередного внутрешэго события, то есть

2) оператору 0^, где к < Зв, обрабатываю? и корректирует Бек-тора донных р• и р или порождают выходные сигналы у;

3) оператор Ор^' ^ корректирует элемент и' состояния г" и

тем самым определяет схему сопряжения НЯ& типа л, тс есть

4) шератор 00 инициирует перевод канала КЛА &' из начального ' состояния в активное, а оператор 01,4.1 переводит его в квазиактивное

состояние.

Формализуем, понятие схема сопряжения следунцим образом. Пусть ¿-гв1, а2, ... , ап> -"мноиестЕо КЛА типа А'={а', ... , а^} -«йнокество кла типа а', и,п - фиксированные числа. Обозначим через - множество входных клемм КЛА а^, а через - множество его выходных клемм. Пусть ш <п

ч=.и о. , и ©.- . . • ч ■ 1 . 1 '

шоавстЕа входных и выходных -лет всех рассматриваемых КЛА типа д. Рассмотрим множество всех отображений к: о--;« , "оторое можно ив-, терпретировать как множество потенциальных соединений мезду собой .КЛА, входаих в ¿. При этом допускается, что некоторым из входных клемм ставится в соответствие более одной выходной и наоборот. Однако не всякое отображение из к ргаяизу&ш. Пусть в соответствие г-й цходкой клеше КЛА а^ (назовем ее (I,г)-входом) .ставится выходная о-я влзыма КЛА а^ (назовем ее (3,о/-выходом). Иавдому (1,г)-входу соответствует множество Хц г) ' допустимых значений воспринимаемых ¿ходках сигналов. Точно так жо каждому <;],д)-выходу соответствует множество У,^ ^ допустимых значений снимаемых выходных сигналов. Тогда необходимых условием того, что (1,г)-вход жшт воспринять сигне.г с (З.о)-амода, являются соотноаешя

_ „Ч.-Г П Чь,> Ъ 0>.

.где К-ьп, .т. г>0, ч>0. Другики словами, по всякому создияе-

зко мог у? передаваться. КЛд а' адаиотзвкного вида к.

ю

Назовем отоброкениэ з> допустимым, эл.чь для каждого соединения выполнено соотношение (1). Лктбов допустимое отойратояие » назовем схстгой сопряжения. Она указывает адресацию )ИА. тля? в системе, состоящей из ЮТА типа л .Построенные КДЛ л и я ' назовем соотвэотвэгаю устройством и транэакгом.С другой сгоронн.как устроЯотво.так и тряк-■такт являются ггропесоаки.что следует m зрда кх операторов переходов. ГГрад-ггавление статических компонентов ОМ черэя вадешше устройства, яг дж1а!.з[ческж-чвр9з транзакта носит иг.званга тр&изактно-процесиный cnccotf формализации OW. Ж>веки овойстте»® устройства являются яара-тгараметризоватюсть еходоя, мяогофугкодюкальность поведения, автоматическая настройке я» обслужжгжщиооя транзактн, многоканаль-ность обслуживания, пяртешьнзя рчаяизагая .функционирования устройства и транзакта, размножаемость устройств. JSobhnm свойствами транзакта являются параметризация входов, многофункциональность алгоритмов их поведепия, настройте! ъв устройство, размножаемость, уникальный механизм выбора; маршрута двпкэкия по модели.

Сказывается, введя коклонентк модели тодобным образом и стандартизировав начальную и конечные активности кх лг/йк фрагментов, формализация ОМ" заключается в следующем:

- внделенж одинаково $ункцяонируюмх классов устройств и трэн-¡мктов ;

- о'тределении для каждого класса кгчпононтов векторов даншя рир'г

- приведении для каждой входной -.леммы воэх классов устройств внутрешшх событий операторного выражения Е^р.р') (1=Т7г количество входных, клемм), а для каждого клчсса транзактов внутренних событий-операторного выражения Е^(р'.р) (J-Г,?1--- количество классов устройств СМ).

- задании схемы сопряжшшя компонентой модели, которую удобно представлять -в' виде ориентированного графа. •

if ель 2. Прогрсшировант 11Ы.

Для получения прогрэжгЮТ и ее прообраза предлагается ягнког.ое и программное обеспечение, изложенное в лослодуми.т главах диссертационной работа. При этом стандартные опеуаторь*, образущкч схему сопряжения, организующие приход и выдачу сигналов, коррекягругаш времс-нгае координаты гит' состояний кемюпонтоя, выбирамцив и инициализирующие активности'кг списка событий и т.д., составляй? ЯМ. Задача разработчика сводится к перекодировке операторных внр.чионпй Sj и EJ в формате языка моделирования.

Цель 3. Kottcitipjupo6aHVf? АН.

Конкретную структуру кодеки -роргларует еэ кснструкхор. Веоб/ю, возможность построения различиях структур из бнзових maywwtoe т-

раделйотся свойством их параметризованное:1;! к отделением параметре от операторного тола. В результате конструктор может в диалоге с С сгенерировать любое количество версий устройств и копий транзак'юв, задать параметра'«! треОущиеся значения, перевести еще до оггчтов с № элементы во внутреннее состояние, отличное ог начального.

Цель 4. Энсшуаяация ИХ.

Нрждз чем дерейти напсоредстпенье к проведению ш;тационноп зхжрдаента '.ОТ) исследователь должен исштать Ш, то есть верифицировать и доказать адеквагнеегь ее реальному объекту. СМ М1С1С, которая визируется не данной методе, содержит комплекс средств, автоматизируюсь йтн етапь. -Технологически ИЭ по исследовании сеойств модели и гэкерацки выборок отличится только тем, что первые проводятся по жестко встроенным кланам. Ка заключительном этапе в дани;« методе рекомендуется использовать следующие возможное.и СИ М1С1С: постановка или выбора плана ИЗ с его реализацией, моиитсринга ИМ, организации и »когорта выборок в другие программные срада, загрузки имбмг хся в рйспоряакниц чеследователя пакетов ОЪАР; о их шйощъю можко проводить статист..,!еспуп обработку,графическую презентацию и техническое докумкт-ирсвЕйнг результатов УЭ.

В т ратьеК глава иредсацлены проект и реализация новой системы автоматазада шшацастшог; моделирования М1С1С состоящей из оригинальных и кг".еат1:ь.т. со-.'тав.ых частей. К оригинальным компонентам СМ ЗЛОЮ мозаю отнести :

,>- г/лашроЕПик задач, ск1хр01мзируюший: порядок выполнении отдельных ждулоЛ на осеоьан--! рьгз>льтатов диалога СК с пользователем;

- спыИмнчьй компилятор, реализующий' многоходовые процессы;

- технологические оболочки конструктора и исследователя, а&спвцвдгивд этапа проектирования я эксплуатации Юе;

- подсистему П№т&ц.-!И, -которая является главной с точки зрения чох**каст имитационного .<* «дэдиров&иая к предназначена для организации ку.аоичараллелй^ма в нодела;

, ■ - висдилоду Фунодей «гадглфов&чяя ддодаг автоматизировать создание ».грограмм юдаменх->в ИМ.

1~ТРУКТУРИ|Е С/.ьКН ХЧЫГ/ЮДЦ&СТЫЫ КОШЮИЬИ1С В ПрограгАНиГО

"ооаслйчвпчя СМ я/010, иэир-ьяэииая на получение прообраза М1Л«и. т.н. п^югрдах-ю-тежолох'нпесков среда для выполнения оперший по ¡сдаст руиром;и£.о, исштсниа и аксплуатащгл одной модели слояюй с;к-'1'змг, -¡1л^.'д<,:таалы'я ¡п шс. I. Как иг, п^п нишш, ичмь модель пину-•летоя г'1К «1 ьстроенной'ь загрузечняй модул;, •• «с прролрав. Ладное оЛ'^шгсльс^к» югичоскн, н шги'дг. и /Ц-жнн-ш* г^др-^цоуя^^ mr.nv.-~ ьы- лея нч , юйы'ц^кТч»;-.^ и ра^¿■'чдпйясь

Для огшшии программ функционирования кочли.чентсв модели сои-дан споциал>11нй язык разработчика модели. Вое типоьно элемент модели откиваятоя по единой схеме: заголовок, тело. Заголовок предназначен для "списания глобальных варчштров и откликов модели и собетп?нккх параметров компонента, а тело слудат непосредственно для описания дшемики функционирования компонентов и представляет собой послелователыюсгь оперятсров. Операторы и функции тела логически раудэлэш 'не следующие группы: операторы синхронизации ■ актиь-" иостей;опере гору вибор!*. .гранзактом маршрута: оператора изменения структур» модели; алгоритмические примитивы; опзраторн и Функции доступа к другим компонентам модели; функции и опера-горы управления порядком извлечения трааззктов из с/зьреди; справочные и строковое

ФУНКЦИИ.

В четваэдоЯ глава предлагается тетеологая использовать СИ КХСТС. Практическая ¡значимость технологической оболочка СМ М1С1С состоит I предсотавленик удобного гользовьтвльского интерфейса для автсмгтизациа иостров1мя, верификации и ¡эксплуатации имитационной1 мод?ли СС. Е технологической оболочке конструктора модели пользователю щюдсстааяяются сладу«*., .е возможности:

- управление классами устройств и тракзактов;

- со5дзсиь и модификация прообраза модели;

- генерация версий устройств и очередей к ним; •

- МОДИ$ИКВ"|!ИЯ состояний устройств;

- псрсждасю, просмотр к коррвкгаробкб состояний грзнзэк-гов;

- шзуачазация структуры у,о деда.

Технологическая ■ оболочка исследователя модели позволяет ему достигать три цздв: ворифгаэцая модели; докьзателъстио непротиЕоре-чивогтк кодел'е содержательному описание сб'екта исслвдовмшя; про-мдаланкэя эк;плуата?дая модели. Для осуществления первой цели кополь-ззюте» подсадном*:

■ - с-лредйдчния параметров и просмотр» откликов модели, где пользователь задает и измышп' ньчалышо значения во время икигааиоаного

- измечеччя состояния модели, когдь исследователь, двигаясь по дереву состояния, может сначала восстановить любую предзарителькс сохраненную структуру .чодели, а ватнм нроделгать имитации в другом напрчвдедаю; •

-' ак'л'гизащгк модели, где полыоьэт?ль выбирает один из уш-кашш спссоЛч' остановки имиташи, з г.отем начинает тг, продолжает :-ксгюрнч гНг;

- мониторинга модели, когда непосредствэщга вовремя адаашш или после остановки ее исследователь наблюдав"! за динамикой измена-: ння контролируемых переменных. \

Реализации второй цели способствует подсиагема испытания и. исследования свойств дадЬли, основанная иа статистическом анализе результатов моделирования.-Для' достижения третьей цели используется подсистема постановки', реализации- и анализа имитационного эксперимента , где ««следователь, будучи уверенным в адекватности модели, получает новую информацию, помогаюэдю ему принимать эффективные уп

разлекческие решения. *

Пятая глава посвящена апробации метода автоматизации моделиро-. вания к СМ MICIC при построении'Ш сети ЭВМ. Выбор объекта имитации был оОуслогчен наличием идентичной ИМ, реализованной средствами МК ACIWi а также результатами измерений реальных информационных, потоков при исследовании пакетного режима ВС ЭВМ. Моделируемая соть ЭВМ, включает в себя следуюциэ компоненты:

-узлы обработки информации,т.е.ЭВМ,которые еоеопочивает выполнение собственных и удаленных заказов пользователей (вычисления, поиска информации, деловях операций, хранения данных);.

-систему передачи данных(СПД), предназначенную для оперативной транспортировки данных в любу» часть сети.

На рис. 2 представлена подмодель .1-го узла сета и канала связи, соединяющего его с соседним з-ам узлом. Устройства., Генёратор-Регл_х"' и ГенераторПак_х~ являются обычтгаи процессами л служат для генерации соответственно регламентная и дакетшх заданий,которые планируются на выполнение в различные узлы. Устройство Компьютер" имиифуб? временной задержкой реальна»-процессы происходящие в ЭШ. Устройство Вывод" служит для имитации вывода полученных результатов. Е рассматриваемой сети планируется ограничение нагрузки с использованием "механизма окна". Поэтому перед'узлами коммутации СПД устанавливаются "окна" заданной ¡¡шршш ,т.е. вводятся специальные устройства с именем Oiow". Сеть передать даянах представлена следующими устройствам?: Коммутатор", Линия", Сборка"1. Коммутатор" имитирует работу узла коммутации СПД,т.е. работу колмуникапиояного процессора. Следует отметить,что менду смежными узлами коммутации передача ведется в двух направлениях одновременно и для организации этой передачи служат два устройства Линия1" с различными версиями. Устройство COojStó" гмятирувт работу по сборке пакетов как заданий, так и ре-зульгагой па >.ко,чо ь. узел с«ти ЭШ .Особенность» указанного устройства являет.-я йозмохность одновременного обслуживания неограниченного число грннпактов.

О Г- О ^ Ч ^ 4 ¿ H ií Т1 * Г. О I¿ 'Г К L, ^ Ь. V о с .

— - - - - Vor W i i,- i » I v i

-------.--Otue'f.i

)»>вхвв»вк а с- i л е_ i

i- 2: • Crecía ^i.'tú. cc-i ir

•я Gû^na

В процессе моделирования формируется отклики М, котасяе «едлн-ваптся следующими иер&мрнкнмп: -. _

-0рВр?егл_7- среднеэ время обслуживания внутреннего затфвеа;

-СрВрПзнегяых^- среднее время обслуживания внешних запросов кя'чдого типа (1=1,5); •

-КозфЗагрузки^- коэффициента, загрузи? узлов коммутвДии(j-TTTU).

Программа ММ сети ЧВМ чаписана на' язш;е разработчика модели СМ ИСГС. Результаты испытания и исследования свойств ИМ позволяют сделать вывод оО адекватности откликов моде лей,реализованных средства® МК АСИМ и CM MICIC, и, соответственно, о корректности алгор-.тма • организации квазшараллелизна в CM MICIC для предложенного метода формализации. СО. . • . •

Разработанная модель била применена для проектирования телекоммуникационной сети гомельского отделения окпионерно - коммерческого б&шса (ОЛКБ) "Belarus", конфигурация которой изображена на рис. 3.

В результате диалога с технологическими службами гомельского 04КБ (¡яла достигнута договоренность о реше;тчи с помощью метода автоматизации имитационного моделирования следувдих задач: '

1) опечки коэффициента. загрузки коммутирующего оборудования гомельского ОЛКБ при варьировании нагрузки в светлогорском ОЛКБ;

2) выбора маршрута движения Документов из кознрьского ь минское 0 АКБ; ■■ '

Я) сравнения потребляемых р" сурсов при сбоях ОВД на участке Ре-чица - Мознрь.

Для задания исходной информации и Испытания новой модели руководство гомельского 04КБ предоставило файл статистических результатов эксплуатации своей сете за ию;гь - август 1994 года. Вери?«циро* Baraocib КЛ было достигнута быстро, поскольку лмхаиты •фуккцисниро-вяккя узла и СПЯ двух моделей совпадаю?, a ^¡уктура н харектеристи-ки у.члов СПД задаются путем корректировки ^.орам^тров шютчмжа и ИМ в диалоговой оболочке конструктора нодоли. После реализации „л встроенном:,' плацу была установлена адекватность разработанной моделг. с пятипроцентном уровнем значимости. ■

Актуальность реш&нкл первой задачи Дл~' гомельского <iAKB состояла в ток, что при проведении сьовго маркетингового исслядоветля бачку т удалось получить достоверных дандых о потенциальном обт.еп? ркнга клиентов в Светлогорске. По р-Зоультагш рталшшю иащгам— пего ИЗ и оценки погроачоси» шатешк бал лдвлпк о несдогвтф

скачка коэффициента загрузки коммутатора rov-.-j'trKcro 0fJ<n при ччлу-гй о.овЗ документов в секунду. 5то торт о г/ог/, что перегрузок в репгочрлыюЛ cam нэ сл»дуэт отдалить, пс скольку по дакж»» fwi.fi MfipcfcTraTn АИВ в болчо пв;>,.Ч'»кютга1х с. течея ррмч:« г-'лог-зй trtj»-» -

. ноэтл Речящ^ к Ыозь-ра &тст параметр колеблется в 2-4 раза меньшиу границе*. Пей данным ИЭ, поставленных для решения второй и третьей ■ задач, могао^утьэрхишь о преимущественном использовании банком ви-делонкнх каналов парад комаутируемнми линиями<для обеспечения опти-шчьтх регкмов функаюшровачия своей тедак&аушкэцЕоняой сязи.

OchOBEKtí результате и выводы работы

*': О •

3 настоящей робота: разработан кобмй ме.тод автоматизации имитационного моделирования 00 и технологическое программное средство 1 СМ M1CIC, базирующаяся ка данном методе./Б ходе разработки технологии ■использования Ш KICIC решен ряд практических задач построения и исследования ИМ СО. При апробации этой техяолспга подтверждена прз-когьность выбора принципов, положенных в основу метода, а также язы-коьох'о к программного обеспечения.

, Основные результаты диссертационной работы состоят в еле душам,

i. Разработан м&тод а-мокатиэмии имитационного моделирования, объединящий в одном формальном описание три способа представления сложной дтскрегяей системы: транзактякй, агрегатный, процессный,-определена новые басовые эл'мэнты, введена схема сопряжения компонентов кадет я рас смотре ну их свойства.

-2. Дпг-оритм мзтода направлен на то, чтоб* с Ж могли работать пользователи разной квАяиГикацач и степени принятия управленческих ' решений. " ■ ■ t .:■-'';.'

3. Раэрейотана СМ Ы1С1С, обаспечиванлал реализацию метода автоматизации моделировеагй и поззелящая ускорить процесс ранения задач ; исследования СС. Научная новизна СМ (ÍT0IC состоит- в разработке

структурировании* оригинальных алгоритмов, обведатавгицйх конструирован!» и вкспяуатаци»"Ий как- совокупности параллельных процессов. Предложена .двухуровневая- структура программного обеспечения СМ M1CIC, состоящая из оригинальных и стандартных составных частей. Наиболее интересными из оригинальных составных частей являются:

- технологические оболочки конструктора и исследователя, обеспечивающие зтаяггпроектирования и эксплуатации КМ;

- библиотека функций моде.з.тсванкя позволяющая автоматизировать создание программ коипоненк® Ш; .

- специфичный' компилятор, позволяющий реализовать многовходовне процесса. - -.

4. Создан язык • разработчика вочповентов модзтаг И ЛЯС, с соответствии с которым все типовые элементы модели оотснваются по единой схеме, в которой заголовок предназначен х. я отманил внеазлк данных &токеага, а тело служат непосредственно дл? описания динамика

' 1S

фуикционзгрсваяяя компонентов и иро#зтяв*яо? со^ой послэдовмыккость операторза.

5. Првдлсшш типология испольсоеэяня СК '».1010, заклглапдаяс;« в реализации последовательности этапов, не' йкаадда. Еиагохоь у. у-гшс.-СМ:

' ' - установление множества классов устройств л классов »¿ото I' типсш? траняакт&н;

- костроение начальной, структуры модели на основе формального описания;

- задание параметрам модели начальных значений и установлен , состава контролируемся информации, выдаваемой на экран во крепя тации;

. - верификация кода.® средствами соотввтстаухцкх псдсиств» токологических оболочек ОН М101С ;

- оцетса адекзатнсстн и ксслвдовевде оьойсте шятшошюй мс*?-

т;

- автоматическая постановка плана и реализация кногопротшг.го имитационного ькоперинента.

Практическая значимость технологической, оболоччси С!.! Н1С10 состоит в предавав лежи удобного пользовательского интерфейса для автоматизации построения. верификации и эксплуатации икитэвдоиной модели СС.

е. При зпробацж С!?, Н1С1С построена 5! реализована Ш тэлвкошу-някзц?окнса сети АКБ'''Ве1ап'.-".которая пожег быть адездатЕЗМ аналогом доя исследования и получения априорной информации о подобнее прототипах сетей.

Список публикаций по материалам /шссертеции.

• • Леъчук Б,Д. Счетеуэ мод&ллик-'кия 41С1С.// Тезисы нйуагочфскги-ческой когфереящгп "Вопроси окояалзю к срнашзтгл- йн$с1лащон-нь% технологий'1. Гомель,часть 1,1391,с.с.66-69.

2. Левчук В.Д. Об окршяа редакторах СМ Н1С1С. ,•/ Тезисы кеучко-практической к6ъчврснц1п; "Вопрос:.; экономики к организации кифор-машонннд технологий". Гохель.чпвгъ 1,1591.

3. Левчук З.Д. о яйкке описания дискретных сложных т-гвляег.цадъкы* систем. //Тезиса международно:! конференции Актуальные прздеш •^ндвяйртальнкх наук", '/оскзз, 1991. с.26-28.

4. Левчук п.-Д. Организация графической ызу/алкзахши ящчизрискйг. дпнимх в СМ ЙТСТС. //?влуси ичцгупирт'Я коьфзрешшй "Спт-таскло .4 :1.>-!Прор||',||; Г[Г_- и ¿::1рой„ТРй В СЧСХб-ИЯХ р;кТ!ОЛгПч;.Н!=| С,-рззоь. cjbt.6ur.ra шобр:.лога'й я ¿чэдомялй т:;>.р.*пцгоГ.Куг>ск. .VI Д.

ь. лвр"ук в.д. Некоторые зстачты интеллектуализации декларативного языка описания слсошнх'дасхрэтньа систем.//Тезисы 2-ой Всесоюзной конференции "Моделироаанге систем жформатгаси". Новосибирск, 1390.

6. ЯэЕчук В.Д., Макскмей И.В., Оукэч Е.И. Программно-технологический стенд имитационного моделирования архитектуры сетей ЭВ;... />Те.зисы межоуняродной коысеренции "Оптические и электронные средства и устройства в системах распознавания образов, обработки изображений и символьной информации".Курск,1993.

7. ЛяУчук В.Л., Снятл1чны Д.А. 1 1ш. Дыялагавыя сродк1 даследваяш 1м1тацыйнай мадэл! у асяроддз! ОМ MICTC. //Тэз.1.сы м1кнародчаЙ канферэнщИ "Проблемы матэматыкЛ. 1 1нфаркатак1".Гокель,19&4.

8. „ЗДчук ы.Д., Сукач A.I. Внн1к1 даследвашя 1м1тацыйнай уадэл1 сетк1 ЭйМ.//Тзз1сы м1кнароднай канферэнцы! "Праблеш матэматык1 1 1нфарматын1и.Гомель,1994.

Э. Максимей И.В., Осипенко А.Я., Левчук В.Д. и др. Прсгреммно-темю-логический комплекс имитации и распознавания данных системной пр.роды.//Тезисы научно-практической конференции стран Содружества независимых государств "Распознавание образов и обработка изображений". Минск, 1993.

Uhlevchuk V.D., Kcaarev а.Е., Sukatch ЕЛ. "Technological 'josalbi-llties of simulation modeling complex of syatema with progrn-mable intellect". Theees of reports of the First International Oor.ierenc "Informational technologies and systems".Ivor.¡993,p. 17-18.

H.Kaxlraey I.V.. Levotok V.D., Dolir.sky M.S. Programme Ttichnologlean tools for Complex Sy;_-.erri8 Modeling, Advances in Modeling and Analysis,С.АЫЗЕ presa vol.39, N 1,1993,p.p.t-'").

12,Kaxlrr,ey I.V.. LnvCiiuk V.D., Sirtmtch B.I. Progranima techaolugicsm Complex of Simulation Modeling. Proceedings Intern. AffiVE Conference "Applied' Modeling v. Simulation", Iviv (Ukraine), Sept. 30-0ct.2,1993,,AKSK press, p.p.T5-83.

Роз таз

Лл?чук В1хтар Дзм1тры9в1ч *

РаспрацоУка мотвда 1 сродка? а?тамятызацн1 Штацыйкага ' мадэлявапия складаных даскрятннг. с1стэм

1м5лацыйме мадаляванне, мзтад аутомотцзоцн!, sic-sbta «вдвлч-вання, M1CIC, ташалог!«' выкарыомнна, тз.;налаг1|и?ал е<7алсм:а, мсва гаспрацоуигшка, anpsiauan.

V дксертэцыЯяай раооцв разг.рацаваиа яоаы ндтад вЬ'тзматиэйна! 1м1тзцыйнага маделяьання екладаяья днскрэтяых oioreti i гетчалахЧчки праграмкы сродак cictaMa мадэлязанпя iCM) tflOJC, якая c»3jpyeuu.4 па дадзекым метадзо. • У ходзо раснраио£к1 '¿'отологИ эиуорыав'тя CM MIOIU варашгны играг .практичных задач яабудови i дясдадваяня iMi-Тйццйках маделяЗ (IM).' Падчас апрабаЕ&1 гэтьй текквлогII п<ацв?ркжвпа прзвдльяесць вы<5ара прынцыгга}, пахсладзэних у яснову метаца, а такоема моУнага i прагршдаога заевспячияяг Рисприцезаш мет ид е?та-мгтезацы! 1м1га1тйаага мадэлявзння аЗ'яддаУгае у эдчнм фасыалышм anicareii три схюоабк прадст«5Гл«шя окладепаЯ даскрэтнай Иствш: трэизакткы, агрогапш, працйснк. Алгарнгу ыегада нак1разакн на тое, каб a it4 магjii првцаввць карнста.чькЗкг розней ксал1ф1кацы! - oT-jneui Припяти Kipajaiiffix рааткия}'. СМ ЩОЮ зэЛяспячэае рвал1з?щаю мг.гзда артаматызьца! маделявання 1 дазг-ляе паскорш'ь ирецэс рашанля задач даследванкя оклэданых с1стэм. НеДгол'ш ц1ксйым1 з чрШ'1непъник чао-так з'яУляюцца тэхналаг!чния айаленк! к&кмруктара i дгяледчкка ма-дел!,а таксама б1бл1ятека фуакцкй цадвляванкя, дааведпючач ^Утамьтн-чававд. отварвянз прагрз.м кампаяента^ 1.4. У готых nparpaiiasf. усе тыяо-вы/! влвмеята мэдэл! ап1сзаюццз та адз1нэй. crevo, у яко'З зах'*лочак лразягчаны для 8П1оаяня зпеш±х. дадзвяых е.теммта, я дола пячарыо-то?ваеццэ неяаерэдаа дам аяйзэкик дыаем1к1 фундоятсаизя камяг-над-таУ i уя?ляэ паолядоуизсад» втерагареу на мово ргеггррцоушчыка ка'.гоа-аента? ма.дэл! CM MICIC.

Падчас anpatfauui CM M1CI0 пайудбвани i роая!заябяа ХМ твлоккму-н1кацыйизЯ оетк! гомельскага аддеялення A'"-! "Bclarua", ян а я моча оыць адекьаткым онолагам для дЕОлддзэш'.я i етрыканнп зггрьк-уит!. [н-ф^рмацы! грч падейшя г.фатйтыпк csvaK. СМ ГПСХС гикарысто^наецца ? кавучаяьтпл працэсе нэ матемьты^ша» факулотецо 1 дли гыканчЕвг. ра^от па дчгпзорЕэй гэматнцч кэгв.цри МП1С ГДУ iып Ф.Сязр-ыяк.

Siumary

Lnïchuîc Victor :

Ta?. method ead software aakJJig oí the simulation automation of couple* discret systems • '

o.'..ruia':ion, automation method. eittulajcior. pystcai, JftCXO,

•iti.liKit '.on teoJmoicigy. tecliaoicgiaal ebeii, maks.r language, tr-iil

XhD пил ¡nythort of -tile fámula l.ion automation of ооирХ-эх diaorei ' ?ynt.s.T);3 >,r;¿i the technological software teuof,T. ce elnnilatlon , syston (F;f>) MX. С 1.0 and Ъаней or. the Fiethod ' аЪота is conaldeitid in thp d inner tuUon.lhe aeries of practical tacks oi eiwuiation.models (SJO owatlsg and inveeiigaslug had. been -ioJving at, the UIQiQ utilization teahnoîogy .'¡»akirg, The choice oorreotnaaa of. the pi'lrviiplsu having laid in method Ъаеа, the mocUilir^ langage nnd Um aoiteäi« «гае coafijm.si after this tschnoiogy trial, lto ®ivm wethoil unite.* ir. ov¡o fc-val dssoriptton three v> ay s of coftplf.x discret syetea preeentftilcat trensaoti«, imitai, proocreal. l'he nôîhod aUscrltm le handiod on U3ï№ ï.dth different ou&.lifica+-iori anO -■Шй^оИ^! oâoj.dînç level г vkíug with ZU- PS MIíUC ensures th.? realís,-¡tc.n öS the üiel'.icá о,. s.isiu.«atioa automation and permite to aocalsT-ate the prooesc. t-I tçisS«,' Bclïlng of cori¡pi(i-i di.Bcrot Sïoteirvj invwiigjiion- A nwstructc^'s an* ад invratigator's toojií¡c-iogio«-il shells ara -the пм?г- Int-irjRtir^ frort its oris-insl oûapor.onfc». .The' moduli:;»; fuujiions library nmnitn to aitcM.fcJ.2? ргдомпз агсакДюу oí SM clemsntiw All etaqderd elements oí nodal pi ttiBixs рго^глав ата rtisorííisd sooerding ho the only paUe^rç. VhP Head ík ¡lí-áiiad to aofcorlto ?» slssenb extw.i.fi) (ibta. Thu toci;/ ie cawed for the el<;®=s5¡.s behaviour and is repveççnted р.

of opera«or: on She Ss htC-tç laqgwge fer elinwKSe traitis*.

Tha SM of the tdlrf oiiStRaiioaiicna! not of Ъапк "Яз1згип:1 Cómel I'lpyftiftnt haci heen "builüi!^; and realising at Гяр SR IttCïO trial." It t-.an Ьл Bvdtabl«. «jtraqple "от in^&Eiígaticn «ad infonrefcian íibtaLilas stout ¿»uch nets protocypíi;. BS UtCÎO ici ocöU in ¿isuoatioiiai , proaeae «t aatl..«ati«Mü flapartrasnt м4 for íror-kins ь^ • .4-»tl«a.-5t cUbj'eols of the IfonaKrvper.fc lf.-«tlts№4«i'3al ?ír>bleBK. fscblty iV'.'thí ú-j." .1 State UniversItj' to

Резшо

ЛеЕчук"Виктор Дмитриевич

Разработка метода и средств автоматизации имитационного моделирования сложных дискретных систем

Имитационное моделирование, метод автоматизации, система .моделирования, ШСХС, технология использования, технологическая оболочка, язык разработчика, апробация.

В диссертационной работе разработан новый метод автоматизации имитационного моделирования слоимых дискретных систем и технологическое программное средство система моделирования (СМ) М1С1С, базирующаяся на данном методе. В ходе разработки технологии использования СМ НИК решен ряд практических задач построения и исследования имитационных моделей (Ш). При апробации этой технологии подтверждена правильность выбора принципов, положениях в основу метода, а также языкового я программного обеспечения. Разработанный метод автоматизации имитационного моделирования об§еданяет в одном формальном описании три способа представления сложной дискретной системна транзакций, агрегатный, процессный. Алгоритм метода направлен на то, '¡тобы с ИМ могли работать пользователи разной квалификации и степени принятия управленческих решений. СМ М1СХ0 обеспечивает реализацию 'Метода автоматизация моделирования и позволяет ускорить процесс решения задач исследования ¿-ложных систем. Наиболее ичтерееншли из оригинальных составных частей являются технологически;; оболочки конструктора и исследователя модели, а также библиотека функций моделирования, позволяющая автоматизировать создание программ компонентов ИМ. Б'этих программах вое типовые элементы модели описываются по единой схеме, в которой заголовок >редназначен для описания внешних данных элемента, а тело служит кьпосредственно для описания динамики Функционирования компонентов и представляет собой последовательность операторов на языке разработчика компонентов модели СМ М1С1С.

При апробации СМ М1С1С построена и реализована ИМ телекс,ммуки-кзционноа сети гомельского отделения АКБ "Ва1агиЕ", которая мл*-"" быть адекватным аналогом для исследования и получения априорной информации о подобных прототипах сетей. СМ МТС1С используется в учебном к» математическом факультете и дл.| ьшгс.шеция рис ¡от ¡1 > Л-г>!П-Ч'Н">й »<>мптшп» к'ф-дрн МГТУ ГГУ им. Ф.Гкоршш.

V ГКОIV-ЛI-

Ливчул В.Ц.