автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.17, диссертация на тему:Способ формирования альтернативных процессов в задачах оптимизации человеко-машинных систем на основе объектно-ориентированных моделей

На правах рукописи

Гениатулина Елена Владимировна

Способ формирования альтернативных процессов в задачах оптимизации человеко-машинных систем на основе объектно-ориентированных моделей

05.13.17 - Теоретические основы информатики

АВТОРЕФЕРЕРАТ диссертации на соискание ученой степени кандидата технических наук

2 0 ЯНВ 2011

Новосибирск - 2010

004619238

Работа выполнена в Государственном образовательном учреждении высшего профессионального образования «Новосибирский государственный технический университет»

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

Гриф Михаил Геннадьевич

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

Авдеенко Татьяна Владимировна

кандидат технических наук, Гаврилов Константин Викторович

Ведущая организация: Государственное образовательное учреждение высшего профессионального образования «Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им.В.И.Ульянова (Ленина)», г. Санкт-Петербург

Защита состоится «20» января 2011 г. в 1400 часов на заседании диссертационного совета Д 212.173.06 при Государственном образовательном учреждении высшего профессионального образования «Новосибирский государственный технический университет» по адресу: 630092, Новосибирск, пр. К. Маркса 20

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

Автореферат разослан « '-> » декабря 2010 г.

Ученый секретарь диссертационного совета

Чубич В.М.

Общая характеристика работы

Актуальность темы исследований

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

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

Таким образом, центральным вопросом рассматриваемой проблемы является разработка относительно простых технологий и алгоритмов генерации

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

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

В рамках диссертационной работы поставлены и решены следующие задачи:

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

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

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

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

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

Научная новизна

В диссертации разработаны алгоритмы генерации альтернатив и оптимизации ПФ ЧМС, а именно:

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

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

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

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

Практическая ценность работы и реализация результатов

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

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

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

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

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

Разработанные методы и алгоритмы реализованы в рамках новой версии программы ГЭС ИНТЕЛЛЕКТ-3 (Свидетельство о государственной регистрации программы для ЭВМ №2010616283 -М. .'Роспатент, 2010).

Разработанные методы нашли практическое применение в работе отдела поддержки продаж ООО фирмы «ГОТТИ», а также в ООО «Трейдсервис». Кроме того, ГЭС ИНТЕЛЛЕКТ-3 используется в учебном процессе в Новосибирском государственном техническом университете на факультете автоматики и вычислительной техники и в Институте Социальной Реабилитации НГТУ.

Результаты научных исследований использованы при выполнении проекта № 3.1.1/1703 в рамках АВЦП «Развитие научного потенциала высшей школы (2009-2010 годы)».

Достоверность научных положений и результатов

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

Личный вклад. Все изложенные в диссертации алгоритмы и методики были разработаны, реализованы и экспериментально проверены автором лично. Программная реализация ГЭС ИНТЕЛЛЕКТ-3 проводилась коллективом исследователей при непосредственном участии автора. Автором

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

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

- научно-практической конференции «Технологическое образование и устойчивое развитие региона» (Новосибирск, 2006);

- научной студенческой конференции «Дни науки НГТУ» (Новосибирск, 2006);

- международной научно-методической конференции «Информатика: проблемы, методология, технологии» (Воронеж, 2008, 2009, 2010);

- международной научно-практической конференции «Системный анализ в проектировании и управлении» (Санкт-Петербург, 2008);

- всероссийской научно-практической конференции «Системы автоматизации в образовании, науке и производстве» (Новокузнецк, 2009);

- ежегодной всероссийской научно-практической конференции с международным участием «Перспективы развития информационных технологий» (Новосибирск, 2010);

- международном форуме по стратегическим технологиям «IFOST-2010», (Ulsan, Korea, 2010).

Публикации. Всего по теме диссертации опубликованы 16 научных работ, в том числе: 1 статья ведущих рецензируемых научных журналов и изданий, рекомендованных ВАК РФ; 8 статей в материалах международных, всероссийских конференций, 1 статья в научном журнале, 5 статей в научных сборниках; 1 работа зарегистрирована в Роспатент.

Структура и объем диссертации. Работа состоит из введения, четырех глав, заключения, списка используемых источников и приложения. Объем работы составляет 145 страниц основного текста, включая 69 рисунков и 7 таблиц. Список использованных источников содержит 75 наименований.

Краткое содержание работы

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

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

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

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

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

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

Задача оптимизации (обобщенная задача динамического программирования) ставится следующим образом:

Кэкн(А)->ех(г, (!)

ЛеМ^сМа

где Кжн (А) - критерий оптимальности для сочетаний критериев ЭКН; М^ -множество допустимых альтернатив, альтернативные варианты процесса - Ма.

Вероятностные и нечеткие показатели эффективности, качества и надежности процесса (алгоритма) функционирования:

1 приведены показателями

Таблица 1

Скалярные и векторные задачи оптимизации с показателями B(A),T(A),V(A)

Критерий Ограничения Примечания

В(А) шах V{A)<Vd Vd>0

AeMd T(A)<Td Td>0

Pogr(A)

Т(А) -» min V{A)<Vd Vd>0

AeMd B(A)>Bd Bde[0,l]

Pogr(A)

V(A) min E? VI w t-4 Td> 0

AeMd B(A)>Bd Bde[ 0,1]

PogÁA)

~ cl&(A) ~ C2T(A) -c^V(A) -> шах PogrW c¡ > 0,i = 1..3

B(A),T{A),V{A),P{t<TdXA)MA),T(A) и V(A). В табл. 1

