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

Введение.

1. Тенденции автоматизации проектирования объектов.

1.1. Тенденции развития и классификация современных САПР

1.2. Место задачи структурного синтеза в общей структуре создания объекта.

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

1.4. Этапы исследования.

2. Классификация объектов проектирования. Общий подход к формализации объекта проектирования.

2.1. Классификация объектов.

2.2. Принципы описания объекта структурного синтеза.

2.3. Создание обобщенной логической модели класса объектов.

2.4. Частные случаи логической модели класса объектов.

2.4.1. Логическая модель класса конечных объектов. Создание классификатора конечных объектов.

2.4.1.1. Создание классификатора конечных объектов.

2.4.1.2. Построение классификатора схем передач с перекрещивающимися осями.

2.4.2. Логическая модель класса бесконечных процессов.

2.4.3. Логическая модель класса конечных процессов.

3. Теоретические аспекты структурного синтеза конечных объектов.

3.1. Формирование полного множества запрещенных фигур.

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

3.3. Разработка классификационных норм множества запрещенных фигур.

3.3.1. Классификация запрещенных фигур по мощности.

3.3.2. Классификация запрещенных фигур по уровням.

3.3.3. Классификация запрещенных фигур по признаку принадлежности.

3.3.4. Классификация запрещенных фигур по типу.

3.4. Общий вид модели процесса синтеза конечного объекта.

3.5. Разработка основных подходов к структурному синтезу конечных объектов.

3.5.1. Оптимизация процесса синтеза "СНИЗУ-ВВЕРХ".

3.5.2. Оптимизация процесса синтеза "СВЕРХУ - ВНИЗ". Теорема оптимизации.

3.6. Схема функционирования системы структурного синтеза конечных объектов.

4. Теоретические аспекты структурного синтеза бесконечных процессов.

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

4.2. Анализ множества запрещенных фигур класса бесконечных процессов и его классификация.

4.3. Графовая модель класса конечных процессов с точки зрения процесса их синтеза.

4.3.1. Синтез графовой модели с учетом функциональных ограничений.

4.3.2. Синтез графовой модели с возможностью учета ресурсных ограничений.

4.4. Схема функционирования системы структурного синтеза бесконечных процессов.

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

4.4.2. Особенности функционирования модуля генерации и обхода модели.

4.4.3. Особенности функционирования модуля заполнения протоколов.

4.4.4. Базовая схема функционирования системы структурного синтеза класса бесконечных процессов. 5. Теоретические аспекты структурного синтеза конечных процессов

5.1. Основные этапы структурного синтеза конечных процессов.

5.2. Классификация множества запрещенных фигур.

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

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

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

5.4. Постановки задачи структурного синтеза.

5.5. Моделирование конечного процесса без учета особенностей процессообразующей структуры.

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

6.1. Система проектирования спироидных фрез.

6.2. Пример структурного синтеза процесса функционирования предприятия.

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

6.4. Информационное обеспечение и структура системы синтеза двухступенчатых схем передач с перекрещивающимися осями.

7. Структура и некоторые алгоритмы функционирования инвариантной программной среды структурного синтеза объектов и процессов.

7.1. Структура инвариантной программной среды структурного синтеза.

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

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

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

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

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

Создано большое количество САПР различного отраслевого назначения, в основу которых положены фундаментальные научные разработки таких отечественных и зарубежных ученых, как Горбатов В.А., Решетников В.Н., Норенков И.П., Осипов В.А., Медведев B.C., Корячко В.П., Лохин В.М., Кутепов В.П., Нечаев В.В., Чистов В.П., Принс М., Хог Э., Apopa Я., Сазерленд И. и многих других.

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

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

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

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

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

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

Указанная цель была достигнута решением следующих задач

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

2. Разработка модели класса конечных объектов, а также характеризационных методов оптимизации процесса их синтеза.

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

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

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

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

6. Формализация процесса синтеза бесконечных процессов. Решение проблемы синтеза и хранения моделей бесконечных процессов.

7. Разработка элементов информационного и программного обеспечения САПР структурного синтеза.

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

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

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

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

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

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

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

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

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

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

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

Практическими результатами работы являются:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

- разработана методика, алгоритм и программа автоматизации

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

