автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.16, диссертация на тему:Экспертная поддержка процессов диагностики и проектирования экологического состояния действующего промышленного предприятия

РГБ ОД

1 У иэа 2зсз

Мордовский государственный университет имени Н.П. Огарева

На правах рукописи УДК 519.687.001.573

ТОМИЛИНА Оксана Александровна

Экспертная поддержка процессом диагностики и проектирования экологического состояния действующего промышленного предприятия

05.13.16 - применение вычислительной техники, математического моделирования и математических методов п научных исследованиях

автореферат

диссертации на соискание ученой степени кандидата технических наук

Саране« 2000

Работа выполнена в Мордовском ордена Дружбы народов государственном университете имени Н.П.Огарева

Научный руководитель: доктор технических наук,

профессор В.Ф.Белов.

Официальные оппоненты: доктор технических наук.

профессор В.К. Свешников

кандидат технических наук, доцент И.Н. Кудашкин

Ведущая организация: Институт математического моделирования

Российской Академии Наук

Защита состоится 24 мая 2000 г. в 14 ч. 00 мин. па заседании диссертационного совета К 063.72.04 по присуждению ученой степени кандидата технических наук в Мордовском государственном университете имени Н.П. Огарева по адресу: г. Саранск, ул. Большевистская, 68.

С диссертационной работой можно ознакомиться в Научной библиотеке Мордовского государственного университета.

Автореферат разослан «(¿/ » 2000 г.

Ученый секретарь-

диссертационного совета

кандидат физико-математ!"-""1"1" —"

доцент

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность темы. В настоящее время становятся актуальными экологически безопасные технологии производства. Поэтому в задачи экологических служб любого предприятие входит определение параметров экологииности предприятии, а следовательно, и решение вопроса о необходимости введения дополнительных мер, обеспечивающих минимизацию вредного воздействия выбросов предприятия па окружающую среду. Таким образом, встает проблема анализа вредных воздействий различных видов (твердые, жидкие, газообразные выбросы, шум и т.д.).

Для решения этой задачи в соответствии с экологическими стандартами EMAS, ISO 14001, ГОСТ Р ИСО 1404-98 были разработаны пришиты определения величин вредных воздействий, но отсутствуют эффективные инструменты неформального определения iin величин на действующем предприятии. Поэтому необходима специализированная диагностическая система экологического аудита, опирающаяся на основные принципы определения величин вредных воздействий в соответствии с выбранным стандартом.

Если анализ экологических параметров предприятия показал не приемлемые результаты, то необходимо ввести такие изменения в технологии, которые бы в совокупности обеспечили экологическую безопасность. Для этого следует оценить:

• экологические параметры - всех возможных вариантов технологий, используемых на данном предприятии;

• экологические параметры совокупности технологий, пригодных для применения на данном предприятии.

По результатам анализа необходимо выбрать лучшее сочетание технологий с точки зрения воздействия на окружающую среду. Эти задачи решаются .методами проектирования сложных систем с применением теории искусственного интеллекта.

Таким образом, создание комплекса программ для диагностики и проектирования экологических параметров действующих предприятий является актуальной задачей при решении проблемы экологической безопасности производства и здоровья населения.

Цели работы. 1. Разработка математической модели, алгоритмов анализа и синтеза, создание программного обеспечения для процесса

проектирования экологически безопасных производств на .действующем предприятии.

2. Разработка программной поддержки процесса тестирования экологической политики действующего предприятия.

3. Разработка принципов оркшизации и программной реализации единообразного интерфейса пользователя для комплекса программ диагностики и проектирования экологически безопасных производств на действующем предприятии.

Общая методика исследовании возможностей и границ применения экспертной поддержки процессов диагностики и проектирования основана на использовании теории экспертных систем, теории проектирования сложных систем, а также вычислительного эксперимента, основанною на реальных данных.

Научная ношпна. В диссертации получены следующие новые результаты, выносимые на защиту:

1. Стратегия проектирования экологически безопасных производств, основанная на комплексном применении методов Ллсксаидера, индекса надежности по Квирку и .морфологического синтеза.

2. Теоретико-множественная модель предметной области, отражающая экологические параметры технологических процессов на действующем предприятии.

3. Программная реализация интеллектуальной системы принятия проектных решений, обеспечивающая выбор экологически безопасных производств па действующем предприятии.

4. Результаты аудита реально действующего предприятия и проектирования экологически безопасных производств на нем, полученные с помощью программ ECOMaaagement и ECOProject.

Научная и практическая ценность. Работа носит прикладной характер. Полученные результаты могут быть использованы в теории проектирования сложных систем. Практическая ценность состоит в применении представленного комплекса для оценки и проектирования ткологичеекпхттраметров реально депствующих-предприятий-

Апробация работы. Основные результаты диссертации докладывались на III международной конференции "Дифференциальные уравнения и их приложения" (Саранск 1998 г.), на конференции молодых ученых (Саранск 1998, 1999, 2000 гг.), на научном семинаре Средневолжского математического общества под руководством профессора Е.В.Воскресенского (Саранск 2000 г.).

Публикации. Основные результаты работы отражены в шести публикациях, список которых приведен в конце автореферата.

Структура н объем диссертации. Диссертация состоит in введения, четырех глав, разбитых на параграфы, библиографического списка и девяти приложений. Общий объем диссертации 136 с границ иллюстрируемых рисунками и таблицами. Библиографический список содержит 128 наименований.

КРАТКОЕ СОДЕРЖЛ11И1£ РАНО 11,1

Во введении к диссертационной работе обоснована актуальное п, темы, определены цели проводимых исследований, формулируются научная новизна и положения, выносимые на чаши tу.

В главе 1 «Проектирование экологически безопасных систем как объект автоматизации» рассматриваются вопросы экологической безопасности действующих предприятий, методы автоматизации процессов анализа и регулирования экологически безопасных производств.

В параграфе 1.1 проводится подробный анализ видов загрязнений окружающей среды и проблем, связанных с ними. В этом же разделе рассматриваются европейская система управления охраной окружающей среды EMAS, комплекс международных экологических стандартов ISO 14000 и комплекс российских экологических стандартов ГОСТ Р ИСО 14001-98, ГОСТ Р ИСО 14004-98, ГОСТ Р ИСО 14010-98, ГОСТ Р ИСО 14011-98, ГОСТ Р ИСО 14012-98; проводится сравнительный анализ систем управления охраной окружающей среды.

В параграфе 1.2 проводится анализ "современных методов экологического проектирования, рассматривается классификация современных методов проектирования сложных систем с целью анализа границ их применимости в проектировании экологически безопасных производств на действующих предприятиях, обосновывается выбор метода Апександера для комбинирования промежуточных решений и метода индексов надежности по Квирку для оценки вариантов решения.

В параграфе 1.3 рассматриваются задачи, решаемые с помощью экспертных систем, категории способов и область ич применения. По результатам этого раздела делается вывод о возможности применения

экспертных систем для решения задач проектирования экологически безопасных производств на действующем предприятии.

В главе 2 «Стратегия проектирования системы экологической безопасности на действующем предприятии» осуществляется постановка задачи проектирования эколсн ически óeionaciioi о произволе n¡a на действующем предприятии как задачи проектирования сложных систем и предлагается алгорм im ее решении.

В параграфе 2.1 предложена теоретико-множественная модель предметной области.

Определим множество F=¡f,,...,!',} как множество технологических процессов, выполняемых на дсйсшукнцем предприятии. Элементами множества F являются конкретные технологические процессы f¡ (¡=1,... j).

Любой технологический процесс можно рассмотреть как совокупность количественных показателей и функциональной структуры.

Рассмотрим множества Н, - множества количественных показателей, характеризующих, соответственно, i-e технологические процессы ка предприятии (i=l,...j).

Множества H¡ пересекаются:

Н,сН. 3¡, g(i*g):H¡nHe*0(i,g=l,...j).

Множество Н количественных показателей всех технологических процессов образуется в процессе обьедипенля Ilj (¡-:l,...j): J

Н = u H¡. i=l

Выделим из множества Н подмножество Н0 - множество параметров экологичности рассматриваемого предприятия. Рассмотрим множества H0¡ (i=0,...j) как подмножества множества Н(>, элементами которого являются параметры экологичное™ для ¡-го технологического процесса.

Множество Hn={hl|,-,h„,...,hk„,} представляет собой совокупность количественных показателей выброса Ьц i-го вещества, используемого в технологических процессах (i=l,...,K), характеризующих t-ый тин экологических параметров (t=l,...,m).

Функциональные структуры S, (r=l,...j) каждого из j технологических процессов на предприяпш образуют множество S -общую функциональную структуру технологических процессов на предприятии; т. е. S = {Si,...,Sj}:

и* ¡=1

Множества Б,- попарно не пересекаются: Б.сБ. V Й (¡^в): во Бе=0.

Множество Б, а значит и любое из подмножеств Б] (¡=1,...,_]), можно представить как совокупность конкретных процессов (¡=1,...,П), 5={5|,...,8п}.

