Барков Игорь Александрович рабочая программа

Наименование тем и разделов

Макси-мальная учеб. нагрузка студента, (час)

Количество аудиторных часов при очной форме обучения

Самостоя-тельная работа студентов

Всего

Лекц.

Практ.

Лаб

Введение.

1. Цели изучения и состав дисциплины. Тенденции развития САПР. Моделирование формы и содержания изделия.

4

2

2

2

Итого:

4

2

2

0

0

2

Часть 1. Базовые сведения

1. Лингвистические основы. Синтаксис и семантика. Понятие. Семантические валентности. Сочетаемость понятий в тексте. Семантический анализ текста на основе сочетаемости понятий. Анафорические отношения и референциальные тождества.

4

2

2

2

2. Математические основы. Тран-зитивные множества. Теория моделей транзитивных множеств. Математи-ческая семантика: теория неподвижных точек, денотационная семантика, аб-страктные типы данных.

6

4

2

2

2

3. Информационные основы. Синтак-сическая и семантическая (смысловая) обработка данных. Процедурные и де-кларативные языки. Модели обработки декларативных языков. Декларативная и операционная семантика. Построение интеллектуальных тезаурусов.

4

2

2

2

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

4

2

2

2

Итого:

18

10

8

2

0

8

Часть 2. Теория декларативной конструкторской семантики

1. Концептуальные средства конструк-торской семантики. Конструкторские типы. Отношения между конструк-торскими типами. Деревья компонентов конструкции. Последовательность дере-вьев компонентов. Система координат в деревьях компонентов. Таблицы. Система описания свойств изделия.

6

4

1

2

1

2

2. Конструкторские данные и кон-структорские операции. Простые и составные конструкторские данные. Мо-дель простых конструкторских данных. Иерархическая структурная надстройка над моделью простых конструкторских данных. Операции над составными кон-структорскими данными.

5

3

1

1

1

2

3. Семантические описания свойств из-делия. Конструкторское понятие. Пра-вила семантической сочетаемости конс-трукторских понятий. Описания констру-кторских понятий: остенсивные, вербаль-ные, эксплицитные, имплицитные, реаль-ные, номинальные. Структурные, пред-метные и предикатные свойства изделия.

8

6

2

2

2

2

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

8

6

2

2

2

2

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

7

5

1

2

2

2

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

5

3

1

2

2

Итого:

39

27

8

11

8

12

Часть 3. Теория операционной конструкторской семантики

1. Семантические конструкторские моде-ли. Анализ и синтез конструкторских структур. Термальные описания конс-трукторских структур. Мономорфные и полиморфные конструкторские струк-туры. Синтез конструкторских структур. Автоматический синтез мономорфных конструкторских структур. Автома-тизированный и автоматический синтез полиморфных конструкторских структур.

7

4

1

2

1

3

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

7

4

1

2

1

3

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

8

5

1

2

2

3

4. Обогащение конструкторских моделей с помощью нерекурсивных определений.

6

3

1

1

1

3

5. Обогащение конструкторских моделей с помощью рекурсивных определений.

6

3

1

1

1

3

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

7

4

1

1

2

3

Итого:

41

23

6

9

8

18

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

7,5

4,5

0,5

2

2

3

5,5

2,5

0,5

2

3

7,5

4,5

0,5

2

2

3

6,5

2,5

0,5

2

4

7

4

2

2

3

9

6

2

2

2

3

8

5

1

2

2

3

8

5

1

2

2

3

9

6

2

2

2

3

Итого:

68

40

10

12

18

28

Итого по дисциплине:

170

102

34

34

34

68

1

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

2

2

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

2

3

Информационные основы. Синтаксическая и семантическая (смысловая) обработка данных. Процедурные и декларативные языки. Модели обработки декларативных языков. Декларативная и операционная семантика. Построение интеллектуальных тезаурусов.

2

4

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

2

5

Концептуальные средства конструкторской семантики. Конструкторские типы. Отношения между конструкторскими типами. Деревья компонентов конструкции. Последовательность деревьев компонентов. Система координат в деревьях компонентов. Таблицы. Система описания свойств изделия.

2

6

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

2

7

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

2

8

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

2

9

Семантические конструкторские модели. Анализ и синтез конструкторских структур. Термальные описания конструкторских структур. Мономорфные и полиморфные конструкторские структуры. Синтез конструкторских структур. Автоматический синтез мономорфных конструкторских структур. Автоматизированный и автоматический синтез полиморфных конструкторских структур.

2

10

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

2

11

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

2

12

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

2

13

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

2

14

Построение подсистемы автоматиче­ского синтеза структурных конструктор­ских решений.

2

15

Построение базы конструкторских данных. Структуры данных семантиче­ских моделей конструкции. Универсум семантических моделей конструкции.

2

16

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

2

17

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

2

Итого :

34

1

Теория моделей.

2

2

Описание семантики методом неподвижных точек

2

3

Описание семантики методом денотационной семантики

2

4

Описание семантики методом абстрактных типов данных

2

5

Построение интеллектуальных тезаурусов.

2

6

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

2

7

Синтез конструкторских структур.

2

8

Конструирование профессиональных расширений семантического языка

2

9

Ранжирование описаний функций и отношений.

2

10

Описание предикатных свойств изделия.

2

11

Описание анафорических отношений и референциальных тождеств.

2

12

Описание отношений агрегации.

2

13

2

14

Изучение языка описания свойств изделий

2

15

Система координат древовидных структур.

2

16

Вычисление логических формул в многозначной логике

2

17

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

2

Итого :

34

Итого:

32

1

Лингвистические основы. Понятие синтаксиса и семантики.

2

Лингвистические основы. Понятие «понятие».

3

Лингвистические основы. Семантические валентности.

4

Лингвистические основы. Сочетаемость понятий в тексте. Семантический анализ текста на основе сочетаемости понятий

5

Лингвистические основы. Анафорические отношения и референциальные тождества.

6

Математические основы. Транзитивные множества.

7

Математические основы. Теория моделей транзитивных множеств.

8

Математическая семантика: теория неподвижных точек.

9

Математическая семантика: денотационная семантика.

10

Математическая семантика: абстрактные типы данных.

11

Информационные основы. Синтаксическая и семантическая (смысловая) обработка данных.

12

Информационные основы. Процедурные и декларативные языки. Модели обработки декларативных языков.

13

Информационные основы. Декларативная и операционная семантика.

14

Информационные основы. Построение интеллектуальных тезаурусов.

15

Конструкторские основы. Состав и результаты процесса конструирования.

16

Конструкторские основы. Применение абстракций и формализации в процессе конструирования.

17

Конструкторские основы. Форма и содержание изделия.

18

Конструкторские основы. Свойства и особенности изделия. Профессиональная, научная и потребительская специфика свойств и особенностей изделия.

19

Конструкторские основы. Содержание конструкторских данных. Интерпретация (семантика) конструкторских данных.

20

Конструкторские основы. Конструкторская семантика и построение интеллектуальных САПР.

21

Концептуальные средства конструкторской семантики.

22

Конструкторские данные

23

Конструкторские операции.

24

Семантические описания свойств изделия.

25

Конструкторское понятие.

26

Правила семантической сочетаемости конструкторских понятий.

27

Описания конструкторских понятий.

28

Структурные, предметные и предикатные свойства изделия.

29

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

30

Семантические конструкторские модели.

31

Автоматизированный и автоматический синтез полиморфных конструкторских структур.

32

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

33

Язык описания свойств изделия.

34

Инструментальные средства семанти­ческих вычислений.