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

кандидата технических наук
Пшеничников, Илья Станиславович
город
Саратов
год
2007
специальность ВАК РФ
05.13.18
Диссертация по информатике, вычислительной технике и управлению на тему «Математические модели, алгоритмы и комплексы программ оперативного управления мостостроительными предприятиями»

Автореферат диссертации по теме "Математические модели, алгоритмы и комплексы программ оперативного управления мостостроительными предприятиями"

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

ПШЕНИЧНИКОВ Илья Станиславович

МАТЕМАТИЧЕСКИЕ МОДЕЛИ, АЛГОРИТМЫ И КОМПЛЕКСЫ ПРОГРАММ ОПЕРАТИВНОГО УПРАВЛЕНИЯ МОСТОСТРОИТЕЛЬНЫМИ ПРЕДПРИЯТИЯМИ

Специальность 05 13 18— Математическое моделирование, численные

методы и комплексы программ

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

Саратов 2007

003065357

Рабога выполнена в ГОУ ВПО «Саратовский государственный технический университет»

Защита состоится «26» апреля 2007 г в 12 часов на заседании диссертационного совета Д 212 242.08 при ГОУ ВПО «Саратовский государственный технический университет» по адресу. 410054, Саратов, ул. Политехническая, 77, ГОУ ВПО «Саратовский государственный технический университет», корп 2, ауд 212.

С диссертацией можно ознакомиться в научно-технической библиотеке ГОУ ВПО «Саратовский государственный технический университет»

Научный руководитель-

доктор технических наук, профессор Кушников Вадим Алексеевич

Официальные оппоненты

доктор технических наук, профессор Дрогайцев Валентин Серафимович

кандидат технических наук, доцент Фоминых Дмитрий Сергеевич

Ведущая организация

Институт проблем точной механики и управления РАН, г Саратов

Автореферат разослан << » марта 2007 г

Ученый секретарь диссертационного совета сл Ш е^^ А. Терентьев

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

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

Использование средств моделирования в специализированных системах управления производственными процессами (например, системы Галактика/Парус, 1С, Concorde XAL, JD Edwards, SAP R/3 и др), позволяет обеспечить моделирование отдельных характеристик объекта управления Такие системы, как правило, не выдают рекомендаций при возникновении сложных ситуаций комплексного характера При мероприятиях, затрагивающих весь производственный процесс в целом и содержащих до нескольких тысяч позиций, это может привести к выбору нерациональной стратегии управления и, как следствие, к возникновению значительного ущерба Указанное обстоятельство обусловливает необходимость новых математических моделей, алгоритмов и комплексов программ, позволяю щих осуществить оперативное управление мостостроительными предири ятиями и организациями

Общие принципы функционирования систем оперативного управле ния, в том числе и систем моделирования сложных производственных процессов, были разработаны в трудах зарубежных и отечественных уче ных, таких как Э. Фейгенбаум, H П Бусленко, Д Л Поспелов, О И Лари чев, В А Ириков, А Ф Резчиков и других.

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

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

Тема диссертации, внедрение ее основных результатов непосредст венно связаны с приоритетным направлением развития науки и техники Российской Федерации «Информационно-телекоммуникационные системы», соответствуют темам научных исследований кафедр «Информацион ные системы» и «Системотехника» Саратовского государственного техни

ческого университета, а также лаборатории «Системные проблемы автоматизации и управления в машиностроении» Института проблем точной механики и управления РАН (г Саратов)

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

Предметом исследования являются основные производственные процессы интегрированного мостостроительного предприятия

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

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

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

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

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

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

Практическая значимость Основные результаты диссертационной работы в виде математических моделей, алгоритмов и комплексов программ были внедрены в структурных подразделениях ОАО «Волгомост» с годовым экономическим эффектом около 560 тыс рублей Кроме того результаты диссертации были использованы в учебном процессе на кафедра?. «Информационные системы» и «Системотехника» Саратовского государственного технического университета На защиту выносятся

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

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

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

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

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

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

Апробация работы. Основные положения диссертационной работы докладывались и обсуждались в 2003 - 2006 гг на научных семинарах кафедры «Информационные системы» Саратовского государственного технического университета, а также были доложены на 6 конференциях различного уровня XIX Международной научной конференции «Математические методы в технике и технологиях» (Воронеж, 2006); II Международной научно-практической конференции «Исследование, разработка и применение высоких технологий в промышленности» (Санкт-Петербург, 2006), II Всероссийской научно-технической конференции «Информационные системы и модели в научных исследованиях, промышленности и экологии» (Тула, 2004); Всероссийской научно - практической конференции «Сложные системы. Анализ, моделирование, управление» (Саратов, 2005), Всероссийских научно-практических конференциях «Технологии Интернет - на службу обществу» (Саратов, 2004,2005)

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

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

СОДЕРЖАНИЕ РАБОТЫ

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

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

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

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

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

разработан план мероприятий /7 е по реализации этапов производства работ, начиная от стадии S0 е { 51}, соответствующей сложившейся ситуации, и вплоть до успешного разрешения производственной ситуации SK е { 51} (\П\ - множество допустимых планов мероприятий). В дальнейшем считается, что план /7 £ {ZT} состоит из конечного набора последовательно выполняемых мероприятий | /j,/^,...,^}, каждое из которых осуществляет перевод объекта управления из одной стадии S, (0 е { S{t) } в другую стадию S1+i (t) е { S(t) }

Мероприятие Ре |Р^,Р2,...,РП} является выполнимым, если с

точки зрения ЛПР переход S, (t) е { 5(/) } —> Sl+1 (t) е { S(t) } в сложившихся производственных условиях может быть осуществлен и приведет к ожидаемому результату При нарушении данного условия мероприятие Р S | Р\,Р2> ■ ,Р„} не может быть выполнено