Схематически соответствие между множествами представлено на рис. 1.

1=1,...Л

1=1,...0

Рис. 1.

s

Пусть r,k = {hlb..., h,m, s,} (i=l,...j; к=1,...,р|)-к-ый вариантного технологического процесса; р( - количество возможных вариантов. RR, - ' i-oe множество совокупностей экологически безопасных технологических процессов на рассматриваемом преднриянш

(¡=1.....р.,). е. RR,={r|M\ ггК:'.....r,kl';, a RR - множество приемлемых

па данном предприятии для данного ««логического стандарта (нескольких стандартов одновременно) совокупностей экологически безопаснымехнолопш. RR=|RR|,..., RR,,;.',.

Тогда на основе теоретико-множественной модели предметной обласчи возможна нос/авка задачи проектрования экологически безопасного производства как задача оптимизации. Однако решение этой задачи, даже с использованием современных компьютеров, затруднительно из-за большого количества параметров. Практическое решение задачи можно получить методами проектирования сложных систем.

Поставим задачу формирования экологически безопасных производств как задачу морфологического синтеза - определение облика системы при фиксированной номенклатуре составных частей. Синтез • облика - это выбор значений переменных Г|к (i=l,...,j; k=T,...,pi) при офаничениях: к

X z, 1. i=l

где г, - показатель приемлемости каждого из решений r^ (i=l,...j; k=l.....р2).

Вид окончательного решения (облика) - это одно из возможных RR, (i=l...., р?).

Функция полезности u: RR| -->[0;1] обладает свойством: RRi>RR; о u(RR|)>u(RR3), (1)

где RR|, RR2 б R; отношение предпочтения на множестве R.

-II. этом сцуч.чр чаща зядача сводится к задаче синтеза облика

сложных систем и имеет вид:

u(x) -> max, (2)

RRieR

где х - любая совокупность экологически безопасных технолог ических процессов, RR,еR, i=l,...,pj.

В этом же параграфе' рассматривается полная схема процесса проектирования системы экологической безопасности ¡-того

технологического процесса (i-~ 1,..., j) на действующем предприятии, основанная на стратегии совместного использования метода Ллександера, индексов надежности по Квирку и морфологического синтеза. Схема анализа k-ого экологически безопасного производства па действующем предприятии показана на рис. 2. Схема реализуется по следующему Алгоритму:

Iiiar 1. Выявляются все требования ¡Iiij,...,lit!„, S|,...,S„J, оказывающие влияние на формирование экологически безопасной природоохранной политики функционирующего предприятия.

Шаг 2. Формируется морфологическая матрица решений вида

г,— _________ Iii,,,, s,j (¡■■■-1,...pi) множества характеристик всех возможных

процессов i-ro технологического процесса.

Шаг 3. Формируется множество приемлемых видов ¡-того технологического процесса RR,= {ri,..., г,} (¡=1,.., р.О-

Шаг 4. Выделяются конкретные компоненты и s4 (х~!.....и;

у=1,...,т) для каждого набора требований, определяемых выбранным стандартом.

Шаг 5. Усекается морфологическая матрица: r,~{ltj|,..., him, Sj) (i=l.....P;), где h„<li4,(t=l ,...,111).

Шаг 6. С использованием экспертных знаний оценивается степень приемлемости решений для данного предприятия, т. е. выделяются Ьаь и sa (a=l,...,v; b=l,...,m) - набор требований, приемлемый для данною предприятия.

Шаг 7. Формируются hirn, s;} (i=l ,...,р3), где hit<hnt

(l=l,....m). Усеченное таким образом множество RR; помещается также в виртуальную матрицу промежуточных решений.

Шаг 8. На основе экспертных оценок вычисляются все показатели приемлемости Zj (i=l,...,p3) (z, принадлежит [0;1]) элементов классификации для каждого п.

Шаг 9. На основе оценок упорядочивается индексация (в порядке убывания). Упорядоченное множество RR, (i=l,...,pj) опять помещается в матрицу промежуточных решений.

Шаг 10. Подготавливаются итоговые результаты Г| = {hü,..., h;,,,, s,j (i=l,...,pt) для выбора окончательных решений и сохраняются в морфологической матрице приемлемых технологических процессов.

Для демонстрации предложенного алгоритма приведен пример формирования экологически безопасной политики предприятия, в который включены три различных технологических процесса.

¡2

! &

¡а

о с пз о о •<£.; 4»

ч

X

к

ч Е

НАЧАЛО

«

о.

и ч

X св о И

о

ч <

Ч О

±

1.Выделение требований

{¡1„,...,Ь., -А)

I

2.Формирова1ше всех возможных решений вида Г = {11.......

3. Формирован не НК={г„...,г.Ь(М,...р)

4.Выявление требований

I). из (х=),...,и, у=1.....т)

определяемых стандартом

i

э.Формирование

г={Ь.......(¡=1.....р),

где Ь.<11..0=1,...,т)

б.Выя&ление требований I1. и 5, (а=1,..,\; Ь=1,...,ш),

определяемых предприятием

7.Формирование где . (1=1,...,т)

8.Вычисление показателя приемлемости каждого из решений г - г (¡=1,..,р.)

^Упорядочение множества с учетом г (¡-|,...,р.)

10. Сохранение итоговых результатов в итоговую матрицу

i

КОНЕЦ

я • 5 ! о Ь-о

о: я ,

о. о

с I

П!

Рис. 2.

В главе 3 «Комплекс программ диагностики и проектирования систем экологической безопасности» описывается разработанный автором комплекс программ, предназначенный для диагностики и проектирования экологически безопасного производства на деист вующем пред:фият ни.

Комплекс программных средств проектирования системы экологической безопасности функционирующего предприятия (его экологической политики) включает три программных модуля: HCOMaragement, ECOProject, Лррехес. Любой из модулей может быть использован как самостоятельный программный продукт:

liCOMana^einent - это программа экологического менеджмента, для анализа рассматриваемого промышленного предприятия на соответствие экологическим стандартам.

ECOProject представляет собой программу проектирования экологически безопасных технологических процессов предприятия, реализующую подробный анализ технологических процессов и связанных с ними экологических параметров предприятия и генерирующую приемлемые экологически безопасные политики для данного предприятия;

Аррехес - это программа защиты ог несанкционированного доступа как самих программных модулей, так и используемой в них информации.

ECOManagement представляет собой жспертнуто систему диагностического типа. При обосновании решений с помощью логического вывода знания о задаче представляются средствами временной логики.

ECOProject является экспертной системой проектирования. Особенностью реализации ECOProject является то, что машина логического вывода является реализацией лабиринтного метода морфологического конструирования.

В этой же главе приводится обоснование выбора объектно-ориентированного и модульного принципов программирования и использования языка программирования Delphi 4.0.

Для каждой из программ комплекса приведены: описание профамм, описания процедур и их объектно-ориентированная реализация средствами визуального программирования Delhpi 4.0. При этом, параграф 3.1 посвящен программе экологического менеджмента ECOManagement, а параграф 3.2 - программе проектирования экологически безопасного производства ECOProject.

В главе 4 «Практическое применение комплекса программ при тестировании и для проектирования экологически безопасного производства на действующем промышленном предприятии» приведены результаты реальною тестирования ОАО «Электровыпрямшель» и проектирования на этой основе природоохранной политики. При пом. параграф 4.1 посвящен тестированию в программе экологического аудита ЬСОМааауетеШ. 1! процессе тестирования были получены результаты, показывающие уровень соошегсгвня экологической политики всего- иредпрмяшя требованиям ПМА$. Они выводятся в виде словесных рекомендаций, а также с помощью таблицы или диаграмм (рис. 3).

1.2-34 ь Н ; о & !'. П 12 1; I.

рйс.т

Параграф 4.2 посвящен проектированию экологически безопасных производств в программе ^СОРкуеа. Для тестирования были выбраны производства полупроводниковых приборов и товаров народного потребления. При этом детально рассматривались технологические процессы производства всей продукции, как -совркулпортгй технологических цепочек, с учетом экологических параметров веществ, используемых в них, и выбросов. В результате, были получены практические рекомендации, которые представлены в виде текста и диаграммы (рис. 4).

Рис. 4.

15 заключении формулируются основные результаты, полученные в диссертационной работе.

В приложении 1 приведен перечень современных систем проектирования экологически безопасных промышленных систем.

В приложении 2 приведен перечень направлений, блоков, основных и дополнительных вопросов, возможных результатов тестирований.

В приложениях 3 и 4 приведены примеры файлов входных данных начального тестирования и аудита, проводимых программой ЕСОМаг^етеШ.

В приложениях 5 и 6 приведены примеры файлов выходных данных начального тестирования и аудита, проводимых программой 1:СОМапа£еп1еп(.

В приложен пи 7 приведен пример файла входных данных технологических процессов для программы 1:СОРго]есЧ.

В приложении 8 приведен пример файла входных данных совокупностей технологических процессов на предприятии для программы ЕСОРго]еа.

В приложении 9 приведен пример файла выходных данных для программы ЕСОРпуесГ В нем представлен пример совокупностей технологических процессов, приемлемых для рассматриваемого предприятия.

РАБОТЫ, ОПУБЛИКОВАННЫЕ ПО ТЕМЕ ДИССЕРТАЦИИ

1. Ефимов А. В., Томилина О. А. Защита от несанкционированного доступа экспертной системы "ЭкоМенеджменг" // Актуальные вопросы естественных и технически < науки. Межвузовский сборник научных трудов. Саранск: СВМО, 2000. - С. 183-184.

2. Томилина О. А. Выбор решений на основе четкой экспертной информации в экспертной системе экологического менеджмента И XXVIII Огаревские чтения: Материалы научной конференции (Естественные и технические науки). - Саранск: СВМО, 1999. -С. 98-100.

3. Томилина О. А., Белов В. Ф. Теоретико-множественная модель экологически безопасной политики действующего предприятия // Актуальные вопросы естественных и технических науки. Межвузовский сборник научных трудов. - Саранск: СВМО. 2000.-С. 185-186.

4. Томилина О. А. Экспертная, система проектирования облика автономных преобразовательных систем // "Труды Третьей Международной конференции "Дифференциальные уравнения и ич приложения": Саранск, 19-21 мая 1998 г. Саранск, 1998. - С. 262.

5. Томилина О. А. Экспертная система экологического менеджмента // IV конференция молодых ученых в 3 частях. Ч. 3. (Экология. Гуманитарные и технические науки). - Саранск: СВМО, 1999.-С. 19-20.

6. Томилина О. А. Экспертная система экологического менеджмента (на основе теста EMAS) // Композиционные строительные материалы. Теория и практика. Сборник научных трудов Международной научно-технической конференции. Ч. П. -Пенза, 2000.-С. 1 17-1!9.

Введение

Глава 1. Проектирование экологически безопасных систем как объект автоматизации

1.1 Проблемы загрязнения окружающей среды и их регулирование

1.2 Современные методы проектирования экологически безопасных систем

1.3 Применение методов искусственного интеллекта в анализе и синтезе экологически безопасных систем

Глава 2. Стратегия проектирования системы экологической безопасности на действующем предприятии

2.1 Постановка задачи проектирования системы экологической безопасности функционирующего предприятия

2.2 Схема процесса проектирования системы экологической безопасности

Глава 3. Комплекс программ диагностики и проектирования экологической безопасностности

3.1 Реализация программы экологического менеджмента

3.2 Реализация системы экологического проектирования

Глава 4. ПРАКТИЧЕСКОЕ ПРИМЕНЕНИЕ КОМПЛЕКСА

ПРОГРАММ ПРИ ТЕСТИРОВАНИИ И ДЛЯ ПРОЕКТИРОВАНИЯ ЭКОЛОГИЧЕСКИ БЕЗОПАСНОГО ПРОИЗВОДСТВА НА ДЕЙСТВУЮЩЕМ промышленном предприятии

4.1 Тестирование действующего промышленного предприятия с помощью программы ECOManagement на соответствие стандартам EMAS

4.2 Проектирование экологически безопасного производства на действующем промышленном предприятии

Диссертационная работа посвящена разработке комплекса программ диагностики экологического состояния действующего промышленного предприятия и проектирования экологически безопасных производств на нем на основе современных методов анализа и синтеза сложных систем.

Выбор темы обусловлен тем, что в настоящее время становятся актуальными экологически безопасные технологии производства. Поэтому в задачи экологических служб любого предприятия входит определение параметров экологичности предприятия, а следовательно, и решение вопроса о необходимости введения дополнительных мер, обеспечивающих минимизацию вредного воздействия выбросов предприятия на окружающую среду. Таким образом, встает проблема анализа вредных воздействий.

Для решения этой задачи в соответствии с экологическими стандартами EMAS, ISO 14001, ГОСТ Р ИСО 1404-98 были разработаны принципы определения величин вредных воздействий [101, 34, 60, 76], но отсутствуют эффективные инструменты неформального определения величин вредных воздействий действующего предприятия. Для решения ее необходима специализированная диагностическая система экологического менеджмента, опирающаяся на основные принципы определения величин вредных воздействий в соответствии с выбранным стандартом.

Если анализ экологических параметров предприятия показал не приемлемые результаты, то необходимо ввести такие изменения в технологии, которые бы в совокупности обеспечили экологическую безопасность. Для этого следует оценить экологические параметры всех возможных вариантов технологий, используемых на данном предприятии, экологические параметры совокупности технологий, пригодных для применения на,данном предприятии. По результатам анализа необходимо выбрать лучшее сочетание технологий, с точки зрения воздействия на окружающую среду. Эти задачи решаются методами проектирования сложных систем, основанными на теории искусственного интеллекта [1, 17, 21, 24, 35, 41, 52-54, 62, 75, 95, 103, 106-109, 112, 118-120, 124, 126]. Для этого также необходима специализированная система интеллектуального проектирования экологически безопасного производства на данном действующем предприятии.

Таким образом, создание комплекса программ для диагностики и проектирования экологических параметров действующих предприятий является актуальной задачей при решении проблемы экологической безопасцости и здоровья населения.

Основу настоящей диссертации составляют результаты, опубликованные в работах автора [33, 85-89].

Цели работы:

1. Разработка математической модели, алгоритмов анализа и синтеза, создание программного обеспечения для процесса проектирования экологически безопасных производств на действующем предприятии.

2. Разработка программной поддержки процесса тестирования экологической политики действующего предприятия.

3. Разработка принципов организации и программной реализации единообразного интерфейса пользователя для комплекса программ диагностики и проектирования экологически безопасных производств на действующем предприятии.

Личный вклад автора.

Теоретические положения, изложенные в диссертационной работе, и программная реализация модулей экологического менеджмента и проектирования принадлежат автору. Программная реализация модуля защиты и внедрение полученных в диссертационной работе результатов выполнены совместно с соавторами.

Структура диссертации.

Во введении к диссертационной работе обоснована актуальность темы, определены цели проводимых исследований, формулируются научная новизна и положения, выносимые на защиту.

В главе 1 «Проектирование экологически безопасных систем как объект автоматизации» рассматриваются вопросы экологической безопасности действующих предприятий, методы автоматизации процессов анализа и регулирования экологически безопасных производств.

В разделе 1.1 проводится подробный анализ видов загрязнений окружающей среды и проблем, связанных с ними. В этом же разделе рассматриваются европейская система управления охраной окружающей среды EMAS, комплекс международных экологических стандартов ISO 14000 и комплекс российских экологический стандартов ГОСТ Р ИСО 14001-98, ГОСТ Р ИСО 14004-98, ГОСТ Р ИСО 14010-98, ГОСТ Р ИСО 14011-98, ГОСТ Р ИСО 14012-98; проводится сравнительный анализ систем управления охраной окружающей среды.

В разделе 1.2 проводится анализ современных методов экологического проектирования, рассматривается классификация современных методов проектирования сложных систем с целью анализа границ их применимости в проектировании экологически безопасных производств на действующих предприятиях, обосновывается выбор метода Александера для комбинирования промежуточных решений и метода индексов надежности по Квирку для оценки вариантов проекта.

В разделе 1.3 рассматриваются задачи, решаемые с помощью экспертных систем, категории способов и область их применения. По результатам этого

раздела делается вывод о возможности применения экспертных систем для решения задач проектирования экологически безопасных производств на действующем предприятии.

В главе 2 «Стратегия проектирования системы экологической безопасности на действующем предприятии» осуществляется постановка задачи проектирования экологически безопасного производства на действующем предприятии как задачи проектирования сложных систем и предлагается алгоритм ее решения.

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

В разделе 2.2 рассматривается полная схема проектирования экологически безопасного производства на действующем предприятии и продолжается рассмотрение примера, приведенного в предыдущем разделе.

В главе 3 «Комплекс программ диагностики и проектирования систем экологически безопасностного производства» описывается комплекс программ, предназначенный для диагностики и проектирования экологически безопасных производств на действующем предприятии. Для каждой из программ комплекса приведены: описание программ, описания процедур и объектно-ориентированная реализация их средствами визуального программирования ОеШр1 4.0. При этом, раздел 3.1 посвящен программе экологического менеджмента ЕСОМа1^етеп1, а раздел 3.2 - программе проектирования экологически безопасных производств ЕСОРго]ес<:.

В главе 4 «Практическое применение комплекса программ при тестировании и для проектирования экологически безопасного производства на действующем промышленном предприятии» приведены исходные данные и результаты реального тестирования ОАО «Электровыпрямитель». При этом, раздел 4.1 посвящен тестированию в программе экологического менеджмента ECOManagement, а раздел 4.2 -проектированию экологически безопасных производств в программе ЕСОРгсцес!.

В заключении сформулированы основные результаты, полученные в диссертационной работе.

В приложении 1 приведен перечень современных систем проектирования экологически безопасных промышленных систем.

В приложении 2 приведен перечень направлений, блоков, основных и дополнительных вопросов, весовых коэффициентов, возможных результатов тестирований, используемых программой ECOManagement.

В приложениях 3 и 4 приведены примеры файлов входных данных начального тестирования и аудита, проводимых программой ЕСОМапа§етеп1;.

В приложениях 5 и 6 приведены примеры файлов выходных данных начального тестирования и аудита, проводимых программой ЕСОМаг^етегй.

В приложении 7 приведен пример файла входных данных технологических процессов для программы ЕСОРго]ес1:.

