Розробка методів обґрунтування гіпотез теорії алгебраїчних кривих та геометрії чисел
Обґрунтування гіпотез теорії алгебраїчних кривих і геометрії чисел, проведення їх дослідження, порівняльний аналіз із відомими методами. Основи автоматизації обґрунтування гіпотез, застосування розроблених методів, алгоритмів, комп’ютерних систем.
Подобные документы
Характеристика існуючих методів алгоритмів модулярної редукції надвеликих чисел та їх порівняльний аналіз з метою визначення найбільш швидкодіючих. Математичне обґрунтування метода Монтгомері. Паралельні алгоритми обчислення модулярного експоненціювання.
автореферат, добавлен 05.01.2014Механізм дискретного перетворення Фур'є, його використання в фізиці, теорії чисел, комбинаториці, обробці сигналів, теорії ймовірності, статистиці, криптографції, акустиці, океанології, геометрії. Алгоритмів перетворення Фур'є двовимірних сигналів.
реферат, добавлен 06.04.2016- 3. Удосконалення методів перетворень в якобіанах гіпереліптичних кривих для криптографічних додатків
Оцінка можливостей і перспектив застосування арифметики гіпереліптичних кривих у криптографічних додатках із урахуванням вимог щодо стійкості і складності. Аналіз наявних методів здійснення криптографічних операцій на еліптичних і гіпереліптичних кривих.
автореферат, добавлен 27.07.2015 Існуючі методи алгоритмів модулярної редукції надвеликих чисел, їх порівняльний аналіз з метою визначення найбільш швидкодіючих. Новий паралельний алгоритм модулярного експоненціювання надвеликих чисел. Порівняльний аналіз методів модулярної редукції.
автореферат, добавлен 11.11.2013Методологія вирішення проблем комп'ютерної переробки інформації на основі теоретико-категорних представлень, алгебраїчних теорій та розробка методів розв'язання проблем, які виникають при перетворенні інформації, представленої за допомогою формальних мов.
автореферат, добавлен 25.07.2014Мова програмування як набір лексичних, синтаксичних і семантичних правил, що задають зовнішній вигляд програми і дії, які виконує комп’ютер під її управлінням. Методика розрахунку системи лінійних алгебраїчних рівнянь за допомогою метода Крамера.
курсовая работа, добавлен 04.02.2016Дослідження проблеми розвитку комп’ютерних засобів і систем. Підвищення ефективності процесів створення систем інформатизації об’єктів народного господарства. Вивчення теорії, методів і засобів проблемної орієнтації архітектури автоматизованих систем.
автореферат, добавлен 30.10.2015Класи ітераційних методів рішення систем лінійних алгебраїчних рівнянь. Критерій оцінки швидкості збіжності різних ітераційних методів. Класифікація паралельних ітераційних алгоритмів та їх переваги асинхронних ітераційних методів, їхні види і критерій.
статья, добавлен 29.07.2016Порівняльний аналіз архітектури реконфігуровних комп’ютерних систем. Вплив обчислювальної складності задачі на величину прискорення комп’ютерної системи. Доцільність застосування реконфігуровної логіки з позиції організації зв’язку між нею і комп’ютером.
статья, добавлен 13.10.2016Загальний огляд засобів генерації випадкових та псевдовипадкових чисел. Теорія імовірності. Метод середини квадрата. Практична реалізація лінійного конгруентного методу в стандартних бібліотеках різних компіляторів. Критерії оцінки якості алгоритмів.
дипломная работа, добавлен 22.10.2012- 11. Діагностування комп’ютерних засобів на основі інтелектуальних методів та моделей опрацювання знань
Моделі та форми подання комп’ютерних засобів у базах знань інтелектуальних систем діагностування. Розробка алгоритмів та програмних засобів дослідження характеристик баз знань предметної галузі "Інтелектуальне діагностування мікропроцесорних складових".
автореферат, добавлен 14.07.2015 Аналіз технологій реконструкції даних, що оброблюються на мікроконтролерах і смарт-картах. Дослідження структур та базових операцій криптографічних алгоритмів Rijndael. Розробка й обґрунтування методу поліморфної реалізації модулярного експоненціювання.
автореферат, добавлен 14.08.2015Аналіз моделей піксела та методів антиаліайзингу графічних об’єктів. Розробка теоретичних засад щодо визначення параметрів для антиаліайзингу контурів графічних об’єктів. Розробка високопродуктивних методів антиаліайзингу для кривих другого порядку.
автореферат, добавлен 30.10.2015Розробка загальної методології вирішення проблем комп'ютерної переробки інформації на основі теоретико-категорних представлень, алгебраїчних теорій. Розв'язання проблем, що виникають при перетворенні інформації, представленої за допомогою формальних мов.
автореферат, добавлен 29.08.2015Вибір методів для формалізації кожної зі складових підсистем і розробити відповідні математичні моделі, їх обґрунтування та значення. Особливості та етапи їх програмною реалізації. Проблема автоматизації процесу створення комп’ютерно-орієнтованих систем.
автореферат, добавлен 12.08.2014Розробка багатокрокових багатоточкових блокових методів рішення задачі Коши для звичайних диференціальних рівнянь. Теоретичне обґрунтування збіжності і стійкості розроблених методів та їх відображення на паралельних обчислювальних системах SIMD і MIMD.
автореферат, добавлен 04.03.2014Аналіз живучості комп’ютерних мереж, види деструктивних дій і шкідливих впливів на них. Особливості використання теорії ймовірностей для проведення експертної оцінки впливів на комп’ютерну мережу та поняття апостеріорної оцінки прогнозу експерта.
статья, добавлен 30.07.2016Розробка методики дослідження кінематики шарнірно-важільного механізму з використанням сучасних комп'ютерних технологій. Характеристика методів підсилення сигналів тензодатчиків. Установка і обладнання для дослідження кінематики синусного механізму.
статья, добавлен 03.11.2013Дослідження проектування автоматизованих систем управління. Обґрунтування використання діалогових алгебро-граматичних моделей представлення знань для їх синтезу. Розробка інструментарію проектування комп’ютерних систем – діалогова трансформаційна машина.
автореферат, добавлен 27.08.2014Пропозиція нових алгоритмів та програм для автоматизованого комп'ютерного проектування плоских обводів другого порядку гладкості. Структурно-параметричне конструювання та оптимізація складних геометричних об'єктів у літакобудуванні на прикладі фюзеляжу.
автореферат, добавлен 13.10.2013Можливості використання наявних чисельних методів аналізу моделей. Розробка алгоритмів адаптації методів для типових класів моделей заданої предметної області. Дослідження працездатності розроблених симуляторів та алгоритмів їхнього функціонування.
автореферат, добавлен 30.08.2014- 22. Математичні моделі та методи аналізу й синтезу топологій комп’ютерних видавничо-поліграфічних систем
Аналіз графічних, матричних та аналітичних моделей топологій комп'ютерних видавничо-поліграфічних систем. Створення методів виявлення та перетворення топологічних структур, заданих матричним способом. Синтез комп’ютерних видавничо-поліграфічних систем.
автореферат, добавлен 29.09.2013 Розробка методів, алгоритмів та моделей аналізу трафіку. Оптимізація пропускних здатностей ліній зв’язку та інших систем для підвищення ефективності гетерогенних комп’ютерних мереж. Методика використання рандомізованих моделей динаміки мережного трафіку.
автореферат, добавлен 30.08.2014Комп’ютерні мережі як невід’ємна частина сучасних інформаційно-управляючих систем, розгляд головних видів. Загальна характеристика методів та інструментальних засобів розробки комп'ютерних мереж інформаційно-управляючих систем критичного застосування.
автореферат, добавлен 27.07.2014Набуття практичних навиків з типовими алгоритмами пошуку та усунення основних проблем компонентів комп’ютерних систем. Сучасні методи ефективного застосування комп'ютерних та мережних технологій для вирішення задач комплексної автоматизації підприємств.
отчет по практике, добавлен 16.02.2021