некоторые из возможных постановок задач оптимизации с В(А), Т{А) и V(A).

Альтернатива 1 Альтернатива и

I _L

Способ

выполнения 1 Способ выполнения 2

Здесь Р0^г(А) - ограничения на совместимость способов выполнения компонентов альтернатив в виде предиката - "Если Р0^Г(А) есть "Истина", то А удовлетворяет ограничениям задачи".

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

Под операцией О = О(7Г,£,0 понимается процесс выполнения функции Р элементом Е в состоянии ЧМС 5, - показатели эффективности, качества и надежности.

Отдельный процесс функционирования ЧМС (функциональная сеть) представляется в виде суперпозиции ТФС:

ог=ТФС№хАг-Ак)> (2)

где TФC¡ е М^фс , О^ - простая или составная операция.

Две операции с совпадающей функцией Р-0(Р,Е\,0{)тлО{Р являются альтернативными ("параметрическими") способами выполнения операции О, так же как и составные операции0_ГФС,-(0^,0,- ,...) и

0=ТФСх(0^ ,0у2,...),г * 5 - "структурными".

Приведены формулы расчета выходных показателей типовых функциональных структур, а также алгоритмы генерации множества альтернатив М(02).

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

Частичным решением Ь для задачи (1) с множеством альтернатив М(А2) называется исходный или укрупненный алгоритмом параметрический способ выполнения произвольной операции О* Аг. Частичное решение ¡} доминирует частичное решение £ по вероятностным критериям (показателям) В, Т и V

I 9

(£ >- £~), если оба решения являются параметрическими способами ВТУ

выполнения некоторой ТФЕ типа РО и В([})>В(1?) и Т(Ь1 )<Г(£2) и Г(£')<К(£2).

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

"Не существует частичного решения £ , такого, что £ >- £". Класс задач

ВТУ

оптимизации (В,Т,У) - это совокупность задач, которые содержат в качестве критериев ЭКН вероятностные показатели эффективности В, Т, V.

Рассмотрено программное обеспечение, включая описание и функциональные возможности ГЭС ИНТЕЛЛЕКТ-2 и ГЭС ИНТЕЛЕКТ-З.

В главе поставлены задачи разработки и исследования алгоритмов генерации альтернативных вариантов в задачах оптимизации человеко-

машинных систем.

Во второй главе решена задача формализации модели данных на основе объектно-ориентированного представления операций, которое строится путем синтеза функционально-структурной теории и объектно-ориентированного проектирования. Основу данной модели составляет объектно-ориентированный способ задания ПФ, элементами которой являются классы, объекты, отношения (наследования, агрегации, ассоциации, метакласс), свойства, методы и т.п. В рамках данного способа происходит описание операций, множества альтернатив и методов его модификации. Введено понятие «состав», как описание операции посредством объектно-ориентированного представления.

Состав - совокупность объектов разных классов, объединенных для достижения поставленных задач и обладающий критериями ЭКН.

= (Ох,Ог,...,Оп,В,Т,У), где 5/ - состав, 0ь02.-,0„ -операции.

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

В общем случае во множество параметрических способов выполнения операции входит совокупность составов, целью каждого из которых является результат выполнения необходимой операции: Мр(0) = {8^,512.....}, где

Мр(0) - множества параметрических способов выполнения операции.

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

Мера близости V - значение в диапазоне от 0 до 1, по которому определяется степень "похожести", близости между объектами (или группами объектов) и между их атрибутами.

Определение. Состав является близким составу Лу тогда, когда мера

близости между этими составами у(Stl,Stj) > 0.

N

—-, где Л^ - количество схожих объектов состава 5// по

К

отношению к составу - , а также соответствующих им характеристик (атрибутов) - КС5 : Л^. = К^ + К^,

N0 — общее количество объектов К0д и характеристик (со значениями, если они есть) КСд состава 81]: Ы0 = К0д + КСд.

Л^ - определяется в соответствии с объектами и их характеристиками, т.е. проверяется соответствие конкретных объектов одного состава с объектами другого состава.

Ы0 — количество объектов одного состава, значения характеристик которых совпадают со значениями характеристик другого состава.

Использование меры близости позволяет определить уровень сходства составов объектов, для более полного понимания пользователем схожести тех или иных составов, помогает в выборе близких составов в качестве альтернатив в рамках ТФЕ.

Описан алгоритм генерации структурных альтернатив на основе фрагментов процессов. Две операции являются структурными альтернативами 0-ТФС^0{ ,0^,..) и 0=ТФС5(05[,052,...), г Ф.у если при выполнении операций

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

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

В рамках ПФ существует множество целей:2 = {2\,21,...,Ъп}, где

21 = Z¡(TФE¡,...,TФEj)- множество ТФЕ, объединенных для достижения единой цели.

2(ТФЕ1,...,ТФЕбудем называть цель от точки ТФЕ1 до точки ТФЕ у

Данный метод позволяет пользователю автоматически получить представление процесса или отдельной его части - фрагмента в виде альтернативного графа на основе ранее сохраненных целей фрагментов (рис.2).

Предложен алгоритм генерации последовательно-параллельного ПФ ЧМС, где М = {(\,02,—,0„} - множество абстрактных операций, отличающихся друг от друга уникальным именем (или номером), п - общее количество операций.

Я = {< 0¡,0j > /О^О^ * ОуО^О^ е М М1 - бинарное 2

отношение на множестве М «следует за» (за операцией 0\ следует операция Oj), задает отношение последовательности на множестве М.

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

Р=Р„Р2,-,Рт, (3)

где т - количество подмножеств множества Р.

Общая цель графа

{эТФЕг, эТФЕз, эТФН4; Альтернатива подграфа с вершинами

/эТФЕ2,эТФЕз,эТФЕ^

'—Цель подграфа с вершинами~ { эТФЕб ,эТФЕт/

Рис.2 - Представление ПФ в виде графа с учетом целей «от точки до точки»

Приведены условия распараллеливания, в соответствии с которыми необходимо максимально распараллелить алгоритм (3) что соответствует минимально возможному значению т (удовлетворяющему от 1) до 6)):

1) V/ ./)сМ - все подмножества Р входят во множество абстрактных операций М;

2)У/У/ ¡' Ф ]Р;П Pj = 0 - одна и та же операция не должна входить

одновременно в два различных подмножества Р;

3) = М — все операции из множества М должны быть учтены; 1=1, т

