Ви є тут

Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації

Автор: 
Сирота Олена Петрівна
Тип роботи: 
Дис. канд. наук
Рік: 
2009
Артикул:
0409U005197
129 грн
Додати в кошик

Вміст

зміст
дисертаційної роботи, отримані автором самостійно. У роботах, опублікованих у
співавторстві, здобувачу належить: в [, ] – дослідження проблематики
верифікації при проектуванні АСОІ в сучасних умовах, аналіз використовуваних
типів моделей для формалізації бізнес-правил; в [, ] – розробка
мульти-формальної інтегральної моделі АСОІ та бізнес-правил, вибір
формально-логічного апарату для аналізу несуперечності інтегральної моделі,
аналіз та вибір методів подання знань; в [] - проектування інструментального
комплексу SCAFM та опис результатів його застосування; в [] – опис
результатів практичного застосування результатів дисертаційного дослідження.
Апробація результатів роботи. Основні результати роботи доповідались і
обговорювались на наукових конференціях а саме: на V науково-технічній
конференції «Искусственный интеллект. Интеллектуальные и многопроцессорные
системы», с.Кацивелі, р.; на I міжнародній науковій конференції
«Інтелектуальні системи прийняття рішень та прикладні аспекти інформаційних
технологій» (ISDMIT’), м. Євпаторія, р.; на II міжнародній наукової
конференції «Інтелектуальні системи прийняття рішень та прикладні аспекти
інформаційних технологій» (ISDMIT’), м. Євпаторія, р.; на III
міжнародній наукової конференції «Інтелектуальні системи прийняття рішень та
прикладні аспекти інформаційних технологій» (ISDMIT’), м. Євпаторія,
р.; на ІV міжнародній конференції «Управління проектами в розвитку
суспільства» (PM Kiev'), м. Київ, р.
Публікації. Загальний зміст дисертації опубліковано в статтях у фахових
виданнях, затверджених ВАК України, та у тезах та матеріалах
науково-технічних конференцій.
Структура та обсяг дисертації. Дисертаційна робота складається із вступу,
чотирьох
розділів, заключної частини, списку використаних літературних джерел
із найменувань на сторінках, та додатків на сторінці. Повний обсяг
дисертації складає сторінки, із них сторінки основного тексту.
Дисертація містить рисунків, таблицю.
Основний зміст роботи
У вступі розкрито сутність науково-практичної проблеми аналізу несуперечності в
задачах верифікації при проектуванні АСОІ, обґрунтовано актуальність