Автоматизация проектирования процессов функционирования человеко-машинных систем по вероятностным и нечетким показателям тема диссертации и автореферата по ВАК РФ 05.13.17, доктор технических наук Гриф, Михаил Геннадьевич

• Гриф, Михаил Геннадьевич
• доктор технических наук
• 2002

Оглавление диссертации доктор технических наук Гриф, Михаил Геннадьевич

Перечень сокращений

Введение

Глава I. Постановка и обоснование задач исследования

§1.1. Сравнительный анализ моделей дискретных процессов 15 функционирования в практике проектирования ЧМС

§1.2. Основы функционально-структурной теории ЧМС

§ 1.2.1. Формализация данных на основе обобщенного структурного метода

§ 1.2.2. Вероятностно-алгоритмический и нечетко-алгоритмический 35 подходы к оценке показателей функционирования

§1.3. Задачи оптимизации на базе вероятностных и нечетких показателей 38 эффективности, качества и надежности

§1.4. Компьютерные системы и технологии автоматизации проектирования 45 процессов функционирования

§1.4.1. Организация бездефектностного проектирования трудовых 45 процессов

§1.4.2. Экспертно-моделирующая система нечеткой оценки и оптимизации 47 алгоритмических процессов

§1.4.3. Анализ и синтез процессов функционирования ЧМС на основе 50 языка логического программирования ПРОЛОГ

§1.4.4. Автоматизация эргономических исследований и проектирования 52 ЧМС

§1.5. Выводы и заключение по первой главе

Глава 2. Разработка объектно-ориентированного подхода к 59 формированию оптимизационной модели

§2.1. Формализованное описание вариантов выполнения процесса 59 функционирования ЧМС

§2.2. Структурные стратегии построения альтернативного графа

§2.3. Объектно-ориентированный способ задания множества альтернатив

§2.3.1. Общие сведения об объектно-ориентированном проектировании программных продуктов и систем

§2.3. 2. Язык описания объектно-ориентированных функциональных сетей

§2.4. Построение оптимизационной модели на основе продукционно-логической базы знаний

§2.5. Результаты и выводы по второй главе

Глава 3. Анализ свойств вероятностных и нечетких показателей 98 функционирования ЧМС

§3.1. Исследование формул расчета выходных показателей типовых 98 функциональных структур

§3.1.1. Типовые структуры последовательно и параллельно выполняемых 100 рабочих операций

§3.1.2. Типовые структуры с функциональным контролем

§3.1.3. Типовые структуры с диагностическим контролем

§3.2. Свойство монотонной рекурсивности показателей функциональных 111 сетей

§3.3. Результаты и выводы по третьей главе

Глава 4. Метод последовательной оптимизации ЧМС на 114 функциональных сетях

§ 4.1. Общая схема метода

§ 4.2. Необходимые условия оптимальности и допустимости частичных 118 решений

§ 4.2.1. Необходимые условия для задач без ограничений на совместимость 118 способов выполнения типовых функциональных единиц

§4.2.2. Необходимые условия для задач с ограничениями на совместимость 123 способов выполнения типовых функциональных единиц

§4.2.3. Необходимые условия оптимальности для частных случаев 124 множества альтернатив и ограничений

§4.3. Оценки мощности и трудоемкости получения множества 127 эффективных решений на основе необходимых условий оптимальности

§ 4.4. Трудоемкость проверки необходимых условий допустимости 132 частичных решений

§4.5. Методы приближенного решения оптимизационных задач

§4.5.1. Последовательно-генетические алгоритмы оптимизации

§4.5.2. Ранжирование частичных решений на основе векторного критерия

§ 4.6. Результаты и выводы по четвертой главе

Глава 5. Стратегии управления направленным перебором альтернатив

§5.1. Выбор оптимального алгоритма направленного перебора

§ 5.2. Параллельные схемы алгоритмов оптимизации

§5.3. Управление перебором альтернатив на основе механизма логического 147 вывода

§ 5.4. Результаты и выводы по пятой главе

Глава 6. Технология проектирования процессов функционирования

§6.1. Принципы и основные элементы технологии проектирования

§ 6.2. Гибридная экспертная система проектирования процессов 153 функционирования ЧМС и принятия решений ИНТЕЛЛЕКТ

§6.2.1. Назначение и общие сведения

§6.2.2. Формирование множества альтернатив

§6.2.3. Определение задачи оптимизации

§6.2.4. Ведение справочников элементов, функций и типовых операций

§6.2.5. Организация продукционно-логической базы знаний

§6.2.6. Оптимизация алгоритма направленного перебора

§6.2.7. Решение задачи оптимизации

§ 6.3. Результаты и выводы по шестой главе

Глава 7. Практика использования разработанного математического 169 обеспечения

§7.1. Оптимизация системы управления и способа перехода на резерв главной шахтной вентиляторной установки

§7.1.1. Выбор способа перехода на резерв главной шахтной вентиляторной 169 установки с раздельным резервированием двигателя, вала и вентилятора

§7.1.2. Анализ эффективных вариантов реализации вентиляторной 185 установки с единым резервным агрегатом

§ 7.2. Экспертная система для усталостных испытаний самолета

§ 7.3. Гибридная экспертная система проектирования и управления реабилитационно-образовательным процессом в Институте социальной реабилитации НГТУ

§ 7.4. Результаты и выводы по седьмой главе

Введение диссертации (часть автореферата) на тему «Автоматизация проектирования процессов функционирования человеко-машинных систем по вероятностным и нечетким показателям»

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

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

Несмотря на имеющийся широкий арсенал моделей описания и количественной оценки процессов функционирования ЧМС, разработанных отечественными и зарубежными научными школами (марковские и полумарковские процессы, модели теории массового обслуживания, формальные грамматики, сети Петри, логические автоматы и схемы алгоритмов Ляпунова, логико-лингвистические модели, сети

GERT, PERT, функциональные и функционально-семантические сети, вероятностно-алгоритмические и нечетко-алгоритмические модели), ни одна из них не свободна от того или иного недостатка и не может быть положена в основу современной системы автоматизации проектирования ПФ ЧМС. Анализ указанных моделей показывает, что наиболее универсальными из них являются функционально-структурная теория и обобщенный структурный метод проф. А.И. Губинского (1977г.), получившие творческое развитие в работах Евграфова В.Г., Ротштейна А.П., Падерно П.И., Адаменко А.Н., Чабаненко П.П. и др. Следует отметить также хорошо зарекомендовавшие себя на практике методы формализации данных в дискретном процессе функционирования ЧМС, например, операционно-психологический (Зараковский, 1966г.), структурно-алгоритмический (Суходольский, 1976г.), логико-комбинаторный (Анкудинов, 1986г.). В работах Ашерова А.Т., Лаврова Е.А., Цоя Е.Б., Павлова Е.А. и других получили развитие методы оптимального проектирования последовательно-организованных процессов функционирования на основе ФСТ ЧМС. Рассматривался достаточно широкий спектр ЧМС: АСУП, АСУТП, САПР, АСНИ, системы автоматизации эргономических исследований, принятия решений. Однако и функционально-структурная теория ЧМС имеет ряд ограничений на использование в системе оптимального проектирования: базируется преимущественно на вероятностных моделях расчета показателей эффективности, качества и надежности системы, в то время как отсутствуют средства учета нечетких данных; опирается в основном на методы структурного анализа функциональной и элементной структуры системы, что затрудняет моделирование сложных (больших) систем; не содержит средств перехода к инвариантным оптимизационным постановкам задач для более эффективного их решения; не обладает развитыми моделями и методами оптимального проектирования процессов функционирования ЧМС по вероятностным и нечетким показателям непосредственно на функциональных сетях.

