ЛИ Ч. . Исследование динамических объектов в составе Ассоциативной объектно-ориентированной базы данных

Объект исследования: Технология обслуживания модели ситуационного дискретного моделирования. Цель исследования: Разработка формальных, алгоритмических и программных средств построения динкамических объектов для исследования системного поведения в АООБД. Методы исследования и аппаратура: Общая теория систем, математическая логика, общая алгебра, теория отношений, теория вероятностей, теория сетей Петри. Теоретические результаты и новизна: Разработаны механизм интерпретации модели, методика оценки эффективности модели и алгоритмы оптимизации плана моделирования по критерию оперативности на основе выражений алгебры динамических таблиц решения (ДТР) с учетом фактора памяти. Практические результаты и новизна: Набор программных средств синтеза и анализа динамических объектов на основе ДТР в среде АООБД. Предмет и степень внедрения: Научные исследования в НТУУ "КПИ", КТУБА и МНТУ. Сфера (область) использования: Автоматизация проектирования АСУ.