Зображення обкладинки

Аналіз можливості використання сучасних пакетів комп’ютерної алгебри під час синтезу криптопримітивів: Fìz.-mat. model. ìnf. tehnol. 2021, 33:128-132

The paper deals with systems of computer algebra - software for symbolic calculations, which allows to conduct the entire cycle of development of a mathematical model. The paper presents the results of the analysis of systems of computer algebra with specialized purpose Magma, evaluation of the poss...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2021
Автори:	Ponomar, Volodymyr, Onoprienko, Viktor
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України 2021
Теми:	системи комп’ютерної алгебри моделювання математичних процесів символьні мови програмування моделювання криптографічних перетворень
Онлайн доступ:	https://www.fmmit.lviv.ua/index.php/fmmit/article/view/215
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Physico-mathematical modeling and informational technologies

Репозитарії

Physico-mathematical modeling and informational technologies

Схожі ресурси

Алгоритм класифікації інтегрованості нелінійних динамічних систем методами комп’ютерної алгебри: Fìz.-mat. model. ìnf. tehnol. 2021, 32:7-12
за авторством: Fil, Bohdan, та інші
Опубліковано: (2021)

Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу
за авторством: Давидов, О.П.
Опубліковано: (2015)

Деякі аспекти градієнтно-голономного алгоритму в теорії інтегрованості нелінійних динамічних систем та проблеми комп'ютерної алгебри
за авторством: Митропольський, Ю.О., та інші
Опубліковано: (1991)

Відкрита книга комп’ютерної графіки
за авторством: Федорук, О.
Опубліковано: (2006)

Розширення університетського простору в Києві (до історії перших приміщень університету св. Володимира)
за авторством: Самчук, Т.
Опубліковано: (2017)

Математичні методи рентгенівської комп’ютерної томографії
за авторством: Тулякова, Н.О., та інші
Опубліковано: (2019)

Сучасний стан української комп’ютерної лінгвістики
за авторством: Балог, В.
Опубліковано: (2005)

Технології масового розповсюдження комп’ютерної інформації
за авторством: Кожешкурт, В.І., та інші
Опубліковано: (2010)

Лексико-семантична парадигматика комп’ютерної термінолексики
за авторством: Махачашвілі, Р.К.
Опубліковано: (2006)

СКІНЧЕННО-ЕЛЕМЕНТНЕ МОДЕЛЮВАННЯ НАПРУЖЕНО-ДЕФОРМОВАНОГО СТАНУ ЕЛЕМЕНТІВ КУЛЬШОВОГО СУГЛОБА В ЕКСПЛУАТАЦІЇ НА ОСНОВІ ДАНИХ КОМП’ЮТЕРНОЇ ТОМОГРАФІЇ
за авторством: HOROBETS, D. V., та інші
Опубліковано: (2026)

Від наукового результату до комп’ютерної технології
за авторством: Задірака, В.К., та інші
Опубліковано: (2008)

Від наукового результату до комп’ютерної технології
за авторством: Zadiraka, V. K., та інші
Опубліковано: (2017)

"Для культури в напрямку гігієни”: громадське здоров’я та "виставковий комплекс” у Львові наприкінці ХІХ – на початку ХХ ст.
за авторством: Трач, В.
Опубліковано: (2019)

Проблеми комп’ютерної лексикографії у галузі інформаційної діяльності
за авторством: Шульгіна, В.
Опубліковано: (2006)

З історії відділу лексикології та комп’ютерної лексикографії
за авторством: Самойлова, І.
Опубліковано: (2004)

Оптимізація планування розподілу завдань і транспортування пакетів даних у розподіленій обчислювальній мережі
за авторством: Krasniuk, Roman P., та інші
Опубліковано: (2016)

Програмна система для моделювання ієрархічної комп'ютерної пам'яті
за авторством: Михайлова, Т.В.
Опубліковано: (2010)

Внесок ІПРІ НАН України в розвиток комп’ютерної томографії
за авторством: Горбулін, В.П., та інші
Опубліковано: (2010)

Мінімізація дозового навантаження в алгоритмах рентгенівської комп’ютерної томографії
за авторством: Bulavin, L. A., та інші
Опубліковано: (2019)

