Інтелектуальні методи синтезу семантичних моделей програм
Розробка методу синтезу формальних моделей комп’ютерних програм на основі семантичних анотацій їх елементів. Розробка методу навчання інтелектуальної системи синтезу семантичних моделей програм. Структура онтології для системи синтезу моделей програм.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | автореферат |
| Язык | украинский |
| Дата добавления | 26.08.2015 |
| Размер файла | 125,9 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
В диссертационной работе усовершенствована модель, формализующая семантику компьютерных программ, которая отличается от существующих учетом семантических аннотаций элементов таких моделей. Семантическая аннотация формализует назначение аннотируемого элемента (как множество триплетов вида объект-атрибут-значение), требования к его поведению (как множество логических выражений) и рекомендации по его применению в различных контекстах (как множество правил предпочтения), что позволяет синтезировать предложенные семантические модели программ на основе аннотаций их элементов и проверять выполнимость построенных моделей.
Впервые предложен интеллектуальный метод синтеза семантических моделей программ. Он состоит из этапов семантического аннотирования подлежащих синтезу элементов и поиска уточняющих их компонентов путем логического вывода на основе прецедентов в онтологии аннотированных элементов моделей программ. Разработана структура соответствующей онтологии, которая включает концепты и отношения для описания элементов моделей программ и их атрибутов, семантической аннотации, таксономию концептов общего назначения для заполнения слотов экземпляров семантических аннотаций.
Получил дальнейшее развитие метод проверки выполнимости формальной модели программы, который, в отличие от существующих, учитывает поведенческую составляющую аннотаций элементов семантических моделей программ. Метод основан на составлении и решении задачи CSP в фиксированном домене.
Усовершенствован метод семантико-синтаксического анализа формального языка на основе его многокомпонентной модели. Использование многокомпонентной модели формального языка позволяет унифицировать методы построения анализаторов для языков как с текстовым, так и с графовым синтаксисом, интегрировать этапы синтаксического и семантического анализа. Предложенный метод используется для проверки корректности структуры семантических моделей программ.
Получил дальнейшее развитие метод машинного обучения с подкреплением. В отличие от существующих, метод состоит из этапов формирования «рекомендаций» по применению аннотированных элементов в различных контекстах, формализованных в виде правил предпочтения, и корректировки на их основе сохраненных в онтологии прецедентов использования аннотированных элементов моделей программ, что позволило расширить область применения указанного метода обучения к системам логического вывода на основе прецедентов.
Разработана структура онтологии для системы синтеза семантических моделей программ, включающая концепты и отношения для описания элементов таких моделей, их семантических аннотаций, что позволяет накапливать формализованные в виде аннотаций знания о назначении и прецедентах использования созданных элементов моделей программ.
Разработанные методы и модели реализованы в виде модулей прототипа системы синтеза семантических моделей программ.
Совокупность предложенных в работе методов открывает возможность создания сред синтеза программного обеспечения нового поколения, формализующих «корпоративную память» команды разработчиков с помощью баз знаний, способных обучаться на основе решений, принимаемых разработчиками в процессе создания программных продуктов и использовать накопленные знания в процессе последующего синтеза программного обеспечения, решающего схожие задачи.
Ключевые слова: семантическая модель программы, выполнимость модели, онтология, правило предпочтения, степень доверия, обучение с подкреплением, метод логического вывода на основе прецедентов.
Abstract
Leshchynska O.L. «Intelligent synthesis methods of programs semantic models» - Manuscript.
The thesis for a scientific degree of the candidate on engineering science on a specialty 05.13.23 - systems and means of an artificial intellect - Kharkov National University of Radioelectronics, Kharkov, 2009.
The work is devoted to development of intelligent synthesis and verification methods of programs semantic models. Such methods are able to accelerate the software development process.
Program semantic model and the structure of semantic annotation for model elements, that formalizes the essence of annotated element, its behavioral requirements and context-sensitive usage guidelines, are introduced in thesis. The structure of ontology has been developed that includes concepts and relations for semantic model elements representation, their attributes, semantic annotation elements, general concepts taxonomy to fill annotation instances slots. On the basis of program semantic models and ontological knowledge base such intelligent methods have been developed: semantic model synthesis via refined components matching by case-based reasoning in ontological knowledge model; method of case-based reasoning system reinforcement learning. Verification of program model satisfiability is refined to consider behavioral elements. Method of semantic-syntactic analysis was refined to use multicomponent formal language's model, that unify analysis of textual and graph languages, integrate stages of syntactic and semantic analysis. Models and methods are implemented as prototype of programs semantic models synthesis system.
Keywords: program semantic model, model satisfiability, ontology, preference rule, degree of believe, reinforcement learning, case-based reasoning.
Размещено на Allbest.ru
...Подобные документы
Принципи побудови тривимірних зображень у ГІС засобами комп’ютерної графіки. Інформативність та точність моделей, створених на основі растрових і векторних програм. Технологія побудови 3D-карт за допомогою "ArcGIS/3D Analyst" та "MapInfo"/"Поверхность".
дипломная работа [700,6 K], добавлен 10.05.2015Класифікація та склад антивірусного програмного забезпечення. Методи знаходження комп'ютерних вірусів. Технології сигнатурного та імовірнісного аналізу. Можливості антивірусних програм Avast, AVG, Лабораторії Касперського, Norton AntiVirus, BitDefender.
реферат [26,6 K], добавлен 06.04.2014Найбільш розповсюджені середовища створення графічних зображень та 3D моделей. Основні інструменти векторних редакторів. Функції програм Adobe Photoshop и Корелдроу. Графічні моделі, характеристики й типи графічних файлів. Створення власних моделей.
дипломная работа [6,7 M], добавлен 25.06.2011Розробка програми для реалізації системи, що забезпечує автоматичне управління та моделювання зміни музичних програм на радіостанції з використанням засобів Microsoft Visual. Програмна реалізація інтерфейсу та процесу моделювання роботи системи.
курсовая работа [1,7 M], добавлен 08.01.2012Опис можливостей методу скінчених елементів, аналіз існуючих систем звичайно-елементних розрахунків. Реалізація пластинчастих конструкцій в програмному комплексі Ліра. Аналіз шкідливих факторів при написанні програм. Проектування заземлення будівлі.
дипломная работа [3,0 M], добавлен 03.04.2020Розробка гнучкої довідкової системи, яка дозволяє наочно проілюструвати можливості управління додатками MS Office за допомогою програм, створених у середовищі Delphi. Система базується на використанні технології COM і об'єктних моделей MS Word і MS Excel.
дипломная работа [2,5 M], добавлен 25.10.2012Системи автоматичного керування. Описання методу стикування розв'язків на основі теореми по n-інтервалів. Застосування методу динамічного програмування (рівняння Р. Белмана). Моделювання задачі синтезу та аналізу на електронній обчислювальній машині.
контрольная работа [632,5 K], добавлен 31.03.2014Робота з клієнт-серверними додатками на основі сокетів. Розробка програм сервера та клієнта для обробки запитів клієнта сервером. Можливості програм сервера та клієнта. Створення гри "хрестики-нулики" на основі сокетів. Програмне забезпечення сервера.
лабораторная работа [181,8 K], добавлен 23.05.2015Модульна структура програм і способи інформаційного зв'язку модулів. Визначення, оголошення та виклик функції. Організація та активація функцій з інформаційним зв'язком через аргументи і параметри. Використання вказівників при роботі з функцією.
курсовая работа [1,1 M], добавлен 20.09.2010Теоретичні основи технології віртуалізації як інструменту навчання, проектування мереж та системного адміністрування. Планування складу комп’ютерної мережі, вибір платформи та операційної системи, установка і налаштування програм. Питання охорони праці.
дипломная работа [5,9 M], добавлен 24.04.2014Загальні поняття програмного забезпечення (ПЗ) для персонального комп'ютеру (ПК). Розвиток прикладного ПЗ для ПК, пакетів прикладних програм, а також про використання прикладних програм в житті кожного користувача. Розгляд пакетів прикладних програм.
реферат [30,9 K], добавлен 03.03.2010Теорія обчислювальних систем. Режим обробки, що визначає порядок функціонування системи. Клас оброблюваних задач і порядок їхнього надходження в систему. Порядок ідентифікації обчислювальної системи. Математично задача синтезу обчислювальної системи.
реферат [33,7 K], добавлен 08.09.2011Розробка методу-члену класу для створення нового одновимірного масиву з кількості всіх негативних елементів кожного рядка заданого двовимірного динамічного масиву. Особливість виводу змісту масиву на екран. Аналіз перевірки правильності роботи програми.
лабораторная работа [131,2 K], добавлен 18.11.2021Структура програмного забезпечення. Поняття про операційні системи. Опис комп’ютерних програм: Hortor, Читанка, Ecofin, Expertus, що використовуються в діяльності провізора. Формалізація та алгоритмізація медичних задач. Способи подання алгоритмів.
контрольная работа [1,6 M], добавлен 24.05.2015Розробка та виконання простих програм, програм з розгалуженням, з використанням функцій, масивів, рядків, функцій та структур. Динамічні структури даних. Написання програми обчислення струму по відомих значеннях напруги і опору електричного ланцюга.
курсовая работа [471,0 K], добавлен 02.06.2016Технологія проектування та розробка об'єктно-орієнтованих програм. Використання автоматного підходу при реалізації прикладних програм. Програмні продукти для графічного моделювання кінцевих автоматів. Виконуваний UML та SWITCH-технологія, їх принципи.
курсовая работа [27,1 K], добавлен 23.12.2011Основні джерела ненадійності мережі. Моніторинг широковісних запитів. використання програм типу wrapper, протокол IP v 6, шифрування вмісту пакетів. Технологія функціонування системи FireWall. Використання антивірусних програм та міжмережевих екранів.
презентация [148,2 K], добавлен 19.08.2013Пакети і комплекси програм, які реалізують метод скінчених елементів. Femlab 3.3 - потужне інтерактивне середовище для моделювання і розв'язування наукових і технічних проблем. Вибір варіаційного принципу. Чисельна реалізація математичних моделей.
дипломная работа [1,8 M], добавлен 11.09.2014Написання програм для перейменування файлів та копіювання файлів і підкаталогів (аналоги REN, XCOPY). Вибір методу розв'язки задачі та його обґрунтування. Алгоритм та реалізація програми, її системні вимоги. Інструкція для користувача та лістинг.
курсовая работа [14,7 K], добавлен 08.08.2009Техніка безпеки при роботі з ПК. Користування програмами Norton Commander, Провідник (Ехрlоrеr) і Total Commander для огляду файлової системи, запуску програм, виконання дій з файлами, папками та їхніми групами. Методи захисту від комп’ютерних вірусів.
методичка [2,7 M], добавлен 27.10.2013
