Бази даних

Реферативна база даних - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
Пошуковий запит: (<.>A=Тімочко О$<.>)
Загальна кількість знайдених документів : 8
Представлено документи з 1 до 8

      
Категорія:    
1.

Тімочко О. І. 
Визначення параметрів, що впливають на вибір методу наведення винищувача на повітряну ціль / О. І. Тімочко, Н. О. Королюк, М. В. Науменко, Б. В. Бакуменко // Системи оброб. інформації. - 2008. - Вип. 7. - С. 124-127. - Бібліогр.: 6 назв. - укp.

Розглянуто підхід щодо визначення найбільш переважних параметрів, що впливають на вибір методу наведення винищувача на повітряну ціль, на підставі постановки експертизи та обробки експертних даних. Одержані за результатами обробки значення компонентів функції приналежності множині параметрів, що впливають на визначення доцільного методу наведення винищувача на повітряну ціль, дозволяють упорядкувати її елементи за рівнями їх недомінування.


Індекс рубрикатора НБУВ: Ц651.111.1-91 в + Ц651.24

Рубрики:

Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ 

      
Категорія:    
2.

Тімочко О. Ю. 
Методологічні аспекти юридичної науки теорії держави і права / О. Ю. Тімочко // Держава і право. Юрид. і політ. науки : зб. наук. пр. - 2006. - Вип. 34. - С. 99-104. - Бібліогр.: 19 назв. - укp.


Індекс рубрикатора НБУВ: Х0в0/8

Шифр НБУВ: Ж69395 Пошук видання у каталогах НБУВ 



      
Категорія:    
3.

Зуєв П. П. 
Пропозиції щодо удосконалення методів вироблення рішень в автоматизованих системах управління черговими силами об'єднання Повітряних сил / П. П. Зуєв, О. О. Тімочко, А. А. Кизима // Системи упр., навігації та зв'язку. - 2016. - Вип. 1. - С. 26-28. - Бібліогр.: 5 назв. - укp.

Проаналізовано основні методи вироблення рішень в існуючих автоматизованих системах управління черговими силами об'єднання Повітряних сил, визначені їх недоліки. Розглянуто основні функції, які повинні виконувати автоматизовані системи управління черговими силами. Запропоновано застосування семіотичних (логико-лингвистических) методів при побудові автоматизованих систем управління черговими силами. Обгрунтовано часткові завдання, вирішення яких дозволить удосконалити методи вироблення рішень в автоматизованих системах управління черговими силами об'єднання Повітряних сил.


Індекс рубрикатора НБУВ: Ц65(4УКР)-59 в661.4

Рубрики:

Шифр НБУВ: Ж73223 Пошук видання у каталогах НБУВ 

      
Категорія:    
4.

Зуєв П. П. 
Пропозиції щодо удосконалення методів подання інформації при розпізнаванні ситуацій черговими силами об'єднання Повітряних сил / П. П. Зуєв, О. О. Тімочко, О. В. Дудко // Системи упр., навігації та зв'язку. - 2015. - Вип. 3. - С. 21-24. - Бібліогр.: 7 назв. - укp.

Проаналізовано основні особливості існуючої системи управління черговими силами і засобами протиповітряної оборони в об'єднанні Повітряних сил. Запропоновано нові завдання, які необхідно вирішувати в процесі розпізнавання ситуацій у повітряному просторі. Обгрунтовано необхідність розширення множини методів розпізнавання ситуацій у повітряному просторі. Показано, що повна автоматизація рішення задачі розпізнавання ситуацій у повітряному просторі можлива лише за умови використання нової інформаційної технології - технології експертних систем і систем ухвалення рішень у поєднанні з традиційними методами.


Індекс рубрикатора НБУВ: Ц64(4УКР)-521 в661.4

Шифр НБУВ: Ж73223 Пошук видання у каталогах НБУВ 

      
Категорія:    
5.

Тімочко О. О. 
Вдосконалений метод класифікації повітряних об'єктів / О. О. Тімочко // Наука і техніка Повітр. сил Збройн. сил України. - 2019. - № 1. - С. 58-63. - Бібліогр.: 10 назв. - укp.

Для прийняття рішень з класифікації повітряних об'єктів використаний комбінований метод - нечіткі моделі на основі систем з нечіткою логікою, а також моделі на основі звичайної булевої логіки. На попередньому етапі оцінка здійснюється шляхом співставлення з еталонним набором ознак для кожного класу повітряних об'єктів. На основі модифікації синглетонної бази знань та оптимістичного критерію прийняття рішення запропонований механізм ієрархічного логічного виведення. Значення синглетонних функцій належності для неявних гілок дерева прийняття рішень розглядається як значення обчисленої достовірності інформації. База знань формується як матриця відповідності можливих ознак поведінки повітряного об'єкту кожному індексу належності (класу повітряних об'єктів). Механізм логічного виведення застосовує результати попереднього аналізу можливих варіантів рішення, має гілки явних та неявних рішень. За вагові коефіцієнти рівняння логічного виведення використовуються значення коефіцієнтів повноти інформації, обчислені на етапі аналізу вхідної інформації. Одержані рівняння та дерева логічного виведення дозволяють побудувати метод прийняття рішень для автоматизованої класифікації повітряних об'єктів. Запропонований метод класифікації повітряних об'єктів відрізняється від відомих: використанням різнорідних джерел інформації про повітряні об'єкти і формалізацією ознак за допомогою нечітких множин, у тому числі 2-го типу; введенням ієрархічної системи класифікації повітряних об'єктів; обчисленням достовірності інформації про повітряні об'єкти і використанням її в якості значень синглетонних функцій належності вхідних ознак; організацією логічного виведення по детермінованій і нечіткій гілкам прийняття рішень про повітряні об'єкти з формуванням вектору "довіри" до варіантів рішення. Вдосконалений метод оцінювання якості класифікації повітряних об'єктів може використовуватися на етапі тестування автоматизованої системи класифікації.