Практические результаты работы внедрены в Институте механики ИжГТУ, УНПЦ "Механик", ЗАО НПФ Радио-Сервис, ООО Производственная компания РС-Прибор, АО "Редуктор", ФГУП "Ижевский электромеханический завод "Купол", в Министерстве здравоохранения Удмуртской Республики, в учебном процессе ИжГТУ.

1. Абчук В.А. и др. Введение в теорию выработки решений / В.А. Абчук, Л.А. Емельянов, Ф.А. Матвейчук, В.Г. Суздаль. -М.: Воениздат, 1972.-344 с.

2. Автоматизация поискового конструирования/ Под ред. Половинкина.- М.: Радио и связь, 1981. 343 с.

3. Автоматизация проектно-конструкторских работ и технологической подготовки производства/ Под ред. О.И. Семенкова. Минск: Высшая школа, 1976. —т. 1 -351 с.

4. Азгальдов Г.Г. Теория и практика оценки качества товаров. Основы квалиметрии. М.: Экономика, 1982 - 256 с.

5. Айден К., Фибельман X., Крамер М. Аппаратные средства IBM PC.- СПб.:ВНУ, 1996,- 554с.

6. Александрой А.Т., Ермаков Е.С. Гибкие производственные системы электронной техники. М.: Высшая школа, 1989. - 319 с.

7. Алексеева Е. Ф., Стефанюк В. Л. Экспертные системы — состояние и перспективы// Изв. АН СССР, Техн. киберн. 1984,- № 5,- С. 153- 167.

8. Андрейчиков A.B., Байкин В.Г. Специализированный эвристический метод машинного конструирования пневмовиброизоляторов//

9. Автоматизированное проектирование машин, оборудования, приборов и технологических процессов в машиностроении: Тез. докл. всесоюзн. науч,-техн. конф. Устинов, 1986.-С. 115.

10. Антонюк Б. Д. Разработка экспертных систем искусственного интеллекта в США,- М.: ВНИИСИ, 1985. 77 с.

11. Аскеров Т.М. ЭВМ и программное обеспечение. Технические средства ЭВМ М.:РЭА им.Г.В.Плеханова, 1999. - 338с.

12. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов: Пер. сангл./Под ред. Ю. В. Матиясевича.-М.: Мир, 1979.-535с.

13. Бабушкин А.3., Новиков В.Ю., Схиртладзе А.Г. Технология изготовления металлообрабатывающих станков и автоматических линий. -М.: Машиностроение, 1982. 270 с.

14. БакенротВ. Ю., Чефранов А. Г. Эффективность приближенных алгоритмов распределения программ в однородной вычислительной системе// Изв. АН СССР, Техн. киберн,- 1985. № 4. - С. 135—148.

15. Белкин А. Р., Левин М. Ш. Комбинаторно-графовые модели обработки информации при принятии решений М.: Науч. совет по компл. пробл. «Кибернетика»'АН СССР, 1985. - 62 с.

16. Белкин А. Р., Левин М. Ш. К обоснованию построения человеко-машинных процедур// Теория, методология и практика системных исследований:Тез. докл. Всесоюз. конф. .- М.: ВНИИСИ, 1985. С. 82—84.

17. Белкин А. Р. Приближенная триангуляция матриц в задачах ранжирования и обработки межотраслевого баланса// Изв. АН СССР, Техн. киберн-1981.-№1,-С. 26-31.

18. Берейшик В.И., Винокуров Д.И., Старовойнов В.В. ДИФОР-С-пакет интерактивной машинной графики для АРМ на основе международного стандарта Минск: Институт технической кибернетики АН БССР, 1985. - С. 142

19. Бессольцев A.M. Автоматизация проектно-конструкторских работ в тяжелом станкостроении// Разработка и внедрение систем автоматизированного проектирования в машиностроении: Тез. докл. зональн. науч.-техн. конф. Ижевск, 1983. - С. 28-29.

20. Бешелев С. Д., Гурвич Ф. Г. Математико-статистические методы экспертных оценок М.: Статистика, 1980 - 263 с.

21. Биргер И.А. Основы автоматизированного проектирования// Известия вузов. М:Машиностроение, 1977. - N8. - С.5-15.

22. Браверман Э. М., Мучник И. Б. Структурные методы обработки эмпирических данных М.: Наука, 1983-463с.

23. Брон Г.П., Булыгина М.Н. Автоматизация вычерчивания элементов механических передач //Автоматизированное проектирование механических передач: Тез. докл. науч.-техн. конф Ижевск, 1982 - С. 21-23.

24. Брюханов В.Н., Схиртладэе А.Г. Метод автоматизированного проектирования ГПС механической обработки деталей. М.: МГЦНТИ, 1990.-Вып. № 90-440 -5 с.

25. Быков В.П. Методическое обеспечение САПР в машиностроении. Л.: Машиностроение, 1989.-255 с.

26. Вайнштейн А. Д. Задачи об упаковке прямоугольников в полосу // Дискретные задачи оптимизации (управляемые системы).- Новосибирск:

27. Ин-т математики СО АН СССР, 1984. вып. 25. -С. 17-37.

28. Вермишев Ю.Х. Основы автоматизации проектирования. М.: Радио и связь, 1988.-280 с.

29. Вермишев Ю.Х. Методы автоматического поиска решений при проектировании сложных технических систем.-М.: Радио и связь, 1982. -152с.

30. Веселовская С.О. Процессор визуализации системы СИМАК// Автоматизированное проектирование машин, оборудования, приборов и технологических процессов в машиностроении: Тез. стенд, докл. всесоюзн. научно-техничёской конференции.-Устинов, 1986. -С. 27.

31. Вопросы информационной технологи и.-М.: ВНИИСИ- 1982 вып.1.

32. Гаврилова Т. А. Представление знаний в экспертной диагностической системе АВТАНТЕСТ// Изв. АН СССР, Техн. киберн.-1984. № 5. -С. 168175.

33. Гарусов В. Й. Принципы разработки интерактивной моделенастраиваемой системы программного обеспечения оптимизационных задач большой размерности// Программное обеспечение систем оптимизации: Сб. науч. тр-М. : ВНИИСИ, 1982. вып. 7. -С. 16-35.

34. Гафт М. Г. Принятие решений при многих критериях.-М.: Знание, 197964 с.

35. Геловани В. А., Ковригин О. В., Смольянинов Н. Д. Методологические вопросы построения экспертных интеллектуальных систем// Системные исследования: Методол. пробл. Ежегодник.-М.: Наука, 1983.-С. 254-278.

36. Гельмерих Р., Швиндт П. Введение в автоматизированное проектирование: пер. с нем. Г.М. Родова, Я.Е. Львовича / Под ред. В.Н.

37. Фролова. М.: Машиностроение, 1990. - 176 с.

38. Гене Г. В., Левнер Е. В. Дискретные оптимизационные задачи и эффективные приближенные алгоритмы (обзор)// Изв. АН СССР, Техн. киберн. 1979" -№ 6.-С. 9-19.

39. Гибкие производственные системы сборки / П. Н. Алексеев, А. Г. Герасимов, Э.П. Давыденко и др. -М.: Машиностроение, 1989. -348 с.

40. Глотов В. А., ПавельевВ. В. Векторная стратификация.-М.: Наука, 1985-94с.

41. Гольденгорин Б. И. Корректирующий алгоритм решения некоторых задач дискретной оптимизации//Док. АН СССР. -1983. -т. 270. -№ 3. -С. 525-528.

42. Гольденгорин Б. И., Иоффе А. Л. Полиномиальные алгоритмы для задач унификации с квазивогнутой и квазивыпукло-вогнутой матрицей затрат// Изв. АН СССР, Техн. киберн.-1985. -№ З.-С. 224-227.

43. Гольденгорин Б. И. Корректирующие алгоритмы решения многомерных задач унификации// Изв. АН СССР, Техн. киберн-1984. -№ 6. -С. 3-7.

44. ГольдфарбВ.И., МалинаО.В Интеллектуализация автоматизированного конструирования изделий машиностроения// Всемирный Конгресс ИТС-93 "Информационные коммуникации, сети системы и технологии: Тез. докл. -М., 1993. С. 169-175.

45. Гольдфарб В.И., Русских А.Г., Обыдёнов А.Б. Программный комплекс автоматизированного синтеза схемы передачи с перекрещивающимися осями //Автоматизированное проектирование элементов трансмиссий: Тез. докл. науч.-техн. семин. Ижевск, 1989. - С. 106.

46. Горбатов В.А., Юзвишин И.Н. Базовые системные многопрофильныетехнологии накануне XXI века // Проблемы характеризационного анализа и логического управления: Академ, сб. науч. тр. М.: МГГУ, 1999. -С. 21-23.

