Методи та модель верифікації знань для інтелектуалізації Web-контенту
Аналіз методів верифікації Web-контенту і можливості застосування онтологічної моделі подання знань. Доведення достовірності автоматичного гібридного виведення знань. Розробка методів семантичної верифікації знань і інтерпретації верифікаційних елементів.
Подобные документы
Аналіз існуючих методів пошуку й використання інформації про аналогічні проекти при розробленні нової техніки. Розробка методів виділення значущих елементів та інформативних ознак в описі зразків техніки. Процес підбору й оцінювання аналогів зразків.
автореферат, добавлен 26.08.2015Аналіз існуючих засобів формалізації у вигляді булевих формул. Ознайомлення з процесом розробки програмної системи моделювання, включаючи структурну, алгоритмічну організацію та інформаційну технологію. Розгляд верифікації отриманих результатів.
автореферат, добавлен 22.06.2014Побудова математичного забезпечення системи тестування, в основу якого покладено логіко-алгебраїчні методи автоматизації. Моделювання логіки викладача при виставленні балів респонденту. Оцінка точності вимірів за допомогою інформаційних технологій.
автореферат, добавлен 27.04.2014Розробка інформаційної технології метаконтекстного обміну даними. Поняття онтологічного графу як засобу моделювання знань системи метаконтекстної взаємодії. Відносний метод оцінки якості даних системи, що базується на ієрархічному підході їх оцінювання.
автореферат, добавлен 25.06.2014Розробка аналітичних і структурно-функціональних моделей основних компонентів комп'ютеризованих систем навчання, алгоритмів її функціонування. Сутність методу формального логічного подання знань за допомогою однорідних ієрархічних функціональних мереж.
автореферат, добавлен 27.09.2014Підвищення достовірності визначення ступеня ризику синдрому раптової смерті немовляти за рахунок розробки методів інтелектуального аналізу даних, створення на базі розроблених методів експертної системи. Розробка методів кодування для підготовки даних.
автореферат, добавлен 20.07.2015Дослідження структур семантичних онтологічних баз знань для визначення структур оптимального типу, в яких системно поєднуються дані різних етапів контекстного аналізу текстів. Розробка програмно-алгоритмічних засобів семантичної обробки текстів.
автореферат, добавлен 02.08.2014Матриця знань для лінгвістичної змінної (якість структурування видання). Розрахунок кількісного значення оцінки якості процесу кінцевих монтажних спусків книжкових видань. Значення функцій належності інтегрального показника якості досліджуваного процесу.
статья, добавлен 27.12.2016Встановлення таких пріоритетних факторів якості процесу оцифровування стародруків, як стан стародруку, особливість скануючого обладнання та функціональність програмного забезпечення; база знань із виконанням умови "якщо - то". Модель логічного виведення.
статья, добавлен 20.09.2020Математичні моделі надання знань про об'єкт охорони й інформаційно-технічні засоби за рахунок застосування алгебри кінцевих предикатів. Розробка програмного забезпечення процесу підтримки прийняття рішень оператором у разі виникнення позаштатної ситуації.
автореферат, добавлен 25.02.2014Аналіз прикладної галузі програмного засобу. Розробка плану верифікації і тестування компонентів. Функціональна специфікація програмного засобу. Реалізація плану забезпечення і реалізації життєвого циклу програмного засобу засобами Microsoft Project.
курсовая работа, добавлен 06.06.2016Метод ефективного кодування та відтворення знань на основі морфологічного та семантичного аналізу текстових даних і аналізу складних інформаційних об'єктів. Аналіз статистик для характеристик релевантності та швидкості алгоритмів обробки інформації.
автореферат, добавлен 27.02.2014Застосування лінгвомережевої моделі представлення текстових даних у правовій галузі для побудови термінологічної онтології, придатної для автоматизованої обробки. Застосування комп’ютерної обробки природномовних текстів для виокремлення ключових термінів.
статья, добавлен 22.05.2022Навчальні стилі - фактори, що зберігаються в якості відносно стабільних індикаторів у взаємодіях учня з учбовим середовищем. Засоби забезпечення інтероперабельності метаданих моделі агрегатування понятійних об’єктів навчально-орієнтованого контенту.
статья, добавлен 02.10.2018Обґрунтування актуальності створення інтелектуальних навчальних систем, заснованих на систематизованих знаннях. Класифікація властивостей, використання та переваг онтологій. Практичне значення. Аналіз мов, призначених для формального опису онтологій.
статья, добавлен 30.01.2017Сфера застосування комп’ютерних онтологій. Класифікація завдань, вирішуваних за допомогою онтологічного підходу. Розробка, впровадження, взаємодія з користувачами бази знань та сховища даних. Приклади використання онтологій у різних сферах діяльності.
статья, добавлен 26.04.2021Розробка окремих напрямків, методів і прийомів історичної цифрової 3D-реконструкції для формування тематично орієнтованого віртуального середовища на основі пам’яток та об’єктів заповідника. Можливості популяризації історико-культурної спадщини України.
статья, добавлен 04.06.2023Побудова діалогових моделей здобуття, обробки знань та надання адаптації інформаційних систем до когнітивних якостей користувача. Розробка програмного забезпечення адаптивних комп’ютерних технологій, орієнтованих на комунікативні довідкові процеси.
автореферат, добавлен 28.08.2015Аналіз засобів управління, навчання й консультування користувачів. Засоби придбання знань для автоматизованої інформаційної системи та апарат формальних перетворень структурних схем алгоритмічних алгебр. Стратегії для експертної системи у вигляді графа.
автореферат, добавлен 14.10.2015Методика розв’язання задачі забезпечення стійкості обчислювального процесу на основі використання сучасних чисельних методів. Аналіз способів заміни експериментальної побудови бази знань засобами математичного моделювання і комп’ютерної симуляції.
автореферат, добавлен 28.07.2014- 121. Методи та моделі класифікації текстових документів в спеціалізованих інформаційно-пошукових системах
Аналіз сучасних методів класифікації, які враховуватимуть можливості теперішнього обладнання й програмного забезпечення. Особливість вирішення завдання автоматичного систематизування текстових документів для автоматизованих інформаційно-пошукових систем.
автореферат, добавлен 30.10.2015 - 122. Метод проектування та верифікації функцій комплексів засобів захисту від несанкціонованого доступу
Аналіз методу захисту інформацій від несанкціонованого доступу. Створення шаблонів для алгоритмів реалізації послуг безпеки у формальній нотації Паронджанова. Приклад застосування методу для розробки алгоритму реалізації послуги "відновлення після збоїв".
статья, добавлен 01.03.2017 Практичні можливості застосунку CRM-системи. Позитивні наслідки від впливу технології як структурного елемента цифрової інфраструктури: зменшення вартості надання послуг; більша прозорість та ефективність використання ресурсів; виникнення додаткових знань
статья, добавлен 23.06.2023Аналіз існуючих кодових та некодових методів підвищення достовірності в каналах передачі даних. Розробка методу ідентифікації вектора сигналу на фоні інтенсивних завад. Розгляд методики розрахунку бази шумоподібного сигналу для підвищення достовірності.
автореферат, добавлен 30.07.2015Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування.
автореферат, добавлен 30.07.2014