Библиотечный каталог авторефератов Украины

Источник: Автореф. дис... канд. техн. наук: 05.13.06 / Ф.М. Цивільський; Херсон. нац. техн. ун-т. — Херсон, 2006. — 21 с. — укp.

Аннотация: Уперше у повному обсязі проведено класифікацію факторів і виконано формалізацію процесів взаємодії "Оператор - автоматизована система управління (АСУ)", побудовано її математичну модель. Одержано психофункціональну характеристику оператора щодо адаптації інформаційних характеристик системи "Оператор - АСУ". Уточнено класифікацію факторів, які впливають на АСУ залежно від взаємозв'язку суб'єктивних і об'єктивних факторів. Розвинуто теорію функціональних систем для дослідженої системи.

Источник: Автореф. дис... канд. техн. наук: 05.13.06 / О.В. Прохоров; Нац. аерокосм. ун-т ім. М.Є.Жуковського "Харк. авіац. ін-т". — Х., 2003. — 20 с. — укp.

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

Источник: Автореф. дис... канд. техн. наук: 05.13.06 / О.Г. Ворочек; Харк. нац. ун-т радіоелектрон. — Х., 2002. — 19 с. — укp.

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

Источник: Автореф. дис... канд. техн. наук: 05.13.06 / В.М. Дьоміна; Харк. нац. ун-т радіоелектрон. — Х., 2002. — 19 с. — укp.

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

Источник: Автореф. дис... канд. техн. наук: 05.13.06 / Л.Є. Сергєєв; Нац. аерокосм. ун-т ім. М.Є.Жуковського "Харк. авіац. ін-т". — Х., 2004. — 17 с.: іл. — укp.

Аннотация: Уперше одержано інтегровану модель розробки програмного забезпечення автоматизованих систем управління (ПЗ АСУ) з застосуванням прогресивної компонентно-орієнтованої технології створення програмних продуктів (ПП) на базі високорівневої моделі виробництва ПЗ. Удосконалено комбінаторні методи теорії перелічення для аналізу множини можливих варіантів побудови архітектури ПЗ. Запропоновано метод багатокритеріальної оптимізації для вибору структурних рішень ПЗ АСУ. Наведено метод розбивки множин для урахування повторного використання програмних компонент і обгрунтування рівнів архітектури ПЗ. Розвинуто системне проектування ПЗ АСУ, що базується на багаторівневому представленні зазначеної архітектури та компонентно-орієнтованій технології створення ПП і програмних систем. Запропоновано метод імовірнісної оцінки впевненості у виборі альтернативних варіантів ПЗ.

Источник: Автореф. дис... канд. техн. наук: 05.13.06 / О.М. Тарасюк; Нац. аерокосм. ун-т ім. М.Є.Жуковського "Харк. авіац. ін-т". — Х., 2004. — 20 с. — укp.

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

Источник: Автореф. дис... д-ра техн. наук: 05.13.06 / Л.С. Файнзільберг; НАН України. Міжнар. наук.-навч. центр інформ. технологій та систем. — К., 2004. — 35 с. — укp.

Аннотация: Проведено дослідження нових методів та інструментальних засобів, що забезпечують одержання інформації про кількісні або якісні показники стану об'єктів різної фізичної природи за діагностичними ознаками, які зосереджені на відносно невеликих фрагментах інтервалу спостереження сигналу. Розроблено узагальнену стохастичну модель породження реальних сигналів за умов внутрішніх та зовнішніх збурень, на основі аналізу якої запропоновано узагальнену схему створення ефективних інформаційних технологій (ІТ) добування діагностичної інформації. Розроблено оригінальний метод оцінювання корисного сигналу (еталону), який грунтується на селекції та усередненні спотворених реалізацій у фазовому просторі з використанням хаусдорфової метрики. Удосконалено методи заглушування частотних та обмежених за рівнем випадкових завад. Доведено формальні умови, які дозволяють оцінювати ефективність діагностичних тестів та окремих ознак щодо зменшення апріорного ризику. Встановлено ефективність розроблених методів та відповідних інструментальних засобів під час їх застосування у процесі реалізації нових ІТ оцінювання стану технічних і біологічних об'єктів, які пройшли успішні промислові та клінічні випробування в Україні, Росії, Угорщині та Німеччині.

Источник: Автореф. дис... канд. техн. наук: 05.13.06 / А.В. Горбенко; Нац. аерокосм. ун-т ім. М.Є.Жуковського "Харк. авіац. ін-т". — Х., 2004. — 20 с. — укp.

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