Дослідження та обґрунтування методу тестової верифікації елементів розподілених баз знань
Підтримання у валідному стані баз знань модулів розподіленої системи, їх динамічна верифікація під час застосування. Метод тестової верифікація системи, визначений характером організації верифікаційного ядра. Основна особливість тестової верифікації.
Подобные документы
Розробка засобів для створення інтелектуальних компонентів систем дистанційної освіти. Створення діалогової процедури автоматизованого набуття знань від експерта та методу автоматичного генерування співвідношень питання-відповідь для контролю знань учня.
автореферат, добавлен 29.08.2014Вивчення основ організації та функціонування мікропроцесорних систем на базі мікропроцесорів родини 80х86 фірми Intel. Дослідження особливостей організації арифметично-логічної обробки інформації. Проектування мікропроцесорної системи діагностики.
лабораторная работа, добавлен 12.05.2014Проведення огляду системи цифрового ідентифікатору об'єкта для аналізу потенційних можливостей українських бібліотек, інформаційних центрів та окремих видавничих установ щодо запровадження моделі у практиці. Характерні риси імен в системи Handle.
статья, добавлен 11.09.2013Практичні можливості застосунку CRM-системи. Позитивні наслідки від впливу технології як структурного елемента цифрової інфраструктури: зменшення вартості надання послуг; більша прозорість та ефективність використання ресурсів; виникнення додаткових знань
статья, добавлен 23.06.2023Вивчення ефективності системи контролю обстановки на державному кордоні. Методологічний апарат для визначення показників ефективності системи контролю. Обґрунтування його використання для побудови перспективної системи контролю обстановки на кордоні.
статья, добавлен 14.07.2016Існуючі підходи до моделювання інтелектуальної діяльності: символьний та нейромережевий. Дослідження методів формування бінарних розріджених розподілених представлень інформації та методів її обробки. Характеристика методу грубого кодування Prager.
автореферат, добавлен 29.08.2014Аналіз засобів управління, навчання й консультування користувачів. Засоби придбання знань для автоматизованої інформаційної системи та апарат формальних перетворень структурних схем алгоритмічних алгебр. Стратегії для експертної системи у вигляді графа.
автореферат, добавлен 14.10.2015Поняття предметної області. Огляд електронних засобів навчання, їх класифікація. Комп’ютерні навчальні системи і системи дистанційної освіти, інструментальні засоби їх розробки. Методи машинного навчання (machine learning). Діагностика стану знань учня.
автореферат, добавлен 15.01.2016Аналіз принципів побудови систем дистанційного навчання. Порівняльні характеристики інформаційних технологій. Безпека дистанційного навчання в інтернеті. Архітектура сайту інформаційної підтримки. Розробка системи перевірки знань. Технологія тестування.
курсовая работа, добавлен 04.05.2013Огляд методів покращення експертної системи навчання словотворенню шляхом скорочення кількості похідних слів у результаті словотворчого синтезу за рахунок формалізації особливостей семантики. Розробка словотворчої бази знань та алгоритмів її обробки.
автореферат, добавлен 25.08.2015Розробка методу синтезу формальних моделей комп’ютерних програм на основі семантичних анотацій їх елементів. Розробка методу навчання інтелектуальної системи синтезу семантичних моделей програм. Структура онтології для системи синтезу моделей програм.
автореферат, добавлен 26.08.2015Інформаційно-пошукова система і система керування базами даних. Сукупність формалізованих введень про предметну область. Види і форми представлення знань на різних етапах. Інструментальні засоби побудови метод баз. Особливості подання у вигляді фреймів.
реферат, добавлен 27.02.2014Дослідження особливостей побудови і функціонування територіально-розподілених систем дистанційного навчання, їх недоліків та проблем, пов'язаних з їх функціонуванням. Розробка моделі тестування знань, у якій студент розглядається як "чорна скринька".
автореферат, добавлен 26.08.2015Аналіз ланок системи та системи в цілому. Побудова амплітудно-частотних та фазово-частотних характеристик розімкнутої системи. Побудова логарифмічних частотних характеристик ланок системи. Дослідження системи на стійкість за алгебраїчними критеріями.
курсовая работа, добавлен 20.06.2015Розробка методу й апаратно-програмних засобів підвищення ефективності обробки великих масивів даних у комп'ютерній мережі на основі нових підходів до архітектури систем та раціонального розміщення ресурсів. Розпаралелення алгоритмів керування даними.
автореферат, добавлен 30.08.2014Основна характеристика розробки контролюючої програми в програмному середовищі Delphi. Головний аналіз створення можливості корегування тестових завдань за допомогою конструктора тестів. Особливість захисту даних із використанням методів криптографії.
статья, добавлен 30.09.2018Створення мови формалізації досвіду експертів системи представлення й інтерпретації знань у динамічних предметних середовищах, що складає основу методології побудови моделей динамічних систем. Алгоритми оцінки динаміки функціонального стану організму.
автореферат, добавлен 07.08.2014Планування найбільшого штрафного відношення. Створення віртуальної машини FreeBSD з диском у 8 Гб. Розмітка диску на розділи певного розміру. Розгляд модулів, функцій ядра Linux. Аналіз особливостей системних бібліотек. Механізм завантаження-вивантаження.
контрольная работа, добавлен 20.11.2014Аналіз системи автоматичного дистанційного керування параметрами мікроклімату інкубатора на базі мікропроцесорної системи. Розгляд проектування конструкції макету інкубатора, який реалізує розроблений мікропроцесорний пристрій на платформі Arduino Uno.
статья, добавлен 09.08.2021- 120. Методи та засоби моделювання когнітивної поведінки користувача в адаптивних комп’ютерних системах
Розвиток та вдосконалення інформаційної технології навчання людини за допомогою інтелектуальної навчаючої системи шляхом врахування індивідуальних особливостей засвоєння знань на основі когнітивної моделі користувача. Параметри системи "тьютор – учень".
автореферат, добавлен 24.02.2014 Необхідність вдосконалення функції планування матеріальних ресурсів. Характеристика особливостей функціонування, сфера застосування і переваги використання системи MRP. Визначення основних аспектів формалізації системи елементів управлінської інформації.
контрольная работа, добавлен 23.03.2010Основні недоліки існуючих підходів реінжинірингу інформаційних систем. Дослідження об’єктно-орієнтованого методу реінжинірингу інформаційної системи з використанням об’єктів управління. Визначення часових характеристик об’єктно-орієнтованого методу.
статья, добавлен 12.08.2016Підвищення ефективності процесу діагностування комп’ютерних засобів на етапі експлуатації шляхом розроблення інформаційної технології подання знань та даних на основі нечіткої логіки. Розроблення програмного забезпечення експертної системи діагностування.
автореферат, добавлен 28.08.2015Систематизація та класифікація тестових питань (ТП) в системах тестування та підсистемах оцінювання знань студентів. Аналіз методів генерації ТП та функціональні можливості систем контролю якості знань по забезпеченню об’єктивності процесу тестування.
статья, добавлен 13.01.2017Методами нелінійних розрахунків пластин і оболонок з тріщинами. Розвиток, удосконалення та спеціалізація методу R-функцій. Розробка математичної бази та системи Pole-shell на мові RL, алгоритмів, програмних можливостей системи, технології її експлуатації.
автореферат, добавлен 22.04.2014