|
РА421429 Тройніна, Анастасія Сергіївна. Моделі, методи та інформаційна технологія створення та супроводу знанняорієнтованих систем контролю [Text] !Otitkn.pft: FILE NOT FOUND! !oizd.pft: FILE NOT FOUND! !ospec.pft: FILE NOT FOUND! !ovixd.pft: FILE NOT FOUND! !ofizxar_H.pft: FILE NOT FOUND! !Oprim_H.pft: FILE NOT FOUND! !Oisbncnk_H.pft: FILE NOT FOUND! !oant_H.pft: FILE NOT FOUND! !opri451_H.pft: FILE NOT FOUND! !Opris488_H.pft: FILE NOT FOUND! Рубрикатор НБУВ: Тематичні рубрики:
Анотація: Наукова новизна одержаних у роботі результатів полягає в розробці нових і вдосконаленні існуючих моделей та методів побудови та супроводу знанняорієнтованих систем контролю, які у сукупності забезпечують підвищення достовірності контролю та надають можливість оперативного внесення змін до правил. Одержала подальший розвиток математична модель правил у вигляді І/АБО- графа, яка, на відміну від існуючої моделі, заснована на розподілі правил на групи за станами об'єкта та містить спеціальну розмітку графа з урахуванням додаткової інформації про нечіткі та взаємно-протилежні параметри, вершину-стан, структуру правил. Це надало можливість візуалізувати правила двома способами, інтерактивно працювати з ними, забезпечувати нечітке логічне виведення під час їх застосування, а також за рахунок перетворення шляхів у графі, що відповідають правилам, у логічні вирази, розроблено методи перевірки правил. Одержала подальший розвиток математична модель правил у вигляді логічних булевих виразів у зв'язку із застосуванням її для задач контролю, яка, на відміну від існуючої, заснована на розподілі правил на групи за станами об'єкта контролю та містить формули як для "прямих", так і для "інверсних" правил, що надає можливість перевіряти правила на суперечливість, повноту, досяжність станів на ранніх етапах проектування бази знань (БЗ). Вперше розроблено метод перевірки суперечливості посилок правил контролю з використанням моделі правил у вигляді булевих виразів на основі задачі здійсненності булевих формул (SAT), який, на відміну від існуючих, дозволяє виявляти протиріччя між посилками як усередині кожного правила, так і між правилами на етапі концептуалізації знань, що дозволяє зменшити кількість помилок у БЗ. Вперше розроблено метод перевірки правил контролю на повноту з використанням моделі правил у вигляді булевих виразів, що, на відміну від існуючих, заснований на візуалізації як "прямих", так і "інверсних" правил, у яких висновки протилежні висновкам вихідних правил, що дозволяє виявляти та доповнювати відсутні в правилах знання в автоматизованому режимі конструювання нового варіанта БЗ. Одержав подальший розвиток метод перевірки досяжності в правилах контролю станів об'єктів, який, на відміну від існуючого, заснований на моделі правил контролю у вигляді булевих виразів, що дозволяє видаляти правила, які не беруть участі у визначенні стану об'єкта. !oprip481_H.pft: FILE NOT FOUND! Дод. точки доступу: Одес. нац. політехн. ун-т
Видання зберігається у :
|
|