Георгий Цветков - Как нам обустроить историю - глобальный кризис и системность в истории общества

В связи с расщирением круга лиц, являющихся потребителями компьютерной информации, но незнакомых в достаточной мере с языками программирования, была реализована опытная система СОИ, и выделен класс систем для избранной предметной области, с использованием языка «деловой прозы» — профессионального естественного языка [42–43].

Техническое оснащение и формирование сети информационно-вычислительных центров гражданской авиации (ГВЦ, 6 КИВЦ и более 30 ИВЦ) позволили разработанным в ЦНИИАСУГА системам органично войти в повседневную практическую деятельность самого Министерства, территориальных управлений (УГА) и авиационных заводов (АРЗ) гражданской авиации. Впервые в 1971 году составление расписания движения самолётов стало осуществляться на ЭВМ. В 1972 году осуществлено внедрение Центра и АС «Сирена-1» в Москве, а с середины 1970-х годов — в крупных городах страны — АС «Сирена-2/2М» на базе ЦАВС и КИВЦ.

« Системы оперативного управления» — как уже отмечалось, язык описания (ЯО) систем оперативного управления существенно влияет на структуру и состав ЯО систем оперативного информирования, а составляющие языка описания являются составной частью языка описания систем оперативного управления и в общем виде представляется как:

N соу ={[R к (Х к ), Р к ], [R пр (Х ол ), Р оп ], [R пф (Х об ), Р об ]}.

Здесь, аналогично предыдущему, Хоб— множество элементов объекта управления, Rпф— множество отношений соответствующей предметной области, а Роб— отображают законы функционирования (жизнедеятельности) управляемого объекта. В свою очередь, Роп— правила, соответствующие операциям, где Р оп= [R оп (Х оп )], а Rоп— отношения, соответствующие операциям и Хоп— само множество операций.

Важнейшим этапом построения семиотической модели оперативного управления является формирование семантических правил Р оп , производимое, как правило, индуктивно в процессе обучения. Формальная постановка задачи и описание алгоритмов решения задачи индуктивного формирования правил классификации и конкретизации приведены в [43].

Ситуационная семиотическая модель принятия решений была реализована в оперативном управлении отходом эксплуатируемых самолётов гражданской авиации (ГА) в ремонт на заводы ГА [43]. Разработанные алгоритмы и программы были реализованы на языке LISP (версия LISP — ES-1.6 ) и предполагали диалоговое взаимодействие, как на этапе построения семиотической модели, так и в эксплуатационном процессе принятия решений ЛПР [43]. Здесь запросы «пользователя» к системе могут иметь весьма разветвлённую логическую структуру, связанную с конкретизацией типовых решений. Хотя и в этом случае фиксируемый в запросе «пользователя» к системе в конфликтной ситуации объект может выступать как собственно объект, как свойство или отношение в различных неопределённостях [39–40].

« Экспликация языка описания систем ». Типология таких ситуаций и соответствующих им запросов может быть построена в терминах языка описания Х, R, Р на базе понятий «объект», «элемент», «отношение», «свойство», и учитывающих их взаимопереходы и взамовырождения. В таком случае возможны следующие типы запросов:

— выявляется некоторый объект Xили его элемент x i , обладающий фиксированным в запросе свойством Р;

— выявляются некоторые свойства Ру фиксированного в запросе объекта Хили его элемента х i ;

— выявляется некоторый объект Хили некоторые его элементы x i , находящиеся в фиксированном в запросе отношении R;

— выявляется некоторое отношение Rмежду фиксированными объектами Xили его элементами xij, имена которых указаны в запросе.

В более сложных случаях поиск может соответствовать, например, фиксации исходного свойства Р, нахождению затем некоторого отношения R, и, наконец, нахождению любого объекта Х, имеющего в себе найденное уже отношение R. Двойственным указанному будет информационный поиск любого объекта Х, в свойстве которого Рсуществует заранее фиксированное отношение R. Нетрудно заметить, что указанные более сложные типы поиска представимы набором предыдущих, выступающих в качестве элементарных.