4) Для мощности > 1:30^ е/}|В - должна обязательно

существовать начальная операция (та, которая не следует ни за какой другой);

5) Условие параллельности 1:

Для мощности иУО^ е^=>3 О^КО^ - для любых двух

пар операций, не должно существовать отношений следований друг за другом.

6) Условие последовательности:

У0Л| еPjиЧ052 еР^и]<¡, ¡'ф] =>3 О^Я О^ - Операция следует за операцией О^, только в том случае, если не существует отношения «следования за» - 0„Я О,^.

¿1 л2

В результате получаем последовательно-параллельную структуру вида (рис.3).

Ввод отношений «следует за» Я происходит посредством матрицы смежности:

А = |а,у|, где ¿,] = 1 ,п и ау = 1 <=> 30,Л О

Рис. 3. Последовательно-параллельная структура Исходя из введенных данных, находим матрицу достижимости: А =|а',-/-||,где

Вводимые пользователем отношения следования, в конечном итоге, представляются в виде списков:

= {0!{.....0!т | УО, € М / а^ = \} или

ЬЧО^.....0!т 3РШ(01,0,)}.

Рш(О^О^) - существование достижимости из О,- в Оу, определяется путем учета явных или неявных отношений «следования за» - 0¡R0j.

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

1) Для мощности ^М.-УО^ иХ/О^ £^=>3 О^ЯО^ ;

2) Для мощности > 1;

УО,, иЧО^ еР, Если ^ п/^ ;

3) Для мощности |/}|>1; ЧО^ и V0Í2 е/}=> пЕ0 = 0.

Расширить сферу применения последовательно-параллельного алгоритма и дать возможность пользователю не только сформировать весь алгоритм с

13

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

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

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

Матрица из Л^ ограничений на совместимость способов выполнения ТФЕ имеет вид:

м°оАтАмоег«\мТФЕ\•

где каждый у'-ый столбец матрицы Мсоответствует своей ТФЕ -

\мтфе\

V/ ту е Мр(0} = \,...,\МТФЕ\ и МТфЕ = [] 0] .

М

Если некоторый элемент матрицы/я^-= 0, то он не значим для г-го ограничения. Так при выполнении условия= О, у = \,--\Мтфе\> '"ю строку матрицы можно удалить (не учитывать). Пусть М|оу- список всех ту ф О в 1-ой строке матрицы .

Введено понятие списка по парной несовместимости составов: = где St¡,Stj =(0х,02,...,0п,В,ТУ).

Например: 5р = (А, В) - означает, что состав А и состав В -несовместимы.

Алгоритм оптимизации основан на отсеве частичных решений. Доминирование частичных решений с учетом ограничений на совместимость: 1 2 частичное решение V доминирует частичное решение I по отношению к

ограничениям на совместимость способов выполнения ТФЕ Р0ёг(А) (I1 >- I?),

N N

ор- , 0£Г

если с'сс2, где С,=( у Л^р)!1

и 02= ( и ' причем

/=1 /=1 операция пересечения между Л/].оу и частичными решениями ведется по параметрическим способам выполнения соответствующих ТФЕ (в частичных решениях задаются как сами ТФЕ, так и их способы выполнения-составы).

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

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

где каждый у-ый столбец матрицы соответствует своей ТФЕ -

\щфе\

У1ту е.М=\,...\МТфЕ\ и МТФЕ = У Оу. Если некоторый

№

элемент матрицы ту = 0, то он не значим для 1-го ограничения.

Так при выполнении условия = = 1,...,\МТФЕ\, /-ю строку матрицы Мат можно удалить или не учитывать. Пусть М|.50у - список всех ту * О в г-ой строке матрицы М2зт.

Доминирование частичных решений с учетом обязательных сочетаний