В приложении 8 приведен пример файла входных данных совокупностей технологических процессов на предприятии для программы ЕСОРпуес!;.

В приложении 9 приведен пример файла выходных данных для программы ЕСОРго]ес1;. В нем представлен пример совокупностей 9 технологических процессов, приемлемых для рассматриваемого предприятия.

Основные положения, выносимые на защиту:

1. Стратегия проектирования экологически безопасных производств, основанная на комплексном применении методов Александера, индексов надежности по Квирку и морфологического синтеза.

2. Теоретико-множественная модель предметной области, отражающая экологические параметры технологических процессов на действующем предприятии.

3. Программная реализация интеллектуальной системы принятия проектных решений, обеспечивающая выбор экологически безопасного производства на действующем предприятии.

4. Результаты аудита реально действующего предприятия и проектирования экологически безопасного производства на нем, полученные с помощью программ ЕСОМаг^етехй и ЕСОРгосес1;.

Заключение

1. Обоснована стратегия автоматизации проектирования и исследования экологического состояния действующих промышленных предприятий, включающая два этапа:

- тестирование действующего предприятия для решения вопроса о необходимости введения на нем системы управления охраны окружающей среды;

- проектирование экологически безопасного производства на действующем предприятии путем воздействия на параметры и структуры технологических процессов.