Індекс рубрикатора НБУВ: Ц57(4УКР)2

Рубрики:

Шифр НБУВ: Ж100320 Пошук видання у каталогах НБУВ 

      
Категорія:    
6.

Тімочко О. О. 
Оцінка затрат часу на виявлення некоректних рішень при класифікації об'єктів із застосуванням розфарбованих мереж Петрі / О. О. Тімочко, О. М. Тихомиров, О. В. Гойжевський, О. В. Губаревич // Наукоєм. технології. - 2018. - 40, № 4. - С. 428-436. - Бібліогр.: 7 назв. - укp.


Індекс рубрикатора НБУВ: З970.53 + З810.21

Рубрики:

Шифр НБУВ: Ж100325 Пошук видання у каталогах НБУВ 



      
Категорія:    
7.

Шило С. Г. 
Метод сумісної обробки координатної та ознакової інформації в системах обробки радіолокаційної інформації спеціального призначення / С. Г. Шило, Д. В. Головняк, С. І. Хмелевський, О. О. Тімочко // Системи упр., навігації та зв'язку. - 2019. - Вип. 6. - С. 123-128. - Бібліогр.: 20 назв. - укp.

Вивчено процес сумісної обробки координатної та ознакової інформації в системах обробки радіолокаційної інформації (СОРЛІ) спеціального призначення. Мета роботи - розробка методу сумісної обробки координатної та ознакової інформації в СОРЛІ спеціального призначення, що дозволяє врахувати інформаційні можливості різнотипних джерел про параметри траєкторій, сигнальні, траєкторні та оперативно-тактичні ознаки, а також використовувати інтелектуальні технології для розпізнавання повітряних об'єктів. Наведено результати досліджень щодо удосконалення методів та алгоритмів третинної СОРЛІ в системах обробки радіолокаційної інформації спеціального призначення. Запропоновано метод сумісної обробки координатної та ознакової інформації в СОРЛІ спеціального призначення, що відрізняється від відомих урахуванням інформаційних можливостей різнотипних джерел про параметри траєкторій, сигнальних, траєкторних та оперативно-тактичних ознак, а також використанням інтелектуальних технологій розпізнавання повітряних об'єктів. Розроблений метод сумісної обробки координатної та ознакової інформації в СОРЛІ спеціального призначення. Висновки: розроблений метод має усунути недоліки притаманні існуючим методам, і за рахунок цього підвищити якість інформації про повітряну обстановку. Встановлено, що використання запропонованого методу сприяє забезпеченню вимог споживачів щодо оперативності та якості інформації про повітряну обстановку.


Індекс рубрикатора НБУВ: Ц651.63 + О571.55-5 + З95-01

Рубрики:

Шифр НБУВ: Ж73223 Пошук видання у каталогах НБУВ 

      
Категорія:    
8.

Тимочко О. І. 
Метод перевірки коректності процесу розпізнавання повітряного об'єкта / О. І. Тимочко, О. О. Тімочко, Г. Г. Дубовик, П. Г. Берднік // Телекомунікац. та інформ. технології. - 2020. - № 2. - С. 112-125. - Бібліогр.: 17 назв. - укp.

В основу розробленої процедури контролю коректності процесу розпізнавання повітряних об'єктів покладено метод еталонів, роль яких виконують введені обмеження коректності. При контролі перевіряються синтаксична та семантична коректність процесу розпізнавання. Метод відрізняється від відомих використанням поняття середнього ризику при перевірці окремих видів семантичної некоректності описів класів алфавітів. Сутність розробленого методу перевірки розрізнення описів класів алфавіту полягає в розрахунку значень середнього ризику при розпізнаванні кожної пари класів алфавіту та перевірки виконання введеного обмеження. Використання методу надає можливість на етапі налагодження формалізованих знань виявляти некоректності, що пов'язані з нерозрізненістю класів алфавіту та використовувати числове значення середнього ризику для виявлення інших видів семантичних неточностей. Сутністю розробленого методу перевірки структурної надлишковості описів класів алфавіту є розрахунок значень середнього ризику при розпізнаванні класу з використанням різних "фрагментів" його опису. Введене обмеження надає можливість виявляти нерозрізнені "фрагменти" описів класів. Видалення надлишкових описів надає можливість знизити час пошуку рішень про класи об'єктів. В основу розробленого методу виявлення ознакової надлишковості описів класів також покладено процедуру розрахунку значення середнього ризику, прийнятого в якості характеристики апріорної інформативності ознак. Метод надає можливість на етапі наповнення бази знань автоматизувати виявлення та усунення неінформативних ознак в описах класів, що знижує трудовитрати на перевірку надлишковості; на етапі безпосереднього вирішення задачі розпізнавання - знизити обчислювальні витрати шляхом ранжирування використовуваних ознак по їх апріорній інформативності та відповідної організації процесу пошуку рішення про класи розпізнається ПО.


Індекс рубрикатора НБУВ: О571-51

Рубрики:

Шифр НБУВ: Ж25101 Пошук видання у каталогах НБУВ 
 

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