СТВОРЕННЯ КОМП'ЮТЕРНОЇ МОДЕЛІ ДЛЯ СИСТЕМИ ДІАГНОСТУВАННЯ ДИЗЕЛЬ-ГЕНЕРАТОРА
за авторством: Fedorchuk, Vladimir Anatolievich, та інші
Опубліковано: (2013)

Роль комплексної мультидетекторної комп’ютерної томографії у стадіюванні раку гортані
за авторством: Дикан, І.М., та інші
Опубліковано: (2013)

Використання інформаційних технологій в розв’язанні задач комп’ютерної лінгвістики
за авторством: Ходякова, Г.В.
Опубліковано: (2020)

Математична модель кібербезпеки комп’ютерної мережі керування електропостачанням тягових підстанцій
за авторством: Стасюк, О.І., та інші
Опубліковано: (2017)

Задача розроблення комп’ютерної технології моделювання термічних процесів ливарного виробництва
за авторством: Токова, О.В.
Опубліковано: (2018)

ЄДНІСТЬ ТА ВІДМІННОСТІ РІЗНОВИДІВ НЕСПОТВОРЮЮЧОГО ПРОЦЕСУ ЦІЛЕСПРЯМОВАНОЇ ЗМІНИ ВЕЛИЧИНИ НАПРУГИ ЕЛЕКТРИЧНОГО СТРУМУ
за авторством: Липківський, К.О., та інші
Опубліковано: (2014)

ПРОГРАМИ ДЛЯ КОМП'ЮТЕРНОЇ РЕАЛІЗАЦІЇ МОРФОЛОГІЧНОЇ І СИНТАКСИЧНОЇ МОДЕЛІ ГРУЗИНСЬКИХ ТЕКСТІВ
за авторством: Antidze, J., та інші
Опубліковано: (2013)

Модульні операції над гіперкомплексними числами в системі комп’ютерної математики MAPLE
за авторством: Синьков, М.В., та інші
Опубліковано: (2005)

Особливості лімфогенного метастазування раку глотки за даними мультидетекторної комп’ютерної томографії
за авторством: Козаренко, Т.М., та інші
Опубліковано: (2015)

Огляд методу перфузійної комп’ютерної томографії та його застосування в онкології
за авторством: Алхімова, С.М., та інші
Опубліковано: (2011)

Лексична модель „стандарт – субстандарт – нонстандарт” у системі сучасної комп’ютерної субмови
за авторством: Бондарчук, Л.
Опубліковано: (2007)

Огляд методу перфузійної комп’ютерної томографії та його застосування в онкології
за авторством: Alkhimova, S. M., та інші
Опубліковано: (2017)

Розв'язання тривимірної задачі комп'ютерної томографії з використанням невеликої кількості томограм
за авторством: Литвин, О.М., та інші
Опубліковано: (2011)

Математичні моделі комп’ютерної інтелектуалізації технологій синхронних векторних вимірювань параметрів електричних мереж
за авторством: Стасюк, О.І., та інші
Опубліковано: (2016)

Концепція інтелектуальної комп’ютерної навчальної системи для підготовки українських школярів до НМТ
за авторством: Kulik, Anatoliy, та інші
Опубліковано: (2025)

Операторне числення Вейля в узагальнених алгебрах Пелі–Вінера
за авторством: Lozynska, V. Ya.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Опубліковано: (2024)

УДОСКОНАЛЕННЯ КОМП'ЮТЕРНОЇ ІМІТАЦІЙНОЇ МОДЕЛІ ЧАСТОТНО-РЕГУЛОВАНОГО АСИНХРОННОГО ДВИГУНА В ПАКЕТІ ПРОГРАМ MATLAB
за авторством: Волков, В.О.
Опубліковано: (2026)

Емпірична подоба дійсності та комп’ютерної реальності (комп’ютерне відмежовування від “мирського” життя)
за авторством: Початко, С., та інші
Опубліковано: (2012)

Проектування та розробка комп’ютерної системи прогнозу техногенних навантажень на приземний шар атмосфери
за авторством: Яцишин, А.В., та інші
Опубліковано: (2010)

Емпірична подоба дійсності та комп'ютерної реальності (комп'ютерне відмежовування від "мирського" життя)
за авторством: Початко, С., та інші
Опубліковано: (2011)

Розробка основних компонентів інтелектуальної комп'ютерної системи для прогнозу формування внутрішньої дози опромінення
за авторством: Яцишин, А.В.
Опубліковано: (2009)