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

доктора технических наук
Боковая, Нэлли Викторовна
город
Воронеж
год
2010
специальность ВАК РФ
05.13.12
Диссертация по информатике, вычислительной технике и управлению на тему «Оптимизация проектирования перестраиваемых производственных систем на основе адаптивных методов анализа и синтеза проектных решений»

Автореферат диссертации по теме "Оптимизация проектирования перестраиваемых производственных систем на основе адаптивных методов анализа и синтеза проектных решений"

004610269

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

БОКОВАЯ Нэлли Викторовна

ОПТИМИЗАЦИЯ ПРОЕКТИРОВАНИЯ ПЕРЕСТРАИВАЕМЫХ ПРОИЗВОДСТВЕННЫХ СИСТЕМ НА ОСНОВЕ АДАПТИВНЫХ МЕТОДОВ АНАЛИЗА И СИНТЕЗА ПРОЕКТНЫХ РЕШЕНИЙ

Специальность: 05.13.12 - Системы автоматизации проектирования

(промышленность)

АВТОРЕФЕРАТ

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

1 4 ОНТ 20Ю

Воронеж-2010

004610269

Работа выполнена технический университет»

в

ГОУ ВПО «Воронежский государственный.

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

Белецкая Светлана Юрьевна

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

Макаров Олег Юрьевич;

доктор технических наук, профессор Сумин Виктор Иванович;

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

Ведущая организация ГОУ ВПО «Воронежский государственный

университет»

Защита состоятся 29 октября 2010 г. в 13ю часов в конференц-зале на заседании диссертационного совета Д 212.037.03 ГОУ ВПО «Воронежский государственный технический университет» по адресу: 394026, г. Воронеж, Московский просп., 14.

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

Автореферат разослан 20 сентября 2010 г.

Ученый секретарь диссертационного совета С —' ~ Родионов О.В.

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

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

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

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

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

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

Работа выполнена в соответствии с научным направлением ГОУ ВПО «Воронежский государственный технический университет» «САПР и системы автоматизации производства», а также ГБ НИР 07.04 «Оптимизация и моделирование сложных систем», ГБ НИР 10.19. «Интеллектуализация принятия решений в автоматизированных системах».

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

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

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

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

сформировать математические модели структурного и параметрического синтеза стохастических производственных систем;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Практическая значимость и результаты внедрения. В диссертации разработаны основы построения математического и программного обеспечения САПР при проектировании сложных производственных объектов с перестраи-

ваемой структурой на основе интегрированной адаптивной среды многовариантного моделирования и поиска оптимальных проектных решений.

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

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

Результаты работы внедрены на следующих промышленных предприятиях: ФГУП «Воронежский механический завод» - филиал ФГУП «ГКНПЦ им. М.В. Хруничева», ЗАО «УГМК - Рудгормаш» (г. Воронеж), ОАО «Рефлектор» (г. Саратов), ОАО «Прибор» ОКБ «Авиаавтоматика» (г. Курск), ОАО «Корпорация НПО РИФ» (г. Воронеж). Результаты исследования используются также в учебном процессе кафедры систем автоматизированного проектирования и информационных систем ГОУ ВПО «Воронежский государственный технический университет» и кафедры информационных систем и технологий АНОО ВПО «Воронежский институт высоких технологий» при обучении студентов специальностей 230104 «Системы автоматизированного проектирования» и 230201 «Информационные системы и технологии».

Апробация работы. Основные положения диссертационной работы докладывались и обсуждались на Всесоюзном совещании-семинаре "Разработка и оптимизация САПР и ГАП изделий электронной техники на базе высокопроизводительных мини- и микро- ЭВМ" (Воронеж, 1989); IX Всесоюзном симпозиуме "Эффективность, качество и надежность систем "Человек-техника"" (Воронеж, 1990); Международной конференции молодых ученых и специалистов "САПР-92. Новые технологии в науке, образовании и бизнесе" (Воронеж, 1992); Российском совещании-семинаре "Оптимальное проектирование технических устройств и автоматизированных систем" (Воронеж, 1992); Всероссийском совещании-семинаре "Математическое обеспечение высоких технологий в технике, образовании и медицине" (Воронеж, 1994, 1997); Всероссийском со-

вещании-семинаре "Высокие технологии в региональной информатике" (Воронеж, 1998), Международной научно-практической конференции "Социально-экономическое развитие современного общества в условиях реформ" (Саратов, 2007); Всероссийском совещании-семинаре "Интеллектуальные информационные системы" (Воронеж, 2008-2010); Всероссийской конференции "Интеллектуализация управления в социальных и экономических системах" (Воронеж, 2008-2010); VI Международной научно-практической конференции "Исследование, разработка и применение высоких технологий в промышленности" (Санкт-Петербург, 2008); Международных конференциях "Системные проблемы надежности, качества, информационно-телекоммуникационных и электронных технологий в управлении инновационными проектами" (Москва-Воронеж-Сочи, 2008, 2009); XVI Всероссийской научно-технической конференции "Материалы и упрочняющие технологии" (Курск, 2009); X Всероссийской научно-технической конференции "Научные исследования в области транспортных, авиационных и космических систем" (Воронеж, 2009); XXII Международной научной конференции "Математические методы в технике и технологиях: ММТТ-22" (Псков, 2009): научно-методических семинарах кафедры систем автоматизированного проектирования и информационных систем ГОУ ВПО «Воронежский государственный технический университет» (2005-2010).

Публикации. По теме диссертации опубликовано 56 научных работ, в том числе 13 - в изданиях, рекомендованных ВАК РФ и 2 монографии.

В работах, опубликованных в соавторстве и приведенных в конце автореферата, лично соискателю принадлежат: иерархические схемы оптимального проектирования производственных систем [1,2,27,29,39,41,42]; оптимизационные модели и процедуры параметрического и структурного синтеза производственных систем [4,11,14,15,18,28,31,32,36,37,40,43,44,45,47,48,54]; технология моделирования производственной системы [21,52]; библиотека модулей оптимального проектирования [12,46]; многометодные стратегии и интеллектуальные процедуры поиска проектных решений [7,9,38,51,53]; схемы интегрированного взаимодействия оптимизационных и имитационных процедур при проектировании производственных систем [6,34]; структура и программное обеспечение подсистемы оптимального проектирования [16,17,19,20,23,25,55].

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

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

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

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

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

/¡(Х)-> т'т , / = 1,/я ХеО

й = {Х \хуы<х]<хуах, ] = gp(X)>0,hk(X) = 0, р- к = \^},

где X = (х\ ,...х„) - вектор варьируемых переменных, определяющих структуру и параметры системы; /¡(X) - частные критерии оптимальности; О- допустимая область, представленная системой ограничений.

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

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

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

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

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

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

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

Задача поиска оптимальных вариантов перестраиваемой производственной системы решается на основе двухуровневой процедуры (рис.1).

Уровень проектирования

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

2 - вектор, характеризующий выбор

вариантов структуры; Р - вектор параметров системы; Б у - затраты ресурсов у-го вида;

/•/ (X) - частные критерии оптимальности Р - допустимая область

Рис. 1. Схема решения задач модернизации и перестройки производства

На верхнем уровне определяются требуемые изменения технико-экономических характеристик системы IV - .....РУ^ ) в пределах выделенных ресурсов 5 = ^5].....5 ) для достижения общей цели предприятия. При

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

Щ(Х)->Щ", 1 = 1.....щу

й^Х)-*тт, j = \,...ns

ЛГеД

Х=(г.Р). г = .....^Л Р = (р{.....рпр)

IV1*1 .....IV^ ). На нижнем уровне определяются необходимые структурно-параметрические изменения в системе с учетом данных требований.

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

системы в требуемом объеме IV ^ с минимизацией расходуемых ресурсов 5¡(Х). Дополнительно в соответствии со спецификой проектируемой системы

определяются частные критерии оптимальности Е/(Х). Допустимая область определяется системой прямых и функциональных ограничений, устанавливающих требования к проектируемой системе и ее элементам. Значения 5 и IV, полученные при проектировании, передаются на верхний уровень для оценки полученного результата и принятия решений об окончании или продолжении итерационного процесса.

При решении обобщенной задачи структурно-параметрического синтеза используется декомпозиционный подход. В процессе проектирования производственная система представляется в виде иерархии взаимосвязанных элементов различной степени детализации. При этом уровни детализации производственной системы связываются с соответствующими уровнями детализации изготавливаемых изделий, а блоки соответствуют производственным участкам. Каждому блоку В*, к = \,п , / = ставятся в соответствие его имитационная модель ЯЛ/у и локальные оптимизационные модели ОМ у структурного и параметрического синтеза. При этом оптимальный структурно-параметрический синтез каждого блока В* приводит к изменению его выходных характеристик и входных параметров, что, в свою очередь, требует изменения выходных характеристик связанных с ним блоков нижних уровней иерархии с целью обеспечения ритмичности производства. Обобщенная схема поиска рациональных проектных решений представлена на рис. 2.

В схеме использованы следующие обозначения: У*' - требуемые значения выходных характеристик блока В*, поступающие с верхнего уровня иерархии; У* - выходные характеристики блока В*, полученные при его проектировании; 5* - объем внешних ресурсов, используемых при перестройке блока В*. Оптимальное проектирование блока В* заключается в определении структурно-параметрических сдвигов в данном блоке для достижения требуемых значений показателей К** с наименьшими затратами. В качестве характеристик У*, использующихся при согласовании проектных решений, будем

рассматривать интенсивности и) =(ик^.....и) ^ и объемы выпуска

V* соответствующих деталей и узлов, а в качестве входных па-

раметров - интенсивности поступления на вход данного блока материалов и комплектующих Л* При этом И* =СУ* •/.

Верхний уровень

Рис. 2. Обобщенная схема поиска проектных решений

Процесс оптимального проектирования начинается с верхнего уровня иерархии (блок В). Координирующей подсистемой на основе полученных в результате планирования значений IV ^ осуществляется определение требуемых значений выходных характеристик У,1* для блока ^, соответствующих объемам и интенсивностям выпуска системой готовой продукции. Далее осуществляется структурно-параметрический синтез блоков последующих уровней детализации относительно известной структуры и параметров блока В,1.

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

нижнего уровня, после чего значения выходных характеристик каждого

9

блока Ву и затраченных ресурсов поступают в координирующий блок, обрабатываются и передаются на верхний уровень принятия решений. При этом значения технико-экономических характеристик системы IV =(1У\.....^щу ) связаны со значениями Ку функциональной зависимостью IV = ф(Ту ).

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

Процесс оптимального проектирования на уровне каждого блока В* производственной системы начинается с решения задачи структурного синтеза (в дальнейшем индекс к будем опускать).

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

Пусть для изготовления у-го объекта производства необходимо выполнить

совокупность технологических операций v^j.....VI].....у^-. Время, необходимое

для осуществления каждой технологической операции, равно Ху. Определено

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

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

т

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

Для построения модели введем альтернативные переменные:

II, если ¡-я операция,используемая при изготовлении

.¡-го объекта производства, включается в к-ю группу;

О в противном случае

/=П,У = и, к = 1К

1, если при изготовлении .¡-й детали выбирается п^-й

У}"4 вариант предшествования операций;

О в противном случае

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

между группами: Условия предшествования технологических опе-

раций учитываются с помощью ограничений к £

I хук (У/т.)^ X. ХЦк. (У ]т, )• = 1.2.....К

к=1 _У к=\ _ 1

у = 1.Л ту = 1,А/у, и.1}е1.1, 1*1. (2)

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

1*«4=1,/ = П7, у = П7. (3)

¿=1

При изготовлении у-го объекта производства выбирается только один вариант предшествования:

А/у _

!>>,= 1,У = и. (4)

/яу=1

Суммарное время выполнения /-й технологической операции в к-й группе ограничено временем работы инструмента:

J м, _ _

А: = 1,АГ , (5)

I Хцк I ТуС^т. ^Я/ . ' = 1./,

7=1 ту=1

где В, - максимальное время использования ¡-го инструмента в одной группе.

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

к = 1К, (6)

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

./ I к м}

I I I х,,к I хкСуйи.^-мяй1, (7)

у=1/=и=1 т}=1 '

где^,, , = (^.-лИ,,т.=1И1 = У,и.

[0 в противном случае

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

/=1 *=1

где /¡к(хцк)-

1, если л >1

Н

О в противном случае

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

В совокупности критерии (7) - (8) и ограничения (2) - (6) представляют собой многокритериальную оптимизационную модель с альтернативными булевыми переменными. Рассмотренная математическая модель может использоваться как при проектировании новых производственных систем, так при перестройке действующих в связи с переходом на выпуск новых видов продукции.

Пусть для изготовления /'-го изделия известны множество возможных технологических маршрутов £?,(< = 1.....¿Л стоимость с,д (7 = 1.....пд,д = 1.....()/)

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

Исходными данными при этом являются:

- множество т классов оборудования, которое входило в систему до ее перестройки, число видов ту оборудования в каждом классе, _/' = 1.....т, а также количество оборудования каждого вида Nу = \,...,т, I = 1,.,.,/лу;

- множество классов оборудования т и видов оборудования ту, } = 1,...,от, которое может бьггь использовано для модернизации системы.

Для обеспечения целостности технологического маршрута вводятся булевы переменные у? е{0;1}. При этом у'=1, еслиу'-й класс оборудования используется для изготовления изделия /-го вида по д-му технологическому маршруту; У у-0- в противном случае.

Дополнительно для каждой единицы оборудования множеств т и т задаются: ¿у, Ьц- стоимость обслуживания с учетом амортизации; рц, р^- занимаемая площадь; гу/, г^ - количество необходимых для обслуживания рабочих; стоимость продажи gj^ и демонтажа со у/ единицы оборудования множества т; стоимость приобретения § у/ единицы оборудования множества т.

Варьируемыми параметрами модели являются:

- целочисленные переменные О<уу/ <Л'у,, ] = \,...,т, 1 = 1.....ту и уу[ > О,

7 = 1.....т, I = 1,.,.,/й/, определяющие количество оборудования имеющихся и

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

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

II, если для изготовления изделия i - го вида

выбирается q-ймаршрут; О в противном случае.

Критерии оптимальности формулируются следующим образом:

(V, (x¡4. Уj,. Уji)~ V- )г min, i = 1.....Ц (9)

Qi L mmi т "Ч _

I T.Vi(xiq.yjVyjl)c¡„+ I tbj,Уj¡ + Е t(bji + gjl)yj,+

ra mj

+ I Ifwy;-gjiXNji-yji)-+min. j=1/=1

Показатели (9) характеризуют отклонения объемов выпуска V¡ каждого

вида изделий от требуемых значений У*, установленных подсистемой верхнего уровня. Критерий (10) определяет затраты на выпуск изделий, обслуживание и приобретение оборудования. В модели используются ограничения:

- на единственность технологического маршрута для каждого изделия:

Qi

=1,'=1.....£; (П)

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

Шj fílj

ХщЧЪ(ЪУ)1+ЪУц)±\> i = l...L,q = l.....Q¡, j = Um + m; (12)

4 J 1=1 Ы

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

т mj fü mj т mj

I i РjiУji + 11 PjiJji - I I PjifNj,-УМ)±Р ; (13) j=1/=1 y=l /=1 j=l/=l

mj

Irjiyji^Rj, j = ¡.....m; (14)

m Щ

ZZgjiyji^G; (15)

МЫ

- на предельное время простоев оборудования ТР"

тр](*,гУ]1-У]'^тр?ах> j = ].....m + iñ- (16)

Задача (9) - (16) является задачей целочисленной оптимизации, в которой значения V¡ (xiq, у.¡, у¡¡), TPj (xiq, yjt, y j¡) определяются алгоритмически в результате имитационного моделирования.

13

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

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

модель с алгоритмически заданными критериями и ограничениями:

(Г,(к}.....Х2)-У- )2-*тт ,1 = 1.....Ц (17)

г

'LcjDj(\\.....Хг)->тт; (18)

/='

DSj<Dj(X,.....\2)*ВР},] = \.....2 (19)

Х-1.....>^0.

Здесь X, Ь - номенклатура деталей и комплектующих на входе и выходе блока; Cj - стоимость деталей и комплектующиху'-го вида; У( - интенсивность

выпуска изделий производственным участком; У* - требуемая интенсивность,

установленная подсистемой верхнего уровня; Dj('k\.....- длина очереди

по у-му наименованию комплектующих перед данным производственным участком; DSj - необходимый страховой запас; DPj - предельная длина очереди. Показатель (17) используется для согласования интенсивности выпуска изделий с требуемыми значениями У*. Критерий (18) характеризует стоимость материалов и деталей, находящихся в очереди перед обработкой. После решения задачи вектор входных интенсивностей Л =(Х\.....

структурируется на два вектора: Лр .....Хрпр) и Л* = .....Х'^). При этом

вектор Ар соответствует потоку деталей и узлов, поступающих на вход блока Я* после обработки на предыдущих производственных участках, а вектор Л* -

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

Результаты решения задачи (17) - (19) для всех производственных участков В), к=1,п , у = 1 .п/с используются в дальнейшем для оптимизации материальных потоков между производственной системой и внешней средой. Используемые оптимизационные модели представлены на рис. 3.

14

ЗАДАЧА 1. Определение интенснвностей /4 и объемов партий р1 поступления комплектующих и материалов на склады предприятия от внешних поставщиков

- л - £ к, )} г (<ч * ъ>+ч)

^ Л-Е^у■*«)}■т&ц, VI =15

им _

й /й+1 = 2 2 ес>+1 «= /-1 /-1

>1

5 _

2л Л' ^В, ц 2. 0. р, 2> дI = и

Л/"- число проюводствснныхучастков, 8 - номенклатура комплектующих;

- интенсивность и объем партий потребления ¡-го вида материалов} и участком; ,Cj -издержкинахранение, стоимость доставки и цена единицы I -го материала; г, -страховойзапас по 1 -му виду материалов; А, -максимальное количество материалов

(-го наименования на складе; Лтш - минимальный объем партии, В - предельные затраты на материалы, Т - интервал времаш; gíj - затраты материалов 1-го вида для производства одного шделия на ^-мучзггкг.

ЗАДАЧА 2. Определение интенснвностей и объемов партий <?у отгрузки готовой продукции потребителям

^

О _

1 = Ю _ _

о _

_ _

О - номенклатура выпускаемой продукции;

О - количество потребителей;

До; — интенсивность выпуска I -го вида

продукции системой; Ну — потребность в продукции

I - го вида у ] -го потребителя; - максимальное количество

продукции I -го вида на складе; . Д - издержки на хранение и стоимость единицы продукта 1 -го вида

Рис. 3. Модели параметрической оптимизации производственной системы

В главе также рассматривается технология комплексного моделирования производственной системы, основанная на совместном использовании СА5Е-средств и имитационных процедур. На начальном этапе моделирования формируется иерархия диаграмм ГОЕРО и ШЕРЗ, отражающая структуру и функции производственной системы. Определение уровней декомпозиции осуществляется в соответствии со сформированной схемой оптимального проектирования производственной системы. На основе построенных функциональных моделей формируется комплекс имитационных моделей, соответствующих различным предметно-ориентированным участкам производственной системы. При построении имитационных моделей производственная система формали-

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

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

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

f(x 1.....x„)->min. (20)

R"

При разработке оптимизационных процедур использован известный адаптивный подход, обеспечивающий более полную формализацию задачи (2) на основе ее эквивалентной рандомизированной переформулировки:

F(X) = М[ f(X)]~* min. (21)

{X}

Итерационные процедуры поиска оптимальных вариантов формируются в множестве случайных векторов { X} следующим образом:

XN+1=XN +unHn, (22)

где N - номер итерации; HN • направление поиска; aN - величина шага.

В работе рассматривается обобщенная итерационная схема, сформулированная в терминах математического ожидания:

M[XN^] = M[XN]+aNMxMu

{^/(UN)-cN\(XN-UN)W ш„]г

(23)

где ю„ - площадь поверхности единичной сферы в пространстве RXN,UN - случайные векторы; cN = const - уровень целевой функции; Ч'(-) - неубывающая функция, удовлетворяющая условиям: 4>(t)-t>О V/*0; 4Y0) = 0.

Итерационная процедура (23) является обобщенной схемой нелокального поиска и предполагает построение на ее основе различных алгоритмических структур. В частности, если ограничиться одной реализацией uN случайного вектора UN, в качестве реализации вектора XN выбрать математическое ожидание mN, а функцию 4Yt) определить в виде x¥(t) = sign(t), можно перейти к схеме, являющейся адаптивным расширением метода переменного многогранника Нелдера-Мида, в которой реализации случайных векторов рас-

сматриваются как вершины многогранника, а перестраиваемое математическое ожидание - как его центр тяжести:

т ~т

5Л//|со1

, где 5

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

т1^-иЫ, если ДиЫ) > Сдг и"-тЫ, если ЯиЫ)<> сы

(24)

