Шифр: К499224528/2021/1
   Журнал

Кибернетика и системный анализ [Текст] : міжнародний науково-теоретичний журнал. - Київ : Інститут кібернетики ім. В. М. Глушкова НАН України, 1995 - . - ISSN 0023-1274. - Виходит раз на два місяця
2021р. № 1
Зміст:
Провотар, О. І. Про наближене обчислення міри ймовірності нечіткої події / О. І. Провотар, О. О. Провотар. - С.3-11. - Бібліогр. в кінці ст.
Lyaletski, A. V. Evidence algorithm and sad systems: Past and possible future / A. V. Lyaletski. - С.12-20. - Бібліогр. в кінці ст.
Кнопов, П. С. Состоятельность и свойства больших уклонений эмпирических оценок в задаче стохастической оптимизации для однородного случайного поля при неоднородных и однородных наблюдениях / П. С. Кнопов, Е. И. Касицкая. - С.21-34. - Бібліогр. в кінці ст.
Кирилюк, В. С. Меры риска в виде инфимальной конволюции / В. С. Кирилюк. - С.35-54. - Бібліогр. в кінці ст.
Олецький, О. В. Формалізація процедури формування динамічної рівноваги альтернатив у багатоагентному середовищі у процесах прийняття рішень більшістю голосів / О. В. Олецький, Є. В. Івохін. - С.55-66. - Бібліогр. в кінці ст.
Назаров, А. А. Исследование СМО вида M |M |N с обратной связью методом асимптотического анализа / А. А. Назаров, А. З. Меликов, Е. А. Павлова. - С.67-76. - Бібліогр. в кінці ст.
Стоян, В. А. Псевдообращение математических моделей распределенных дифференциальных систем с адитивно определенной нелинейностью / В. А. Стоян. - С.77-93. - Бібліогр. в кінці ст.
Скачков, В. В. Решение проблемы формирования устойчивых и состоятельных оценок корреляционной матрицы наблюдений методом динамической регуляризации / В. В. Скачков, В. В. Чепкин, А. Н. Ефимчиков. - С.94-103. - Бібліогр. в кінці ст.
Ведель, Я. И. Адаптивный алгоритм для вариационного неравенства на множестве решений задачи о равновесии / Я. И. Ведель, С. В. Денисов, В. В. Семенов. - С.104-115. - Бібліогр. в кінці ст.
Березовский, О. А. Точные двойственные оценки для некоторых невыпуклых минимаксных квадратичных оптимизационных задач / О. А. Березовский. - С.115-122. - Бібліогр. в кінці ст.
Дунаев, Б. Б. Банковское регулирование макроэкономических процессов / Б. Б. Дунаев. - С.123-141. - Бібліогр. в кінці ст.
Иванешкин, А. И. Новый подход к работе с неориентированными деревьями / А. И. Иванешкин. - С.142-152. - Бібліогр. в кінці ст.
Соловьев, В. И. Исследования моделей распознавания звуков речи на основе нейронных сетей глубокого обучения для экспертизы цифровых фонограмм / В. И. Соловьев, О. В. Рыбальский, В. В. Журавель. - С.153-159. - Бібліогр. в кінці ст.
Масол, В. И. Совместное распределение некоторых статистик случайной битовой последовательности / В. И. Масол, С. В. Поперешняк. - С.160-167. - Бібліогр. в кінці ст.
Николаев, С. Н. Метод распознавания параметров помехоустойчивых блочных циклических кодов по образующему полиному / С. Н. Николаев, А. Н. Романов. - С.168-177. - Бібліогр. в кінці ст.
Гнатів, Л. О. Цілочислові модифіковані синус-косинусні перетворення типу VII. Метод побудови і роздільні направлені адаптивні перетворення для intra-прогнозування з блоками яскравості 8x8 у кодуванні зображень/відео / Л. О. Гнатів, В. К. Луц. - С.178-190. - Бібліогр. в кінці ст.
Козіна, Г. Л. Протокол агрегованого підпису з Лідером групи / Г. Л. Козіна, Д. К. Савченко. - С.191-200. - Бібліогр. в кінці ст.
Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)




    Lyaletski, A. V.
    Evidence algorithm and sad systems: Past and possible future [Текст] / A. V. Lyaletski // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2021. - № 1. - С. 12-20. - Бібліогр. в кінці ст. . - ISSN 0023-1274

Кл.слова (ненормовані):
Алгоритм Очевидності -- система SAD -- автоматизація міркувань -- автоматизація пошуку доведень теорем -- прувер

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