2. Разработан алгоритм автоматизации процесса проектирования экологически безопасного производства на действующем предприятии. Алгоритм основан на последовательном использовании методов Александера и индексов надежности по Квирку на стадии анализа и лабиринтного метода на стадии синтеза.

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

4. Практическое применение средств экспертной поддержки процессов диагностики и экологического проектирования на ОАО "Электровыпрямитель" показали их эффективность и адаптируемость к конкретным условиям производства.

123

5. Дальнейшее развитие комплекса программ диагностики и проектирования экологических параметров промышленных предприятий связано с развитием его базы знаний, совершенствованием математических моделей и алгоритмов анализа и синтеза экологических политик на действующих производствах.

1. Абу-Мостафа Я., Псалтис Д. Оптические нейронно-сетевые компьютеры // В мире науки. - 1987, № 5. - С. 42-50.

2. Автоматизация поискового конструирования (искусственный интеллект в машинном проектировании) / А. И. Половинкин, Н. К. Бобков, Г. Я. Буш и др.; под ред. А. И. Половинкина. М.: Радио и связь, 1981. - 344 е., ил.

3. Автоматизация проектирования технологических процессов в машиностроении / В. С. Корсаков, Н. М. Капустин, К.-Х. Темпельгоф, X. Лихтенберг; Под ред. Н. М. Капустина. М.: Машиностроение, 1985. 304 е., ил.

