Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.

Для правообладателей

Обратная связь

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

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

Содержание

Что такое поведение? (инвариант бисимуляционной эквивалентности) 1.Domain theory approach (S.Abramsky 1991)2.ACP with recursion (J.A.Bergstra and J.W.Klop, 1984)3.Coalgebraic approach (P.Aczel, 1988, later B.Jecobs and J.Rutten) 4.Continuous algebras (A.Letichevsky,D.Gilbert,1997)В теории автоматов: Автомат есть транзиционная
Современные проблемы информатики Лекция 2 Алгебра поведений Что такое поведение? (инвариант бисимуляционной эквивалентности) 1.Domain theory approach (S.Abramsky 1991)2.ACP with Алгебра поведенийДва сорта: U – поведенияA – действияСигнатура:префиксинг a.uнедетерминированный выбор u + Монотонность НепрерывностьНаправленное множествоНаименьшая верхняя граньНепрерывность Монотонность следует из непрерывности Поведение есть элемент алгебры поведений⊥ΔΔΔaababaaa.(a+b+⊥)+b.a.(a+a.0) a. Δ = a Как построить алгебру всех поведений произвольных систем над множеством действий А?Алгебра конечных Алгебра конечных поведений Ffin(A)Порождается терминальными константами 0, Состоит из выражений в сигнатуре +, (().())Отношение аппроксимации: Каноническая формаI – конечное множество индексов,Если все ai. ui различны и ui Критерий аппроксимацииИндукция по высоте u Ffin(A) есть инициальная алгебра поведенийАнтисимметричность(индукция) Свободные алгебры поведений Ffin(A,X) Алгебра поведений конечной высотыI произвольное множество (может быть пустое) Критерий аппроксимации – определение. Операции: Полная алгебра поведений F(A)Элементы: классы эквивалентности направленных множеств поведений конечной высотыОт классов Каноническая форма в алгебре F(A)Такое представление единственно, если все различны Теорема о неподвижной точкеДобавление переменных: Следующая лекция Поведение транзиционных системТранзиционная система => поведение => транзиционная система
Слайды презентации

Слайд 2 Что такое поведение?
(инвариант бисимуляционной эквивалентности)
1.Domain theory

Что такое поведение? (инвариант бисимуляционной эквивалентности) 1.Domain theory approach (S.Abramsky 1991)2.ACP

approach (S.Abramsky 1991)
2.ACP with recursion (J.A.Bergstra and J.W.Klop, 1984)
3.Coalgebraic

approach (P.Aczel, 1988, later B.Jecobs and J.Rutten)
4.Continuous algebras (A.Letichevsky,D.Gilbert,1997)

В теории автоматов:
Автомат есть транзиционная система, размеченная парами вход/выход
Поведение есть автоматное отображение
Или
Автомат есть настроенная транзиционная система, размеченная
входными символами
Поведение есть язык

Слайд 3 Алгебра поведений
Два сорта:
U – поведения
A –

Алгебра поведенийДва сорта: U – поведенияA – действияСигнатура:префиксинг a.uнедетерминированный выбор u

действия
Сигнатура:
префиксинг a.u
недетерминированный выбор u + v
константы Δ, 0, ⊥
отношение

аппроксимации
Аксиомы:
аci для недетерминированного выбора
0 есть нейтральный элемент недетерминированного выбора
есть отношение частичного порядка с наименьшим элементом ⊥
Обе операции монотонны и непрерывны (сохраняют наименьшие верхние грани)

Дополнительные структуры:
Действия: комбинация действий × , невозможное и нейтральное действия
Атрибуты: функции на поведениях

Слайд 4 Монотонность

Монотонность

Слайд 5 Непрерывность
Направленное множество
Наименьшая верхняя грань
Непрерывность

НепрерывностьНаправленное множествоНаименьшая верхняя граньНепрерывность

Слайд 6 Монотонность следует из непрерывности

Монотонность следует из непрерывности

Слайд 7 Поведение есть элемент алгебры поведений








⊥
Δ
Δ
Δ
a
a
b
a
b
a
a
a.(a+b+⊥)+b.a.(a+a.0)

Поведение есть элемент алгебры поведений⊥ΔΔΔaababaaa.(a+b+⊥)+b.a.(a+a.0) a. Δ = a

a. Δ = a

Слайд 8 Как построить алгебру всех поведений произвольных систем над

Как построить алгебру всех поведений произвольных систем над множеством действий А?Алгебра

множеством действий А?
Алгебра конечных поведений
Алгебра поведений конечной высоты
Алгебра бесконечных

поведений

Слайд 9 Алгебра конечных поведений Ffin(A)
Порождается терминальными константами 0,
Состоит

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

из выражений в сигнатуре +, (().())
Отношение аппроксимации:

