Методи та модель верифікації знань для інтелектуалізації Web-контенту
Аналіз методів верифікації Web-контенту і можливості застосування онтологічної моделі подання знань. Доведення достовірності автоматичного гібридного виведення знань. Розробка методів семантичної верифікації знань і інтерпретації верифікаційних елементів.
Подобные документы
Підтримання у валідному стані баз знань модулів розподіленої системи, їх динамічна верифікація під час застосування. Метод тестової верифікація системи, визначений характером організації верифікаційного ядра. Основна особливість тестової верифікації.
статья, добавлен 14.07.2016Аналіз природних властивостей декларативних і процедурних знань з метою виявлення структурних, логічних, семантичних і обчислювальних властивостей, які повинна мати модель подання знань. Програмно-інструментальне середовище подання і обробки знань.
автореферат, добавлен 26.09.2015Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Теорема, яка показує, що для отримання результату верифікації з високою достовірністю необхідно, щоб результати перевірок накопичувалися тільки в коректних модулях. Результати досліджень у сфері теорії діагностування розподілених обчислювальних систем.
статья, добавлен 29.06.2016Підвищення ефективності обчислювальної техніки. Використання методів статичної й динамічної верифікації у системах проектування паралельних програм. Побудова графа за допомогою засобів автоматичної візуалізації. Перевірка семантичної коректності структур.
статья, добавлен 10.06.2024Дослідження нечітких методів видобування даних, інтелектуальний аналіз баз нечітких знань та задач. Корегування збережених знань, виведення правил, мінімізації та оптимізації наявних правил, адаптації бази правил до нового зовнішнього середовища.
статья, добавлен 29.08.2016Проблеми розробки й використання баз знань у прогресивних інформаційних технологіях. Математичне визначення моделі концептуалізації предметної області. Узагальнена структура бази знань ПрО. Елементи теорії подання знань із використанням набору аксіом.
автореферат, добавлен 29.01.2016- 8. Діагностування комп’ютерних засобів на основі інтелектуальних методів та моделей опрацювання знань
Моделі та форми подання комп’ютерних засобів у базах знань інтелектуальних систем діагностування. Розробка алгоритмів та програмних засобів дослідження характеристик баз знань предметної галузі "Інтелектуальне діагностування мікропроцесорних складових".
автореферат, добавлен 14.07.2015 Написання програм для вирішення інтелектуальних проблем. Застосування фреймів для представлення знань при реалізації інструментальних засобів. Створення та коригування бази знань, даних на інформаційному рівні, підтримка вибору на якісному рівні.
контрольная работа, добавлен 19.03.2021Сутність процесу управління змінами в онтологіях для інформаційних систем. Обчислювальні методи верифікації темпоральних обмежень цілісності на множині версій моделі онтології. Програмний комплекс, призначений для підтримки автоматизованої верифікації.
автореферат, добавлен 30.07.2015Математичні моделі маніпулювання квантами знань, прийняття технологічних рішень, вирішення багатокритеріальної задачі звуження їх множини в гарячештампувальному виробництві. Алгоритмізація методів прийняття рішень. Інтерактивний програмний комплекс.
автореферат, добавлен 11.08.2014Наведення формальної мови для подання математичних текстів. Побудова системи комп’ютерних засобів автоматичної перевірки їх коректності. Розробка процедури пошуку виведення, оригінальної дворівневої архітектури процедури автоматичного доведення.
автореферат, добавлен 05.08.2014Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
автореферат, добавлен 28.08.2014Систематизація та класифікація тестових питань (ТП) в системах тестування та підсистемах оцінювання знань студентів. Аналіз методів генерації ТП та функціональні можливості систем контролю якості знань по забезпеченню об’єктивності процесу тестування.
статья, добавлен 13.01.2017Комп'ютерні системи тестування та оцінювання знань. Розробка математичних моделей, методів і алгоритмів тестування та оцінювання знань. Створення автоматизованої системи тестування знань з використанням Інтернет-технологій та концепції зворотного зв'язку.
автореферат, добавлен 28.07.2014Концепція будови баз знань у бухгалтерському обліку. Інструментальна підтримка систем звітності із застосуванням відповідних до них форматів і стандартів XBRL та засобів відкритого програмного забезпечення типу редакторів семантичного контенту RDFaCE.
статья, добавлен 30.10.2016Аналіз існуючих автоматизованих систем контролю знань, обробки природномовної інформації. Дослідження лінгвістичних моделей подання знань з урахуванням синонімії понять. Розробка алгоритму обробки текстової відповіді та його комп’ютерна реалізація.
автореферат, добавлен 24.08.2015Розробка структури та моделі підсистеми, а також аналіз засобів контролю знань комп'ютеризованої системи навчання. Характеристика основних методів практичної реалізації розроблених моделей, алгоритмів і програм у комп'ютеризованих системах навчання.
автореферат, добавлен 27.07.2014- 19. Нечітка семантико-онтологічна модель бази знань доменного простору економічної безпеки підприємства
Модель бази нечітких знань як об'єднання часткових баз потенціалів економічної безпеки підприємства. Особливості методології створення нечіткої бази знань доменного простору економічної безпеки та інтегрованої семантико-онтологічної нечіткої бази знань.
статья, добавлен 22.01.2017 Засоби автоматизації тестування рівня знань користувачів гібридних інтелектуальних систем. Агентні та об’єктні методи програмної інженерії. Передавання знань від агента-експерта до респондента. Моделі діалогу інформаційних процедур як доступ до баз знань.
автореферат, добавлен 29.08.2015Дослідження інформаційної підтримки дослідницької діяльності на основі застосування сучасних мережних технологій е-дистанційного доступу до розподілених систем формування знань. Визначення онтологічної моделі у форматі е-сценарію наукових досліджень.
статья, добавлен 24.10.2020Аналіз застосування теорії мультимножин для побудови індивідуальної навчальної траєкторії студента в адаптивній системі дистанційного навчання. Технологія побудови бази знань навчального контенту на основі найменших неподільних квантів інформації.
статья, добавлен 25.12.2016Розробка та використання методів виведення за аналогією для розв’язання аналітичних задач на основі атрибутивних і структурно-атрибутивних моделей знань, представлених в семантичних мережах. Порівняльний аналіз розроблених методів виведення за аналогією.
автореферат, добавлен 28.07.2014- 24. Моделі і методи інженерії квантів знань для прийняття рішень за умов імовірнісної невизначеності
Розробка алгоритмів інженерії квантів знань для комп’ютерної підтримки рішень за умов невизначеності. Дослідження формальних процедур машинного маніпулювання знаннями та операторів їх логічного виводу. Алгоритмізація автоматичного квантування інформації.
автореферат, добавлен 28.09.2015 Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016