План мероприятий 17 £ \П\ будет выполнимым, если все его мероприятия выполнимы, и невыполнимым, если он содержит хотя бы одно невыполнимое мероприятие При этом мероприятие Ре |/j,/^?--?^} не может быть выполнено до тех пор, пока не будут исполнены все предшествующие мероприятия, с которыми на графе Gp(V,D) оно связано дугами.

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

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

\{j),{z\>m\)> {z2,™2), {¿г•> {z„,mn)\ , где j - имя фрейма, z, - имя

слота, т- значение слота В соответствии с данным представлением структура ситуационного фрейма «Описание производственной ситуации» имеет следующий вид-

J,

' (zi>mi)> (г2>щ)> ,{гц>Щ})

W {Наименование TIÖj, \Name}

(1) (2)

(z,,m2) [Причины возникновенияII&j, {Reasons)^ (z3,ms) j W J Характеристика ПС), {Performance |J (z4,m4) J 4* | ({Последствия ПС{Consequences (jf Временные характеристики ПС),I {{ТН),(ТК),{ТС),(ЛТ)}

(zs>ms)

(z6,m6) j W | Объекты ^Plants |j

(z7,m7) (zs,m8) {z9 >m9)

(z:o>m,o) I

¥ W W

(3)

(4)

(5)

(6)

(7)

(8) (9)

(10)

(И) (12)

В приведенных зависимостях (1) - (12) в качестве слотов используются следующие фреймы

j ({ Consequences}) | W j {Последствия ПС), { TV} j

{ V} e {<перерасход ресурсов>, <количество необходимой для разрешения техники>, <количество поврежденных сооружений;», <ориентировочная стоимость ремонтных работ>, <ориентировочные сроки задержки сдачи объекта>, <ориенгировочная величина экономического ущерба>, <приблизительное количество необходимых ресурсов>}

- отношение «состоит из», Тн,Тк,Тс,АТ - время начала и окончания прои ¡водственной ситуации, время по смете и потерянное время)

Допустим, что план мероприятий п по разрешению производственной ситуации можно представить в виде ориентированного графа G (V,D), множество вершин V которого - мероприятия разработанного шина, а множество D - дуги, соединяющие эти вершины V,gV При этом вершины v,,Vj gV графа G(V,D) соединяются дугой dy&D в том и только том случае, если для двух мероприятий плана P„Pj £=Р, со-

({Подразделения^Divisions} ({План мероприятий |.Р/сш|| ({Список документе^, ^Documents}| ^ Справочнаяинформация и данныej, \Не1р and data }

Прочие сведения), {Other)^

ответствующих этим вершинам, выполняется отношение Л1- «выполнение нетранзитивно зависит от»

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

Для перехода от графа G (V,£)) к системе продукций применим следующий алгоритм

1 Начало работы На графе G(V,D) определить вершину V* с нулевой полустепенью захода d (v ) = 0 На схеме плана мероприятий П эта вершина соответствует вершине Vj - «План мероприятий выполнен».

2 На графе G (V,D) определить все вершины

VaO'VfiO>VSO' >>eV>

соединенные дугами с вершиной V*

3 В формируемую продукционную модель записать условие

ПЛАН П БУДЕТ ВЫПОЛНЕН, ЕСЛИ ВЫПОЛНЕНЫ МЕРОПРИЯТИЯ, СООТВЕТСТВУЮЩИЕ ВЕРШИНАМ ГРАФА v^AND

4 Для вершины v , определить все вершины v ,,v v , v

tiv CXI P Ol т

соединенные дугами с вершиной v

5 В формируемой продукционной модели записать условие МЕРОПРИЯТИЕ v БУДЕТ ВЫПОЛНЕНО, ЕСЛИ ВЫПОЛНЕНЫ МЕРОПРИЯТИЯ, СООТВЕТСТВУЮЩИЕ ВЕРШИНАМ ГРАФА

V AND v AND v_, AND AND v.,

al pi SI ф1

6 Продолжить формирование продукционной модели до тех пор, пока не будут достигнуты конечные вершины графа G (V,D)

7 Конец алгоритма

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

влияющие на процесс выполнения отдельных мероприятий разработанного пиана в общем виде

ЕСЛИ ВЫПОЛНЕНО <УСЛОВИЕ Их > И <УСЛОВИЕ II2> ИЛИ <УСЛОВИЕ 1/3 > И НЕ ВЫПОЛНЕНО <УСЛОВИЕ IIп >, ТО МЕРОПРИЯТИЕ Р, е { Р1,Р2,...,Рп} БУДЕТ ВЫПОЛНЕНО,

где ^УСЛОВИЕ £/( > - логико-лингвистическая переменная, содержащая текст I - го условия, влияющего на выполнение плана мероприятий

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

{(V, , ,и,,и.,. .,и ), где V , .V - конечные верши-

1 1п 2п кп Г 2 т/ 1п 2п кп

ны графа О (У,1У), т е вершины, полустепень исхода которых равна нулю, а Ы , и2> и^ - условия, влияющие на выполнение мероприятий При этом каждый аргумент функции

/(V ¡V ,...,У ,и , и и ) должен принимать значение 1 или 0,

1Т1 ¿11 КП 1 4 /й

что будет означать выполнение или невыполнение мероприятия р^ &Р, соответствующего вершине графа Сг (V, /)) Логическая функция может принимать следующие значения _ [1, если план выполнен

МГ1п,У2п' ' Укп'и1'и2'-ит^\п

1П гп кп 1 г т ^ если ПЛОН Нв вЫПОЛНвН

На основании графа О (К,£)) синтезируется цифровое устройство, имеющее ту же таблицу истинности, что и функция 'кп'и1'и2' '11 т^ На входы цифрового устройства подаются единичные сигналы, соответствующие выполненным мероприятиям и условиям, а также нулевые сигналы, соответствующие не выполненным Если на выходе будет получен нулевой сигнал, то план в текущий момент времени является невыполнимым, если единичный, то план может быть исполнен

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

и

туации строится графовая модель плана мероприятий (рис 1), формируются условия, оказывающие влияние на реализацию отдельных мероприятий плана, разрабатывается продукционная модель плана, составляется логическая функция для проверки выполнимости плана и синтезируется цифровое устройство, имеющее ту же таблицу истинности, что и логическая функция Схема цифрового устройства приведена на рис 2

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

удается погрузить сваи до проектной отметки и для разрешения ситуации необходимо реализовать план мероприятий Пр состоящий из 23 мероприятий

Для данной производственной ситуации сформирована графовая модель, на основании которой в соответствии с разработанным во второй главе алгоритмом формируется система продукций Также формируются продукции, характеризующие влияние условий [/ ,г = 1,14 на выполнении плана мероприятий П1 по разрешению ситуации, связанной с погружением свай на проектную глубину

МЕРОПРИЯТИЕ р5 БУДЕТ ВЫПОЛНЕНО, ЕСЛИ (ИДЕНТИФИЦИРОВАНЫ ОШИБКИ В РАСЧЕТНЫХ ДАННЫХ) И (ВРЕМЯ ИЗМЕНЕНИЯ ПРОЕКТА НЕ ПРЕВЫСИТ НОРМ СМЕТЫ);

МЕРОПРИЯТИЕ р9 НЕ БУДЕТ ВЫПОЛНЕНО, ЕСЛИ (ПРОЧНОСТЬ СВАИ < ПРОЕКТНОЙ ВЕЛИЧИНЫ),

МЕРОПРИЯТИЕ рю НЕ БУДЕТ ВЫПОЛНЕНО, ЕСЛИ (СВАИ БЫЛИ ПОВРЕЖДЕНЫ ПРИ ТРАНСПОРТИРОВКЕ) ИЛИ (СВАИ ПОДВЕРГАЛИСЬ ВОЗДЕЙСТВИЮ АГРЕССИВНЫХ СРЕД);

МЕРОПРИЯТИЕ р,2 НЕ БУДЕТ ВЫПОЛНЕНО, ЕСЛИ (НАРУШЕНА ТЕХНОЛОГИЯ ПРОИЗВОДСТВА);

МЕРОПРИЯТИЕ р14 БУДЕТ ВЫПОЛНЕНО, ЕСЛИ (РАБОТЫ ПРОИЗВОДЯТСЯ В ПЕРИОД ДЕЙСТВИЯ СНИПОВ И ГОСТОВ), МЕРОПРИЯТИЕ р15 БУДЕТ ВЫПОЛНЕНО, ЕСЛИ (ОПРЕДЕЛЕНЫ ДОЛЖНОСТНЫЕ ИНСТРУКЦИИ),

МЕРОПРИЯТИЕ р,6 НЕ БУДЕТ ВЫПОЛНЕНО, ЕСЛИ (УСТАНОВЛЕНО ПРЕВЫШЕНИЕ ВРЕМЕНИ ПО СМЕТЕ),

МЕРОПРИЯТИЕ р20 БУДЕТ ВЫПОЛНЕНО, ЕСЛИ (УСТАНОВЛЕНО СООТВЕТСТВИЕ ДОКУМЕНТОВ ТЭО) И (ПРЕВЫШЕНА НОРМА РАСХОДА МАТЕРИАЛОВ НЕ > ЧЕМ НА 10%),

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

на объектах

МЕРОПРИЯТИЕ р2, БУДЕТ ВЫПОЛНЕНО, ЕСЛИ (УСТАНОВЛЕНА НОРМА ТРУДОЗАТРАТ (ЧЕЛОВЕКО-ЧАСОВ) И ТРУДОЗАТРАТЫ ПРЕВЫСЯТ НОРМУ ПО СМЕТЕ < ЧЕМ НА 20%)

Учитывая влияние условий С/ , г = 1,14 на реализацию плана мероприятий Пр формируется таблица состояний функции

/К,У5,У7,У8,У10,Уи,У12,У14,У15,У20,. ,у23), которая имеет следующий вид

/(Ч

,У23,ири2, ,и14)=

((Р4Р5(и11и12) + Р7Ра(иб) + Р,о( и2+из)РпРп( и4)) (( Р14( и14)+р,5( и13))р16( и5))( р20( и7и8)р21( и9и10)р22р23

Схема логического устройства, синтезированного для проверки выполнимости плана П1, приведена на рис 3

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

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

• предпроектная подготовка организации к внедрению программного комплекса, подготовка документооборота и баз данных интегрированных информационных систем организации,

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

lFh

-Q—

ГЯ

u

-ВТ-F

-—II—

™—BJ77T7T7

m_

^Q—

38Î

J

-D-L

eJ

-4PLÎ

Ц.12,

hOH

ДА1А.Ш.. b'.LLlIL

0-

Ш« U147 P

1 2

Рис 2 Схема цифрового устройства

Рис 3 Схема логического устройства для проверки выполнимости плана IX

программного комплекса информации по указанным производственным ситуациям,

• адаптация разработанного математического и программного обеспечения к условиям интегрированной информационной системы ОАО «Волгомост»,

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

• сервисное обслуживание внедренного программного обеспечения По оценкам экспертов, суммарный годовой экономический эффект

от внедрения основных результатов работы на ОАО «Волгомост» составил около 560 тысяч рублей

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

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

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

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

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

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

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

1 Пшеничников И С Анализ выполнимости планов мероприятий в системе автоматизированного управления мостостроительной организации / И С Пшеничников, В А Кушников и др // Мехатроника, Автоматизация, Управление -2006 -№11 -С 45-49

2 Пшеничников И С Модели и алгоритмы системы оперативного управления мостостроительной организацией / И С Пшеничников, В А Кушников, Е И Шлычков // Вестник Саратовского государственного технического университета -2006 -№3(15) - С 72-78

3 Пшеничников И С Методы поиска данных и документов в информационной системе строительной организации / И С Пшеничников, В А Кушников // Информационные системы и модели в научных исследованиях, промышленности и экологии сб науч тр - Тула, 2004 - С 36-40

4 Пшеничников И С Модели и алгоритмы проверки продукционных баз знаний мостостроительной организации на непротиворечивость / И С Пшеничников, В А Кушников // Высокие технологии, фундаментальные и прикладные исследования, образование междунар сб науч тр - Т 4 -СПб, 2006 - С 51-53

5 Пшеничников И С Использование продукционных моделей при разработке баз знаний для информационных систем / И С Пшеничников, В А Кушников // Математические методы в технике и технологиях сб тр междунар науч конф - Воронеж, 2006 - С 43-45

6. Пшеничников И С Графовая модель для проверки выполнимости плана мероприятий в информационной системе мостостроительной организации / И С Пшеничников, В А Кушников // Системный анализ в проектировании и управлении сб тр междунар науч -прак конф -42- СПб, 2006 - С 198-200

7 Пшеничников И С Формализация данных по производственным ситуациям, используемым в СППР руководителя строительной организации / И С Пшеничников, В А Кушников // Моделирование и управление в сложных системах сб науч статей - Саратов, 2004 - С 60-66

8 Пшеничников И С Использование Интернет-технологий для поддержки принятия решений руководителя строительной организации / ИС Пшеничников, В А Кушников // Технологии Интернет - на службу обществу сб статей по материалам Всерос науч -практ конф - Саратов, 2004 -С 76-82

9 Пшеничников И С Задача оперативного управления режимами функционирования строительной организации Постановка и общий метод решения / И С Пшеничников, В А Кушников // Сложные системы Анализ, моделирование, управление сб науч статей - Саратов, 2005 - С 92-94

10 Пшеничников И С Продукционные модели интеллектуальной системы управления мостостроительной организации / И.С Пшеничников, В А.

Кушников // Проблемы управления в социально-экономических и технических системах сб науч статей - Саратов, 2006 - С 63-65. 11 Пшеничников И С Использование логических моделей и Интернет технологий при разработке распределенных СППР административного персонала строительной организации / И С Пшеничников, В.А Кушников // Технологии Интернет - на службу обществу сб статей по материалам Всерос. науч. -практ конф. - Саратов, 2005 - С 123-130.

Подписано в печать 23 03 07 Формат 60x84 1/16

Бум офсет Уел печ л 1 1 Уч -изд л 1 0

Тираж 100 экз Заказ 83 Бесплатно

Саратовский государственный технический университет

410054, Саратов, Политехническая ул ,77 Отпечатано в РИЦ СГТУ 410054, Саратов, Политехническая ул , 77

Оглавление автор диссертации — кандидата технических наук Пшеничников, Илья Станиславович

Введение

Глава 1 Проблемы оперативного управления мостостроительными предприятиями

1.1 Функциональная структура мостостроительного предприятия как ^ объекта управления

1.1.1 Основные функции мостостроительных предприятий

1.1.2 Структура типового мостостроительного предприятия

1.2 Уровень автоматизации производственных процессов типовых мостостроительных предприятий

1.2.1 Использование концепции компьютерно-интегрированных ^ производств в мостостроительных организациях

1.2.2 Применение систем управления проектами при оперативном 29 управлении производственными процессами

1.3 Обзор моделей и методов оперативного управления строительными проектами

1.3.1 Оперативное управление на основании сетевого графика

1.3.2 Применение продукционных и графовых моделей в ^ информационных системах производственных предприятий

1.3.3 Фреймовая модель представления знаний

1.3.4 Методы поиска информации в базах данных организации

1.4 Общая постановка задачи

1.5 Выводы

Глава 2 Модели и алгоритмы информационно управляющих систем мостостроительного предприятия

2.1 Общий подход к решению задачи

2.2 Построение фреймовой модели производственных ситуаций, 57 возникающих в процессе деятельности мостостроительных предприятий

2.3 Разработка графовой и продукционной моделей плана мероприятий ^

2.3.1 Алгоритм построения продукционной модели плана 7Q мероприятий

2.4 модельный пример ^

2.4.1 Алгоритм формализации условий, влияющих на 80 выполнение планов мероприятий

2.5 Выводы

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

3.1 Алгоритмы проверки планов мероприятий по разработке 91 проектной документации

3.2 Алгоритмы проверки планов мероприятий по производству строительно-монтажных работ

3.3 Формирование функции, таблица состояний которой Ю4 соответствует схеме цифрового устройства для проверки планов мероприятий

3.4 Выводы Ю

Глава 4 Экспериментальная проверка и внедрение разработанных 108 моделей и алгоритмов в информационно - измерительных и управляющих системах мостостроительных предприятий

4.1 Подготовка информационной системы мостостроительного предприятия к внедрению разработанного программного 1 ^ обеспечения

4.2 Анализ достоверности математических моделей ^ ^

4.3 Опыт внедрения разработанных моделей и алгоритмов в 118 структурных подразделениях ОАО «Волгомост»

4.3.1 Использование программного комплекса для обучения сотрудников ОАО «Волгомост»

4.4 Выводы

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

Актуальность проблемы. Внедрение современных инновационных технологий, увеличение конкурентоспособности отечественных предприятий и повышение уровня жизни населения невозможно осуществить без ускоренного развития транспортной системы страны [2,8,11,17,18]. При решении этой задачи важная роль отводится совершенствованию системы управления мостостроительными предприятиями и организациями.

Использование средств моделирования в специализированных системах управления производственными процессами (например, системы Галактика/Парус, 1С, Concorde XAL, JD Edwards, SAP R/3 и др.), позволяет обеспечить моделирование отдельных характеристик объекта управления [30,32]. Такие системы, как правило, не выдают рекомендаций при возникновении сложных ситуаций комплексного характера. При мероприятиях, затрагивающих весь производственный процесс в целом и содержащих до нескольких тысяч позиций, это может привести к выбору нерациональной стратегии управления и, как следствие, к возникновению значительного ущерба. Указанное обстоятельство обусловливает необходимость новых математических моделей, алгоритмов и комплексов программ, позволяющих осуществить оперативное управление мостостроительными предприятиями и организациями.

Общие принципы функционирования систем оперативного управления, в том числе и систем моделирования сложных производственных процессов, были разработаны в трудах зарубежных и отечественных ученых [34,35,37,49,78,80], таких как Э. Фейгенбаум, Н.П. Бусленко, Д.Л. Поспелов, О.И. Ларичев, В.А. Ириков, А.Ф. Резчиков и других.

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

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

Тема диссертации, внедрение ее основных результатов непосредственно связаны с приоритетным направлением развития науки и техники Российской Федерации «Информационно-телекоммуникационные системы», соответствуют темам научных исследований кафедр «Информационные системы» и «Системотехника» Саратовского государственного технического университета, а также лаборатории «Системные проблемы автоматизации и управления в машиностроении» Института проблем точной механики и управления РАН (г. Саратов).

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

Предметом исследования являются основные производственные процессы интегрированного мостостроительного предприятия.

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

Научная новизна работы заключается в следующем:

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

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

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

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

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

ТТаПЛЛППТТП ТТ* ГТТТТЖЛГ МТ TV П«Т1ПТ*ТТЛЛТТТТТТ iiwpv^uiituiu 0^/4,j ьцлл ivicv ivjv ipumwiDnoiA upi апюации.

Практическая значимость. Основные результаты диссертационной работы в виде математических моделей, алгоритмов и комплексов программ были внедрены в структурных подразделениях ОАО «Волгомост» с годовым экономическим эффектом около 560 тыс. рублей. Кроме того, результаты диссертации были использованы в учебном процессе на кафедрах «Информационные системы» и «Системотехника» Саратовского государственного технического университета.

На защиту выносятся:

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

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

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

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

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

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

Апробация работы. Основные положения диссертационной работы докладывались и обсуждались в 2003 - 2006 гг. на научных семинарах кафедры «Информационные системы» Саратовского государственного технического университета, а также были доложены на 6 конференциях различного уровня: XIX Международной научной конференции «Математические методы в технике и технологиях» (Воронеж, 2006); II Международной научно-практической конференции «Исследование, разработка и применение высоких технологий в промышленности» (Санкт-Петербург, 2006); II Всероссийской научно-технической конференции «Информационные системы и модели в научных исследованиях, промышленности и экологии» (Тула, 2004); Всероссийской научно - практической конференции «Сложные системы. Анализ, моделирование, управление» (Саратов, 2005); Всероссийских научно-практических конференциях «Технологии Интернет - на службу обществу» (Саратов, 2004, 2005).

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

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

Заключение диссертация на тему "Математические модели, алгоритмы и комплексы программ оперативного управления мостостроительными предприятиями"

ЗАКЛЮЧЕНИЕ И ВЫВОДЫ

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

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

Основными результатами диссертационной работы являются:

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

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

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

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

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

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

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

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

Библиография Пшеничников, Илья Станиславович, диссертация по теме Математическое моделирование, численные методы и комплексы программ

1. Кузнецов С. М. Оптимизация организационно технологических решений при строительстве транспортных сооружений / С. М. Кузнецов, О. А. Легостаева, Н. А. Сироткин // Транспортное строительство. - 2006. - №2. - С. 8-12.

2. Технология, организация и планирование строительства мостов / Под ред. Г. К. Евграфова. М.: Транспорт, 1997. - 462 с.

3. Фёдоров Д. И. Проектирование и строительство искусственных сооружений / Д. И. Фёдоров. М.: Транспорт, 1978. - 215 с.

4. Копыленко В.А. Ресурсосберегающая технология проектирования и строительства автомобильных и железных дорог / В. А. Копыленко, В. В. Космин // Транспортное строительство. 2006. - №1. - С. 10-14.

5. Искусственные сооружения / Под ред. Н. М. Колоколова. М.: Транспорт, 1977.-455 с.

6. Динамика железнодорожных мостов. М.: Транспорт, 1965. - 389 с.

7. Петропавловский А. А. Проектирование металлических мостов / А. А. Петропавловский. -М: Транспорт, 1979.

8. Васильев А. И. Потребительские свойства мостов / А. И. Васильев. М.: Труды ЦНИИС, выпуск № 208, 2002.

9. Петропавловский А. А. Байтовые мосты / А. А. Петропавловский. М.: Транспорт, 1980.

10. Ю.Петропавловский А. А. Проектирование деревянных и железо-бетонных мостов / А. А. Петропавловский. М.: Транспорт, 1978.

11. Бобриков Б. В. Строительство мостов / Б. В. Бобриков, И. М. Русаков, А. А. Царьков. М.: Стройиздат, 1978. - 296 с.

12. Поляков Л. П. Расчёт арочных мостов / Л. П. Поляков. Киев: Изд-во Госстройиздат УССР, 1962. - 355 с.

13. Савин К. Д. Искусственные сооружения / К. Д. Савин. М.: Транспорт, 1977. - 462 с.

14. Кручинкин А. В. Сборно-разборные временные мосты / А. В. Кручинкин. -М.: Транспорт, 1987. 188 с.

15. Бычковский Н. Н. Сборно-монолитные железобетонные пролётные строения мостов / Н. Н Бычковский и др.; Сарат. гос. техн. ун-т. Саратов: СГТУ, 2005. - 296 с.

16. Сборник инструкций по технике безопасности для основных мостостроительных профессий / Под ред. В. Н. Коротина. М.: ОАО «Мостотрест», 1998. - 436 с.

17. Харебава Ж. А. Вехи отечественного мостостроения / Ж. А. Харебава. -Саратов: Изд-во ОАО «Волгомост», 2003. 85 с.

18. Климов В. А. Наука и практика транспортного строительства / В. А. Климов // Транспортное строительство. 2006. - №1. - С.6-20.

19. Добрышевский Б. А. Строительство арочного моста из гофрированных металлических элементов / Б. А. Добрышевский // Транспортное строительство. 2006. - №2. - С. 12-16.

20. Аксютин С. А. Инновационный подход к проектированию объектов инфраструктуры железнодорожного транспорта / С. А. Аксютин, В. И. Копырин // Транспортное строительство. 2006. - №2. - С. 18-21.

21. Современные пешеходные мосты // Мостостроение мира. 2002. - №2. - С. 21-50.

22. Пшеничников И.С. Анализ выполнимости планов мероприятий в системе автоматизированного управления мостостроительной организации / И.С. Пшеничников, В.А. Кушников и др. // Мехатроника, Автоматизация, Управление. 2006. - №11. - С. 45-49.

23. Пшеничников И.С. Модели и алгоритмы системы оперативного управления мостостроительной организацией / И.С. Пшеничников, В.А. Кушников, Е.И.

24. Пшеничников И.С. Использование продукционных моделей при разработке баз знаний для информационных систем / И.С. Пшеничников, В.А. Кушников // Математические методы в технике и технологиях: сб. тр. междун. науч. конф. Воронеж, 2006. - С. 43-45.

25. Пшеничников И.С. Графовая модель для проверки выполнимости плана ' мероприятий в информационной системе мостостроительной организации /

26. И.С. Пшеничников, В.А. Кушников // Системный анализ в проектировании и управлении: сб. тр. междун. науч.-прак. конф. Ч. 2. - Санкт-Петербург, 2006. - С. 198-200.

27. Дейт К. Дж Введение в системы баз данных, 6-е издание: Пер. С англ. К., М., СПб.: Издательский дом "Вильяме", 2000. - 848 с.

28. Морозов А. А. Новые информационные технологии в системах принятия решений / А. А. Морозов // Управляющие системы и машины. 1993. - №3. -С. 11-24.

29. Озкарахан Э. Машины баз данных и управление базами данных: Пер. с англ. М.: Мир, 1989.-696 с.

30. Шлычков Е. И. Модели и методы поиска данных по производственным ситуациям в информационно-измерительных и управляющих системах / Е. И. Шлычков, В. А. Кушников, А. Ф. Резчиков. Саратов: Изд-во СГТУ, 2002.- 112 с.

31. Поспелов Д. А. Логико-лингвистические модели в системах управления / Д. А. Поспелов. М.: Энергоиздат, 1981. - 220 с.

32. Вайнер В. Г. Применение ЭВМ для управления спасательными и неотложными аварийно- восстановительными работами на химическихпредприятиях / В. Г. Вайнер, В. И. Вельма, А. М. Кузниченко и др. Черкассы: ОНИИТЕХИМ, 1989. 95 с.

33. Дозорцев В. М. Компьютерные тренажеры реального времени для обучения и переподготовки операторов и технологического персонала потенциально опасных производств / В. М. Дозорцев // Приборы и системы управления. -1996.-№9.-С. 30-31.

34. Кульба В. В. Анализ устойчивости социально-экономических систем с использованием знаковых орграфов // В. В. Кульба, П. Б. Миронов, В. М. Назаренко / Изв.Академии наук. Автоматика и телемеханика. 1993. - №7. -С. 121-128.

35. Якубайтис Э. А. Логические автоматы и микромодули / Э. А. Якубайтис. -Рига: «Зинатне», 1975. 259 с.

36. Столл Р. Множества. Логика. Аксиоматические теории. Пер. с англ. М.: Просвещение, 1968. - 231 с.

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

38. Хопкрофт Д, Мотвани Р, Ульман Дж. Введение в теорию автоматов и вычислений, 2-е изд.: Пер. с англ. М.: Издательский дом «Вильяме», 2002. - 528 с.

39. Соучек Б. Микропроцессоры и микро-ЭВМ: Пер. с англ. М.: Сов. Радио, 1979. - 520 с.

40. Кузнецов О. П. Дискретная математика для инженера / О. П. Кузнецов, Г. М. Адельсон-Вельский. 2-е изд. - М.: Энергоатомиздат, 1988. - 480 с.

41. Горев А. Эффективная работа с СУБД / А. Горев, Р. Ахоян, С. Макашарипов. СПб.: Питер, 1997. - 785 с.

42. Поспелов Д. А. Сетевые и продукционные модели / Д. А. Поспелов // Представление знаний в человеко-машинных системах. М: Наука, 1984. -С. 77-83.

43. Клещев А. Фреймы. Представление знаний в человеко-машинных системах. / А. Клещев. М.; Наука, 1984. - С. 122 - 132

44. Соучек Б. Мини-ЭВМ в системах обработки информации: Пер. с англ. М.: Мир, 1976.-520 с.

45. Кононов Д. В. Основы исчисления сценариев поведения сложных систем в АСУ ЧС / Д. В. Кононов // Автоматика и телемеханика. 2002. - №10. - С. 142-152.

46. Васильев С. Н. От классических задач регулирования к интеллектуальному управлению I / С. Н. Васильев // Изв. Академии наук. Теория и системы управления. 2001. - №1. - С. 5 - 22.

47. Васильев С. Н. От классических задач регулирования к интеллектуальному управлению II/ С. Н. Васильев // Изв. Академии наук. Теория и системы управления. 2001. - №2. - С. 5 - 21.

48. Колмогоров А. Н. Элементы теории функций и функционального анализа / А. Н. Колмогоров, С. В. Фомин. М.: Наука, 1977.

49. Канторович JI. В. Функциональный анализ / Л. В. Канторович, А. Г. Акилов. -изд. 2.-М.: Наука, 1977.

50. Корн Г. Справочник по математике для научных работников / Г. Корн, Т. Корн. М.:Наука, 1974. - 832 с.

51. Химические приложения топологии и теории графов: Пер. с англ. / Под ред. Р.Кинга. -М.: Мир, 1987.

52. Берц С., Хер дон У. Подобие в графах и молекулах. Искусственный интеллект: применение в химии: Пер. с англ. / Под ред. Т. Пирса, Б. Хонию. -М.:Мир, 1988.

53. Кохов В. А. Метод количественного определения сходства графов на основе структурных спектров / В.А Кохов // Известия Академии наук. Техническая кибернетика. 1994. - № 5. - С. 143-159.

54. Рандич М. Упорядочение графов как подход к исследованиям корреляций структура активность / М. Рандич, Дж. Краус, Б. Дзонова - Джерман -Блазич // Химические приложения топологии и теории графов. Под ред.

55. Кинга Р. М.: Мир, 1987. С. 222-233.

56. Айзерман М. А. Динамический подход к анализу структур, описываемых графами (основы графодинамики).1 / М. А. Айзерман, JI. А. Гусев, И. М. Смирнов и др. // Изв.АН СССР Автоматика и телемеханика. 1977. - №7. -С. 135-151.

57. Айзерман М. А. Динамический подход к анализу структур, описываемых графами (основы графодинамики).И / М. А. Айзерман, Л. А. Гусев, И. М. Смирнов и др. // Изв.АН СССР Автоматика и телемеханика. 1977. №9. - С. 123-136.

58. Татха X. Введение в исследование операций. 6-ое издание.: Пер. с англ. М.: Издательский дом «Вильяме», 2001. - 912 с.

59. Клир Дж. Системология. Автоматизация решения системных задач / Дж. Клир. М.: Радио и связь, 1990. - 544 с.

60. Акинфиев В. К. Модели и методы синтеза структуры многоконтурных информационно-управляющих систем / В. К. Акинфеев, В. П. Костюк, А. Ф. Резчиков, А. Д. Цвиркун // Изв.АН СССР. Автоматика и телемеханика. -1988.-№3.-С. 172-177.

61. Берж К. Теория графов и ее применение / К. Берж. М.: ИЛ, 1962. - 319 с.

62. Гермейер Ю. Б. Введение в теорию исследований операций / Ю. Б. Гермейер. М.: Наука, 1971. - 384 с.

63. Емеличев В. А. Лекции по теории графов / В. А. Емеличев, О. И. Мельников, В. И. Сарванов и др. М.: Наука, 1990. - 384 с.70.3ыков А. А. Теория конечных графов / А. А. Зыков. Новосибирск: Наука, 1969.-543 с.

64. Кадыров А. А. Динамические графовые модели в системах автоматического и автоматизированного управления / А. А. Кадыров. Ташкент: ФАН, 1984. -240 с.

65. Калман Р. Очерки по математической теории систем / Р. Калман, П. Фалб, ( М. А.рбиб. М.:Мир, 1971. - 400 с.

66. Квейд Э. Анализ сложных систем. / Э. Квейд. М.: Сов.радио, 1969. - 520 с.

67. Крыжановский В. А. К оценке уровня квалификации операторов сложных автоматизированных систем управления / В. А. Крыжановский, Ю. Ф. Цепляев // Изв.АН СССР. Автоматика и телемеханика. 1986. - №1. - С. 151-161.

68. Ларичев О. И. Проблемы, методы и системы извлечения экспертных знаний / О. И. Ларичев, В. К. Моргоев // Изв.АН СССР. Автоматика и телемеханика. -1991. №9. - С. 3-27.

69. Негневицкий М. В. Программное обеспечение противоаварийного тренажера диспетчера энергосистемы на базе ЭВМ СМ-1403 / М. В. Негневицкий // Известия вузов СССР. Энергетика. 1989. - №8. - С. 24-28.

70. Сучков В. П. Компьютерные тренажерные системы для технологических отраслей промышленности / В. П. Сучков, А. В. Татаринов // Приборы и системы управления. 1994. - №5. - С. 3-5.

71. Башлыков А. А. Экспертная система реального времени для поддержки операторов атомных электростанций / Н.Н. Давиденко, В. Г. Думшев и др. // Приборы и системы управления. 1994. - №4. - С. 10-14.

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

73. Трахтенгерц Э. А. Организация компьютерных систем поддержки принятия решений / Э. А. Трахтенгерц // Приборы и системы управления. 1997. -№12.-С. 53 - 59.

74. Прангишвили И. В. Системы информационной поддержки оперативного переспала для предприятий повышенного риска / И. В. Прангишвили, Ф. Ф. Пащенко, С. А. Молчанов // Приборы и системы управления. 1996. - №4. -С. 7-11.

75. Ивченко В. Д. Разработка интерфейса диагностической экспертной системы / В. Д. Ивченко, Е. В. Нурматова // Информационные технологии. 2001. -№10.-С. 11-14.

76. Соломенцев Ю. М. Системное проектирование интегрированных АСУ ГПС машиностроения / Ю. М. Соломенцев, В. А. Исайченко, В. Я. Плыскалин и др. М.: Машиностроение, 1988. - 458 с.

77. Микишев В. В. Использование методов искусственного интеллекта в САПР. Анализ отечественного и зарубежного опыта / В. В. Микишев, В. Б. Тарасов // Известия Академии наук СССР. Техническая кибернетика. №1. - 1991. -С. 164-176.

78. Волков А. М. Классификация способов извлечения опыта экспертов / А. М. Волков, В. С. Ломнев // Известия Академии наук СССР. Техническая кибернетика. №10. - 1989. - С. 34-43.

79. Справочник проектировщика АСУ ТП / Под ред. Смилянского Г.Л. М.: Машиностроение, 1983. - 528 с.

80. Морозов А. А. Новые информационные технологии в системах принятия решений / А. А. Морозов // Управляющие системы и машины. 1993. - №3.

81. Человский Ю. А. Выбор пакетов прикладных программ для поддержки процессов принятия решений / Ю. А. Человский // Сб. Научн. трудов АН

82. УССР. Институт кибернетики им. В.М. Глушкова. Средства вычислительной техники новых поколений. Киев. - 1989. - С. 52-58.

83. Борисов А. Н. Формирование технических решений на основе экспертных знаний / А. Н. Борисов, П. П. Федоров // Техническая кибернетика. 1990. -№5.-С. 154-163.

84. Перельман И. И. Анализ современных методов адаптивного управления с I позиций приложения к автоматизации технологических процессов / И. И.

85. Перельман У/ Изв.АН СССР. Автоматика и телемеханика. 1991. - №7. - С. 3-31.

86. Ларичев О. И. Проблемы методы и системы извлечения экспертных знаний / О. И. Ларичев, В. К. Моргоев // Изв.АН СССР. Автоматика и телемеханика. 1991,-№9.-С. 3-27.

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

88. Кушников В. А. Управление в человеко-машинных системах с автоматизированной процедурой коррекции целей / В.А. Кушников, А. Ф. Резчиков, А. Д. Цвиркун // Автоматика и телемеханика. № 7. - 1998. - С. 168-175.

89. Поспелов Д. А. Проблемы теории и практики управления. / Д. А. Поспелов // Программные продукты и системы. 1990. - №3.

90. Брук В. М. Оценка точности критериев в задачах принятия решений / В. М. Брук // Изв.АН СССР Автоматика и телемеханика. 1987. - N 6. - С. 131137.

91. Болотова JI. С. Экспертные системы ситуационного управления / Л. С. Болотова // Приборы и системы управления. 1989. - №1. - С. 6-7.

92. Антонов В. Н. Проектирование АРМ для лиц, принимающих решения, в интегрированных АСУ / В. Н. Антонов // Управляющие системы и машины. №3. - 1989. - С. 118-121.

93. Интегрированное производство в США с помощью компьютера // < Проблемы машиностроения и автоматизации: 1990. - №5. - С.72-74.

94. Лукьянова Л. М. Метод структуризации целей (на примере структур целей для целевых программ) / Л. М. Лукьянова // Изв.АН СССР Техническая кибернетика. 1986. - №3. - С. 66-75.

95. Ларичев О. И. Человеко-машинные процедуры принятия решений / О. И. Ларичев // Изв.АН СССР Автоматика и телемеханика. 1971. - №12. - С. 130 -142.

96. Зингер И. С. Информационное обеспечение в организационных системах управления / И. С. Зингер, В. И. Кругликов, В. И. Садовников. М.: Наука, 1987.-207 с.

97. Поспелов Г. С. О развитии проблем искусственного интеллекта / Г. С. Поспелов //Вестник АН СССР. №10. - 1988. - С. 134-138.

98. Данильченко И. Н. ЭС в управлении производством на основе имитационного моделирования / И. Н. Данильченко, Г. К. Лазарева // Кибернетика. 1988. - №4. - С. 127-129.

99. Балонин Н. А. Элементы искусственного интеллекта в адаптивном управлении / Н. А. Балонин, С. А. Гусев, О. С. Попов // АиТ. №4. - 1994. -С. 114-123.

100. Гаврилова Т. А. Извлечение и структурирование знаний для экспертных систем / Т. А. Гаврилова, К. Р. Червинская. М.: Финансы и статистика, 1992.

101. Кузьмин В. В. Система поддержки решений для организационно-технологического планирования производства / В. В. Кузьмин // Изв.Академии наук. Автоматика и телемеханика. 1994. - №9. - С. 173-190.

102. Попов Э. В. Экспертные системы состояние, проблемы, перспективы / Э. В. Попов // Изв. АН СССР. Техническая кибернетика. - 1989. - №5. - С. 152-161.1111. Построение экспертных систем / Под ред. Хейеса-Рота. Д, Уотермана, Д.

103. Лената. М.:Мир, 1987. - 441 с.

104. Аверкин А. Работа с экспертами и формализация качественных описаний / А. Аверкин, А. Клещев // Представление знаний в человеко-машинных и робототехнических системах. М.: Наука, 1984. - С. 252-272.

105. Рубашкин В. Ш. Представление и анализ смысла в интеллектуальных информационных системах / В. Ш. Рубашкин. М.: Наука, 1989. - 192 с.

106. Михалевич М. В. Методы принятия решений, обладающих повышенной устойчивостью к ошибкам лиц, принимающих решение // Исследование операций в АСУ. Киев, 1977. - С. 20-29.

107. Кузьмин В. В. Системы поддержки решений для организационнотехнологического планирования производства / В. В. Кузьмин // Изв.Академии наук. Автоматика и телемеханика. 1994. - №9. - С. 173-190.

108. Берштейн Л. С. и др. Модели и методы принятия решений в интегрированных интеллектуальных системах / Л. С. Берштейн. Ростов на Дону: Изд-во Ростовского ун- та, 1999.

109. Коваль В. Н. Целенаправленные системы планирования решения / В. Н. Коваль, Ю. В. Кук // Искусственный интеллект. 1999. - N2. - С. 158-165.

110. Загорулько Ю. А. Методы представления и обработки знаний: Семантические сети и системы продукций. Методическое пособие. -Новосибирск: Изд-во НГУ, 1996. 46 с.

111. Трахтенгерц Э. А. Компьютерная поддержка принятия решений. М.: СИНТЕГ, 1998.

112. Еремеев А. П. Экспертные модели и методы принятия решений. М.: МЭИ, 1995.

113. Нариньяни А. С. Недоопределенное календарное планирование: новые возможности. / А. С. Нариньян, Д. А. Иванов, С. В. Седреев, С. А. Фролов // Информационные технологии. 1997. - №1.

114. Минский М. Структура для представления знания / М. Минский. -1 Психология машинного зрения. М.: Мир, 1978.

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