Системы автоматизации геофизических исследований / ред. И. А. Кузьмин ; Акад. наук СССР, Кол. науч. центр, Поляр. геофиз. ин-т. – Апатиты : [б. и.], 1984. – 112 с.

Указанныевтаблицеправилаотражаютлишьвыбранныедляопределенногооостоя- ния, тоестьукрупненнойкомпоненты, состоянияилибазисныепрограммныемо­ дули, апоследовательностьдействийзадаетсянаборомправилперехода. Приобработке таблицрешенийиспользуютсяразличныеметодыиалгорит­ мы/4/. Приэтомнерешенвопросободнозначнойидентификациипередачиуправ­ ленияотсостоянияксостоянию. Крометого, втаблиценевозможноразрешить состояния, определенныенаоднихитехжекомпонентах, носразличнойреали­ зациейпередачиуправления. Сэтойцельюцелесообразнорассмотретьхарак­ теристическиечисласостояний zh = р?1 pv гдеХр- простоечисло, поставленноевсоответствиеномерусостояниявобщем списке, h - номерсостоянияиq < N, N - обще числосостояний. Втакойпостановкенетнеоднозначностиприрассмотренииукрупненныхсо­ стояний S i = { 8i 1 , j l ’ * * ' , s im , jm ’ " " ,a k lj и S t = { Si 1 , j1 •' " ,a k l* * * * ,a im , jm] * таккакхарактеристическиечисладлянихразличны. Алгоритмпостроенияукрупненногосостояния Множеством(з) можнопредставитьввиде- M(S) ~ M*(S)VM*(S)...VMk(S), ^ гдеM*(s) - множестводопустимыхпутейизм(з), определенныхпопризнаку равногоколичествавершинвпути. Аналогичнографсостояний G разбивается наориентированныесвязныеграфыц^, где 1 - числоэлементовмножества M*(S) и g = v v g 1. Следовательно, множествоM*(s) определяетколичествовершин, аа1 - ориентациюпутиипорядоквыполненияпрограммныхмодулей. Крометого, м*(§) инцидентносуместолбцовтаблицырешений, имеющихравноеколичество указанийнавыбранныесостояния, аэлементm*(s) Mq(s) определяетконкрет­ ныйстолбецизтаблицырешений. Так, длятаблицы(б) элементm](s) определяет укрупненноесостояние схарактеристическимчислом Ъу аэлементыm^s) ит|(з) с и соответственно- состоянияs1 и32- Схемаалгоритмадляопределенияипостроенияукрупненногосостоянияз.1- и, следовательно, нужногопути выглядитследующимобразом: 1. Определяетсяхарактеристическоечисло z^ длястроящегосясостояния Sr 2. Проверяется Zf-Z, где z - множествовсехимеицихсяхарактеристичес­ кихчисел. 3. Есливыборвозможен, тоопределяетсянеобходимоемножествоMq(s) и элементэтогомножестваmjj(s), иначепереходна5. 4. Вкачественужноговыбираетсясостояние поm“(S), тоестьопреде­ ляетсяграфGjj ивыходизалгоритма. 5. Наоснованийкритериярасширенияопределяетсявозможностьрасширения множестваM^(s). 6. Еслирасширениевозможно, топереходна7, иначесобщениеобоши­ бочнойситуацииивыходизалгоритма. 45