Слайд 10 Каноническая форма
I – конечное множество индексов,
Если все ai.

Каноническая формаI – конечное множество индексов,Если все ai. ui различны и

ui различны и ui представлены в такой же
форме, то

представление u единственно с точностью до
коммутативности недетерминированного выбора.

Индукция по высоте терма h(u)

u сходится, если

и расходится в противном случае

Слайд 11 Критерий аппроксимации
Индукция по высоте u

Критерий аппроксимацииИндукция по высоте u

Слайд 12 Ffin(A) есть инициальная алгебра поведений
Антисимметричность
(индукция)

Свободные алгебры

Ffin(A) есть инициальная алгебра поведенийАнтисимметричность(индукция) Свободные алгебры поведений Ffin(A,X)

поведений Ffin(A,X)

Слайд 13 Алгебра поведений конечной высоты
I произвольное множество (может быть

Алгебра поведений конечной высотыI произвольное множество (может быть пустое) Критерий аппроксимации – определение. Операции:

пустое)
Критерий аппроксимации – определение. Операции:

Слайд 14 Полная алгебра поведений F(A)
Элементы: классы эквивалентности направленных
множеств

Полная алгебра поведений F(A)Элементы: классы эквивалентности направленных множеств поведений конечной высотыОт

поведений конечной высоты
От классов к представителям.
Предел направленного множества

направленных множеств = их объединение.
Бесконечные суммы:

Слайд 15 Каноническая форма в алгебре F(A)
Такое представление единственно, если

Каноническая форма в алгебре F(A)Такое представление единственно, если все различны

все различны

Слайд 16 Теорема о неподвижной точке
Добавление переменных:

Теорема о неподвижной точкеДобавление переменных:
  • Имя файла: sovremennye-problemy-informatiki.pptx
  • Количество просмотров: 171
  • Количество скачиваний: 0
- Предыдущая Ухо - это орган слуха
Следующая - IT-аудит

Похожие презентации

Презентация по ИКТ на тему Электронная почта и другие сервисы сетей (9 класс) Презентация по ИКТ на тему Электронная почта и другие сервисы сетей (9 класс) 142
Презентация к уроку информатики и икт (8 класс) на тему: Системный блок2 Презентация к уроку информатики и икт (8 класс) на тему: Системный блок2 104
Информационные сети. Сетевой уровень взаимодействия Информационные сети. Сетевой уровень взаимодействия 91
Компьютерная графика Компьютерная графика 173
Презентация по информатике Хранение информации Презентация по информатике Хранение информации 126
Презентация по информатке Функции в PHP Презентация по информатке Функции в PHP 154
Программирование на языке ассемблер (Assembler) Программирование на языке ассемблер (Assembler) 123
Клавиатура. Клавиши управления курсором Клавиатура. Клавиши управления курсором 97
Основы логики. Логические операции Основы логики. Логические операции 119
Решение текстовых логических задач Решение текстовых логических задач 105
Построение графиков функций в Excel Построение графиков функций в Excel 133
Табличный процессор EXCEL Табличный процессор EXCEL 72
Аппаратное обеспечение современного компьютера Аппаратное обеспечение современного компьютера 117
06-Understanding JavaScript and Coding Essentials 06-Understanding JavaScript and Coding Essentials 102
Презентация урока по информатике в 4 классе презентация к уроку по информатике (4 класс) ВС Презентация урока по информатике в 4 классе презентация к уроку по информатике (4 класс) ВС 167
Особенности разработки приложений, осуществляющих сетевой обмен для мобильной платформы Windows phone 8 Особенности разработки приложений, осуществляющих сетевой обмен для мобильной платформы Windows phone 8 96
Дома и street art. презентация к уроку по информатике Дома и street art. презентация к уроку по информатике 44
Система активного захисту інформації від витоку технічними каналами Система активного захисту інформації від витоку технічними каналами 82
Two pointers method Two pointers method 98
Мониторы Мониторы 102
Component Enabler for .NET. Overview Component Enabler for .NET. Overview 122
File systems and directories. (Chapter 11) File systems and directories. (Chapter 11) 82
Алгоритм как модель деятельности Алгоритм как модель деятельности 108
Презентация по информатике каналы связи Презентация по информатике каналы связи 117
Ссылка в XML Ссылка в XML 223
Графическое изображение объектов на языке программирования QBasic Графическое изображение объектов на языке программирования QBasic 122
Конспект занятия по информатике план-конспект урока по информатике (1 класс) Конспект занятия по информатике план-конспект урока по информатике (1 класс) 114
Правило раскрашивания Правило раскрашивания 126
Поиск информации в интернете Поиск информации в интернете 120
Управление файлами в программном обеспечении MSC Управление файлами в программном обеспечении MSC 123