Предложен метод оптимизации аппаратурных затрат в схеме автомата Мура, реализуемой в базисе FPGA. Метод основан на одновременном использовании замены входов и преобразования кодов состояний в коды классов псевдоэквивалентных состояний. Такой подход приводит к трехуровневой схеме автомата. Приведен пример синтеза автомата Мура с использованием предложенного метода и выполнен анализ его положительных и отрицательных характеристик. Исследования на базе стандартных автоматов показали, что данный метод позволяет уменьшить аппаратурные затраты и потребляемую мощность при незначительной потере быстродействия.

Проведен сравнительный анализ различных методов решения задачи определения спектральных характеристик математических моделей систем управления (систем поддержки принятия решений). Рекомендован выбор метода с учетом специфики объекта или технологического процесса. На основании проведенных модельных экспериментов сделан вывод о преимуществах использования степенного метода и метода Хиленко, когда диапазон изменения скоростей рассчитываемых переменных неизвестен или может существенно измениться при изменении режимов работы объекта (технологического процесса), а также при возникновении критических ситуаций и необходимости их "отработки" системой управления.

Індекс рубрикатора НБУВ: З970.403

Рубрики:

Шифрування даних

Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ 

Формалізовано визначення розмітки графу в термінах комбінаторних конфігурацій. Досліджено зв'язок реберних і вершинних (a, d)-дистанційних антимагічних розміток із такими відомими конфігураціями, як відокремлюванні системи та множини магічних прямокутників. Отримано розв'язок задачі побудови цих розміток для окремих типів графів і певних значень a, d.

Індекс рубрикатора НБУВ: В127

Рубрики:

Теорія алгоритмів, рекурсивні функції

Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ 

Індекс рубрикатора НБУВ: В192.14

Рубрики:

Наближене обчислення значень різних функцій

Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ 

Для каждого заболевания существует определенный набор генов, мутации в которых увеличивают риск развития болезни. Массовое секвенирование ДНК больных и здоровых людей привело к определению генов, связанных с конкретными заболеваниями. Описаны эффективные процедуры определения мутаций и их месторасположения в последовательностях генов исследуемых пациентов. Предложено использовать оптимальную байесовскую процедуру определения групп рисков при конкретных заболеваниях, в том числе сопутствующих COVID-19.

Розроблено комбінований підхід до оцінювання ефективності суспільних перетворень як міри неузгодженості між діями влади і очікуваннями суспільства та синергії (соціальної активності) людей, що Грунтується на формалізованому узгодженні результатів, отриманих методом експертних оцінок, а також методами сентимент-аналізу та інтелектуального аналізу текстових повідомлень з відкритих онлайн-джерел і соціальних мереж. Ці методи реалізовано у вигляді комплексу вебсервісів та застосунків у середовищі розроблення інтегрованої онлайн-платформи Advanced Analytics Світового центру даних "Геоінформатика і сталий розвиток". Ефективність запропонованої методики продемонстровано на прикладі кількісного оцінювання ставлення населення України до дій влади, спрямованих на протидію поширенню епідемії COVID-19.

Розглянуто задачу побудови оптимальних за точністю на класах функцій і близьких до них квадратурних формул обчислення перетворення Бесселя (ПБ). Для деяких класів підінтегральних функцій побудовано оптимальні за точністю оцінки похибки обчислення ПБ, а також квадратурні формули, на яких ці оцінки досягаються.

Рассмотрены и исследованы методы решения переопределенных систем линейных алгебраических уравнений (СЛАУ), у которых основная матрица известна точно, а правая часть содержит погрешность. Предполагается, что покомпонентная погрешность является случайной величиной, принадлежащей малому ограниченному интервалу. При точных значениях правой части система имеет однозначное решение. В основу развиваемого подхода положено гарантированное оценивание интервалов принадлежности точного решения, по которым можно судить о качестве получаемых приближенных оценок решений. Эти гарантированные оценки используются при сравнении методов и оценивании их эффективности. По результатам численного моделирования сделан сравнительный анализ методов и даны рекомендации по их практическому применению.

Індекс рубрикатора НБУВ: В172.6

Рубрики:

Статистика випадкових процесів. Часові ряди

Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ 

