Моделі та методи дослідження абстрактних обчислювальних структур в категорній аксіоматиці
Огляд теоретико-категорних моделей абстрактних обчислювальних структур, співвідношення між різними структурами, умови їх еквівалентності. Аналіз умови ізоморфності об'єкта натуральних чисел і області нескінченного підоб'єкта об'єкта натуральних чисел.
Подобные документы
Вивчення масиву перших десяти натуральних чисел. Блок-схеми і програми алгоритму розпаралелювання множин. Топологічний аналіз початкового графу. Аналіз ефективності паралельних рішень. Розгляд процесу розпаралелювання обчислення суми десяти чисел.
лабораторная работа, добавлен 04.04.2015Опис оперативного самодіагностування з блукаючим діагностичним ядром. Характеристика гнучкої структури перевірочних зв'язків обчислювальних систем. Відстеження структур перевірочних зв'язків, засноване на характеристичних числах діагностичного графа.
статья, добавлен 29.06.2016Обґрунтування уніфікованої операції "розвузлування" для уніфікованої моделі об'єкта виробництва, що зберігає в результатах операції топологію ієрархічної структури об'єкта управління. Формалізована модель календарного планування виробничого плану.
автореферат, добавлен 28.07.2014Огляд процесу розроблення моделей і алгоритмів діагностування локальних обчислювальних мереж і їх компонентів на основі послідовного застосування методологій безумовного і зондового пошуку дефектів для зменшення витрат на відновлення їх працездатності.
автореферат, добавлен 27.02.2014Створення методу вибору оптимальної моделі розподілення обчислювальних навантажень для систем автоматизованого проектування в структурі проектної організації. Визначення параметрів порівняння моделей, варіантів отримання значень розрахунку і вимірювання.
статья, добавлен 27.07.2016Аналіз окремих варіантів побудови локальних обчислювальних мереж, на основі як "тонких", так і "товстих" клієнтів, їх переваги, недоліки та умови застосування з вказівкою технічних і вартісних характеристик апаратного та програмного забезпечення.
статья, добавлен 26.06.2024Програма автоматичної генерації синтезованого HDL-коду на основі системної моделі керуючого автомата. Принципи кодування та декодування зображень в реальному масштабі часу на основі стандарту JPEG 2000, головні моделі й маршрути тестування програми.
автореферат, добавлен 29.08.2015Розробка моделі просторового графа синхронних потоків даних. Алгоритмізація їх обробки у паралельних обчислювальних системах. Застосування програмованих логічних інтегральних схем. Вирішення задач лінійної алгебри з мінімізацією простоїв процесорів.
автореферат, добавлен 11.08.2015Розробка високопродуктивних інформаційно-обчислювальних систем АС УПР, що працюють в умовах критичного застосування. Математичні моделі процесів, що відбуваються в них у штатних режимах та в разі виникнення екстремальних ситуацій, зокрема, конфліктів ПС.
автореферат, добавлен 29.07.2014Розвиток теорії паралельних обчислювальних систем реального часу шляхом розробки нових ефективних методів і засобів прискорення обчислювальних процесів з паралелізмом. Підвищення надійності і забезпечення простоти адаптації до різних умов застосування.
автореферат, добавлен 30.10.2015Класифікаційний аналіз методів розпізнавання зображень. Огляд сучасних матричних однорідних обчислювальних середовищ паралельної обробки інформації. Сутність основних вимог до побудови однорідних матричних структур. Комп’ютерне моделювання вектору.
автореферат, добавлен 26.07.2014Поняття системи числення, перетворення чисел з десяткової системи числення у двійкову, вісімкову та шістнадцяткову. Особливості позиційної системи числення, зворотне перетворення чисел у десяткову систему числення. Значення процесу вимірювання інформації.
практическая работа, добавлен 28.07.2017Аналіз методів оцінки параметрів об’єктно-орієнтованої моделі процесу зважування. Розробка методу та засобів побудови інформаційної моделі оцінки маси об’єкта при обмеженому часі зважування як базової компоненти автоматизованої ваговимірювальної системи.
автореферат, добавлен 22.07.2014Дослідження ролі простих чисел у математиці. Характеристика властивостей простих чисел Мерсенна та особливостей їх застосування на практиці. Розроблення програми, яка здійснює аналіз та обрахунок простих чисел Мерсенна. Вимоги до апаратного забезпечення.
курсовая работа, добавлен 13.05.2016Оцінка показників безвідмовності конструктивних елементів і об'єкта за інформацією про ПБ елементів нижнього конструктивного рівня. Алгоритми моделювання мереж Байєса та оцінки надійності інфраструктурних систем. Інженерія надійності та безпека системи.
статья, добавлен 20.04.2021Дослідження послідовностей та генераторів випадкових чисел, які працюють на пристроях з обмеженими ресурсами, на випадковість. Принципи проектування легковагового генератора псевдовипадкових чисел. Побудова фізичної моделі легковагового генератора.
статья, добавлен 11.07.2022Розробка моделей та методів алгоструктурної організації паралельних обчислювальних процесів задля підвищення ефективності роботи комп'ютерних систем. Особливості методу перетворень алгоструктурних моделей та розпаралелення обчислень в алгоструктурах.
автореферат, добавлен 29.08.2015- 18. Методи та засоби синтезу й відображення динамічних об'єктів (для центрів оперативного управління)
Алгоритмічні методи побудови засобів синтезу зображень, що забезпечують відтворення динаміки рухомого об'єкта в системах оперативного управління в режимі реального часу. Ізотермічне конформне відображення образу об'єкта. Обробка компонентів руху об'єктів.
автореферат, добавлен 22.04.2014 Побудова типового ряду обчислювальних систем реального часу на модулях, які містять розподілені апаратні засоби взаємодії, контролю і автоматичного оновлення. Методи організації обміну даними в паралельних системах з неоднорідним доступом до пам'яті.
автореферат, добавлен 26.08.2014Виявлення інформаційної збитковості форматів із плаваючою точкою. Визначення контрольного коду мантиси та контрольного співвідношення для перевірки операцій зсуву, додавання, множення та ділення мантис. Розроблення засобів логарифмічного контролю.
автореферат, добавлен 13.07.2014Математична модель об'єкта, який результує скелетизацію знаків, заданих у дискретних представленнях. Математична модель утворюючої бінарних зображень на основі моделі об'єкта. Інформаційна технологія й програмне забезпечення скелетизації знаків.
автореферат, добавлен 26.08.2015Аналіз моделей, методів розкрою та пакування матеріалу та простору, основних існуючих обчислювальних методів, математичних моделей та методик розв’язку задач одновимірного розкрою. Метод генерації лінійних комбінацій цін матеріалу на основі бітових полів.
автореферат, добавлен 26.07.2014Представлення даних у цифрових обчислювальних пристроях на базі використання р-чисел Фібоначчі. Виконання арифметичних, алгебричних операцій на базі обчислення елементів узагальнених послідовностей. Принципи побудови "фібоначчієвих" операційних пристроїв.
автореферат, добавлен 13.07.2014Проведення огляду системи цифрового ідентифікатору об'єкта для аналізу потенційних можливостей українських бібліотек, інформаційних центрів та окремих видавничих установ щодо запровадження моделі у практиці. Характерні риси імен в системи Handle.
статья, добавлен 11.09.2013Засоби підвищення продуктивності обчислювальних систем. Методи паралельних обчислень спеціальних функцій та систем рівнянь для навігаційних задач. Розробка високопродуктивних обчислювальних систем для обробки навігаційної інформації з високою точністю.
автореферат, добавлен 25.02.2015