1 1 операций: частичное решение и доминирует частичное решение Ь по

отношению к ограничениям на совместимость способов выполнения ТФЕ Р0р(А) (I1 х I?), если С2 с С1,

где С\=( У и С2 = ( и причем операция

1=1 1=1 пересечения между М125т и частичными решениями ведется по параметрическим способам выполнения соответствующих ТФЕ. Данная матрица позволяет вводить только те способы выполнения операций, которые должны быть обязательно учтены. Доказана следующая теорема.

Теорема. Необходимым условием оптимальности частичного решения I1 для любой задачи класса (В,Т,У,Р0^) является следующее утверждение: «Не

1 2 12 1 существует частичного решения Ь такого, что Ь к Ь ^-Ь ».

ВТУ Роег

Приведена общая схема алгоритма с учетом обязательных и недопустимых сочетаний операций: конкретный алгоритм пошагового конструирования определяется правилом выбора частичных решений (подсетей) 9, подлежащих развитию на каждом шаге, и набор тестов 4» осуществляющих отсев тех из них, которые не могут быть достроены до оптимальных (рис. 4). Вариация параметров 8 и 5 приводит к различным алгоритмам метода последовательного анализа вариантов применительно к задачам оптимизации ПФ ЧМС на функциональных сетях.

Рис. 4. Общая схема метода последовательного анализа вариантов

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

Так, для матрицы недопустимых сочетаний операций трудоемкость -0(пзт), где пюу, - количество строк в М5т. Для матрицы обязательных

сочетаний операций трудоемкость - 0(nzsov), где n2s0V - количество строк в

^ZSOV •

Проведено исследование алгоритма преобразования матрицы обязательных сочетаний операций в матрицу несовместимых сочетаний операций, предложен вариант решения. Доказана необходимость большой вычислительной мощности, так как сложность данного алгоритма 0(п)=пк, т.е. получается такой алгоритм удобнее использовать только при небольших объемах данных.

В четвертой главе приведено описание программного обеспечения разработанных алгоритмов внедренных в ГЭС ИНТБЛЛЕКТ-3, все экранные формы, а также последовательность действий пользователя при построении процесса функционирования и генерации альтернатив.

С помощью разработанного в диссертации математического и программного обеспечения решен ряд задач, в том числе:

1. Оптимизация организации рекламной камлании «Выбери себе подарок» в ООО фирме «ГОТТИ».

2. Оптимизация способа обслуживания и ликвидации отказов в сети в фирме ООО «Трейдсервис».

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

Приведем пример решения задачи оптимизации организации рекламной кампании в ООО фирме «ГОТТИ».

Постановка задачи оптимизации:

V <60000

Т —> min

В >0.8

>

где В- вероятность качественного выполнения (1-максимум), Т - время выполнения, V - затраты (оплата за предоставленные услуги).

Сроки проведения акции: октябрь-ноябрь. Носители информации: плакаты, аудио реклама в магазинах, реклама на радио, промоутеры. Предварительная сумма бюджета 60000 рублей.

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

Ограничения на последовательность: Макет плаката заказывается до печати макета плаката, заказа аудиоролика и макета листовки. Макет листовки заказывается до печати листовки. Печать листовки производится до проведения радиорекламы и промо-акции. Заказ аудиоролика производится до проведения радиорекламы.

Сформированный последовательно-параллельный алгоритм представлен на рис.5. Найденное решение представлено на рис.6.

Затраты по найденному решению К = 52880 руб. Это позволяет сделать вывод о том, что в рамках рекламной кампании можно увеличить тираж

выпускаемых листовок, увеличить время выхода рекламы в эфир или же увеличить количество промоутеров.

Кроме того, выгоднее нанять на такие виды работ как прорисовка макета плаката и макета листовки собственного рекламиста.

Рис. 5. Последовательно-параллельный алгоритм

Рис. 6. Найденное оптимальное решение задачи

Основные результаты и выводы

Получены следующие основные результаты.

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

2. Разработан и реализован в рамках ГЭС ИНТЕЛЛЕКТ-З алгоритм генерации множества альтернатив на основе деления процесса функционирования на фрагменты.

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

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

5. На примерах решенных задач показана эффективность разработанных методов и алгоритмов в системе ГЭС ИНТЕЛЛЕКТ-3.

Основные научные результаты диссертации опубликованы в следующих работах:

1. Жалина (Гениатулина) Е.В. Применение гибридной экспертной системы ИНТЕЛЛЕКТ-2 для процесса подбора дисциплины и преподавателя / Е.В. Жалина (Гениатулина), Д.А Деревягина // Технологическое образование и устойчивое развитие региона: сб. тр. науч.-практ. конф. — Новосибирск: Изд-во ГОУ ВПО НГПУ, 2006. - С. 128 - 134.

2. Гениатулина Е.В. Методы формирования множества альтернатив процесса функционирования человеко-машинных систем / Е.В. Гениатулина, М.Г. Гриф // Информатика: проблемы, методология, технологии: Материалы VIII международной науч.-метод. конф. - Воронеж: Изд.-полиграф. центрВГУ, 2009.-С. 176-179.

3. Гениатулина Е.В. Методы формирования множества альтернатив процесса функционирования человеко-машинных систем на основе аналогий / Е.В. Гениатулина, М.Г. Гриф II Сб. науч. тр. НГТУ, - Новосибирск: Изд-во НГТУ, 2008. -№1(51). - С. 35-40.

4. Гениатулина Е.В. Методы формирования множества альтернатив процесса функционирования человеко-машинных систем / Е.В. Гениатулина, М.Г. Гриф // Системный анализ в проектировании и управлении: Труды XII Междунар. науч.-практич. конф. Ч. 1. - СПб.: Изд-во Политехи, ун-та, 2008. -С. 148-150.

5. Гениатулина Е.В. Представление данных в интеллектуальных системах, усеченно-естественный язык / Е.В. Гениатулина // Материалы девятой международной научно-методической конференции. Информатика: проблемы, методология, технологии Т1. - Воронеж: Изд-полиграф. центр ВГУ, 2009. - С. 202-206.

6. Гениатулина Е.В. Метод генерации процессов функционирования человеко-машинных систем / Е.В. Гениатулина, М.Г. Гриф // Сб. науч. тр. НГТУ. - Новосибирск: Изд-во НГТУ, 2009. - №2(56) . - С. 71-76.

7. Гениатулина Е.В. Методы представления знаний в интеллектуальных системах / Е.В. Гениатулина, М.Г. Гриф // Сб. науч. тр. НГТУ. - Новосибирск: Изд-во НГТУ, 2009. - №2(56). - С. 87-92.

8. Гениатулина Е.В. Метод генерации процессов функционирования человеко-машинных систем в интеллектуальных системах И Науч. Журнал Молодой ученый. - Чита: Изд-во Молодой ученый, 2009. - №10. - С. 83-85.

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

производстве: Труды VII Всерос. науч.-практ. конф. - Новокузнецк: СибГИУ, 2009.-С. 375-378.

10. Гениатулина Е.В. Генерация действий объектов в процессе функционирования человеко-машинных систем / Е.В. Гениатулина // Информатика: проблемы, методология, технологии: материалы X междунар. науч.-методич. конф. - Воронеж: Изд.-полиграф. Центр ВГУ, 2010. - С. 165169.

11. Гениатулина Е.В. Метод генерации процессов функционирования человеко-машинных систем на основе усеченно-естественного языка / Е.В. Гениатулина, М.Г. Гриф // Сб. науч. тр. НГТУ. - Новосибирск: Изд-во НГТУ,

2009. - №4(58) . - С. 29-35.

12. Гениатулина Е.В. Проектрование процессов функционирования в человеко-машинных системах / Е.В. Гениатулина // Перспективы развития информационных технологий. Сб. материалов II Ежегодной Всерос. науч,-практич. конф. с междунар. уч. - Новосибирск: Изд-во «Сибпринт», 2010. - С. 205-210.

13. Гениатулина Е.В. Метод генерации фрагментов процесса функционирования человеко-машинных систем на основе совпадения целей операций / Е.В. Гениатулина, М.Г. Гриф // Сб. науч. тр. НГТУ. - Новосибирск: Изд-во НГТУ, 2010. -№2(60). - С. 27-33.

14. Geniatulina E.V. The alternatives sets generating method of in man-machine systems optimization problems / E.V. Geniatulina, M.G.Grif, E.B. Tsoy // Proc. of The Intern. Forum on Strategic Technologies «IFOST-2010».-Ulsan,Korea,

2010. - P. 193-196 [Генерация множества альтернатив в задачах оптимизации человеко-машинных систем]

15. Гениатулина ЕЛ. Методы генерации множества альтернатив в задачах оптимизации человеко-машинных систем / Е.В. Гениатулина, М.Г. Гриф // Науч. вест. НГТУ. - Новосибирск: Изд-во НГТУ, 2010. - №4(41). -С. 41-51.

Зарегистрированные в Роспатент

16. М.Г. Гриф Генерация и оптимизация последовательно-параллельных процессов функционирования человеко-машинных систем / Е.В. Гениатулина, М.Г. Гриф // Свидетельство о государственной регистрации программы для ЭВМ № 2010616283. - М: Роспатент. - 2010.

Отпечатано в типографии Новосибирского государственного технического университета 630092, г. Новосибирск, пр. К. Маркса, 20,

тел./факс (383) 346-08-57 формат 60 X 84/16 объем 1.5 п.л. тираж 100 экз. заказ № 63 подписано в печать 09.12.2010 г

Разработка технологий проектирования процессов функционирования человеко-машинных систем (ПФ ЧМС) по показателям эффективности, качества и надежности (ЭКН) является одним из доминирующих направлений в исследовании и автоматизации» проектных работ, управления объектами' и принятия решений. Системы интеллектуальной поддержки принятия решений помогают человеку проанализировать большой объем информации, учесть экспертные оценки групп специалистов, более четко сформулировать множество возможных вариантов решения, спрогнозировать их последствия, получить логическое обоснование для, выбора. Само решение проблемы не обязательно4 подразумевает нахождение конкретного решения задачи, это могут быть различные альтернативы интерпретации проблемы или- получение информации, на основании которой принять или критиковать решение предлагается пользователю. Требование адекватности моделей ПФ ЧМС, используемых в процессе проектирования; невозможно достичь без всестороннего учета особенностей взаимодействия* человека или коллектива с комплексом технических и информационно-программных средств во- время решения« поставленной задачи. Вследствие этого значительно возрастает сложность моделей описания и количественной оценки процессов функционирования ЧМС. Кроме того, результативность проектирования напрямую зависит и от числа альтернатив, рассматриваемых на его отдельных этапах.мление повысить адекватность моделей за* счет привлечения все большего числа учитываемых факторов и расширение множества альтернатив (МА) создает объективные трудности для выбора оптимального варианта выполнения процесса функционирования ЧМС, поэтому возрастает актуальность подходов к оптимальному проектированию ЧМС, обеспечивающих возможность генерации и быстрого анализа достаточно большого числа альтернатив. Анализ используемых моделей ПФ ЧМС показывает, что наиболее универсальными из них являются функционально-структурная теория (ФСТ) и обобщенный структурный метод проф. Губинского А.И. (1977), получившие творческое развитие в работах В.Г. Евграфова; П.И1 Падерно, А.П. Ротштейна, А.Н: Адаменко, П.П. Чабаненко, А.Т. Ашерова, Е.А. Лаврова, Е.А. Павлова и др.

В работах Е.Б. Щоя и М.Г. Грифа получили развитие модели, методы и технологии последовательной оптимизации процессов функционирования ЧМС по показателям эффективности, качества и надежности на основе ФСТ. Однако применяемый в них способ задания множества альтернатив ПФ ЧМС требует явного описания процессов и достаточно трудоемок. Кроме того, механизм задания ограничений* на сочетания способов^выполнения отдельных операций в ПФ ЧМС представляет для проектировщика большую сложность.

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

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

В рамках диссертационной работы поставлены и решены следующие задачи:

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

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

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

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

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

Научная.новизна:

В'диссертации разработаны алгоритмы генерации альтернатив и оптимизации ПФ ЧМС, а именно:

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

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

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

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

Практическая ценность работы и реализация-результатов.

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

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

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

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

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

Разработанные методы и алгоритмы реализованы в* рамках новой версии программы ГЭС ИНТЕЛЛЕКТ-З (Свидетельство о государственной регистрации программы для ЭВМ №2010616283 - М.:Роспатент, 2010).

Разработанные методы нашли практическое применение в работе отдела поддержки продаж ООО фирмы «ГОТТИ», а также в ООО «Трейдсервис». Кроме того, ГЭС ИНТЕЛЛЕКТ-З используется в учебном процессе в Новосибирском государственном техническом университете на факультете автоматики и вычислительной техники и в Институте Социальной Реабилитации НГТУ.

Результаты научных исследований использованы при выполнении! проекта № 3.1.1/1703 в1 рамках АВЦП «Развитие научного потенциала высшей > школы (2009-2010-годы)».

Достоверность научных положений и результатов.

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

Личный вклад. Все изложенные в диссертации алгоритмы и методики были разработаны, реализованы и экспериментально проверены автором лично. Программная реализация ГЭС ИНТЕЛЛЕКТ-3 проводилась коллективом исследователей при непосредственном участии автора. Автором i

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

Апробация работы. Основные положения диссертации докладывались и обсуждались на следующих международных, всероссийских и региональных \ конференциях:

- научно-практической конференции «Технологическое образование и устойчивое развитие региона» (Новосибирск, 2006);

- научной студенческой конференции «Дни науки НГТУ» (Новосибирск, 2006);

- международной научно-методической конференции «Информатика: проблемы, методология, технологии» (Воронеж, 2008, 2009, 2010); международной научно-практической конференции «Системный анализ в проектировании и управлении» (Санкт-Петербург, 2008) всероссийской научно-практической конференции «Системы автоматизации в образовании, науке и производстве» (Новокузнецк, 2009); ежегодной всероссийской научно-практической конференции с международным участием «Перспективы развития информационных технологий» (Новосибирск, 2010); международном форуме по стратегическим технологиям «IFOST-2010», (Ulsan, Korea, 2010).

Публикации. Всего по теме диссертации опубликованы 16 научных работ, в том- числе: 1 статья ведущих рецензируемых научных журналов и изданий, рекомендованных ВАК РФ; 8 статей в материалах международных, всероссийских конференций, 1- статья в научном журнале, 5 статей в научных сборниках; 1 работа зарегистрирована в Роспатент.

Структура и объем диссертации. Работа состоит из введения, четырех глав, заключения, списка используемых источников и приложения. Объем работы составляет 145 страниц основного текста, включая 67 рисунков и 7 таблиц. Список использованных источников содержит 75 наименований.

ВЫВОДЫ

Приведено описание программного обеспечения разработанных алгоритмов внедренных в ГЭС ИНТЕЛЛЕКТ-З.

Разработаны программные дополнения в качестве расширения ГЭС ИНТЕЛЛЕКТ-З:

1) генерации последовательно-параллельного процесса функционирования ЧМС, который опирается на объектно-ориентированную модель описания,;

2) генерации множества альтернатив на основе деления процессов функционирования на фрагменты;

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

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

