Моделі та методи дослідження абстрактних обчислювальних структур в категорній аксіоматиці
Огляд теоретико-категорних моделей абстрактних обчислювальних структур, співвідношення між різними структурами, умови їх еквівалентності. Аналіз умови ізоморфності об'єкта натуральних чисел і області нескінченного підоб'єкта об'єкта натуральних чисел.
Подобные документы
Розробка багатокрокових багатоточкових блокових методів рішення задачі Коши для звичайних диференціальних рівнянь. Теоретичне обґрунтування збіжності і стійкості розроблених методів та їх відображення на паралельних обчислювальних системах SIMD і MIMD.
автореферат, добавлен 04.03.2014Дослідження існуючих корпоративних обчислювальних мереж, методів передачі даних, порядків обслуговування повідомлень. Розробка математичних моделей і алгоритмів оптимізації пріоритетного доступу в корпоративних мережах при організації навчального процесу.
автореферат, добавлен 28.07.2014Огляд розробки теорій послідовних схем. Абстрактні автомати як математичні моделі цифрового пристрою та їх поширені типи - Мілі, Мура, комбінаційні схеми. Методи синтезу абстрактних автоматів і процесів побудови їх графів у стані переходів і виходів.
реферат, добавлен 25.10.2012Нейромережева технологія виявлення мережевих атак. Методи простої та семантичної класифікації атак. Побудова сукупного класифікатора трафіку. Огляд системи виявлення аномальної поведінки обчислювальних процесів. Алгоритм перетворення параметрів трафіку.
статья, добавлен 26.07.2016Загальний огляд засобів генерації випадкових та псевдовипадкових чисел. Теорія імовірності. Метод середини квадрата. Практична реалізація лінійного конгруентного методу в стандартних бібліотеках різних компіляторів. Критерії оцінки якості алгоритмів.
дипломная работа, добавлен 22.10.2012Розробка та характеристика інформаційної моделі процесу комп’ютерного дослідження системи управління, як об’єкта автоматизації. Дослідження моделі багатоклітьового дротового прокатного стану і його системи управління та системи зв'язаних між собою клітей.
автореферат, добавлен 07.08.2014Понятие структур данных и алгоритмов. Информация и ее представление в памяти. Изображение чисел в позиционной системе счисления. Классификация структур данных, операции над ними. Структурность данных и технология программирования. Виды числовых типов.
курс лекций, добавлен 25.09.2017Дослідження методів узагальнених перетворень Хаара. Розробка обчислювальних схем цих перетворень для вектора і площини довільної розмірності. Вивчення методу стиску зображень на основі моделі виділення і компенсації контурів при вейвлет-перетворенні.
автореферат, добавлен 29.08.2015Переведення чисел з однієї системи числення до іншої. Етапи розв’язування обчислювальних задач на комп’ютері. Алгоритм, його властивості й засоби описування. Послідовність створювання консольного програмного додатка. Оператор вибору варіантів switch.
учебное пособие, добавлен 22.06.2014Актуальні проблеми обробки електронних текстів. Визначення ключових слів і словосполучень. Метод автоматизованої побудови логіко-лінгвістичних моделей текстової інформації. Види тематичних прогресій. Визначення зв’язків між абзацами (абстрактних моделей).
статья, добавлен 22.12.2016- 36. Методи та засоби посегментного контролю наближених результатів у матричних обчислювальних пристроях
Питання робочого діагностування сучасних однотактних матричних обчислювальних пристроїв для обробки наближених даних. Розробка методів та засобів посегментного контролю результатів обробки мантис, що забезпечує задані ймовірності виявлення помилок.
автореферат, добавлен 29.08.2015 Класифікація моделей об'єкта на основі кореляційних функцій і теоретико-числових базисів. Теоретичні основи діагностування об'єктів управління на основі кластерних моделей. Розробка діалогової системи і алгоритмів моделювання на базі кластерних моделей.
статья, добавлен 29.01.2016Аналіз процесів паралельно-ієрархічного (ПІ) перетворення, які базуються на новій багаторівневій концепції організації обчислень, їх складність. Оцінка продуктивності апаратного забезпечення ПІ обчислювальних систем на основі GPU-орієнтованої платформи.
статья, добавлен 28.02.2017Визначення інваріантів числових графів, заданих у вигляді множин натуральних чисел та функції суміжності. Алгоритм перевірки ізоморфізму двох числових графів одного підкласу, їх розфарбування довільною кількістю кольорів. Задача пошуку хроматичного числа.
автореферат, добавлен 29.08.2014- 40. Методи та засоби експертної системи вибору раціональних проектних рішень просторових конструкцій
Дослідження і розробка основних компонентів експертних систем – користувальницького інтерфейсу, інформаційно-логічної моделі об'єкта, бази знань, що відповідають вимогам сучасних комп'ютерних технологій проектування. Аналіз просторових конструкцій.
автореферат, добавлен 28.06.2014 Створення методів та засобів функціонального діагностування обчислювальних пристроїв для підвищення достовірності контролю результатів при виконанні приблизних обчислень. Розробка порогового та імовірнісного підходу для підвищення точності розрахунків.
автореферат, добавлен 06.07.2014Дослідження властивості операцій геометричної різниці, суми, перетину, об’єднання для розмитих множин, дискретність ігрової задачі. Умови закінчення мінорантної та мажорантної нестаціонарної гри, попадання об’єкта за один крок на термінальну множину.
автореферат, добавлен 15.07.2014Разработка программы сортировки статических структур данных по возрастанию методом выборок максимума и минимума. Сортировка элементов строк двумерного массива целых чисел. Сортировка квадратной матрицы. Вывод уведомления о неправильности ввода данных.
курсовая работа, добавлен 30.05.2016- 44. Базы данных
Рассмотрение информации простого типа (символов и чисел) и формирование из них сложных структур (массивов и записей). Исследование иерархической, сетевой и реляционной моделей данных в процессе исторического развития в объектно-ориентированных СУБД.
реферат, добавлен 25.01.2012 Числовые значения исходных шестнадцатеричных чисел. Перевод исходных чисел в десятичную систему счисления. Процедура перевода. Двоичное представление шестнадцатеричных чисел, перевод их в двоичную систему счисления. Сложение (вычитания) двоичных чисел.
контрольная работа, добавлен 22.04.2021Методи визначення показників обчислювальної складності алгоритмів. Основні умови застосування показників обчислювальної складності. Приклад застосування методу імовірнісного підрахунку операцій при вирішенні задач розробки ефективних структур даних.
статья, добавлен 29.01.2016Характеристика основних класів алгоритмів компонування й розміщення, використання поняття теорії графів для опису моделей конструкції електронної обчислювальної апаратури, вирішення основних завдань конструювання з використанням прикладних програм.
контрольная работа, добавлен 25.11.2010Методи ділення двійкових чисел, ділення без відновлення залишків та ділення чисел у доповняльному коді. Блок-схема алгоритму виконання операцій і її мікропрограмна реалізація, розробка та опис функціональної схеми пристрою і приклад виконання операції.
курсовая работа, добавлен 09.05.2014Обґрунтування паралельного алгоритму щодо реалізації дискретної марківської методики однорідного кластера на решітках процесорів. Дослідження основних характеристик обчислювального середовища за допомогою моделі кластера з дисками, що розділяються.
автореферат, добавлен 28.09.2014Применение простых чисел в области защиты информации, вызванное изобретением криптографии с ассиметричным ключом, применяющейся в алгоритмах электронной цифровой подписи. Классы алгоритмов тестирования чисел на простоту. Вероятность ошибки теста.
статья, добавлен 22.03.2018