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

Головна

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

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

Бази даних

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

Вид пошуку

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

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

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

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

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

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

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

Зона пошуку

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

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

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

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

Шифр: К499224528/2019/5
Журнал

Кибернетика и системный анализ [Текст] : міжнародний науково-теоретичний журнал. - Київ : Інститут кібернетики ім. В. М. Глушкова НАН України, 1995 - . - ISSN 0023-1274. - Виходит раз на два місяця
2019р. № 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. - Бібліогр. в кінці ст.
Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі
Перейти до описів статей

Летичевський, О. О.
Огляд сучасних методів захищеності та безпеки програмних систем [Текст] / О. О. Летичевський, В. С. Песчаненко, Я. В. Гринюк // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2019. - № 5. - С. 156-169. - Бібліогр. в кінці ст. . - ISSN 0023-1274

Кл.слова (ненормовані):
алгебраїчне моделювання -- алгебра поведінок -- кібербезпека -- інсерційне програмування -- формальні методи -- символьні методи -- символьне моделювання -- пошук вразливостей
Дод.точки доступу:
Песчаненко, В. С.
Гринюк, Я. В.

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

Знайти схожі

Шифр: У291251698/2019/6
Журнал

Управляющие системы и машины [Текст] : международный научный журнал/ Национальная академия наук Украины, Международный научно-учебный центр информационных технологий и систем, Институт кибернетики имени В.М. Глушкова НАН Украины, Фонд Глушкова. - Київ : Міжнародний науково-навчальний центр інформаційних технологій та систем НАН та МОН України. - ISSN 0130-53952518-126227068145. - Виходит раз на два місяця
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. - Бібліогр. в кінці ст.
Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі
Перейти до описів статей

Летичевський, О. О.
Алгебраїчний підхід у формалізації вразливостей в бінарному коді [Текст] / О. О. Летичевський, Я. В. Гринюк, В. М. Яковлев // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 6. - С. 5-20. - Бібліогр. в кінці ст. . - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145

Кл.слова (ненормовані):
вразливості програмного забезпечення -- символьне моделювання -- алгебраїчне зіставлення -- алгебра поведінок
Дод.точки доступу:
Гринюк, Я. В.
Яковлев, В. М.

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

Знайти схожі

Шифр: К499224528/2020/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. - Бібліогр. в кінці ст.
Перейти до зовнішнього ресурсу ПОВНИЙ ТЕКСТ
Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі
Перейти до описів статей

Летичевський, О. О.
Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах [Текст] / О. О. Летичевський, Песчаненко В. С. , Харченко В. С. // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2020. - № 5. - С. 29-37. - Бібліогр. в кінці ст. . - ISSN 0023-1274

Кл.слова (ненормовані):
програмовані користувачем вентильні матриці -- символьне моделювання -- алгебраїчне зіставлення -- алгебра поведінок
Дод.точки доступу:
, Песчаненко В. С.
, Харченко В. С.

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

Знайти схожі

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