Для решения указанных проблем необходимо использовать новые технологии проектирования процессов функционирования ЧМС, опирающихся, в частности, на объектно-ориентированные и вероятностно-нечеткие модели описания сложных систем.

Актуальность темы диссертации подтверждается тем, что она выполнялась в соответствии комплексных целевых программ "Авангард-2" (утверждена в 1983 г.), "Эрготехника - РВО" (1983г., 1985 г.), общесоюзной научно-технической программы на 1986-90 гг., утвержденной постановлением ГКНТ СССР N 555 от 30.10.85, приложение N 79, межвузовской научно-технической программы министерства образования РФ на 2000-2005гг. "Научное, научно-методическое, материально-техническое и информационное обеспечение системы образования", проект 1.5.1(00.0)138.007/5.8(60) , а также являлась частью исследований в ходе проведения в НГТУ (НЭТИ) ряда фундаментальных и прикладных НИР по тематическому плану министерства образования РФ: "Разработка математического обеспечения многофункционального статистического анализа показателей надежности и качества" (1982-1987 гг.), "Исследование теоретических основ и разработка систем организации и управления реабилитационно-образовательным процессом в условиях государственного учреждения для инвалидов" (1997-2002 гг.) и других.

Объектом исследования настоящей работы являются дискретные процессы функционирования человеко-машинных систем.

Предметом исследования служат процессы исследования и проектирования ПФ ЧМС на основе вероятностных и нечетких показателей эффективности, качества и надежности.

Цель работы состоит в разработке моделей, методов и технологий проектирования процессов функционирования ЧМС на базе вероятностных и нечетких моделей.

Основными задачами являются: , - разработка технологии исследования и проектирования процессов функционирования ЧМС по вероятностным и нечетким показателям на основе объектно-ориентированного и структурного подходов;

- разработка и исследование оптимизационной модели процесса функционирования ЧМС, способной учесть как можно более широкий класс параметрических и структурных альтернатив, а также их источников;

- разработка методов оптимального проектирования процессов функционирования ЧМС;

- разработка алгоритмического и программного обеспечения и его применение для решения конкретных прикладных задач исследования и проектирования процессов функционирования ЧМС.

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

Научная новизна. В диссертации разработаны элементы нового научного направления - проектирование и последовательная оптимизация процессов функционирования ЧМС по вероятностным и нечетким показателям эффективности, качества и надежности, а именно:

1. Оптимизационная модель процесса функционирования ЧМС, которая впервые в функционально-структурной теории ЧМС опирается на формализмы объектно-ориентированного и структурного подходов к описанию элементной и функциональной структуры, а также на единую базу знаний о ПФ ЧМС в продукционно-логической форме.

2. Свойства монотонной рекурсивности нечетких и вероятностных показателей эффективности, качества и надежности ЧМС, впервые выявленные в результате анализа свойств вероятностных и нечетких характеристик типовых функциональных структур.

3. Метод последовательной оптимизации ЧМС на функциональных сетях, впервые реализованный непосредственно на продукционной базе знаний о ПФ ЧМС, сформулированы общие и частные необходимые условия оптимальности и допустимости частичных решений, получены оценки мощности множества альтернатив и трудоемкости метода, предложены и исследованы схемы алгоритмов приближенного решения.

4. Способ оптимизации алгоритма направленного перебора, расширяющий метод последовательного анализа вариантов B.C. Михалевича и использующий следующие стратегии перебора на основе улучшающих инвариантных преобразований множества альтернатив: изменение последовательности генерации частичных решений, упрощение необходимых условий оптимальности для частных случаев MA и ограничений, отмену в определенных ситуациях проверок самих НУО, распараллеливание алгоритма направленного перебора на несколько ЭВМ.

5. Технология проектирования ПФ ЧМС по вероятностным и нечетким показателям на основе объектно-ориентированной и структурной технологий проектирования сложных систем, метода последовательной оптимизации и продукционно-логической базы знаний, охватывающей все аспекты среды проектирования.

Практическое значение. Использование разработанных в диссертации методов и средств позволяет:

- повысить адекватность описания процесса функционирования ЧМС в сравнении с функционально-структурной теорией ЧМС за счет привлечения в модель дополнительных продукционных знаний, а также на порядок уменьшить объем данных, требуемых для задания оптимизационной модели вследствии использования средств объектно-ориентированного описания (отношений наследования, метакласс, использования и наполнения);

- задавать альтернативные способы выполнения процесса функционирования ЧМС, отличающиеся как в структуре, так и в параметрах;

- проводить оптимизацию ЧМС с учетом влияния внешней среды и возникающих ситуаций, а также на несколько порядков снизить время решения задачи по сравнению с методом полного перебора;

- дополнительно уменьшить время решения задачи в среднем на 30 % и более за счет оптимизации алгоритма направленного перебора;

- получать точное решение задачи в случае, когда это невозможно на одной ЭВМ, а также снизить на порядок время решения при использовании параллельного алгоритма направленного перебора;

- значительно понизить трудозатраты на проектирование и автоматизировать генерацию структурных и параметрических альтернатив, а также процесс решения задачи за счет использования разработанной гибридной экспертной системы проектирования ЧМС и принятия решений ИНТЕЛЛЕКТ-2.

Реализация результатов исследования. Теоретические результаты работы доведены до удобных для практического применения формул, алгоритмов, методик, применены для разработки прикладного математического обеспечения, которое использовано:

- при проектировании алгоритмов деятельности экипажа летательных аппаратов (НИИ АО, г. Жуковский Московской области, 1986г.);

