Критерії, що характеризують ефективність функціонування і розвитку корпоративної інформаційно-обчислювальної системи. Розробка моделі управління розвитком та інформаційної технології підтримки прийняття рішень при управлінні розвитком даної системи.
- 14282. Моделі та інформаційні технології адміністрування інформаційного комплексу автоматизованих систем
Розробка нових інформаційних технологій, що забезпечують підвищення ефективності адміністрування та актуальності даних, які використовуються для виконання змінюваних запитів користувачів. Функції інформаційного комплексу системи за рахунок типізації.
Доробка теоретичних і методологічних основ, методології та інструментарію моделювання, аналізу, синтезу і побудови автоматизованого управління процесами землекористування. Визначення їх спрямованості на вирішення проблем раціонального використання земель.
- 14284. Моделі та інформаційні технології для адаптивного управління компонентними програмними комплексами
Огляд проблемних наукових напрямків розробки адаптивних технологій у сфері сучасної програмної інженерії для вирішення задач створення механізму роботи компонентних програмних комплексів за умов змін в середовищі з застосуванням композиційної адаптації.
- 14285. Моделі та інформаційні технології для адаптивного управління компонентними програмними комплексами
Класифікація наукових напрямків розробки адаптивних технологій у сфері сучасної програмної інженерії, створення ефективного механізму роботи компонентних програмних комплексів, та управління ними за умов постійних змін в середовищі їх функціонування.
Розробка аналітичних і структурно-функціональних моделей основних компонентів комп'ютеризованих систем навчання, алгоритмів її функціонування. Сутність методу формального логічного подання знань за допомогою однорідних ієрархічних функціональних мереж.
Бібліотечно-інформаційне забезпечення навчального процесу у вищих навчальних закладах. Аналіз комп'ютеризованих бібліотечних систем, засобів їх адаптації. Алгоритми процесів взаємодії користувача (читача) з комп'ютеризованою бібліотечною системою.
Розроблення комбінованого механізму логічного висновку діагностичних експертних систем, який об’єднує у собі байесів і продукційний підходи до побудови МЛВ і є вільним від їх недоліків за допомогою математичних і програмних методів та кластеризації.
Математична модель об'єкта, який результує скелетизацію знаків, заданих у дискретних представленнях. Математична модель утворюючої бінарних зображень на основі моделі об'єкта. Інформаційна технологія й програмне забезпечення скелетизації знаків.
Етапи розробки науково-методичних основ створення прогресивних технологій на базі стратосферної платформи. Характеристика методів забезпечення відмовостійкості системи обробки інформації безпілотних літальних апаратів на основі модулярної арифметики.
Аналіз архітектур інформаційно-управляючих систем, важливих для безпеки АЕС, а також методів і засобів забезпечення надійності таких систем. Удосконалення моделей надійності одноверсійних структур та методу оцінки інформаційно-управляючих систем.
Розробка моделей надійності резервованих інформаційно-управляючих систем з додатковими компонентами для організації мережного мажоритування. Особливість методу конфігураційного синтезу цифрових програм при використанні раніше розроблених складників.
Підвищення надійності багатоверсійних інформаційно-управляючих систем (ІУС) на основі використання версійної надмірності технічних засобів, програмного забезпечення. Створення інформаційної технології оцінки та забезпечення надійності мультидиверсних ІУС.
- 14294. Моделі та метод підтримки прийняття рішень інспектором держпожнагляду з причин та наслідків пожеж
Дослідження та характеристика існуючих методів та засобів інформаційного моніторингу причин і наслідків пожеж. Удосконалення технології автоматизації процесу кваліфікації класифікаторів надзвичайних ситуацій та ймовірних причин виникнення пожеж.
- 14295. Моделі та методи автоматизації прийняття рішень з управління основною діяльністю страхової компанії
Розробка аналітичних моделей для прогнозу показників страхової діяльності. Ідентифікація параметрів моделей і перевірка їх адекватності. Аналіз алгоритмів і програм функціонування автоматизованої системи управління основною діяльністю страхової компанії.
Комплекс моделей та інформаційна технологія автоматизації управління обслуговуванням розосереджених парків засобів вимірювань СТК, досягнення заданого рівня їх готовності. Склад технологічного обладнання каналів обслуговування операційних елементів.
Дослідження інформаційної технології автоматизованого управління обслуговуванням розосереджених парків засобів вимірювання складних технічних комплексів. Метод визначення складу технологічного обладнання каналів обслуговування операційних елементів.
Аналіз вимог і методів управління якістю виробництва для формування системи контролю якості приладобудівного підприємства. Формування системної моделі контролю якості, основаної на логістичному поданні виробництва. Розробка інформаційної технології.
Вирішення функціональних задач управління і переробки інформації в бортових приладових комплексах за рахунок удосконалювання математичних моделей, проблемно-орієнтованих на створення апаратно-програмних засобів. Синтез алгоритмічних перетворювачів.
Створення моделей, алгоритмів та програмних засобів аналізу та оптимізації часових характеристик та живучості комунікаційних систем глобальних комп'ютерних мереж. Максимальний потік в комунікаційних мережах. Показники живучості при додаткових обмеженнях.
Моделювання цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Тестування і верифікація цифрових проектів. Трійковий метод аналізу справної поведінки. Використання багатозначних апаратних моделей компонентів.
Багатозначна модель компонентів цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Програмно-апаратний комплекс MV-HES (Multi-Valued Hardware Embedded Simulator), що дозволяє верифікувати складні цифрові SoC.
Аналіз методів і інформаційних технологій оцінки й забезпечення відмовостійкості систем обробки інформації літальних апаратів. Розробка програмно-технічні рішень інформаційної технології підтримки вибору СОІ при використанні різних методик оцінки.
Методи підвищення надійності інформаційних систем, раціональний вибір параметрів для оновлення програмних засобів. Оцінювання надійності ІС в умовах прояву власних дефектів і зовнішніх впливів. Впровадження моделі в ІС критичної і бізнес-критичної галузі.
Розроблення моделей і методів підвищення якості обслуговування, надійності функціонування захищених комп'ютерних мереж. Методи моніторингу параметрів трафіку комп'ютерних мереж. Аналіз існуючих моделей систем їх захисту та інформаційної взаємодії.
Шляхи підвищенні оперативності та ефективності прийняття знанняорієнтованих рішень за умов лінгвістичної невизначеності при складанні розкладу занять у вищих навчальних закладах. Використання і розроблення нових моделей і систем інженерії квантів знань.
Розробка методів оперативного та інтелектуального аналізу даних, що є складовими систем підтримки прийняття управлінських рішень на основі реєстру сільськогосподарських тварин та реєстру зернових культур. Основні моделі та методи вирішення завдань.
Розробка нових методів організаційної та інформаційної підтримки процесів проектування техніки як теоретико-прикладного базису створення системи підтримки прийняття рішень інтегрованої АСУ проектною організацією, орієнтованої на підвищення ефективності.
Формалізація процедури формування поелементних послідовностей розкладання – складання системних технічних об'єктів складання з урахуванням вимог доступу та базування. Проведення кількісної оцінки варіантів по заданим локальним критеріям оптимальності.
- 14310. Моделі та методи класифікації текстових документів в спеціалізованих інформаційно-пошукових системах
Принципи створення електронного документообігу. Розробка системи автоматизованої класифікації документів управління митної служби України. Вивчення алгоритмів роботи глобальних комп’ютерних мереж. Апробація і реалізація інформаційно-пошукових програм.
