Моделі та методи дослідження абстрактних обчислювальних структур в категорній аксіоматиці
Огляд теоретико-категорних моделей абстрактних обчислювальних структур, співвідношення між різними структурами, умови їх еквівалентності. Аналіз умови ізоморфності об'єкта натуральних чисел і області нескінченного підоб'єкта об'єкта натуральних чисел.
Подобные документы
Розробка алгоритму комп'ютерного знищення формул алгоритмів. Синтез, мінімізація та побудова математичної моделі, дослідження алгоритму знищення формул абстрактних алгоритмів. Дослідження процесу вирізання та знищення формули абстрактного алгоритму.
статья, добавлен 29.08.2016Вивчення етапів створення 3D-моделі об'єкта історико-культурної спадщини на прикладі генуезької фортеці "Чембало" з використанням геоінформаційних технологій. Приклад технологічної схеми побудови тривимірної реалістичної моделі пам'ятки архітектури.
статья, добавлен 29.06.2016Класифікація багатопроцесорних систем з організації пам'яті. Векторно-конвеєрні, масивно-паралельні комп’ютери. Комп'ютерні кластери. Алгоритм додавання ряду чисел. Блок-схема підпрограми паралельного алгоритму. Лістинг паралельного додавання ряду чисел.
контрольная работа, добавлен 31.05.2013Комп'ютерна обробка даних економічного суб'єкта: сутність та головні етапи, значення, умови та фактори використання. Параметри, що впливають на професійний ризик аудитора. Проведення аудиту за допомогою комп'ютера, специфіка та можливості даного процесу.
реферат, добавлен 07.04.2012Призначення, типи і позначення пристроїв, що запам'ятовують. Прикладне і системне програмне забезпечення. Організація пам'яті у обчислювальних пристроїв. Розподіл адресного простору, способи адресації. Машинно- і проблемно-орієнтовані мови програмування.
лекция, добавлен 23.07.2015Шляхи масштабування ефективності обчислень при чисельному розв’язанні типового елементу постановок задач математичної фізики. Використання MPI при розв’язанні рівняння Пуассона на обчислювальних кластерах з графічними прискорювачами компанії NVIDIA.
статья, добавлен 29.06.2016Аналіз блок–схем програм сортування. Визначення недоліків використання моделей абстрактних алгоритмів в умовах бурхливого розвитку комп’ютерної техніки. Дослідження взаємозалежності характеристик складності варіантів побудови вузлів асоціативної пам’яті.
автореферат, добавлен 25.02.2015Розгляд існуючих структур композиційних мікропрограмних пристроїв керування з розділенням кодів з метою виявлення шляхів їх удосконалення. Дослідження та характеристика розроблених структур з метою визначення області їх ефективного застосування.
автореферат, добавлен 27.07.2015Понятие системы счисления, таблица соответствия чисел в различных системах счисления. Алгоритм перевода дробной части числа, сложение и вычитание в позиционных системах счисления. Перевод чисел из десятичной системы счисления, сравнение ответов.
презентация, добавлен 27.03.2017Вимоги до побудови систем криптографічного захисту інформації. Розгляд методики оцінки статистичних властивостей псевдовипадкових послідовностей. Умови для створення криптографічно-стійких генераторів на підставі міжнародних та національних стандартів.
статья, добавлен 14.07.2016- 111. Завадостійкий код на основі скінченного автомата та подання чисел у двобазисній системі числення
Визначення та характеристика нового методу завадостійкого кодування, що поєднує кілька підходів до побудови завадостійких кодів. Дослідження особливостей викоритсання арифметичних властивостей чисел, що подаються вхідними бітовими послідовностями.
статья, добавлен 28.02.2016 Аналіз сучасного стану галузі комп’ютерної обробки візуальної інформації та відомих моделей та методів. Розробка моделі та відповідних ефективних методів обробки класу штрихових зображень (загальний підхід) та розробка архітектури обчислювальних процесів.
автореферат, добавлен 18.04.2014Розробка моделей, інформаційних технологій оптимізації систем управління навчальним процесом в вищих закладах освіти. Моделі оптимізації складу та послідовності навчання при переході на кредитно-модульну систему. Аналіз структур інформаційних потоків.
автореферат, добавлен 25.02.2015Історія комп’ютера як інструменту для підсилення інтелекту. Його появлення та розвиток моделей у сучасному вигляді. Опис найперших комп’ютерів, моделі, що працювали на електриці. Характеристика обчислювальної машини Беббіджа. П'ять основних поколінь ЕОМ.
реферат, добавлен 27.01.2011Захист інформації в телефонних лініях. Аналіз ризику безпеки інформаційно-обчислювальних систем. Криптографічний алгоритм 3DES: історичні факти, реалізація, надійність використання. Розробка фізичної моделі пристрою зчитування інформації з компакт-диску.
курсовая работа, добавлен 15.10.2012Характеристика корпоративних, локальних обчислювальних та глобальних мереж спільного використання. Аналіз здійснення обміну інформацією за допомогою протоколів і форматів повідомлень. Огляд робочих станцій, файлових серверів та гнучкої системи адресації.
реферат, добавлен 13.12.2010Аналіз підходу до реалізації просторової інвентаризації емісій парникових газів від дорожнього транспорту. Здійснення обчислювальних експериментів з побудови просторових кадастрів емісій з використання створеного спеціалізованого програмного забезпечення.
статья, добавлен 14.09.2016Описання архітектури практичної реалізації обчислювальних схем функцій ризику розладнання на основі запропонованої моделі у програмному пакеті. Дослідження програмного пакету, який працює по принципу клієнт-сервер. Аналіз класів модуля управління даними.
статья, добавлен 28.01.2017Порівняльна характеристика програмних продуктів здійснення об’єкта проектування. Розробка функціональної схеми (алгоритму) роботи. Синтез і обґрунтування засобів захисту інформації від несанкціонованого доступу. Аналіз психологічних аспектів умов праці.
дипломная работа, добавлен 19.07.2017Розробка методів адаптивного рівноважного кодування дискретних повідомлень на основі біноміальних чисел, орієнтованих на застосування в інформаційних системах, що функціонують в умовах змінного рівня завад. Вибір параметрів рівноважного коду і алгоритму.
автореферат, добавлен 27.04.2014Застосування інформаційних і комп’ютерних технологій у сферах автоматизації та проектування. Дослідження властивостей і закономірностей поведінки об’єкта управління. Принципи, методи та програми моделювання промислових роботів і маніпуляційних систем.
статья, добавлен 18.11.2020Дослідження процесів формування зображень у системах ідентифікації. Характеристика та способи обробки дактилоскопічних зображень. Математична модель графічного спотворення, що виникає при формуванні двовимірного зображення з тривимірного об’єкта.
автореферат, добавлен 15.07.2014Порівняльний аналіз класичних методів ідентифікації функції оцінки об’єкта нерухомості та запропонувати процедури препроцесінгу даних. Методика та головні етапи самоорганізації інформаційного банку нерухомості з використанням нейромережевих моделей.
автореферат, добавлен 11.08.2014Разработка математических моделей и алгоритмов возведения целых чисел в квадрат по произвольному модулю класса вычетов. Использование алгоритмов в компьютерных вычислительных устройствах, функционирующих в позиционной двоичной системе счисления.
статья, добавлен 29.06.2016Применение криптографических алгоритмов для шифрования. Достоинства генератора Блюм-Блюма-Шуба (BBS). Генерация простых чисел с помощью модифицированного решета Эратосфена. Анализ результатов проверки с использованием статистических тестов на случайность.
курсовая работа, добавлен 12.03.2014