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

Інформація × Реєстраційний номер 0413U002918, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 25-04-2013 Статус Запланована Назва роботи Формалізація, дослідження та застосування методів номінації у мовах специфікації програм. Здобувач Россада Тетяна Володимирівна, Керівник Нікітченко Микола Степанович Опонент Скобелєв Володимир Геннадійович Опонент Годлевський Олександр Богуславович Опис Метою даної роботи є аналіз, формалізація та дослідження тих властивостей номінації, які використовуються на сьогоднішній день у мовах специфікацій (та програмування), але не вкладаються в рамки класичної теорії номінації. Побудовано та досліджено номінативні моделі даних, в яких представлені структурованість імен, полісемія, синонімія, непряма адресація, толерантність. Запропоновано семантичні інтерпретації композиційно-номінативної мови виконуваних специфікацій SiCoN над введеними моделями даних. Для побудованих моделей доведено стабільність специфікацій розширеної мови SiCoN над даними із синонімією щодо заміни даних на синонімічно-еквівалентні; стабільність специфікацій розширеної мови SiCoN над даними із багатозначним іменуванням та полісемією щодо заміни даних на еквівалентні; монотонність специфікацій розширеної мови SiCoN відносно збагачення вхідних даних із багатозначним іменуванням та полісемією; збереження специфікаціями мови SiCoN еквівалентності, що базується на початковій еквівалентності базових значень із багатозначним іменуванням. Визначено логіки предикатів над даними з непрямою адресацією та даними з відношенням толерантності. Розроблено модуль для роботи з реляційними номінативними даними, що включає основні функції для роботи з ними. Результати роботи впроваджуються у навчальний процес, вони можуть застосовуватись при розробці інформаційних та програмних систем. Дата реєстрації 2013-04-25 Додано в НРАТ 2020-04-04 Закрити