http://dspace.nbuv.gov.ua:80/handle/123456789/179384 2026-04-11T12:24:51Z 2026-04-11T12:24:51Z Рачковский, Д.А. http://dspace.nbuv.gov.ua:80/handle/123456789/181041 2021-10-29T22:26:19Z 2019-01-01T00:00:00Z

Индексные структуры для быстрого поиска сходных символьных строк Рачковский, Д.А. Дан обзор индексных структур для быстрого поиска по сходству объектов, представленных символьными строками. Рассмотрены индексные структуры как для точного, так и для приближенного поиска по расстоянию редактирования. Представлены индексные структуры на основе обратного индексирования, сохраняющего сходство хэширования, древовидных структур. Изложены идеи известных и предложенных в последнее время алгоритмов.; Наведено огляд індексних структур для швидкого пошуку за схожістю об’єктів, що представлені бінарними символьными рядками. Розглянуто індексні структури як для точного, так і для наближеного пошуку за відстанню редагування. Описано індексні структури на основі зворотного індексування, гешування, що зберігає схожість, деревовидних структур. Викладено ідеї алгоритмів, відомих та нещодавно запропонованих.; We survey index structures for fast similarity search of objects represented by symbolic strings. Index structures for both exact and approximate search by the edit distance are considered. Mainly, we present index structures based on inverted indexing, similarity-preserving hashing, tree structures. The ideas of specific algorithms, including the recently proposed ones, are outlined.

2019-01-01T00:00:00Z Марасанов, В.В. Шарко, А.В. Шарко, А.А. http://dspace.nbuv.gov.ua:80/handle/123456789/181040 2021-10-29T22:26:01Z 2019-01-01T00:00:00Z

Граничные задачи определения энергетического спектра сигналов акустической эмиссии в сопряженных сплошных средах Марасанов, В.В.; Шарко, А.В.; Шарко, А.А. Рассмотрены граничные задачи распространения сигналов акустической эмиссии при сопряжении двух сплошных сред. В качестве основных переменных в них выбраны сила, определяющая возникновение акустической эмиссии, и смещение частиц среды, определяющее появление и распространение упругих волн. Приведено методическое обоснование решения краевой задачи в сопряженных средах с использованием функции Грина и преобразований Фурье. Показано, что энергетический спектр акустической эмиссии полностью определяется силовыми константами материала и силами, инициирующими возникновение сигналов акустической эмиссии.; Розглянуто граничні задачі поширення сигналів акустичної емісії для сполучення двох суцільних середовищ. Як основні змінні обрано силу, яка визначає виникнення акустичної емісії, і зміщення частинок середовища, що визначає появу і поширення пружних хвиль. Наведено методичне обґрунтування розв’язання крайової задачі в сполучених середовищах з використанням функції Гріна і перетворень Фур’є. Показано, що енергетичний спектр акустичної емісії повністю визначається силовими константами матеріалу і силами, що ініціюють виникнення сигналів акустичної емісії.; The boundary problems of the propagation of acoustic emission signals with the conjugation of two continuous media are considered. The main variables in the problems are the force, which determines the occurrence of acoustic emission, and the displacement of medium particles, which determines the occurrence and propagation of elastic waves. The methodological substantiation of the solution of the boundary-value problem in adjoint media using the Green function and Fourier transforms is presented. It is shown that the energy spectrum of acoustic emission is completely determined by the force constants of the material and the forces initiating the occurrence of acoustic emission signals.

2019-01-01T00:00:00Z Летичевський, О.О. Песчаненко, В.С. Гринюк, Я.В. Радченко, В.Ю. Яковлев, В.М. http://dspace.nbuv.gov.ua:80/handle/123456789/181039 2021-10-29T22:26:18Z 2019-01-01T00:00:00Z

Огляд сучасних методів захищеності та безпеки програмних систем Летичевський, О.О.; Песчаненко, В.С.; Гринюк, Я.В.; Радченко, В.Ю.; Яковлев, В.М. Показано, що безпека та захищеність програмних ресурсів нині є однією з найбільш актуальних проблем в ІТ-галузі, оскільки дії зловмисників стають дедалі більш загрозливими, а збитки від кібератак збільшуються. Традиційні методи боротьби з кібератаками втрачають свою ефективність, тому розроблення нових методів і засобів захисту програмних ресурсів є нагальною потребою. Особливо цікавими і перспективними є розробки, які ґрунтуються на формальних методах з використанням сучасних алгебраїчних теорій.; Показано, что в настоящее время безопасность и защищенность программных ресурсов является одной из наиболее актуальных проблем в ИТ-отрасли, поскольку действия злоумышленников становятся все более изощренными, а убытки от кибератак растут. Традиционные методы борьбы с кибератаками теряют свою эффективность, поэтому разработка новых методов и средств защиты программных ресурсов является насущной потребностью. Особенно интересными и перспективными являются разработки, базирующиеся на формальных методах с использованием современных алгебраических теорий.; Security and protection of software resources are one of the most important problems in the IT industry since attackers’ actions become increasingly sophisticated and losses caused by cyberattacks are growing. Traditional methods of cyberattack prevention become inefficient; therefore, development of new methods and tools to secure software resources becomes of essential need. The studies that are based on formal methods with the use of modern algebraic theories are especially interesting and promising.

2019-01-01T00:00:00Z Раппопорт, И.С. http://dspace.nbuv.gov.ua:80/handle/123456789/181038 2021-10-29T22:26:17Z 2019-01-01T00:00:00Z

Достаточные условия сближения управляемых объектов в игровых задачах динамики. I Раппопорт, И.С. Решена задача сближения управляемых объектов на основе метода разрешающих функций. Предложены достаточные условия окончания игры за конечное гарантированное время в случае, когда условие Понтрягина не выполняется. Введены верхние и нижние разрешающие функции разных типов. На их основе разработаны две схемы метода разрешающих функций, обеспечивающих завершение дифференциальной игры в классе квазистратегий и контруправлений.; Розв’язано задачу зближення керованих об’єктів на основі методу розв’язувальних функцій. Запропоновано достатні умови закінчення гри за скінченний гарантований час у випадку, коли умова Понтрягіна не виконується. Введено верхні і нижні розв’язувальні функції різних типів. На їхній основі розроблено дві схеми методу розв’язувальних функцій, що забезпечують завершення диференціальної гри в класі квазістратегій і контркерувань.; The problem of approach of control objects is solved on the basis of the method of resolving functions. Sufficient conditions for game ending in a final guaranteed time are proposed in the case when the Pontryagin condition is not satisfied. The upper and lower resolving functions of different types are introduced and used to develop two schemes of the method of resolving functions that ensure the completion of the differential game in the class of quasi-strategies and counter-controls.

2019-01-01T00:00:00Z