С помощью разработанного в диссертации математического и программного обеспечения решен ряд задач, в том числе:

1. Оптимизация организации рекламной кампании «Выбери себе подарок» в ООО фирма «ГОТТИ».

2. Оптимизация способа обслуживания и ликвидации отказов в сети в фирме ООО «Трейдсервис».

3. Проведение реабилитационных мероприятий для глухих и слабослыщащих студентов в Институте Социальной Реабилитации НГТУ.

ЗАКЛЮЧЕНИЕ

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

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

2. Разработан' и* реализован в рамках ГЭС ИНТЕЛЛЕКТ-3 алгоритм генерации множества альтернатив на основе" деления процесса функционирования на фрагменты.

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

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

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

- Оптимизация организации рекламной кампании «Выбери себе подарок» в ООО фирме «ГОТТИ».

- Оптимизация способа обслуживания и ликвидации отказов в сети в фирме ООО «Трейдсервис».

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

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

2. Гриф М.Г. Автоматизация проектирования процессов функционирования человеко-машинных систем на основе метода последовательной'оптимизации: монография / Гриф М.Г., Цой Е.Б. Новосибирск: Изд-во НГТУ, 2005. - 264 с.

3. Гриф М.Г. Современные методы проектирования ИУС: Учебное пособие -Новосибирск: Изд-во НГТУ, 2003. 84 с.

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

