Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
Повнотекстовий пошук
 Знайдено в інших БД:Книжкові видання та компакт-диски (3)Автореферати дисертацій (1)Реферативна база даних (24)Авторитетний файл імен осіб (1)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>A=Обідін Д$<.>)
Загальна кількість знайдених документів : 33
Представлено документи з 1 до 20
...
1.

Обідін Д. М. 
Верифікаційна модель розподіленої бази знань системи управління перспективного літального апарата [Електронний ресурс] / Д. М. Обідін // Системи озброєння і військова техніка. - 2012. - № 2. - С. 188-191. - Режим доступу: http://nbuv.gov.ua/UJRN/soivt_2012_2_40
Попередній перегляд:   Завантажити - 261.544 Kb    Зміст випуску     Цитування
2.

Обідін Д. М. 
Проблема забезпечення функціональної стійкості процесів навігації та управління рухом літальних апаратів [Електронний ресурс] / Д. М. Обідін, С. М. Неділько // Системи озброєння і військова техніка. - 2012. - № 3. - С. 197-200. - Режим доступу: http://nbuv.gov.ua/UJRN/soivt_2012_3_49
На основі аналізу різних визначень стійкості функціонування запропоновано математичну формалізацію забезпечення функціональної стійкості процесів навігації та управління рухом літальних апаратів на базі інтелектуалізації пілотажно-навігаційного комплексу перспективного літака-винищувача.
Попередній перегляд:   Завантажити - 262.865 Kb    Зміст випуску    Реферативна БД     Цитування
3.

Обідін Д. М. 
Алгоритми логічного виведення знань в розподіленій базі знань інтелектуалізованої системи автоматичного управління [Електронний ресурс] / Д. М. Обідін, О. В. Барабаш, Р. В. Хращевський // Збірник наукових праць Харківського університету Повітряних сил. - 2012. - Вип. 4. - С. 161-167. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2012_4_33
Запропоновано чотири основні алгоритми логічного виведення в розподіленій базі знань САУ, які доведені до необхідного ступеня деталізації і можуть бути реалізовані існуючими інструментальними засобами логічного програмування.
Попередній перегляд:   Завантажити - 441.212 Kb    Зміст випуску    Реферативна БД     Цитування
4.

Обідін Д. М. 
Проблема забезпечення функціональної стійкості інтелектуальної системи автоматичного управління літальним апаратом [Електронний ресурс] / Д. М. Обідін // Сучасні інформаційні технології у сфері безпеки та оборони. - 2011. - № 3. - С. 44-47. - Режим доступу: http://nbuv.gov.ua/UJRN/sitsbo_2011_3_12
На основі аналізу різних визначень стійкості функціонування запропоновано математичну формалізацію забезпечення функціональної стійкості процесів навігації та управління рухом літальних апаратів на базі інтелектуалізації пілотажно-навігаційного комплексу перспективного літака-винищувача.
Попередній перегляд:   Завантажити - 3.482 Mb    Зміст випуску    Реферативна БД     Цитування
5.

Обідін Д. М. 
Формалізація властивості функціональної стійкості процесів навігації та управління рухом літального апарату [Електронний ресурс] / Д. М. Обідін // Сучасні інформаційні технології у сфері безпеки та оборони. - 2012. - № 1. - С. 48-51. - Режим доступу: http://nbuv.gov.ua/UJRN/sitsbo_2012_1_13
Попередній перегляд:   Завантажити - 509.163 Kb    Зміст випуску     Цитування
6.

Барабаш О. В. 
Реалізація принципів координації в системі планування розподілу повітряного простору [Електронний ресурс] / О. В. Барабаш, Д. М. Обідін, Р. В. Хращевський // Системи обробки інформації. - 2012. - Вип. 5. - С. 2-6. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2012_5_3
На основі визначених принципів координації системи планування розглянуто основні шляхи по внутрішній і міжрівневій координації. Сформульовано основні умови та математичну інтерпретацію здійснення координації системи планування відносно завдань, що стоять перед багаторівневою системою планування.
Попередній перегляд:   Завантажити - 556.689 Kb    Зміст випуску    Реферативна БД     Цитування
7.

Обідін Д. М. 
Верифікація розподіленої бази знань системи управління перспективного літального апарата на основі побудови мінімально достатніх структур [Електронний ресурс] / Д. М. Обідін // Системи обробки інформації. - 2012. - Вип. 7. - С. 130-134. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2012_7_28
Попередній перегляд:   Завантажити - 403.028 Kb    Зміст випуску     Цитування
8.

