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

Головна

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

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

Бази даних

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

Вид пошуку

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

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

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

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

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

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

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

Зона пошуку

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

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

Пошуковий запит: (<.>A=Скобелев, В. В.$<.>)

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

Шифр: К499224528/2017/4
Журнал

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

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

Скобелев, В. В.
Атрибутные транзиционные системы со скрытыми переходами [Текст] / В. В. Скобелев // Кибернетика и системный анализ. - Київ : Інститут кібернетики ім. В. М. Глушкова НАН України, 2017. - Т. 53, № 4. - С. 37-49. - Библиогр. в конце ст.

Кл.слова (ненормовані):
атрибутні транзиційні системи -- приховані переходи -- допустимість

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

Знайти схожі

Шифр: К499224528/2018/3
Журнал

Зміст:
Скобелев, В. В. Автоматы на конечных т-квазигруппах / В. В. Скобелев, В. Г. Скобелев. - С.3-16. - Бібліогр. в кінці ст.
Ляшко, С. И. Оптимальное управление переносом лекарств из систем микроигл / С. И. Ляшко, Д. А. Клюшин, В. В. Оноцкий. - С.17-26. - Бібліогр. в кінці ст.
Бабаков, Р. М. Определение области эффективного применения микропрограммного автомата с операционным автоматом переходов / Р. М. Бабаков, А. А. Баркалов. - С.27-37. - Бібліогр. в кінці ст.
Хиленко, В. В. Математическое моделирование эффекта "выплескивания" и оптимизация управления банковской и экономической системами в условиях глобализации / В. В. Хиленко. - С.38-50. - Бібліогр. в кінці ст.
Перепелица, В. А. О полных и квазиполных двухкритериальных задачах на графах / В. А. Перепелица, Э. В. Терещенко. - С.51-57. - Бібліогр. в кінці ст.
Павлова, С. В. Інваріантне керування повітряним судном в умовах вітрових збурень / С. В. Павлова, М. М. Комар. - С.58-64. - Бібліогр. в кінці ст.
Галба, Е. Ф. Методы вычисления взвешенных псевдообратных матриц и взвешенных нормальных псевдорешений с вырожденными весами / Е. Ф. Галба, И. В. Сергиенко. - С.65-93. - Бібліогр. в кінці ст.
Кирилюк, В. С. Полиэдральные когерентные меры риска при неточных сценарных оценках / В. С. Кирилюк. - С.94-105. - Бібліогр. в кінці ст.
Селезов, И. Т. Развитие и приложение метода Коши-Пуассона в эластодинамике слоя и управнение Тимошенко / И. Т. Селезов. - С.106-115. - Бібліогр. в кінці ст.
Корхин, А. С. О построении регресии с переключениями, когда точки переключения неизвестны / А. С. Корхин. - С.116-130. - Бібліогр. в кінці ст.
Свида, І. Ю. Метод математичного моделювання виявлення системи радіозв’язку системою радіорозвідки противника / І. Ю. Свида, А. П. Волобуєв, Д. А. Булах. - С.131-140. - Бібліогр. в кінці ст.
Литвин, О. М. Узагальнена інтерстріпація функцій двох змінних / О. М. Литвин, О. О. Литвин, О. В. Славік. - С.141-150. - Бібліогр. в кінці ст.
Жерновый, Ю. В. Рекуррентные соотношения для двуканальных систем с эрланговским временем обслуживания / Ю. В. Жерновый. - С.151-159. - Бібліогр. в кінці ст.
Ярова, О. А. Нелінійне нормування випадкової еволюції у схемі апроксимації Леві / О. А. Ярова. - С.160-165. - Бібліогр. в кінці ст.
Гнатив, Л. А. Простое целочисленное косинусное преобразование высокого порядка для видеокодирования с высоким разрешением / Л. А. Гнатив. - С.166-177. - Бібліогр. в кінці ст.
Николайчук, Я. Н. Метод структуризации дискретного косинусного преобразования Фурье в модульной арифметике теоретико-числового базиса Хаара-Крестенсона / Я. Н. Николайчук, Н. Я Возна, Б. Б. Круликовский. - С.178-188. - Бібліогр. в кінці ст.
Писаренко, В. Г. Моделирование задачи взаимодействия их взаимодействия / В. Г. Писаренко. - С.189-192. - Бібліогр. в кінці ст.
Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Учбова література:
ФІТМ / КНМ / 111 / Математичне моделювання:Основи математичного моделювання / 9 / ОСН
Знайти схожі
Перейти до описів статей

