Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти
Наведення формальної мови для подання математичних текстів. Побудова системи комп’ютерних засобів автоматичної перевірки їх коректності. Розробка процедури пошуку виведення, оригінальної дворівневої архітектури процедури автоматичного доведення.
Подобные документы
Вивчення структури, базових перетворень та режимів застосування перспективного криптографічного алгоритму симетричного блокового перетворення "Калина". Дослідження математичних та програмних моделей криптоалгоритму для перевірки правильності реалізації.
статья, добавлен 27.07.2016Розробка концепції проблемно-орієнтованої інтегрованої технології формування багатокритеріальних математичних моделей. Створення комплексу процедур формалізації постановки задачі. Запровадження інструментальних засобів автоматизованого формування моделей.
автореферат, добавлен 07.01.2014- 28. Розробка математичних моделей надійності складних систем з урахуванням динаміки умов їх експлуатації
Створення багатофакторної моделі надійності, у якій фактор-"вік" системи виділений із сукупності факторів, що визначають умови й режим експлуатації системи. Для контрольованих систем створення процедури оцінювання коефіцієнтів рівняння регресії.
автореферат, добавлен 26.07.2014 Класифікація засобів захисту інформації: побудова структурованої кабельної системи, спеціальні програми. Характеристика методів захисту від комп’ютерних вірусів. Аналіз засобів криптографічного захисту. Особливості біометричного захисту інформації.
реферат, добавлен 29.03.2015Побудова діалогових моделей здобуття, обробки знань та надання адаптації інформаційних систем до когнітивних якостей користувача. Розробка програмного забезпечення адаптивних комп’ютерних технологій, орієнтованих на комунікативні довідкові процеси.
автореферат, добавлен 28.08.2015Побудова паралельних обчислювальних систем з архітектурою розподіленої загальної пам’яті. Підтримка протоколу IPv6. Розрахунок реєстрації поточної прив'язки в проміжному маршрутизаторі. Розширення функціональних можливостей мобільних комп'ютерних мереж.
автореферат, добавлен 29.07.2014Методологія розроби математичних моделей та комп’ютерних технологій вирішення задач оптимального розподілу ресурсів логістичних систем. Створення алгоритмів та елементів інформаційної розробки теоретико-категорійних і множинних математичних моделей.
автореферат, добавлен 22.04.2014Основні недоліки та складності застосування відомих методів пошуку діагностичної інформації. Використання штучної нейронної мережі для оцінки корисності та достатності повідомлення. Аналіз розробки програмного забезпечення для опрацювання текстів.
автореферат, добавлен 28.09.2014Розробка засобів для підвищення ефективності проектування і експлуатації підсистеми локальної комп’ютерної мережі. Методи покращення транспортної служби локальних комп’ютерних мереж, які базуються на різних технологіях створення каналів передачі даних.
автореферат, добавлен 29.09.2015Розробка математичних моделей сигналів інформаційної взаємодії людини і комп’ютера у процесах психометричного тестування. Аналіз методів формування бази даних для підтримки прийняття рішень в автоматизованих комп’ютерних системах психодіагностики.
автореферат, добавлен 19.07.2015Розробка теоретичних та методологічних засобів опису лінгвістичних зв’язків української мови у вигляді рівнянь алгебри предикатів. Побудова математичних моделей акцентних характеристик і букво-фонемних відношень для голосних та приголосних звуків.
автореферат, добавлен 29.07.2014- 37. Інформаційна технологія автоматизованого навчання та контролю знань в управлінні учбовим процесом
Розробка системи моделей управління учбовим процесом та засобів інформаційної технології контролю знань і навчання студентів. Підвищенні ефективності управління. Розробка багатокомпонентних математичних моделей. Виділення рівнів представлення інформації.
автореферат, добавлен 27.07.2014 Виконання перетворення за допомогою процесу, функції й процедури мовою VHDL. Перетворення десяткового подання числа у двійкове подання. Проведення тестування додатку, в якому число розрядів біта-вектора дорівнює 8. Часова діаграма перетворювача.
лабораторная работа, добавлен 19.08.2017Характеристика автоматизованої системи управління по плануванню роботи розробників в компанії з розробки комп'ютерних ігор. Розробка петлі якості (за ISO 9003-2000) та протоколу якості для автоматизованої системи управління по плануванню роботи.
курсовая работа, добавлен 13.07.2017- 40. Методи та засоби експертної системи вибору раціональних проектних рішень просторових конструкцій
Дослідження і розробка основних компонентів експертних систем – користувальницького інтерфейсу, інформаційно-логічної моделі об'єкта, бази знань, що відповідають вимогам сучасних комп'ютерних технологій проектування. Аналіз просторових конструкцій.
автореферат, добавлен 28.06.2014 Концепція інформатизації в Україні. Поняття комп’ютерної інформаційної системи. Правові експертні системи. Апаратні та програмні засоби комп’ютерних мереж. Комп’ютерні віруси як загроза інформаційним системам. Системи автоматизації ділових процесів.
курс лекций, добавлен 21.12.2012Розглянуті особливості поняття "комп’ютерні інформаційні технології". Подано характеристику інноваційних комп’ютерних інформаційних технологій та визначено їхні особливості. Запропоновано класифікацію засобів комп’ютерних інформаційних технологій.
статья, добавлен 04.09.2022Використання графічних пакетів в процесі професійної підготовки майбутніх інженерів-педагогів ВНЗ. Розробка інтерактивних віртуальних об'єктів на прикладі моделі головного корпусу БДПУ, гербу факультету комп'ютерних та енергозберігаючих технологій.
статья, добавлен 06.02.2020Теоретичні аспекти проектування комп’ютерних мереж. Узгодження протоколів канального рівня. Маршрутизація в мережах з довільною топологією. Модель взаємодії відкритих систем. Угоди про спеціальні адреси. Створення Windows-додатків на основі Visual C#.
дипломная работа, добавлен 22.10.2012- 45. Структура та інтерфейс програмних засобів для дослідження фізичних процесів на комп’ютерних моделях
Моделюючі програмні засоби у контексті дослідницького підходу щодо вивчення фізики у вищому педагогічному навчальному закладі. Дослідження структури та інтерфейсу педагогічних програмних засобів для вивчення фізичних явищ на комп’ютерних моделях.
статья, добавлен 23.02.2017 Порівняльний аналіз архітектури реконфігуровних комп’ютерних систем. Вплив обчислювальної складності задачі на величину прискорення комп’ютерної системи. Доцільність застосування реконфігуровної логіки з позиції організації зв’язку між нею і комп’ютером.
статья, добавлен 13.10.2016Проектування системи баз даних, вхідні та вихідні дані, звіти. Універсальна таблиця, виявлення аномалій. Встановлення структурних зв’язків. Побудова граф-схеми інфологічної моделі та перевірка її коректності. Середовище розробки інтерфейсу на його опис.
курсовая работа, добавлен 08.06.2017Виявлення помилок передачі цифрових даних в лініях комп'ютерних мереж та шинах обчислювальних систем. Розробка підходів до збільшення надійності високопродуктивних методів контролю, програмно-апаратних засобів контролю помилок підвищеної швидкодії.
автореферат, добавлен 23.08.2014Дослідження процесів виявлення помилок в каналах передачі даних комп’ютерних мереж та систем. Розробка підходів для збільшення надійності високопродуктивних методів контролю. Створення програмно-апаратних засобів контролю помилок підвищеної швидкодії.
автореферат, добавлен 28.10.2015Розробка математичної моделі надійності програмних засобів, яка дозволяє кількісно оцінити і прогнозувати значення показників надійності. Отримання кількісної оцінки показників надійності комп'ютерних систем при заданих обмеженнях і припущеннях.
статья, добавлен 25.12.2016