47. Горбатов В.А. Интеллектуализация информатизационных технологий // Всемирный конгресс ИЭ-ЭЗ Информатизационные коммуникации, сети, системы и технологии: Тез. докл.- М., 1993. -С. 1-5.

48. Горбатов ЕЗ.А. Характеризация. Исчисление семантик. Искусственный интеллект// Логическое управление с использованием ЭВМ: Тез. докл. 13 Всесоюзн. симпоз. -М., 1990. -С. 3-7.

49. Горбатов В.А. Теория синтезауправляющихавтоматов.-София:Техника, 1973.

50. Горбатов В.А. Теория частично упорядоченных систем.-М: Советское радио, 1976.

51. Горбатов В.А., Демьянов В.Ф., Кулиев Г.Б. и др. Автоматизация проектирования сложных логических структур.-М.: Энергия, 1978.

52. Горбатов В.А., Останков Б.Л., Фролов С.А. Регулярные структуры автоматного управления.-М: Машиностроение, 1980.

53. Горбатов В.А. Семантическая теория проектирования автоматов.-М: Энергия, 1979.

54. Горбатов В.А. Схемы управления ЦВМ и графы.-М: Энергия, 1971.

55. Горбатов В.А., Кафаров В.В., Павлов П.Г. Логическое управление технологическими процессами.-М: Энергия, 1978.

56. Горбатов В.А. Логическое управление-десятилетние итоги и перспективы //Логическое управление с использованием ЭВМ: Тез. докл. 10 Всесоюзн. симпоз. -М.-Убтинов 1987 С. 3-7.

57. Горбатов В.А., Павлов П.Г., Четвериков В.Н. Логическое управление информационными процессами.-М: Энергоатомиздат, 1984.

58. Горбатов В.А. Проблемы создания интегрированных систем САПР-ГАП// Математическое обеспечение САПР и ГАП в машиностроении: Материалы координационного совещания.-Ижевск, 1984-с. 3-10.

59. Горностаева А. H., Левин M. Ш., Махсон М. А. Задача планирования контроля качества при создании систем машин//Повышение эффективности деятельности НИИ и КБ с целью ускорения научно-технического прогресса: Тез. докл. конф. М.: МДНТП. -С. 83-87.

60. Горчинская О.Ю. Designer2000 новое поколенмие CASE-продуктов фирмы ORACLE// Системы управления базами данных. -1995- №3.

61. ГОСТ 23501.108-85. Системы автоматизированного проектирования. Классификация и обозначения.

62. Грунин Л.Ю., Конев Е.В. Программа автоматизированного выполнения чертежа детали типа «ВАЛ»// Автоматизированное проектирование механических трансмиссий САПР-МТ: Материалы межд. науч.-техн. семин. Ижевск, 1991. -С. 74.

63. Гудмен С., Хидетниеми С. Введение в разработку и анализ алгоритмов: Пер. с англ./ Под ред. В. В. Мартынюка.-М.: Мир, 1981.-368 с.

64. ГэриМ., Джонсон Д. Вычислительные машины и труднорешаем ые задачи: Пер. с англ. / Под. ред. А. А. Фридмана.-М.: Мир, 1982.-416 с.

65. Давыгора В.Н. ГПС для сборочных работ. -М.: Высшая школа, 1989. -109с.

66. Дашенко А.И, Белоусов А.П. Проектирование автоматических линий-М.: Высшая школа, 1983. -327 с.

67. Дворянкин А. М., Половинкин А. И., Соболев А. Н. Методы синтеза технических решений. М.: Наука, 1977.

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

69. Дикер Ж.И. Тороидные зубчатые передачи и основы их технологии // Прогрессивные методы производства зубчатых передач и их технологичность. М: Машгиз, 1962.-С. 178-197.

70. Диниц Е. А. О решении двух задач о назначении// Исследования по дискретной оптимизации.-М.: Наука, 1976. -С. 333-348.

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

72. Добрынин С.А., Аболяев А.Ф. Автоматизированное проектирование машиностроительных конструкций//Автоматизированное проектирование в машиностроении: Тез. докл. всесоюзн. науч.-техн. конф.- Устинов, 1985. С. 6-7.

73. Дудаш И. Представление геликоновых поверхностей в системе CAD/ САМ// Gearing and transmissions. -1995. -№1.