4. Аизерман М. А., Браверман Э. М., Розоноэр Л. И. Метод потенциальных функций в теории обучения машин. М.: Наука, 1970 - 383 с.

5. Аизерман М. А., Браверман Э. М. Розоноэр Л. И. Теоретические основы метода потенциальных функций в задаче об обучении автоматов разделению входных ситуаций на классы // Автоматика и телемеханика. 1964. - № 6.

6. Афоничкин А. И. Об оценке информации на семантических сетях. В кн.: Исследования по прикладной математике: Сборник научных трудов. Саранск: Изд-во Мордов. ун-та, 1982. - 160 с. С. 76-80.

7. Афоничкин А. И. Функция качества размытой информации. в кн.: Управление, надежность и навигация. Саранск, 1980, С.102-104.

8. Афоничкин А. И., Нежметдинов Т. К., Романов И. М. Системный подход к определению информационной меры. Казань, 1977. 31 с. Рукопись деп. в ВИНИТИ 03.01.78. № 12-78.

9. Афоничкин А. И., Нежметдинов Т. К. Многокритериальная оценка качества информации. В кн.: Взаимодействие человека и ЭВМ в процессепринятия решения по многим критериям эффектности. Кутаиси, 1980, с. 102-104.

10. Баас Р., Фервай М., Гюнтер X. Delphi 4: полное руководство: пер. с нем. К.: Издательская группа BHV, 1999. - 800 е.: ил.

11. Бадд. Т. Объектно-ориентированное программирование в действии / Перев. с англ. СПб.: Питер, 1997. - 464 е.: ил.

