> Шифр: К499224528/2017/2 Журнал 2017р. Т. 53 № 2 Скобелев, Владимир Владимирович. Анализ структуры атрибутных традиционных систем без скрытых переходов / В. В. Скобелев. - С.3-15. - Библиогр. в конце ст. Кл.слова: безпека та коректність, структура множин станів, атрибутні транзиційні системи Ермольева, Татьяна Юрьевна. Динамическое слияние глобальной и локальной моделей для устойчивого планирования землепользования с учетом глобальных проекций GLOBIOM и локальных технико-экономических и ресурсных ограничений / Т. Ю. Ермольева [та ін.]. - С.16-30 Інші автори: Ермольев Ю. М., Хавлик П., Монье А., Леклер Д., Фритц С., Валин X., Оберштайнэр М., Киризюк С. В., Бородина Е. Н. Кл.слова: планування землекористування, модель робастного розукрупнення, злиття моделей Приказчиков, Виктор Георгиевич. Методы построения точной разностной схемы для обыкновенного дифференциального уравне¬ния четвертого порядка / В. Г. Приказчиков. - С.31-37. - Библиогр. в конце ст. Кл.слова: точна різнецева схема, задача Коші, сплайни Гладкий, Анатолий Васильевич. Об устойчивости разностных схем расщепле¬ния для уравнения конвективной диффузии / А. В. Гладкий. - С.38-50. - Библиогр. в конце ст. Кл.слова: рівняння конвекції-дифузії, методи розщеплення, числовий метод Булавацкий, Владимир Михайлович. Математическое моделирование дробно-дифференциальной фильтрационной динамики на основе модели с производной Хильфера-Прабхакара / В. М. Булавацкий. - С.31-64. - Библиогр. в конце ст. Кл.слова: математичне моделювання, дробово-диференційна динаміка, фільтраційні процеси Стойкова, Лидия Степановна. Наибольшая точная нижняя граница вероятности отказа системы в специальном интервале времени при неполной информации о функции распределения времени до отказа системы / Л. С. Стойкова. - С.65-73. - Библиогр. в конце ст. Кл.слова: екстремум лінійного функціоналу, клас унімодальних функцій, розбиття області параметрів Иванченко, Сергей Александрович. Математическая модель шумовой помехи для защиты информации от утечки по техническим каналам / С. А. Иванченко. - С.74-82. - Библиогр. в конце ст. Кл.слова: шум, шумова завада, математична модель Семёнов, Владимир Викторович. Вариант метода зеркального спуска для вариационных неравенств / В. В. Семёнов. - С.83-93. - Библиогр. в конце ст. Кл.слова: варіаційна нерівність, псевдомонотонність, відстань Брегмана Емец, Олег Алексеевич. Лексикографическая эквивалентность в частично комбинаторной оптимизации дробно-линейных функций на размещениях / О. А. Емец, Т. Н. Барболина. - С.94-106. - Библиогр. в конце ст. Кл.слова: евклідова задача комбінаторної оптимізації, задача оптимізації на розміщеннях, лексикографічна еквівалентність Ільяшов, Олександр Авксентійович. Бігаусівська математична модель сигналів джерел радіовипромінювань в інформаційному середовищі телекомунікаційних систем / О. А. Ільяшов. - С.107-113. - Библиогр. в конце ст. Кл.слова: одновимірна Бігаусівська математична модель, сигнали джерел радіовипромінювань, закон Райса Алексейчук, Антон Николаевич. Стойкие и практичные рандомизированные поточные шифры на основе кодов Рида-Соломона / А. Н. Алексейчук, С. В. Гришаков. - С.114-121. - Библиогр. в конце ст. Кл.слова: рандомізований потоковий шифр, випадкове кодування, кореляційна атака Кузнецов, Игорь Николаевич. Оценка стационарных вероятностей состояний системы обслуживания • /G / ? при различных видах входящего потока требований / И. Н. Кузнецов, А. А. Шумская. - С.122-133. - Библиогр. в конце ст. Кл.слова: система обслуговування, стаціонарні ймовірності станів, нестаціонарний пуасонівський процес Жерновый, Ю. В. Определение стационарных характеристик трехканальных систем с эрланговским распределением времени обслуживания / Ю. В. Жерновый, К. Ю. Жерновый. - С.134-145. - Библиогр. в конце ст. Кл.слова: триканальна система обслуговування, найпростіший вхідний потік, ерлангівський розподіл часу обслуговування Дунаев, Борис Борисович. Динамика экономических циклов / Б. Б. Дунаев. - С.146-162. - Библиогр. в конце ст. Кл.слова: економіка, ринок, цикли Шило, Петр Владимирович. Повторяемый итерированный алгоритм табу для решения квадратичной задачи о назначениях / П. В. Шило. - С.163-167. - Библиогр. в конце ст. Кл.слова: квадратична задача про призначення, табу, обчислювальний експеримент Чженбин, Ху. Управление ресурсами распределенной компьютерной системы с учетом уровня доверия к вычислительным компонентам / Ху Чженбин [и др.]. - С.168-180. - Библиогр. в конце ст. Інші автори: Мухин В. Е., Корнага Я. И., Герасименко О. Ю. Кл.слова: розподілені обчислення, управління ресурсами, планування завдань Дорошенко, Анатолий Ефимович. Онтологические и алгеброалгоритмические средства автоматизации проектирования параллельных программ для "облачных" платформ / А. Е. Дорошенко, О. М. Овдей, Е. А. Яценко. - С.181-192. - Библиогр. в конце ст. Кл.слова: онтологія, алгебра алгоритмів, синтез програм Перейти до зовнішнього ресурсу ДО ЗМІСТУ Є примірники у відділах: всього 1 Вільні: 1 |
Дорошенко, Анатолий Ефимович. Онтологические и алгеброалгоритмические средства автоматизации проектирования параллельных программ для "облачных" платформ [Текст] = Онтологічні та алгеброалгоритмічні засоби автоматизації проектування паралельних програм для "хмарних" платформ / А. Е. Дорошенко, О. М. Овдей, Е. А. Яценко> // Кибернетика и системный анализ. - Київ : Інститут кібернетики ім. В. М. Глушкова НАН України, 2017. - Т. 53, № 2. - С. 181-192. - Библиогр. в конце ст. Кл.слова (ненормовані): онтологія -- алгебра алгоритмів -- синтез програм Дод.точки доступу: Овдей, Ольга Михайловна Яценко, Елена Анатольевна Є примірники у відділах: всього 1 Вільні: 1 |
Дорошенко, А. Ю. Автоматизоване проектування OpenCL програм на основі алгебро-алгоритмічного підходу / А. Ю. Дорошенко, М. М. Бондаренко, О. А. Яценко> // Проблеми програмування : науковий журнал. - 2019. - № 1. - С. 27-36. - Бібліогр. в кінці ст. . - ISSN 1727-4907 Кл.слова (ненормовані): автоматизоване проектування програм -- алгебра алгоритмів -- метеорологічне прогнозування -- синтез програм Дод.точки доступу: Бондаренко, М. М. Яценко, О. А. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Овдій, О. М. До питання автоматизації проектування робочих процесів на основі алгеброалгоритмічного та онтологічного інструментарію / О. М. Овдій> // Проблеми програмування : науковий журнал. - 2019. - № 1. - С. 37-47. - Бібліогр. в кінці ст. . - ISSN 1727-4907 Кл.слова (ненормовані): робочі процеси -- онтологія -- алгебра алгоритмів -- проектування і синтез програм -- розподілені обчислення Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Дорошенко, А. Ю. Проектування програми візуалізації земної поверхні з використанням алгебро-алгоритмічного інструментарію / А. Ю. Дорошенко, Р. В. Кушніренко, О. А. Яценко> // Проблеми програмування : науковий журнал. - 2019. - № 2. - С. 3-10. - Бібліогр. в кінці ст. . - ISSN 1727-4907 Кл.слова (ненормовані): автоматизоване проектування програм -- алгебра алгоритмів -- візуалізація даних -- метеорологічне прогнозування -- рельєф земної поверхні -- синтез програм -- тривимірне моделювання Дод.точки доступу: Кушніренко, Р. В. Яценко, О. А. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Петрушенко, А. М. Принцип мікропрограмного керування та автоматизація проектування операційних пристроїв [Текст] / А. М. Петрушенко> // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2020. - N 1. - С. 3-22. - Бібліогр. в кінці ст. . - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145 Кл.слова (ненормовані): принцип мікропрограмного керування -- дискретний перетворювач інформації -- операційний пристрій -- алгебра алгоритмів -- алгебро-граматичний метод подання знань -- діалогова трансформаційна машина Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Петрушенко, А. М. Принцип мікропрограмного керування та автоматизація проектування операційних пристроїв. II [Текст] / А. М. Петрушенко> // УСиМ = Керуючі системи та комп'ютери = Системи керування та комп’ютери = Control systems computers : международный научный журнал. - 2020. - N 2. - С. 3-11. - Бібліогр. в кінці ст. . - ISSN 0130-5395. - ISSN 2518-1262. - ISSN 2706-8145 Кл.слова (ненормовані): принцип мікропрограмного керування -- дискретний перетворювач інформації -- операційний пристрій -- алгебра алгоритмів -- алгебро-граматичний метод подання знань -- діалогова трансформаційна машина Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |