Методи та модель верифікації знань для інтелектуалізації Web-контенту
Аналіз методів верифікації Web-контенту і можливості застосування онтологічної моделі подання знань. Доведення достовірності автоматичного гібридного виведення знань. Розробка методів семантичної верифікації знань і інтерпретації верифікаційних елементів.
Подобные документы
Розгляд проблеми дослідження та розроблення методів верифікації інформаційного наповнення користувачів віртуальних спільнот. Перевірка достовірності персональних даних і формування та дослідження інформаційного сліду учасника віртуальної спільноти.
статья, добавлен 21.06.2016Огляд методів покращення експертної системи навчання словотворенню шляхом скорочення кількості похідних слів у результаті словотворчого синтезу за рахунок формалізації особливостей семантики. Розробка словотворчої бази знань та алгоритмів її обробки.
автореферат, добавлен 25.08.2015Онтологічні моделі для формалізації знань із фармації. Створення єдиного інформаційного простору для уможливлення швидкого обміну інформацією у фармацевтичній галузі. Створення уніфікованої та стандартизованої системи передавання та оновлення знань.
статья, добавлен 14.10.2016Шляхи підвищенні оперативності та ефективності прийняття знанняорієнтованих рішень за умов лінгвістичної невизначеності при складанні розкладу занять у вищих навчальних закладах. Використання і розроблення нових моделей і систем інженерії квантів знань.
автореферат, добавлен 29.09.2014Інформаційно-пошукова система і система керування базами даних. Сукупність формалізованих введень про предметну область. Види і форми представлення знань на різних етапах. Інструментальні засоби побудови метод баз. Особливості подання у вигляді фреймів.
реферат, добавлен 27.02.2014Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Реалізації системного підходу до організації процесу тестування для забезпечення якісного контролю знань студентів. Огляд онлайн сервісів, призначених для формування банку завдань та організації тестового контролю знань. Структура пакету тестових завдань.
статья, добавлен 19.02.2016Аналіз сучасних методів і алгоритмів перенацілюваної компіляції. Розробка методу аналізу придатності мікропроцесорних архітектур. Розробка мови опису мікропроцесорної архітектури та експертних знань на базі тегової моделі мови розмітки гіпертексту XML.
автореферат, добавлен 22.06.2014Підвищення ефективності процесу діагностування комп’ютерних засобів на етапі експлуатації шляхом розроблення інформаційної технології подання знань та даних на основі нечіткої логіки. Розроблення програмного забезпечення експертної системи діагностування.
автореферат, добавлен 28.08.2015Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014- 61. Моделі та засоби оцінювання знань за допомогою гібридної нечітко-нейронної інформаційної технології
Особливість гібридної нечітко-нейронної інформаційної технології для автоматизованої оцінки знань, яка дозволяє враховувати час, витрачений на виконання конкретного завдання. Аналіз використання математичного апарату теорії нечітких множин та логіки.
автореферат, добавлен 29.09.2014 Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
автореферат, добавлен 29.08.2014Побудова групами експертів, що взаємодіють за допомогою Internet, бази знань системи підтримки прийняття рішень, в якій використано метод динамічного цільового оцінювання альтернатив. Розгляд функцій та структури програмного забезпечення бази знань.
статья, добавлен 29.01.2019Розробка програмного та інформаційного забезпечення підсистеми контролю знань за темою "Програмування на мові Delphi. Запис арифметичних виразів". Вимоги до програмного та інформаційного забезпечення. Використання інноваційних методів навчання.
статья, добавлен 14.07.2016Опис, специфіка методів і засобів, що застосовуються в автоматизованих системах обробки інформації та управління прийняття рішень. Характеристика, особливості та аналіз чинних автоматизованих систем управління навчальним процесом і тенденцій їх розвитку.
автореферат, добавлен 29.01.2016Характеристика методу і засобів для виділення знань з природномовного тексту. Аналіз багатоетапного алгоритму, що містить ієрархічну кількарівневу процедуру розпізнавання понять, зв’язків, предикатів та правил, які в результаті вносяться до онтології.
статья, добавлен 29.08.2016Розробка програмного коду, який дозволяє дізнатися інформацію про студента, який проходить тестування, дає можливість відповісти на декілька запитань і дізнатися результат знань студента з теми "Класи". Проектування тестових питань та тестової програми.
курсовая работа, добавлен 29.01.2013Етапи процесу створення тесту, його наукового обґрунтування, переробки та покращення. Розробка системи контролю знань студентів з дисципліни "Програмування". Програмна реалізація класу введення даних. Алгоритм роботи програми в режимі користувача.
курсовая работа, добавлен 19.05.2016Основна ідея методу змістової ідентифікації об’єктів баз знань. Визначення важливості ключових слів експертним шляхом. Аналіз підходу до підвищення адекватності моделей предметних областей методу змістової ідентифікації та варіанти його застосування.
статья, добавлен 30.08.2016Основна характеристика розробки контролюючої програми в програмному середовищі Delphi. Головний аналіз створення можливості корегування тестових завдань за допомогою конструктора тестів. Особливість захисту даних із використанням методів криптографії.
статья, добавлен 30.09.2018Дослідження задач прийняття рішень при неповній початковій інформації. Побудова алгоритмів синтезу цільових псевдобулевих функцій на основі знань. Обчислення паретівської множини шляхом попарних порівнянь точок. Розробка метода активних звужуючих запитів.
автореферат, добавлен 22.06.2014Створення мови формалізації досвіду експертів системи представлення й інтерпретації знань у динамічних предметних середовищах, що складає основу методології побудови моделей динамічних систем. Алгоритми оцінки динаміки функціонального стану організму.
автореферат, добавлен 07.08.2014Синтез та оптимізація нейромереж змінної архітектури з комутаційним елементом. Моделі аналізу нечітких даних, що описуються нечіткими алгоритмами. Експериментальний зразок діагностичної експертної системи Н-Гомеопат як підтримки процесів діагностики.
автореферат, добавлен 19.07.2015Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Розроблення методу адаптивного інформаційного пошуку на основі контекстної моделі користувача, який складається з методів автоматичного формування моделі користувача і стереотипів, методів автоматичного розширення запиту інформацією з його моделі.
автореферат, добавлен 02.08.2014