12. Барцев С. И., Гилев С. Е., Охонин В. А. Принцип двойственности в организации адаптивных сетей обработки информации // Динамика хим. и биол. систем. -1955. № 6.

13. Барцев С. И., Охонин В. А. Адаптивные сети обработки информации. -Красноярск: Ин-т физики СО АН СССР, 1986, Препринт 59Б. 20 с.

14. Бонгард М. М. Проблема узнавания. М.: Наука, 1967. - 320 с.

15. Борковский А. Б. Англо-русский словарь по программированию и информатике (с толкованиями) М: Рус. яз., 1989. - 335 с.

16. Быков Б. А. Экологический словарь. 2-е изд., доп. Алма-Ата: Наука, 1988.-212 с.

17. Вапник В. Н., Червоненкис А. Н. Об одном классе персептронов // Изв. АН СССР, Тех. кибернетика. 1964. - № 1.

18. Виноградова JI. В. Экспертная поддержка процессов проектирования и диагностики силовых трансформаторов: Автореф. дис. . канд. тех. наук / ИГЭУ. Иваново, 1996. 16 с.

19. Гейн К., Сарсонт Т. Структурный системный анализ: средства и методы. В 2-х ч. 41 / Пер. с англ. Под ред. А. В. Козлинского. М.: Энтекс, 1993.- 188 с.

20. Геловани В. А., Ковригин О. В. Экспертные системы в медицине. М.: Знание, 1987. - 32 с. - (Новое в жизни, науке, технике. Сер. «Математика, кибернетика»; № 3).

21. Голицын Г. А. Применение нейросетевой технологии в ЭС // Материалы семинара "Экспертные системы реального времени". М., РДЗ, 1995.

22. Голицын Г. А., Петров В. М. Гармония и алгебра живого. М.: Знание, 1990.- 128 с.

23. Голицын Г.А., Петров В. М. Информация поведение - творчество. -М.: Наука, 1991.-224 с.

24. Голицын Г.А., Фоминых И.Б. Интеграция нейросетевой технологии с экспертными системами // Труды 5 Национальной конференции по ИИ. Казань, 1996.

25. Давенпорт Т. Эпитафия экспертным системам // Компьютеруик. 1995. -27(185).

26. Дал У., Дейкстра Э., Хоор К. Структурное программирование. Пер. с англ. М.: Мир, 1975. - 248 е.: ил.

27. Дарахвелидзе П. Г., Марков Е. П. Delphi среда визуального программирования: - СПб.: BHV - Санкт - Петербург, 1996. - 352 с.

28. Дегтярев Ю. И. Исследование операций: Учеб. для вузов по спец. АСУ. М.: Высш. шк., 1986. - 320 е.: ил.

29. Джонс К. Методы проектирования Пер. с англ. М.: Мир, 1986. - 328 е., ил.

30. Джордейн Р. Справочник программиста персональных компьютеровтипа IBM PC, XT и AT: Пер. с англ. / Предисл. Н. В. Гайского. М.: Финансы и статистика, 1992. - 544 е.: ил.

31. Дитрих Я. Проектирование и конструирование: Системный подход. Пер. с польск. М.: Мир, 1981. - 456 е., ил.

32. Дуда Р., Харт П. Распознавание образов и анализ сцен. М.: Мир, 1976. -512с.

33. Ефимов А. В., Томилина О. А. Защита от несанкционированного доступа экспертной системы "Экоменеджмент". , Актуальные вопросы естественных и технических науки. Межвузовский сборник научных трудов. -Саранск: СВМО, 2000. С. 183-184.

34. Зарубежный опыт по управлению окружающей средой. Сост. Н. В. Гуняева, Е. М. Гдалина, Всероссийский научно-исследовательский институт сертификации (ВНИИС) Госстандарта России, М.: 1999. 83 с.

35. Ивахненко А. Г. Персептроны. Киев: Наукова думка, 1974. - 250 с.

36. Интеллектуальные системы принятия решений / А. В. Алексеев, А. Н. Борисов, Э. Г. Вилюмс, Н. Н. Слядзь, С. А. Фомин. Рига: Зинатне, 1997. - 320 е.: ил.

37. Клещев А. С. Семантические порождающие модели. Общая точка зрения на фреймы и продукции в экспертных системах: Преприн., Владивосток ИАНУ ДВНЦ АН СССР, 1986, 39 с.

38. Когсвелл. Д. Изучи сам программирование без данных в Delphi 2.0. сегодня / Пер. с англ. Мн.: ООО «Попури», 1997. -448 е.: ил.

39. Кондаков Н. И. Логика: Пособие для учителей. М.: УЧПЕДГИЗ, 1954. -512с.

40. Кондратьев К. Я. Глобальная экология: климатический аспект // Гипотезы. Прогнозы, (будущее науки): Международный ежегодник. М.: Знание, 1989. - 272 с. Вып. 22. - С. 184-199.

41. Котов В. Е. Сети Петри. М.: Наука, 1984. -158 с.

42. Кузнецов Г. А. Экология и будущее: Анализ философских оснований глобальных прогнозов. -М.: Изд-во МГУ, 1995. 160 с.

43. Кузнецов Ю. Н., Кузубов В. И., Волощенко А. Б. Математическое программирование: Учеб. пособие. 2-е изд., перераб. и доп. - М.: Высш. школа, 1980. - 300 е., ил.

44. Лоскутов А. Ю., Михайлов A.C. Введение в синергетику. М.: Наука, 1990,-272 с.

45. Лорьер Ж.-Л. Системы искусственного интеллекта: Пер. с франц. М.: Мир, 1991.-568 е., ил.

46. Маккаллок У. С., Питтс У. Логическое исчисление идей, относящихся к нервной деятельности. М.: Иностр. лит., 1956.

47. Малпас Дж. Реляционные язык Пролог и его применение: Пер. с англ. / Под ред. В. Н. Соболева. М.: Наука. Гл. ред. физ.-мат. лит., 1990. - 464 с.

48. Малышев Н. Г. и др. Нечеткие модели для экспертных систем в САПР / Н. Г. Малышев, Л. С. Берщтейн, А. В. Боженюк. М.: Энергоатомиздат, 1991. — 136 е.: ил.

49. Мальцев А. А. Алгоритмы и рекурсивные функции. М.: Наука, 1965. -391 с.

50. Маслов С. Ю. Обратный метод установления выводимости в слассическом исчислении предикатов // Доклады Академии наук СССР. Т. 159.- 1964,-№ 1.-С. 17-20.

