Розробка методів обґрунтування гіпотез теорії алгебраїчних кривих та геометрії чисел
Обґрунтування гіпотез теорії алгебраїчних кривих і геометрії чисел, проведення їх дослідження, порівняльний аналіз із відомими методами. Основи автоматизації обґрунтування гіпотез, застосування розроблених методів, алгоритмів, комп’ютерних систем.
Подобные документы
Аналіз методу синтезу алгебраїчних нормальних форм булевих SAC-функцiй нульового та вищого порядкiв. Особливості розробки підходу i застосування апарату булевих функцій для аналізу i синтезу ефективних криптографічних алгоритмів захисту інформації.
автореферат, добавлен 29.08.2013Структура системи комп’ютерної безпеки та загальна характеристика методів захисту інформації. Основні фактори, що впливають на роботу та стійкість криптосистем. Проблеми безпеки передачі інформації та вимоги до сучасних надійних криптографічних систем.
статья, добавлен 14.09.2012Розробка та використання методів виведення за аналогією для розв’язання аналітичних задач на основі атрибутивних і структурно-атрибутивних моделей знань, представлених в семантичних мережах. Порівняльний аналіз розроблених методів виведення за аналогією.
автореферат, добавлен 28.07.2014Застосування інформаційних і комп’ютерних технологій у сферах автоматизації та проектування. Дослідження властивостей і закономірностей поведінки об’єкта управління. Принципи, методи та програми моделювання промислових роботів і маніпуляційних систем.
статья, добавлен 18.11.2020Аналіз методів і систем побудови комп’ютерних мереж. Організація паралельного моделювання об’єднаного трафіку. Покращення характеристик продуктивності й масштабованості. Підвищення адекватності імітаційних моделей, побудованих на основі маршрутних дерев.
автореферат, добавлен 19.07.2015Розробка пропозиції щодо покращення існуючого алгоритму BSP та порівняльна характеристика запропонованого покращення відносно базової версії. Оцінка відповідності якості графічної складової в сучасних комп’ютерних іграх, аналіз методів її оптимізації.
статья, добавлен 10.10.2018Визначення ролі комп’ютерних технологій в вузі та управлінні навчальним процесом. Вивчення інформатики як навчального предмета в складовій учбового плану. Вдосконалення організації та автоматизації інформаційного забезпечення управління закладом.
статья, добавлен 01.02.2019Розвиток телекомунікаційних мереж. Розробка та обґрунтування методу структурно-лінгвістичного розпізнавання зображень для семантичного перетворення та збору релевантної інформації в комп’ютерних системах. Основа застосування семантичної мережі концептів.
автореферат, добавлен 30.07.2015Обґрунтування актуальності створення інтелектуальних навчальних систем, заснованих на систематизованих знаннях. Класифікація властивостей, використання та переваг онтологій. Практичне значення. Аналіз мов, призначених для формального опису онтологій.
статья, добавлен 30.01.2017Розробка методів та засобів підвищення ефективності експлуатації і проектування локальних комп’ютерних мереж. Опис комп’ютерних мереж, врахування взаємної залежності даних, що перероблюються в транспортній службі. Практичне значення отриманих результатів.
автореферат, добавлен 29.09.2014Вивчення автентифікаційних комп’ютерних даних. Проведення неперервного контролю користувачів. Розробка реактивної моделі безпеки мережі. Оцінка сучасних комп’ютерних загроз. Технологія комунікації ближнього поля для надійного визначення користувачів.
статья, добавлен 22.03.2016Методи лінійного програмування. Розв'язання засобами комп'ютерних технологій економічних та інженерних задач, що моделюються сумісними системами лінійних алгебраїчних рівнянь та задач, що зводяться до транспортних моделей. Графічні можливості Mathcad.
контрольная работа, добавлен 02.11.2019Переваги двійкової системи, кодування чисел, графічних зображень, тексту та музики. Сукупність пристроїв, призначених для автоматизації опрацювання даних. Впорядкування інформації, пошук, фільтрація даних. Апаратне забезпечення персонального комп'ютера.
реферат, добавлен 09.01.2017Систематичний дескриптивний, алгоритмічний та метричний аналіз комбинаторно-алгебраїчних моделей автоматного типу деяких класів ін’єктивних дискретних перетворювачів інформації. Дослідження класу лінійних автоматів з позиції модельних задач криптографії.
автореферат, добавлен 14.08.2015Розробка моделей та методів алгоструктурної організації паралельних обчислювальних процесів задля підвищення ефективності роботи комп'ютерних систем. Особливості методу перетворень алгоструктурних моделей та розпаралелення обчислень в алгоструктурах.
автореферат, добавлен 29.08.2015Розробка нових та удосконалення існуючих методів генерування псевдовипадкових послідовностей на основі застосування криптоперетворень в групах точок еліптичних кривих. Аналіз переліку можливих криптоаналітичних атак на розроблені методи генерування.
автореферат, добавлен 30.07.2015- 67. Створення віртуальної ономастичної лабораторії "Ойконіми Дніпропетровщини" на базі платформи Unilex
Обґрунтування необхідності застосування комп'ютерних технологій у дослідженнях онімного матеріалу. Метод дослідження назв поселень Дніпропетровщини із залученням сертифікованого програмного продукту "Довідкова база даних адміністративних одиниць "NAMES".
статья, добавлен 11.07.2018 Проблема вибору системи числення для подання чисел у пам'яті комп'ютера. Алгоритми переведення чисел з однієї позиційної системи числення в іншу. Система числення як сукупність прийомів і правил найменування й позначення чисел. Форми вираження інформації.
реферат, добавлен 26.08.2013Особливість розробки комп’ютерної моделі пневмотранспортної системи млина. Проведення дослідження роботи пневмомережі при різному завантаженні пневмовіток. Обґрунтування енергоефективних режимів пневмотранспортування зерна і продуктів його помолу.
статья, добавлен 30.01.2017Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
автореферат, добавлен 28.08.2014Практична реалізація сукупності моделей, методів і алгоритмів, що можуть бути застосовані при розв’язанні задачі побудови системи захисту інформації, оброблюваної в ІС з відкритою архітектурою, базуються на методах логіко-імовірнісної теорії безпеки ССС.
автореферат, добавлен 28.06.2014Відмінні риси комп’ютерних вірусів, аналіз їх властивостей і класифікації. Узагальнення основних видів вірусів (завантажувальні, файлові, поліморфні) та аналіз систем їх функціонування. Особливості виявлення, методів знешкодження та профілактики вірусів.
курсовая работа, добавлен 09.10.2010- 73. Визначення проблематики теорії функціональної стійкості щодо застосування в комп'ютерних системах
Основні положення функціональної стійкості комп'ютерної системи в умовах впливу на них зовнішніх дестабілізуючих факторів. Показники і критерії функціональної стійкості комп'ютерної системи. Розробка загальної моделі дестабілізуючих впливів на систему.
статья, добавлен 27.07.2016 Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Дослідження ролі використання комп'ютерних мереж, інтернет-технологій та програмних продуктів наскрізної автоматизації всіх бізнес-процесів туристичного бізнесу. Вивчення систем управління продажами турфірми. Аналіз необхідності автоматизації процесів.
лекция, добавлен 21.07.2017