employee
Rostov-na-Donu, Rostov-on-Don, Russian Federation
Rostov-na-Donu, Rostov-on-Don, Russian Federation
Rostov-na-Donu, Rostov-on-Don, Russian Federation
UDK 68 Различные отрасли промышленности и ремесла
GRNTI 50.13 Технология и оборудование для производства средств автоматики и вычислительной техники
BBK 3297 Вычислительная техника
There is the current state of a question of creation of the indistinct and logical optical devices serving for development of high performance expert systems which will provide inquiries of experts from the most various areas is considered in the monograph. Use of the device of indistinct systems is caused by a tendency of increase in complexity of mathematical and formal models of actual systems and management processes which are bound to desire to increase their adequacy and to consider the increasing number of various factors affecting on decision-making processes. The main directions of researches which are given in the monograph are directed to development of basic elements of the optical computer. Authors of this work patented over 50 various indistinct and logical optical devices and ways of information processing with their use, many of which explicitly are considered in this monograph. Writing of the book was initiated by the tasks formulated within the SMART project (Satellite Monitoring – to the Fissile Development of Territories) where a number of the keyset problems, including adaptability of adoption of administrative decisions is considered. The book is intended for scientists, experts, graduate students and undergraduates specializing in the field of photonics, development indistinctly – logical methods and devices, and also for students of older years of physical and mathematical faculties and engineering higher education institutions on the corresponding specialties.
Indistinct and logical optical processors, indistinct and logical systems and devices, elements of optical indistinct and logical processors, optical fazzifikators, AND gates and disjuntors, optical indistinct and logical functional converters, optoelectronic defazzifikators, the modern ways of processing of digital information
ВВЕДЕНИЕ
В современной действительности нечеткое моделирование и применение аппарата нечетких систем является одним из наиболее перспективных направлений прикладных исследований в области управления и принятия решений. Нечеткое моделирование и управление оказываются особенно полезными, когда в описании технических систем и технологических процессов присутствует неопределенность, которая затрудняет или даже исключает применение точных количественных методов и подходов для принятия решений.
В настоящей работе рассмотрено современное состояние вопроса создания нечетко-логических оптических устройств, служащих для разработки высокоэффективных экспертных систем, обеспечивающих запросы специалистов самых различных областей информации.
Востребованность применения аппарата нечетких систем обусловлена тенденцией увеличения сложности математических и формальных моделей реальных систем и процессов управления, связанной с желанием повысить их адекватность и учесть все большее число различных факторов, оказывающих влияние на процессы принятия решений.
Авторами данной работы было запатентовано свыше 50 различных нечетко-логических оптических устройств и способов обработки информации с их использованием [3,4, 27 - 66], многие из которых подробно рассматриваются ниже.
Решение проблем использования нечетко-логических оптических устройств и способов обработки информации с их использованием было инициировано задачами, поставленными в рамках проекта СМАРТ (Спутниковый Мониторинг – Активному Развитию Территорий), где рассматривается ряд принципиальных проблем, включая адаптивность принятия управленческих решений и задачу создания объединенных информационных ресурсов, формируемых различными системами и структурами (данные дистанционного зондирования Земли из космоса (ДЗЗ), информация стационарного и мобильного мониторинга для органов местного самоуправления, муниципальных предприятий жизнеобеспечения, объектов социальной сферы, сельхозтоваропроизводителей, организаций и органов охраны правопорядка и ликвидации чрезвычайных ситуаций и др.).
Решение таких сложных задач зачастую базируется на одновременном использовании целого ряда универсальных информационно – коммуникационных платформ:
- инструментального типа для формирования и использования систем интегрированных геопространственных данных и данных формирования информационного пространства;
- интеллектуального типа - платформы сбора данных, охватывающие стационарные и мобильные комплексы видеонаблюдения (с распознаванием), георадарное оборудование, автоматизированные лаборатории, информацию от различных датчиков, информацию от приборов учета, показания высокотехнологичного медицинского оборудования для телемедицины, данные ДЗЗ, включающие модели для тематического дешифрирования и др.;
- аналитического типа для формирования и анализа ресурсов ГИС-схем планирования развития территорий: интерактивные 3D-ГИС модели, модели топологии транспортных инженерных систем и систем телекоммуникаций, балансные модели «актив-ресурс-проект» и др.
С одной стороны, традиционные методы построения моделей не приводят к удовлетворительным результатам, когда исходное описание подлежащей решению проблемы заведомо является неточным или неполным. С другой стороны, стремление получить всю исчерпывающую информацию для построения точной математической модели сложной реальной ситуации может привести к потере времени и средств, поскольку это может быть в принципе невозможно.
В подобных случаях наиболее целесообразно воспользоваться такими методами, которые специально ориентированы на построение моделей, учитывающих неполноту и неточность исходных данных. Именно в таких ситуациях технология нечеткого управления оказывается наиболее конструктивной, что объективно подтверждено появлением огромного числа устройств для сбора и обработки информации в системах автоматизации и управления технологическими процессами, промышленным производством, решения социальных приложений.
Нечеткая логика, которая служит основой для реализации методов управления, более естественно описывает характер человеческого мышления и ход его рассуждений, чем традиционные формально-логические системы. Именно поэтому использование математических средств для представления нечеткой исходной информации позволяет строить модели, которые наиболее адекватно отражают различные аспекты неопределенности, постоянно присутствующие в окружающей нас реальности.
Сегодня для построения любых систем управления (как автоматизированных, так и автоматических) требуются эффективные, надежные и недорогие технические средства, которые могли бы осуществлять выполнение нечетких алгоритмов управления в реальном масштабе времени с высокой точностью вычисления.
В настоящее время техническую базу реализации нечетких технологий составляют микропроцессорные средства и микроконтроллеры, аналоговые и аналого-цифровые СБИС. Однако микропроцессоры и однокристальные микроконтроллеры не способны в полной мере реализовать все потенциальные возможности нечеткой логики по следующим объективным причинам:
- их быстродействие ограничено в части реализации ряда сложных нечетких операторов из-за последовательной обработки данных, присущей современным микропроцессорным средствам;
- погрешность вычислений с течением времени постоянно растет из-за неизбежных методических ошибок, обусловленных использованием цифровых методов вычисления;
- в микропроцессорных системах обработки нечеткой информации с увеличением значений базовых шкал нечетких переменных происходит нелинейное увеличение времени выполнения операций над элементами термов этих переменных, а также этапов фаззификации и дефаззификации; в свою очередь, увеличение значений базовых шкал нечетких множеств ведет к неизбежному увеличению областей памяти микропроцессорных реализаций для хранения и обработки данных, что ведет к увеличению времени выполнения вычислительных операций.
Кроме того, существующие микропроцессорные системы обработки нечеткой информации обладают значительными габаритами, массой и потребляемой мощностью.
При применении же цифро-аналоговых СБИС для конструирования нечетких процессоров разработчики будут неизбежно сталкиваться с проблемой разброса параметров аналоговых интегральных микросхем, что может существенно сказываться на стоимости разработки систем и устройств за счет применения дополнительных схемно-технических решений для стабилизации параметров и характеристик приборов. Также могут возникнуть трудности и в процессе эксплуатации таких средств – за счет разбалансировки параметров приборов, трудностей регулировки параметров аналоговых устройств, дрейфа рабочих точек, более низких показателей надежности аналоговых устройств по сравнению с цифровыми и пр.
На сегодняшний день известны устройства, альтернативные электронным - построенные на основе оптических методов обработки информации, в частности, методов Фурье-оптики и Фурье-голографии. Но эти методы, в свою очередь, достаточно трудно реализуемы и не позволяют обеспечить весь комплекс операций над нечеткими множествами и отношениями, что не дает возможности осуществить нечетко-логический вывод в целом.
Поэтому возникает задача разработки методов проектирования и создания совершенно нового класса вычислительных устройств, обладающих значительным быстродействием, надежностью, простотой настройки параметров, меньшей конструктивной сложностью и реализующих при этом принципы нечеткой логики с сохранением точности выполняемых вычислений на произвольном интервале времени.
В связи с этим, в настоящей книге исследуются методы синтеза устройств, базирующихся на способах представления информации, ориентированных на оптическую природу ее носителя, и реализующие вычислительные операции аппарата нечетких систем практически в реальном времени.
Глава 1. Анализ состояния современных нечетких систем и перспектив их развития.
1.1 Нечеткая логика в слабо формализованных задачах принятия решений
Традиционный подход к решению задач теории систем управления на основе существующих в прикладной математике формально-логических методов ставит своей целью создание точных (в широком смысле слова) моделей строгих рассуждений и выводов. Основное внимание здесь приходится уделять вопросам корректности, полноты, непротиворечивости, замкнутости, устойчивости, управляемости и многим другим качественным аспектам описания моделей объектов и алгоритмов управления. Вопрос же оценки истинности утверждения логических высказываний типа «математическая модель адекватна реальному объекту управления» остается при этом, по существу, открытым и не может быть решен только в рамках принятого метода исследования.
Построение моделей динамических систем как объектов управления представляет собой одну из основных задач теории автоматического управления [84]. Основное содержание этой задачи состоит в решении проблем описания процессов, происходящих в объектах и САУ, выбора соответствующих методов формализации и установления соответствия (адекватности) получаемых таким образом моделей с исходным объектом, а также с методами исследования (в зависимости от уровня физической и математической строгости). Особое место здесь занимают методы синтеза устройств для моделирования и фильтрации случайных процессов [16].
Следует отметить, что процесс построения моделей физических процессов носит сложный эволюционный характер; связан с неизбежной аппроксимацией реального объекта и приводит к потере информации при его описании. При этом гипотезы и аксиомы, по которым осуществляется аппроксимация и описание реального объекта соответствующей моделью, могут не учитывать реальной сущности физического процесса, что приводит к дополнительному приращению риска и неопределенности в описании объекта управления.
С точки зрения теории нечетких моделей здесь рассматриваются два варианта [6, 85]: 1) нечеткость описания, как аппроксимация слабо структурированной и слабо формализованной модели реального объекта управления из-за его сложности и неопределенности информации о его свойствах; 2) объективная внутренняя нечеткость функционирования, которой обладает любой реальный объект.
В последние два десятилетия резко возрос интерес к различным аспектам проблемы интеллектуального управления, (см., например, [6, 12]). Одно из основных направлений, связанных с решением этой проблемы, состоит в использовании аппарата нечетких систем: нечетких множеств, нечеткой логики, нечеткого моделирования и т.п.
Применение этого аппарата приводит к построению нечетких систем управления различных классов, позволяющих решать задачи управления в ситуациях, когда традиционные методы неэффективны или даже вообще неприменимы из-за отсутствия достаточно точного знания об объекте управления [67].
Основу нечетких моделей САУ в общем случае представляют собой нечеткие логические регуляторы (НЛР), которые широко применяются при создании робототехнических комплексов, АСУТП, гибких производственных систем управления сложными динамическими системами и др. НЛР используют в своей основе модели нечеткой логики: модели нечеткой импликации и композиционного правила вывода. Для нечетких регуляторов, использующих реализацию соответствующей модели продукционного нечеткого логического вывода на основе нечеткого продукционного процессора, традиционна следующая схема лингвистического описания: операторы перевода в нечеткие значения (фаззификаторы), нечеткая импликация, нечеткие модификаторы, нечеткие логические связки, композиционное правило вывода и операторы перевода в четкие значения (дефаззификаторы).
Основу проектирования интеллектуальных нечетких регуляторов составляет конструирование «базы знаний» с использованием методов представления и поиска знаний. Структура интеллектуальной системы управления динамическими технологическими процессами или объектами с нечетким регулятором представляет собой структуру классической замкнутой САУ, осуществляющей управление по отклонению, где в качестве регулятора применяется НЛР. Такая структура представлена на рисунке 1.1.
Рис. 1.1. Структура интеллектуальной системы управления динамическими технологическими процессами или объектами с нечетким регулятором
Выходная переменная у технологического процесса (или параметр объекта управления) 6 сравнивается с ее заданным значением у0 в инвертирующем сумматоре 1 и ошибка рассогласования е поступает на входы блоков пропорциональности (масштабирования) 2, дифференцирования 3 и интегрирования 4. На выходе последних формируются сигналы, пропорциональные величине самой ошибки еР, ее производной еD и первообразной еI. Далее еР , еD и еI поступают в главный элемент системы управления - в НЛР 5, который вырабатывает на основе поступивших данных управляющее воздействие на технологический процесс (объект управления) 6. Показанная на рис. 1.1 система управления с НЛР, по сути, является так называемым нечетким ПИД-регулятором, используемым традиционно для управления динамическими технологическими процессами или объектами. Если управляемые технологические процессы и (или) объекты являются статическими, т.е. изменения параметров процесса (объекта) являются относительно медленными и некритичны к выбору управляющего воздействия, то в структуре системы управления с НЛР (рис. 1.1), не используются блоки дифференцирования 3 и интегрирования 4. В общем случае представление знаний в управляющих системах в теории искусственного интеллекта осуществляется логическими, реляционными, фреймовыми и продукционными языками. Учитывая такую важную специфику работы систем автоматического регулирования, как режим работы в реальном времени и удобство представления информации о процедурах и условиях их применения, на практике в основном используется продукционная модель описания знаний в нечетких регуляторах. Каждая продукция представляется в виде набора правил, представляющих собой фрагмент знаний — ядро в инженерии знаний. Она имеет вид «условие — действие».
Более сложный вариант фрагмента знаний «ситуация — стратегия управления — действие» рассмотрен в [21]. В общем случае структура нечеткого логического регулятора представляет собой структуру нечеткой модели, подробно описанной в [67] и показанной на рис. 1.2.
Рис. 1.2 Структура нечеткой модели
На входы нечеткой модели подаются четкие числовые значения Х1, Х2,…, Хn. Блок, выполняющий операцию или этап «ФАЗЗИФИКАЦИЯ» - далее фаззификатор, вычисляет значение степени принадлежности входной переменной Хi входным нечетким множествам Аij (i=1, 2,.., m; j = 1, 2,.., n). То есть фаззификатор переводит четкие значения входных переменных в их лингвистические значения. Для выполнения указанной операции блок фаззификации должен иметь доступ к точно определенным функциям принадлежности (хj) входов (i=1, 2,.., m; j = 1, 2,.., n).
Блок, выполняющий операцию или этап «ВЫВОД» - далее блок вывода, на входе получает значения функций принадлежности (хj) и на выходе вычисляет т. н. результирующую (аккумулированную) функцию принадлежности выходного значения модели. Данная функция обычно имеет сложную форму и определяется посредством вывода, который может быть осуществлен множеством способов [67]. Для выполнения вычислений блок вывода должен включать в себя следующие строго определенные элементы:
- база правил или т. н. база знаний;
- механизм вывода;
- функции принадлежности выходного параметра у.
База правил содержит логические правила, которые задают имеющие место в системе причинно-следственные отношения между нечеткими значениями ее входных и выходных величин. Как правило, база знаний нечетких регуляторов строится на основе продукционной модели знаний, имеющей конструкцию вида «если..., то...». Каждая продукция, представляющая собой множество пар «ситуация - действие», позволяет ставить в соответствии со сложившейся ситуацией действие регулятора в виде значения регулирующего воздействия на объект. База правил может иметь, например, следующий вид:
Правило 1: ЕСЛИ х1 есть А11 И Х2 есть А12 И..И хn есть А1n, ТО у есть В1;
Правило 2: ЕСЛИ х1 есть А21 И Х2 есть А22 И..И хn есть А2n,
ТО у есть В2;
…………
Правило i : ЕСЛИ х1 есть Аi1 И Х2 есть Аi2 И..И хn есть Аin,
ТО у есть Вi;
………
Правило m: ЕСЛИ х1 есть Аm1 И Х2 есть Аm2 И..И хn есть Аmn, ТО у есть Вm;
где х1 , х2,.., хn – n входных переменных нечеткой продукционной системы;
Аij - терм j-й входной переменной Xj в i-м правиле, представленный нечетким множеством с соответствующей функцией принадлежности (хj) (i=1, 2,.., m; j = 1, 2,.., n);
у - выходная переменная нечеткой продукционной системы;
Вi - терм выходной переменной у в i -м правиле, представленный нечетким множеством с соответствующей функцией принадлежности (i=1, 2,.., m).
Решение возложенной на блок вывода задачи, связанной с определением результирующей функции принадлежности , обеспечивается механизмом вывода, который состоит из следующих элементов:
- элемент, выполняющий операцию агрегирования - процесса определения степени истинности условия (антецедента) аi в каждом i-м правиле базы знаний (i=1, 2,.., m);
- элемент, выполняющий операцию активизации - процесса определения модифицированной функций принадлежности выходной переменной у в заключении (консеквенте) каждого i -го правила базы знаний;
- элемент, выполняющий операцию аккумулирования – процесса определения результирующей функции принадлежности выходной переменной у путем объединения модифицированных нечетких множеств В'i по каждому i-му правилу базы знаний.
Блок, выполняющий операцию или этап «ДЕФАЗЗИФИКАЦИЯ» - далее дефаззификатор, на основе результирующей функции принадлежности вычисляет четкое числовое значение у выходного параметра, являющееся результатом для входных числовых значений х1 , х2,.., хn. Данная операция выполняется посредством механизма дефаззификации, который определяется соответствующим методом вычисления. Примеры механизмов дефаззификации приведены в [67], где также указывается, что к числу подходов, ориентированных на синтез нечетких регуляторов, относятся следующие:
- на основе знаний, полученных от экспертов;
- путем моделирования действий эксперта в качестве
регулятора (на основе управляющих сигналов, вырабатываемых экспертом); - на основе модели объекта управления.
Мировая практика разработки и использования систем с нечеткими регуляторами выявила ряд общих особенностей [85]:
- при исследовании и проектировании НЛР авторы не опирались на точную модель процесса. При этом интуиция разработчика, его знания о процессе непосредственно учитывались в алгоритме управления. Далее следовал итерационный процесс, заключающийся в проверке функционирования алгоритма, изучения его поведения и последующей модификации соответствующих управляющих правил. Часто это процедура требует значительных затрат времени;
- нечеткие подмножества включали лингвистические переменные, например, «положительно большой» или «отрицательно малый», что отражает общий подход к выбору определенных интервалов квантованных величин;
- как правило, во всех НЛР использовался основополагающий принцип регулирования - принцип регулирования по отклонению.
Перспективным направлением в развитии теории нечеткого управления и НЛР является создание адаптивных и самообучающихся нечетких систем. В работе [67] рассматриваются проблемы адаптивного нечеткого управления и указывается, что если параметры управляемого технологического процесса или объекта меняются, то можно воспользоваться методами оперативной идентификации. На этой основе осуществляется непрерывная подстройка параметров нечеткого регулятора или отдельных его частей. Структура адаптивной системы с нечетким регулятором приведена на рисунке 1.3.
Рис. 1.3 Адаптивная система управления с НЛР
Нижняя часть данной структуры представляет собой замкнутую систему управления, состоящую из управляемого технологического процесса или объекта 3 и НЛР 2. Верхняя часть этой структуры — это модель реальной системы управления, включающая модель управляемого технологического процесса (или объекта) 7 и модель НЛР 6. Модель управляемого технологического процесса (или объекта) 7 настраивается на основе текущих значений замеров входного сигнала и выходного сигнала у. Обновленные значения параметров передаются в модель управляемого технологического процесса (или объекта) 7. Такая модификация (адаптация) параметров модели управляемого технологического процесса (или объекта) 7 активизирует алгоритм, настраивающий параметры модели НЛР 6. Для адаптации параметров модели НЛР 6 можно воспользоваться методом обратного распространения ошибки , которая представляет собой разность между задающим (опорным) сигналом уW, вырабатываемым эталонной моделью управляемого технологического процесса (или объекта) 9 (определяет желаемое поведение системы управления в целом), и выходом у* модели управляемого технологического процесса (или объекта) 7. В конечном счете, модифицированные значения параметров модели управляемого технологического процесса 7 и модели НЛР 6 передаются в НЛР 2, который управляет рассматриваемым технологическим процессом (или объектом) 3. Описанная адаптация осуществляется непрерывно (оперативный режим), либо периодически. Отметим, что структура, изображенная на рисунке 1.3, состоит из двух последовательно соединенных и одновременно настраиваемых подсистем (настройка модели управляемого технологического процесса (объекта) 7 и модели НЛР 6). Таким образом, система может потерять устойчивость, особенно при быстром изменении значений параметров объекта. Следовательно, по соображениям безопасности, рассмотренную выше структуру адаптации можно применять для «медленных» объектов (в смысле изменения значений их параметров) или же при изменении параметров рассматриваемого объекта, проявляющихся от случая к случаю.
Таким образом, резюмируя данный параграф, можно подчеркнуть, что применение нечетких алгоритмов в сочетании с принципами адаптации и самоорганизации позволяет улучшить процессы управления в экстремальных ситуациях и осуществить реализацию так называемых «щадящих» режимов работы вспомогательных аппаратов, а также повысить «гибкость» и «интеллектуальность» систем управления технологическими процессами и объектами.
1.2 Нечетко-логические устройства сбора и обработки информации в системах автоматизации управления технологическими процессами и производством
В период с
- в
- в
- в
Такая интенсификация разработок и соответствующих материальных затрат основана на тщательном планировании и подробном маркетинге. Данным процессам предшествовал длительный период (с 1970 по 1980 гг.) исследовательских работ по разработке методов анализа, синтеза, моделирования и проектирования оптимальных структур моделей нечетких регуляторов и систем управления [11, 85]. На сегодняшний день в основу аппаратной реализации структуры интеллектуальной системы управления с нечетким регулятором положен нечеткий процессор. В таких системах снижение уровня сложности структурной реализации и соответствующего программно-аппаратного обеспечения достигается за счет применения встраиваемых специализированных микропроцессорных модулей на СБИС (как прототипов ЭВМ шестого поколения на нечетком процессоре) с заданным нечетким логическим выводом.
Для обработки нечеткой лингвистической информации микропроцессорными специализированными СБИС требуются соответствующие блоки нечеткой памяти, обеспечивающие хранение нечетких слов (функция принадлежности нечеткого множества квантуется и представляется в виде n-элементного вектора, называемого нечетким словом) для осуществления многошагового нечеткого вывода.
Следует отметить, что аппаратную реализацию приближенных рассуждений в виде продукционных правил «если..., то...» с сотнями и тысячами нечетких импликаций трудно осуществлять в реальном времени на традиционных моделях ЭВМ. Поэтому соответствующие разработки инструментальных средств ведутся в направлении развития и усовершенствования элементной базы нечетких процессоров, а также структур самих процессоров (как специализированных нечетких ЭВМ, предназначенных для использования в автономном режиме или в качестве сопроцессора обычных ПЭВМ).
Самым первым разработанным цифровым нечетким процессором был FС 110 (фирмы Тоgаi Infra Lоgic, США) на основе кристалла (чипа) нечеткого логического вывода, который представляет собой высокоэффективный сопроцессор для применения методов нечеткой логики и реализации нечетких алгоритмов управления в реальном времени. Процессор FС 110 имеет на одном чипе 256 бит оперативной памяти; байтовый формат данных; набор машинных команд составлен из ограниченного числа сложных инструкций (модификация RISС-архитектуры). Введены специальные команды для оценки левой и правой логических частей нечетких продукционных правил «если …, то…», а также для построения сложных составных правил. При этом процессор FС 110 с рабочей частотой 10 МГц имеет скорость обработки правила 35 мкс, скорость вывода логических правил 28000 в 1 с (процессор 80386 с частотой 20 МГц имеет соответственно 400 мкс и 2300 правил в 1 с). Наиболее целесообразное применение спецпроцессора FС 110 - это нечеткий сопроцессор совместно с главной ЭВМ общего назначения, когда главный процессор выполняет все входные и выходные преобразования, а процессор FС 110 обеспечивает оценку состояния базы знаний. Символьный внутрисхемный эмулятор FС 1101 СЕ для процессора FС 110 создан для ускорения разработки, настройки и отладки прикладных интеллектуальных систем на нечеткой логике, в частности, для проектирования баз нечетких знаний экспертных систем. Примером эффективного применения процессора FС 110 является его использование в структуре нечеткого контроллера при решении задачи управления устойчивым состоянием перевернутого маятника [85]. Языком программирования для реализации базы нечетких знаний на нечетком процессоре FС 110 стал модифицированный нечеткий язык С, разработан также нечеткий язык программирования FРL. С системой разработки нечетких версий языка С можно объединить оболочки ТIL-shell для построения программ управления с использованием баз знаний, сформированных с помощью версии ТIL-shell. Сопроцессор FС 110 позволяет на базе ПЭВМ типа IВМ РС обрабатывать более 370 тыс. нечетких продукционных правил (с двумя посылками) в 1 с, а также более 1 млн. булевых продукционных правил в 1 с; в частности, подсистема VМЕ фирмы Тоgаi обладает быстродействием четырех PC, используя четыре параллельно соединенных чипа FС 110 [11, 85].
Известны также реализации нечеткого процессора на основе аналоговых СБИС, где достигается высокая скорость логического вывода продукционных правил (от 1 до 10 млн. нечетких логических правил в 1 с). Так, например, нечеткий процессор FUZ-М1 позволяет обрабатывать нечеткую информацию и осуществлять приближенные рассуждения в течение 100 нс; нечеткий регулятор (после поступления детерминированной информации) осуществляет процедуру управления на основе приближенного рассуждения. Здесь применяется СБИС, в которой на одном чипе реализуется нечеткое правило вывода типа обобщенного правила «Модус Поненс» [85].
Новый вид нечеткого логического процессора разработан с использованием квантовых эффектов (на основе управляемых квантовых переходов Джозефсона). Процессор реализует 60 логических правил, обрабатывает 4 переменных за 300 мкс (последнее означает наличие скорости логического вывода 2-10 логических правил в 1 с) и сочетает в себе технологию цифровой и аналоговой техники [85].
В Европе и США ведутся интенсивные работы по интеграции fuzzy-команд в ассемблеры промышленных контроллеров встроенных устройств (чипы Моtоrоlа 68НС11.12.21). Такие аппаратные средства позволяют в несколько раз увеличить скорость выполнения приложений и компактность кода по сравнению с реализацией на обычном ядре. Кроме того, разрабатываются различные варианты fuzzy-сопроцессоров, которые контактируют с центральным процессором через общую шину данных, концентрируют свои усилия на размывании/уплотнении информации и оптимизации использования правил (продукты Siemens Nixdorf).
Наиболее распространенными разработками инструментальных средств [85] для программно-аппаратного обеспечения нечетких регуляторов и систем управления являются: системы инструментальной поддержки и информационного обеспечения FRUITAX, экспертная система управления процессами обработки изображений LINK man, компьютерная диалоговая система супервизорного управления FLS, система автоматизированного проектирования процессов управления IFCS, системы конструирования программного обеспечения типа RРХ-FUZZY, FS-2000 и др. Hа основе данных инструментальных средств разработана серия нечетких регуляторов и систем управления типа FZ-1000 - FZ-5000, МIСRЕХ- F 250, МIСRЕХ- F 500, FОС-2001, FОС-2001A, FОС-2001АН, ЕХ-100, ЕХ-1000, EХ-1000/32, ЕХ- FUZZY, HX-1000 и мн. др. Также в [80] показаны примеры архитектур универсального нечеткого регулятора типа FZ—3000/3010 фирмы Оmron, используемого в станках с числовым программным управлением и нечеткого регулятора типа МIСRЕХ -500 фирмы Fuji Еlесtriс, используемого в системе управления подъемными кранами. Оба регулятора реализованы на инструментальных средствах FRUITAX. Для наглядности на рисунке 1.4 показана структурная схема нечеткого регулятора типа FZ—3000/3010 фирмы Оmron, используемого в станках с числовым программным управлением.
В общем случае нечеткий регулятор типа FZ—3000/3010 фирмы Оmron содержит: 1 - внешнее периферийное вычислительное устройство на базе ПЭВМ; 2 - аналоговую шину высокоскоростной передачи данных; 3 -арифметико-логическое устройство; 4 - блок памяти; 5 - устройство связи; 6 -блок цифрового ввода-вывода; 7 - блок нечеткого ввода-вывода; 8 - блок дефаззификации (выбора четкого значения); 9, 10 - блок нечеткого логического вывода; 11 - общую шину передачи цифрового сигнала; 12 - станок с числовым программным управлением.
Для подобных нечетких регуляторов разработаны рабочие станции для АРМ проектирования нечетких процессоров. Разработанные АРМ позволяют построить логические регуляторы, основу которых составляют нечеткие процессоры на СБИС. При этом по качеству переходных процессов и достижению целей управления построенные регуляторы превосходят традиционные П-, ПИ- и ПИД-регуляторы.
Рис. 1.4. Структура нечеткого регулятора типа FZ—3000/3010 фирмы Оmron
Среди отечественных разработок следует отметить специализированные аппаратные средства для реализации нечетких алгоритмов управления, созданные под руководством профессора А.Н.Мелихова [21]. В рамках этих исследований были достигнуты следующие результаты:
- разработаны теория, методы и алгоритмы преобразования нечеткой информации и знаний для проектирования нового поколения нечетких процессоров, контроллеров, ускорителей и компьютеров, позволяющих на основе нечеткой логики и нечеткой математики выполнять обработку четкой (цифровой) и нечеткой (качественной) информации и знаний;
- созданы методики проектирования нечетких компьютеров, способных выполнять логические (правдоподобные) рассуждения на основе оригинальных алгоритмов идентификации (распознавания) нечетких ситуаций;
- созданы аппаратные средства поддержки проектирования и функционирования интегральных систем обработки информации, принятия решений, ситуационного управления, распознавания, обучения, прогнозирования и других систем, являющихся интегральными помощниками человека в его профессиональной деятельности в различных предметных областях, позволяющих на единой логической базе выполнять вычислительные и качественные алгоритмы преобразования информации, что позволяет строить интеллектуальные системы, основанные как на известных способах представления накопления и преобразования знаний, так и на методах и алгоритмах представления и обработки нечеткой информации и знаний [21].
В середине 1980-х гг. были разработаны ряд лингвистических блоков, устройств и комплексов, позволяющих обрабатывать нечеткую информацию, реализовывать операции над нечеткими множествами, выполнять нечеткие алгоритмы управления - например, вычислительный комплекс обработки нечеткой информации на базе персональной ЭВМ, включающий специальный сопроцессор нечеткой информации, ориентированный на использование в человеко-машинных системах и системах искусственного интеллекта, а также ГПСС, представляющий собой комплекс программных средств автоматизации разработки и создания индивидуальных советующих систем на базе ПЭВМ [21], в основу конструирования технических средств которых, были положены следующие принципы:
- лингвистические вычислительные комплексы ориентированы на реализацию различных нечетких алгоритмов управления и состоят из лингвистических устройств и стандартных средств вычислительной техники;
- лингвистические устройства ориентированы на реализацию определенных нечетких алгоритмов или операций по преобразованию нечеткой информации и состоят из лингвистических блоков;
- лингвистические блоки ориентированы на реализацию элементарных алгоритмов различных операций над нечеткими множествами и нечеткими логическими переменными и состоят из стандартных элементов цифровой схемотехники (триггеры, сумматоры, мультиплексоры, схемы сравнения, регистровые структуры и т.д.) и элементов микропроцессорной техники с микропрограммным управлением;
- представление значений функции принадлежности осуществляется в виде однобайтовых чисел с фиксированной точкой с дискретностью от 0,01 до 0,005 (например, «,00000001» = 1/256 ~ 0,004; «,00110011» = 51/256 ~ 0,2; «,11111111» = 255/256 ~1);
- операции над независимыми друг от друга переменными, а также значениями функций принадлежности в интервале [0, 1], можно проводить параллельно путем введения аппаратной избыточности.
В 1995-
Процессор FuzСор 2.0 представляет собой нечеткий логический процессор, выполненный по технологии полузаказной СБИС, и имеет конвейерную архитектуру с векторным процессором. Его структурная схема приведена на рисунке 1.5.
Рис. 1.5. Структурная схема нечеткого процессора FuzСор 2.0
Процессор FuzСор 2.0 состоит из векторного процессора (ВП), блока параллельного определения минимума или максимума (БПАР), блока формирования промежуточных результатов (БФПР), блока последовательного сравнения с порогом (БПОС), коммутатора данных текущей ситуации (КДТС), коммутатора выходных данных (КВД), блока определения адреса эталонной ситуации (БОА) и регистра команд (RGK).
Программной поддержкой процессора FuzСор 2.0 стал программный комплекс FuzЕх 2.0, предназначенный для проектирования систем, основанных на нечетких знаниях и использующих процессор нечеткого логического вывода FuzСор 2.0, либо его программный эмулятор для нечеткого логического вывода. В настоящее время в России работы по созданию оптоэлектронных процессоров нечеткой логики ведутся в ФИАН им. Лебедева, в ВЦ РАН и МЭИ, а также в Санкт-Петербургском государственном университете информационных технологий, механики и оптики. Так, в последнем, сотрудниками кафедры «Фотоники и оптоинформатики» были разработаны оптические технологии искусственного интеллекта, в частности, технологии реализации вычислительных операций, присущих нечеткой логике. Принципы выполнения вычислений в отношении операций нечеткой логики, подробно описанные в [1, 26], базируются на использовании алгебры Фурье-дуальных операторов, а сами оптические нечеткие процессоры физически реализуются схемами и устройствами, построенными на основе методов Фурье-оптики и Фурье-голографии.
Можно привести еще одну реализацию нечеткого оптического устройства. В работе [10] описан оптоэлектронный фаззификатор (рисунок 1.6, а), содержащий источник света, оптический канал передачи, ЭОД, блок ФП.
Рис. 1.6. Схема оптоэлектронного фаззификатора (а) и диаграмма площади засветки ФП (б)
Принцип действия оптоэлектронного фаззификатора состоит в следующем. Коллимированный луч света диаметром d от источника А отклоняется ЭОД таким образом, что засвечивает, в зависимости от угла , одно из отверстий маски М. Угол отклонения зеркала ЭОД является функцией входной величины х. За маской устанавливаются либо фотоприемники, либо оптические элементы канализации света для передачи сигналов (при необходимости — после нормализации) на последующую обработку. Выходной функцией системы является площадь засветки ФП или входной апертуры оптической системы Si, где i - номер засвеченного oтверстия маски. При диаметре отверстий D = d, их шаге W =1,5D, постоянном расстоянии от ЭОД до маски, квадратных сечениях отверстий и пучка вид зависимости Si(), а следовательно, и Si(х), примет вид, показанный на рисунке 1.6,б.
Если принять входной сигнал описанной дефлекторной системы как «четкий» входной параметр х, то площадь засветки каждого отверстия маски Si, отнесенная к Smах, будет соответствовать величине А(х) для каждого i-го терма. Интерпретируя пример лингвистически, можно сказать, что если входной величиной х является температура, то засветка первого отверстия маски будет соответствовать значению температуры "низкая", второго — "средняя", и третьего - "высокая".
За рубежом работы в направлении разработок различных оптических методов и оптоэлектронных средств нечетко-логической обработки информации ведутся в ряде ведущих университетов США: City University of New York, The University of Tennessee, The University of Maiami, Northwestern University, Massachusetts Institute of Technology, University of Colorado и др., а также в Китае и Японии.
Разработки коммерческих продуктов в смежных областях (оптические логические процессоры и вентили, системы оптической памяти) ведут такие известные своими инновационными разработками фирмы, как Highland Technology, Physical Optics Corp., InPhase Technologies, Digital Optical Technologies, INTEL и др.
Рассмотрим основные достоинства и недостатки рассмотренных выше аппаратных средств нечетко-логических систем.
Основным достоинством реализаций нечетких процессоров на основе цифровых, цифро-аналоговых и микропроцессорных СБИС является достаточная гибкость проектирования при использовании в конкретных приложениях. Это обеспечивается наличием мощного комплекса инструментальных аппаратно-программных средств разработки нечетких регуляторов, наличием АРМ конструкторов нечетких регуляторов, которые позволяют построить логические регуляторы, основу которых составляют нечеткие процессоры па СБИС. Кроме того, микропроцессорные и цифровые СБИС обладают достаточным запасом надежности и стабильностью характеристик и параметров. Однако, описанные микропроцессорные реализации нечетких регуляторов не способны использовать в полной мере все потенциальные возможности нечеткой логики по следующим объективным причинам:
- их быстродействие ограничено в части реализации ряда сложных нечетких операторов из-за последовательной обработки данных, присущей современным микропроцессорным средствам;
- погрешность вычислений с течением времени постоянно растет из-за неизбежных методических ошибок, обусловленных использованием цифровых методов вычисления;
- в микропроцессорных системах обработки нечеткой информации с увеличением значений базовых шкал нечетких переменных происходит нелинейное увеличение времени выполнения операций над элементами термов этих переменных, а также этапов фаззификации и дефаззификации; увеличение значений базовых шкал нечетких множеств ведет к неизбежному увеличению областей памяти микропроцессорных реализаций для хранения и обработки данных, что ведет к увеличению времени выполнения вычислительных операций.
Так, например, специализированный вычислительный комплекс обработки нечеткой информации, выполненный на базе микропроцессорных средств [21], позволяет осуществить операцию выборки элемента терма лишь за 5 мкс, а реализацию одной микрокоманды только за 2 мкс. При реализации на ПЭВМ типа РС ХТ/АТ с типовым 16-разрядным процессором 8086 время, требуемое на обработку процесса нечеткого логического вывода из набора 96 продукционных правил (5 входных переменных и 2 выходные переменные) составило 30 с [67]. Очевидно, что для работы систем управления в реальном времени требуется значительно большее быстродействие.
Кроме того, существующие микропроцессорные системы обработки нечеткой информации обладают значительными габаритами, массой и потребляемой мощностью.
Распараллеливание вычислений в микропроцессорных аппаратных средствах требует введения аппаратной избыточности, что, в свою очередь, ставит проблемы синхронизации параллельных вычислительных потоков и увеличения мощности энергопотребления, а также массогабаритных характеристик системы в целом. Так, мультимикропроцессорная система, описанная в [8], имеет габаритные размеры 600x2200x1000 мм, массу порядка
В отношении разработанных оптических методов, реализующих вычисления в нечеткой логике, можно сказать, что использование в качестве переносчика информации оптического потока позволяет решить проблемы быстродействия и распараллеливания вычислений с достаточной точностью вычислений на произвольном интервале времени обработки информации. Но используемые на сегодняшний день методы, такие как методы Фурье-оптики и Фурье-голографии, достаточно трудно реализуемы и не позволяют обеспечить весь комплекс операций над нечеткими множествами и отношениями, а также не дают возможности реализовать нечетко-логический вывод в целом. Например, оптические методы, описанные в [26], позволяют реализовать только операции min-конъюнкции, mах-дизъюнкции, min-импликации, тавтологии и противоречия. Описанное в [1] оптоэлектронное логическое устройство использует классические принципы оптических методов обработки информации и интегральной оптики, обладает простотой конструкции, но реализует только комплекс параметризованных t-норм и t-конорм.
В отношении оптоэлектронного фаззификатора, описанного в [10] и показанного на рисунке 1.7 а), в качестве недостатка можно указать невозможность реализации произвольных функций принадлежности.
Таким образом, оказывается весьма актуальной проблема поиска новых методов, подходов и устройств при построении нечетких процессоров, позволяющих реализовать весь спектр операций нечеткой логики, причем, с быстродействием, обеспечивающим обработку входной информации практически в реальном масштабе времени, а также обладающих простотой конструкции и обеспечивающих высокую точность вычисления на произвольном интервале времени обработки информации.
Решению этой проблемы и посвящено дальнейшее изложение материала книги.
1. Averkin, A.N. i dr. Nechetkie mnozhestva v modelyah upravleniya i iskusstvennogo intellekta. - M.: Nauka, 1986.
2. Akaev A.A., Mayorov S.A. Opticheskie metody obrabotki informacii.- M.: Vysshaya shkola, 1988.
3. A.s. №1223259. SSSR, 1986. Selektor minimal'nogo signala / Sokolov S.V., Nikulin Yu.Ya., Ogreb S.M.
4. A.s. №1767507. Rossiya, 1994. Opticheskiy integrator / Sokolov S.V.
5. Badeeva E.A., Gorish A.V., Kotov A.N., Murashkina T.I., Pivkin A.G. Teoreticheskie osnovy proektirovaniya amplitudnyh volokonno-opticheskih datchikov davleniya s otkrytym opticheskim kanalom: M.:MGUL, 2004.- 246 s.
6. Borisov A.N., Krumberg O.A., Fedorov I.P. Prinyatie resheniy na osnove nechetkih modeley: Primery ispol'zovaniya.- Riga : Znanie.1990.-184 s.
7. Bobrovnikov, L.Z. Elektronika. Uchebnik dlya vuzov. 5-e izd. / L.Z. Bobrovnikov. - SPb.: Izd-vo «Piter», 2004. - 560 s.
8. Buravlev, A. Masshtabiruemye mul'tiprocessornye vychislitel'nye sistemy vysokoy proizvoditel'nosti / A. Buravlev, M. Chel'diev, A. Barybin, V. Kostenko, D. Tumakin, G. Petrova // Sovremennye tehnologii avtomatizacii. - 2009. - № 3. - S. 72-76.
9. Vanyurihin A.I., Gerchanovskaya V.P. Optiko-elektronnye polyarizacionnye ustroystva. - Kiev: Tehnika, 1984.
10. Gorodeckiy, A.E. Nechetkie tehnologii upravleniya v optoelektronnyh sistemah / Gorodeckiy A. E., Erofeev A. A., Zhuykov A. Yu. // Tez. dokl. «Mezhdunar. konf. po myagkim vychisleniyam i izmereniyam» - SPb., 2000g.
11. Dogu M. Obzor instrumental'nyh sredstv na nechetkoy logike // Densi Gidzyucu, 1991.-T. 33. № 1.
12. Zmitrovich A.I. Intellektual'nye informacionnye sistemy.-Mn.:NTOOO «TetraSistems», 1997.- 368 s.
13. Ivanov, V.I. Poluprovodnikovye optoelektronnye pribory: Spravochnik / V.I. Ivanov, A.I. Aksenov, A.M. Yushin; Pod red. N.N Goryunova. - M.: Energoatomizdat, 1984. -184 s.
14. Isihara S. Opticheskie komp'yutery. Novyy vek nauki. / Pod red. M.A.Voroncova. M.: Nauka, 1992.
15. Kler, Zh.-Zh. Vvedenie v integral'nuyu optiku: Per. s franc. Pod redakciey V.K. Sokolova / Zh.-Zh. Kler. - M.: Sov.radio, 1980. - 104 s.
16. Kramarov S.O., Sokolov S.V. Opticheskie komp'yutery v obuchenii: perspektivy i real'nost' Materialy Vserossiyskih nauchno-prakticheskih konferenciy-vystavok: «Informatizaciya obrazovaniya 96 i 97», Stavropol', izd. SGU, 1997.
17. Liberman, F.Ya. Elektronika na zheleznodorozhnom transporte: Ucheb. posobie dlya vuzov zh.-d. transp. / F.Ya. Liberman. - M: Transport, 1987. - 288 s.
18. Makkaveev, V. Fotonnye kommutatory/ V. Makkaveev // Komponenty i tehnologii. - 2006. - № 2. - S. 142-146.
19. Mayorov S.A., Ochin E.F., Romanov Yu.F. Opticheskie analogovye vychislitel'nye mashiny. - L.: Energoatomizdat, 1983.
20. Marshe Zh. Operacionnye usiliteli i ih primenenie. Per. s franc. / Zh. Marshe. -L.: Izdatel'stvo «Energiya», 1974. - 216 s.
21. Melihov, A.N. Proektirovanie mikroprocessornyh sredstv obrabotki nechetkoy informacii / A.N Melihov, V.D. Baronec. - Rostov - n/D: Izdatel'stvo Rostovskogo universiteta, 1990. - 128 s.
22. Mirovickiy D.I., Budagyan I.F., Dubrovin V.F. Mikrovolnovodnaya optika i golografiya. - M.: Nauka, 1983.
23. Nosov, Yu.R. Optoelektronika / Yu.R. Nosov. - M.: Radio i svyaz', 1989. - 360 s.
24. Opticheskie vychisleniya / Pod red. R. Arratuna. - M.: Mir, 1993.
25. Opticheskaya obrabotka informacii / Pod red. D. Keysesenta. - M.: Mir, 1980.
26. Pavlov, A.V. Obrabotka informacii opticheskimi metodami: v 2 t. - SPb.: SPbGU ITMO, 2010. - 78 s.
27. Patent № RU 2020528, Rossiya, 1994. Opticheskiy trigger / Sokolov S.V.
28. Patent № RU 2020551, Rossiya, 1994. Opticheskiy komparator / Sokolov S.V.
29. Patent № RU 2040028, Rossiya, 1995. Opticheskiy trigger / Sokolov S.V.
30. Patent № RU 2159461, Rossiya, 2000. Opticheskiy differenciator / S.V. Sokolov, P.S. Shevchuk, R.N. Ganeev, A.V. Momot.
31. Patent № RU 2408051, Rossiya, 2010. Optoelektronnyy defazzifikator / Kureychik V.M., Kureychik V.V., M.A. Alles, S.V. Sokolov, S.M. Kovalev.
32. Patent № RU 2408052, Rossiya, 2010. Optoelektronnyy defazzifikator / Kureychik V.M., Kureychik V.V., M.A. Alles, S.V. Sokolov, S.M. Kovalev.
33. Patent № RU 2409831, Rossiya, 2011. Opticheskiy defazzifikator / Kureychik V.M., Kureychik V.V., M.A. Alles, S.V. Sokolov, S.M. Kovalev.
34. Patent № RU 2416119, Rossiya, 2011. Opticheskiy fazzifikator / Kureychik V.M., Kureychik V.V., M.A. Alles, S.V. Sokolov, S.M. Kovalev.
35. Patent № RU 2 419 127, Rossiya, 2011. Opticheskiy diz'yunktor nepreryvnyh mnozhestv / Kureychik V.M., Kureychik V.V., M.A. Alles, S.V. Sokolov, S.M. Kovalev
36. Patent № RU 2 419 128, Rossiya, 2011. Opticheskiy kon'yunktor nepreryvnyh mnozhestv / Kureychik V.M., Kureychik V.V., M.A. Alles, S.V. Sokolov, S.M. Kovalev
37. Patent № RU 2 422 876, Rossiya, 2011. Opticheskiy diz'yunktor nepreryvnyh mnozhestv / M.A. Alles, S.V. Sokolov, S.M. Kovalev
38. Patent № RU 2 429 519, Rossiya, 2011. Opticheskiy vychislitel' simmetricheskoy raznosti nepreryvnyh mnozhestv / M.A. Alles, S.V. Sokolov, S.M. Kovalev
39. Patent № RU 2 432 597, Rossiya, 2011. Opticheskiy vychislitel' funkcii po modulyu chisla / M.A. Alles, S.V. Sokolov, S.M. Kovalev
40. Patent № RU 2 432 598, Rossiya, 2011. Opticheskiy granichnyy diz'yunktor nechetkih mnozhestv / M.A. Alles, S.V. Sokolov, S.M. Kovalev
41. Patent № RU 2 432 599, Rossiya, 2011. Opticheskiy fazzifikator / M.A. Alles, S.V. Sokolov, S.M. Kovalev
42. Patent № RU 2 432 600, Rossiya, 2011. Opticheskiy diz'yunktor nepreryvnyh (nechetkih) mnozhestv / M.A. Alles, S.V. Sokolov, S.M. Kovalev
43. Patent № RU 2 432 602, Rossiya, 2011. Opticheskiy granichnyy kon'yunktor nechetkih mnozhestv / M.A. Alles, S.V. Sokolov, S.M. Kovalev
44. Patent № RU 2 432 670, Rossiya, 2011. Opticheskiy generator impul'snyh posledovatel'nostey / M.A. Alles, S.V. Sokolov
45. Patent № RU 2 433 446, Rossiya, 2011. Opticheskiy vychislitel' raznosti nepreryvnyh mnozhestv / M.A. Alles, S.V. Sokolov, S.M. Kovalev
46. Patent № RU 2 435 191, Rossiya, 2011. Opticheskiy algebraicheskiy ob'edinitel' nechetkih mnozhestv / M.A. Alles, S.V. Sokolov, S.M. Kovalev
47. Patent № RU 2 435 192, Rossiya, 2011. Opticheskiy D-kon'yunktor nechetkih mnozhestv / M.A. Alles, S.V. Sokolov, S.M. Kovalev
48. Patent № RU 2 435 193, Rossiya, 2011. Opticheskiy kon'yunktor nepreryvnyh (nechetkih) mnozhestv / M.A. Alles, S.V. Sokolov, S.M. Kovalev
49. Patent № RU 2 437 139, Rossiya, 2011. Opticheskiy granichnyy diz'yunktor nechetkih mnozhestv / M.A. Alles, S.V. Sokolov, S.M. Kovalev
50. Patent № RU 2 439 651, Rossiya, 2012. Optoelektronnyy defazzifikator / M.A. Alles, S.V. Sokolov, S.M. Kovalev
51. Patent № RU 2 439 652, Rossiya, 2012. Optoelektronnyy defazzifikator / M.A. Alles, S.V. Sokolov, S.M. Kovalev
52. Patent № RU 2 441 267, Rossiya, 2012. Opticheskiy vychislitel' nechetkogo vklyucheniya nechetkih mnozhestv / M.A. Alles, S.V. Sokolov, S.M. Kovalev
53. Patent № RU 2 442 204, Rossiya, 2012. Opticheskiy kommutator / S.V. Sokolov i dr.
54. Patent № RU 2 444 036, Rossiya, 2012. Opticheskiy kommutator / S.V. Sokolov i dr.
55. Patent № RU 2 444 047, Rossiya, 2012. Opticheskiy defazzifikator / M.A. Alles, S.V. Sokolov, S.M. Kovalev
56. Patent № RU 2 445 672, Rossiya, 2012. Optoelektronnyy nechetkiy processor / M.A. Alles, S.V. Sokolov, S.M. Kovalev
57. Patent № RU 2 446 431, Rossiya, 2012. Opticheskiy fazzifikator / M.A. Alles, S.V. Sokolov, S.M. Kovalev
58. Patent № RU 2 446 432, Rossiya, 2012. Optoelektronnyy defazzifikator / M.A. Alles, S.V. Sokolov, S.M. Kovalev
59. Patent № RU 2 446 433, Rossiya, 2012. Optoelektronnyy nechetkiy processor / M.A. Alles, S.V. Sokolov, S.M. Kovalev
60. Patent № RU 2 446 434, Rossiya, 2012. Opticheskiy fazzifikator / M.A. Alles, S.V. Sokolov, S.M. Kovalev
61. Patent № RU 2 446 435, Rossiya, 2012. Optoelektronnyy defazzifikator / M.A. Alles, S.V. Sokolov, S.M. Kovalev
62. Patent № RU 2 446 436, Rossiya, 2012. Optoelektronnyy nechetkiy processor / M.A. Alles, S.V. Sokolov, S.M. Kovalev
63. Patent № RU 2 451 976, Rossiya, 2012. Opticheskiy D-diz'yunktor nechetkih mnozhestv / M.A. Alles, S.V. Sokolov, S.M. Kovalev
64. Patent № RU 2 458 377, Rossiya, 2012. Opticheskiy JK-trigger / M.A. Alles, S.V. Sokolov
65. Patent № RU 2 461 031, Rossiya, 2012. Opticheskiy T-trigger / M.A. Alles, S.V. Sokolov
66. Patent № RU 2 463 640, Rossiya, 2012. Opticheskiy vychislitel' dopolneniya nechetkogo mnozhestva / M.A. Alles, S.V. Sokolov, S.M. Kovalev
67. Pegat A. Nechetkoe modelirovanie i upravlenie. - M.: BINOM, 2009. - 798 s.
68. Primenenie metodov Fur'e-optiki. / Pod red. Starka G. - M.: Radio i svyaz', 1988.
69. Svechnikov S.V. Elementy optoelektroniki. - M.: Sov. radio, 1971.
70. Semenov A.S., Smirnov V.L., Shmal'ko A.V. Integral'naya optika dlya sistem peredachi i obrabotki informacii. - M.: Radio i svyaz', 1990. - 224 s.
71. Sokolov S.V. O primenenii volnovodnoy optiki dlya postroeniya funkcional'nyh elementov opticheskih CVM // Avtometriya. 1992. № 4.
72. Sokolov S.V. O postroenii volnovodno-opticheskogo dvoichnogo umnozhitelya dlya opticheskih CVM // Avtometriya. 1997. № 3.
73. Sokolov S.V. Mnogofunkcional'noe ispol'zovanie kol'cevogo opticheskogo ustroystva // Izvestiya Vuzov. Priborostroenie. 1991. № 1.
74. Sokolov S.V. O sinteze prostranstvennogo opticheskogo funkcional'nogo preobrazovatelya // Izvestiya Vuzov. Priborostroenie. 1993. № 9 - 10.
75. Sokolov S.V. Primenenie opticheskih volnovodov dlya sinteza processornyh shem // Izvestiya Vuzov. Radioelektronika. 1995. № 2.
76. Sokolov S.V. Nekogerentnoe volnovodno-opticheskoe ustroystvo dlya resheniya differencial'nyh uravneniy //Izvestiya Vuzov. Radioelektronika. 1996. № 2.
77. Sokolov S.V. Sintez funkcional'nyh elementov opticheskih komp'yuterov na osnove svyazannyh opticheskih volnovodov // Izvestiya Vuzov. Radioelektronika. 1997. № 5.
78. Sokolov S.V. Sintez opticheskih preobrazovateley informacii // Opticheskiy zhurnal. 1994. № 7.
79. Sokolov S.V. O principah sinteza nekogerentnyh volnovodno-opticheskih matrichnyh processorov // Opticheskiy zhurnal. 1996. № 1.
80. Sokolov S.V. Nekogerentno-opticheskiy matrichnyy processor // Opticheskiy zhurnal. 1998. № 9.
81. Sokolov S.V. Ispol'zovanie nelineynoy i volnovodnoy optiki pri sinteze cifrovyh vychisliteley // Opticheskiy zhurnal. 1999. № 2.
82. Sokolov S.V. Ob odnom principe postroeniya volokonno-opticheskih nekogerentnyh vychislitel'nyh ustroystv // Radiotehnika. 1993. № 8 - 9.
83. Sokolov S.V. Nekogerentno-opticheskie processornye shemy // Radiotehnika. 1997. № 8.
84. Spravochnik po teorii avtomaticheskogo upravleniya / pod red. A.A. Krasovskogo. - M.: Nauka. Gl. red. fiz.-mat. lit., 1987. - 712 s.
85. Ul'yanov S.V. Nechetkie modeli intellektual'nyh promyshlennyh sistem upravleniya: teoreticheskie i prikladnye aspekty // Izv. AN SSSR. Tehnicheskaya kibernetika, 1991. - № 3.
86. Fotonika / Pod red. M. Balkanski, P. Lalemana. - M.: Mir, 1978.
87. Scherba, A. Programmiruemye analogovye IS Anadigm: primenenie konfiguriruemyh analogovyh moduley v sostave programmy Anadigm Designer2 / A. Scherba // Komponenty i tehnologii .- 2007. - №12.
88. Kramarov S.O., Sokolov S.V. Optical Spatially distributed computer - based information system // ISAF’ 96 PAPERS, part 2, NJ, USA, 1996.
89. Kramarov S.O., Sokolov S.V. Synthesis of functional units for optical computers based on the Spatial-spaced waveguide structures //8-th International Meeting on Ferroelectric-Semiconductors (IMFS-8), Rostov-on-Don,1998.
90. abc.vvsu.ru // Sayt cifrovyh uchebno-metodicheskih materialov Centra Obrazovaniya VGUES.