Бібліотека Київського столичного університету імені Бориса Грінченка

Головна

Спрощенний режим

Посібник користувача

Бази даних

Електронний каталог бібліотеки- результати пошуку

Вид пошуку

Електронний каталог бібліотеки

Каталог авторефератів та дисертацій

Грінченкознавство

Рідкісні та цінні видання

Українська Аудіокнига

Мережеві ресурси

Наукові періодичні видання Університету

Зона пошуку

у знайденому

Знайдено у інших БД:

Мережеві ресурси (3)

Наукові періодичні видання Університету (5)

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: (<.>K=алгоритми<.>)

Загальна кількість знайдених документів : 153
Показані документи с 1 за 10

1-10 11-20 21-30 31-40 41-50 51-60

Alla, A. Havrylova
Mathematical model of authentication of a transmitted message based on a mceliece scheme on shorted and extended modified elliptic codes using umac modified algorithm = Математична модель аутентифікації повідомлення, що передається, на основі схеми мак-еліса на укорочених і подовження модифікованих еліптичних кодах з використанням модифікованого алгоритма umac / A.Havrylova Alla, Korol OlhaH., Milevskyi StanyslavV. // Кібербезпека: освіта, наука, техніка : електронне наукове видання. - 2019. - N 5. - С. 40-51, DOI 10.28925/2663-4023.2019.5.4051. - Бібліогр. в кінці ст. . - ISSN 2663-4023

Кл.слова (ненормовані):
децентралізовані системи -- технологія блокчейн -- постквантові криптосистеми -- крипто-кодова конструкція на схемі -- еліптичні криві
Анотація: Предметом дослідження є математична модель забезпечення аутентифікації переданого повідомлення на основі схеми Мак-Еліса на укорочених і подовжених модифікованих еліптичних кодах з використанням модифікованого алгоритму UMAC. Метою даної роботи є розробка такої схеми обміну інформацією по каналах зв'язку мережі Інтернет, яка забезпечила б належний рівень верифікації та цілісності інформації, що передається з урахуванням недопущення збільшення витрат на проведені дії. Завдання, які було вирішено: проведено аналіз існуючих способів підвищення стійкості до зломів переданих повідомлень по телекомунікаційних мережах; проведено аналіз схеми передачі повідомлення з використанням технології блокчейн; розроблено формалізований опис математичної моделі забезпечення аутентифікації відкритого тексту з використанням модифікованого алгоритму UMAC; для формування ключових даних запропоновано використовувати крипто-кодову конструкцію (ККК) на схемі Мак-Еліса на модифікованих еліптичних кодах (МЕС); розроблено алгоритми шифрування і дешифрування даних із застосуванням ККК на основі Мак-Еліса на МЕС і алгоритму UMAC. Був запропонований підхід перевірки аутентифікації і верифікації інформаційної посилки підчас передавання або по телекомунікаційних каналах, що дозволяє за допомогою вже відомих методів хешування проводити порівняння сформованих кодограм і переданих повідомлень на їх відповідність, що підвищує рівень криптостійкості переданих даних і ступінь достовірності отриманих даних. Розроблені схеми алгоритмів формування кодограм і їх розшифровки із застосуванням запропонованого підходу дозволяють поетапно продемонструвати здійснення процедур формування кодограм і їх хеш-кодів з використанням як укорочення, так і подовження коду. Подальші дослідження повинні з точки зору практики довести ефективність використання даного підходу при передачі повідомлення відносно його цілісності та автентичності. Тому необхідно розробити тестову систему, яка повинна реалізовувати запропонований підхід, а також оцінити отримані результати
Перейти до зовнішнього ресурсу https://csecurity.kubg.edu.ua

Дод.точки доступу:
OlhaH., Korol
StanyslavV., Milevskyi

Є примірники у відділах: всього 1
Вільні: 1

Знайти схожі

