Теория и практика автоматизации структурного синтеза объектов и процессов с использованием методов характеризационного анализа
Диссертация
Процесс синтеза класса конечных процессов в рамках предлагаемой методологии распадается на три этапа: синтез множества преобразований, входящих в некоторый вариант конечного процесса, упорядочение указанного множества, учет возможностей процессообразующей структуры. Анализ указанных этапов позволил сделать вывод о методологической двойственности природы конечных процессов: на первом этапе… Читать ещё >
Содержание
- 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. Логическая модель класса конечных процессов
- 2. 4. 1. Логическая модель класса конечных объектов. Создание классификатора конечных объектов
- 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. 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. Подход к синтезу графовых моделей конечного процесса с учетом особенностей процессообразующей структуры
- 6. 1. Система проектирования спироидных фрез
- 6. 2. Пример структурного синтеза процесса функционирования предприятия
- 6. 3. Структура информационного обеспечения программы структурного синтеза системы здравоохранения
- 6. 4. Информационное обеспечение и структура системы синтеза двухступенчатых схем передач с перекрещивающимися осями
- 7. 1. Структура инвариантной программной среды структурного синтеза
- 7. 2. Алгоритмы инструментальных средств подготовки информационного обеспечения системы синтеза конечных объектов
- 7. 2. 1. Алгоритмы инструментальных средств подготовки информационного обеспечения системы синтеза конечных объектов
- 7. 2. 2. Алгоритмы инструментальных средств подготовки информационного обеспечения системы синтеза конечных процессов
- 7. 2. 3. Алгоритмы инструментальных средств подготовки информационного обеспечения системы синтеза бесконечных процессов
Список литературы
- Абчук В.А. и др. Введение в теорию выработки решений / В. А. Абчук, Л. А. Емельянов, Ф. А. Матвейчук, В. Г. Суздаль. -М.: Воениздат, 1972.-344 с.
- Автоматизация поискового конструирования/ Под ред. Половинкина.- М.: Радио и связь, 1981. 343 с.
- Автоматизация проектно-конструкторских работ и технологической подготовки производства/ Под ред. О. И. Семенкова. Минск: Высшая школа, 1976. —т. 1 -351 с.
- Азгальдов Г. Г. Теория и практика оценки качества товаров. Основы квалиметрии. М.: Экономика, 1982 — 256 с.
- Айден К., Фибельман X., Крамер М. Аппаратные средства IBM PC.- СПб.:ВНУ, 1996, — 554с.
- Александрой А.Т., Ермаков Е. С. Гибкие производственные системы электронной техники. М.: Высшая школа, 1989. — 319 с.
- Алексеева Е. Ф., Стефанюк В. Л. Экспертные системы — состояние и перспективы// Изв. АН СССР, Техн. киберн. 1984, — № 5, — С. 153- 167.
- Андрейчиков A.B., Байкин В. Г. Специализированный эвристический метод машинного конструирования пневмовиброизоляторов//
- Автоматизированное проектирование машин, оборудования, приборов и технологических процессов в машиностроении: Тез. докл. всесоюзн. науч,-техн. конф. Устинов, 1986.-С. 115.
- Антонюк Б. Д. Разработка экспертных систем искусственного интеллекта в США,— М.: ВНИИСИ, 1985. 77 с.
- Аскеров Т.М. ЭВМ и программное обеспечение. Технические средства ЭВМ М.:РЭА им. Г. В. Плеханова, 1999. — 338с.
- Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов: Пер. сангл./Под ред. Ю. В. Матиясевича.-М.: Мир, 1979.-535с.
- Бабушкин А.3., Новиков В. Ю., Схиртладзе А. Г. Технология изготовления металлообрабатывающих станков и автоматических линий. -М.: Машиностроение, 1982. 270 с.
- БакенротВ. Ю., Чефранов А. Г. Эффективность приближенных алгоритмов распределения программ в однородной вычислительной системе// Изв. АН СССР, Техн. киберн, — 1985. № 4. — С. 135—148.
- Белкин А. Р., Левин М. Ш. Комбинаторно-графовые модели обработки информации при принятии решений М.: Науч. совет по компл. пробл. «Кибернетика"'АН СССР, 1985. — 62 с.
- Белкин А. Р., Левин М. Ш. К обоснованию построения человеко-машинных процедур// Теория, методология и практика системных исследований: Тез. докл. Всесоюз. конф. .- М.: ВНИИСИ, 1985. С. 82—84.
- Белкин А. Р. Приближенная триангуляция матриц в задачах ранжирования и обработки межотраслевого баланса// Изв. АН СССР, Техн. киберн-1981.-№ 1,-С. 26−31.
- Берейшик В.И., Винокуров Д. И., Старовойнов В. В. ДИФОР-С-пакет интерактивной машинной графики для АРМ на основе международного стандарта Минск: Институт технической кибернетики АН БССР, 1985. — С. 142
- Бессольцев A.M. Автоматизация проектно-конструкторских работ в тяжелом станкостроении// Разработка и внедрение систем автоматизированного проектирования в машиностроении: Тез. докл. зональн. науч.-техн. конф. Ижевск, 1983. — С. 28−29.
- Бешелев С. Д., Гурвич Ф. Г. Математико-статистические методы экспертных оценок М.: Статистика, 1980 — 263 с.
- Биргер И.А. Основы автоматизированного проектирования// Известия вузов. М: Машиностроение, 1977. — N8. — С.5−15.
- Браверман Э. М., Мучник И. Б. Структурные методы обработки эмпирических данных М.: Наука, 1983−463с.
- Брон Г. П., Булыгина М. Н. Автоматизация вычерчивания элементов механических передач //Автоматизированное проектирование механических передач: Тез. докл. науч.-техн. конф Ижевск, 1982 — С. 21−23.
- Брюханов В.Н., Схиртладэе А. Г. Метод автоматизированного проектирования ГПС механической обработки деталей. М.: МГЦНТИ, 1990.-Вып. № 90−440 -5 с.
- Быков В.П. Методическое обеспечение САПР в машиностроении. Л.: Машиностроение, 1989.-255 с.
- Вайнштейн А. Д. Задачи об упаковке прямоугольников в полосу // Дискретные задачи оптимизации (управляемые системы).- Новосибирск:
- Ин-т математики СО АН СССР, 1984. вып. 25. -С. 17−37.
- Вермишев Ю.Х. Основы автоматизации проектирования. М.: Радио и связь, 1988.-280 с.
- Вермишев Ю.Х. Методы автоматического поиска решений при проектировании сложных технических систем.-М.: Радио и связь, 1982. -152с.
- Веселовская С.О. Процессор визуализации системы СИМАК// Автоматизированное проектирование машин, оборудования, приборов и технологических процессов в машиностроении: Тез. стенд, докл. всесоюзн. научно-техничёской конференции.-Устинов, 1986. -С. 27.
- Вопросы информационной технологи и.-М.: ВНИИСИ- 1982 вып.1.
- Гаврилова Т. А. Представление знаний в экспертной диагностической системе АВТАНТЕСТ// Изв. АН СССР, Техн. киберн.-1984. № 5. -С. 168 175.
- Гарусов В. Й. Принципы разработки интерактивной моделенастраиваемой системы программного обеспечения оптимизационных задач большой размерности// Программное обеспечение систем оптимизации: Сб. науч. тр-М.: ВНИИСИ, 1982. вып. 7. -С. 16−35.
- Гафт М. Г. Принятие решений при многих критериях.-М.: Знание, 197 964 с.
- Геловани В. А., Ковригин О. В., Смольянинов Н. Д. Методологические вопросы построения экспертных интеллектуальных систем// Системные исследования: Методол. пробл. Ежегодник.-М.: Наука, 1983.-С. 254−278.
- Гельмерих Р., Швиндт П. Введение в автоматизированное проектирование: пер. с нем. Г. М. Родова, Я. Е. Львовича / Под ред. В.Н.
- Фролова. М.: Машиностроение, 1990. — 176 с.
- Гене Г. В., Левнер Е. В. Дискретные оптимизационные задачи и эффективные приближенные алгоритмы (обзор)// Изв. АН СССР, Техн. киберн. 1979» -№ 6.-С. 9−19.
- Гибкие производственные системы сборки / П. Н. Алексеев, А. Г. Герасимов, Э. П. Давыденко и др. -М.: Машиностроение, 1989. -348 с.
- Глотов В. А., ПавельевВ. В. Векторная стратификация.-М.: Наука, 1985−94с.
- Гольденгорин Б. И. Корректирующий алгоритм решения некоторых задач дискретной оптимизации//Док. АН СССР. -1983. -т. 270. -№ 3. -С. 525−528.
- Гольденгорин Б. И., Иоффе А. Л. Полиномиальные алгоритмы для задач унификации с квазивогнутой и квазивыпукло-вогнутой матрицей затрат// Изв. АН СССР, Техн. киберн.-1985. -№ З.-С. 224−227.
- Гольденгорин Б. И. Корректирующие алгоритмы решения многомерных задач унификации// Изв. АН СССР, Техн. киберн-1984. -№ 6. -С. 3−7.
- ГольдфарбВ.И., МалинаО. В Интеллектуализация автоматизированного конструирования изделий машиностроения// Всемирный Конгресс ИТС-93 «Информационные коммуникации, сети системы и технологии: Тез. докл. -М., 1993. С. 169−175.
- Гольдфарб В.И., Русских А. Г., Обыдёнов А. Б. Программный комплекс автоматизированного синтеза схемы передачи с перекрещивающимися осями //Автоматизированное проектирование элементов трансмиссий: Тез. докл. науч.-техн. семин. Ижевск, 1989. — С. 106.
- Горбатов В.А., Юзвишин И. Н. Базовые системные многопрофильныетехнологии накануне XXI века // Проблемы характеризационного анализа и логического управления: Академ, сб. науч. тр. М.: МГГУ, 1999. -С. 21−23.
- Горбатов В.А. Интеллектуализация информатизационных технологий // Всемирный конгресс ИЭ-ЭЗ Информатизационные коммуникации, сети, системы и технологии: Тез. докл.- М., 1993. -С. 1−5.
- Горбатов ЕЗ.А. Характеризация. Исчисление семантик. Искусственный интеллект// Логическое управление с использованием ЭВМ: Тез. докл. 13 Всесоюзн. симпоз. -М., 1990. -С. 3−7.
- Горбатов В.А. Теория синтезауправляющихавтоматов.-София:Техника, 1973.
- Горбатов В.А. Теория частично упорядоченных систем.-М: Советское радио, 1976.
- Горбатов В.А., Демьянов В. Ф., Кулиев Г. Б. и др. Автоматизация проектирования сложных логических структур.-М.: Энергия, 1978.
- Горбатов В.А., Останков Б. Л., Фролов С. А. Регулярные структуры автоматного управления.-М: Машиностроение, 1980.
- Горбатов В.А. Семантическая теория проектирования автоматов.-М: Энергия, 1979.
- Горбатов В.А. Схемы управления ЦВМ и графы.-М: Энергия, 1971.
- Горбатов В.А., Кафаров В. В., Павлов П. Г. Логическое управление технологическими процессами.-М: Энергия, 1978.
- Горбатов В.А. Логическое управление-десятилетние итоги и перспективы //Логическое управление с использованием ЭВМ: Тез. докл. 10 Всесоюзн. симпоз. -М.-Убтинов 1987 С. 3−7.
- Горбатов В.А., Павлов П. Г., Четвериков В. Н. Логическое управление информационными процессами.-М: Энергоатомиздат, 1984.
- Горбатов В.А. Проблемы создания интегрированных систем САПР-ГАП// Математическое обеспечение САПР и ГАП в машиностроении: Материалы координационного совещания.-Ижевск, 1984-с. 3−10.
- Горностаева А. H., Левин M. Ш., Махсон М. А. Задача планирования контроля качества при создании систем машин//Повышение эффективности деятельности НИИ и КБ с целью ускорения научно-технического прогресса: Тез. докл. конф. М.: МДНТП. -С. 83−87.
- Горчинская О.Ю. Designer2000 новое поколенмие CASE-продуктов фирмы ORACLE// Системы управления базами данных. -1995- № 3.
- ГОСТ 23 501.108−85. Системы автоматизированного проектирования. Классификация и обозначения.
- Грунин Л.Ю., Конев Е. В. Программа автоматизированного выполнения чертежа детали типа «ВАЛ»// Автоматизированное проектирование механических трансмиссий САПР-МТ: Материалы межд. науч.-техн. семин. Ижевск, 1991. -С. 74.
- Гудмен С., Хидетниеми С. Введение в разработку и анализ алгоритмов: Пер. с англ./ Под ред. В. В. Мартынюка.-М.: Мир, 1981.-368 с.
- ГэриМ., Джонсон Д. Вычислительные машины и труднорешаем ые задачи: Пер. с англ. / Под. ред. А. А. Фридмана.-М.: Мир, 1982.-416 с.
- Давыгора В.Н. ГПС для сборочных работ. -М.: Высшая школа, 1989. -109с.
- Дашенко А. И, Белоусов А. П. Проектирование автоматических линий-М.: Высшая школа, 1983. -327 с.
- Дворянкин А. М., Половинкин А. И., Соболев А. Н. Методы синтеза технических решений. М.: Наука, 1977.
- Джонс Дж.К. Методы проектирования: Пер. с англ. 2-е изд., доп. — М.: Мир, 1986. — 326 с.
- Дикер Ж.И. Тороидные зубчатые передачи и основы их технологии // Прогрессивные методы производства зубчатых передач и их технологичность. М: Машгиз, 1962.-С. 178−197.
- Диниц Е. А. О решении двух задач о назначении// Исследования по дискретной оптимизации.-М.: Наука, 1976. -С. 333−348.
- Дитрих Я. Проектирование и конструирование. Системный подход: перевод с польского. -М.:Мир, 1981. -456с.
- Добрынин С.А., Аболяев А. Ф. Автоматизированное проектирование машиностроительных конструкций//Автоматизированное проектирование в машиностроении: Тез. докл. всесоюзн. науч.-техн. конф.- Устинов, 1985. С. 6−7.
- Дудаш И. Представление геликоновых поверхностей в системе CAD/ САМ// Gearing and transmissions. -1995. -№ 1.
- Евланов Л. Г. Теория и практика принятия решений.-М.: Экономика, 1984.- 176 с.
- Евтушенко Ю. Г. Методы решения экстремальных задач и их применение в системах оптимизации.-М.: Наука, 1982.-432 с.
- Емельянов С. В., Ларичев О. И. Многокритериальные методы принятия решений.-М.: Знание, 1985.-32с.
- Ерихов M.Jfl. Систематические принципы // Методы анализа и вопросы синтеза схем передач: диссертация на соискание степени доктора технических наук. -СССР, Ленинград, 1972. С. 458.
- Ефимова О. В. Разработка методологии формирования и экономического обоснования программ государственных гарантий обеспечения бесплатной медицинской помощью жителей муниципвльных образований: Дисс.. канд.медиц. наук. М., 2001. —40с.
- Ефимова О.В., ГлуховаГ.А., Сомова Е. Г., Бессмертных М. Ю. Особенности планирования в здравоохранении// Сб. матер. II Междун. медицинского Конгресса. -Ижевск, 1998. —0.111−113.
- Зак П. С. Различные виды червячных передач и методы их производства // Прогрессивные методы зубчатых передач и их технологичность. М.: Машгиз, 1962.-С. 198−239.
- Захаров М.В. Автоматизированное проектирование организационных структур// Проблемы характеризационного анализа и логического управления: Академ, сб. науч. тр. М.: МГГУ, 1999. -С.249−253.
- Зозулевич Д.М. Машинная графика в автоматизированном проектировании -М.Машиностроение, 1976.-240с.
- Зорин A.B. Структура автоматизированной системы поиска оптимального процесса преобразования ресурсов//Проблемы характеризационного анализа и логического управления: Академ, сб. науч. тр. -М.: МГГУ, 1999.-С. 165−172.
- Искусственный интеллект: Применение в интегрированных производственных системах / Под ред. Э. Кьюсиака: Пер. с англ. А.П. Фомина/Под ред. А. И. Дащенко, Е. В. Левнера.-М.: Машиностроение, 1991. 544 с.
- Кармоков Х.М., Суворов A.B., Захаров M.B. Новый формальный подход к анализу и реорганизации деловой деятельности предприятий//Проблемы характеризационного анализа и логического управления: Академ, сб. науч. тр. -М.: МГГУ, 1999. С.29−38.
- Кашаев Ю. X., Потапов В. А., Пуринь Я. Я. Современные гибкие производственные системы и их компоненты/Юбзорн. инф. Сер. С-1. Станкостроение. М.: ВНИИТЭМР, 1985. — 68 с.
- КовригинО: В., Смольяиинов Н. Д., Чмырь А. Я. Экспертные медицинские диагностирующие системы// Изв. АН СССР, Техн. киберн.-1982. № 5. -С. 199—216.
- Коган Ф.А. Инструментальная диалоговая система программирования ДАРП// Автоматизированное проектирование машин, оборудования, приборов и технологических процессов в машиностроении: Тез. стенд, докл. всесоюзн. науч.-техн. конф-Устинов, 1986- С. 53−55.
- Комиссаров М.Ю. Представление графической информации в базе данных САПР// Интегрированные системы автоматизированного проектирования: Тез. докл. Всесоюзн. науч.-техн. конф.-М., 1989. -С. 50−52.
- КОМПАС 3D Руководство пользователя. -192с.
- Компьютер сегодня// PC Magazin: Russian Edition. -1999. -№ 1 (91).-C.33.
- Конвей P. В., Максвелл В. Л., Миллер Л. В. Теория расписаний: Пер. с англ./ Под ред. Г. П. Башарина.-М.: Наука, 1976.-360 с.
- Корбут А. А., Финкельштейн Ю. Ю. Дискретное программирование. -М.: Наука, 1969. -368 с.
- Корягин Д. А, Карпов В.Я., Самарский А. А. Принципы разработки пакетов прикладных программ для задач математической физики ЖВМ
- МФ, 1978,-Т. 18. -№ 2. -С. 458−467.
- Котик М. А., Емельянов А. М. Ошибки управления: психологические причины, метод автоматизированного анализа.-Таллин: Валгус, 1985−391с.
- Криштопа И. В., Микаилов Г. Э., Перевозчикова О. Л. Основные характеристики диалоговых маршрутных систем// Кибернетика. -1984. № 6. -С. 42−48.
- Кулиев Г. Б., Набиев В. В. Математическое обеспечение САПР переключательных схем горной автоматики// Логическое управление с использованием ЭВМ: Тез. докл. 13 Всесоюзн. симпоз.-М.-Симеиз, 1990. -С. 64−70.
- Купреев Н.И. Структуризация и классификация конструкций динамических насосов для их проектирования средствами САПР// Интегральные системы Автоматизированного проектирования: Тез. докл. Всесоюзн. науч-техн. конф.-М.1989. -С. 86−87.
- Ларичев О. И., Никифоров А. Д. Анализ процедур решения многокритериальных задач математического программирования//Проблемы и методы принятия решений в организационных системах управления: Тез. докл. Всесоюзн. конф.-М.: ВНИИСИ, 1984. -С. 70−71.
- Лебедевский М.С., Вейц В. Л., Федотов А. И. Научные основы автоматической сборки. -М.: Машиностроение, 1985. -315 с.
- Левин Г. М., Лившиц Э. Г. Проблемы создания САПР трансмиссий.// 4 Всесоюзное кординационное совещание по автоматизации проектно-конструкторских работ в машиностроении: Матер, совещания Минск, 1989. -42. -С. 51−56.
- Левин М. Ш Применение оптимизационных комбинаторных моделей в автоматизированных системах М.- 1986. -64с.
- Левин М., Ш. Одна экстремальная задача организации данных// Изв. АН СССР, Техн. киберн.-1981. -№ 5. -С. 103−112.
- Левин М. Ш. Детерминированные задачи планирования при идентичных процессорах и одновременном поступлении заявок// Изв. АН СССР, Техн. киберн-1982. № 4.-С. 51−57.
- Левин М&bdquo-. Ш. Комбинаторные модели при принятии решений// Процедуры оценивания многокритериальных альтернатив: Сб. тр.-М.: ВНИИСИ, 1984.-Вып. 9. -С. 35—41.
- Левин М. Ш., Махсон М. А. Вопросы методологии и практики системы государственного надзора//Управление качеством продукции: Обзорная информ.—М.: ВНИИКИ, 1985,-вып. 1.-32 с.
- Леонтьев В. К. Дискретные экстремальные задачи// Итоги науки и техники.-М.: ВИНИТИ, 1979. -Т16 С. 39−102.
- Литвак Б. Г. Экспертная информация: методы получения и анализами Радио и связь, 1972. 184 с.
- Литвин Ф.Л. Теория зубчатых зацеплений. 2-е изд., перераб. и доп-М.:Наука, 1968. -584с.
- Логический подход к искусственному интеллекту: от классической логики к логическому программированию: Пер. с франц. / А. Тейз, П. Грибомон, Ж. Луи и др. -М.: Мир, 1990.-432 с.
- Лукашевич В.К. Модели и метод моделирования в человеческой деятельности / Науч. ред. Л. В. Уваров. Минск: Наука и техника, 1983. -120 с.
- Лэнгсам Й., Огенстайн М., Тененбаум А. Структуры данных для персональных ЭВМ: Пер. с англ. М.: Мир, 1989. — 586 с.
- Майника Э. Алгоритмы оптимизации на сетях и графах: Пер. с англ./ Под ред. Е. К. Масловского.-М.: Мир, 1981.-323 с.
- Малина О. В. Два направления оптимизации вычислительного процесса синтеза объекта//Международный конгресс информатизации: Тр. конгресса. -Ижевск, 1995. -С. 128−129.
- Малина О.В. Концепция построения и функционирования системы автоматизированного конструирования// Ученые Ижевского
- Государственного технического университета производству: Тез. докл. науч. -техн. конф. — Ижевск: Изд-во ИжГТУ, 1994. -С.25.
- Малина О.В. Концепция конструирования сверху вниз. Теоремы оптимизации // Автоматизированное проектирование в технологической подготовке производства: Межвузовский сб. -Ижевск: Изд-во ИжГТУ, 1996. -С.46−52.
- Малина О.В. Особенности использования древовидных структур в системах автоматизированного проектирования // Информационная математика в информациологии: Сб. тр. симпозиума. -Ижевск: Изд-во ИжГТУ, 1997.-С.8−11.
- Малина О.В. Сравнительная характеристика множеств запрещенных фигур объектов различной природы// Информационная математика в информациологии: Сб. тр. симпозиума. -Ижевск: Изд-во ИжГТУ, 1997-С.36−39.
- Малина О.В., Дидковский В. Н. Методология, алгоритмы и программыинвариантной системы структурного синтеза // Информационная математика. -2001. -№ 1, — М.: Изд-во Физ.-мат. лит., 2001. -С. 194−211. ISBN 5−271−03−944−7.
- Малышев Н.Г. Основы оптимального управления процессами автоматизированного проектирования. -М.: Энергоатомиздат, 1990.-224 с.
- Мануэль Т. ЭВМ пятого поколения-осторожный оптимизм-Электроника, 1984.-№ 24,-С. 63−73.
- Мартин Дж. Организация баз данных в вычислительных системах. 2-е изд., доп. — М.: Мир, 1980. — 662 с.
- Махаев С.Н. Лингвистическая модель конструкции привода// Автоматизированное проектирование механических передач: Тез. докл. науч.-техн. конф. -Ижевск, 1982. -С. 24−26.
- Методы и алгоритмы автоматизированного проектирования сложных систем управления/ В. Л. Волкович, А. Ф. Волошин, Т. М. Горлова и др.-Киев: Наукова думка, 1984. 216 с.
- Минков К. Новый подход к базовой геометрии и классификации неортогональных зубчатых передач // Силовые трансмиссии и передачи: Тр. междун. конф. -Чикаго, 1989. Т2. — С. 593−598
- Миркин Б. Г. Анализ качественных признаков и структур-М: Статистика, 1980.-320С.
- Митрофанов Б. В., Пантелеев Ю. Р. Задача синтеза системы электроснабжения//Проблемы и методы автоматизированного проектирования и исследования сложных систем: Сб. тр.-М.: ВНИИСИ, 1985. -Вып 1. -С. 96−105.
- Михалевич В. С., Кукса А. И. Методы последовательной оптимизации в дискретных сетевых задачах оптимального распределения ресурсов -М:Наука, 1983.-207с.
- Мушик Э., Мюллер П. Методы принятия технических решений: Пер. с нем.-М.: Мир, 1990.-208 с.
- Нагао М., Катаяма Т., Уэмура С. Структуры и базы данных. М.: Мир, 1986.- 197 с.
- Немировский А. С., Юдин Д. Б., Сложность задач и эффективность методов оптимизации.-М.: Наука, 1979.-384 с.
- Никонов В.А. Автоматизация конструкторских работ на основе диалоговой системы конструирования ДИСК// Интегрированные системы автоматизированного проектирования: Тез. докл. Всесоюзн. науч.-техн.конф, — М., 1989. С. 101−103.
- Норенков И.П. Введение в автоматизированное проектирование технических устройств и систем.-М.: Высшая школа, 1980. 311с.
- Норенков И.П. Разработка САПР. М.: Изд-во МГТУ им. Н. Э. Баумана, 1994.-207 с.
- ОллеТ.В. Предложения КОДАСИЛ по управлению базами данных.-М.: Финансы и статистика, 1981. 286 с.
- Осипов В.А. Автоматизированная система геометрии и графики// Автоматизированное проектирование машин, оборудования, приборов и технологических процессов в машиностроении: Тез. докл. всесоюзн. науч,-техн. конф-Устинов, 1986.-С. 3−6.
- Осипов В.А. Геометрическое моделирование в САПР// Математическое обеспечение САПР и ГАП в машиностроении: Матер. 5 координационного совещания.-Ижевск, 1984. -С. 72−81.
- Основы автоматизации машиностроительного производства/ Ковальчук Е. Р., Косов М. Г., Митрофанов В. Г. и др./ Под ред. Соломенцева Ю. М. -М:Высш.шк., 1999.-312с.
- Панкова Л. А., Петровский А. М., Шнейдерман М. В. Организация экспертизы и анализ экспертной информации. М.: Наука, 1984.-180с.
- Парасюк И.Н., Сергиенко И. В. Модульный подход к построению семейства пакетов прикладных программ// Программирование. -1981. -№ 6. -С. 29−34.
- Петренко А.И. Основы автоматизации проектирования.-К.:Техника, 1982.-295С. ,
- Петров A.B., Черненький В. М. Проблемы и принципы создания САПР-М.: Высшая Школа, 1990.-143с.
- Подружко А. С., Творогов В. Б. Программный комплекс человеко-машинной системы оптимизации для моделирования развития экономики // Программное обеспечение систем оптимизации.-М.: ВНИИСИ, 1982.1. Вып. 7. -С. 65—76.
- Половинкин А.И. Теория проектирования новой техники: закономерности техники и их применения. М.: Информэлектро, 1991. -104 с.
- Поспелов Г. С., Поспелов Д. А. Искусственный интеллект-прикладные системы.-М.: Знание, 1985.-48 с.