74. Евланов Л. Г. Теория и практика принятия решений.-М.: Экономика, 1984.- 176 с.

75. Евтушенко Ю. Г. Методы решения экстремальных задач и их применение в системах оптимизации.-М.: Наука, 1982.-432 с.

76. Емельянов С. В., Ларичев О. И. Многокритериальные методы принятия решений.-М.: Знание, 1985.-32с.

77. Ерихов M.Jfl. Систематические принципы // Методы анализа и вопросы синтеза схем передач: диссертация на соискание степени доктора технических наук. -СССР, Ленинград, 1972. С. 458.

78. Ефимова О. В. Разработка методологии формирования и экономического обоснования программ государственных гарантий обеспечения бесплатной медицинской помощью жителей муниципвльных образований: Дисс. . канд.медиц. наук. М., 2001. —40с.

79. Ефимова О.В., ГлуховаГ.А., Сомова Е.Г., Бессмертных М.Ю. Особенности планирования в здравоохранении// Сб. матер. II Междун. медицинского Конгресса. -Ижевск, 1998. —0.111-113.

80. Зак П.С. Различные виды червячных передач и методы их производства // Прогрессивные методы зубчатых передач и их технологичность. М.: Машгиз, 1962.-С. 198-239.

81. Захаров М.В. Автоматизированное проектирование организационных структур// Проблемы характеризационного анализа и логического управления: Академ, сб. науч. тр. М.: МГГУ, 1999. -С.249-253.

82. Зозулевич Д.М. Машинная графика в автоматизированном проектировании -М.Машиностроение, 1976.-240с.

83. Зорин A.B. Структура автоматизированной системы поиска оптимального процесса преобразования ресурсов//Проблемы характеризационного анализа и логического управления: Академ, сб. науч. тр. -М.: МГГУ, 1999.-С. 165-172.

84. Искусственный интеллект: Применение в интегрированных производственных системах / Под ред. Э. Кьюсиака: Пер. с англ. А.П. Фомина/Под ред. А.И. Дащенко, Е.В. Левнера.-М.: Машиностроение, 1991. 544 с.

85. Кармоков Х.М., Суворов A.B., Захаров M.B. Новый формальный подход к анализу и реорганизации деловой деятельности предприятий//Проблемы характеризационного анализа и логического управления: Академ, сб. науч. тр. -М.: МГГУ, 1999. С.29-38.

86. Кашаев Ю. X., Потапов В. А., Пуринь Я. Я. Современные гибкие производственные системы и их компоненты/Юбзорн. инф. Сер. С-1. Станкостроение. М.: ВНИИТЭМР, 1985. - 68 с.

87. КовригинО: В., Смольяиинов Н. Д., Чмырь А. Я. Экспертные медицинские диагностирующие системы// Изв. АН СССР, Техн. киберн.-1982. № 5. -С. 199—216.

88. Коган Ф.А. Инструментальная диалоговая система программирования ДАРП// Автоматизированное проектирование машин, оборудования, приборов и технологических процессов в машиностроении: Тез. стенд, докл. всесоюзн. науч.-техн. конф-Устинов, 1986- С. 53-55.

89. Комиссаров М.Ю. Представление графической информации в базе данных САПР// Интегрированные системы автоматизированного проектирования: Тез. докл. Всесоюзн. науч.-техн. конф.-М., 1989. -С. 50-52.

90. КОМПАС 3D Руководство пользователя. -192с.

91. Компьютер сегодня// PC Magazin: Russian Edition. -1999. -№1 (91 ).-C.33.

92. Конвей P. В., Максвелл В. Л., Миллер Л. В. Теория расписаний: Пер. с англ./ Под ред. Г. П. Башарина.-М.: Наука, 1976.-360 с.

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

94. Корягин Д. А, Карпов В.Я., Самарский А. А. Принципы разработки пакетов прикладных программ для задач математической физики ЖВМ

95. МФ, 1978,-Т. 18. -№ 2. -С. 458-467.

96. Котик М. А., Емельянов А. М. Ошибки управления: психологические причины, метод автоматизированного анализа.-Таллин: Валгус, 1985-391с.

97. Криштопа И. В., Микаилов Г. Э., Перевозчикова О. Л. Основные характеристики диалоговых маршрутных систем// Кибернетика. -1984. № 6. -С. 42-48.

