Пошук академічних текстів

Інформація × Реєстраційний номер 0497U002160, Кандидатська дисертація На здобуття к.т.н. Дата захисту 15-12-1997 Статус Запланована Назва роботи Исследование динамических объектов в составе Ассоциативной объектно-ориентированной базы данных Здобувач ЛИ Чженьхай, Керівник Гриша С.Н. Опонент Игнатенко Б.В. Опонент Жлуктенко С.В. Опис Объект исследования: Технология обслуживания модели ситуационного дискретного моделирования. Цель исследования: Разработка формальных, алгоритмических и программных средств построения динкамических объектов для исследования системного поведения в АООБД. Методы исследования и аппаратура: Общая теория систем, математическая логика, общая алгебра, теория отношений, теория вероятностей, теория сетей Петри. Теоретические результаты и новизна: Разработаны механизм интерпретации модели, методика оценки эффективности модели и алгоритмы оптимизации плана моделирования по критерию оперативности на основе выражений алгебры динамических таблиц решения (ДТР) с учетом фактора памяти. Практические результаты и новизна: Набор программных средств синтеза и анализа динамических объектов на основе ДТР в среде АООБД. Предмет и степень внедрения: Научные исследования в НТУУ "КПИ", КТУБА и МНТУ. Сфера (область) использования: Автоматизация проектирования АСУ. Дата реєстрації 1997-12-15 Додано в НРАТ 2020-05-17 Закрити