Anatoly, Bessalov
3-and 5-isogenies of supersingular Edwards curves = 3-і 5-ізогенії суперсінгулярних кривих Едвардса / Bessalov Anatoly, Grubiyan Evgeniy, Sokolov Volodymyr // Кібербезпека: освіта, наука, техніка : електронне наукове видання. - 2020. - N 8. - С. 6-21, DOI 10.28925/2663-4023.2020.8.621. - Бібліогр. в кінці ст. . - ISSN 2663-4023

Кл.слова (ненормовані):
крива в узагальненій формі Едвардса -- повна крива Едвардса -- скручена крива Едвардса -- квадратична крива Едвардса -- порядок кривої -- порядок точки -- ізоморфізм -- ізогенія -- ядро ізогенії -- квадратичний відрахування -- квадратичний невирахування
Анотація: Дан аналіз властивостей і умов існування 3-і 5-ізогеній повних і квадратичних суперсінгулярних кривих Едвардса. Для завдання інкапсуляції ключів на основі алгоритму SIDH запропоновано використовувати ізогенії мінімальних непарних ступенів 3 і 5, що дозволяє обійти проблему особливих точок 2-го і 4-го порядків, характерну для 2-ізогеній. Наведено огляд основних властивостей класів повних, квадратичних і скручених кривих Едвардса над простим полем. Формули для ізогеній непарних ступенів приведені до вигляду, адаптованому до кривих в формі Вейєрштрасса. Для цього використовується модифікований закон складання точок кривої в узагальненій формі Едвардса, який зберігає горизонтальну симетрію зворотних точок кривої. Наведені приклади обчислення 3-і 5-ізогенна повних суперсінгулярних кривих Едвардса над малими простими полями і обговорюються властивості композиції ізогеній для їх обчислення з ядрами високих порядків. Отримано формули верхніх оцінок складності обчислень ізогеній непарних ступенів 3 і 5 в класах повних і квадратичних кривих Едвардса в проективних координатах побудовано алгоритми обчислення 3-і 5-ізогеній кривих Едвардса зі складністю 6M+4Sі 12M+5Sвідповідно. Знайдено умови існування суперсінгулярних повних і квадратичних кривих Едвардса порядку 4·3m·5nі8·3m·5n. Визначено деякі параметри криптосистеми при реалізації алгоритму SIDH на рівні квантової безпеки 128 біт
Перейти до зовнішнього ресурсу https://csecurity.kubg.edu.ua

Дод.точки доступу:
Evgeniy, Grubiyan
Грубіян Євген Олександрович
Volodymyr, Sokolov
Соколов Володимир Юрійович
Бессалов Анатолій Володимирович

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі

Bilokobylskyi, O.
"The hard problem" of consciousness in the light of phenomenology of аrtificial intelligence = "Важка проблема" свідомості в світлі феноменології штучного інтелекту / O. Bilokobylskyi // Схід = Skhid : аналітично-інформаційний журнал. - 2019. - № 1. - P25-28. - Бібліогр. в кінці ст. . - ISSN 1728-9343. - ISSN 2411-3093

Кл.слова (ненормовані):
штучний інтелект -- фізичне -- метальне -- кваліа -- людське тіло -- етика
Анотація: Широке використання технологій штучного інтелекту має тенденцію до неконтрольованого зростання. При цьому у сучасній науковій думці відсутнє адекватне розуміння того, які наслідки буде мати впровадження штучного інтелекту в повсякденне життя людини. Окрім того, сутність того, що можна назвати "мисленням" штучного інтелекту залишається філософською Terra Incognita. Проте саме особливості алгоритмів інтелектуальних машинних процесів як з точки зору проміжних цілей, так й в смислі кінцевих результатів можуть нести в собі серйозні загрози. Моделювання "феноменології ШІ" викликає необхідність нової артикуляції головних питань філософії свідомості, на кшталт "важкої проблеми свідомості" й потребує пошуку шляхів та засобів артикуляції "людського виміру" реальності для штучного інтелекту. Дослідження базується на феноменологічній методології, яка використовується в моделі штучного мислення. Імплементація технологій штучного інтелекту не супроводжується розробкою філософії співіснування людини та штучного інтелекту. Алгоритми, що лежать в основі інтелектуальних технологій, не гарантують сьогодні відповідності їх проміжних та кінцевих результатів етичним критеріям. Тому треба замислитися над природою та призначенням виділення проявів фізичної реальності в первинному для нашого Я потоці ментального. Оригінальність дослідження полягає в тому, що вирішення "важкої" проблеми свідомості з цієї точки зору може бути пов'язане з інтерпретацією кваліа як репрезентації "фізичного". Відповідно, до "мислення" штучного інтелекту треба вносити обмеження, пов'язані з фіксацією метафізичного значення людського тіла з саме людськими параметрами. Треба також поіншому подивитися на зв'язок мислення та дії в етичному вимірі. "Основа загального законодавства" повинна зводитися (в тому числі й для штучного інтелекту) до збереження необхідних людині параметрів матеріальних процесів та цілісності її смислового універсуму
Дод.точки доступу:
Білокобильський Олександр