Побудовано оцінки стійкості геш-функції Poseidon до небінарних лінійних і різницевих атак. Визначено загальні параметри для геш-функції Poseidon, які забезпечують можливість її використання у рекурентних SNARK-доведеннях, що базуються на триплетах MNT-4 і MNT-6. Проаналізовано, як потрібно обирати S-блоки для цієї геш-функції, щоб цей вибір був оптимальним з погляду як стійкості, так і кількості констрейнтів. Показано, яка кількість раундів є достатньою, щоб гарантувати стійкість такої геш-функції до небінарних лінійних і різницевих атак, та обчислено кількість констрейнтів на біт інформації для запропонованих реалізацій цієї функції з демонстрацією суттєвого виграшу у порівнянні з геш-функцією Педерсена.

Рассмотрена система обслуживания GI/G/1 типа Лакатоша с Т-возвращением заявок, т.е. система с FCFS дисциплиной обслуживания и постоянным временем Т цикла орбиты. Для такой системы построена цепь Маркова, доказано условие эргодичности, при определенном соотношении времени обслуживания и времени пребывания на орбите решена система уравнений для стационарного распределения вероятностей состояний системы, выведены формулы для средних показателей количества заявок и количества циклов заявки на орбите. Разработан алгоритм статистического моделирования функционирования системы. Результаты аналитического и статистического моделирования согласуются. Указано важное свойство систем типа Лакатоша: она может применяться для оценки системы, в которой обслуживание с дисциплиной FCFS необязательно.

Рассмотрена управляемая система дифференциальных уравнений Лотки - Вольтерры, описывающая процесс развития двух взаимосвязанных популяций хищников и жертв. Система содержит две переменные управления, которые выбираются так, чтобы время перехода к стационарной точке было минимальным. Построены функции управления и соответствующие траектории движения в фазовом пространстве и обоснована их оптимальность.

Рассмотрена проблема сближения управляемых объектов с различной инерционностью в игровых задачах динамики на основе современной версии метода разрешающих функций. Для таких объектов характерно, что на некотором интервале времени не выполняется условие Понтрягина, что существенно затрудняет применение метода разрешающих функций к этому классу игровых задач динамики. Предложен метод решения таких задач, связанный с построением некоторых скалярных функций (разрешающих), качественно характеризующих ход сближения управляемых объектов с различной инерционностью и эффективность принятых решений. Метод разрешающих функций позволяет эффективно использовать современную технику многозначных отображений в обоснованиях игровых конструкций и получении на их основе содержательных результатов. Сравниваются гарантированные времена окончания игры для разных схем сближения управляемых объектов. Приведен иллюстративный пример.

Виведено логістичне диференціальне рівняння у частинних похідних для визначення раціонального розміщення та зміни обсягів запасів матеріальних засобів протягом періоду забезпечення. Надалі з використанням логістичного диференціального рівняння у частинних похідних можна визначати та обчислювати конкретні значення показників, що входять до розв'язку логістичного диференціального рівняння у частинних похідних.

Розроблено високопродуктивні суперкомп'ютерні технології обчислень для моделювання та ідентифікації параметрів складних процесів n-компонентної компетитивної адсорбції в нанопористих кіберсистемах зі зворотними зв'язками. Запропоновано ефективне розпаралелювання векторних складовихт розв'язку моделі з використанням перетворення Лапласа та операційного методу Гевісайда з декомпозицією нелінійної системи з умовами адсорбційної рівноваги типу Ленгмюра. Наведено результати числових експриментів на основі паралельних обчислень з використанням багатоядерних комп'ютерів.

Наведено теоретичні основи симетричного шифрування на основі системи залишкових класів. Особливості цього підходу полягають у тому, що у випадку відновлення десяткового числа за його залишками з використанням китайської теореми про залишки множення здійснюється на довільно вибрані коефіцієнти (ключі). Встановлено, що криптостійкість розроблених методів визначається кількістю модулів та їхньою розрядністю. З'ясовано, що описані методи забезпечують можливість практично необмеженого збільшення блоку відкритого тексту для шифрування, при цьому зникає потреба у використанні різних режимів шифрування.