Скобелев, В. В.
Автоматы на конечных т-квазигруппах [Текст] / В. В. Скобелев, В. Г. Скобелев // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2018. - № 3. - С. 3-16. - Бібліогр. в кінці ст. . - ISSN 0023-1274

Кл.слова (ненормовані):
скінченні Т-квазігрупи -- автомати без виходу -- автомати Мілі та Мура
Дод.точки доступу:
Скобелев, В. Г.

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

Знайти схожі

Шифр: К499224528/2018/4
Журнал

Зміст:
Скобелев, В. В. О некоторых задачах анализа гибридных автоматов / В. В. Скобелев, В. Г. Скобелев. - С.3-15. - Бібліогр. в кінці ст.
Чеботарев, А. Н. Синтез ∑-автоматов, специфицированных в логических языках LP и LF / А. Н. Чеботарев. - С.16-31
Мейтус, В. Ю. Проблемы построения интеллектуальных систем. Уровни интеллекта / В. Ю. Мейтус. - С.32-44. - Бібліогр. в кінці ст.
Смольяков, Э. Р. Усиленное паретовское равновесие для игр на пересекающихся множествах / Э. Р. Смольяков. - С.45-55. - Бібліогр. в кінці ст.
Чупов, С. В. Наближений алгоритм лексикографічного пошуку у багатьох порядках розв’язку багатовимірної булевої задачі про ранець / С. В. Чупов. - С.56-69. - Бібліогр. в кінці ст.
Стецюк, П. И. Обобщенный метод эллипсоидов / П. И. Стецюк, А. В. Фесюк, О. Н. Хомяк. - С.70-80. - Бібліогр. в кінці ст.
Стоян, Ю. Е. О двух подходах к моделированию и решению задачи упаковки выпуклых многогранников / Ю. Е. Стоян, А. М. Чугай, А. В. Панкратов. - С.81-90. - Бібліогр. в кінці ст.
Потьомкін, М. М. Багатокритерійне прийняття рішень на основі використання множини оптимізаційних методів / М. М. Потьомкін ; М. М. Потьомкын, І. Ю. Свида. - С.91-97. - Бібліогр. в кінці ст.
Трофимчук, О. М. Про можливість багатохвильової ідентифікації дефектів у палях / О. М. Трофимчук, Ю. І. Калюк, В. А. Дунін. - С.98-108. - Бібліогр. в кінці ст.
Наконечний, О. Г. Оцінка нестаціонарних параметрів диференційних рівнянь в умовах невизначеності / О. Г. Наконечний, Ю. М. Шевчук, В. К. Чикрій. - С.109-121. - Бібліогр. в кінці ст.
Майко, Н. В. Схема повышенного порядка точности для двумерного уравнения пуассона в прямоугольнике с учетом влияния краевого условия дирихле / Н. В. Майко. - С.122-134. - Бібліогр. в кінці ст.
Біленко, В. І. Курсово-поліноміальні алгоритми аналізу процесів у неоднорідних середовищах / В. І. Біленко, К. В. Божонок, С. Ю. Дзядик. - С.135-141. - Бібліогр. в кінці ст.
Мовчан, А. В. Побудова система автоматизації для впровадження моделі поліцейської діяльності, керованої аналітикою, в органах національної поліції України / А. В. Мовчан, В. Ю. Тарануха. - С.142-150. - Бібліогр. в кінці ст.
Гломозда, Д. К. Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками / Д. К. Гломозда, Н. Н. Глибовец, А. Н. Максимец. - С.151-163. - Бібліогр. в кінці ст.
Баловсяк, С. В. Автоматичне визначення рівня гаусово шуму на цифрових зображеннях методом високочастотної фільтрації для виокремлених областей / С. В. Баловсяк, Х. С. Одайська. - С.164-172. - Бібліогр. в кінці ст.
Стасюк, О. І. Математичні диференційні моделі і методи оцінки кібербезпеки інтелектуальних комп’ютерних мереж керування технологічними процесами електропостачання залізниць / О. І. Стасюк, Р. В. Грищук, Л. Л. Гончарова. - С.173-181. - Бібліогр. в кінці ст.
Семенов, В. Ю. Исследование условий ортогональности вейвлетов, основанных на полиномах Якоби / В. Ю. Семенов, Ю. Престин. - С.182-190. - Бібліогр. в кінці ст.
Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

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

Скобелев, В. В.
О некоторых задачах анализа гибридных автоматов [Текст] / В. В. Скобелев, В. Г. Скобелев // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2018. - № 4. - С. 3-15. - Бібліогр. в кінці ст. . - ISSN 0023-1274

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

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

Знайти схожі

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