Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО
Смирнова, Елена Игоревна
05.13.18
Кандидатская
1998
Новгород
133 с. : ил.
Стоимость:
499 руб.
СОДЕРЖАНИЕ
ВВЕДЕНИЕ
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. Должно использоваться понятие модельного времени и состояния системы в момент времени Ц
Таким формализмом, который мог бы, отвечая сформулированным требованиям решать проблемы формализации й моделирования, является аппарат сетей Петри, расширенный некоторыми дополнительными понятиями.
Название работы | Автор | Дата защиты |
---|---|---|
Моделирование процессов формирования кластерных групп в низкотемпературной плазме | Гаврилов Александр Николаевич | 2019 |
Влияние теплообмена пласта-коллектора с вмещающими породами на неизотермическое течение реального газа | Иванов, Гаврил Иванович | 2014 |
Методы теории измерительно-вычислительных систем для решения задачи интерпретации измерений и их приложение в спектрометрии | Юань Боюань | 2017 |