Шифр: К499224528/2017/4 Журнал 2017р. Т. 53 № 4 Кривонос, Ю. Г. Предиктивная система набора текста для украинского языка / Ю. Г. Кривонос, Ю. В. Крак, А. В. Бармак. - С.3-11. - Библиогр. в конце ст. Кл.слова: альтернативна комунікація, прогнозування, формування корпусів слів Палагін, О. В. Ноосферна парадигма розвитку науки та штучний інтелект / О. В. Палагін, А. І. Шевченко, О. П. Кургаєв. - С.12-21. - Библиогр. в конце ст. Кл.слова: дисциплінарна парадигма, інформаційно-технологічний підхід, штучний інтелект Чеботарев, А. Н. Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ?-автоматов / А. Н. Чеботарев. - С.22-36. - Библиогр. в конце ст. Кл.слова: логіки першого порядку, формули минулого часу, автоматна семантика Скобелев, В. В. Атрибутные транзиционные системы со скрытыми переходами / В. В. Скобелев. - С.37-49. - Библиогр. в конце ст. Кл.слова: атрибутні транзиційні системи, приховані переходи, допустимість Селезов, И. Т. Моделирование распространения медицинского препарата / И. Т. Селезов, Ю. Г. Кривонос. - С.50-58. - Библиогр. в конце ст. Кл.слова: медичний препарат, тканина, дифузія, гіперболічне рівняння Королюк, В. С. Асимптотический анализ системы с сервером на «прогулке» и скоропортящимися запасами / В. С. Королюк, А. З. Меликов, Л. А. Пономаренко. - С.59-70. - Библиогр. в конце ст. Кл.слова: пролулка сервера, швидкопсувні записи, політика двох рівнів Русанов, В. А. К геометрическим основам дифференциальной реализации динамических процессов в гильбертовом пространстве / В. А. Русанов, А. В. Данеев, Ю. Э. Линке. - С.71-83. - Библиогр. в конце ст. Кл.слова: диференціальна реалізація, нестаціонарна модель, сумісність Стоян, В. А. О задачах управления динамикой неполно определенных трехмерных упругих тел. I. Случай непрерывно заданного желаемого состояния / В. А. Стоян. - С.84-95. - Библиогр. в конце ст. Кл.слова: динамічні системи, теорія потужності, псевдоінверсія Лукашив, Т. О. Устойчивость стохастических систем случайной структуры с марковскими переключениями и возмущениями / Т. О. Лукашив, В. К. Ясинский. - С.96-104. - Библиогр. в конце ст. Кл.слова: стохастична система, асимптотична стійкість, стійкість за ймовірністю Павлова, С. В. Моделирование инвариантного метода разрешения динамических конфликтов воздушных судов / С. В. Павлова, А. Е. Волков. - С.105-112. - Библиогр. в конце ст. Кл.слова: конфліктна ситуація, повітряне судно, моделювання Колечкина, Л. Н. Решение экстремальных задач с дробно-линейными функциями цели на комбинаторной конфигурации перестановок при условии многокритериальности / Л. Н. Колечкина, Е. А. Дверная. - С.113-123. - Библиогр. в конце ст. Кл.слова: екстремальні задачі, комбінаторні конфігурації, модифікований метод Головинський, А. Л. Розвиток суперкомп’ютерів серії СКІТ, розроблених в Інституті кібернетики ім. В.М. Глушкова НАН України у період з 2002 по 2017 роки / А. Л. Головинський, І. В. Сергієнко. - С.124-129. - Библиогр. в конце ст. Кл.слова: суперкомп’ютер, кластер, паралельне програмування Стеценко, І. В. Паралельний алгоритм імітації Петрі-об’єктної моделі / І. В. Стеценко. - С.130-140. - Библиогр. в конце ст. Кл.слова: стохастична мережа Петрі, алгоритм імітації, паралельні обчислення Гнатив, Л. А. Целочисленное косинусное преобразование высокого порядка: метод построения и быстрые алгоритмы для кодирования изображений и видео с высоким разрешением / Л. А. Гнатив. - С.141-154. - Библиогр. в конце ст. Кл.слова: масштабоване перетворення, факторизація, обчислювальна складність Опанасенко, В. Н. Синтез нейроподобных сетей на основе преобразований циклических кодов Хемминга / В. Н. Опанасенко, С. Л. Крывый. - С.155-164. - Библиогр. в конце ст. Кл.слова: булева функція, нейроподібна мережа, відстань Хемінга Рачковский, Д. А. Основанные на расстояниях индексные структуры для быстрого поиска по сходству / Д. А. Рачковский. - С.165-192. - Библиогр. в конце ст. Кл.слова: пошук за схожістю, метрична відстань, граф сусідства Перейти до зовнішнього ресурсу ДО ЗМІСТУ Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Шифр: К499224528/2018/2 Журнал 2018р. № 2 Балабанов, А. С. Структурно детерминированные неравенства для корреляций в цикле линейных зависимостей / А. С. Балабанов. - С.3-16. - Бібліогр. в кінці ст. Кл.слова: кореляція, обмеження типу нерівність, марковські властивості Галба, Е. Ф. Представление взвешенных псевдообратных матриц со смешанными весами через другие псевдообратные матрицы / Е. Ф. Галба, Н. А. Варенюк. - С.17-25. - Бібліогр. в кінці ст. Кл.слова: зважені псевдообернені матриці Булавацкий, В. М. Численное моделирование дробно-дифференциальной фильтрационно-консолидационной динамики в рамках моделей с несингулярным ядром / В. М. Булавацкий, В. А. Богаенко. - С.26-37. - Бібліогр. в кінці ст. Кл.слова: математичне моделювання, крайові задачі, розпаралелювання обчислень Самойленко, И. В. Асимптотическая диссипативность случайных процессов с импульсным возмущением в схеме пуассоновой аппроксимации / И. В. Самойленко, Я. М. Чабанюк, А. В. Никитин. - С.38-44. - Бібліогр. в кінці ст. Кл.слова: дисипативність, генератор, макровський процес Война, Ал. А. Динамическое управление риском в многомерных марковских моделях / Ал. А. Война. - С.45-54. - Бібліогр. в кінці ст. Кл.слова: оптимальні стаціонарні стратегії, функція ризику, ітераційні алгоритми Гребенник, И. В. Комбинаторные конфигурации в оптимизационных задачах балансной компоновки / И. В. Гребенник, А. А. Коваленко, Т. Е. Романова. - С.55-67. - Бібліогр. в кінці ст. Кл.слова: балансна компоновка, математична модель, оптимізація Стоян, В. А. О трехмерных интегральных математических моделях динамики толстых упругих плит / В. А. Стоян. - С.68-77. - Бібліогр. в кінці ст. Кл.слова: динамічні системи, псевдоінверсія, товсті пружні плити Волдырева, В. О. О непрерывной зависимости вероятностей неразорения от функции распределения выплат в классической модели риска / В. О. Волдырева, Г. М. Шевченко. - С.78-84. - Бібліогр. в кінці ст. Кл.слова: процес ризику, збіжність, ймовірність банкрутства Пашко, С. В. Оптимальне розміщення багатосенсорної системи для виявлення загрози / С. В. Пашко. - С.85-94. - Бібліогр. в кінці ст. Кл.слова: багатосенсорна система, оптимальне розміщення сенсорів, асимптотична оптимальність Дунаев, Б. Б. Дефляционное регулирование рыночного равновесия / Б. Б. Дунаев, Л. В. Кириленко. - С.95-108. - Бібліогр. в кінці ст. Кл.слова: економіка, інвестиції, амортизація Жерновий, Ю. В. Рекурентні співвідношення для багатоканальних систем з ерлангівським часом обслуговування другого порядку / Ю. В. Жерновий, К. Ю. Жерновий. - С.109-115. - Бібліогр. в кінці ст. Кл.слова: ерлангівський час обслуговування, метод фіктичних фаз, стаціонарні характеристики Перун, Г. М. Стохастическая m-точечная задача коши для параболичного уравнения с полувинеровскими возмущениями / Г. М. Перун, В. К. Ясинский. - С.116-122. - Бібліогр. в кінці ст. Кл.слова: функція Гріна, умова параболічності, математичне сподівання Герус, В. А. Системный подход к математическому и компьютерному моделированию геомиграционных процессов с использованием пакета FreeFet ++ и распараллеливания вычислений / В. А. Герус, Н. В. Иванчук, П. Н. Мартынюк. - С.123-133. - Бібліогр. в кінці ст. Кл.слова: математичне та комп’ютерне моделювання, тепломасоперенесення, паралельны обчислення Семенюта, М. Ф. Про (a, d)- дистанційну антимагічну та 1-вершинну бімагічну вершинну розмітки окремих типів графів / М. Ф. Семенюта. - С.134-141. - Бібліогр. в кінці ст. Кл.слова: дистанційна магічна розмітка, n-вимірний куб, корона Рубан, И. В. Подход к классификации состояния сети на основе статистических параметров для обнаружения аномалий в информационной структуре вычислительной системы / И. В. Рубан, В. А. Мартовицкий, Н. В. Лукова-Чуйко. - С.142-150. - Бібліогр. в кінці ст. Кл.слова: стекінг, машинне навчання, метанавчання Крывый, С. Л. Разбиение множнства векторов с целыми неотрицательными координатами с использованием логических аппаратных средств / С. Л. Крывый, В. Н. Опанасенко. - С.151-161. - Бібліогр. в кінці ст. Кл.слова: булева функція, цілочислові вектори, порогові відношення Рачковский, Д. А. Индексные структуры для быстрого поиска по сходству вещественных векторов / Д. А. Рачковский. - С.162-181. - Бібліогр. в кінці ст. Кл.слова: пошук за схожістю, кластеризація, граф сусідства Краснобаев, В. А. Метод оперативного диагностирования данных, представленных в системе остаточных классов / В. А. Краснобаев, С. А. Кошман. - С.182-192. - Бібліогр. в кінці ст. Кл.слова: контроль даних, оперативність діагностування даних, альтернативна сукупність числа Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Опанасенко, В. Н. Синтез нейроподобных сетей на основе преобразований циклических кодов Хемминга [Текст] / В. Н. Опанасенко, С. Л. Крывый // Кибернетика и системный анализ. - Київ : Інститут кібернетики ім. В. М. Глушкова НАН України, 2017. - Т. 53, № 4. - С. 155-164. - Библиогр. в конце ст. Кл.слова (ненормовані): булева функція -- нейроподібна мережа -- відстань Хемінга Дод.точки доступу: Крывый, С. Л. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Крывый, С. Л. Разбиение множнства векторов с целыми неотрицательными координатами с использованием логических аппаратных средств [Текст] / С. Л. Крывый, В. Н. Опанасенко // Кибернетика и системный анализ. - Київ : Інститут кібернетики ім. В. М. Глушкова НАН України, 2018. - № 2. - С. 151-161. - Бібліогр. в кінці ст. Кл.слова (ненормовані): булева функція -- цілочислові вектори -- порогові відношення Дод.точки доступу: Опанасенко, В. Н. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Шифр: К499224528/2019/3 Журнал 2019р. № 3 Бессалов, А. В. Суперсингулярные скрученные кривые Эдвардса над простым полем. Суперсингулярные скрученные кривые Эдвардса с j-инвариантами, равными нулю и 12 / А. В. Бессалов, Л. В. Ковальчук. - С.3-10. - Бібліогр. в кінці ст. Хиленко, В. В. Формирование новой концепции и парадигмы построения систем кибербезопасности / В. В. Хиленко. - С.11-16. - Бібліогр. в кінці ст. Номировский, Д. А. Сходимость двухэтапного метода с расхождением Брэгмана для вариационных неравенств / Д. А. Номировский, Б. В. Рублев, В. В. Семенов. - С.17-27. - Бібліогр. в кінці ст. Ястремський, О. І Міжгалузева шахівниця невизначеності та її застосування: прогнозування, економічна політика, фіскальний ризик, загальна рівновага / О. І Ястремський. - С.28-36. - Бібліогр. в кінці ст. Денисов, С. В. Брэгмановский экстраградиентный метод с монотонной регулировкой шага / С. В. Денисов, В. В. Семенов, П. И. Стецюк. - С.37-44. - Бібліогр. в кінці ст. Харченко, В. П. Формальные и неархимедовы структуры динамических систем на многообразиях / В. П. Харченко, Н. М. Глазунов. - С.45-55. - Бібліогр. в кінці ст. Селезов, И. Т. Дифракция упругих волн на сфере в полуограниченной области / И. Т. Селезов. - С.56-63. - Бібліогр. в кінці ст. Лаптин, Ю. П. Проблемы определения коэффициентов точных штрафных функций / Ю. П. Лаптин, Т. А. Бардадым. - С.64-79. - Бібліогр. в кінці ст. Литвин, О. М. Відновлення структури розривного пласта з використанням томографічних методів / О. М. Литвин, О. О. Литвин, В. В. Драгун. - С.80-89. - Бібліогр. в кінці ст. Кульбашна, Н. І. Системний підхід в ергономічному забезпеченні умов руху на дорозі / Н. І. Кульбашна, К. О. Сорока, І. Е. Линник. - С.90-98. - Бібліогр. в кінці ст. Дунаев, Б. Б. Оптимизация ставки налога на доход производства / Б. Б. Дунаев. - С.99-111. - Бібліогр. в кінці ст. Семенюта, М. Ф. Матрицы, ассоциированные с D-дистанционными магическими графами, и их свойства / М. Ф. Семенюта, В. А. Шульгин. - С.112-120. - Бібліогр. в кінці ст. Вакал, Л. П. Алгоритм наилучшей равномерной аппроксимации сплайнами со свободными узлами / Л. П. Вакал, Е. С. Вакал. - С.121-128. - Бібліогр. в кінці ст. Белецкий, Б. А. Распределенные байесовские процедуры машинного обучения / Б. А. Белецкий. - С.129-135. - Бібліогр. в кінці ст. Крывый, С. Л. Разбиение множества векторов с целыми координатами логическими аппаратными средствами / С. Л. Крывый, В. Н. Опанасенко, С. Б. Завьялов. - С.136-148. - Бібліогр. в кінці ст. Возна, Н. Я. Алгоритми розв’язання задач криптозахисту пікселів кольорових зображень у базисі Радемахера та залишкових класах / Н. Я. Возна, Я. М. Николайчук, О. І. Волинський. - С.149-163. - Бібліогр. в кінці ст. Кудін, А. М. Технологія блокчейн: питання аналізу та синтезу / А. М. Кудін, Б. А. Коваленко, І. В. Швідченко. - С.164-172. - Бібліогр. в кінці ст. Ходаковский, Н. И. Метод построения запоминающих устройств со сверхвысокой плотностью записи информации / Н. И. Ходаковский. - С.173-181. - Бібліогр. в кінці ст. Главчева, Ю. М. Огляд методів та технологій інформетрії / Ю. М. Главчева, О. В. Каніщева, Н. В. Борисова. - С.182-193. - Бібліогр. в кінці ст. Семенов, В. Ю. Метод локализации нулей аналитических функций на основе оператора Кравчика / В. Ю. Семенов, Е. В. Семенова. - С.194-200. - Бібліогр. в кінці ст. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) Учбова література: ФІТМ / ІКБ / 122 / Методи реалізації криптографічних механізмів / 9 / ОСН |
Крывый, С. Л. Разбиение множества векторов с целыми координатами логическими аппаратными средствами [Текст] / С. Л. Крывый, В. Н. Опанасенко, С. Б. Завьялов // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2019. - № 3. - С. 136-148. - Бібліогр. в кінці ст. . - ISSN 0023-1274 Кл.слова (ненормовані): цілочислові вектори -- порогові значення -- скінченні автомати -- тризначна логіка Дод.точки доступу: Опанасенко, В. Н. Завьялов, С. Б. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Шифр: К499224528/2020/6 Журнал 2020р. № 6 Баркалов, А. А. Оптимизация схемы совмещенного автомата в базисе ASIC / А. А. Баркалов, Л. А. Титаренко, А. В. Баев. - С.3-11. - Бібліогр. в кінці ст. Anisimov, A. V. Generating (2,3)-codes / A. V. Anisimov. - С.12-18. - Бібліогр. в кінці ст. Годлевський, А. Б. Киберфизические системы: лингвистический аспект / А. Б. Годлевський, М. К. Мороховець. - С.19-37. - Бібліогр. в кінці ст. Погорілий, С. Д. Оцінювання когерентності тексту за допомогою побудови графу семантичної та лексико-граматичної узгодженості словосполучень речень / С. Д. Погорілий, А. А. Крамов. - С.38-45. - Бібліогр. в кінці ст. Варенюк, Н. А. Варіаційні постановки та дискретизація крайової задачі теорії пружності із заданими на границі області напругами / Н. А. Варенюк, Е. Ф. Галба, І. В. Сергієнко. - С.46-60. - Бібліогр. в кінці ст. Химич, А. Н. Параллельный алгоритм решения частичной проблемы собственных значений для блочно-диагональных матриц с окаймлением / А. Н. Химич, А. В. Попов, А. В. Чистяков. - С.61-74. - Бібліогр. в кінці ст. Власенко, Л. А. О декомпозиции дескрипторных систем управления / Л. А. Власенко, А. Г. Руткас, В. В. Семенец. - С.75-85. - Бібліогр. в кінці ст. Ляшко, С. И. Асимптотические решения ступенчатого типа для уравнения Кортевега–де Фриза с переменными коэффициентами и малым параметром при старшей производной / С. И. Ляшко, В. Г. Самойленко, Ю. И. Самойленко. - С.86-95. - Бібліогр. в кінці ст. Кнопов, П. С. Статистический анализ динамики инфицирования коронавирусом с помощью пошаговой регрессии с переключениями / П. С. Кнопов, А. С. Корхин. - С.96-106. - Бібліогр. в кінці ст. Лебедева, Т. Т. Многокритериальная задача оптимизации: устойчивость к возмущениям входных данных векторного критерия / Т. Т. Лебедева, Н. В. Семенова, Т. И. Сергиенко. - С.107-114. - Бібліогр. в кінці ст. Ільяшов, О. А. Підхід до побудови математичної моделі сигнатури визначення об’єктів моніторингу із застосуванням інформативності її моніторингових ознак / О. А. Ільяшов, В. С. Комаров, О. В. Юрченко. - С.115-119. - Бібліогр. в кінці ст. Стецюк, П. І. Побудова зовнішнього контуру сопла Франкля з використанням S-подібних кривих із квадратичним законом розподілу кривини / П. І. Стецюк, О. В. Ткаченко, О. М. Хом’як. - С.120-135. - Бібліогр. в кінці ст. Ведель, Я. И. Адаптивный двухэтапный проксимальный алгоритм для задачи / Я. И. Ведель, Г. В. Сандраков, В. В. Семенов. - С.136-148. - Бібліогр. в кінці ст. Потьомкін, М. М. Порівняння методів, використовуваних під час прийняття рішення для отримання значень коефіцієнтів важливості показників, що характеризують складну систему / М. М. Потьомкін, А. А. Седляр, О. В. Дейнега. - С.149-159. - Бібліогр. в кінці ст. Воронин, А. Н. Многокритериальная оптимизация: системный подход / А. Н. Воронин, А. С. Савченко. - С.160-174. - Бібліогр. в кінці ст. Крывый, С. Л. Логические операции над нечеткими множествами и отношениями / С. Л. Крывый, В. Н. Опанасенко, С. Б. Завялов. - С.175-183. - Бібліогр. в кінці ст. Кургаев, А. Ф. Расширение метаязыка нормальных форм знаний / А. Ф. Кургаев. - С.184-191. - Бібліогр. в кінці ст. Краснобаев, В. А. Метод реализации операции сложения двух остатков чисел по модулю системы остаточных классов / В. А. Краснобаев, А. А. Кузнецов, С. А. Кошман. - С.192-202. - Бібліогр. в кінці ст. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Крывый, С. Л. Логические операции над нечеткими множествами и отношениями [Текст] / С. Л. Крывый, В. Н. Опанасенко, С. Б. Завялов // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2020. - № 6. - С. 175-183. - Бібліогр. в кінці ст. . - ISSN 0023-1274 Кл.слова (ненормовані): нечіткі множини -- відносини -- логічні операції Дод.точки доступу: Опанасенко, В. Н. Завялов, С. Б. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |