Дипломы, курсовые, рефераты, контрольные...
Срочная помощь в учёбе

Моделирование конструкторской семантики в интеллектуальных САПР

Диссертация: Моделирование конструкторской семантики в интеллектуальных САПР
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

В настоящей работе показано, что заслуживают внимания и другие схемы построения САПР: «от содержания к форме изделия» и «содержание одновременно с формой». Сутью такого проектирования является переход от совместного обоснования содержания изделия к его форме, одновременное обоснование и содержания, и формы изделия. Совместное моделирование в системах АП формы и содержания изделия отражает… Читать ещё >

Содержание

  • Глава 1. Разработка концепции конструкторской семантики
    • 1. 1. Анализ состояния и тенденций развития автоматизированного проектирования
    • 1. 2. Анализ логики автоматизированного конструирования
    • 1. 3. Анализ семантических исследований
    • 1. 4. Разработка принципов моделирования конструкторской семантики
  • Выводы
  • Глава 2. Разработка семантических средств моделирования свойств и особенностей изделия
    • 2. 1. Семантика свойств и особенностей изделия
    • 2. 2. Семантическая сочетаемость конструкторских понятий
    • 2. 3. Разработка концептуальных средств моделирования свойств и особенностей изделия
  • Выводы
  • Глава 3. Разработка теории декларативной конструкторской семан- 110 тики
    • 3. 1. Формализация задачи моделирования конструкторской семантики
    • 3. 2. Структуры конструкторских данных и конструкторских понятий
    • 3. 3. Операции над конструкторскими данными
    • 3. 4. Исследование свойств конструкторских теорий
  • Выводы
  • Глава 4. Разработка теории операционной конструкторской семантики
    • 4. 1. Формализация задачи вычисления конструкторской семантики
    • 4. 2. Конструкторские модели в многозначной логике
    • 4. 3. Построение конструкторских моделей в многозначной логике
  • Выводы
  • Глава 5. Разработка информационной технологии семантического конструирования
    • 5. 1. Конструкторские модели
    • 5. 2. Анализ структурного конструкторского решения
    • 5. 3. Синтез структурного конструкторского решения
    • 5. 4. Универсум семантических конструкторских моделей
  • Выводы
  • Глава 6. Экспериментальные исследования
    • 6. 1. Описание семантики задачи конструирования с помощью

Моделирование конструкторской семантики в интеллектуальных САПР (реферат, курсовая, диплом, контрольная)

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

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

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

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

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

Основное содержание диссертации размещено в шести главах.

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

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

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

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

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

Выводы.

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

2. Разработана архитектура автоматизированной системы семантического конструирования SD (Semantic Design).

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

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

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

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

Введение

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

6. Разработан синтаксис языка SL/D (, Semantic Language of the Design) описания свойств и особенностей изделия. Разработан метаязык и построено формальное описание синтаксиса языка SL/D, дополненное описанием контекстных условий и семантическими пояснениями. Разработана методика применения языка SLID.

7. Проведено экспериментальное исследование метода семантического конструирования на «Ижевском механическом заводе». В результате эксперимента успешно апробирована задача семантического анализа конструкции.

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

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

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

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

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

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

ЗАКЛЮЧЕНИЕ

.

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

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

Частными результатами, отражающими научную новизну и практическую полезность работы, являются:

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

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

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

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

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

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

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

8. Получено решение задачи автоматического синтеза структурного конструкторского решения. Доказаны условия существования решения задачи. Экспериментально установлено, что число шагов поиска решения сокращается.

7 9 в 10 — 10 раз по сравнению с поиском решения методом простого перебора вариантов. Имеется потенциальная возможность усовершенствования алгоритма.

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

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

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

310 семантический язык SL/D для изделий машиностроения и построено его формальное описание, предназначенное для создания программного обеспечения.

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

13. Для воспроизведения полученного опыта разработана новая дисциплина «Семантическое моделирование в САПР» для студентов специальности САПР, введенная в учебный процесс ИжГТУ. Отдельные темы работы использовались еще в четырех дисциплинах.

Показать весь текст

