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

Інформація × Реєстраційний номер 0407U004691, Кандидатська дисертація На здобуття к.т.н. Дата захисту 07-11-2007 Статус Запланована Назва роботи Алгебраїчний метод побудови та аналізу структурно-логічних моделей предметних областей інформаційних систем Здобувач Семенова Тетяна Вікторівна, Керівник Жолткевич Григорій Миколайович Опонент Шаронова Наталія Валеріївна Опонент Петров Костянтин Едуардович Опис Об'єкт - процес математичного моделювання ін-формаційно-логічної структури предметних областей у процесі розробки інформаційних систем; предмет - алгебраїчний метод представлення й аналізу структу-рно-логічних моделей предметних областей у процесі розробки інформаційних систем; мета - підвищення ефективності розробки програмних систем за рахунок зменшення кількості помилок на етапі аналізу пред-метної області і специфікації вимог шляхом викорис-тання засобів математичного моделювання інформа-ційно-логічної структури предметних областей; ме-тоди - теорія множин, теорія категорій та функторів, теорія моделювання складних систем, теорія графів, теорія ймовірностей і математична статистика, теорія інформаційних систем; новизна - вперше на основі теорії множин та теорії категорій і функторів запро-поновано нову математичну модель інформаційно-логічної структури (структурно-логічну модель) пре-дметної області інформаційної системи - напівсхему, а також розроблено і математично обґрунтовано су-купність формалізованих операцій її побудови і ве-рифікації, що дозволяє підвищити ефективність роз-робки інформаційної системи за рахунок зменшення кількості помилок на етапі аналізу її предметної об-ласті і специфікації вимог; вперше розроблено метод еквівалентного перетворення напівсхеми в структуру даних, що базується на реляційній моделі, що дозво-лило застосувати реляційну базу даних як сховище даних напівсхем, а реляційну алгебру - як мову опи-сання алгоритмів верифікації останніх; набуло по-дальшого розвитку моделювання методом композиції типових моделей завдяки формалізації поняття стру-ктурного шаблону в межах інформаційно-логічної структури предметної області, що дозволило підви-щити ефективність розробки інформаційних систем за рахунок повторного використання на етапі аналізу предметної області та специфікації вимог заздалегідь спроектованих і верифікованих типових структурно-логічних моделей; удосконалено процес перетворення структурно-логічної моделі предметної області в мо-дель структури даних сховища інформаційної систе-ми за рахунок розробки і обґрунтування алгоритміч-но реалізованих методів відображення напівсхем в схему реляційної бази даних; ступінь впровадження - галузевий; сфера використання - розробка програм-ного забезпечення. Дата реєстрації 2007-11-07 Додано в НРАТ 2020-04-04 Закрити