Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти
Наведення формальної мови для подання математичних текстів. Побудова системи комп’ютерних засобів автоматичної перевірки їх коректності. Розробка процедури пошуку виведення, оригінальної дворівневої архітектури процедури автоматичного доведення.
Подобные документы
Підвищення ефективності процесу діагностування комп’ютерних засобів на етапі експлуатації шляхом розроблення інформаційної технології подання знань та даних на основі нечіткої логіки. Розроблення програмного забезпечення експертної системи діагностування.
автореферат, добавлен 28.08.2015Аналіз тенденцій розвитку сучасних СППРЕБ, методи інтеграції прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції.
автореферат, добавлен 21.11.2013Аналіз методів верифікації Web-контенту і можливості застосування онтологічної моделі подання знань. Доведення достовірності автоматичного гібридного виведення знань. Розробка методів семантичної верифікації знань і інтерпретації верифікаційних елементів.
автореферат, добавлен 29.07.2015Тенденції розвитку сучасних СППРЕБ, інтеграція прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції моделей у СППРЕБ.
автореферат, добавлен 07.11.2013Дослідження проблеми розвитку комп’ютерних засобів і систем. Підвищення ефективності процесів створення систем інформатизації об’єктів народного господарства. Вивчення теорії, методів і засобів проблемної орієнтації архітектури автоматизованих систем.
автореферат, добавлен 30.10.2015Розробка засобів для створення інтелектуальних компонентів систем дистанційної освіти. Створення діалогової процедури автоматизованого набуття знань від експерта та методу автоматичного генерування співвідношень питання-відповідь для контролю знань учня.
автореферат, добавлен 29.08.2014Автоматизація підтримки прийняття рішень при формуванні розкладів занять в умовах невизначеності. Побудова бази нечітких квантів. Моделювання міркувань диспетчерів для комп’ютеризації навчальних процесів. Розробка методу оцінки якості подання знань.
автореферат, добавлен 29.09.2015Аналіз сучасних методів та засобів проектування комп’ютерних пристроїв. Дослідження методів конфігурування базової архітектури з використанням опису алгоритму мовою високого рівня. Розроблення засобів конфігурування моделі базової архітектури процесора.
автореферат, добавлен 14.09.2015Питання, пов'язані із створенням математичних текстів у видавничій системі LATEX при підключеному стильовому пакеті amsmath. Позначення матриць з границями та скорочення членів у математичних виразах. Запис системи рівнянь за допомогою оточення array.
статья, добавлен 13.10.2016Вибір та систематизація методів аналітичного перетворення математичних моделей динамічних об’єктів. Сутність, реалізація методів аналітичного та апроксимаційного перетворення, створення структури пакету комп’ютерних програм, їх специфіка та використання.
автореферат, добавлен 28.08.2015Історія виникнення, передумови появи комп'ютерних мереж. Середовище передавання у комп'ютерних мережах. Класифікація операційної системи комп'ютерних мереж. Мережеві архітектури, опис топологій локальних мереж. Схематичний план з'єднань пристроїв мережі.
курсовая работа, добавлен 11.01.2010Розробка алгоритму та складання програми для створення листів обліку студентів за допомогою мови програмування Паскаль. Алгоритми головної програми, процедури створення вхідного файлу, виведення даних з файлу, пошуку осіб. Опис та тестування програми.
курсовая работа, добавлен 25.01.2016Комп'ютерні системи тестування та оцінювання знань. Розробка математичних моделей, методів і алгоритмів тестування та оцінювання знань. Створення автоматизованої системи тестування знань з використанням Інтернет-технологій та концепції зворотного зв'язку.
автореферат, добавлен 28.07.2014Алгоритми, що використовуються у перетворенні форматів стиснених сигналів. Формалізація математичних моделей та створення багатоканальних комп’ютерних засобів. Удосконалення структур пристроїв криптографічних модулів апаратно-орієнтованих процесорів.
автореферат, добавлен 14.09.2015Використання комп'ютера для автоматичного перекладу текстів. Розробка і впровадження апаратних засобів електронного документообігу. Сучасні засоби автоматизації перекладу. Прокручування вихідного документу і заміна прикладів тексту на іншій мові.
реферат, добавлен 03.11.2015Розробка методів та засобів підвищення ефективності експлуатації і проектування локальних комп’ютерних мереж. Опис комп’ютерних мереж, врахування взаємної залежності даних, що перероблюються в транспортній службі. Практичне значення отриманих результатів.
автореферат, добавлен 29.09.2014Розробка математичних моделей функціональних відмов мікроелектронних цифрових пристроїв. Характеристика методики оцінки показників функціональної надійності логічних елементів та функціональних вузлів ЦП. Розробка архітектури програмної підсистеми.
автореферат, добавлен 12.11.2013Характеристика заходів підвищення продуктивності процедури згладжування контурів графічних об’єктів у системах комп’ютерного дизайну. Особливості програмно-апаратної реалізації розглянутої процедури. Аналітичне співвідношення площі покриття піксела.
автореферат, добавлен 27.08.2014Аналіз проблем комп’ютеризації наукових досліджень та особливостей відомих математичних моделей базисних функцій. Характеристика процедури геометричного конструювання функцій форми та здійснення переходу від планіметричної версії до стереометричної.
автореферат, добавлен 26.08.2015Застосування бібліографічних інструментів BibTEX та CrossTEX для створення математичних текстів та формул у видавничій системі LATEX. Особливості пакетів бібліографічних стилів інструмента BibTEX, які є актуальними для створення математичних текстів.
статья, добавлен 13.10.2016Розробка математичних описів та ефективних адаптивних алгоритмів для комп'ютерного аналізу процесів теплопередачі в системах охолодження на теплових трубах. Створення структури пакету комп'ютерних програм та комплекту самостійних програмних модулів.
автореферат, добавлен 27.07.2015Побудова термінологічної онтології, придатної для автоматизованої обробки графів і складних мереж. Виокремлення й комп’ютеризована обробка ключових природномовних термінів. Розмічування частин мови та сегментація англомовних текстів на окремі речення.
статья, добавлен 26.06.2022- 23. Участь студентів та учнів у створенні комп’ютерних засобів навчання фізико-математичних дисциплін
Комп’ютерні заходи організації самостійної роботи студентів під час розгляду теми "Механічні коливання". Вимоги до створення слайдів, присвячених механіко-електродинамічній аналогії. Методика підвищення мультимедійного супроводу навчального процесу.
статья, добавлен 23.06.2016 Роль автоматизованих інформаційних технологій у суспільстві. Проблеми автоматичної обробки текстової інформації. Комп'ютерна лінгвістика як напрям штучного інтелекту. Використання математичних моделей для природних мов. Створення електронних словників.
реферат, добавлен 21.04.2014Аналіз проблем збереження та пошуку інформації в глобальних комп'ютерних мережах. Розгляд існуючих пошукових систем, аналіз їх недоліків та пропозиція нової розподіленої системи, яка дозволить підвищити ефективність пошуку різних типів інформації.
статья, добавлен 29.01.2019