51. Мендельсон Э. Введение в математическую логику. М.: Наука, 1971. -320 с.

52. Минский М. Вычисление и автоматы. М.: Мир, 1971. - 364 с.

53. Минский М. На пути к созданию искусственного разума // Вычислительные машины и мышление. М.: Мир, 1967. - 552 с.

54. Минский М. Фреймы для представления знаний: Пер. с англ. М.: Энергия, 1979. - 152 е., с ил.

55. Минский М.Л., Пейперт С. Персептроны. М.: Мир, 1971.

56. Моисеев Н. И. Экология человечества глазами математика: (Человек, природа и будущее цивилизации). -М.: Молод, гвардия, 1988. 254 2. е., ил. -(Эврика). •

57. Негуляев Г. А. Исследование некоммуникативных микроструктур патентного текста и их роли для автоматической обработки информации. В кн.: Вычислительная лингвистика. М.: Наука, 1976, с. 108-124.

58. Нивергельт Ю., Фаррар Дж., Рейнголд Э. Машинный подход к решению математических задач: Пер. с англ. М.: Мир, 1977. - 352 е.: ил.

59. Нильсон Н. Искусственный интеллект. Методы поиска решений. М.: Мир, 1973. - 270 е.: ил.

60. Петров Э. И. Система Rethink. Применение. Аспекты // Материалы семинара "Динамические интеллектуальные системы в управлении". М.: ЦРДЗ, 1996. - с. 58-64.

61. Пол А. Объектно-ориентированное программирование на С++, 2-е изд./ Пер. с англ. СПб.; «Невский Диалект» - «Издательство БИНОМ», 1999. - 462 е., ил.

62. Поляков Д. Б., Круглов И. Ю. Программирование в среде Турбо

63. Паскаль (версия 5.5): Справ.- метод, пособие. М.: Изд-во МАИ, 1992.-576 с.

64. Попов Э. В. Экспертные системы реального времени // Материалы семинара "Экспертные системы реального времени". М: ЦРДЗ, 1995.- с. 5-22.

65. Попов Э. В. Экспертные системы. Решение неформализованных задач в диалоге с ЭВМ. М.: Наука, 1987. - 288 с.

66. Попов Э.В., Кирсанов Б. С. Инструментальный комплекс для построения на ПЭВМ эффективных экспертных систем в широком классе приложении // Материалы Второй всесоюзной конференции по искусственному интеллекту. Т. 3. Минск, 1990. - С. 12-14.

67. Попов Э. В., Фоминых И. Б., Кисель Е. Б. Статические и динамические экспертные системы. М: ЦРДЗ, 1995. - 126 с.

68. Попов Э. В., Фридман Г. Р. Алгоритмические основы интеллектуальных роботов и искусственного интеллекта. М.: Наука, 1976. -455 с.

69. Попов Э. В., Шапот М. Д. Реинжиниринг бизнес-процессов и интел-юктуальное моделирование // Материалы семинара "Динамические интеллектуальные системы в управлении и моделировании". М: ЦРДЗ, 1996. -5. 22-30.

70. Поспелов Г. С. Искусственный интеллект. Новая информационная технология // Вестник АН СССР. 1983. - № 6. - С.31 - 42.

71. Практическое введение в технологию искусственного интеллекта и экспертных систем с иллюстрациями на Бейсике / Р. Левин, Д. Дранг, Б. Эделсон: Пер. с англ.; Пред. М. Л. Сальникова, Ю. В. Сальниковой. М.: Финансы и. статистика, 1990. - 239 е.: ил.

72. Пышненко Е. А. Средства автоматизации процесса принятия решений при проектировании и модернизации элементов сложных технических систем: Автореф. дис. . канд. физ.-мат. наук/МГУ. Саранск, 1999. 17 с.

73. Разработка САПР. В 10 кн. Кн. 1. Проблемы и принципы создания САПР: Практ. Пособие / А. Б. Петров, В. М. Черненикий; под ред. А. В. Петрова. -М.: Высш. шк., 1990. 143 е.: ил.

74. Розенблатт Ф. Принципы нейродинамики. М.: Мир, 1965. - 480 с.

75. Свинцов В. И. Логика: Учеб. для вузов. М.: Высш. шк., 1987. - 287 с.

76. Системы поддержки в теории и практике оценки управленческих решений: Учеб. пособие / А. И. Афонечкин, Л. А. Матвеев, Н. П. Макаркин, Ю. В. Сажин. Саранск: Изд-во Мордов. ун-та, 1995. - 224 с.

77. Скуфьин К. В. Экология и охрана природы: Учеб. пособие. Воронеж: 4зд-во ВГУ, 1986. - 280 с.

78. Сойер Б., Фостер Д. Л. Программирование экспертных систем на

79. Паскале: Пер. с англ. М.: Финансы и статистика, 1990. - 191 е.: ил.

80. Статические и динамические экспертные системы: Учеб. пособие / Э. В. Попов, И. Б. Фоминых, Е. Б. Кисель, М. Д. Шапот. М.: Финансы и статистика, 1996. - 320 е.: ил.

81. Taxa X. Введение в исследование операций: В 2-х книгах. Кн. 1. Пер. с англ. М., Мир, 1985. - 479 е., ил.

82. Таундсенд К., Фохт Э. Проектирование и программная реализация экспертных систем на персональном ЭВМ: Пер. с англ. / Предисл. Г. С. Осипова. М.: Финансы и статистика, 1990. - 320 е.: ил.

83. Толковый словарь по вычислительным системам / Под ред. В. Иллингуорта и др.: Пер. с англ. А. К. Белоцкого и др.; Под. ред. Е. К. Масловского. М.: Машиностроение, 1990. - 560 е.: ил.

84. Томилина О. А. Выбор решений на основе четкой экспертной информации в экспертной системе экологического менеджмента: XXVIII Огаревские чтения: Материалы научной конференции (Естественные и технические науки). Саранск: СВМО, 1999. - С. 98-100.

85. Томилина О. А., Белов В. Ф. Теоретико-множественная модель экологически безопасной политики действующего предприятия. Актуальные вопросы естественных и технических науки. Межвузовский сборник научных трудов. Саранск: СВМО, 2000. - С. 185-186.

86. Томилина О. А. Экспертная система проектирования облика автономных преобразовательных систем. "Труды Третьей Международной конференции "Дифференциальные уравнения и их приложения": Саранск, 19->1 мая 1998 г. Саранск: Тип. "Крас. Окт.", 1998. С. 262.

