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

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

Автор: Боженкова, Елена Николаевна

Шифр специальности: 05.13.11

Научная степень: Кандидатская

Год защиты: 2000

Место защиты: Новосибирск

Количество страниц: 108 с. ил.

Артикул: 267302

Автор: Боженкова, Елена Николаевна

Стоимость: 250 руб.

1 Первичные структуры событий как модели параллельных недетерминированных процессов
1.1 Основные понятия и определения. И
1.2 Связь первичных структур событий с другими моделями параллелизма .
1.3 Аксиомы параллельности
1.4 Эквивалентностные понятия
2 Локальные структуры событии и аксиомы параллельности
2.1 Основные определения
2.2 Свойства плотности и перекрестности
2.3 Свойства непрерывности.
3 Дискретновременные структуры событий и тестовые эквивалентности
3.1 Дискретновременные структуры событий
3.2 Временные тестовые эквивалентности и их характеризации .
3.3 Бисимуляция, пребисимуляция и их характеризации
3.4 Распознавание временных тестовых эквивалентностей и предпо
рядков.
4 Непрерывновременные структуры событий и тестовые эквивалентности
4.1 Непрерывновременные структуры событий.
4.2 Временные тестовые эквивалентности и их характеризации .
4.3 Символьные бисимуляция и пребисимуляция и их характеризации
4.4 Распознавание временных тестовых эквивалентностей и предпо
рядков.
Заключение
Литература


В первой главе напоминаются основные понятия теории структур событий. В разделе 1. Раздел 1. Осетями. Иерархия свойств плотности вводится в разделе 1. Понятия бисимуляционных и тестовых эквивалентностей рассматриваются в разделе 1. Во второй главе в контексте локальных структур событий, являющихся расширением первичных структур событий, исследуется ряд аксиом параллельности. Для рассматриваемой модели устанавливаются взаимосвязи между исследуемыми свойствами, и формулируются необходимые и достаточные условия, гарантирующие свойства такого типа. Основные определения, касающиеся локальных структур событий, даны в разделе 2. Иерархия свойств плотности
и перекрестности изучается в разделе 2. В разделе 2. Во третьей главе вводятся и исследуются варианты временных тестовых эквивалентностей в контексте первичных структур событий с дискретными временными характеристиками. В разделе 3. Понятия бисимуляций и пробисимуляций вводятся в разделе 3. Раздел 3. В четвертой главе вводятся и исследуются варианты временных тестовых и символьных бисимуляционных эквивалентностей и предпорядков для модели первичных структур событий, расширенных непрерывными временными характеристиками. Определяются условия, при которых устанавливается совпадение данных отношений, а также предлагаются алгоритмы их распознавания. В разделе 4. В разделе 4. Понятия символьных бисимуляций и пребисимуляций вводятся в разделе 4. В разделе 4. Приводятся алгоритмы распознавания временных тестовых эквивалентностей и предпорядков между представителями предложенного подкласса.

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.211, запросов: 244