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

• Автор: Боженкова, Елена Николаевна
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Новосибирск
• Количество страниц: 108 с. : ил.

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. Приводятся алгоритмы распознавания временных тестовых эквивалентностей и предпорядков между представителями предложенного подкласса.