Пошуковий запит: <.>II=М750337435/2020/4<.> |
Загальна кількість знайдених документів : 13
Показані документи с 1 за 13 |
1. 
|
Лялецький, О. В.
В. М. Глушков і автоматизація пошуку доведень теорем в Україні: алгоритм очевидності та системи сад і SAD [Текст] / О. В. Лялецький // Математичні машини і системи = Mathematical machines and systems = Математические машины и системы : науковий журнал. - 2020. - N 4. - С. 3-10. - Бібліогр. в кінці ст.
. - ISSN 1028-9763
Кл.слова (ненормовані):
алгоритм очевидності -- автоматизація пошуку доведень теорем -- формальна природна мова -- секвенційний формалізм -- резолюційний метод -- дедукція
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
2.
|
Голуб, С. В.
Поліагентні функціонали в інформаційних технологіях інтелектуального моніторингу [Текст] / С. В. Голуб, С. Ю. Куницька // Математичні машини і системи = Mathematical machines and systems = Математические машины и системы : науковий журнал. - 2020. - N 4. - С. 11-19. - Бібліогр. в кінці ст.
. - ISSN 1028-9763
Кл.слова (ненормовані):
інтелектуальний моніторинг -- моніторингові інформаційні системи -- агент -- відношення між агентами -- агентний функціонал -- поліагентне середовище
Дод.точки доступу:
Куницька, С. Ю.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
3.
|
Agayev, F. B.
Analytical support pf the procedural decision-making process [Текст] / F. B. Agayev // Математичні машини і системи = Mathematical machines and systems = Математические машины и системы : науковий журнал. - 2020. - N 4. - С. 20-32. - Бібліогр. в кінці ст.
. - ISSN 1028-9763
Кл.слова (ненормовані):
оціночне поняття -- правова норма -- нечіткий набір -- багатошарова нейронна мережа -- нечіткий висновок
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
4.
|
Додонов, О. Г.
Концептуальне проєктування автоматизованої системи управління групою безпілотних літальних апаратів із використанням методу категорійного аналізу [Текст] / О. Г. Додонов, О. В. Никифоров, В. Г. Путятін // Математичні машини і системи = Mathematical machines and systems = Математические машины и системы : науковий журнал. - 2020. - N 4. - С. 33-48. - Бібліогр. в кінці ст.
. - ISSN 1028-9763
Кл.слова (ненормовані):
концептуальне проєктування -- автоматизована система управління -- процедури управління -- критерії управління -- цілі управління -- параметри стану -- об’єкт управління -- суб’єкт управління -- безпілотний літальний апарат
Дод.точки доступу:
Никифоров, О. В.
Путятін, В. Г.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
5.
|
Sapaty, P. S.
Simulating distributed and global consciousness under spatial grasp paradigm [Текст] / P. S. Sapaty // Математичні машини і системи = Mathematical machines and systems = Математические машины и системы : науковий журнал. - 2020. - N 4. - С. 49-61. - Бібліогр. в кінці ст.
. - ISSN 1028-9763
Кл.слова (ненормовані):
глобальна свідомість -- мігруюча система -- зовнішня свідомість -- технологія просторового захоплення -- мова просторового захоплення -- паралельне розподілене моделювання -- колективна поведінка і об’єднання у групи -- структура Всесвіту
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
6.
|
Гречанінов, В. Ф.
Особливості розробки і роль глосаріїв у створенні іт-проєктів військового напряму [Текст] / В. Ф. Гречанінов, Т. К. Єременко, Ю. Г. Пилипенко // Математичні машини і системи = Mathematical machines and systems = Математические машины и системы : науковий журнал. - 2020. - N 4. - С. 62-73. - Бібліогр. в кінці ст.
. - ISSN 1028-9763
Кл.слова (ненормовані):
глосарій -- термінологія -- онтологія -- військова справа -- ІТ-проєкти
Дод.точки доступу:
Єременко, Т. К.
Пилипенко, Ю. Г.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
7.
|
Ратов, Д. В.
Модель модуля інтерфейсу користувача інформаційної WEB-системи [Текст] / Д. В. Ратов // Математичні машини і системи = Mathematical machines and systems = Математические машины и системы : науковий журнал. - 2020. - N 4. - С. 74-81. - Бібліогр. в кінці ст.
. - ISSN 1028-9763
Кл.слова (ненормовані):
модель -- модуль -- клас інтерфейсу користувача -- диспетчер вікон -- хмарні обчислення -- флеймворк
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
8.
|
Волобоєв, В. П.
Метод вторинних джерел в електротехніці й погано обумовлені матриці [Текст] / В. П. Волобоєв, В. П. Клименко // Математичні машини і системи = Mathematical machines and systems = Математические машины и системы : науковий журнал. - 2020. - N 4. - С. 82-94. - Бібліогр. в кінці ст.
. - ISSN 1028-9763
Кл.слова (ненормовані):
погано обумовлена матриця -- система лінійних алгебраїчних рівнянь -- інтегральне рівняння Фредгольма другого роду -- метод вторинних джерел в електротехніці -- коректне формулювання завдання -- цілеспрямований вибір змінних -- граф дискретної моделі інтегральної рівняння
Дод.точки доступу:
Клименко, В. П.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
9.
|
Ієвлєв, М. Г.
Автоматизоване управління режимами прокатки на товстолистових станах [Текст] / М. Г. Ієвлєв // Математичні машини і системи = Mathematical machines and systems = Математические машины и системы : науковий журнал. - 2020. - N 4. - С. 95-112. - Бібліогр. в кінці ст.
. - ISSN 1028-9763
Кл.слова (ненормовані):
товстолистовий стан -- автоматичне керування -- стратегії управління -- математичні моделі -- методи адаптації
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
10.
|
Sapaty, P. S.
Fighting global viruses under spatial grasp technology [Текст] / P. S. Sapaty, R. Finkelstein // Математичні машини і системи = Mathematical machines and systems = Математические машины и системы : науковий журнал. - 2020. - N 4. - С. 113-124. - Бібліогр. в кінці ст.
. - ISSN 1028-9763
Кл.слова (ненормовані):
технологія просторового захоплення -- мережеві системи -- розподілені обчислення -- глобальна пандемія -- джерела вірусів -- антивірусна вакцина
Дод.точки доступу:
Finkelstein, R.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
11.
|
Бєгун, В. В.
Нова методика оцінки пожежного ризику [Текст] / В. В. Бєгун, С. Ю. Потєтюєв // Математичні машини і системи = Mathematical machines and systems = Математические машины и системы : науковий журнал. - 2020. - N 4. - С. 125-135. - Бібліогр. в кінці ст.
. - ISSN 1028-9763
Кл.слова (ненормовані):
безпека -- поточний ризик -- алгоритм -- ймовірність -- збиток -- згортка
Дод.точки доступу:
Потєтюєв, С. Ю.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
12.
|
Alekseeva, I. V.
Necessary optimality conditions of control of stochastic compound dynamic system in case of full information about state vector [Текст] / I. V. Alekseeva, O. I. Lysenko, O. M. Tachinina // Математичні машини і системи = Mathematical machines and systems = Математические машины и системы : науковий журнал. - 2020. - N 4. - С. 136-147. - Бібліогр. в кінці ст.
. - ISSN 1028-9763
Кл.слова (ненормовані):
оптимальне керування -- стохастичні системи -- складні динамічні системи -- траєкторія з розгалуженням -- необхідні умови оптимальності
Дод.точки доступу:
Lysenko, O. I.
Tachinina, O. M.
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
13.
|
Гулак, Г. М.
Методологічні засади побудови захищених гарантоздатних інформаційних систем дистанційного навчання закладів вищої освіти [Текст] / Г. М. Гулак // Математичні машини і системи = Mathematical machines and systems = Математические машины и системы : науковий журнал. - 2020. - N 4. - С. 148-162. - Бібліогр. в кінці ст.
. - ISSN 1028-9763
Кл.слова (ненормовані):
гарантоздатність -- дистанційне навчання -- освітні послуги -- компонентність -- академічна доброчесність -- кібербезпека -- криптографічний захист інформації -- тестове завдання
Є примірники у відділах:
всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)
Знайти схожі
|
|
|
Електронний каталог бібліотеки
Стандартний
Головна
Посібник користувача