98. Кулиев Г.Б., Набиев В.В. Математическое обеспечение САПР переключательных схем горной автоматики// Логическое управление с использованием ЭВМ: Тез. докл. 13 Всесоюзн. симпоз.-М.-Симеиз, 1990. -С. 64-70.

99. Купреев Н.И. Структуризация и классификация конструкций динамических насосов для их проектирования средствами САПР// Интегральные системы Автоматизированного проектирования: Тез. докл. Всесоюзн. науч-техн. конф.-М.1989. -С. 86-87.

100. Ларичев О. И., Никифоров А. Д. Анализ процедур решения многокритериальных задач математического программирования//Проблемы и методы принятия решений в организационных системах управления: Тез. докл. Всесоюзн. конф.-М.: ВНИИСИ, 1984. -С. 70-71.

101. Лебедевский М.С., Вейц В.Л., Федотов А.И. Научные основы автоматической сборки. -М.: Машиностроение, 1985. -315 с.

102. Левин Г.М., Лившиц Э.Г. Проблемы создания САПР трансмиссий.// 4 Всесоюзное кординационное совещание по автоматизации проектно-конструкторских работ в машиностроении: Матер, совещания Минск, 1989. -42. -С. 51-56.

103. Левин М.Ш Применение оптимизационных комбинаторных моделей в автоматизированных системах М.; 1986. -64с.

104. Левин М.,Ш. Одна экстремальная задача организации данных// Изв. АН СССР, Техн. киберн.-1981. -№ 5. -С. 103-112.

105. Левин М. Ш. Детерминированные задачи планирования при идентичных процессорах и одновременном поступлении заявок// Изв. АН СССР, Техн. киберн-1982. № 4.-С. 51-57.

106. Левин М„. Ш. Комбинаторные модели при принятии решений// Процедуры оценивания многокритериальных альтернатив:Сб. тр.-М.: ВНИИСИ, 1984.-Вып. 9. -С. 35—41.

107. Левин М. Ш., Махсон М. А. Вопросы методологии и практики системы государственного надзора//Управление качеством продукции: Обзорная информ.—М.: ВНИИКИ, 1985,-вып. 1.-32 с.

108. Леонтьев В. К. Дискретные экстремальные задачи// Итоги науки и техники.-М.: ВИНИТИ, 1979. -Т16 С. 39-102.

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

110. Литвин Ф.Л. Теория зубчатых зацеплений. 2-е изд., перераб. и доп-М.:Наука, 1968. -584с.

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

112. Лукашевич В.К. Модели и метод моделирования в человеческой деятельности / Науч. ред. Л.В. Уваров. Минск: Наука и техника, 1983. -120 с.

113. Лэнгсам Й., Огенстайн М., Тененбаум А. Структуры данных для персональных ЭВМ: Пер. с англ. М.: Мир, 1989. - 586 с.

114. Майника Э. Алгоритмы оптимизации на сетях и графах: Пер. с англ./ Под ред. Е. К. Масловского.-М.: Мир, 1981.-323 с.

115. Малина О. В. Два направления оптимизации вычислительного процесса синтеза объекта//Международный конгресс информатизации: Тр. конгресса. -Ижевск, 1995. -С. 128-129.

116. Малина О.В. Концепция построения и функционирования системы автоматизированного конструирования// Ученые Ижевского

117. Государственного технического университета производству: Тез. докл. науч. -техн. конф. - Ижевск: Изд-во ИжГТУ,1994. -С.25.

118. Малина О.В. Концепция конструирования сверху вниз. Теоремы оптимизации // Автоматизированное проектирование в технологической подготовке производства: Межвузовский сб. -Ижевск: Изд-во ИжГТУ, 1996. -С.46-52.

119. Малина О.В. Особенности использования древовидных структур в системах автоматизированного проектирования // Информационная математика в информациологии: Сб. тр. симпозиума. -Ижевск: Изд-во ИжГТУ, 1997.-С.8-11.

120. Малина О.В. Сравнительная характеристика множеств запрещенных фигур объектов различной природы// Информационная математика в информациологии: Сб. тр. симпозиума. -Ижевск: Изд-во ИжГТУ, 1997-С.36-39.

121. Малина О.В., Дидковский В.Н. Методология, алгоритмы и программыинвариантной системы структурного синтеза // Информационная математика. -2001. -№1,- М.: Изд-во Физ.-мат. лит., 2001. -С. 194-211. ISBN 5-271-03-944-7.