- при оптимизации функциональной и элементной структуры управляющего вычислительного комплекса АСУ ТП энергоустановок (СибНИИЭ, г. Новосибирск, 1986 г.);

- при выборе способа перехода на резерв главной шахтной вентиляторной установки (ИГД СО РАН, г. Новосибирск, 1987г.), а также вошло составной частью в специализированные программные комплексы:

1) экспертная система по выявлению особых ситуаций и принятию решений во время проведения усталостных испытаний самолета (СибНИИА, г.Новосибирск, 1991г., 2001г.);

2) программная система интеллектуальной поддержки исследования, проектирования и испытания человеко-машинных систем "ИНТЕЛЛЕКТ" (СПбГЭТУ, С.-Петербург, 1997г.);

3) гибридная экспертная система проектирования реабилитационно-образовательного процесса (РОП) глухих и слабослышащих студентов (ИСР НГТУ, г.Новосибирск, МГТУ им. Н.Э.Баумана, Москва, 2001г.);

4) экспертная система проектирования систем управления шахтных вентиляторных установок (ИГД СО РАН, г. Новосибирск, 2002г.).

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

Ряд разработанных в диссертации результатов используется в учебном процессе НГТУ, СГУПС, ТУ СУР, Сумского Национального аграрного университета (Украина) и СПбГЭТУ в дисциплинах „Системы искусственного интеллекта", "Современные средства разработки АСОИУ" (специальность "Автоматизированные системы обработки информации и управления"), "Теория принятия решений" (специальность "Информационные системы на железнодорожном транспорте"), "Проектирование информационных систем" (специальность "Информационные системы в экономике") и др.

Апробация работы. Основные положения диссертационной работы, разработанные модели, методы, алгоритмы и программы были представлены и обсуждались в 1981-2001 гг. на более чем тридцати пяти республиканских, всесоюзных и международных конференциях, совещаниях, семинарах, в т.ч. на Всесоюзном совещании "Оптимизационные задачи в автоматизированных системах управления" (Москва, 1981г.), Всесоюзной конференции "Автоматизация научных исследований, эргономического проектирования и испытаний сложных человеко-машинных систем" (Ленинград, 1983г.), УШ Всесоюзном симпозиуме "Эффективность, качество и надежность систем "Человек-техника" (Тбилиси, 1987г.), Всесоюзной конференции "ЭРГОТЕХНИКА-88" (Ленинград, 1988г.), XV Межрегиональном семинаре "Эргономика и эффективность систем "человек-техника" (Вильнюс, 1989г.), Всесоюзной конференции "Человеко-машинные системы и комплексы принятия решений" (Таганрог, 1989г.), Всесоюзном совещании "Микропроцессорные системы управления технологическими процессами в ГПС" (Одесса, 1990г.), П Всесоюзной конференции "Микропроцессорные системы автоматики" (Новосибирск, 1990г.), II Всесоюзном совещании "Интерактивное проектирование технических устройств и автоматизированных систем на персональных ЭВМ" (Воронеж, 1991г.), Всесоюзной конференции "Гибридные интеллектуальные системы" (Ростов-На-Дону-Тирскол, 1991г.), International Symposium on Fatique and Fracture in Steel and Concrete Structures (India, Madras, 1991г.), П Международном семинаре "Технические и прикладные проблемы моделирования предметных областей в системах баз данных и знаний" (Украина, Киев, 1993г.), Международной научно-технической конференции "Научные основы высоких технологий" (Новосибирск, 1997г., 2000г.), First World Congress on Ergonomics for Global Quality and Productivity (China, Hong Kong, 1998r.), Международной научно-методической конференции "Качество образования. Проблемы оценки. Управление. Опыт." (Новосибирск, 1999-2001 гг.), Российско-Корейском международных симпозиумах KORUS '99 и KORUS '2000 (Россия, Новосибирск, 1999г. и Корея, Ulsan, 2000г.), International Conference on Management Science & Engineering "ICMSE'99", "ICMSE'2001" (China, Harbin, ,1999г., 2001г.), International Conference on Engineering Education "ICEE'99" (Czech, Prague, 1999г.), IV Сибирском конгрессе по прикладной и индустриальной математике ИНПРИМ-2000

Новосибирск, 2000г.), International Conference on Advanced Computer Systems ACS'99, ACS'2000, ACS'2000 (Poland, Szczecin, 1999-2001 гг.), Международной конференции по мягким вычислениям и измерениям SCM'2000 (С.-Петербург, 2000г.), V Международной конференции "Актуальные проблемы электронного приборостроения" АПЭП-2000 (Новосибирск, 2000г.), Российско-китайском международном симпозиуме в Пекинской аэрокосмической академии (Китай, Пекин, 2001г.) и получили положительную оценку.

Практические разработки в виде пакетов прикладных программ демонстрировались на ВДНХ СССР (Москва, 1986г.), ВВЦ РФ (Москва, 2001г., почетный диплом в составе комплекса программ) и других.

Публикации. По теме диссертации опубликовано 80 научных статей, докладов, два препринта, три учебных пособия, два информационных листка.

Структура и объем работы. Диссертация состоит из введения, семи глав, заключения, списка литературы, включающего 178 наименований, и 3 приложений. Диссертация изложена на 270 страницах машинописного текста, содержит 51 рисунок и 19 таблиц. В приложениях приведены результаты практической реализации разработанных методов и методик.

Заключение диссертации по теме «Теоретические основы информатики», Гриф, Михаил Геннадьевич

Основные выводы, вытекающие из анализа эффективных и доминируемых решений, сводятся к следующему:

1. Главная вентиляторная установка с используемыми в настоящее время УП в виде ляд не входит в множество эффективных решений. Для нее Впс = 0.842, что намного ниже минимально возможного значенияВпс = 0.995 для ГВУ с раздельным резервированием основных блоков.

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

3. Роль диспетчера в системе определяется требованием к уровню надежности Brf (Впс > Brf). При Brf < 0.9998 диспетчер должен иметь возможность управлять переходом на резерв с пульта, а при > 0.9998 он может выполнять только функции наблюдателя (рис. 7.8, б).

4. Для обеспечения достаточно высокой надежности системы

Bdti < Bd < 0.9994 нет необходимости резервировать маслонасос и контроллер.

5. По мере роста требований к уровню надежности следует соблюдать следующую последовательность дублирования элементов системы:

- датчики контроля платформ двигателей и вентиляторов;

- датчики контроля фиксаторов платформ двигателей и вентиляторов;

- датчики контроля трансмиссии и платформы трансмиссии;

- привод перемещения и гидросистема фиксаторов платформ двигателей и вентиляторов, а также производится снабжение пульта средствами противоаварийной автоматики;

- гидропривод перемещения платформы и управления трансмиссией;

