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

новисполнениеипреобразованиеинтерфейснойчастикомплексовавтоматизации. ДлярешениязадачиорганизацииадаптивногоуправленияпроизвольнымиКАМАК- структурамивводитояпонятиепрограммногоКАМАК-модуля- цепочкиинструк­ цийдляуправленияотдельнымаппаратныммодулемилисовокупностьюих. Под инструкциямипонимаютсякакпрограммныеоперации, танимакроопределения иподпрограммы. ПрипостроенииформальноймоделипрограммногоКАМАК-модуляиспользовано понятиепроцессасконечным числомсостояний. ПодпроцесоомРпонимается совокупность S,F,I, где s - множествосоотоянийпроцесса, я - функция переходаизсоотояниявсостояние, I - состояниенеопределенности, имитиру­ ющееотсутствиепроцесса. Предполагается, что ПроцесоуР соответствуетграфотношенийа, вершинамикоторогоявляют­ сясостояния процесса, афункцииперехода определяютотношениямежду вершинами. Введениесостояния I позволяетрассматриватьконечныйориенти­ рованныйграф, где I являетсятакойжеполноправнойвершиной, какиS.,. Наличиесвязей(переходов) междуразличнымивершинамиивершинойнеопределен­ ностиобусловливаетнекотороеначальноесостояниепроцесса. Нахождениепере­ ходовмеждувершинами si и устраняетнеопределенности(1,о ) иориенти­ руетграф, авместестемипроцессвнекотороеконечноевыбранноесостояние. Втерминахтаблицрешений/4/ состояниенеопределенности I эквивалентно правилу ELSE. Аналогичновесьпроцеосможетбытьпредставленрасширенной таблицейрешений, вкоторойсправиламисопоставимысостояния, афункции переходаопределяютнабордейотвий. Этитаблицыпозволяютиспользоватьме­ тодикурешенийподобныхзадач, апредставлениепроцессаввидеграфадает возможностьприменениятеорииграфовпоустановлениюзависимостимеждувер­ шинамиивыделениянекоторыхподграфовдляопределенныхсостояний. Представимввидеприведеннойсхемыпрограммный КАМАК-модуль, вкото­ роммогутбытьопределеныиэлементарныеоперации,исовокупностиэтихопера­ ций. Элементарныеоперациисоответствуютэлементарнымсостояниямпроцесса совокупностиопераций- состояниямпроцесса3i. Функцииперехода, или правиладействия, определяютсявсоответствиис наборомдирективнаподмно­ жествеестественногоязыка, выдаваемыхлибовуправляющемфайлепереходов, либовпроцесседиалогапользователясоистемой. Использованиеподобнойсхе­ мыдляпрограммированияКАМАК-структуроснованонатом, чтолюбуюКАМАК- операциюможноописатьнаборомэлементарныхбазисныхопераций. Дляпроектированиянужногопрограммногомодуляиспользуютсяследующие соотношения: пусть si;jи ак1 -тэлементарныесостоянияпроцесса Р. Обозна­ чимчерев si;j, Sj^ дугу, еслисуществуетовязьмеждусоответствующимиверши­ нами, ачерез - путь, представляющийконечнуюпоследовательностьдуг СтруктурапрограммногоКАМАК-модуля к 1=1 3,1=1 к i=1 5,1=1 к i=1 43