5. X. М. Дейтел Как программировать-на С++: Пер. с англ. / X. М. Дейтел, П. Дж. Дейтел М.: Бином, 2000. - 1021 с.

6. A.B. Леоненков Самоучитель UML / A.B. Леоненков. СПб.: БХВ-Петербург, 2007. - 576 с. .

7. Зюзьков В.М. Математическая логика и теория алгоритмов:Учебное пособие для вузов 2-е изд. / Зюзьков В.М., Шелупонов А.А М:: Горячая линия -Телеком, 2007.-176 с.

8. Уилсон Р. Введение в теорию графов: Пер с англ. / Уилсон Р. М.: Мир, 1977.-208 с.

9. Ope О. Теория графов: Пер. с англ. / Ope О. M.: Наука, 1986. - 336 с.

10. Харари Ф. Теория графов: Пер. с англ. / Харари Ф. М.: Мир, 1973. - 300 с.

11. Гриф М.Г. Проектирование и оптимизация процессов функционирования человеко-машинных систем / М.Г. Гриф // Науч. вест. НГТУ. Новосибирск: Изд-во НГТУ, 2002 - № 2(13) . - С. 41-62.

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

13. Сойер Б. Программирование экспертных систем / Сойер Б., Форестер Д. -М.: Финансы и статистика, 1998. — 346 с.

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