- маслонасос;

- контроллер.

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

Полученные результаты и вытекающие из них рекомендации учтены при разработке системы управления ГВУ с вентиляторами типа ВВОД-21 [168].

§7.1.2. Анализ эффективных вариантов реализации вентиляторной установки с единым резервным агрегатом

Рассмотрим задачу выбора эффективного варианта реализации ГВУ с единым резервным агрегатом по надежностным (вероятность безотказной работы) и стоимостным показателям, решенную с помощью ГЭС ИНТЕЛЛЕКТ-2.

Сравнению подлежат две ГВУ - СД-ВОК и АВК-ВО (рис. 7.10) [170]. Вентиляторная установка главного проветривания газовой шахты представляет собой систему с восстанавливаемым резервом, состоящую из двух дублирующих друг друга вентиляторных агрегатов и устройств переключения потока. При нормальном

СД-ВОК АВК-ВО

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

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

Необходимые пояснения к элементам ГВУ (рис. 7.10) содержатся в табл. П.2.2. Вероятностные и стоимостные характеристики указанных элементов, а также их способов выполнения (для СД-ВОК) взяты из [175 ] и приведены в табл. 7.4.

Сравнение ГВУ СД-ВОК и АВК-ВО проводилось на ГЭС ИНТЕЛЛЕКТ-2 по критериям В —> шах и V —> ГП1П. В результате решения оптимизационной задачи сформировано множество эффективных альтернатив:

1. Блок управления 1 - 1-ый способ, Вентилятор 1 - 1-ый способ (В = 0.526 и

V = 6085200).

2. Блок управления 1 - 2-ой способ, Вентилятор 1 - 1-ый способ (В = 0.561 и

V = 6205200).

3. Блок управления 1 - 1-ый способ, Вентилятор 1 - 2-ой способ {В — 0.608 и

V = 9695200).

4. Блок управления 1 - 2-ой способ, Вентилятор 1 - 2-ой способ (В = 0.642 и

V = 9815200).

Данное множество не содержит базовый вариант - АВК-ВО, характеристики которого (В = 0.412 и V = 11971200 руб.) доминируются, например, третьим вариантом выполнения СД-ВОК (В = 0.608 и V = 9695200 руб.).

Проведенное исследование подтвердило численным моделированием преимущества систем управления ГВУ, разрабатываемых в ИГД СО РАН под руководством проф. Петрова Н.Н. [171].

ЗАКЛЮЧЕНИЕ

В диссертационной работе исследован круг проблем, связанных с разработкой моделей, методов и средств автоматизации проектирования процессов функционирования ЧМС в рамках нового научного направления - проектирование и последовательная оптимизация ПФ ЧМС по вероятностным и нечетким показателям эффективности, качества и надежности.

Основные научные результаты работы состоят в следующем.

1. Разработана концепция, основные принципы и элементы технологии проектирования процессов функционирования ЧМС по вероятностным и нечетким показателям ЭКН, в основу которой положены объектно-ориентированная и структурная технологии проектирования сложных систем, метод последовательной оптимизации и продукционно-логическая база знаний. Технология проектирования обеспечивает снижение трудозатрат на проектирование и автоматизацию генерации структурных и параметрических альтернатив, а также процесса решения задачи за счет использования гибридной экспертной системы проектирования ЧМС и принятия решений ИНТЕЛЛЕКТ-2.

2. Построена оптимизационная модель процесса функционирования ЧМС, опирающаяся на формализмы объектно-ориентированного и структурного подходов к описанию элементной и функциональной структуры и позволяющая задавать альтернативные способы выполнения ПФ ЧМС, отличающиеся как в структуре, так и в параметрах.

3. Разработан способ получения единой базы знаний об оптимизационной модели ПФ ЧМС в продукционно-логической форме, что обеспечивает учет влияния внешней среды и возникающих ситуаций.

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

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

6. Поставлена и решена задача оптимизации алгоритма направленного перебора частичных решений с использованием следующих стратегий перебора на основе улучшающих инвариантных преобразований множества альтернатив: изменение последовательности генерации частичных решений, упрощение необходимых условий оптимальности для частных случаев МА и ограничений, отмена в определенных ситуациях проверок самих НУО, распараллеливание алгоритма направленного перебора на несколько ЭВМ. Оптимизация АНП позволяет дополнительно уменьшить время решения задачи по сравнению с методом последовательной оптимизации, а также получать точное решение в случае, когда это невозможно на одной ЭВМ.

7. Разработаны, прошли промышленную апробацию и внедрение несколько программных комплексов, а также решен ряд практических задач оптимального проектирования ПФ ЧМС, в том числе:

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

- построение экспертной системы для усталостных испытаний самолета;

- проектирование и управление реабилитационно-образовательным процессом глухих и слабослышащих студентов в Институте социальной реабилитации НГТУ.

Список литературы диссертационного исследования доктор технических наук Гриф, Михаил Геннадьевич, 2002 год

1. Информационно-управляющие человеко-машинные системы: Исследование, проектирование, испытания: Справочник /А.Н. Адаменко, А.Т. Ашеров, И.Л. Бердников и др.; Под общ. ред. А.И. Губинского и ВТ. Евграфова. М.: Машиностроение, 1993. - 528 с.

2. Губинский А.И. Надежность и качество функционирования эргатических систем. -Л.: Наука, 1982. 270 с.

3. Губинский А.И., Евграфов В.Г. Эргономическое проектирование судовых систем управления. Л.: Судостроение, 1977.-224 с.

4. Ротштейн А.П., Кузнецов П.Д. Проектирование бездефектных человеко-машинных технологий. Киев: Тэхника, 1992. - 180 с.

5. Ротштейн А.П., Штовба С.Д. Нечеткая надежность алгоритмических процессов. -Винница: Континент, 1997. 142 с.

6. Попович П.Р., Губинский А.И., Колесников Г.М. Эргономическое обеспечение деятельности космонавтов. М.: Машиностроение, 1985. - 272 с.

7. Зараковский Г.М., Павлов В.В. Закономерности функционирования эргатических систем. М.: Радио и связь, 1987. - 232 с.

8. Суходольский Г.В. Структурно-алгоритмический анализ и синтез деятельности. -Л.: ЛГУ, 1976. 120 с.

9. Введение в эргономику /Под редакцией В.П. Зинченко. М.: Советское радио, 1974. - 352 с.

10. Анкудинов Г.И. Синтез структуры сложных объектов. Логико-комбинаторный подход. Л.: ГЛУ, 1986. - 258 с.

11. Безбогов А. А. Анализ топологии функциональных структур эргатических систем // Кибернетика и вычистительная техника. Киев. - 1985. - № 68. - С. 61-67.

12. Ахьюджа X. Сетевые методы в проектировании и производстве. М.: Мир, 1979.- 161 с.

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

14. Филлипс Д., Гарсиа-Диас А. Методы анализа сетей / Пер. с англ. М.: Мир, 1984.- 496 с.

15. Цвиркун А.Д. Основы синтеза структуры сложных систем. М.: Наука, 1982. -200 с.

16. Основы построения АСУ /Под ред. В.И. Костюка. Учебное пособие для вузов. -М.: Сов. радио, 1977. 304 с.

17. Дабагян А.В. Проектирование технических систем. М.: Машиностроение, 1986. -256 с.

18. Одрин В.М., Картавов С.С. Некоторые итоги и перспективы развития морфологического анализа систем. Киев, 1973. - 83 е.- (Препринт № 73-62/АН УССР. Ин-т кибернетики).

19. Мелихов А Н. Ориентированные графы и конечные автоматы. -М.: Наука, 1981. — 413 с.

20. Оре О. Теория графов /Пер. с англ. 2-е изд. - М.: Наука, 1986. - 336 с.

21. Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы: теория и практика / Пер. с англ. М.: Мир, 1980. - 476 с.

22. Кристофидес Н. Теория графов. Алгоритмический подход / Пер. с англ. М.: Мир, 1978.-432 с.

23. Шеридан Т. Б., Феррелл У. Системы человек-машина: Модели обработки информации, управления и принятия решений человеком оператором / Пер. с англ. М.: Машиностроение, 1980. - 400 с.

24. Сакман Г. Решение задач в системе человек-ЭВМ / Пер. с англ. М.: Мир, 1973. -351 с.

25. Кузин J1.T. Основы кибернетики: В 2-х т. Т.2. Основы кибернетических моделей. Учебное пособие для вузов. М.: Энергия, 1979. - 584 с.

26. Растригин Л.А. Системы экстремального управления. М.: Наука, 1974. - 630 с.

27. Клир Дж. Системология: Автоматизация решения системных задач / Пер. с англ. -М.: Наука, 1990.-560 с.

28. Мальцев А.И. Алгоритмические системы. -М.: Наука, 1970. 320 с.

29. Сафонов И.В. Теория и практика надежностного проектирования структурно-алгоритмических систем: Автореф. дис. . д-ра техн. наук. М., 1975. - 42 с.

30. Сафонов И.В. Оптимизационные задачи проектирования систем управления. -Киев: О-во "Знание" Украинской ССР, 1979. 28 с.

31. Ивченко Г.И., Каштанов В.А., Коваленко И.Н. Теория массового обслуживания: Учебное пособие для вузов. -М.: Высш. школа, 1982. 256 с.

32. Гросс С., Лантен А. Теория формальных грамматик / Пер. с франц. М.: Мир, 1971.-294 с.

33. Хомский Н.В. Формальные свойства грамматик// Кибернетический сборник. -М.: Мир, 1969, Вып. 6.

34. Поспелов Д.А. Логико-лингвистические модели в системах управления. М.: Наука, 1981.-291 с.

35. Искусственный интеллект: в 3-х кн. Кн. 2. Модели и методы: Справочник /Под редакцией Д.А. Поспелова. М.: Радио и связь, 1990. - 304 с.

36. Поспелов Д.А. Ситуационное управление: теория и практика. М.: Наука, 1986. -288 с.

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

38. Коваленко И. Н., Кузнецов Н.Ю., Шуренко В.М. Случайные процессы: Справочник. Киев: Наук, думка, 1983. - 366 с.

39. Тихонов В.И., Миронов М.А. Марковские процессы. -М.: Сов. радио, 1977,- 488с.

40. Сильвестров Д.С. Полумарковские процессы с дискретным множеством состояний (основы расчета функциональных и надежностных характеристик стохастических систем). М.: Сов. радио, 1980,- 272 с.

41. Королюк B.C., Турбин А.Ф. Полумарковские процессы и их приложения. Киев: Наук, думка, 1976. - 270 с.

42. Кемени Дж., Снелл Дж. Конечные цепи Маркова. М.: Мир, 1970. - 253 с.

43. Феллер В. Введение в теорию вероятностей и ее приложения в 2-х т.: Пер. с англ./Под редакцией Ю.В. Прохорова. 2-е изд. - М.: Мир, 1967. Т.1. - 498 с.

44. Маркушевич А.И. Краткий курс теории аналитических функций. М.: Наука, 1978.-416 с.

45. Губинский А.И., Евграфов В.Г., Лаушкин Г.Д., Лебедев В.А. Методические рекомендации "Автоматизация проектирования эрготехнических систем". М., 1981. - 43 с. - (Препринт № 3884/ АН СССР. Науч. Совет по комплекс, пробл. "Кибернетика").

46. Губинский А.И., Плаксин И.А., Евсиков В.И. Методические рекомендации по оценке качества функционирования систем "Человек-техника" на ЭВМ. М., 1978. - 32 с. (Препринт № 2010 /АН СССР. Науч. Совет по комплекс, проблеме "Кибернетика").

47. Губинский А.И., Диденко В.Я., Рещиков М.Ю., Юхтенко В.А. Методические рекомендации по моделированию эргатических систем с помощью ЭВМ. М., 1981. - 39 с. - (Препринт № 4650/ АН СССР. Науч. Совет по комплекс, проблеме "Кибернетика").

48. Губинский А.И., Ротштейн А.П., Лачашвили Р.А., Чабаненко П.П. Новые подходы к описанию и оценке эрготехнических систем. М., 1981. - 75 с. -(Препринт № 4649 / АН СССР. Науч. Совет по комплекс, проблеме "Кибернетика").

49. Губинский А.И., Лаушкин Г.Д.,Падерно П.И. Характеристики человека как звена систем управления: Учебное пособие. Л.: РИО ЛЭТИ, 1982. - 47 с.

50. Гусев А.А. Типовые структурные звенья функциональной сети и их идентификация // Эффективность, качество и надежность эрготехнических систем: Тез. докл. Всесоюз. симп. М., 1984. - 4.1. - С. 85-87.

51. Гусев А.А. Формальное описание топологии функциональных сетей. Там же. -С. 81-83.

52. Лаушкин Г.Д. Проектирование алгоритмов деятельности человека-оператора в АСУ: Автореф. дис. . канд. техн. наук. Л., 1982. - 16 с.

53. Евграфов В.Г. Проектирование и оптимизация человеко-машинных систем // Автоматизация научных исследований, эргономического проектирования и испытаний сложных человеко-машинных систем: Тез. докл. Всесоюз. научно-техн. конф. Л., 1983. - 4.2. - С. 57-59.

54. Евграфов В.Г. Оптимизация и автоматизация решения задач проектирования иерархических систем "человек-техника" // Эффективность, качество и надежность эрготехнических систем: Тез. докл. Всесоюз. симп. М., 1984. - 4.2. -С. 7-8.

55. Карпачевский В.Г. Оценка потерь эффективности технологического процесса обработки информации в АСУП: Автореф. дис. . канд. техн. наук. -Л., 1983. -17 с.

56. Рещиков М.Ю. Метод автоматизированного моделирования функциональных сетей (на примере человеко-машинных комплексов): Автореф. дис. . .канд. техн. наук.-Л., 1983,- 17с.

57. Ротштейн А.П. Об алгебраическом описании и классификации функциональных структур //Эргономическое обеспечение и автоматизация проектирования и испытаний человеко-машинных систем: Материалы Ленинградского научно-техн. семинара. Л., 1986. - С. 12-17.

58. Ротштейн А.П. Некоторые синтаксические аспекты теории функциональных сетей //Эффективность, качество и надежность эрготехнических систем: Тез. докл. Всесоюз. симп. М., 1984. - Ч. 2. -С. 162-165.

59. Чабаненко П.П. Сравнительная оценка эффективности систем "человек-техника".- Киев: О-во "Знание" Украинской ССР, 1980. 24 с.

60. Юхтенко В.А. Исследование и разработка метода оценки вероятностно-временных характеристик процессов управления в системах с диалоговым взаимодействием человека с ЭВМ: Автореф. дис. . канд. техн. наук, Л., 1985. -16 с.

61. Ломов Б.Ф. О системном подходе к психологии //Вопросы психологии. 1975. №3.-С. 3-8.

62. Глушков В.М., Цейтлин Г.Я., Ющенко Е.Л. Алгебра. Языки. Программирование.- Киев: Наук, думка, I960. 252 с.

63. Рябинин И.А., Черкесов Ю.Н. Логико-вероятностные методы анализа надежностиструктурно-сложных систем. М.: Радио и связь, 1980. - 275 с.

64. Ротштейн А.П. Медицинская диагностика на нечеткой логике. Винница: Континент-ПРИМ, 1996. - 132 с.

65. Губинекий А.И. Романовский И.В., Буй Куанг Зиеу, Возможные постановки задач оптимизации человеко-машинных систем // Проблемы системотехники: Сб. трудов / Под ред. В.И.Николаева. Л., 1980. - С. 351-355.

66. Борщева Т.Н., Мокина Н.М. Возможные постановки задач оптимизации технологического процесса переработки информации в АСУП // Оптимизация и проектирование человеко-машинных систем: Сб. трудов. Воронеж, 1980. - С. 7078.

67. Брегвадзе Р.Н., Бабуадзе В.М. Подход к решению задач описания, оценки и оптимизации процессов надежного проектирования. То же. - С. 60-70.

68. Губинекий А.И., Гречко Ю.П., Гриф М.Г., Цой Е.Б., Яковлев Б.А. Оптимизация эрготехнических систем. М., 1981. - 40 е.- (Препринт № 4325 / АН СССР. Науч. Совет по комплекс, проблеме "Кибернетика").

69. Губинекий А.И., Гриф М.Г., Цой Е.Б. О некоторых алгоритмах оптимизации систем "человек-техника" // Применение ЭВМ в оптимальном планировании и проектировании: Межвуз. сб. науч. тр. /Новосиб. гос. университет. -Новосибирск, 1981.-С. 148-154.

70. Губинекий А.И., Гриф М.Г., Цой Е.Б. О программном и математическом обеспечении задач оптимизации эргатических систем // Тез. докл. Всесоюз. совещания. М„ 1981. - С. 34-35.

71. Губинекий А.И., Гриф М.Г., Цой Е.Б. Методы оптимизации систем "человек-техника". Новосибирск, 1981. - 37 с. - Рукопись представлена Новосиб. электротехн. ин-т. Деп. в ВИНИТИ 14.05.81. N 2220-81 Деп.

72. Губинекий А.И., Чабаненко П.П., Лаушкин Г.Д. Оптимизация эрготехнических систем. Киев; О-во "Знание" Украинской ССР, 1982. - 25 с.

73. Гриф М.Г. Об эффективности метода последовательной оптимизации сложных систем по нечетким- и вероятностным показателям на продукционно-логических моделях // В сб. "Научный вестник НГТУ". 2001. № 9. - Новосибирск. Изд-во НГТУ.-С. 109-124.

74. Гвоздик М.И., Евграфов В.Г., Цой Е.Б. Оптимизация организационно-технических систем: методы, алгоритмы, программы / ВВМУРЭ им. А.С. Попова. С.-Пб., 1996. 300 с.

75. Ашеров А.Т., Павлов Е.А. Оптимизация параметров надежности организационных АСУ // Оптимизация и проектирование человеко-машинных систем: Сб. трудов. Воронеж, 1980. - С. 39-47.

76. Белман Р., Дрейфус С. Прикладные задачи динамического программирования /Пер. с англ. М.: Наука, 1965. - 458 с.

77. Берзин Е.А. Оптимальное распределение ресурсов и элементы синтеза систем. -М.: Сов. радио, 1974. 304 с.

78. Борисов А.Н., Вилюмс Э.Р., Сукур Л.Я. Диалоговые системы принятия решений на базе мини-ЭВМ: Информационное, математическое и программное обеспечение. Рига: Зинатне, 1986. - 195 с.

79. Губинский А.И., Мороз П.Н. Двухэтапная оптимизация эрготехнических систем // Эффективность, качество и надежность эрготехнических систем: Тез. докд. Всесоюз. симп. М., 1984. - 4.2. - С. 77-82.

80. Майн X., Осаки С. Марковские процессы принятия решений / Пер. с англ. М.: Наука, 1977. - 176 с.

81. Моисеев Н.Н. Математические задачи системного анализа: Учеб. пособие для вузов. М.: Наука, 1981. - 488 с.

82. Романовский И.В. Алгоритмы решения экстремальных задач. М., 1977. - 352 с.

83. Цой Е.Б. Некоторые аспекты оптимизации эрготехнических систем. -Новосибирск, 1986, 30 с. - Рукопись представлена Новосиб. электротехн. ин-т. Деп. в ВИНИТИ 11.04.86, N 3189-В86.

84. Цой Е.Б., Проскурина О.И., Ким М.Н. Оптимизация последовательно-организованных систем "человек-техника" //Эффективность, качество и надежность эрготехнических систем: Тез. докл. Всесоюз. симп. М., 1984. - Ч. 2. -С. 35-36.

85. Юдин Д.Б. Задачи и методы стохастического программирования. М.: Сов. радио, 1979.-392 с.

86. Яковлев Б.А. Исследование вопросов надежности хранения информации в базе данных АСП и разработка метода ее оценки: Автореф. дис. . канд. техн. наук. -Л., 1981,-17 с.

87. Жуковин В.Е. Модели и процедуры принятия решений. Тбилиси: Мецниереба, 1981. - 118 с.

88. Жуковин В.Е. Многокритериальные модели принятия решений с неопределенностью. Тбилиси: Мецниереба, 1983. - 104 с.

89. Кини Р., Райфа X. Принятие решений при многих критериях предпочтения и замещения: Пер. с англ. / Под ред. И.Ф.Шахнова. М.: Радио и связь, 1981,- 560 с.

90. Орловский С.А. Проблемы принятия решений при нечеткой исходной информации. М.: Наука, 1981. - 206 с.

91. Павлов Е.А, Вилюмс Э.Р., Волкова Т.В. Адаптивные процедуры решения многокритериальных задач оптимизации СЧТ //Применение методов математики в народном хозяйстве республики: Тез. докл. конф. Л., 1981, - С. 91-95.

92. Подиновский В.В., Ногин. В.Д. Парето-оптимальные решения многокритериальных задач. М.: Наука, 1982. - 256 с.

93. Подиновский В.В., Гаврилов. В.М. Оптимизация по последовательно применяемым критериям. М.: Сов. радио, 1975. - 192 с.

94. Борисов А.Н., Крумберг О.А., Федоров И.П. Принятие решений на основе нечетких моделей: Примеры использования. Рига: Зинатне, 1990. 184 с.

95. Вильяме Н.Н. Параметрическое программирование в экономике. Методы оптимальных решений. М.: Статистика, 1976. - 96 с.

96. Ермольев Ю.М. Методы стохастического программирования. М.: Наука, 1976.- 239 с.

97. Сергиенко И.В., Каспшицкая М.Ф. Модели и методы решения на ЭВМ комбинаторных задач оптимизации. Киев: Наук, думка, 1981. - 288 с.

98. Дегтярев Ю.И. Методы оптимизации: Учеб. пособие для вузов. М.: Сов. радио, 1980.-272 с.

99. Емеличев В.А., Комлик В.И. Метод построения последовательности планов для решения задач дискретной оптимизации. М.: Наука, 1981. - 208 с.

100. Корбут А.А., Финкелыптейн Ю.Ю. Дискретное программирование. М.: Наука, 1969.- 368 с.

101. Данцинг Дж. Линейное программирование, его обобщения и применения / Пер. с англ. М.: Прогресс, 1966. - 600 с.

102. Голыптейн Е.Г., Юдин Д.Б. Новые направления в линейном программировании.- М.: Сов. радио, 1966. 524 с.

103. Шефер Е.А. Применение метода ветвей и границ для построения множества Парето в дискретной задаче оптимизации. Ростов-на-Дону, 1981. - 9 с. -Рукопись представлена Ростов, госуд. ун-т. Деп. в ВИНИТИ 10.01.81, N 402-81 Деп.

104. Лавров Е.А. Методы и средства эргономического проектирования автоматизированных технологических комплексов: Автореф. дис. . д-ра. техн. наук.-С.-Пб., 1996. 32 с.

105. Адаменко А.Н. Исследование и разработка машинно-ориентированного метода моделирования человеко-машинных систем управления (на основе управляемых функциональных сетей): Автореф. дис. . канд. техн. наук. Л., 1986. - 16 с.

106. Надежность технических систем: Справочник / Под ред. И.А.Ушакова. М.: Радио и связь, 1985. - 608 с.

107. Дружинин Г.В. Анализ эрготехнических систем. М.: Энергоатомиздат, 1984. -160 с.

108. Михалевич B.C., Сергиенко И.В., Шор Н.Э. Исследование методов решенияоптимизационных задач и их приложения //Кибернетика. 1981. - № 4. - С. 89113.

109. Михалевич B.C., Волкович B.JL Вычислительные методы исследования и проектирования сложных систем. М.: Наука, 1982. -286 с.

110. Михайлевич B.C., Кукса А.И. Методы последовательной оптимизации в дискретных сетевых задачах оптимального распределения ресурсов. М.: Наука, 1983.-208 с.

111. Нечеткие множества и теория возможностей. Последние достижения: Пер. с англ. / Под ред. Р.Р.Ягера. М.: Радио и связь, 1986. - 408 с.

112. Ротштейн А.П. Интеллектуальные технологии идентификации: нечеткие множества, генетические алгоритмы, нейронные сети. Винница: "УН1ВЕРСУМ-Вшниця", 1999. -320 с.

113. Дюбуа Д., Прад А. Теория возможностей. Приложения к представлению знаний в информатике / Пер. с фр. М.: Радио и связь, 1990. - 288 с.

114. Заде JL Понятие лингвистической переменной и ее применение к принятию приближенных решений. М.: Мир, 1976. - 167 с.

115. Кофман А. Введение в теорию нечетких множеств. М.: Радио и связь, 1982. -432 с.

116. Грис Д. Конструирование компиляторов для цифровых вычислительных машин /Пер. с англ. М.: Мир, 1975. - 544 с.

117. Ашеров А.Т. Информационные ранги задач автоматизированной системы управления предприятием //Механизация и автоматизация управления. 1971. -№6.-С. 18-20.

118. Падерно П.И. Автоматизация эргономических исследований и разработок информационно-управляющих человеко-машинных систем: Автореф. дис. . д-ра. техн. наук. С.-Пб., 1998. - 32 с.

119. Гриф М.Г., Цой Е.Б. Методы последовательной оптимизации управляющих человеко-машинных комплексов на основе вероятностного и нечеткого моделирования // В сб. "Научный вестник НГТУ". 1999. №1(6). - Новосибирск. Изд-во НГТУ. - С. 174-194.

120. Гриф М.Г. Методы последовательной оптимизации сложных систем на основе нечетких показателей //В сб. научных статей "Информационные системы и технологии". Новосибирск, НГТУ, 2001. - С. 57-64.

121. Гриф М.Г., Цой Е.Б. Последовательная оптимизация эрготехнических систем наоснове аппарата функциональных сетей. Киев: О-во "Знание" Украинской ССР, 1989.- 16 с.

122. Гриф М.Г., Цой Е.Б. Реализация метода последовательного анализа вариантов при оптимизации сложных систем по нечетким и вероятностным показателям //Сибирский журнал индустриальной математики. 2001. Том IV. № 2(8). - С. 123-141.

123. Гриф М.Г. Выбор эффективного алгоритма последовательной оптимизации человеко-машинной системы //Доклады СО АН ВШ. 2001. - № 2 (4). - С. 53-59.

124. Гриф М.Г., Козак Д.А. Модель представления знаний для проекти-рования процессов и систем. //Управляющие системы и машины. 1995. - №3. - С.77 - 81.

125. Лингер Р., Миллс X., Уитт Б. Теория и практика структурного программирования / Пер. с англ. М.: Мир, 1982. - 406 с.

126. Кузнецов В.Е. Представление на ЭВМ неформальных процедур: продукционные системы. М.: Наука, 1989. - 160 с.

127. Буч Г. Объектно-ориентированное проектирование с примерами применения /Пер. с англ. М.: Конкорд, 1992. 519 с.

128. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++: 2-е изд. /Пер. с англ. М.: Бином, С.-Пб., 1998. - 560 с.

129. Боггс У., Боггс М. UML и Rational Rose / Пер. с англ. М.: ЛОРИ, 2000. - 580 с.

130. Джексон П., Введение в экспертные системы / Пер. с англ.: Уч. пос. М.: Вильяме, 2001. - 624 с.

131. Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем. -С.Пб.: Питер, 2000. 384 с.

132. Александров Е.А. Основы теории эвристических решений. Подход к изучению естественного и построению искусственного, интеллекта. -М.: Сов. Радио, 1975. 256 с.

133. Гриф М.Г. Применение объектно-ориентированного подхода к оптимальному проектированию человеко-машинных комплексов // Научные основы высоких технологий: Тез. докл. Междун. науч.-техн. конф. Новосибирск, 1997. Том 2. -С. 42-46.

134. Макаров И.М. и др. Теория выбора и принятия решений: Учеб. пособие для вузов. М.: Наука, 1982. - 328 с.

135. Марселлус Д. Программирование экспертных систем на Турбо Прологе / Пер. с англ. М.: Финансы и статистика, 1994. - 256 с.

136. Тей А., Грибомон Ж., Луи Д. и др. Логический подход к искусственному интеллекту: от классической логики к логическому программированию / Пер. с фр. -М.: Мир, 1990. 432 с.

137. Братко И. Программирование на языке Пролог для искусственного интеллекта / Пер. с англ. М.: Мир, 1990. - 560 с.

138. Язык Пролог в пятом поколении ЭВМ / Пер. с англ. Сб. статей. -М.: Мир, 1988. -501 с.

139. Ковальски Р. Логика в решении проблем / Пер. с англ. М. .Наука, 1990. 280 с.

140. Логическое программирование / Пер. с англ. и фр. Сб. статей. М.: Мир, 1988. -368 с.

141. Губарев В.В. Алгоритмы статистических измерений. М.: Энергоатомиздат, 1985.-272 с.

142. Ермаков С.М., Михайлов Г.А. Статистическое моделирование: Учеб. пособие для вузов. 2-е изд., дополн. - М.: Наука, 1982. - 296 с.

143. Брябрин В.М. Программное обеспечение персональных ЭВМ: 3-е изд. стер. М.: Наука, 1990.-272 с.

144. Поляк Б.Т. Введение в оптимизацию. М.: Наука, 1983. - 384 с.

145. Гриф М.Г., Бенедичук В.А. Методы оптимального проектирования дискретных систем и процессов на основе генетических алгоритмов // Информационные системы и технологии: Докл. Междун. науч.-техн. конф. Новосибирск, 2000. Том 3,-С. 495-498.

146. Гриф М.Г. Разработка последовательно-генетических алгоритмов оптимизации сложных систем // Доклады СО АН ВШ. 2001. - № 2 (4). - С. 113-118.

147. Стерлинг JL, Шапиро Э. Искусство программирования на языке Пролог /Пер. с англ. М.: Мир, 1990. - 235 с.

148. Гриф М.Г. Пакет программ диалоговой оптимизации эрготехнических систем на функциональных сетях. Новосибирск, 1987. - 4 с. - (Информационный листок № 197-87 /Новосиб. межотрасл. террит. ЦНТИ и проп.).

149. Губарев В.В., Гриф М.Г., Цой Е.Б. Программная система оптимизации эрготехнических систем. Новосибирск, 1984. - 4с. - (Информационный листок № 374-84 /Новосиб. межотрасл. террит. ЦНТИ и проп.).

150. Гриф М. Г., Птушкин Г.С. Применение гибридных экспертных систем в специальном профессиональном образовании // Материалы IV Межд. научно-метод. конф. Новосибирск, НГТУ, 2001. - С. 84.

151. Borland С++ Builder. Энциклопедия пользователя / Пер. с англ. Киев: ДиаСофт, 1997.-884 с.

152. Антонов В.М., Гриф М.Г. Оценка эффективности главных вентиляторных установок при переходе на резерв // Управление вентиляцией и газодинамическими явлениями в шахтах: Сб.науч. тр. / Ин-т горного дела СО АН СССР. Новосибирск, 1986. - С. 77-81.

153. Петров Н. Н., Зедгенизов Д. В. Управление воздухоподачей для технологических нужд как источник энергосбережения // Промьпнленная энергетика. 2000. - № И.-С. 5- 10.

154. Петров Н. Н., Буторина О. С. Анализ надежности вентиляторных установок // ФТПРПИ. 1986. - № 6. - С. 81 - 87.

155. Справочник по инженерной психологии /Под ред. Б.Ф.Ломова. М.: Машиностроение, 1982. - 368 с.

156. Шибанов Г.П. Количественная оценка деятельности человека в системах человек-техника. М.: Машиностроение, 1983. - 263 с.

157. Ермаков С.М., Михайлов Г.А. Статистическое моделирование: Учеб. пособие для вузов. 2-е изд., дополн. - М.:.Наука, 1982. - 296 с.

158. Демочко С. И. и др. Неисправности шахтных вентиляторных установок главного проветривания: Справочное пособие / С. И. Демочко, А. В. Кузнецов, В. П. Паршинцев. М.: Недра, 1990. - 188 с.

159. Губарев В.В., Гриф М.Г., Метелкин Н.Г. Экспертная система для усталостных испытаний авиационных конструкций // Интерактивное проектирование технических устройств и автоматизированных систем на персональных ЭВМ:218

160. Тез. докл. II Всес. совещ. Воронеж, 1991. - С. 41.

161. Птушкин Г.С., Гриф М.Г. Проблемы организации реабилитационно-образовательного процесса в ИСР НГТУ // В сб. "Научный вестник НГТУ". -1998. № 1(4). Новосибирск. Изд-во НГТУ. - С. 175-183.