Обідін Д. М. 
Концепція забезпечення функціональної стійкості багатомодульної інтелектуалізованої системи управління на основі динамічної децентралізованої верифікації баз знань [Електронний ресурс] / Д. М. Обідін // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г. Є. Пухова. - 2013. - Вип. 67. - С. 23-30. - Режим доступу: http://nbuv.gov.ua/UJRN/znpipm_2013_67_6
Попередній перегляд:   Завантажити - 86.46 Kb    Зміст випуску     Цитування
9.

Обідін Д. М. 
Метод верифікації баз знань систем автоматичного управління на основі матричних операцій [Електронний ресурс] / Д. М. Обідін // Системи озброєння і військова техніка. - 2012. - № 4. - С. 131-135. - Режим доступу: http://nbuv.gov.ua/UJRN/soivt_2012_4_33
Висвітлено метод верифікації баз знань на основі операцій з матрицями, що дозволяє відшукувати усі відомі аномалії у базах правил, такі як дублювання, часткове включення, зациклювання, надлишкове правило, неузгодженість, розривність та надмірність.Висвітлено метод верифікації баз знань на основі операцій з матрицями, що надає змогу відшукувати всі відомі аномалії у базах правил, такі як дублювання, часткове включення, зациклювання, надлишкове правило, неузгодженість, розривність і надмірність.
Попередній перегляд:   Завантажити - 323.035 Kb    Зміст випуску    Реферативна БД     Цитування
10.

Обідін Д. М. 
Дослідження та обґрунтування методу тестової верифікації елементів розподілених баз знань [Електронний ресурс] / Д. М. Обідін // Системи обробки інформації. - 2014. - Вип. 4. - С. 181-183. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2014_4_38
Попередній перегляд:   Завантажити - 390.521 Kb    Зміст випуску     Цитування
11.

Обідін Д. М. 
Дослідження типології нечітких відповідностей реальних процесів у системах управління літальними апаратами [Електронний ресурс] / Д. М. Обідін // Системи обробки інформації. - 2014. - Вип. 2. - С. 43-47. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2014_2_11
Досліджено класи нечітких моделей шляхом введення означень, формального опису нечітких відповідностей і нечітких графів. Крім того, введено основні формальні операцій над класами нечітких відповідностей та класами нечітких графів.
Попередній перегляд:   Завантажити - 506.169 Kb    Зміст випуску    Реферативна БД     Цитування
12.

Обідін Д. М. 
Математична формалізація функціональної стійкості процесів управління літальними апаратам [Електронний ресурс] / Д. М. Обідін // Системи озброєння і військова техніка. - 2014. - № 1. - С. 179-182. - Режим доступу: http://nbuv.gov.ua/UJRN/soivt_2014_1_40
Запропоновано математичну формалізацію забезпечення функціональної стійкості процесів управління рухом літальних апаратів на базі інтелектуалізації пілотажного комплексу перспективного літального апарату.
Попередній перегляд:   Завантажити - 447.297 Kb    Зміст випуску    Реферативна БД     Цитування
13.

Барабаш О. В. 
Модель бази знань інтелектуальної системи управління високошвидкісного рухомого об’єкта на основі її верифікації [Електронний ресурс] / О. В. Барабаш, Д. М. Обідін, А. П. Мусієнко // Системи обробки інформації. - 2014. - Вип. 5. - С. 3-6. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2014_5_3
Запропоновано загальну модель верифікації баз знань інтелектуальних систем управління високошвидкісного рухомого об'єкта з використанням блукаючого діагностичного ядра, яка дозволяє визначати наявність збоїв та некоректностей у базі знань із заданим ступенем достовірності. Основною відмінністю розробленої методики верифікації розподіленої бази знань від існуючих є можливість верифікації на основі розосередженої структури бази знань, в якій кожен модуль може послати тестовий запит лише суміжним модулям. При цьому структура верифікаційних зв'язків є випадковою, а діагностичне ядро переміщається у системі випадковим чином разом з діагностичною інформацією.
Попередній перегляд:   Завантажити - 408.208 Kb    Зміст випуску    Реферативна БД     Цитування
14.

Обідін Д. М. 
Оцінка функціональної стійкості інформаційно-телекомунікаційних мереж на основі автоматизованих систем управління [Електронний ресурс] / Д. М. Обідін // Наука і техніка Повітряних Сил Збройних Сил України. - 2014. - № 1. - С. 167-169. - Режим доступу: http://nbuv.gov.ua/UJRN/Nitps_2014_1_40
Запропонований математичний апарат для кількісної оцінки функціональної стійкості інформаційної телекомунікаційної мережі автоматизованих систем управління спеціального призначення. Запропоновані ознаки і показники функціональної стійкості структури інформаційної телекомунікаційної мережі. Запропоновано кількісні методи оцінки функціональної стійкості за приведеними показниками. На основі цих оцінок можна давати рекомендації з нарощування структури чи складати обірунтовані вимоги до структури інформаційної телекомунікаційної мережі, що буде проектуватися.
Попередній перегляд:   Завантажити - 480.105 Kb    Зміст випуску    Реферативна БД     Цитування
15.

