Search academic texts

Information × Registration Number 0497U002160, Candidate dissertation Status к.т.н. Date 15-12-1997 popup.evolution o Title Author ЛИ Чженьхай, popup.head Гриша С.Н. popup.opponent Игнатенко Б.В. popup.opponent Жлуктенко С.В. Description Объект исследования: Технология обслуживания модели ситуационного дискретного моделирования. Цель исследования: Разработка формальных, алгоритмических и программных средств построения динкамических объектов для исследования системного поведения в АООБД. Методы исследования и аппаратура: Общая теория систем, математическая логика, общая алгебра, теория отношений, теория вероятностей, теория сетей Петри. Теоретические результаты и новизна: Разработаны механизм интерпретации модели, методика оценки эффективности модели и алгоритмы оптимизации плана моделирования по критерию оперативности на основе выражений алгебры динамических таблиц решения (ДТР) с учетом фактора памяти. Практические результаты и новизна: Набор программных средств синтеза и анализа динамических объектов на основе ДТР в среде АООБД. Предмет и степень внедрения: Научные исследования в НТУУ "КПИ", КТУБА и МНТУ. Сфера (область) использования: Автоматизация проектирования АСУ. Registration Date 1997-12-15 popup.nrat_date 2020-05-17 Close