+
Действующая цена700 499 руб.
Товаров:
На сумму:

Электронная библиотека диссертаций

Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО

Расширенный поиск

Моделирование ограниченными сетями Петри динамических информационных структур

  • Автор:

    Смирнова, Елена Игоревна

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

    05.13.18

  • Научная степень:

    Кандидатская

  • Год защиты:

    1998

  • Место защиты:

    Новгород

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

    133 с. : ил.

  • Стоимость:

    700 р.

    499 руб.

до окончания действия скидки
00
00
00
00
+
Наш сайт выгодно отличается тем что при покупке, кроме PDF версии Вы в подарок получаете работу преобразованную в WORD - документ и это предоставляет качественно другие возможности при работе с документом
Страницы оглавления работы


СОДЕРЖАНИЕ
ВВЕДЕНИЕ
1. МОДЕЛИРОВАНИЕ ДИНАМИЧЕСКИХ ИНФОРМАЦИОННЫХ СТРУКТУР. ПОСТАНОВКА ЗАДАЧИ
1.1. Постановка задачи на функциональном уровне
1.2. Критерии адекватности формальной модели
1.3. Анализ предлагаемых подходов и выбор метода моделирования
1.4. Концептуальная модель и общая формальная постановка задачи
1.5. Выводы по главе
2. МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ДИНАМИЧЕСКИХ ИНФОРМАЦИОННЫХ СТРУКТУР И ИССЛЕДОВАНИЕ СВОЙСТВ ПОСТРОЕННОЙ МОДЕЛИ
2.1. Моделирование гиперсегментных структур ограниченными сетями Петри
2.2. Комбинаторная сложность задачи достижимости сценариев
2.3. Регуляризация структуры ограниченной сети Петри и достижимость переходов
2.4. Эквивалентность сетей с полным множеством достижимых переходов
2.5. Выводы по главе
3. АЛГЕБРА (ИСЧИСЛЕНИЕ) ОГРАНИЧЕННЫХ 7Х-СЕТЕЙ ПЕТРИ
3.1. Определение объектов информационного пространства
3.2. Операции над ограниченными ГА-сетями Петри
3.3. Полнота алгебры(исчисления) ограниченных ГА-сетей
Петри относительно введенных операций
3.4. Тождественность преобразований ограниченных ГА-сетей Петри
3.5. Выводы по главе
4. ЯЗЫКОВОЕ ПРЕДСТАВЛЕНИЕ ОГРАНИЧЕННЫХ ГА-СЕТЕЙ ПЕТРИ
4.1. Ярусный макет как структурная единица языка оперирования данными и его свойства
4.2. Символьное описание ограниченных ГА-сетей Петри
4.3. Администрирование гиперсегментной базы данных, описанной в терминах символьного языка
4.4. Правила конструирования живых ограниченных ГА-сетей Петри и полнота языка описания данных
4.5. Пример реализации программного комплекса, построенного на предложенных принципах, для построение логической схемы справочника-атласа системы «Схема кроветворения»
4.6. Выводы по главе
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

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

на "участках" мультимедиа-приложения, некоторым образом укладывающихся в реляционную модель, данная модель не является единственной для реализации реляционно-подобного запроса. Кроме того, реляционная модель устарела и не отвечает сформулированным в параграфе 1.1 требованиям к динамическим информационным системам. В работе [10] реляционные запросы определены для модели, обобщающей иерархическую, сетевую и реляционную. Но и это обобщение не дает желаемого результата в силу статичности классических моделей. Попытка описать гипертекст чисто сетевой моделью или сетевой моделью с добавлением объектно-ориентированной идеологии [14-16,22] приводит к громоздкости аппарата и, как следствие, к сложности операций реконфигурации и интеграции информационных массивов. Использование объектно-ориентированной концепции [18,26,36-37,44] построения структуры данных несостоятельно из-за недостаточной формализации, отсутствия общепринятой терминологии и стандартов.
Резюмируя сказанное и исходя из требований, предъявляемых к динамическим информационным системам, учитывая недостатки существующих моделей и преследуя поставленную в работе цель, можно сформулировать следующие требования к искомому аппарату моделирования.
1. Аппарат должен сводиться к некоторому хорошо изученному формализму, использующему понятие живости и безопасности.
2. В состав аппарата должны входить некоторые базовые конструкции, позволяющие явным способом описывать проблемы синхронизации процесса поиска(одновременность, предшествование, взаимное исключение).
3. Должно использоваться понятие модельного времени и состояния системы в момент времени Ц
Таким формализмом, который мог бы, отвечая сформулированным требованиям решать проблемы формализации й моделирования, является аппарат сетей Петри, расширенный некоторыми дополнительными понятиями.

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

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