Обідін Д. М. 
Методика самодіагностики обчислювальних систем на основі гнучких структур перевірочних зв’язків [Електронний ресурс] / Д. М. Обідін // Збірник наукових праць Харківського університету Повітряних сил. - 2014. - Вип. 1. - С. 150-154. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2014_1_38
Наведено основні положення оперативного самодіагностування з блукаючим діагностичним ядром. Наведено коротку характеристику гнучкої структури перевірочних зв'язків обчислювальних систем. Запропоновано новий спосіб відстеження поточних структур перевірочних зв'язків системи, заснований на характеристичних числах діагностичного графа системи.
Попередній перегляд:   Завантажити - 516.509 Kb    Зміст випуску    Реферативна БД     Цитування
16.

Обідін Д. М. 
Метод накопичення верифікаційної інформації при виконанні верифікації в розподілених базах знань [Електронний ресурс] / Д. М. Обідін // Збірник наукових праць Харківського університету Повітряних сил. - 2014. - Вип. 2. - С. 140-143. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2014_2_35
Доведено теорему, яка показує, що для одержання результату верифікації з високою достовірністю необхідно, щоб інформація про результати перевірок нагромаджувалася тільки в коректних модулях.
Попередній перегляд:   Завантажити - 462.734 Kb    Зміст випуску    Реферативна БД     Цитування
17.

Обідін Д. М. 
Аналіз теперішніх та перспективних науково-методичних підходів щодо побудови авіаційних комплексів та систем [Електронний ресурс] / Д. М. Обідін // Наука і техніка Повітряних Сил Збройних Сил України. - 2014. - № 2. - С. 32-34. - Режим доступу: http://nbuv.gov.ua/UJRN/Nitps_2014_2_9
Проаналізовано існуючі підходи до побудови систем управління, а також деяких авіаційних комплексів. Визначено найбільш перспективні напрямки розвитку літальних апаратів, зокрема систем автоматичного управління.
Попередній перегляд:   Завантажити - 382.933 Kb    Зміст випуску    Реферативна БД     Цитування
18.

Обідін Д. М. 
Ознаки та критерії функціональної стійкості інтелектуалізованої системи автоматичного управління польотом літака [Електронний ресурс] / Д. М. Обідін, О. В. Барабаш // Системи озброєння і військова техніка. - 2012. - № 1. - С. 133-136. - Режим доступу: http://nbuv.gov.ua/UJRN/soivt_2012_1_30
Попередній перегляд:   Завантажити - 258.526 Kb    Зміст випуску     Цитування
19.

Барабаш О. В. 
Математична модель інтелектуалізації процесів управління рухомим об’єктом на основі нечітких семантичних мереж [Електронний ресурс] / О. В. Барабаш, Д. М. Обідін, А. П. Мусієнко // Наукові записки Українського науково-дослідного інституту зв'язку. - 2014. - № 3. - С. 5-9. - Режим доступу: http://nbuv.gov.ua/UJRN/Nzundiz_2014_3_3
Висвітлено актуальні аспекти створення нечіткої бази знань для комплексної системи управління, заснованої на багатокомпонентних кортежах графових структур. Запропоновано новий підхід щодо компактного аналітичного подання нечітких графів у вигляді багатокомпонентних кортежів, який може бути ефективно використаний для опису динамічних аспектів проблемної області управління рухомим об'єктом. Метод дозволяє реалізувати можливість не лише компактного подання, а й здійснення необхідних операцій з графами як нечіткої, так і комбінованої структури.
Попередній перегляд:   Завантажити - 385.152 Kb    Зміст випуску    Реферативна БД     Цитування
20.

Обідін Д. М. 
Метод верифікації баз знань системи автоматичного управління за допомогою матричних операцій [Електронний ресурс] / Д. М. Обідін // Системи обробки інформації. - 2012. - Вип. 3(2). - С. 85-89. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2012_2_3_21
Висвітлено метод верифікації баз знань на основі операцій з матрицями, що дозволяє відшукувати усі відомі аномалії у базах правил, такі як дублювання, часткове включення, зациклювання, надлишкове правило, неузгодженість, розривність та надмірність.Висвітлено метод верифікації баз знань на основі операцій з матрицями, що надає змогу відшукувати всі відомі аномалії у базах правил, такі як дублювання, часткове включення, зациклювання, надлишкове правило, неузгодженість, розривність і надмірність.
Попередній перегляд:   Завантажити - 479.23 Kb    Зміст випуску    Реферативна БД     Цитування
...
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського