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

Головна

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

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

Бази даних

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

Вид пошуку

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

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

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

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

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

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

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

Зона пошуку

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

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

Пошуковий запит: (<.>A=Летичевський, О. О.$<.>)

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

Назва журналу :Кибернетика и системный анализ -2019р.,N 5
Цікаві статті :
Боюн В. П. Принципи організації сітківки ока людини та їхнє використання в системах комп’ютерного зору/ В. П. Боюн, Л. О. Возненко, І. Ф. Малкуш (стр.3-17)
Крывый С. Л. Численные методы решения задачи о математическом сейфе/ С. Л. Крывый (стр.18-34)
Бессалов А. В. Суперсингулярные скрученные кривые Эдвардса над простым полем. Суперсингулярные скрученные кривые Эдвардса с J-инвариантом, равным 66/ А. В. Бессалов, Л. В. Ковальчук (стр.35-46)
Чеботарев А. Н. Определение фиктивных состояний в Е-автомате, синтезированном по спецификации в языке LP/ А. Н. Чеботарев (стр.47-57)
Алексейчук А. Н. Верхние оценки несбалансированности дискретных функций, реализуемых последовательностями конечных автоматов/ А. Н. Алексейчук, С. Н. Конюшок, М. В. Поремский (стр.58-66)
Галба Е. Ф. Разложение взвешенных псевдообратных матриц со смешанными весами в матричные степенные ряды и произведения/ Е. Ф. Галба, Н. А. Варенюк (стр.67-80)
Кнопов П. С. О больших уклонениях эмпирических оценок в задаче стохастического программировия при нестационарных наблюдениях с непрерывным временем/ П. С. Кнопов, Е. Н. Касацкая (стр.81-86)
Селезов И. Т. Обратная дифракционная задача определения свойств плазменного обьекта/ И. Т. Селезов (стр.87-94)
Ноконечний О. Г. Наближені гарантовані середньоквадратичні оцінки функціоналів від розв’язків параболічних задач зі швидко коливними коефіцієнтами при нелінійних спостереженнях/ О. Г. Ноконечний, О. А. Капустян, А. О. Чикрій (стр.95-105)
Булавацкий В. М. Некоторые нелокальные краевые задачи для бипараболического эволюционного уравнения и его дробно-дифференциального аналога/ В. М. Булавацкий (стр.106-114)
Стоян В. А. К построению интегральных математических моделей двух классов неленейных пространственно распределенных систем. Случай дискретно определенных внешнединамических возмущений/ В. А. Стоян (стр.115-127)
Война Ал. А. Математические модели управления риском для марковских процессов регенерирующего типа/ Ал. А. Война (стр.128-142)
Раппопорт И. С. Достаточные условия сближения управляемых обьектов в игровых задачах динамики/ И. С. Раппопорт (стр.143-155)
Летичевський О. О. Огляд сучасних методів захищеності та безпеки програмних систем/ О. О. Летичевський, В. С. Песчаненко, Я. В. Гринюк (стр.156-169)
Марасанов В. В. Граничные задачи определения энергетического спектра сигналов акустической эмиссии в сопряженных сплошных средах/ В. В. Марасанов, А. В. Шарко, А. А. Шарко (стр.170-179)
Рачковский Д. А. Индексные структуры для быстрого поиска сходных символьных строк/ Д. А. Рачковский (стр.180-202)
Цікаві статті :
Знайти схожі

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Летичевський О. О., Песчаненко В. С., Гринюк Я. В.
Назва : Огляд сучасних методів захищеності та безпеки програмних систем
Місце публікування : Кибернетика и системный анализ: міжнародний науково-теоретичний журнал. - Київ: Інститут кібернетики ім. В. М. Глушкова НАН України, 2019. - № 5. - С. 156-169. - ISSN 0023-1274 (Шифр К499224528/2019/5). - ISSN 0023-1274
Примітки : Бібліогр. в кінці ст.
Ключові слова (''Вільн.індекс.''): алгебраїчне моделювання--алгебра поведінок--кібербезпека--інсерційне програмування--формальні методи--символьні методи--символьне моделювання--пошук вразливостей
Знайти схожі

Назва журналу :Управляющие системы и машины -2019р.,N 6
Цікаві статті :
Летичевський О. О. Алгебраїчний підхід у формалізації вразливостей в бінарному коді/ О. О. Летичевський, Я. В. Гринюк, В. М. Яковлев (стр.5-20)
Нагірна А. М. Квадратична задача на множині сполучень та метод її розв’язання/ А. М. Нагірна (стр.21-27)
Savchenko Ye. A. Metalearning as one of the task of the machine learning problems/ Ye. A. Savchenko, N. A. Rybachok (стр.28-34)
Лозінський А. П. Синтез технологій платформ хмарних обчислень/ А. П. Лозінський (стр.35-45)
Sazhok M. M. Automatic speech recognition for Ukrainian broadcast media transcribing/ M. M. Sazhok, R. A. Seliukh, D. Ya. Fedoryn (стр.46-57)
Sukhoruchkina O. N. The virtual sensors for intelligent control of the mobile robot/ O. N. Sukhoruchkina (стр.58-65)
Antonyuk Ya. M. Diagnostic methods and traffic manacement on campus networks/ Ya. M. Antonyuk (стр.66-72)
Цікаві статті :
Знайти схожі

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Летичевський О. О., Гринюк Я. В., Яковлев В. М.
Назва : Алгебраїчний підхід у формалізації вразливостей в бінарному коді
Місце публікування : УСиМ: международный научный журнал/ Национальная академия наук Украины, Международный научно-учебный центр информационных технологий и систем, Институт кибернетики имени В.М. Глушкова НАН Украины, Фонд Глушкова. - Київ: Міжнародний науково-навчальний центр інформаційних технологій та систем НАН та МОН України, 2019. - N 6. - С. 5-20. - ISSN 0130-5395ISSN 2518-1262ISSN 27068145 (Шифр У291251698/2019/6). - ISSN 0130-5395ISSN 2518-1262ISSN 27068145. - ISSN 0130-5395ISSN 2518-1262ISSN 27068145. - ISSN 0130-5395ISSN 2518-1262ISSN 27068145
Примітки : Бібліогр. в кінці ст.
Ключові слова (''Вільн.індекс.''): вразливості програмного забезпечення--символьне моделювання--алгебраїчне зіставлення--алгебра поведінок
Знайти схожі

Назва журналу :Кибернетика и системный анализ -2020р.,N 5
Цікаві статті :
Чеботарев А. Н. От формул вида F (t ) языка LP к – ω-регулярным выражениям/ А. Н. Чеботарев (стр.3-17)
Семенюта М. Ф. О групповых разметках некоторых графов/ М. Ф. Семенюта, Г. А. Донец (стр.18-28)
Летичевський О. О. Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах/ О. О. Летичевський, Песчаненко В. С. , Харченко В. С. (стр.29-37)
Хиленко В. В. Моделирование управляющих воздействий банковской системы на функционирование экономики. ІІ. Выбор и особенности применения оптимизационных алгоритмов/ В. В. Хиленко (стр.38-47)
Митин С. В. Количество информации о ключе, содержащейся в наборах открытых и шифрованных текстов симметричной рандомизированной криптосистемы Мак-Элиса/ С. В. Митин (стр.48-53)
Koroliuk V. S. Diffusion process with evolution and its parameter estimation/ V. S. Koroliuk, D. Koroliouk (стр.55-62)
Dovgyi S. O. About one statistical model of error rate in the stream of packet data transmission through communication channels/ S. O. Dovgyi, O. I. Yurikov, M. O. Zozyuk (стр.63-69)
Шарифов Ф. А. Разрезы в неориентированных графах. II/ Ф. А. Шарифов, Л. Ф. Гуляницький (стр.70-79)
Козин И. В. Фрагментарная модель для задачи землепользования на гиперграфах/ И. В. Козин, Н. К. Максишко, В. А. Перепелица (стр.80-85)
Клюшин Д. А. Узагальнена оптимізація процесів перенесення ліків у пухлинах/ Д. А. Клюшин, С. І. Ляшко, Н. І. Ляшко (стр.86-94)
Ільяшов О. А. Підхід до побудови математичної моделі визначення об’єктів моніторингу із застосуванням інформативності їхніх моніторингових ознак/ О. А. Ільяшов, В. С. Комаров (стр.95-99)
Булавацкий В. М. Некоторые задачи консолидационной динамики в рамках бипараболической математической модели и ее дробно-дифференциального аналога/ В. М. Булавацкий, В. А. Богаенко (стр.100-114)
Ведель Я. И. Сходимость двухэтапного проксимального алгоритма для задачи о равновесии в пространствах Адамара/ Я. И. Ведель, Г. В. Сандраков, В. В. Семенов (стр.115-125)
Капустян О. А. Наближене мінімаксне оцінювання функціоналів від розв’язків хвильового рівняння з нелінійним спостереженням/ О. А. Капустян, О. Г. Наконечний (стр.126-135)
Гиль Н. И. Φ-функции 2D-объектов с границами в виде кривых второго порядка/ Н. И. Гиль, В. Н. Пацук (стр.136-145)
Малачівський П. С. Чебишовське наближення раціональним виразом функцій багатьох змінних/ П. С. Малачівський, Я. В. Пізюр, Р. П. Малачівський (стр.146-156)
Раппопорт И. С. Проблема сближения управляемых объектов в игровых задачах динамики с терминальной функцией платы/ И. С. Раппопорт (стр.157-173)
Петрик М. Р. Високопродуктивні суперкомп’ютерні технології моделювання нанопористих кіберсистем зі зворотними зв’язками для адсорбційного очищення газів/ М. Р. Петрик, І. В. Бойко, О. М. Хіміч (стр.174-186)
Примин М. А. Бесконтактные исследования магнитных полей биологических объектов: алгоритмы регистрации и обработки данных/ М. А. Примин, И. В. Недайвода (стр.187-202)
Цікаві статті :
Перейти до зовнішнього ресурсу ПОВНИЙ ТЕКСТ
Знайти схожі

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Летичевський О. О., Песчаненко В. С. Харченко В. С.
Назва : Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
Місце публікування : Кибернетика и системный анализ: міжнародний науково-теоретичний журнал. - Київ: Інститут кібернетики ім. В. М. Глушкова НАН України, 2020. - № 5. - С. 29-37. - ISSN 0023-1274 (Шифр К499224528/2020/5). - ISSN 0023-1274
Примітки : Бібліогр. в кінці ст.
Ключові слова (''Вільн.індекс.''): програмовані користувачем вентильні матриці--символьне моделювання--алгебраїчне зіставлення--алгебра поведінок
Знайти схожі

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