15. ГубаревВ.В. Концептуальные основы информатики: Учеб.пособие: В З-х ч. / Губарев В.В. Новосибирск: Изд-во НГТУ, 2001. - 4.1. Сущностные основы информатики. —149 с.

16. Андерсон, Джеймс А. Дискретная математика и комбинаторика.: Пер. с англ. / Андерсон, Джеймс А. М.: Издательский дом «Вильяме», 2004. - 960 с.

17. Судоплатов С.В1. Дискретная математика. 2-е изд. / Судоплатов С.В., Овчинникова E.BI М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2007. - 256 с.

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

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

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

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

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

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

24. Гриф, М.Г. Автоматизация проектирования процессов функционирования человеко-машинных систем на основе метода последовательной оптимизации /Гриф, М.Г., Цой, Е.Б. Новосибирск:.Изд-во НГТУ, 2005. - 264 с.

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

26. Джарод Холингвэрт С++ Builder 5. Руководство разработчика. Том 1 / Джарод Холингвэрт, Дэн Баттерфилд, Боб Сворт, Джэйми Оллсоп. - М.: Изд-во Вильяме, 2001.-880 с.

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

28. Джеймс Грофф SQL: Полное руководство: Пер. с англ. / Джеймс Грофф -Спб.: -BHV, 2001. 816 с.

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

30. Гениатулина Е.В. Метод генерации процессов функционирования человеко-машинных систем на основе усеченно-естественного языка / Е.В. Гениатулина, М.Г. Гриф // Сб. науч. тр. НГТУ. Новосибирск: Изд-во НГТУ, 2009. - №4(58) . - С, 29-34.

31. Гениатулина E.B. Методы формирования множества альтернатив процесса функционирования человеко-машинных систем на основе аналогий / Е.В. Гениатулина, М.Г. Гриф // Сб. науч. тр. НГТУ. Новосибирск: Изд-во НГТУ, 2008.-№1(51).-С. 35-40.

32. М.Г. Гриф Генерация и оптимизация последовательно-параллельных процессов функционирования человеко-машинных систем / Е.В. Гениатулина, М.Г. Гриф // Свидетельство о государственной регистрации программы для ЭВМ № 2010616283. М: Роспатент. - 2010.

33. Гриф М.Г. Модели и методы проектирования человеко-машинных систем /Гриф М.Г., Тудэвдагва У. //Сб. науч. тр.в НГТУ. Новосибирск: Изд-во НГТУ, 2003.-№ 1(31).-С. 27-36.

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

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

36. Кубенский A.A. Структуры и алгоритмы обработки данных: объектно-ориентированный подход и реализация на С++ / Кубенский A.A. СПб.: Изд-во BHV Санкт - Петербург", 2004. - 464 с.

