> Шифр: К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) |
Палагін, О. В. Ноосферна парадигма розвитку науки та штучний інтелект [Текст] / О. В. Палагін, А. І. Шевченко, О. П. Кургаєв> // Кибернетика и системный анализ. - Київ : Інститут кібернетики ім. В. М. Глушкова НАН України, 2017. - Т. 53, № 4. - С. 12-21. - Библиогр. в конце ст. Кл.слова (ненормовані): дисциплінарна парадигма -- інформаційно-технологічний підхід -- штучний інтелект Дод.точки доступу: Шевченко, А. І. Кургаєв, О. П. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
> Шифр: У291251698/2019/3 Журнал 2019р. N 3 Тимофієва, Н. К. Про деякі підходи до оцінки оптимального розв’язку задач комбінаторної оптимізації / Н. К. Тимофієва. - С.3-14. - Бібліогр. в кінці ст. Semeniuta, M. F. On new properties of graphs with magic type labeling / M. F. Semeniuta, Z. O. Sherman. - С.15-22. - Бібліогр. в кінці ст. Палагін, О. В. Про деякі особливості побудови онтологічних моделей предметних областей / О. В. Палагін, М. Г. Петренко. - С.23-37. - Бібліогр. в кінці ст. Stepashko, V. S. Recurrent-and-parallel gmdh algorithms for high-performance computing / V. S. Stepashko, S. M. Yefimenko, A. V. Pavlov. - С.38-51. - Бібліогр. в кінці ст. Bulgakova, O. S. Algorithmic modifications in procedural generation systems / O. S. Bulgakova, A. V. Kudriavtsev, V. V. Zosimov. - С.52-59. - Бібліогр. в кінці ст. Ходаковський, М. І. Використання мультисенсорного газоаналізатора для тестування складу повітря при диханні людини / М. І. Ходаковський, М. М. Будник, Т. А. Кобзар. - С.60-69. - Бібліогр. в кінці ст. Tutova, O. V. Ukraine in the information and communication technology development ranking / O. V. Tutova, Ye. A. Savchenko. - С.70-78. - Бібліогр. в кінці ст. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Палагін, О. В. Про деякі особливості побудови онтологічних моделей предметних областей [Текст] / О. В. Палагін, М. Г. Петренко> // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2019. - N 3. - С. 23-37. - Бібліогр. в кінці ст. . - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145 Кл.слова (ненормовані): дескрипційна логіка -- онтологія -- модельонтології -- концептуалізація -- онтограф Дод.точки доступу: Петренко, М. Г. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
> Шифр: К499224528/2020/3 Журнал 2020р. № 3 Баркалов, А. А. Смешанное кодирование наборов микроопераций в микропрограммном автомате / А. А. Баркалов, Л. А. Титаренко, А. В. Баев. - С.3-16. - Бібліогр. в кінці ст. Губарев, В. Ф. Проблема математической интерпретации данных II. Системы с распределенными параметрами / В. Ф. Губарев. - С.17-29. - Бібліогр. в кінці ст. Стоян, Ю. Г. Теория и методы евклидовой комбинаторной оптимизации:современное состояние и перспективы / Ю. Г. Стоян, С. В. Яковлев. - С.30-46. - Бібліогр. в кінці ст. Айда-заде, К. Р. Синтез управления процессом поддержания температурыв одной задаче теплоснабжения / К. Р. Айда-заде, В. М. Абдуллаев. - С.47-59. - Бібліогр. в кінці ст. Самойленко, І. В. Асимптотична дисипативність для укрупнених стохастичних еволюційних систем з марковськими перемиканнями та імпульсними збуреннями в умовах апроксимації Леві / І. В. Самойленко, А. В. Нікітін, Б. В. Довгай. - С.60-69. - Бібліогр. в кінці ст. Александрович, І. М. Інтегральні оператори, що визначають розв’язок ітерованого рівняння гіперболічного типу / І. М. Александрович, О. С. Бондар, С. І. Ляшко. - С.70-79. - Бібліогр. в кінці ст. Булавацкий, В. М. Некоторые краевые задачи дробно-дифференциальной мобильно-немобильной миграционной динамики в профильном фильтрационном потоке / В. М. Булавацкий, В. А. Богаенко. - С.80-96. - Бібліогр. в кінці ст. Корхин, А. С. Приближенный метод построения регрессии с переключениями с неизвестными точками переключения / А. С. Корхин. - С.97-110. - Бібліогр. в кінці ст. Гончар, М. С. Про особливості становлення економіки України / М. С. Гончар, А. С. Жохін, В. Г. Козирський. - С.111-121. - Бібліогр. в кінці ст. Иродов, В. Ф. Многокритериальная оптимизация при эволюционном поиске с бинарными отношениями выбора / В. Ф. Иродов, Г. Я. Черноморец, Р. В. Барсук. - С.122-128. - Бібліогр. в кінці ст. Колечкина, Л. Н. Решения комбинаторной задачи с дробно-квадратичной функцией цели на множестве перестановок / Л. Н. Колечкина, А. Н. Нагорная. - С.129-140. - Бібліогр. в кінці ст. Варенюк, Н. А. Существование и единственность взвешенных псевдообратных матриц с невырожденными индефинитными весами / Н. А. Варенюк, Н. И. Тукалевская. - С.141-151. - Бібліогр. в кінці ст. Зражевский, Г. М. Применение буферной вероятности превышения в задачах оптимизации надежности / Г. М. Зражевский, A. Н. Голодников, С. П. Урясьев. - С.152-162. - Бібліогр. в кінці ст. Журбенко, Н. Г. Линейный классификатор и проекция на политоп / Н. Г. Журбенко. - С.163-170. - Бібліогр. в кінці ст. Майко, Н. В. Суперекспоненціальна швидкість збіжності методу перетворення Келі для абстрактного диференціального рівняння / Н. В. Майко. - С.171-183. - Бібліогр. в кінці ст. Палагін, О. В. Хаотичні архітектури — новий напрямок розвитку обчислювальної техніки / О. В. Палагін, М. В. Семотюк, С. В. Устенко. - С.184-193. - Бібліогр. в кінці ст. Масол, В. И. Проверка случайности расположения битов в локальных участках (0, 1)-последовательности / В. И. Масол, С. В. Поперешняк. - С.194-202. - Бібліогр. в кінці ст. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Палагін, О. В. Хаотичні архітектури — новий напрямок розвитку обчислювальної техніки [Текст] / О. В. Палагін, М. В. Семотюк, С. В. Устенко> // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2020. - № 3. - С. 184-193. - Бібліогр. в кінці ст. . - ISSN 0023-1274 Кл.слова (ненормовані): інформаційні технології -- рівні технологій -- технології віртуалізації -- технології даних -- технології знань -- хаос -- хаотичні архітектури -- розумні системи -- комп’ютери -- парадигма програмування -- машинна алгебра Дод.точки доступу: Семотюк, М. В. Устенко, С. В. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |