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

  Скачати повний текст

Досліджено вплив динамічних спотворень зображень об'єктів на якість методів ідентифікації зображень об'єктів заданої форми. Запропоновано моделі представлення зображень розпізнаваних об'єктів, інваріантних для динамічних спотворень: моделі Променевих Сум та Моментно-Кутових Функцій (у сигнально-структурному просторі ознак) і Модель Характерних Точок (у спектрально-структурному просторі ознак). Розроблено методи й алгоритми формування й аналізу даних моделей для ідентифікації динамічних зображень і доведено їх ефективність. Висвітлено загальні підходи до проектування програмного забезпечення аналізу та розпізнавання образів.

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

Розроблено засоби для проектування соціальних інтелектуальних інтерфейсних засобів. Досліджено програмне забезпечення для навчання в роботі з персональним комп'ютером С-користувачів. Спроектовано ігрові сценарії для сліпих. Визначено параметри інтерфейсних засобів програм для даної категорії користувачів, різних систем формування, надано підказування та довідкову інформацію. Основну увагу приділено питанню вбудовування інтелектуальних агентів у програмний інтерфейс з метою надання попереджувального підказування користувачеві, індивідуалізації інтерфейсу шляхом автоматичного настроювання параметрів з урахуванням користувача. Описано інструмент, на базі якого будуються інтелектуальні агенти - Просторово Розріджена Пам'ять (SDM). Наведено алгоритми швидкого перенавчання SDM і відповідні його оцінки ефективності, модифікації SDM, які дозволили підвищити інтелектуальність інтерфейсів користувача. Зокрема, розроблено модифікацію для надання попереджувального підказування С-користувачеві та модифікацію для автоматизації процесу отримання результатів числового прогнозування з урахуванням подібності зразків на різних сеансах прогнозування. Досліджено програмні продукти, що реалізують указані підходи та інструменти - комплекс програмних засобів, орієнтованих на С-користувачів (ігрові програми, текстовий редактор RED1, тренажер клавіатури TRKSL, навчально-вимірювальний комплекс для оцінки параметрів взаємодії С-користувач-комп'ютер) і пакети числового прогнозування Forecasting ToolPack і PREDICTOR for Excel.

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

Досліджено питання організації пошуку даних про графічні об'єкти у сховищі даних на основі їх семантики для потреб оператора АСУ та розробки методів зберігання таких даних. Сформульовано основні підходи до вирішення проблеми зменшення потоків даних у системі управління потоками даних й організації пошуку графічних об'єктів їх заміною даними про графічні об'єкти. Розроблено метод подання таких даних про графічні об'єкти, метод визначення повноти та достатності словника графічних об'єктів, метод визначення семантичної значущості та семантичної суперечності елементів їх опису. Сформовано словник графічних елементів, серед яких визначено лінію, криву, коло, "майже" коло, трикутник, "майже" трикутник, чотирикутник, багатокутник, "майже" багатокутник. Такий словник дозволяє організувати швидкий і ефективний пошук даних про графічні об'єкти з використанням розробленого алгоритму фільтрації семантичних описів графічних об'єктів. Розроблений метод подання даних про графічні об'єкти дозволяє зменшити розмір файлів, що передаються між блоками системи для подальшої обробки, до 10-ти разів. Ефективність першого семантичного фільтра наближається до 90 %, другий семантичний фільтр визнаний неефективним. Використання в алгоритмі пошуку тільки першого та третього семантичних фільтрів дозволило зменшити час пошуку удвічі без втрати результату.

  Скачати повний текст

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

  Скачати повний текст