37. Вирт Н. Алгоритмы и структуры данных / Н. Вирт. М.: Мир, 1989. - 215с.

38. Поспелов Г.С. Искусственный интеллект основа новой информационной технологии / Поспелов Г.С. — М.: Наука, 1988. - 280 с.

39. Искусственный интеллект: в Зх кн. Кн.З Программные И86 и аппаратные средства: Справочник / Под ред. Захарова В.Н., Хорошевского В.Ф. — М.: Радио и Связь, 1990.-368 с.

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

41. Баженова И.Ю. Основы проектирования приложений баз данных / Баженова И.Ю. М.: Изд-во БИНОМ Лаборатория знаний, 2006. - 325 с.

42. Гениатулина Е.В. Методы генерации множества альтернатив в задачах оптимизации человеко-машинных систем / Е.В. Гениатулина, М.Г. Гриф // Науч. вест. НГТУ. Новосибирск: Изд-во НГТУ, 2010. - №4(41). - С. 41-50.

43. John F. Sowa & Arun К. Majumdar Analogical reasoning. In A. de Moor, W. Lex, & B. Ganter (Eds.), Conceptual Structures for Knowledge Creation and Communication, California, 2003. P. 50

44. MacGarry K. Hybrid neural system: from simply coupling to fully integrated neural network/ MacGarry K., Wermter S., Maclntyre J // Neural computing surveys, 2, 1999.-P. 62-93.

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

46. Гениатулина Е.В. Метод генерации фрагментов процесса функционирования человеко-машинных систем на основе совпадения целей операций / Е.В. Гениатулина, М.Г. Гриф // Сб. науч. тр. НГТУ. Новосибирск: Изд-во НГТУ, 2010. - №2(60) . - С. 27-32.

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

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

49. Гаврилов A.B. Гибридные интеллектуальные системы. Новосибирск: Изд-во НГТУ, 2003.- 162 с.

50. Гениатулина Е.В: Метод генерации процесса функционирования!человеко-машинных систем в. системах искусственного интеллекта / Е.В.Гениатулина //г

51. Системы автоматизации в образовании, науке и производстве: Труды, VII Всерос. науч.-практ. конф. Новокузнецк: СибГИУ, 2009. - С. 375-378.

52. Гениатулина Е.В! Метод генерации процессов функционирования человеко-машинных систем в интеллектуальных системах // Науч. Журнал Молодой ученый. Чита: Изд-во Молодой ученый, 2009. - №10. - С. 83-84.

53. Гениатулина Е.В. Методы представления знаний в интеллектуальных системах / Е.В. Гениатулина, М.Г. Гриф // Сб. науч. тр. НГТУ. Новосибирск: Изд-во НГТУ, 2009. - №2(56). - С. 87-92.

54. Гениатулина Е.В. Метод генерации процессов функционирования человеко-машинных систем / Е.В. Гениатулина, М.Г. Гриф // Сб. науч. тр. НГТУ. -Новосибирск: Изд-во НГТУ, 2009. №2(56) . - С. 71-76.

55. И. Ф. Астахова Мельников SQL в примерах и задачах / И. Ф. Астахова, А. П. Толстобров . -М: Изд-во Новое знание, 2002. 176с.

56. Скляр А.Я. Введение в Interbase. М.: Изд-во Горячая Линия - Телеком, 2002. -520с.

57. Мартин Грабер SQL. М.: Изд-во: Лори, 2001. - 72с.

58. Александр Бондарь InterBase и Firebird. Практическое руководство для* умных пользователей и начинающих разработчиков. Спб.: Изд-во "BHV -Санкт - Петербург", 2007. - 592 с.

59. Ковязин А. Н. Мир InterBase: 3-е изд. Кудиц-образ/ Ковязин А. Н., Востриков С. М. -М.: Изд-во Кудиц-Образ. 2005. - 496 стр.

60. Пахомов Б. Interbase и С++ Builder на примерах. Спб: Изд-во "BHV -Санкт - Петербург", 2006. - 288с.

61. Кубенский А. А. Структуры и алгоритмы обработки данных: объектно-ориентированный подход и реализация на С++. Спб: Изд-во "BHV - Санкт -Петербург", 2004. - 464 с.

62. Шорников Ю.В. «Языковые процессоры» Учеб. пособие. Новосибирск: Изд-во НГТУ, 1998. - 58с.

63. Варшавский П.Р. Применение и важность рассуждения (вывода) по аналогии в системах искусственного интеллекта // Сб. науч. тр. IV междунар. летней школы-семинара по искусственному интеллекту для студентов и аспирантов . Мн.: БГУ, 2000. - С. 116-121.

64. Решта И.В. Интеллектуальная система поддержки принятия решений.Структурный подход // Материалы междунар. Конф. СПб: изд-во Диалог, 2003. - 8с.

65. Малыхина М.П. Базы данных: основы, проектирование, использование.:СПб.: БХВ-Петербург, 2006. 528с.

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

67. Гриф М.Г. Применение гибридных экспертных систем в специальном профессиональном образовании/ Гриф М.Г., Птушкин Г.С.// Материалы IV Междунар. науч.-метод. конф. Новосибирск: Изд-во НГТУ, 2003. - №1(31). -С.149-150.