Ввод начального приближения Х^ « (х^и установка параметров алгоритма. Л^=0, где Ы- номер итерации. 1

Получение А: реализаций случайного вектора : и^*, 1 = \,к. Каждая реализация и^

представляет собой л-меряый вектор и?** = (и^*и^'* Принтом и"'1 =

I

Вычисление значений целевой функции /(и^^), и их упорядочивание

/(и"'1 )й...й/(и"-к).

I

Определение уровня целевой функция од и разделение реализаций ва группы:

х"'1 .'/(х^^од - перспективныереализаций; г-ихколичество

')>с^ -неперспективныереализации,*«к -г-ихколичество

1

Вычисление математического ожидания т" по г перспективным реализациям:

= где у = 1-1 »•

1

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

1

Настройка шага поиска

. {"»Г. если _ гдг у >о < < 1в„Д если /(т )>сн

I

Корректировка списка реализаций. «■ .

I

1

Рис. 4. Алгоритмическая схема адаптивных поисковых процедур

17

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

1 * Ni , \/(«ы*ы>'2). если к нечетно

с„ =I I f(u ) или cw=j (f(uN,k/2)+f(uN,k/M))/z если ^ четно

Вероятности для определения математического ожидания (шаг 3) могут определяться по одной из следующих схем:

р?Л или Р? =\f(uNJ)-cN\/iy(uN'-i)-cN\, ¿ = ü. (25)

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

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

f(X) = f(AY) = ^Y)=i^(yi)^ min , (26)

/=1 ГеЯ"

т

где У = (у\,—.уп) - вектор новых переменных; А - матрица замены переменных, которая формируется на основе текущей информации и итерационно перестраивается при смене окрестности поиска:

^ЛГ+1 = ANRN+\ • (27)

В качестве корректирующей матрицы R используется оператор растяжения пространства Шора:

Rp(Q) = i + ( ß-lJG9r. (28)

При соответствующем выборе параметра ß и направления в воздействие оператора Шора (28) на текущее направление движения способствует его отталкиванию от предыдущих неперспективных направлений и ориентирует оптимизационный процесс в направлении вытянутости поверхностей уровня целевой функции, что позволяет учитывать текущую информацию, получаемую в процессе поиска. В работе рассмотрены способы последовательной корректировки оператора RПредставлены различные варианты модифицированных с использованием замены переменных алгоритмов нелокальной оптимизации, случайного поиска, покоординатного спуска.

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

f(X)-*min

Х = (хх.....х„), , j = l.....п, (29)

где целевая функция /(X) является действительнозначной функцией булевого аргумента X. Алгоритмизацию данной задачи предлагается осуществлять в 2 этапа. На первом этапе производится приближенная оценка решения с использованием рандомизированных оптимизационных процедур, а на втором - уточнение полученного решения на основе точных детерминированных методов.

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

х?+1 = + VIУ? , ]=1.....п. (30)

Здесь У^ - булева случайная величина, определяющая направление движения, и У - булева случайная величина, выполняющая роль шага поиска.

Построение алгоритмических схем основано на интерпретации движения (30) в вероятностных характеристиках случайных величин:

Р] =Яи.Р] + • ] = *.....(31)

где р? =Р(Х?=\), р^ =Р(и? =1;, ** =1 -р^, и? =Р(Г? =\).

В работе рассмотрены различные способы итерационной перестройки вероятностей р1 на основе текущей информации.

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

- однократное определение вероятностей Pj.j = 1.....п и получение начального приближения для использования последующих точных алгоритмов;

- последовательная итерационная настройка вероятностей Pj,j = I.....п с

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

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

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

Вычисление параметров Ри'Яи

X

Перестройка вероятности рк по схеме:

Фиксация переменных Xj

в окончательном решении для

установившихся значений р^

1, если р*1 ¿0.5

0, если р^ <0.5

не определено, если

Р} не установились

Вьшод приближенного результата X — (

Переход к детерминированным алгоритмическим схемам

Рис. 5. Обобщенный алгоритм псевдобулевой оптимизации

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

Агрегирование критериев оптимальности предлагается осуществлять на основе адаптивных рандомизированных процедур векторной оптимизации. На основании имеющегося набора локальных критериев /¡(X), / = 1,т неопределенность в задании обобщенного показателя отражается в рандомизации выбора отдельных целевых функций как возможного критерия оптимальности. При этом обобщенный показатель можно сформулировать в виде:

F(X) = Mv[fv(X)J = £ pJi (X) -> min , (32)

,=1 XeD

где V - случайная величина, значения которой 1,2.....т соответствуют номерам

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

= + H^)/(l + kN) i = 1.....m, (33)

где w^ и l" ■ параметры, определяемые при решении задачи в диалоге с ЛПР. Способы настройки параметров процедуры (33) представлены в таблице.

Информация ЛПР Способы настройки параметра

JV Настройка параметра и>,

1. Выделение ЛПР номера / наиболее существенного критерия w,w=l|Hrf=OVi = l,m, i*t

2. Упорядочивание всех критериев по значимости wf* = ат~' /'х'о' . <г>1. 7=0 где <Т - степень предпочтительности критериев

3. Отсутствие информации о предпочтениях ЛПР .м fj - нормирующий делитель.

м Настройка параметра Я : к» =ХЫ-1ехр(ЯЫ /Ы), где Л^ = 1, если на N-4 и ЛЧ-й итерациях в качестве главного показателя выбирался один и тот же критерий 1 и Л^ = —1 в противном случае.

При решении задач векторной оптимизации выделяются два основных этапа. Первый этап связан с адаптивной итерационной настройкой вероятностей р¡* на основании текущей информации и предпочтений ЛПР. Процесс

настройки вероятностей р? осуществляется до достижения установившихся значений р*. На втором уровне производится агрегирование локальных крите-

ш ф _ .

риев в обобщенный показатель Р(Х) = Т.Р1А(Х), где /¡(X)- нормирован-

/=1

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

Рис. 6. Алгоритмическая схема векторной оптимизации

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

Р8/ = «? / I . а? , (34)

7'е/,

I РГ. ¡£¡2 , (35)

где , р^ - вероятности привлечения к оптимизационному процессу ограничений-неравенств и ограничений-равенств; ¡^, - множества индексов ограничений-неравенств и ограничений-равенств, нарушенных на данном шаге; gj (X), И?(X) - левые части соответствующих ограничений; gj, к? -нормирующие делители. На последующем этапе в задачу включаются ограничения, удовлетворяющие условиям: ру^ >рг, р^ £рН, где и / - предельные значения вероятностей, задаваемые пользователем. Ограничения, которые на данном этапе не были нарушены, временно выводятся из задачи.

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

Р(Х) = /(Х)+ук-( I р^ (тт{0;8/Х)})2+ £ р^-(Ь(Х ))2 ), (36)

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

Сокращение пространства варьируемых параметров в построенной задаче безусловной оптимизации осуществляется на основе разделения переменных. При этом вектор X =(х1,...,х„) структурируется следующим образом: X = (>$,ХР), где Х5=(хя\.....хг„^) - вектор существенных параметров, варьируемый при решении задачи; ХР = (хД.....х/„^ ) - вектор второстепенных параметров, который фиксируется на данном шаге оптимизационного процесса.

Для выделения существенных параметров оптимизационной модели использован подход, основанный на исследовании чувствительности критерия оптимальности Р(Х) к изменению варьируемых параметров дг| в различных точках поиска с использованием коэффициентов чувствительности

=|д/^7дг;/дх7|, / = 1.....п, (37)

где ДР?(Х) = Р(х».....х^ +Ах?.....хЦ)-Р(х\ .....х?.....х»).

При этом Ху относится к группе существенных, если коэффициент 8у'

превышает минимально возможное значение 8, задаваемое пользователем. Коэффициент 6 может корректироваться в ходе оптимизационного процесса.

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

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

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

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

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

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

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

— Процедуры непрерывной оптимизации

Модули, реализующие рандомизированные алгоритмы поисковой оптимизации

Стандартные и модифицированные процедуры покоординатной оптимизации

Процедуры случайного поиска

Модули перестройки вероятностных характеристик случайных величин

Модули обработки текущей информации

Процедуры настройки параметров

Модули прогнозирования глобального оптимума

— Процедуры дискретной оптимизации

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

— Непрерывно-дискретная оптимизация

Модули комплексирования непрерывных и дискретных процедур

Рис. 7. Организация библиотеки оптимизационных процедур

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

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

Внешние модули структурируются по группам в соответствии с функциональным назначением: = .....}, £>' =0 V/, у, где А - количество

групп внешних модулей, внутри каждой из которых выделяются альтернативные модули, выбираемые в зависимости от задачи: ()* = .....ч1 } , у' = 1Д.

Структуризация модулей безусловной оптимизации осуществляется в соответствии с классами алгоритмов, формируемых при их комплексировании: С = /б'.....й1}, где I - количество соответствующих классов. При этом возможны пересечения модулей различных классов: й' п С-'

Рассмотрим модульную организацию алгоритмов у-го класса. Совокупность модулей можно разделить на две группы: (7^ = {В* }, где В1-базовые модули, включение которых в алгоритмическую схему является обязательным; - вспомогательные модули, обеспечивающие дополнительную обработку текущей информации и подключаемые к алгоритмическим схемам по мере необходимости.

Базовые модули реализуют основные шаги обобщенной вычислительной схемы алгоритмов у-го класса и структурируются следующим образом:

В1 = {В^ }, где N ^ - число шагов обобщенной вычислительной схемы

алгоритмов у-го класса; В] = i = \,Nj - совокупность альтерна-

тивных взаимозаменяемых модулей реализующих 1-й шаг обоб-

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

Рассмотрим множество задач оптимального проектирования производственных систем 5 = }. Каждой оптимизационной задаче Б^ соответствует имитационная модель Я* проектируемой подсистемы и оптимизационная модель 2При этом каждая оптимизационная модель характеризуется тройкой вида:

<Хк.Рк(Хк),Ок>, где Хк к) • вектор варьируемых параметров; Ик - допустимая об-

ласть, представленная совокупностью прямых и функциональных ограничений; Рк(Хк)=(/к(Хк)...../щ(Хк)) - частные критерии оптимальности.

Пусть А = {А1.....А„л } - совокупность алгоритмов для решения поставленных задач. В общем случае алгоритм оптимального выбора Ау, связывающий следующие друг за другом решения

Хк-Ы+х=Ак(Хк-ы,Хк*'х.....Хк,° ),

имеет структуру №=<МЛк,УАк > и параметры САк = (сАк.....сАк ) и может

бьгть определен в виде:

Ак =<МАк,ЧАк,САк >, где МАк - совокупность модулей, включенных в алгоритм Ак; Ч1^* с Ч'-схема сборки модулей, соответствующая алгоритму Ак.

Введем показатель эффективности К = решения задачи 5,- ал-

горитмом А у. Тогда выбор наилучшего алгоритма сводится к решению задачи адаптации оптимизационного процесса:

К(81,А)-> ех/г , ЛеПА

где - множество алгоритмов, приемлемых для решения задачи 5, .

Задача компонентно-модульного синтеза алгоритмических схем при оптимальном проектировании может быть обобщенно сформулирована в виде:

где 2 = {2\.....2пг } - множество формализованных постановок оптимизационных задач; = .....} - множество возможных алгоритмов их решения,

представляющих собой различные схемы комплексирования модулей; К = {К\.....К„к } - показатели эффективности решения оптимизационных задач

(скорость сходимости, оценка точности результата; количество вычислений значений целевой функции для получения результата с заданной точностью и т.д.); Р = {Р\,...,Рпр} - совокупность признаков, характеризующих оптимизационные задачи (размерность аргумента; количество критериев и ограничений; типы параметров; структурные особенности модели; качество начального приближения; требования к сходимости и т.д.); Ь = .....1П1}- набор критериев и условий применимости алгоритмических модулей и схем их сборки, которые формируются по результатам решения тестовых и практических задач оптимизации в зависимости от характеристик решаемых задач; Т = {Т\.....Тщ.}

- совокупность стратегий организации оптимизационного процесса.

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

Рис. 8. Схема функционирования интеллектуальных процедур

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

\У =<\У™Р,IVои' >,

