Search academic texts

Information × Registration Number 0413U002918, Candidate dissertation Status к.ф.-м.н. Date 25-04-2013 popup.evolution o Title Formalization, research and application of nomination methods in the program specification languages Author Rossada Tatyana Vladimirovna, popup.head Nikitchenko Mykola Stepanovych popup.opponent Скобелєв Володимир Геннадійович popup.opponent Годлевський Олександр Богуславович Description Метою даної роботи є аналіз, формалізація та дослідження тих властивостей номінації, які використовуються на сьогоднішній день у мовах специфікацій (та програмування), але не вкладаються в рамки класичної теорії номінації. Побудовано та досліджено номінативні моделі даних, в яких представлені структурованість імен, полісемія, синонімія, непряма адресація, толерантність. Запропоновано семантичні інтерпретації композиційно-номінативної мови виконуваних специфікацій SiCoN над введеними моделями даних. Для побудованих моделей доведено стабільність специфікацій розширеної мови SiCoN над даними із синонімією щодо заміни даних на синонімічно-еквівалентні; стабільність специфікацій розширеної мови SiCoN над даними із багатозначним іменуванням та полісемією щодо заміни даних на еквівалентні; монотонність специфікацій розширеної мови SiCoN відносно збагачення вхідних даних із багатозначним іменуванням та полісемією; збереження специфікаціями мови SiCoN еквівалентності, що базується на початковій еквівалентності базових значень із багатозначним іменуванням. Визначено логіки предикатів над даними з непрямою адресацією та даними з відношенням толерантності. Розроблено модуль для роботи з реляційними номінативними даними, що включає основні функції для роботи з ними. Результати роботи впроваджуються у навчальний процес, вони можуть застосовуватись при розробці інформаційних та програмних систем. Registration Date 2013-04-25 popup.nrat_date 2020-04-04 Close