87. Томилина О. А. Экспертная система экологического менеджмента: IV юнференция молодых ученых в 3 частях. Ч. 3 (Экология. Гуманитарные итехнические науки). Саранск: СВМО, 1999. - С. 19-20.

88. Уотермен. Руководство по экспертным системам. Пер. с англ. М.: Мир, 1989.-390 е.: ил.

89. Фаронов В. В. Турбо Паскаль (в 3-х книгах). Книга 2. Библиотека Turbo Vision. M.: Учебно-инженерный центр «МВТУ - ФЕСТО ДИДИКТИК», 1993.-429 е., ил.

90. Федоров А. Г. Delphi 3.0. для всех. М.: Компьютер Пресс, 1998. - 544с. ил.

91. Финн В. К. Индуктивные модели // Представление знаний в человеко-машинных и робототехнических системах. М.: ВИНИТИ, 1984. - Т.А. - С. 5876.

92. Фролов А.Б. Модели и методы технической диагностики. М.: Знание, 1990. - 48 с. - (Новое в жизни, науке, технике. Сер. «Математика, кибернетика»; № 4).

93. Хант Э. Искусственный интеллект. Пер. с англ. М.: Мир, 1977. - 560 з.: ил.

94. Шенк Р. Обработка концептуальной информации. М.: Энергия, 1980. -¡60 с.

95. Экспертные системы для персональных компьютеров: Методы, средства, реализации: Справ, пособие / В. С. Крисевич, JI. А. Кузьмич, А. М. Циф и др. Мн.: Выш. шк., 1990. - 197 е.: ил.

96. Экспертные системы. Принципы работы и примеры. Пер. с англ. / А. Брукинг, П. Джонс, Ф. Кокс и др. Под ред. Р. Фарсайта. М.: Радио и связь, 1987. - 224 е.: ил.

97. Яншин А. Л. Опасен ли парниковый эффект? // Гипотезы. Прогнозы, (будущее науки): Международный ежегодник. М.: Знание, 1990. - Вып. 23. -С. 43-49.

98. Aikins J. S. Prototypical knowledge for expert systems // Artificatial Intelligence. -1983. V. 20. - P. 163-210.

99. Bjorstrand G-G. Tema: Battre Miljo Miljostyrning // Underrattelser, № 5, 1997.-p. 2-3.

100. Clements B. R. and Prelo F. Evaluting Commercial Real Time Expert System Software for Use in the Process Industries. C&I. - 1993. - P. 107-114.

101. Duda R. O. and others. Subjectiv Bayesian methods for rule-based system // Proceedings of the AFIPS, 1976, National Computer Conference. V. 45. - P. 1075-1082.

102. Duda R. O., Gaschnig J.G. Knowledge-based exspert systems come of age // BYTE.-1981. V. 6. № 9. - P. 238-281.

103. EMAS MANAGEMENT GUIDE. Vught: Thames Valley Euro Info Centre, 1995.

104. Hammer M. and Champy J. Reengineering the Corporation. A Manifesto for Business Revolution. New York: Harper Colins. - 1993.

105. Harmon P. The Intelligent Software Development Tools Market // Part I. ntelligent Software Strategies. 1995. - V. 11. - № 2. - P. 1-13.

106. Harmon P. The Market for intelligent Software Products Intelligent loft ware Strategies, 1992. V.8, 2. - P. 5-12.

107. Harmon P. The Size of the Commercial A1 Market in the US // Intelligent Software Strategies. 1994. - V. 10. - № 1. - P. 1-6.

108. Hayes-Roth F., Jacobstein N. The State of Knowledge-Based Systems. // Communications of the ACM, 1994, March. V. 37. - № 3. - P. 27-39.

109. Loofbourrow Т. Экспертные системы еще живы. Компьютеруик. -1995, 5-11 октября.-Зб (194). 21 с.

110. Minsky М. A framework for representation knowledge // Psychology computer vision. New York: McGraw-Hill, 1975 (Русский перевод: Психология машинного зрения. - М.: Мир, 1978).

111. Modern Software Engineering. Edited by Peter A. Ng., Raymond T. Ych -VAN NOSTRAND - NY. : 1990.

112. Moore В., Memorandum // Copyright. 1993, April. Gensym Corporation.

113. Moore B. and others., Questions and Answers about G2 // Copyright. -1993. Gensym Corporation. P. 26-28.

114. Moore R. Expert Systems in Real-Time Applications: Experience and Developments // Proceedings of the Seventeenth Annual Advance Control Conferenc, 1991.October.

115. Newell A. Production systems: models of comtrol structures // Visual information processing. New York: Academic Press, 1973. - P. 463-526.

116. Nevell A., Simon M. A. Computer science as empirical enquiry: Symbols and search // Communications of the ACM. 1976. - V. 10. - № 3. - P. 133-146.

117. Newell A., Simon M. A. Human problem solving. Englewood Cliffs, New ersey: Prentice-Hall, 1972.

118. Nilsson N. J. Principles of Artificial intelligence. Palo Alto; California,1. Tioga Press, 1980.

119. Perley D. R. Migration to Open Systems. Taming the Tiger. Me Graw-Hill, 1993.-P. 252.

120. Rumelhart D. E., Hinlon G. E., Williams R. J. Learning internal Representations by Error propagation // Parallel distributed pocessing. V .1. - Cambridge (MA): MIT Press, 1968. - P. 318-362.

121. Robinson J. A. A machine-oriented logic based on resolution principle. Journal of the ACM. 1965. - V. 12. - № 1. - P. 23-41 (Русский перевод: Кибернетический сборник. Новая серия. - М.: Мир, 1970).

122. Shekhar Н. Kirani, Imran A. Zualkernan, Wei-Tek Tsai. Evaluation of Expert System Testing Methods // Communications of the ACM. 1994. -November. - V. 37. - № 11.

123. Sherry A. Land, Jane T. Malm. Making Intelligent Systems Team Players. A Guide to Developing Intelligent Monitoring Systems // NASA Technical Memorandum 104807. 1995, July.

124. Trelieven P. Neurocomputers. L.: University College, 1989.

125. Winograd T. Extended inference modes in reasoning by computer systems // Artificial Intelligence. 1980. - V. 13. - P. 5-26.

126. Zaden L. A. Fuzzy sett // Information and Control. V. 8. - P. 338-353.