где №тр ={ц>'."р.....и>'"р } - множество входных объектов, представляющих

1 Щпр

собой поименованные признаки задач оптимального проектирования; Г"'' = Кв,....У,и' } - множество выходных объектов, которые используются

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

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

(j) ЕСЛИ anteej ТО conseqj CFj =cff, где anteej - антецедент j- й продукции, который является конъюнкцией элементарных посылок: anteej эяу| И aj2 И ... И aJSj ; conseqj - консеквент j-й продукции, представляющий собой элементарное следствие bj, выполняемое в случае истинности антецедента antee¡ и заключающееся в формировании очередного варианта синтеза; CFj е[0;1] - степень истинности правила, определяемая на этапе формирования базы знаний. Элементарные посылки ajq, q = l,sj и следствия bj являются дизъюнкцией фактов предметной области fjg, представленных в виде "объект -значение":

W; . = V\а ИЛИ W,. = VИЛИ ... , ijq J4 Ijq J4 '

где ijq - индекс объекта, входящего в q - ю элементарную посылку j-й продукции; vjq - значение данного объекта. При вводе í-го факта пользователь

оценивает его истинность с помощью коэффициента определенности cf[.

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

cfconsj = (min(max( R( fjg ) • cfjq )))-c/f, (38)

где cf? - коэффициент определенности j-й продукции, устанавливаемый при формировании базы знаний; R(fjq) - значение истинности /-го факта, входящего в q - ю элементарную посылку j -й продукции; c/j? - его коэффициент определенности, вводимый пользователем. Оценка истинности фактов R(fjq) производится на основе сравнения значения входного объекта w¡, введенного пользователем, и значения объекта w¡ , входящего в q - ю элементарную посылку j -й продукции. При этом R( f)q) = \, если значения равны, и R(fjq)=0 в

противном случае. Признаком выполнения продукции является выполнение условия: cfcons. £ 71, где п - пороговое значение.

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

29

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

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

Структура программного комплекса представлена на рис. 9.

Рис. 9. Структурная схема программного комплекса 30

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

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

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Публикации в изданиях, рекомендованных ВАК РФ

1. Белецкая С.Ю. Технология оптимального проектирования развивающихся производственных систем / С.Ю. Белецкая, Н.В. Боковая // Системы управления и информационные технологии: научно-технический журнал. 2008. №2.2 (32). С. 223-226.

2. Белецкая С.Ю. Алгоритмическая схема решения задач модернизации и развития производства / С.Ю. Белецкая, Н.В. Боковая // Вестник Воронежского государственного технического университета. 2008. Т.4. №11. С. 144-146.

3. Боковая Н.В. Моделирование производственных систем на основе интеграции CASE-средств и имитационных процедур / Н.В. Боковая // Программные продукты и системы: научно-технический журнал. 2008. №3. С. 43-45.

4. Белецкая С.Ю. Математические модели оптимального проектирования механических цехов / С.Ю. Белецкая, Н.В. Боковая, Ю.В. Минаева // Вестник Воронежского государственного технического университета. 2008. Т.4. №12. С. 68-69.

5. Боковая Н.В. Исследование факторного влияния на развитие предприятий / Н.В. Боковая // Организатор производства: теоретический и научно-практический журнал. 2009. №1. С. 32-35.

6. Белецкая С.Ю. Взаимосвязь процедур анализа и оптимального выбора при проектировании производственных систем / С.Ю. Белецкая, Н.В. Боковая И Вестник Воронежского государственного технического университета. 2009. Т.5. № 10. С. 225-227.

7. Белецкая С.Ю. Организация современных диалоговых систем оптимального проектирования / С.Ю. Белецкая, Н.В. Боковая // Вестник Воронежского государственного технического университета. 2009. Т.5. № 10. С. 234-237.

В. Боковая Н.В. Алгоритмизация многокритериальных задач оптимального проектирования на основе вероятностного подхода / Н.В. Боковая // Системы управления и информационные технологии: научно-технический журнал. 2009. №3.2 (37). С. 217-220.

9. Белецкая С.Ю. Интеллектуализация построения алгоритмических схем оптимального проектирования сложных систем / С.Ю. Белецкая, Н.В. Боковая // Вестник Воронежского государственного технического университета- 2009. Т.5. № 12. С. 27-29.

10. Боковая Н.В. Программный комплекс поддержки принятия решений при оптимизации производственно-сбытового процесса / Н.В. Боковая // Программные продукты и системы: научно-технический журнал. 2010. №2. С. 132-134.

11. Белецкая С.Ю. Математическая модель выбора состава оборудования при проектировании производственных цехов / С.Ю. Белецкая, Н.В. Боковая, Ю.В. Минаева // Вестник Воронежского государственного технического университета. 2010. Т.6. № 1. С. 41-42.

12. Белецкая С.Ю. Компонентная организация адаптивной среды поиска оптимальных проектных решений / С.Ю. Белецкая, Н.В. Боковая // Вестник Воронежского государственного технического университета. 2010. Т.6. № 5. С. 7-10.

13. Боковая Н.В. Адаптивные схемы агрегирования критериев в задачах векторной оптимизации / Н.В. Боковая // Вестник Воронежского института МВД России. 2010. № 2. С. 200-206.

Книги

14. Белецкая С.Ю. Модели и методы оптимального проектирования развивающихся производственных систем: монография / С.Ю. Белецкая, Н.В. Боковая. Воронеж: ВГТУ, 2009.186 с.

15. Белецкая С.Ю. Анализ и синтез стохастических технологических систем: монография / С.Ю. Белецкая, Н.В. Боковая, Д.Б. Десятое. Воронеж: Научная книга, 2010. 236 с.

16. Боковая Н.В. Информатика: учеб. пособие / Н.В. Боковая, Т.О. Толстых. Воронеж: Центрально-Черноземное книжное издательство, 2002. 200 с.

17. Базы данных: учеб. пособие / Н.В. Боковая, Ю.В. Небренчина, Т.А. Некравцева, Т.О. Толстых. Воронеж: Институт менеджмента, маркетинга и финансов, 2002. 140 с.

18. Боковая Н.В. Методы исследования социально-экономических систем и оценки рисков: учеб. пособие / Н.В. Боковая, А.У. Панин, В.А. Синюкова. Воронеж: ООО "Глав-реклама", 2009. 226 с.

Статьи и материалы конференций

19. Львович Я.Е. Системное обоснование выбора структуры ГПС / Я.Е. Львович, Н.В. Гунина, Т.О. Толстых // Совершенствование организации промышленного производства в новых условиях: межвуз. сб. науч. тр. Воронеж: ВПИ, 1989. С. 32-36.

20. Гунина Н.В. Структура математического обеспечения оптимального проектирования технических систем с оборудованием многоцелевого назначения / Н.В. Гунина, Я.Е. Львович // Алгоритмы моделирования и оптимизации автоматизированных систем: меясвуз. сб. науч. тр. Воронеж: ВПИ, 1990. С. 9-15.

33

21. Львович Я.Е. Использование E-сети для анализа функционирования гибкого автоматизированного модуля монтажа кристаллов / Я.Е. Львович, Н.В. Гунина, Т.О. Толстых // Автоматизированное проектирование в радиоэлектронике и приборостроении: сб. науч. тр. Л.: ЛЭТИ, 1991. С.44-50.

22. Гунина Н.В. Особенности информационного обеспечения формирования структуры систем с оборудованием многоцелевого назначения / Н.В. Гунина // САПР-92. Новые информационные технологии в науке, образовании и бизнесе: материалы Междунар. конф. и школы молодых ученых и специалистов. Воронеж: ВПИ, 1992. С. 213-214.

23. Гунина Н.В. Организация информационной базы данных САПР СОМН / Н.В. Гунина, Я.Е. Львович // Оптимальное проектирование технических устройств и автоматизированных систем: материалы Российского совещания-семинара. Воронеж: ВПИ, 1992. С. 63.

24. Гунина Н.В. Разработка моделей и алгоритмов систем с оборудованием многоцелевого назначения / Н.В. Гунина // Математическое моделирование: межвуз. сб. науч. тр. Воронеж: ВГТА, 1997. Вып.2. С. 89-97.

25. Боковая Н.В. Сфера функционирования системы управления производственными процессами / Н.В. Боковая, В.А. Степанцов, Т.О. Толстых // Инновационные технологии и управление в технических и социальных системах: материалы науч.-практ. конф. Воронеж: ВГТУ, 1999. С. 92-93.

26. Боковая Н.В. Особенности построения модели прогнозирования потенциала отрасли / Н.В. Боковая II Проблемы и перспективы развития регионов и предприятий в условиях ВТО: сб. науч. тр. Уфа: УИ РГГЭУ, 2007. С. 296-298.

27. Богомолова И.П. Факторы и направления адаптивного развития корпораций / И.П. Богомолова, Н.В. Боковая // Вестник РГТЭУ: научный журнал. 2008. №5(26). С. 35-44.

28. Белецкая С.Ю. Формирование математической модели оптимального технического переоснащения производства / С.Ю. Белецкая, Н.В. Боковая И Оптимизация и моделирование в автоматизированных системах: межвуз. сб. науч. тр. Воронеж: ВГТУ, 2008. С. 67-70.

29. Белецкая С.Ю. Декомпозиционные процедуры оптимального проектирования сложных производственных систем / С.Ю. Белецкая, Н.В. Боковая // Оптимизация и моделирование в автоматизированных системах: межвуз. сб. науч. тр. Воронеж: ВГТУ, 2008. С. 105-108.

30. Боковая Н.В. Задачи стратегического планирования отрасли на современном этапе / Н.В. Боковая // Социально- экономическое развитие современного общества в условиях реформ: материалы Междунар. науч.-практ. конф. Саратов: Изд-во "Научная книга", 2008.4.1. С. 93-95.

31. Белецкая С.Ю. Математическая модель оптимальной компоновки оборудования производственной системы / С.Ю. Белецкая, Н.В. Боковая, Ю.В. Минаева // Прикладные задачи моделирования и оптимизации: межвуз. сб. науч. тр. Воронеж: ВГТУ, 2008. С. 2023.

32. Боковая Н.В. Классификация моделей оптимизации производственных систем / Н.В. Боковая, С.Ю. Белецкая // Интеллектуальные информационные системы: труды Всерос. конф. Воронеж: ВГТУ, 2008. С. 212-213.

33. Боковая Н.В. Основные функции информационной системы промышленного предприятия / Н.В. Боковая // Интеллектуальные информационные системы: труды Всерос. конф. Воронеж: ВГТУ, 2008. С. 190-191.

34. Белецкая С.Ю. Проектирование развивающихся производственных систем на

основе оптимизационно-имитационного подхода / С.Ю. Белецкая, Н.В. Боковая, В.Н. Кострова // Системные проблемы надежности, качества, информационно-телекоммуникационных и электронных технологий в управлении инновационными проектами (Инноватика-2008): сб. тр. Междунар. конф. М„ 2008. 4.4. С. 211-215.

35. Боковая Н.В. Интеграция процедур имитационного моделирования и оптимизации при проектировании производственных систем / Н.В. Боковая // Исследование, разработка и применение высоких технологий в промышленности: сб. трудов VI Междунар. науч.-практ. конф. Спб., 2008. С.7-9.

36. Белецкая С.Ю. Математическая модель оптимизации парка технологического оборудования / С.Ю. Белецкая, Н.В. Боковая, Ю.В. Минаева // Интеллектуализация управления в социальных и экономических системах: труды Всерос. конф. Воронеж: ВГТУ, 2009. С. 11-14.

37. Белецкая С.Ю. Формирование оптимальной производственной программы предприятия / С.Ю. Белецкая, Н.В. Боковая, Ю.В. Минаева // Интеллектуализация управления в социальных и экономических системах: труды Всерос. конф. Воронеж: ВГТУ, 2009. С. 52-53.

38. Белецкая С.Ю. Применение многометодных поисковых процедур при решении задач автоматизированного проектирования / С.Ю. Белецкая, Н.В. Боковая, Ю.В. Минаева // Оптимизация и моделирование в автоматизированных системах: межвуз. сб. науч. тр. Воронеж, 2009. С. 256-259.

39. Боковая Н.В. Принципы алгоритмизации задач оптимального проектирования сложных производственных систем / Н.В. Боковая, С.Ю. Белецкая // Оптимизация и моделирование в автоматизированных системах: межвуз. сб. науч. тр. Воронеж, 2009. С. 105-112.

40. Белецкая С.Ю. Решение задач структурного синтеза сложных систем на основе модифицированной схемы ветвей и границ / С.Ю. Белецкая, Н.В. Боковая // Прикладные задачи моделирования и оптимизации: межвуз. сб. науч. тр. Воронеж: ВГТУ, 2009. С. 16-21.

41. Белецкая С.Ю. Структурно-параметрический синтез развивающихся производственных систем / С.Ю. Белецкая, Н.В. Боковая // Прикладные задачи моделирования и оптимизации: межвуз. сб. науч. тр. Воронеж: ВГТУ, 2009. С. 389-396.

42. Боковая Н.В. Основные направления модернизации и развития производственных систем / Н.В. Боковая, С.Ю. Белецкая // Управление в социальных и экономических системах: межвуз. сб. науч. тр. Воронеж, 2009. С. 51-54.

43. Боковая Н.В. Математическая модель построения производственной программы предприятия / Н.В. Боковая, С.Ю. Белецкая // Управление в социальных и экономических системах: межвуз. сб. науч. тр. Воронеж, 2009. С. 422-425.

44. Боковая Н.В. Математическая модель оптимального выбора варианта модернизации производственной системы / Н.В. Боковая, С.Ю. Белецкая // Системные проблемы надежности, качества, информационно-телекоммуникационных и электронных технологий в управлении инновационными проектами (Инноватика-2009): сб. тр. Междунар. конф. М., 2009. 4.4. С. 81-85.

45. Боковая Н.В. Модели проектирования производственных участков с оборудованием многоцелевого назначения / Н.В. Боковая, С.Ю. Белецкая // Прикладные задачи моделирования и оптимизации: межвуз. сб. науч. тр. - Воронеж: ВГТУ, 2009. С. 301304.

46. Белецкая С.Ю. Организация интеллектуальной многометодной среды оптимального проектирования производственных систем / С.Ю. Белецкая, Н.В. Боковая //

Оптимизация и моделирование в автоматизированных системах: межвуз. сб. науч. тр. Воронеж, 2009. С. 11-15.

47. Белецкая С.Ю. Модель оптимального производственного планирования / С.Ю. Белецкая, Н.В. Боковая, Ю.В. Минаева // Прикладные задачи моделирования и оптимизации: межвуз. сб. науч. тр. Воронеж: ВГТУ, 2009. С. 102-105.

48. Белецкая С.Ю. Преобразование оптимизационных моделей при проектировании производственных систем / С.Ю. Белецкая, Н.В. Боковая. // Материалы и упрочняющие технологии: сб. материалов XVI Рос. науч.-техн. конф. с междунар. участием. Курск: Курск, гос. техн. уи-т, 2009. 4.2. С. 109-116.

49. Боковая Н.В. Математические модели параметрической оптимизации производственных систем / Н.В. Боковая II Материалы и упрочняющие технологии: сб. материалов XVI Рос. науч.-техн. конф. с междунар. участием. Курск: Курск, гос. техн. ун-т, 2009. 4.2. С. 117-122.

50. Боковая Н.В. Повышение эффективности функционирования промышленного предприятия на базе современных ERP-систем / Н.В. Боковая // Научные исследования в области транспортных, авиационных и космических систем: труды X Всерос. науч.-техн. конф. Воронеж, 2009. С. 500-504.

51. Боковая Н.В. Интеллектуализация поиска оптимальных проектных решений на основе многометодного подхода / Н.В. Боковая, С.Ю. Белецкая // Математические методы в технике и технологиях: ММТТ-22: сб. трудов XXII Междунар. науч. конф. Псков: Изд-во Псков, гос. политех, ин-та, 2009. Т.6. С. 29-31.

52. Белецкая С.Ю. Использование элементов теории управления при моделировании экономических систем / С.Ю. Белецкая, О.Г. Яскевич, Н.В. Боковая // Моделирование систем и информационные технологии: межвуз. сб. науч. тр. Воронеж: Научная книга, 2010. С. 25-28.

53. Белецкая С.Ю. Интеллектуализация поиска оптимальных решений при проектировании производственных систем / С.Ю. Белецкая, Н.В. Боковая, О.Г. Яскевич // Моделирование систем и информационные технологии: межвуз. сб. науч. тр. Воронеж: Научная книга, 2010. С. 21-24.

54. Боковая Н.В. Построение рандомизированных процедур оптимального проектирования производственных систем / Н.В. Боковая, С.Ю. Белецкая // Интеллектуальные информационные системы: труды Всерос. конф. Воронеж: ВГТУ, 2010. С. 20-21.

55. Белецкая С.Ю. Организация программного обеспечения анализа и синтеза сложных производственных систем / С.Ю. Белецкая, Н.В. Боковая // Интеллектуализация управления в социальных и экономических системах: труды Всерос. конф. Воронеж: ВГГУ, 2010. С. 33-34.

56. Боковая Н.В. Сокращение размерности оптимизационных задач при проектировании производственных систем / Н.В. Боковая // Интеллектуальные информационные системы: труды Всерос. конф. Воронеж: ВГТУ, 2010. С. 6-7.

Подписано в печать 08.07.2010. Формат 60x84/16. Бумага для множительных аппаратов. Усл. печ. л. 2,0. Тираж 90 экз. Заказ Ка^^

ГОУ ВПО «Воронежский государственный технический университет» 394026 Воронеж, Московский просп., 14

Оглавление автор диссертации — доктора технических наук Боковая, Нэлли Викторовна

ВВЕДЕНИЕ

1. НАПРАВЛЕНИЯ ПОВЫШЕНИЯ ЭФФЕКТИВНОСТИ ПРОЦЕССОВ ПРИНЯТИЯ РЕШЕНИЙ ПРИ ПРОЕКТИРОВАНИИ ПРОИЗВОДСТВЕННЫХ СИСТЕМ

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

1.2. Алгоритмизация задач анализа и синтеза стохастических-производственных систем

1.3. Принципы формирования адаптивной многометодной среды поиска оптимальных проектных решений

1.4. Цель и задачи исследования

2. ТЕХНОЛОГИЯ ОПТИМАЛЬНОГО ПРОЕКТИРОВАНИЯ ПЕРЕСТРАИВАЕМЫХ ИЕРАРХИЧЕСКИХ ПРОИЗВОДСТВЕННЫХ СИСТЕМ 62'

2.1. Итеративные схемы поиска оптимальных вариантов модернизации и перестройки производственных систем

2.2. Декомпозиционный подход к проектированию иерархических производственных систем

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

Введение 2010 год, диссертация по информатике, вычислительной технике и управлению, Боковая, Нэлли Викторовна

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

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

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

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

Работа выполнена в соответствии с научным направлением ГОУ ВПО «Воронежский государственный технический университет» «САПР и системы автоматизации производства», а также ГБ НИР 07.04 «Оптимизация и моделирование сложных систем», ГБ НИР 10.19. «Интеллектуализация принятия решений в автоматизированных системах».

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

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

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

Научная новизна результатов исследования. В диссертации получены следующие основные результаты, характеризующиеся научной новизной: методология и структурно-функциональные схемы оптимального проектирования сложных перестраиваемых производственных систем, основанные на интеграции моделирующих процедур и адаптивной среды рационального выбора проектных вариантов и обеспечивающие согласованное принятие решений на различных уровнях иерархии производства; комплекс математических моделей структурного и параметрического синтеза производственных систем, отличающихся итеративным использованием имитационного моделирования в контуре принятия решений и позволяющих определять проектные варианты перестройки производства с учетом его динамического и стохастического характера; вероятностные и детерминированные адаптивные методы параметрической оптимизации производственных систем, позволяющие на основе совмещения процесса более полной формализации задачи с ее решением учесть особенности проектируемого объекта при неполноте его априорного математического описания; алгоритмы структурного синтеза производственных систем, основанные на сочетании рандомизированных процедур псевдобулевой оптимизации и модифицированных вариантов схемы ветвей и границ, что позволяет формировать стратегии направленного перебора проектных решений в задачах, описываемых сложными алгоритмическими моделями; адаптивные процедуры трансформации оптимизационных моделей в процессе проектирования, обеспечивающие преобразование решаемых задач, сокращение их размерности и приведение к типовым постановкам на основе анализа априорной и текущей информации; технология моделирования иерархических производственных систем, основанная на совместном использовании СА8Е-средств и имитационных процедур и позволяющая рассматривать в комплексе структуру, функции и динамику системы, а также производить ее анализ с различной степенью детализации;' методика формирования- многометодной поисковой среды оптимального проектирования производственных систем, отличающаяся выделением инвариантных структурных составляющих алгоритмического обеспечения и наличием интеллектуальных средств их комплексирования, что позволяет осуществлять компонентно-модульный синтез адаптивных схем поиска проектных вариантов в соответствии с особенностями решаемых задач; структура и программное обеспечение1 системы поддержки принятия проектных решений, позволяющие на основе интеграции средств функционального, имитационного моделирования и оптимального выбора решать труднофор-мализуемые задачи проектирования стохастических производственных систем.

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

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

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

Результаты работы внедрены на следующих промышленных предприятиях: ФГУП «Воронежский механический завод» - филиал ФГУП «ГКНПЦ им. М.В. Хруничева», ЗАО «УГМК - Рудгормаш» (г. Воронеж), ОАО «Рефлектор» (г. Саратов), ОАО «Прибор» ОКБ «Авиаавтоматика» (г. Курск), ОАО «Корпорация НПО РИФ» (г. Воронеж). Результаты исследования используются также в учебном процессе кафедры систем автоматизированного проектирования и информационных систем ГОУ ВПО «Воронежский государственный технический университет» и кафедры информационных систем и технологий АНОО ВПО «Воронежский институт высоких технологий» при обучении студентов специальностей 230104 «Системы автоматизированного проектирования» и 230201 «Информационные системы и технологии».

Апробация работы. Основные положения диссертационной работы докладывались и обсуждались на Всесоюзном совещании-семинаре "Разработка и оптимизация САПР и ГАП изделий электронной техники на базе высокопроизводительных мини- и микро- ЭВМ" (Воронеж, 1989); IX Всесоюзном симпозиуме "Эффективность, качество и надежность систем "Человек-техника"" (Воронеж, 1990); Международной конференции молодых ученых и специалистов "САПР-92. Новые технологии в науке, образовании и бизнесе" (Воронеж, 1992); Российском совещании-семинаре "Оптимальное проектирование технических устройств и автоматизированных систем" (Воронеж, 1992); Всероссийском совещании-семинаре "Математическое обеспечение высоких технологий в технике, образовании и медицине" (Воронеж, 1994, 1997); Всероссийском совещании-семинаре "Высокие технологии в региональной информатике" (Воронеж, 1998), Международной научно-практической конференции "Социально-экономическое, развитие современного общества в условиях реформ" (Саратов, 2007); Всероссийском совещании-семинаре "Интеллектуальные информационные системы" (Воронеж, 2008-2010); Всероссийской конференции "Интеллектуализация управления в социальных и экономических системах" (Воронеж, 2008-2010); VI Международной научно-практической конференции "Исследование, разработка и применение высоких технологий в. промышленности" (Санкт-Петербург, 2008); Международных конференциях "Системные проблемы надежности, качества, информационно-телекоммуникационных и электронных технологий в управлении инновационными проектами" (Москва-Воронеж-Сочи, 2008, 2009); XVI Всероссийской научно-технической конференции "Материалы и упрочняющие технологии" (Курск, 2009); X Всероссийской научно-технической конференции "Научные исследования1 в области транспортных, авиационных и космических систем" (Воронеж, 2009); XXII Международной научной конференции "Математические методы в технике и технологиях: ММТТ-22" (Псков, 2009): научно-методических семинарах кафедры систем автоматизированного проектирования и информационных систем ГОУ ВПО «Воронежский государственный технический университет» (2005-2010).

Публикации. По теме диссертации опубликовано 56 научных работ, в том числе 13 - в изданиях, рекомендованных ВАК РФ и 2 монографии.

В работах, опубликованных в соавторстве и приведенных в конце автореферата, лично соискателю принадлежат: иерархические схемы оптимального проектирования производственных систем [1,2,27,29,39,41,42]; оптимизационные модели и процедуры параметрического и структурного синтеза производственных систем [4,11,14,15,18,28,31,32,36,37,40,43,44,45,47,48,54]; технология моделирования производственной системы [21,52]; библиотека модулей оптимального проектирования [12,46]; многометодные стратегии и интеллектуальные процедуры поиска проектных решений [7,9,38,51,53]; схемы интегрированного взаимодействия^' оптимизационных и имитационных процедур при проектировании производственных систем; [6,34]; структура и программное, обеспечение подсистемы оптимального проектирования [16;17,19^20^23;25^55].

Структура: и объем работы. Диссертация; состоит из введения,. шести глав, заключения, приложений и списка литературы из 219 наименований. Основная часть работы изложена на: 272 страницах и содержит 49 рисунков иг 5 таблиц;

Заключение диссертация на тему "Оптимизация проектирования перестраиваемых производственных систем на основе адаптивных методов анализа и синтеза проектных решений"

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

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

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

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

4. Создан комплекс математических моделей'для'согласования и-оптимизации материальных потоков, как в< пределах проектируемой производственной системы, так и при ее взаимодействии с внешней средой.

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

6. Построены адаптивные процедуры агрегирования показателей качества в многокритериальных моделях принятия решений; предложены различные способы настройки весовых коэффициентов показателей и стратегии организации оптимизационного процесса в зависимости от информации ЛИР.

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

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

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

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

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

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

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

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

ЗАКЛЮЧЕНИЕ

Библиография Боковая, Нэлли Викторовна, диссертация по теме Системы автоматизации проектирования (по отраслям)

1. Айзерман М.А., Вольский В.И., Литваков Б.М. Элементы теории выбора. Псевдокритерии и псевдокритериальный выбор. М.: Наука, 1994. 293 с.

2. Алексеев A.B., Борисов А.Н: Интеллектуальные системы принятия проектных решений. Рига: Зинатне, 1997. 320 с.

3. Амамия А., Жакото Д. Архитектура ЭВМ и искусственный интеллект. М.: Мир, 1993.240 с.

4. Амосов,A.A. Вычислительные методы для инженеров. М.: Изд-во МЭИ, 2004. 596 с.

5. Анализ структуры задач оптимизации / В. Шалтянис; Ин-т матем. и ки-берн. АН Лит. ССР. Вильнюс: Москлас, 1989. 123 с.

6. Анохин A.M., Глотов В.А., Павельев В.В. Методы определения коэффициентов важности критериев // Автоматика и телемеханика, 1997. № 8. С. 3-35.

7. Антюфеев Г.В., Елтаренко Е.А. Технология оценки объектов по многим критериям с расчетом ошибок результатов // Информационные технологии, 2002. № 3. С. 49-55.

8. Афанасьев В.Н., Постников А.И. Информационные технологии в управлении предприятием. М.: МГИЭМ, 2003. 143 с.

9. Багриновский К.А., Бендинов М.А., Хрусталев Е.Ю. Современные методы управления технологическим развитием. М.: РОССПЭН, 2001. 272 с.

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

11. Балашов В.Г., Ильдеменов C.B., Ириков В.А. и др. Реформирование и реструктуризация предприятий. М.: Изд-во "ПРИОР", 1998. 347 с.

12. Банди Б. Методы оптимизации: Пер. с англ. М.: Радио и связь, 1988.128 с.

13. Барон Ю.Л., Григорян А.К., Кутанов А.Т., Юдицкий С.А. Формализованное описание структуры и поведения иерархических систем с вложением // Автоматика и телемеханика, 1997. №6. С. 209-215.

14. Барский А.Б. Параллельные технологии решения оптимизационных задач // Приложение к №2 журнала "Информационные технологии", 2001. 24 с.

15. Батищев Д.И., Львович Я.Е., Фролов В.Н. Оптимизация в САПР. Воронеж: Издательство ВГТУ, 1997. 416 с.

16. Белецкая С.Ю., Боковая Н.В. Компонентная организация адаптивной среды поиска оптимальных проектных решений // Вестник Воронежского государственного технического университета, 2010. Т.6. № 5. С. 7-10.

17. Белецкая С.Ю., Боковая Н.В. Модели и методы оптимального проектирования развивающихся производственных систем: монография. Воронеж: ВГТУ, 2009. 186 с.

18. Белецкая С.Ю., Боковая Н.В. Технология оптимального проектирования развивающихся производственных систем // Системы управления и информационные технологии, 2008. №2.2 (32). С. 223-226 .

19. Белецкая С.Ю., Боковая Н.В., Десятов Д.Б. Анализ и синтез стохастических технологических систем . Воронеж: Научная книга, 2010. 236 с.

20. Белкин А.Р., Левин М.Ш. Принятие решений: комбинаторные модели аппроксимации информации. М.: Наука, 1990. 160 с.

21. Белышев Д.В., Гурман В.И. Интеллектуальные процедуры оптимального управления // Автоматика и телемеханика, 2002. №5. С. 147-155.

22. Белышев Д.В., Гурман В.И. Программный комплекс многометодных интеллектуальных процедур оптимального управления // Автоматика и телемеханика, 2003. №6. С.60-67.

23. Бенькович Е.С. Практическое моделирование динамических систем. СПб: ВНУ, 2002. 520 с.

24. Бережная Е.В. Математические методы моделирования экономических систем. М.: Финансы и статистика, 2001. 368 с.

25. Бертсекас Д. Условная оптимизация* и< метод множителей Лагранжа: Пер. с англ. М.: Радио и связь, 1987. 400 с.

26. Бетелин В.Б. О технологии программирования в инвариантных модулях //Вопросы кибернетики, 1989. №146. С. 3-11.

27. Боковая Н.В Адаптивные схемы агрегирования критериев в задачах векторной оптимизации // Вестник Воронежского института МВД России, 2010. № 2. С. 200-206.

28. Боковая Н.В. Исследование факторного влияния на развитие предприятий// Организатор производства, 2009. №1. С. 32-35.

29. Боковая Н.В. Моделирование производственных систем на основе интеграции САБЕ-средств и имитационных процедур // Программные продукты и системы, 2008. №3. С. 43-45.

30. Боковая Н.В. Программный комплекс поддержки принятия решений при оптимизации производственно-сбытового процесса // Программные продукты и системы, 2010. №2. С. 132-134.

31. Боковая Н.В. Сокращение размерности оптимизационных задач при проектировании производственных систем // Интеллектуальные информационные системы: труды Всерос. конф. Воронеж: ВГТУ, 2010. С. 6-7.

32. Боковая Н.В., Панин А.У. Методы исследования социально-экономических систем и оценки рисков. Воронеж: "Главреклама", 2009. 226 с.

33. Борисов А.Н., Алексеев A.B., Крумберг O.A. Модели принятия.решений на основе лингвистической переменной. Рига: Зинатне, 1982. 256 с.

34. Бритков В.Б., Никитов Д.С. Структуризация функциональных характеристик программных средств в задачах поддержки^ принятия решений: Mi: Институт системного анализа РАН, 1999. 340 с.

35. Брусиловский A.M., Островский Г.М. Об одном декомпозиционном методе оптимизации сложных систем // Техн. кибернетика, 1978. №3. С. 17-23.

36. Бугаев Ю.В. Экстраполяция экспертных оценок в оптимизации технологических систем // Известия АН. Теория и системы управления, 2003. №3. С. 90-96.

37. Бурков В.Н., Багатурова О.С. Оптимизация обменных производственных схем в условиях нестабильной экономики. М.: ИЛУ РАН, 1996. 48 с.

38. Бурков В.Н., Трапезова М.Н. Механизмы внутрифирменного управления. М.: ИЛУ РАН, 2000. 58 с.

39. Бусленко Н.П. Моделирование сложных систем. М.: Наука, 1978. 399 с.

40. Бурлаков М.Б. Инструментальные средства автоматизации синтеза оптимальных стратегий управления дискретными технологическими и информационными процессами // Программные продукты и системы. 1995. №4. С.26-34.

41. Вагин В.Н., Еремеев А.П. Некоторые базовые принципы построения интеллектуальных систем поддержки принятия решений реального времени // Изв. АН. Теория и системы управления, 2001. №6. С.114-123.

42. Валеева Р.Г., Петренко A.JI. Программный комплекс для моделирования и исследования производственных систем // Информационные технологии, 2002. №11. С. 48-54.

43. Вальк М., Гирлих Э., Ковалев М. Проблемы оптимального проектирования систем // Экстремальные задачи оптимального проектирования и управления. Минск, 1991. С.4-21.

44. Варфоломеев В.И. Алгоритмическое моделирование элементов экономических систем. М.: Финансы и статистика, 2000. 245 с.

45. Васильев В.И. Имитационное управление неопределенными объектами. М.: Наука, 1989. 290 с.

46. Васильев Ф.П. Численные методы решения экстремальных задач. М.: Наука. Гл. ред. физ.-мат. лит., 1988. 552 с.

47. Васильков Ю.В., Боровкин A.B. Учебный программный комплекс по нелинейному программированию // Программные продукты и системы, 1995. №4. С.40-42.

48. Вахитов А.Т., Граничин О.Н., Гуревич JI.C. Алгоритм стохастической аппроксимации с пробным возмущением на входе в нестационарной задаче оптимизации // Автоматика и теплемеханика, 2009. №11. С. 25-33.

49. Вендров A.M. Проектирование программного обеспечения экономических информационных систем. М.: Финансы и статистика, 2000. 352 с.

50. Верина Л.Ф., Левин Г.М., Танаев B.C. Параметрическая декомпозиция экстремальных задач: общий подход и некоторые приложения // Изв. АН СССР. Техническая кибернетика, 1988. №1. С. 23-31.

51. Вишнякова Л.В., Кухтенко В.И., Слатин A.B. Развитие методов декомпозиции в задачах оптимального проектирования сложных технических систем на основе математического моделирования // Изв. РАН. Теория и системы управления, 1994. №4. С. 191-200.

52. Воронин A.A., Мишин С.П. Оптимальные иерархические структуры. М.: ЖГУ РАН, 2003. 210 с.

53. Воронин А.Н. Нелинейная схема компромиссов в многокритериальных задачах оценивания и оптимизации // Кибернетика и системный анализ, 2009. Т. 45. №2. С. 106-115

54. Вязгин В.А., Федоров В.В. Математические модели автоматизированного проектирования. М.: Высш. шк., 1989. 184 с.

55. Гарусин М.И., Каплинский А.И. О формировании адаптивных алгоритмов оптимизации псевдобулевых функций на основе метода локального улучшения // Автоматика и телемеханика, 1976. №9. С. 96-104.

56. Георгиев В.О., Еиикеев А.И. Сценарный подход в технологии создания диалоговых систем // Управляющие системы и машины. 1993. №2. С.51-65.

57. Герман О.В., Боровский Ю.В., Безверхов В.Н. и др. Входной язык спецификации задач в человеко-машинной решающей системе // Программирование, 1997. № 6. С. 51-57.

58. Гибкие производственные системы изготовления РЭА / А.И. Артемьев, В.П. Ковешников, М.С. Лапин и др. М.: Радио и связь, 1990. 240 с.

59. Гилл Ф., Мюррей У., Райт М. 'Практическая оптимизация. М.: Мир, 1985. 509 с.

60. Горемыкин В.А., Нестерова Н.В. Стратегия развития предприятия. М.: Изд-во "Дашков и К", 2004. 594 с.

61. Грешилов A.A. Как принять наилучшее решение в реальных условиях. М.: Радио и связь, 1991. 320 с.

62. Грищенко В.Н., Дядюра В.Ю. Экспертные системы поддержки ком-плексирования программных средств // Управляющие системы и машины, 1992. №9/10. С. 14-19.

63. Грунина Г.С., Деменков Н.П. Решение многокритериальных задач оптимизации и принятия решений в нечеткой постановке // Информационные технологии. №1, 1998. С. 13-15.

64. Джонс Дж. К. Методы проектирования. М.: Мир, 1986. 326 с.

65. Джексон П. Введение в экспертные системы: Пер. с англ. М.: Изд. дом "Вильяме", 2001. 624 с.

66. Диалоговые системы схемотехнического проектирования / В.И. Ани-симов, Г.Д. Дмитревич, К.Б. Скобельцын и др. М.: Радио и связь, 1988. 288 с.

67. Дискретно-непрерывные модели оптимального проектирования / А.И. Каплинский, Я.Е. Львович, С.Ю. Белецкая и др. Воронеж: Изд-во ВГТУ, 1997. 109 с.

68. Евтушенко Ю.Г., Мазурик В.П. Программное обеспечение систем оптимизации. М.: Знание, 1989. 48 с.

69. Елтаренко Е. А. Оценка и выбор1 решений по многим критериям. М.: МИФИ; 1995. 111 с.

70. Емельянов В'.В., Курейчик В.М. Теория и практика эволюционного моделирования. М.: Физматлит, 2003. 432 с. "

71. Емельянов В.В., Ясиновский С.И. Введение в интеллектуальное имитационное моделирование сложных дискретных систем и процессов. Язык РДО. М.: АНВИК, 1998. 427 с.

72. Жиглявский A.A. Математическая теория глобального случайного поиска. Л.: Изд-во ЛГУ, 1985. 293 с.

73. Жожикашвили В.А. Сети массового обслуживания. М.: Радио и связь, 1988. 191 с.

74. Заде Л. Понятие лингвистической переменной и его применение для принятия приближенных решений. М.: Мир, 1976. 165 с.

75. Зимнухова Ж. Е., Немтинов В. А. О подходе к построению автоматизированной информационной системы поддержки принятия решений для проектирования процессов производства изделий из металлов // Информационные технологии, 2008. №9. С. 29-34.

76. Зиндер Е.З. Бизнес-реинжиниринг и технологии системного проектирования. М.: Центр Информационных Технологий, 1996. 236 с.

77. Иванов Ю.Н., Токарев В.В., Уздемир А.П. Математическое описание элементов экономики. М.: Изд. фирма физ. мат. лит., 1994. 246 с.

78. Ильясов Б.Г., Исмагилова Л.А., Валеева Р.Г. Имитационное моделирование для исследования многокомпонентных производственных систем // Приборы и системы. Управление, контроль, диагностика, 2000. №10. С. 7-11.

79. Имитационное моделирование экономических процессов / A.A. Емельянов, Е.А. Власова, Р.В. Дума. М.: Финансы и статистика, 2004. 368 с.

80. Интеллектуальные САПР технологических процессов в радиоэлектронике / A.C. Алиев, Л.С. Восков, В.Н., Ильин и др.; Под ред. В.Н. Ильина. М.: Радио и связь, 1991. 264 с.

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

82. Калянов Г.Н. CASE структурный системный анализ (автоматизация и применение). М.: Изд-во "Лори", 1996. 279 с.

83. Каплинский А.И., Красненкер А.С. О многокритериальном подходе к формированию многоуровневых алгоритмов стохастической оптимизации // Автоматика и вычислительная техника, 1975. №4. С. 14-21.

84. Каплинский А.И., Пропой А.И. Конструирование вычислительных алгоритмов нелокального поиска, использующих теорию потенциала. Препринт. М.: ВНИИСИ, 1990. 30 с.

85. Каплинский А.И., Руссман И.Б., Умывакин В.М. Моделирование и алгоритмизация слабоформализованных задач выбора наилучших вариантов систем. Воронеж: Изд-во ВГУ, 1990. 234 с.

86. Кацман В.Е. Основы теории многоуровневой декомпозиции и ее приложения. Куйбышев, 1990. 192 с.

87. Кельтон В., Лоу А. Имитационное моделирование. СПб.: Питер, 2004.848 с.

88. Квадратичные экстремальные задачи и недифференцируемая оптимизация / Шор Н.З., Стеценко С.И. Киев: Наук, думка, 1989, 287 с.

89. Кини Р.Л., Райфа X. Принятие решений при многих критериях. М.: Радио и связь, 1981. 380 с.

90. Кобелев Н.Б. Основы имитационного моделирования сложных экономических систем. М.: Дело, 2003. 336 с.

91. Коваль В.Н. Вопросы методологии и формализации постановок и решения проблем // Кибернетика и системный анализ, 1995. №3. С. 138-143.

92. Ковальский Г.Н. Агрегирование переменных методом последовательного замещения эталонных элементов // Изв. АН. Теория и системы управления, 1999. №6. С. 107-118.

93. Конструирование поисковых алгоритмов оптимального проектирования / А.И. Каплинский. Воронеж: ВПИ, 1993. 108 с.

94. Корячко В.П., Курейчик В.М., Норенков И.П. Теоретические основы САПР. М.: Энергоатомиздат, 1987. 400 с.

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

96. Краснощеков П.С., Морозов В.В., Попов Н.М., Федоров В.В. Иерархические схемы проектирования и декомпозиционные численные методы // Изв. РАН. Теория и системы управления, 2001. №5. С. 80-89.

97. Краснощеков П.С., Федоров В.В. Элементы математической теории принятия проектных решений // Автоматизация проектирования, 1997. №1. С. 15-23.

98. Крутько Н.Д., Максимов А.И., Скворцов A.M. Алгоритмы и программы проектирования автоматических систем. М.: Радио и связь, 1988. 306 с.

99. Кронбергс Ю.Э., Расстригин JI.A. Альтернативная адаптация структуры алгоритмов поисковой оптимизации методами распознавания образов // Автоматика и телемеханика, 1990. №8. С. 25-33.

100. Кузин Е.С. Концепции информационной технологии функционально-ориентированного проектирования прикладных программных систем // Информационные технологии, 2000. №1. С. 3-9.

101. Кузнецов А.Г., Рыков А.С, Сходимость адаптивных алгоритмов оптимизации при дрейфе минимума целевой функции // Автоматика и телемеханика, 1990. №9. С. 92-101.

102. Курейчик В.М. Математическое обеспечение конструкторского и технологического проектирования с применением САПР. М.: Радио и связь, 1990. 352 с.

103. Кусимов С.Т., Ильясов ¡Б.Г., Васильев В.№ Управление динамическими системами в условиях неопределенности. М.: Наука, 1998. 214 с.

104. Лабскер Л.Е., Бабешко ЛЮ. Теория массового обслуживания в экономической'сфере. М.: ЮНИТИ, 1998. 319 с.109: Лаврищева Е.М. Сборочное программирование. Теория и практика // Кибернетика и системный анализ, 2009. Т. 45: №6. С. 3-13.

105. Лапко A.B. Имитационные модели неопределенных систем. Новосибирск: Наука, 1993. 112 с.

106. Ларичев О.И. Свойства методов принятия решений в многокритериальных задачах индивидуального выбора // Автоматика и телемеханика, 2002. №2. С. 146-157.

107. Ларичев О.И., Мошкович Е.М. Качественные методы принятия решений. М.: Наука, 1996. 208 с.

108. Ларичев О.И., Поляков O.A. Человеко-машинные процедуры решения многокритериальных задач математического программирования (обзор) // Экономика и математические методы, 1980. Том XVI. Вып.1. С. 129-141.

109. Лебедев Б.К. Методы* поисковой адаптации для решения оптимизационных задач // Новости искусственного интеллекта, 2000. №3. С. 202-207.

110. Левин Г.М., Танаев B.C. Декомпозиционные методы оптимизации проектных решений. Минск: Наука и техника, 1978. 240 с.

111. Лескин A.A., Мальцев В.Н. Системы поддержки управленческих и проектных решений. Л.: Машиностроение, 1990. 167 с.

112. Литвак Б.Г. Экспертная информация: Методы получения и анализа. М.: Радио и связь, 1982. 184 с.

113. Литвинов В.В., Марьянович Т.П. Методы построения имитационных систем. Киев: Наук, думка, 1991. 115 с

114. Липаев В.В. Системное проектирование сложных программных средств для информационных систем. М.: Синтег, 2002. 268 с.

115. Маклаков C.B. Моделирование бизнес-процессов с BPwin 4.0. M.: Диалог-МИФИ; 2002. 224 с.

116. Максимей И.В. Имитационное моделирование на ЭВМ. М.: Радио и связь, 1986. 192.

117. Малишевский A.B. Качественные модели в теории сложных систем. М.: Наука, 1998. 528 с.

118. Малков В.П.* Поэтапная параметрическая оптимизация. Н.Новгород: Изд-во НГУ, 1998. 148 с.

119. Малышев В.В., Пиявский Б.С., Пиявский С.А. Метод принятия решений в условиях многообразия способов учета неопределенности // Изв. АН. Теория и системы управления, 2010. №1. С. 46-62.

120. Марка Д.А., МакГоуэн К. Методология структурного анализа и проектирования. М.: МетаТехнология, 1993. 324 с.

121. Матвеев Ю.Н., Крутиков Д.О. Основные подходы к построению моделей сложных систем // Программные продукты и системы, 2007. №2. С. 48-56.

122. Матин A.B. Декомпозиция и агрегирование при решении оптимизационных экономических моделей. М.: Наука, 1985. 66 с.

123. Медницкий В.Г., Медницкий Ю.В., Леонов В.Ю. Использование методов декомпозиции для оптимизации // Изв. АН. Теория и системы управления, 2009. №5. С. 156-169.

124. Мелихов А.Н., Бернштейн Л.С., Коровин С.Л. Ситуационные советующие системы с нечеткой логикой. М.: Наука, 1990. 272 с.

125. Мелешко В.Н. Особенности практического применения математических моделей для управления сбалансированным развитием сложных систем // Информационные технологии, 2000. №1. С. 49-52.

126. Меркурьева Г.В. Экспертные системы имитационного моделирования (обзор) // Изв. АН СССР. Техн. кибернетика. 1991. №3. С. 156-173.

127. Методы параметрического синтеза сложных технических систем / Г.С. Антушев. М.: Наука, 1989. 88 с.

128. Михайлюк В.А. Общий подход к оценке сложности постоптимального анализа дискретных задач оптимизации // Кибернетика и системный анализ, 2010.» Т. 46. №2. С. 134-142.

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

130. Михалевич B.C., Сергиенко И.В., Шор Н.З. Пакет прикладных программ для решения задач дискретной и нелинейной оптимизации // Кибернетика, 1991. №3. С. 36-46.

131. Мушик Э., Мюллер П. Методы принятия технических решений: Пер. с нем. М.: Мир, 1990. 208 с.

132. Нечеткие множества в моделях управления и искусственного интеллекта / Под ред. Д.А. Поспелова. М.: Наука, 1986. 311 с.

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

134. Николайчук В. Заготовительная и производственная логистика. СПб: Питер, 2001. 160 с.

135. Норенков И.П. Основы автоматизированного проектирования. М.: МГТУ им.Баумана, 2002. 336 с.

136. Норенков И.П. Разработка систем автоматизированного проектирования. М.: МГТУ им. Баумана, 1994. 203 с.

137. Норенков И.П., Маничев В.Б. Основы теории и проектирования САПР. М.: Высш. шк., 1990. 335 с.

138. Обработка нечеткой информации в системах принятия решений / А.Н. Борисов. М.: Радио и связь, 1989. 230 с.

139. Ойхман Е.Г., Попов Э.В. Реинжиниринг бизнеса: реинжиниринг организаций и информационные технологии. М.: Финансы и статистика, 1997. 336 с.

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

141. Павловский Ю;Н: Имитационные системы и модели. М.: ФАЗИС: ВЦ РАН, 2000. 134 с.

142. Перминов С.Б. Имитационное моделирование процессов управления в™ экономике. Новосибирск: Наука, 1998. 205 с.150; Поляк Б.Т. Введение в оптимизацию. М.: Наука, 1983. 384 с.

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

144. Потапов М.А. Интегрированные системы оптимизации // Изв. АН. Техн. кибернетика; 1994. №1. С. 189-197.

145. Проектирование: и оптимизация технологических процессов- и систем сборки РЭА / П.И. Буловский, В.П. Ларин.М.: Радио и связь, 1989: 176 с.

146. Производственные системы с искусственным интеллектом / P.A. Алиев, Н.М. Абдикеев, Н.М. Шахназаров. М.: Радио и связь, 1990: 264 с.

147. Пшеничный Б.Н., Соболенко Л.А., Сосновский A.A. Пакет прикладных программ МЕТ ЛИН-ПЭВМ для решения задач математического программирования//Кибернетика и системный анализ, 1993. №5. С. 79-91.

148. Рапопорт Б.М., Скубченко А.И. Инжиниринг и моделирование бизнеса. М.: Изд-во "Эксмос", 2001, 240 с.

149. Растригин Л.А., Эйдук Я.Ю. Адаптивные методы многокритериальной оптимизации //Автоматика и телемеханика, 1985. №1. С. 5-25.

150. Реклейтис Г., Рейвиндран А., Рэгсдел К. Оптимизация в технике: в 2-х кн.: Пер. с англ. М.: Мир, 1986. 672 с.

151. Рыжиков Ю.И: Имитационное моделирование. Теория и технологии. М.: Корона Принт, 2004. 384 с.

152. Рыков A.C. Методы системного анализа: многокритериальная и. нечеткая оптимизация. Моделирование и экспертные оценки. М.: Финансы и статистика, 1999. 380 с.

153. Саати Т. Принятие решений. Метод анализа иерархий. М.: Радио и связь, 1993. 471 с.

154. Саати Т. Целочисленные методы оптимизации и связанные с ними экстремальные проблемы. М.: Мир, 1973. 299 с.

155. Саврасов Ю.С. Оптимальные решения. М.: Радио и связь, 2000. 152 с.

156. Самарский A.A., Михайлов А.П. Математическое моделирование. М.: Физматлит, 2001. 320 с.

157. Сборочное программирование / Е.М. Лаврищева, В.Н. Грищенко; Отв. ред. Андон Ф.И. Киев: Наук, думка, 1991. 216 с.

158. Сергиенко И.В., Гуляницкий Л.Ф. Вопросы построения интегрированной прикладной системы МИСС // Программирование, 1993. №2. С.77-88.

159. Сергиенко И.В., Гуляницкий Л.Ф., Сиренко СИ. Классификация прикладных методов комбинаторной оптимизации // Кибернетика и системный анализ, 2009. Т. 45. №5. С. 71-84.

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

161. Системы автоматизированного проектирования в радиоэлектронике: Справочник / Е.В. Авдеев, А.Т. Еремин, И.П. Норенков, М.И. Песков; Под ред. И.П.Норенкова. М.: Радио и связь, 1986. 386 с.

162. Системы: декомпозиция, оптимизация и управление / М. Сингх, А. Титли. М.: Машиностроение, 1986. 495 с.

163. Советов Б.Я., Цехановский В.В. Информационные технологии. М.: Высшая школа, 2005. 345 с.

164. Советов Б.Я., Яковлев С.А. Моделирование систем. М.: Высш. шк., 2001.343 с.

165. Современный синтез критериев в задачах принятия решений / А.Н. Катулев, В.Н. Михно. М.: Радио и связь, 1992. 119 с.

166. Стронгин Р.Г. Поиск глобального оптимума. М.: Знание, 1990. 481 с.

167. Стронгин Р.Г., Гергель В.П. Система многоэкстремальной оптимизации // Пакеты прикладных программ. Программное обеспечение оптимизационных задач. М.: Наука, 1987. С. 39-50.

168. Стюарт Рассел, Питер Норвиг. Искусственный интеллект. Современный подход. Киев: Вильяме, 2006. 1408 с.

169. Taxa X. Введение в исследование операций. М.: Изд-во "Вильяме", 2001.912 с.

170. Технология и автоматизация производства радиоэлектронной аппаратуры / И.П.Бушминский, О.Ш.Даутов, А.П.Достанко и др. М.: Радио и связь, 1989. 624 с.

171. Технология системного моделирования / Е.Ф. Аврамчук, A.A. Вавилов, C.B. Емельянов и др.; Под общ. Ред. C.B. Емельянова. М.: Машиностроение, 1988.519 с.

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

173. Уздемир А.П. Динамические целочисленные задачи оптимизации в экономике. М.: Изд. фирма физ.-мат. лит., 1994. 318 с.

174. Урясьев С.П. Адаптивные алгоритмы стохастической оптимизации и теории игр / Под ред. Ю.М. Ермольева. М.: Наука, 1990. 184 с.

175. Федорук В.Г. Карпенко А.П: Обзор программных систем многокритериальной оптимизации. Отечественные системы // Информационные технологии, 2008. №1. С. 15-22.

176. Фролов В.Н. Моделирование и оптимизация сложных систем (избранные главы). Воронеж: ВГТУ, 1997. 151 с.

177. Фролов В.Н., Львович Я.Е., Меткин Н.П. Автоматизированное проектирование технологических процессов и систем производства РЭС. М.: Высш. шк., 1991. 436 с.

178. Хоботов E.H. Использование оптимизационно-имитационного подхода для моделирования и проектирования производственных систем. I // Автоматика и телемеханика, 1999. №8. С. 163-176.

179. Хоботов E.H. Использование оптимизационно-имитационного подхода для моделирования и проектирования производственных систем. II // Автоматика и телемеханика, 1999. №9. С. 154-161.

180. Хоботов E.H. Моделирование в задачах ренжиниринга производственных систем // Автоматика и телемеханика, 2001. №8. С. 168-178.

181. Хохлюк В.К. Параллельные алгоритмы целочисленной оптимизации. М.: Радио и связь, 1987. 224 с.

182. Цвиркун А.Д. Структура многоуровневых и крупномасштабных систем. М.: Наука, 1993. 287 с.

183. Цвиркун А.Д., Акинфиев В.К., Филиппов В.А. Имитационное моделирование в задачах синтеза структуры сложных систем. (Оптимизационно-имитационный подход). М.: Наука, 1985. 176 с.

184. Цурков В.И. Декомпозиция в задачах большой размерности. М.: Наука, 1981. 351 с.

185. Черноруцкий И.Г. Оптимальный параметрический синтез. Л.: Энерго-атомиздат, 1987. 128 с.

186. Чернышев С.Л. Моделирование экономических систем и прогнозирование их развития. М.: Изд-во МГТУ им. Н.Э.Баумана, 2003. 232 с.

187. Чичварин Н.В. Экспертные компоненты САПР. М.: Машиностроение, 1991.240 с.

188. Чичинадзе В.И. Решение невыпуклых нелинейных задач оптимизации. М.: Наука, 1983.256 с.

189. Шелобаев С.И. Математические методы и модели в экономике, финансах, бизнесе. М.: ЮНИТИ-ДАНА, 2000. 367 с.

190. Шинкаренко В.И., Ильман В.М., Скалозуб В.В. Структурные модели, алгоритмов в задачах прикладного программирования // Кибернетика и системный анализ, 2009. Т. 45. №2. С.3-14.

191. Шишмарев В.Ю. Автоматизация производственных процессов в машиностроении. М.: Академия, 2007. 386 с.

192. Шор Н.З. Методы минимизации недифференцируемых функций и их приложения. Киев: Наук, думка, 1979. 199 с.

193. Штойер Р. Многокритериальная оптимизация. Теория, вычисления, приложения: Пер. с англ. М.: Радио и связь, 1992. 504 с.

194. Эддоус М. Методы принятия решений. М.: ЮНИТИ, 1997. 368 с.

195. Экономико-математические методы и модели / Н.И. Холод, А.В. Кузнецов; Под общ. ред. А.В. Кузнецова. Минск: БГЭУ, 2000. 412 с.

196. Юдицкий С.А., Владиславлев П.Н. Технология выбора целей при проектировании бизнес-систем // Приборы и системы. Управление, контроль, диагностика, 2002. №12. С. 61-65.

197. Barker R. CASE-Method. Entity-Relationship Modelling // Copyright Oracle Corporation UK Limited, Addison-Wesley Publishing Co., 1990.

198. Borcherding K., Schmeer S., Weber M. Biases in multiattribute weight elicitation / Ed. J-P. Caverni. Constributions to Decision Making. Amsterdam: Elsevier, 1995.

199. Eom S.B. Decision support systems research: reference disciplines and a cumulative tradition. The International Journal of Management Science, 23, 5, October 1995, p. 511-523.

200. Law Averill M. Designing and Analyzing Simulation Experiments / Industrial Engineering, March 1991, pp. 20-23.

201. Knepell Peter L. and Deborah C. Arangno, Simulation Validation / IEEE Computer Society Press, 1993.

202. Reeves C.R. Modern heuristic techniques for combinatorial problems -Blackwell Scientific Publications, Oxford: 1993.

203. Roy B. Multicriteria Methodology for Decision Aiding. Dordrecht: Kluwer Academic Publishers,1996.

204. Slovic P., Fichhoff B., Lichtenstein S. Behaviorial decision theory. — Annu. Phychol. Rev. vol. 28, 1997.

205. Tumay Kerim. Business Process Reengineering Using Simulation / Auto-fact Workshop, 1993.

206. Yuau Yufei. Criteria for evaluating fuzzy ranking methods // Fuzzy Sets and Sist. 1991. V. 43. №2. P.139-157.

207. Wagner C. Facilitating space-time différencies, group heterogenety and multysensory task work through a multimedia supported group decision system. Decision Support Systems v. 15, p. 197-210, 1995.

208. Zadeh L.A. Fuzzy logic, neural network and soft computing // Communication of the ACM. 1994. V.37. №3.