Список литературы

  1. , Н.В. Экспертные компоненты САПР / Н. В. Чичварин. — М.: Машиностроение, 1991. — 240 с.
  2. , Я. Проектирование и конструирование. Системный подход: Пер. с польского / Я. Дитрих. М.: Мир, 1981. -456с.
  3. Е -программирование / С. С. Гончаров, Д. И. Свириденко // Вычислительные системы. Новосибирск, 1985. — Вып. 107. -С. 2−29.
  4. Логика и практика сборки машин / В. Г. Осетров, Ф. Ю. Свитковский. -Ижевск, 1996. -86 с.
  5. Естественный подход к проблеме описания контекстных условий / В. Ш. Кауфман, В. А. Левин // Вестник Московского университета. Серия «Математика и кибернетика"-М.: МГУ, 1977. -Вып. 2. -С. 67−76.
  6. Examples of formal semantics / D.E. Knuth // Lecture Notes in Mathematics. -N.Y., Springer-Verlag, 1971. -V. 188. -P.212−235.
  7. Программирование в метасинтаксических обозначениях / Е.А. Жого-лев, Е. А. Пилипец //Управляющие системы и машины, 1980. -№ 1, -С.61−65.
  8. ISO TC/184/SC4/WGI. STEP documentation.
  9. , А. В. Типы данных в языках программирования и базах данных : монография / А. В. Замулин. Новосибирск: Наука, 1987. -151 с.
  10. Миндлин, Я.3. Логика конструирования: монография / Я. З. Миндлин. М.: Машиностроение, 1969. -124с.
  11. , И.А. Применение V-языка для разработки программ-трансляторов / И. А. Барков, В. И. Баркова // Обмен опытом в области современных методов разработки программ на ЭВМ. Ижевск, 1982. -С.32−33.
  12. , И.А. Контекстно-синтаксические модели программ и диагностика контекстных ошибок / И. А. Барков, В. И. Баркова Ижевск: УдГУ, 1984. -Деп. В ВИНИТИ 25.04.84 № 2916−84ДЕП. -13с.
  13. , И.А. Системы построения трансляторов. Окончательный. Ус-тиновский механический институт. УМИ. Руководитель И. А. Барков. Инв. № НИОТК 23.86. -Устинов: УМИ, 1986. -57с. -Деп. в ВИНИТИ 15.0183, № 01.83.76 095.
  14. , И.А. Система построения трансляторов как программное средство САПР / И. А. Барков, В. И. Баркова // Логическое управление с использованием ЭВМ. Труды X всесоюзного симпозиума. М. — Устинов: 1987. -С.156−158.
  15. , И.А. Контекстно-синтаксические модели программ и диагностика контекстных ошибок / И. А. Барков, В. И. Баркова // Разработка сложных программных систем. -Ростов-на-Дону: Изд-во РГУ, 1987. -С. 15−24.
  16. , И.А. Применение системы построения трансляторов для разработки пакетов программ / И. А. Барков // Компьютеризация информационных процессов в управлении народным хозяйством. -М., 1988. -Часть 1. -С. 14−15.
  17. , И.А. Автоматизированное конструирование текстовых преобразователей в САПР / И. А. Барков // Шестой всесоюзный научно-технический семинар „Математическое обеспечение систем с машинной графикой“. Ижевск-Махачкала, 1989. -С. 27−29.
  18. , И.А. Автоматизация проектирования тестов по схемам алгоритмов / И. А. Барков, Н. Н. Карпова // Ученые Ижевского механического института производству. Научно-техническая конференция. -Ижевск, 1990. -С.176−177.
  19. , И.А. Разработка универсального средства обработки языков описания данных. Ижевский механический институт. Руководитель И. А. Барков. Отчет. № 1 870 097 338. -Ижевск: ИМИ, 1990. -30с.
  20. Автоматизированное проектирование: Пер. с англ. / Ж. Энкарначчо, Э. Шлехенталь М.: Радио и связь, 1986. -288с.
  21. , С. Обработка знаний: Пер. с япон. / С. Осуга. -М.: Мир, 1989.289 с.
  22. Представление и использование знаний: Пер. с япон. / Под ред. X. Уэно, М.Исидзука. -М.: Мир, 1989. -220 с.
  23. Приобретение знаний: Пер. с япон./ Под ред. С. Осуга, Ю. Саэки. -М: Мир, 1989. -304 с.
  24. Лингвистический энциклопедический словарь / Гл. редактор В. Н. Ярцева. -М.: Советская энциклопедия, 1990. -685 с.
  25. , Ю.А. Типология как основа интеграции знаний / Ю. А. Шрейдер // НТИ. -М, 1981. -Серия 2. -№ 11. -С.1−5.
  26. , Ю.Д. К построению языка для описания синтаксических свойств слова / Ю. Д. Апресян // Проблемы структурной лингвистики. -М., 1972−1973.-С. 279−235.
  27. , Я.Ф. Работа конструктора / Я. Ф. Таленс. -J1.: Машиностроение. Ленингр. отделение, 1987. -255с.
  28. Манна, 3. Теория неподвижной точки программ / 3. Манна // Кибернетический сборник. -М., 1978. -Вып. 15. -С. 38−100.
  29. , С. Введение в метаматематику / С. Клини. -М.: ИЛ, 1957.170с.
  30. Resher, N. Many-valued logic / N. Resher. -N.Y., 1969.-365p.
  31. , Д. Набросок математической теории вычислений / Д. Скотт // Кибернетический сборник. -М., 1977. -Вып. 14. -С.107−121.
  32. , Дж. Взаимодополняющие определения семантики языка программирования / Дж. Донаху // Синтаксис и семантика языков программирования. -М., 1980. -С. 222−394.
  33. Теория моделей / Г. Кейслер, Ч. Чен. -М.: Мир, 1977. -306 с.
  34. , Дж.К. Методы проектирования : пер. с англ. / Дж. К. Джонс -2-е изд.доп. -М.: Мир, 1986. -386с.
  35. , В.И. Опыт внедрения CALS за рубежом / В. И. Дмитров // Автоматизация проектирования. -М., 1997. -№ 1. -С.3−9.
  36. Проектирование ракетных двигателей твердого топлива / A.M. Липа-нов, А. В. Алиев. -М.: Машиностроение, 1995. -400с.
  37. , А.И. Методы инженерного творчества / А.И. Половин-кин. -Волгоград: Изд-во ВПИ, 1984. -365с.
  38. , А.И. Основы инженерного творчества: учеб. пособие для студентов втузов / А. И. Половинкин. -М.: Машиностроение, 1988. 368 с.
  39. Автоматизация поискового конструирования / Под ред. А. И. Половинкина. -М.: Радио и связь, 1981. -344 с.
  40. Koller, R. Konstruktionsmethode fur den Maschinen Gerate und Appa-ratenbau /R. Koller. -Berlin: Springer-Verlag, 1976. -165 p.
  41. Инструкция по государственной научно-технической экспертизе изобретений (ЭЗ-2−74). -М.: Изд-во ЦНИИ ПИиТЭИ, 1975. -62 с.
  42. , И. Эвристические методы в инженерных разработках : пер. с нем / И. Мюллер. -М.: Радио и связь, 1984. -144с.
  43. , В.Ш. Представление и анализ смысла в интеллектуальных информационных системах / В. Ш. Рубашкин. -М.: Наука, 1989. -192с.
  44. , Н. Алгоритмы+структуры данных = программы : пер. с англ. / Н. Вирт. -М.: Мир, 1985. -406с.
  45. Объектно-ориентированное программирование / Г. С. Иванова и др. -М.: Из-во МГТУ им. Н. Э. Баумана, 2001. -320с
  46. , В. Все о мультимедиа / В. Ингенблек. -Киев: BHV, 1996.352с.
  47. , C.JI. Лингвистическая семантика и логика / С. Л. Никогосов // Семантический компонент в системах автоматического понимания текстов. -М.: ВЦП, 1982. -С. 73−78.
  48. А.В., Мельчук И. А. Элементы математической лингвистики. -М.: Наука, 1969. -192с.
  49. Семантика языков программирования: пер. с англ. / Под ред. В.М. Ку-рочкина. -М.: Мир, 1980. -398с.
  50. , Э. Введение в математическую логику / Э. Мендельсон. -М.: Наука, 1976. -320с.
  51. , Д. Семантика контекстно-свободных языков / Д. Кнут // Семантика языков программирования. -М.: Мир, 1980. -С.137−161.
  52. Язык Пролог в вычислительных системах пятого поколения: пер. с англ. -М.: Мир, 1988. -235 с.
  53. Паскаль. Руководство для пользователя и описание языка: пер. с англ. / К. Йенсен, Н. Вирт. -М.: Финансы и статистика, 1982. -151с.
  54. , Д. Конструкторские базы данных : пер. с англ. Д.Ф. Миронова/ Д. Харофас, С. Легг. -М.: Машиностроение, 1990. -224с.
  55. Буч, Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++: пер. с англ. / Г. Буч. -М.: „Издательство Бином“, СПб: „Невский Диалект“, 1998 г. -560 с.
  56. , И.П. Основы автоматизированного проектирования : учеб. для вузов / И. П. Норенков. -М: Изд-во МГТУ им. Н. Э. Баумана, 2000. -360с.
  57. Bochman, G.V. Semantic evaluation from left to right / G.V. Bochman // Comm. ACM. -1976. -Vol. 19. -№ 2. -P.55−62.
  58. Мир Лиспа. В 2-х т. -Т.1: Введение в язык Лисп и функциональное программирование / Э. Хювенен, Й. Сеппянен. -М.: Мир, 1990. -447с.
  59. , С.П. Аксиоматическое описание контекстных связей и условий/ С. П. Крицкий. //Программирование, 1980. -№ 6. -С. 17−26.
  60. , А.С. Реляционная модель вычислений / А. С. Клещев. -Владивосток, 1979. -21с. -Препринт / Институт автоматики и процессов управления.
  61. , А.С. Реляционный язык программирования и принципы его реализации на последовательной ЭВМ / А. С. Клещев. -Владивосток, 1979. -20с. -Препринт/Институт автоматики и процессов управления.
  62. , А.С. Реляционная модель вычислений / А. С. Клещев // Программирование, 1980. -№ 4. -С.20−29.
  63. , С.П. Модель асинхронных вычислений в структурах и языки программирования / С. П. Крицкий // Методы трансляции: сбор. науч. статей. -Ростов-на-Дону: Изд-во Ростовского-на-Дону государственного университета, 1981. -С.92−100.
  64. , С.П. Модель асинхронных вычислений в структурах / С. П. Крицкий // Автоматизация производства пакетов прикладных программ. -Таллин: 1980. -С.95−98.
  65. , С.П. Реализация контекстного анализа с помощью вычислений в структурах/ С. П. Крицкий //Автоматизация производства пакетов прикладных программ. -Таллин: 1980. -С.91−94.
  66. , В.Б. Монотонная булевая функция / В. Б. Алексеев // Математическая энциклопедия. -М.: Советская энциклопедия, 1982. -ТЗ. -С.812−813.
  67. Semantic programming / S.S. Goncharov, Y.L. Ershov, D.I. Sviridenko // Information Processing. Congres IFIP. -North Holland, 1986. -P. 1093−1100.
  68. , Ю.Л. Динамическая логика над допустимыми множествами / Ю. Л. Ершов //Доклады АН СССР, 1983. Вып. 273. -№ 5. -С.1045−1048.
  69. , Ю.Л. Е предикаты конечных типов над допустимыми множествами / Ю. Л. Ершов // Алгебра и логика, 1985. -Вып. 24. -№ 5. -С.499−536.
  70. , Ю.Л. Язык Е выражений / Ю. Л. Ершов // Вычислительные системы. -Вып. 116.-Новосибирск, 1986.-С.3−10.
  71. Денотационная семантика языка Е выражений / В. Ю. Сазонов, Д. И. Свириденко // Вычислительные системы. -Вып. 114. -Новосибирск: ИМ АН СССР, 1986. -С. 16−34.
  72. , Д.И. Проектирование Е программ. (c) — оцениваемость / Д. И. Свириденко // Вычислительные системы. -Вып. 114. -Новосибирск: ИМ АН СССР, 1986. -С. 59−83.
  73. , A.M. Ридэр логический язык для разработки систем обработки данных / A.M. Смолян // Всесоюзная конференция по прикладной логике. -Новосибирск: ИМ АН СССР, 1985. -С. 196−199.
  74. Ф.Л., Гооз Г. Информатика. Вводный курс. Пер. с нем. В 2-ч. -4.1. / Ф. Л. Бауэр, Г. Гооз. -М.: Мир, 1990. -336с.
  75. , С.М. Интеграция электронных геометрических и текстовых данных об изделии на этапе подготовки производства : автореф. дисс.. канд.техн.наук: 05.01.01 / С. М. Локшин. -Нижний Новгород, 2000. -48с.
  76. Scott, D. Lectures on a Mathematical Theory of Computation / D. Scott // Theoretical Foundations of Programming Methodology. -Dordrecht: Reidel, 1982. P. 145−292.
  77. An Information Algebra // Communication of ACM. -1962. -5. N4. p. 190−204.
  78. Логическое программирование: сбор. науч. статей. -М.: Мир, 1988.368 с.
  79. , Т. Языки программирования. Разработка и реализация / Т. Прат. -М.: Мир, 1979. -575с.
  80. , X. Ламбда-исчисление. Его синтаксис и семантика: пер. с англ. / X. Барендрегт. -М.: Мир, 1985. -606с.
  81. Искусство программирования на языке Пролог: пер. с англ. / Л. Стерлинг, Э. Шапиро. -М.: Мир, 1990. -235с.
  82. , В.Н. Типы и абстракция данных в языках программирования / В. Н. Агафонов // Данные в языках программирования. -М.: Мир, 1982. -С. 265−327.
  83. , В.Н. Автоматический анализ машиностроительных чертежей / В. Н. Кучуганов. -Иркутск: Изд-во Иркутского университета, 1985. -112с.
  84. , Ю.А. Перевод как морфизм моделей / Ю. А. Шрейдер // Математическая лингвистика. -М.: Наука, 1973. -С. 104−113.
  85. , Й. Курс цифровой электроники : пер. с голландского: в 4-т. -Т1. Основы цифровой электроники на ИС / И. Янсен. -М.: Мир, 1987. -334 с.
  86. , Ю.А. Неподвижные точки / Ю. А. Шашкин. -М.: Наука, 1989. -80с.
  87. Теория синтаксического анализа, перевода и компиляции: в 2-х т. / А. Ахо, Дж. Ульман. -Том 1. Синтаксический анализ. -М.: Мир, 1978. -612с.
  88. Теория синтаксического анализа, перевода и компиляции: в 2-х т. / А. Ахо, Дж. Ульман. -Том 2. Компиляция-М.: Мир, 1978. -487с.
  89. , С. Математическая логика / С. Клини. -М.: Мир, 1973.480с.
  90. , Ю.А. Равенство, сходство, порядок / Ю. А. Шрейдер. -М.: Наука, 1971.-250с.
  91. , В.Б. Формальный язык как часть естественного / В.Б. Бор-щев // Научно-техническая информация. Серия 2. Информационные процессы и системы, 1994. -№ 1. -С.27−31.
  92. Введение в математическую логику / А. Н. Колмогоров, А.Г. Драга-лин. -М.: Изд-во МГУ, 1982. -119с.
  93. Проектирование механических передач: учебно-справочное пособие для втузов / С. А. Чернавский и др. -5е изд. -М.: Машиностроение, 1984. -560с.
  94. , Ю.Х. Методы автоматического поиска решений при проектировании сложных технических систем / Ю. Х. Вермишев. -М.: Радио и связь, 1982.
  95. Системы автоматизированного проектирования электронной и вычислительной аппаратуры / И. П. Норенков, В. Б. Маничев. -М.: Высшая школа, 1983.
  96. , Р.Г. Текст, машина, человек / Р. Г. Пиотровский. -JL: Наука, 1975.
  97. , В.Н. Теоретические основы построения базовых адаптируемых компонентов САПР МЭА / В. Н. Гридин. -М.: Наука, 1983. -256с.
  98. , А.Ф. Основные принципы разработки интеллектуальных систем проектирования / А. Ф. Колчин // Конструкторско-технологическая ин-форматика-2000: труды IV международного конгресса: в 2-х томах. -Том 1. -М.: Изд-во „Станкин“, 2000. -С.280−283.
  99. Большая советская энциклопедия: изд. 3-е: в 30 томах./ Гл. ред. А. М. Прохоров. -М.: Советская энциклопедия, 1970- 1978.
  100. Словарь русского языка в четырех томах / Под ред. А. П. Евгеньевой. -Т. 1. -АН СССР. Ин-т рус. яз. -М: Русский язык, 1985 1988.
  101. , Г. В. Компоненты структуры текста / Г. В. Колшанский // Лингвистика в высшей школе. -Вып. X. -М., 1981. -С.2−13.
  102. , Е.С. Номинативный аспект речевой деятельности / Е. С. Кубякова. -М.: Наука, 1986. -256с.
  103. , О.И. Проблемы системного описания синтаксиса / О. И. Москальская. -М.: Высшая школа, 1974. -342с.
  104. , Ф.И. Виды асимметрии между сторонами языкового знака / Ф. И. Маулер // Асимметрические знаки в языке. -Орджоникидзе, 1987. -С. 1215.
  105. , Д.П. Вопросы абстракции и образование понятий / Д. П. Горский.-М., 1961.
  106. Анализ развивающегося понятия / А. С. Арсеньев, B.C. Библер, Б. М. Кедров.-М.: 1967.
  107. , Е.К. Понятие / Е. К. Войшвилло. -М.: 1967.
  108. , И.А. Описание свойств изделий в САПР редукторов / И. А. Барков // Пространство зацеплений: сборник докладов научного семинара Учебно-научного центра зубчатых передач и редукторостроения. -Ижевск: Изд-во ИжГТУ, 2001.-С. 159−169.
  109. , А.А. Формализация семантики языка РЕФАЛ / А. А. Шаринбаев // Программирование, 1987. № 3. -С. 32−41.
  110. , И.А. Конструкторские модели в многозначной логике / И. А. Барков // Информационная математика, 2001. -№ 1. -С.212−219.
  111. Компиляторы: принципы, технологии и инструменты.: пер. с англ. / А. Ахо, Р. Сети, Дж. Ульман -М.: Издательский дом „Вильяме“, 2001. -768с.
  112. Толковый словарь по информатике / В. И. Першиков, В. М. Савинков. -М.: Финансы и статистика, 1991. -543с.
  113. , М.Н. Проектирование деталей, узлов, приводов и механизмов летательных аппаратов / М. Н. Слюдиков. -М.: Машиностроение, 1967. -391с.
  114. , П.И. Основы конструирования: Справочно-методическое пособие: в 2-х кн. / Под ред. П. Н. Учаева. -М.: Машиностроение, 1988. -Кн.1.-560с. -Кн.2. -544с.
  115. , А.Ф. Словарь-справочник по механизмам / А. Ф. Крайнев. -М.: Машиностроение, 1987. -560с.
  116. , И.И. Механизмы в современной технике : в 10 томах / И. И. Артоболевский. -М.: Наука, 1979.
  117. , И.А. Математическая лингвистика: конспект лекций для студентов специальностей 22.02 Автоматизированные системы обработки информации и управления и 55.28 Информатика и вычислительная техника / И. А. Барков. -Ижевск: Изд-во ИжГТУ, 2001. -85с.
  118. , Е.А. Программирование в метасинтаксических обозначениях / Е. А. Кузьменкова: дисс.. канд. физ. мат. наук. -М, 1982.
  119. , Е.А. Система синтаксически управляемого конструирования текстов СИНУК / Е. А. Жоголев // Вычислительные методы и программирование. -ML: Изд-во МГУ, 1984. -Вып. 33. -С. 28−46.
  120. , И.В. Синтаксический гиперанализатор для программирования в метасинтаксических обозначениях / И. В. Ветлова // Вычислительные методы и системы обработки данных на ЭВМ. -М.: Изд-во МГУ, 1988. -С. 135 142.
  121. Полный справочник по Java: пер. с англ. / П. Нотон, Г. Шилд. -Киев: Диалектика, 1997. -592 с.
  122. Логика / В. Е. Кирилов, А. А. Старченко. -М.: Высшая школа, 1987.271с.
  123. Логический словарь / Под ред. Ивина А. А., Переверзева В. Н., Петрова В. В. -М.: Мысль, 1994. -268 с.
  124. , Р. Заметки по логике : пПер с англ. / Р. Линдон -М.: Мир, 1968.-128 с.
  125. Данные в языках программирования. -М.: Мир, 1982. -328 с.
  126. Диалоговое проектирование технологических процессов / Н. М. Капустин, В. В. Павлов, JI.A. Козлов и др. -М.: Машиностроение, 1983. -255с.
  127. Автоматизация конструкторского и технологического проектирования / Н. М. Капустин, Г. Н. Васильев. -М.: Высшая школа, 1986. -191с.
  128. , А.А. Алгебраические модели гибких производственных систем / А. А. Лескин. -Л.: Наука, 1986. -150с.
  129. , И.М. Системные принципы создания гибких автоматизированных производств / И. М. Макаров. -М.: Высшая школа, 1986. -175с.
  130. , И.П. Введение в автоматизированное проектирование технических устройств и систем / И. П. Норенков. -М.: Высшая школа, 1986. -304с.
  131. , В.В. Математическое обеспечение САПР в производстве летательных аппаратов / В. В. Павлов. -М.: МФТИ, 1978. -68с.
  132. Основы построения систем автоматизированного проектирования / А. И. Петренко, О. И. Семенков. -Киев, Вища школа, 1985. -294с.
  133. САПР. Типовые математические модели объектов проектирования в машиностроении: методические указания РД50−464−84. -М.: Изд-во стандартов, 1985. -202с.
  134. Технология сборки самолетов / В. И. Ершов, В. В. Павлов, М.Ф. Ка-ширин, B.C. Хухорев. -М.: Машиностроение, 1986. -456с.
  135. В.Д. Системно-структурное моделирование и автоматизация проектирования технологических процессов / В. Д. Цветков. -Минск: Наука и техника, 1979.-264с
  136. , В.В. Структурное моделирование производственных систем : учебное пособие / В.В. павлов. -М.: Мосстанкин, 1987. -80с.
  137. Информационные системы общего назначения. -М.: Статистика, 1974. -471с.
  138. Теоретико-игровая семантика позитивно-образованных формул / С. Н. Васильев, А. К. Жерлов // Российская ассоциация по искусственному интеллекту.
  139. Восьмая национальная конференция по искусственному интеллекту с международным участием КИИ-2002: труды конференции. -Т 1. -М.: Физматлит., 2002. -С.51−59.
  140. Интеллектуальное управление динамическими системами / С. Н. Васильев, А. К. Жерлов, Е. А. Федосов, Б. Е. Федунов. -М.: Физмат лит., 2000. -250с.
  141. , С.Н. От классических задач регулирования к интеллект-ному управлению / С. Н. Васильев // Известия РАН, 2001. -№ 1
  142. Hintikka, J. Language Games for Quantifiers / J. Hintikka // Studies in Logical Theory. -Oxford, 1968.
  143. , M. Допустимые множества и бесконечная логика / М. Макай // Справочная книга по математической логике: в 4-х частях // Под ред. Дж. Барвайса.-Ч.1. Теория моделей: пер. с англ. М.: Наука, 1982. -С .235−288.
  144. Формальная модель стандарта Фортрана: препринт / A.JI. Александров, В. Ш. Кауфман. -Владивосток: ИАПУ ДВНЦ АН СССР, 1982. -24с.
  145. Степанов, A. Pro/Ingeneer. Специальный справочник / А. Степанов. -СПб: Изд-во „Питер“, 2001. -646с.
  146. , И. Программирование на языке Пролог для искусственного интеллекта : пер. с англ. / И. Братко. -М.: Мир, 1990. -560с.
  147. Технология сборочного производства в машиностроении: учеб. пособие / И. В. Абрамов, В. Г. Осетров, И. К. Пичугин, Ю.Б.Ярхов- Под общ. ред. И. В. Абрамова, В. Г. Осетрова. -Ижевск: Изд-во ИжГТУ, 2002. -460с.
  148. Теоретические основы проектирования компиляторов / Ф. Льюис, Д. Розенкранц, Р. Стирнз. -М.: Мир, 1979. -483с.
  149. , Д. Конструирование компиляторов для цифровых вычислительных машин / Д. Грис. -М.: Мир, 1975. -544с.
  150. , Дж. Динамические библиотечно-информационные системы / Дж. Солтон. -Москва: Мир, 1979. -516с.
  151. , И.А. Теория конструкторской семантики / И. А. Барков. -Ижевск: Изд-во ИжГТУ, 2003. -360с.
  152. , И.А. Лингвистическое и программное обеспечение САПР. Конспект лекций для студентов специальности 22.03 Системы автоматизированного проектирования / И. А. Барков. -Ижевск: Изд-во ИжГТУ, 2004. -81с.
  153. , И.А. Семантическое моделирование в САПР. Конспект лекций для студентов специальности 22.03 Системы автоматизированного проектирования / И. А. Барков. -Ижевск: Изд-во ИжГТУ, 2004. -98с.
  154. , И.А. Автоматический синтез структурного описания конструкции / И. А. Барков // Информационные технологии, 2004. -№ 3. -С.4−12.
  155. СНиП II-3−86** Строительная теплотехника/Госстрой СССР. -М.: ЦИТП Госстроя СССР, 1986. -32с.
  156. СНиП 2−01.07−88. Нагрузки и воздействия: Госстрой СССР. -М.: ЦИТП Госстроя СССР, 1988. -36с.
  157. СНиП 2−08.01−89. Жилые здания: Госстрой СССР. -М.: ЦИТП Госстроя СССР, 1990. -16с.
  158. Достоверный и правдоподобный вывод в интеллектуальных системах / В. Н. Вагин, Е. Ю. Головина, А. А. Загорянская, М. В. Фомина / Под ред. В. Н. Вагина, Д. А. Поспелова. -М.: Физматлит, 2004. -704с.
  159. , Н.Н. Прикладная логика / Н. Н. Непейвода. -Новосибирск: Изд-во НГУ, 2000. -490с.
  160. Polymorphism, Parametrization and Typing. An Algebraic Specification Perspective / J. Leszczylowsky, M. Witsing // Symp. on Theor. Asp if Computer Sci. 1991.-P.1−15.
  161. Искусственный интеллект в CASE-технологии / В. Н. Вагин, Е. Ю. Головина, Н. О. Салапина // Программные системы и продукты. -Тверь: НИИ „Центрпрограммсистем“, 1996. -№ 3. -С. 13 -21.
  162. Базы знаний интеллектуальных систем / Т. А. Гаврилова, В. Ф. Хорошевский. -СПб.: Питер, 2000. -384с.
  163. Логический подход к искусственному интеллекту: от модальной логики к логике баз данных / А. Тейз, П. Грибомон, Г. Юлен и др. -М.: Мир, 1998. -494с.
  164. Статические и динамические экспертные системы / Э. В. Попов, И. Б. Фоминых, Е. Б. Кисель, М. Д. Шапот. -М.: Финансы и статистика, 1996. -319с.
  165. Основания программирования /Н.Н. Непейвода, И. Н. Скопин -М.Ижевск: Институт компьютерных исследований, 2003. -868с.
  166. , А.С. Творчество как точная наука. Теория решения изобретательских задач / А. С. Альтшуллер. -М.: Советское радио, 1979. -184с.
  167. Современные понятия и методы программирования / М.М. Бежано-ва, И. В. Поттосин. -М.: Научный мир, 2000.
  168. Вендров, A.M. CASE-технологии. Современные методы и средства проектирования информационных систем / A.M. Вендров. -М.: Финансы и статистика, 1998.
  169. Приемы объектно-ориентированного проектирования. Паттерны проектирования / Э. Гамма, Р. Хелм, Р. Джонсон, Дж. Ворссидес. -СПб: Питер, 2001.-368с.
  170. , Р. Логика в решении проблем / Р. Ковальски. -М.: Наука, 1990. -280с.
  171. Онтологии и тезаурусы / Б. В. Добров, В. В. Иванов, Н. В. Лукашевич, В. Д. Соловьев. -Казань: Казанский государственный университет, 2006. -198 с.
  172. , Ю.И. Тезаурус научно-технических терминов / Ю. И. Шемакин. -М.: Военное из-во министерства обороны СССР, 1974. -192с.
  173. , В.Н. Проект WordNet и его влияние на технологии компьютерной и когнитивной лингвистики : обзорная статья / В. Н. Поляков // Труды Казанской школы по компьютерной и когнитивной лингвистике TEL-2002. -Казань, 2002,-С.6−61.
  174. , Д. Семантический веб: от идеи к технологии URL / Д. Ландэ. -2005. (http://poiskbook.kiev.ua/sw.html)
  175. Базы знаний интеллектуальных систем / Т. Гаврилова, В. Хорошевский. -С-Пб. Литер, 2002. -384 с.
  176. Тест по информатике № 1. -Федеральный центр тестирования, 2006. -4с.
  177. , И.А. Концепция конструкторской семантики / И. А. Барков // Известия ТулГУ. Серия: математика, механика, информатика. -Т. 12. Вып.4. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.213−229.
  178. , И.А. Описание проблемной области изделия в интеллектуальных САПР / И. А. Барков // Известия ТулГУ. Серия: математика, механика, информатика. -Т. 12. Вып.4. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.230−245.
  179. , И.А. Семантика описания свойств и особенностей изделия / И. А. Барков // Известия ТулГУ. Серия: математика, механика, информатика. -Т. 12. Вып.4. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.246−260.
  180. , И.А. Интерпретация описания свойств и особенностей изделия / И. А. Барков // Известия ТулГУ. Серия: математика, механика, информатика. -Т. 12. Вып.5. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.423−436.
  181. , И.А. Семантические конструкторские модели / И. А. Барков // Известия ТулГУ. Серия: математика, механика, информатика. -Т. 12. Вып.5. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.437−452.
  182. , И.А. Монотонные вычисления конструкторской семантики / И. А. Барков // Известия ТулГУ. Серия: математика, механика, информатика. -Т. 12. Вып.5. Информатика. -Тула: Изд-во ТулГУ, 2006. -С.453−469.
  183. , И.А. Свойства декларативной конструкторской семантики / И. А. Барков // Вестн. ИжГТУ. -2007. -№ 2. -С.20−27.
  184. , И.А. Формальная система свойств и особенностей изделия / И. А. Барков // Вестн. ИжГТУ. -2007. -№ 3. -С.5−13.
  185. , И.А. Декларативная конструкторская семантика свойств и осбенностей изделия в интеллектуальных САПР / И. А. Барков // Вестн. ИжГТУ. -2007. -№ 4.-С. 18−26.
  186. Язык описания трехмерных сцен. Версия 2. / В. Н. Кучуганов, А. Е. Лопаткин // Программирование. 1996. № 2. -С. 64−69.
  187. , В.Н. Семантика графической информации. Известия ТРТУ. Тематич. вып. „Интеллектуальные САПР“: материалы междунар. на-учн.-техн. конф. „Интеллектуальные САПР“ / В. Н. Кучуганов. -Таганрог: Изд-во ТРТУ, 2002. -№ 3(26). -С. 157 166.
  188. , В.Н. Визуальное моделирование текстов / В. Н. Кучуганов // Труды Междунар. научно-технич. конференций „Интеллектуальные системы“ (AIS'05)» и «Интеллектуальные САПР» (CAD-2005). М.: ФИЗМАТ-ЛИТ, 2005. — Т. 4. -С. 104−114.
Заполнить форму текущей работой

Заказал и сдал!