Є примірники у відділах: всього 2 : ГП ЧЗ (2)
Вільні: ГП ЧЗ (2)

Знайти схожі

Donaj, L.
15 years of the Baltic States' membership in the EU: problems, prospects and experience for Ukraine = 15 років членства країн Балтії В ЄС: проблеми, перспективи та досвід для України / L. Donaj, V. Zavadskyi // Схід = Skhid : аналітично-інформаційний журнал. - 2018. - № 6. - P46-51. - Бібліогр. в кінці ст. . - ISSN 1728-9343. - ISSN 2411-3093

Кл.слова (ненормовані):
країни Балтії -- результати -- членство -- Україна -- досвід
Анотація: У статті висвітлені ключові положення дослідження результатів повноправного членства країн Балтії в Європейському Союзі. Аналізуючи геополітичний вимір європейського вибору, автори підготували стислий дискурс викликів, які виникли у часи відновлення незалежності Латвії, Литви та Естонії. Розглянуто чинники європейського вибору зазначених країн, які полягали в безпековому, економічному та соціальному вимірах. Безпековий фактор європейського вектору політики актуалізувався у прагненні політичних еліт вивести країни зі сфери впливу Росії. В економічному плані країни прагнули переорієнтації економік на західні ринки та інкорпорації в архітектуру торговельних зв'язків розвинених країн Євросоюзу. Зазначено, що завдяки євроатлантичному вектору зовнішньої політики та чіткому виконанню критеріїв членства, країни Балтії отримали доступ до пільгового кредитування, програм допомоги країнам-кандидатам й змогли сформувати один із найпривабливіших інвестиційних кліматів у Східній Європі. За допомогою статистичних баз Світового банку, ресурсу "Євростат", аналітичних матеріалів провідної аудиторської компанії KPMG проаналізовано ключові економічні показники: динаміку ВВП (за ПКС) у порівнянні з іншими країнами Центральної та Східної Європи, рівень заробітної плати та пенсійних виплат. Розгляд економічних здобутків від членства в ЄС доповнено аналізом структури ВВП та вивченням галузевої специфікації. Визначено й втрати від процесу євроінтеграції, які полягали у: значному скороченні промислового виробництва, нерентабельності сільського господарства, еміграції населення у віці від 25 до 35 років. Ставлення мешканців до членства країн в Євросоюзі вивчено із використанням результатів щорічних опитувань європейської служби "Євробарометр". З'ясовано, що у 2018 році позитивне ставлення мешканців Латвії, Литви та Естонії фактично не змінилося порівняно з 2004 роком. Наявні у статті діаграми дозволяють також визначити, що рівень євроскептицизму у зазначених країнах значно не змінився у порівнянні з першим роком членства в ЄС. Авторами запропоновані алгоритми врахування Україною досвіду країн Балтії на шляху до повноправного членства.
Дод.точки доступу:
Zavadskyi, V.
Завадський Віталій
Донай Лукаш

Є примірники у відділах: всього 2 : ГП ЧЗ (2)
Вільні: ГП ЧЗ (2)