122. Малышев Н.Г. Основы оптимального управления процессами автоматизированного проектирования. -М.: Энергоатомиздат, 1990.-224 с.

123. Мануэль Т. ЭВМ пятого поколения-осторожный оптимизм-Электроника, 1984.-№ 24,-С. 63-73.

124. Мартин Дж. Организация баз данных в вычислительных системах. 2-е изд., доп. - М.: Мир, 1980. - 662 с.

125. Махаев С.Н. Лингвистическая модель конструкции привода// Автоматизированное проектирование механических передач: Тез. докл. науч.-техн. конф. -Ижевск, 1982. -С. 24-26.

126. Методы и алгоритмы автоматизированного проектирования сложных систем управления/ В. Л. Волкович, А. Ф. Волошин, Т. М. Горлова и др.-Киев: Наукова думка, 1984. 216 с.

127. Минков К. Новый подход к базовой геометрии и классификации неортогональных зубчатых передач // Силовые трансмиссии и передачи:Тр. междун. конф. -Чикаго, 1989. Т2. - С. 593-598

128. Миркин Б. Г. Анализ качественных признаков и структур-М: Статистика, 1980.-320С.

129. Митрофанов Б. В., Пантелеев Ю. Р. Задача синтеза системы электроснабжения//Проблемы и методы автоматизированного проектирования и исследования сложных систем:Сб. тр.-М.: ВНИИСИ, 1985. -Вып 1. -С. 96-105.

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

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

132. Нагао М., Катаяма Т., Уэмура С. Структуры и базы данных. М.: Мир, 1986.- 197 с.

133. Немировский А. С., Юдин Д. Б., Сложность задач и эффективность методов оптимизации.-М.: Наука, 1979.-384 с.

134. Никонов В.А. Автоматизация конструкторских работ на основе диалоговой системы конструирования ДИСК// Интегрированные системы автоматизированного проектирования: Тез. докл. Всесоюзн. науч.-техн.конф,- М., 1989. С. 101-103.

135. Норенков И.П. Введение в автоматизированное проектирование технических устройств и систем.-М.: Высшая школа,1980. 311с.

136. Норенков И.П. Разработка САПР. М.: Изд-во МГТУ им. Н.Э. Баумана, 1994.-207 с.

137. ОллеТ.В. Предложения КОДАСИЛ по управлению базами данных.-М.: Финансы и статистика, 1981. 286 с.

138. Осипов В.А. Автоматизированная система геометрии и графики// Автоматизированное проектирование машин, оборудования, приборов и технологических процессов в машиностроении: Тез. докл. всесоюзн. науч,-техн. конф-Устинов, 1986.-С. 3-6.

139. Осипов В.А. Геометрическое моделирование в САПР// Математическое обеспечение САПР и ГАП в машиностроении: Матер. 5 координационного совещания.-Ижевск, 1984. -С. 72-81.

140. Основы автоматизации машиностроительного производства/ Ковальчук Е.Р., Косов М.Г., Митрофанов В.Г. и др./ Под ред. Соломенцева Ю.М. -М:Высш.шк., 1999.-312с.

141. Панкова Л. А., Петровский А. М., Шнейдерман М.В. Организация экспертизы и анализ экспертной информации. М.: Наука, 1984.-180с.

142. Парасюк И.Н., Сергиенко И.В. Модульный подход к построению семейства пакетов прикладных программ// Программирование. -1981. -№ 6. -С. 29-34.

143. Петренко А.И. Основы автоматизации проектирования.-К.:Техника, 1982.-295С. ,

144. Петров A.B., Черненький В.М. Проблемы и принципы создания САПР-М.: Высшая Школа, 1990.-143с.

145. Подружко А. С., Творогов В. Б. Программный комплекс человеко-машинной системы оптимизации для моделирования развития экономики // Программное обеспечение систем оптимизации.-М.: ВНИИСИ, 1982.1. Вып. 7. -С. 65—76.

146. Половинкин А.И. Теория проектирования новой техники: закономерности техники и их применения. М.: Информэлектро, 1991. -104 с.

147. Поспелов Г. С., Поспелов Д. А. Искусственный интеллект-прикладные системы.-М.: Знание, 1985.-48 с.