Неофициальный отзыв 7 (Методы и программные средства моделирования сложных динамических систем на основе темпоральной модификации раскрашенных сетей Петри)

отзыв иа ав)орсфсраз диссертации Королев» )О.И. БМез оды и программные среде гва моде($)ЦИ>ваи$(и с(!0>к)(ых,'($(и>)а)$(чсс(сих сис)см иа (>сиовс '(са>ИОРБ($$ иой х(о>(ич>и(са)и)$! рас)ср>и))е)$$$$)х се(ей))е(ри», ирене(Явленной иа соисьаш(с ученой стен(иш )са)$>$$$>(а)а гс)ишчссиих паук ио специальное ги ()513.11 - ма ! сма! Ичсское и иро! раммиос обесиечеш(с $>ы')ис($$(тсг)ь()ь(х манию, комплексов и иомиыотсршех ссгсй )($$5, каф >11'(У нч.

11. 1. 1>а) >нша )асл) же(н(ыи', (ся ! С.(ь науки Р(!>. (л.н.. проф. .,--.' м ,~дж" '-' %", -'"' ' а ' (!)ахни«В Л )) ф(фЬтВЕЕВ 1!о;шнеь 1!!ахно)>а В.Л, улосзовсряк ,'3 )) ''ВФЯ.. ФВВВНЪИВ К1ДРВВ ЪЙФ'"ф')!))$()ВВ '>рофсссио((а ишш „ ооркн)«аш>я «'!Оск Б)скн>(! ) Ос>.(арс! Бе>и>ый >С4Б>! (сб>!($$((Р4)()))ь(1)с)1(ет(". ичгиш ! !.').

Йи»$(«и)и (Х!!' !'У >$>1. 1(. >.!)Бу>и>на).т(()5[)М,,:)$$ое)ктв(1, '>-я.)>$)ВХ>виска>$ >и...!. 5, сгр. 1: 1с.(л ( (90! "..Йз БЗ В! . е-ига!Ь Ьаиинин(( Ьшя(и.ги, БСЬ: »4ВКЬща((>,.ги. !"Бн>)а !хоро)(е))а )О.И. Иосвян(с))а )заз)таоотке $>овых мен)ло«Р! И)т())рамм)(ых срс>(си>;0>я создани)! Я>0,:(с.')ей:(ивах>и~)еек)(х сне(см. Ко)0)ть(с нре'(5)а)т)с(ея иене))ьзош(гь в нн)с шск!) (Ыы!ых сис Ремах монин)ри)на и ) нр )в>свив С.н)жн! )мн >ехническия)и Ооьекгами, Лк Гу(с(ыюс ! ь '! Смы обусловлена ншроким расцростран(яшем ин ! е.)5(е>г! уальных сис гсм шшдсржки принятия решений реально! о време>ш (И('1!! 1Р РВ). о;н>им из осншшых ко>$$(овен(0)5 кО)орь)х 5(В;)ясГся ИО.(сис)ема х)0;(с.>$)ро)сания,!.)я ана.(из(! и нро! БОзировги(ия е)г(ти)н(!1, н )ем.

')ТО Б извес'!'ных нр(н рамм)н!х ком))лексах;(ля рсгв(и'5ании сис'(см рса:и но! О Брех(ен)$ ире„'(е)ав;!ение В)тсмеинь)х (тсхи(ора.'ннн )х) зависимосГСЙ между Отнс.1ьиыми ком«оно«тами сложных сис)см )шхолизся Ба нс>(осн(>очно огра(ютгншом уров)иь В р>ин)! с $)ре,'!.$0>ксна молифик(1ция (1)01)х)а.'(изхн) и:н!0! 0 из нре.'(сн($5$! ! слсй 'Гак назьнгаемых ее)ей 11(')р)! $5! >соко)0 урош(я - )з;!Скр:нненных с(той 110)рн рса.)ы(0! о времени.

МОГ()н))РИ(()ци)! '>ик.'ИО'н)е>ея Б расин>ре)и)$! ф) ик)и>иис>ы>ых сре (с! В д.(я > ')с ! а з емнор(!'>ы!ых зависимос ! (.*н! $(редложен .Мех:шизм ирименсния фора л гс>нн>раш,ной ш))ервальной .ю! нки Лллсна « кач юию звони гных функций' нерех()д(>в се)си; нрс шожены метолы;иш:шза и верификации ,)олс.юй. нос)рос)$)н,)х с иомони,ю ио>ив о аннараг(!. $(а ое)н>ве нодхола Мо(1с) е!зес)(изй (1(ров()рк ! мш(ели): !Я)5)за»0)ш(ы и ргд! И)50)ганы 01)и! И)юн,ныс а.'Вериг>н! ф) икц)$0$(иро>5()ния (ак)(х х)0,(е.!«Й.

Оннс;ш ра)рабоглш)*)Й цро)р()х)хн(о- шс(рум(лггтшьшяй кохш.)скс лля мо,(е,)$>ро)>ан($5! е:н)жи1,)х;иин(ми (сских сиез(.ч, $'(рс,н10)та!'.шн(н1Й )и)(е)рац)ио с ма)ечаишсским и нро!'рах)х(ных( обеснечгвшсм ИВ Р!11Р РВ и привел.н нримср ргиюгы по)о нро>ргчмнао нро;(укра в и(даче х>о,:(е:$$)ро)>мшя ооьекго«иск)рошср)стических еис>е>!. гго $(ОГ! ! Бержнае( нр 1к (и'(еск)$0 5н(н)имос ! ь )табо ! ы. Заме (а)ше )ю (екс)у ав)орсферага: Исцользовшшс бею)ясных со(ей 1)е)р>$, на ко)орые орнен(нр> 0$(в! Б«>0)з„в $(с.н)м О! )нн$$!"н!$>ае! Бозмож$)осзн чо;ю.и!)и)ва$$$)я.

и мо,*(сль Б нох1 0.$> ')ьс можно нр(ь(0$(ши ! ь к()к ( (.'! ! Б«$01>шов. О>мс'1снное '5«м( )ание !1с с$И1жас! Ионв'!'0 ИО.>ожи)с.')ы>0! 0 $)нс'(аг.'>ения О!' Рабо)ы. ко)ор()я «ьн)о.н)(в!В»;! ))ысоком $)а>'чно-ква )ифи>(0$($$0>н!05! уро>)не. соо>ве>с(«ус! «!10:$0)кению нр>>еуж (е)$$$$! учешнх с)еценей>н а ее»вгор 1хоро )ев К)рий Илыш зае.)рк)и)ас) ирисужлсш(я ,')свой стсигли! Кан,(идв(а $(хии )сс))0)х на>к но сн(лн)а:)ы(оси! 05.!.">.1! - Ки)(ся)а($! (еское и $(ро! р;)мм«Ос Обесне~)е)(ие $5),нн)с.шГС.)ыиях мгннин. к(ии!.)сксов )! Кох)н),н))сриых есГсй.

.