Знайти схожі

   004.421.2
   H34

    Hassanieh, Haitham.
    The Sparse Fourier Transform: Theory and Practice / H. Hassanieh ; Association for Computing Machinery. - New York : ACM Books, 2018. - 260 p. - (ACM Books series ; #19). - ISBN 978-1-947487-07-9 : Б. ц.
Переклад назви: Розріджена трансформація Фур’є: теорія та практика

ДРНТІ	20
УДК	004.421.2:517.443	517.443

Рубрики: Інформаційні технології--Математичні алгоритми

Алгоритм швидкого перетворення Фур’є

Кл.слова (ненормовані):
обробка сигналів -- перетворення фур’є -- швидка трансформаця фур’є -- стиснення аудіо та відео
Анотація: Перетворення Фур’є є одним з найбільш фундаментальних інструментів для обчислення частотного представлення сигналів. Він відіграє центральну роль в обробці сигналів, комунікаціях, стисненні аудіо та відео, медичних знімках, геноміці, астрономії, а також багатьох інших областях. Через його широке використання швидкі алгоритми для обчислення перетворення Фур’є можуть принести користь великій кількості застосувань. Найшвидший алгоритм для обчислення перетворення Фур’є - швидка трансформація Фур’є (FFT), яка працює в майже лінійний час, що робить її незамінним інструментом для багатьох застосувань. Однак сьогодні час виконання алгоритму FFT вже не досить швидкий, особливо для проблем з великими даними, коли кожен набір даних може мати кілька терабайт. Отже, швидші алгоритми, що працюють у підлінійний час, тобто навіть не вибірки всіх точок даних, стали необхідними. У книзі «Рідка трансформація Фур’є: теорія та практика» показано, як вирішити вищезазначену проблему, розробивши алгоритми розрідженого перетворення Фур’є та будуючи практичні системи, які використовують ці алгоритми для вирішення ключових проблем у шести різних програмах.

Дод.точки доступу:
Association for Computing Machinery

Примірників всього: 1
Сервер (1)
Вільні:
Сервер (1)

Знайти схожі

004.6(075)
I-54

Ilyas, Ihab S..
Data Cleaning [Електронний ресурс] / I. S. Ilyas, Xu Chu ; Association for Computing Machinery. - New York : ACM Books, 2019. - 260 p. - (ACM Books series ; #28). - ISBN 978-1-4503-7152-0 : Б. ц.
Переклад назви: Очищення даних

ДРНТІ	20
УДК	004.6(075)

Рубрики: Інформаційні технології--Очищення даних--Навчальні видання

Кл.слова (ненормовані):
дані -- виправлення помилок -- зовнішня форма даних -- перетворення даних -- виправлення помилок -- дедуплікація даних
Анотація: Ця книга про очищення даних, яка використовується для позначення всіх видів завдань та заходів щодо виявлення та виправлення помилок у даних. Замість того, щоб зосередитись на певній задачі з очищення даних, ми надаємо огляд процесу очищення даних в кінці, описуючи різні методи виявлення помилок та виправлення, та намагаємось прив’язати ці пропозиції до кількох таксономій та поглядів. Зокрема, ми охоплюємо чотири найпоширеніші та найважливіші завдання з очищення даних, а саме виявлення зовнішньої форми, перетворення даних, виправлення помилок (включаючи введення відсутніх значень) та дедуплікацію даних. Крім того, завдяки зростаючій популярності та застосуванню прийомів машинного навчання ми включаємо главу, яка спеціально досліджує, як методи машинного навчання використовуються для очищення даних, і як чистка даних використовується для вдосконалення моделей машинного навчання. Ця книга покликана послужити корисним посиланням для дослідників та практиків, які цікавляться сферою якості даних та очищення даних. Він також може бути використаний як підручник для аспірантури. Хоча ми маємо на меті висвітлити сучасні алгоритми та методи, ми визнаємо, що очищення даних все ще є активною сферою дослідження, і тому надаємо майбутні напрямки досліджень, коли це доречно.

Дод.точки доступу:
Xu Chu
Association for Computing Machinery

Примірників всього: 1
Сервер (1)
Вільні:
Сервер (1)

Знайти схожі

004(075)
L21

Lamport, Leslie.
Concurrency / L. Lamport ; editor D. Malkhi ; Association for Computing Machinery. - New York : ACM Books, 2019. - 345 p. - (ACM Books series ; #29). - ISBN 978-1-4503-7270-1 : Б. ц.
Переклад назви: Паралельність

ДРНТІ	20
УДК	004(075)

Рубрики: Комп’ютерні науки--Інформатика--Навчальні видання

Анотація: Ця книга є святкуванням роботи Леслі Лампорт над одночасністю, переплетеною за чотири з половиною десятиліття еволюціонуючої галузі: від впровадження першого персонального комп'ютера до епохи, коли паралельні та розподілені багатопроцесори є в достатку. Його роботи закладають формальні основи для одночасних обчислень, виконаних взаємопов'язаними комп'ютерами. Деякі алгоритми стали стандартною інженерною практикою для розподілених обчислень, які мають толерантність до відмов, - розподілені системи, які продовжують правильно функціонувати, незважаючи на збої окремих компонентів. Він також розробив значну частину роботи над формальною специфікацією та верифікацією паралельних систем, а також сприяв розробці автоматизованих інструментів із застосуванням цих методів. Частина I складається з технічних розділів книги та біографії. Технічні глави цієї книги представляють ретроспективу оригінальних ідей Lamport від експертів у цій галузі. Через цю лінзу він зображує їх тривалий вплив. Розділи охоплюють позачасові поняття, які Лампорт представив: алгоритм Bakery, атомні регістри та послідовна послідовність; причинність і логічний час; Візантійська угода; реплікація державної машини та Paxos; часова логіка дій (TLA). Професійна біографія розповідає про кар'єру Лампорта, надаючи контекст, в якому його творчість виникла і породила нові підстави, а також обговорює LaTeX - можливо, найвпливовіший внесок Лампорта поза сферою одночасності. Цей розділ дає голос людям, що стоять за досягнення, зокрема сам Лампорт, а також колегам навколо нього, які надихали, співпрацювали та допомагали йому керувати світовим впливом. Частина II складається з підбірки найвпливовіших робіт Леслі Лампорт. Ця книга стосується життєвих внесків Леслі Лампорта у сферу одночасності та широкого впливу, який він мав на людей, які працюють у цій галузі. Це буде корисно як для істориків науки, так і для дослідників та студентів, які працюють у сфері одночасності та які зацікавлені читати про роботу одного з найвпливовіших дослідників у цій галузі.

Дод.точки доступу:
Malkhi, Dahlia \editor.\
Association for Computing Machinery

Примірників всього: 1
Сервер (1)
Вільні:
Сервер (1)

Знайти схожі

004.415.056.5(075)
R88

Rubinstein, Aviad.
Hardness of Approximation Between P and NP / A. Rubinstein ; Association for Computing Machinery. - New York : ACM Books, 2019. - 301 p. - (ACM Books series ; #24). - ISBN 978-1-947487-23-9 : Б. ц.
Переклад назви: Твердість наближення між P і NP

ДРНТІ	20
УДК	004.415.056.5(075)

Рубрики: Проектування систем захисту інформації--Прийняття рішень

Кл.слова (ненормовані):
теорія ігор -- рівновага Неша -- захит інформації
Анотація: Рівновага Неша є центральною концепцією рішення в теорії ігор. Починаючи з оригінального документу Неша в 1951 році, він знайшов незліченну кількість застосувань для моделювання стратегічної поведінки торговців на ринках, (людських) водіїв та (електронних) маршрутизаторів у перевантажених мережах, країн, що ведуть переговори про ядерне роззброєння тощо. Десять років тому актуальність цієї концепції рішення поставила під сумнів комп'ютерні вчені, які довели (за відповідних припущень складності), що обчислення рівноваги Неша є нерозв'язною проблемою. І якщо централізовані, спеціально розроблені алгоритми не можуть знайти рівноваги Неша, то чому ми повинні очікувати, що розподілені, егоїстичні агенти сходяться до одного? Залишилася надія, що принаймні приблизну рівновагу Неша можна ефективно обчислити.

Дод.точки доступу:
Association for Computing Machinery

Примірників всього: 1
Сервер (1)
Вільні:
Сервер (1)

Знайти схожі

004.42
S56

Shun, Julian.
Shared-Memory Parallelism Can Be Simple, Fast, and Scalable / J. Shun ; Association for Computing Machinery. - New York : ACM Books, 2017. - 426 p. - (ACM Books series ; #15). - ISBN 978-1-970001-91-4 : Б. ц.
Переклад назви: Паралелізм спільної пам’яті може бути простим, швидким та масштабованим

ДРНТІ	20
УДК	004.42

Рубрики: Програмування--Паралельні програми

Кл.слова (ненормовані):
тристоронній підхід -- методи програмування -- алгоритми спільної пам’яті -- рамки пам’яті
Анотація: Паралелізм є запорукою досягнення високої продуктивності в обчислювальній техніці. Однак писати ефективні та масштабовані паралельні програми, як відомо, важко і часто вимагає значних знань. Для вирішення цього завдання надзвичайно важливо забезпечити програмістів інструментами високого рівня, які дозволять їм легко розробляти рішення, і в той же час підкреслюють теоретичні та практичні аспекти розробки алгоритмів, щоб дозволяти розробленим рішенням ефективно працювати в багатьох різних налаштуваннях . Ця книга, переглянута версія тези, яка отримала премію докторської дисертації ACM 2015 року, вирішує цю проблему, використовуючи тристоронній підхід, що складається з розробки методів програмування, рамки та алгоритмів спільної пам'яті для важливих проблем в обчисленні. Це дає свідчення того, що за допомогою відповідних методик програмування, фреймворків та алгоритмів програми спільної пам’яті можуть бути простими, швидкими та масштабованими, як теоретично, так і на практиці. Результати служать для полегшення переходу в багатоядерну епоху.

Дод.точки доступу:
Association for Computing Machinery

Примірників всього: 1
Сервер (1)
Вільні:
Сервер (1)

Знайти схожі

10.

004.6
Z17

Zaharia, Matei A. .
An Architecture for Fast and General Data Processing on Large Clusters / M. A. Zaharia ; Association for Computing Machinery. - New York : ACM Books, 2016. - 128 p. - (ACM Books series ; #11). - ISBN 978-1-970001-57-0 : Б. ц.
Переклад назви: Архітектура для швидкої та загальної обробки даних на великих кластерах

ДРНТІ	20
УДК	004.6

Рубрики: Інформаційні технології--Обробка даних--Архітектура

Кл.слова (ненормовані):
MapReduce -- алгоритми багатопрохідного доступу -- архітектура
Анотація: Ця книга, переглянута версія дисертації на здобуття премії ACM Dissertation 2014 р., Пропонує архітектуру для кластерних обчислювальних систем, яка може вирішувати виникаючі навантаження на обробку даних в масштабі. У той час як ранні кластерні обчислювальні системи, такі як MapReduce, обробляли пакетну обробку, наша архітектура також дозволяє здійснювати потокові та інтерактивні запити, зберігаючи масштабованість MapReduce та стійкість до відмов. І хоча більшість розгорнутих систем підтримують лише прості обчислення в один прохід (наприклад, SQL-запити), наша також поширюється на алгоритми багатопрохідного доступу, необхідні для складної аналітики, наприклад машинного навчання. Нарешті, на відміну від спеціалізованих систем, запропонованих для деяких із цих робочих навантажень, наша архітектура дозволяє комбінувати ці обчислення, що дає можливість багатим новим програмам, що змішуються, наприклад, потокової та пакетної обробки.

Дод.точки доступу:
Association for Computing Machinery

Примірників всього: 1
Сервер (1)
Вільні:
Сервер (1)

Знайти схожі

1-10 11-20 21-30 31-40 41-50 51-60

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)