Методи та модель верифікації знань для інтелектуалізації Web-контенту
Аналіз методів верифікації Web-контенту і можливості застосування онтологічної моделі подання знань. Доведення достовірності автоматичного гібридного виведення знань. Розробка методів семантичної верифікації знань і інтерпретації верифікаційних елементів.
Подобные документы
- 76. Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
автореферат, добавлен 25.06.2014 - 77. Інформаційна технологія автоматизованого навчання та контролю знань в управлінні учбовим процесом
Розробка системи моделей управління учбовим процесом та засобів інформаційної технології контролю знань і навчання студентів. Підвищенні ефективності управління. Розробка багатокомпонентних математичних моделей. Виділення рівнів представлення інформації.
автореферат, добавлен 27.07.2014 Застосування принципів опрацювання інформаційних ресурсів у системах електронної контент-комерції для реалізації життєвого циклу контенту. Розробка методу формування комерційного контенту для скорочення часу та зменшення ресурсів виробництва контенту.
статья, добавлен 29.08.2016Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
автореферат, добавлен 26.08.2015Підходи до моделювання технологічних процесів, етапи створення математичних моделей і комп'ютерне моделювання технологічних процесів. Стрибок в розробці моделей, їх верифікації, в створенні і використанні модельно-обгрунтованих методів дослідження.
статья, добавлен 05.02.2019Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
автореферат, добавлен 14.08.2015Розробка та характеристика програмного забезпечення, яке дозволяє викладачу проводити опитування студентів з використанням стратегій та практичних питань. Розгляд і аналіз процесу розвитку різних методів освіти за допомогою електронних засобів та систем.
статья, добавлен 27.07.2016Аналіз концепції інтелектуалізації процесів предметно-орієнтованого навчання осіб, приймаючих управлінські рішення в системах автоматизованого керування навчальним закладом. Загальна характеристика методологічної роботи у відображенні організації знань.
статья, добавлен 14.09.2016Розробка системи автоматизованого проектування маршрутів формування кристалів інформаційних систем. Методи виділення фактуальних знань та засоби синтезу моделей і алгоритмів. Технологічне проектування кристалів напівпровідникових інформаційних систем.
автореферат, добавлен 23.02.2014Розгляд систем інтеграції інформації, що призначені для роботи в глобальних інформаційних просторах. Структура й організація мережі Інтернет. Дослідження методів подання логічних правил для формування інтелектуальних механізмів менеджменту інформації.
автореферат, добавлен 10.08.2014Розробка теоретичних основ, методів, алгоритмів, програм для створення базового електронного комплексу навчальних дисциплін (БЕКНД). Формалізація завдання експертних оцінок елементів системи при нечіткій початковій інформації. Система оцінювання знань.
автореферат, добавлен 13.08.2015Розроблення програмного забезпечення з Web-інтерфейсом, яке дозволяє здійснювати структуризацію і формалізацію знань учбового медико-біологічного курсу "Паразитологія", формувати формалізовані когнітивні структури, а також зберігати їх в базі даних.
статья, добавлен 15.02.2018Дослідження особливостей побудови і функціонування територіально-розподілених систем дистанційного навчання, їх недоліків та проблем, пов'язаних з їх функціонуванням. Розробка моделі тестування знань, у якій студент розглядається як "чорна скринька".
автореферат, добавлен 26.08.2015Процес застосування технологій в управлінні інформацією і знаннями. Підтримка діяльності робітників розумової праці, головні методи. Сутність технології DigitalDashboard як електронної інформаційної панелі. Основні можливості Outlook 2000 від Microsoft.
реферат, добавлен 05.10.2013Використання у науковій діяльності інформаційних баз даних. Формування науково-дослідної інфраструктури Інтернету. Створення бібліотечних електронних онтологій та соціогуманітарних баз знань. Збирання та архівування мережевих електронних ресурсів.
статья, добавлен 06.03.2018Дослідження можливості використання моделі нейронних мереж штучного інтелекту при підготовці авіаційних спеціалістів. Характеристика етапів синтезу нейромережевої моделі залежності залишкових знань суб’єктів навчання від їх індивідуальних здібностей.
статья, добавлен 16.11.2017Розробка методології системного проектування при проектуванні CRM-Call-центрів. Використання нейроних мереж в генерації знань, котрі опираються на первинну інформацію в базі даних. Реалізація комп'ютерної програми "Концептуальний аналіз моделювання".
автореферат, добавлен 14.09.2014Підвищення якості інтелектуальної обробки даних у автоматизованих інформаційних бібліотечних системах. Розробка логічної мережі для синтаксичного аналізу, моделі обробки текстової інформації у документах з використанням єдиного математичного апарату.
автореферат, добавлен 19.07.2015- 94. Методи та засоби експертної системи вибору раціональних проектних рішень просторових конструкцій
Дослідження і розробка основних компонентів експертних систем – користувальницького інтерфейсу, інформаційно-логічної моделі об'єкта, бази знань, що відповідають вимогам сучасних комп'ютерних технологій проектування. Аналіз просторових конструкцій.
автореферат, добавлен 28.06.2014 Ефективність роботи автоматизованих систем управління (АСУ) за рахунок зростання якості і безпомилковості дій операторів шляхом впровадження в практику навчання й оцінки їхніх знань. Адаптація оператора до програмної системи з інтелектуальним інтерфейсом.
автореферат, добавлен 27.07.2014Опис застосування породжувальних граматик у лінгвістичному моделюванні. Характеристика методу породжувальної граматики у комп’ютерній лінгвістиці. Аналіз схеми лінгвістичного аналізу текстового контенту під час формування контенту. Розробка алгоритмів.
статья, добавлен 29.08.2016Аналіз методів та засобів моделювання поведінки систем автоматичного керування. Дослідження моделі засобу, що реалізує процес моделювання, розробка його складових частин. Розробка обчислювальної схеми та програм моделювання систем автоматичного керування.
автореферат, добавлен 28.09.2015Створення інформаційної технології для одержання інтерпретованих прогнозних моделей на основі нечітких правил, отриманих за допомогою еволюційних методів. Описання комплексу апаратних засобів, мінімально необхідних для функціонування технології.
автореферат, добавлен 26.08.2015Дослідження процесу поширення на початку ХХІ ст. засобами веб-енциклопедії "Вікіпедія" знань про місце України на світовій історичній осі ХV–ХІХ ст. Зміст українського мовного сегмента. Аналіз статистики переглядів Вікіпедії з території України.
статья, добавлен 28.07.2016Дослідження проектування автоматизованих систем управління. Обґрунтування використання діалогових алгебро-граматичних моделей представлення знань для їх синтезу. Розробка інструментарію проектування комп’ютерних систем – діалогова трансформаційна машина.
автореферат, добавлен 27.08.2014