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

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

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

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

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

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

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

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

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

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

Розроблено нові методи персоналізації для систем електронного навчання та побудовано архітектуру інформаційних систем її підтримки. Створено математичну модель персоналізації, обгрунтовано принципи побудови систем надання рекомендацій, визначено їх переваги. Розроблено новий метод надання рекомендацій для застосування у системах електронного навчання, з використанням якого створено алгоритм надання рекомендацій, орієнтований на покращання часу їх побудови. Проведено порівняльне дослідження результатів роботи нового й існуючих алгоритмів персоналізації на підставі реальних великих масивів даних. Продемонстровано підвищення рівня адекватності рекомендацій і скорочення часу їх підрахунку. Розроблено архітектури персоналізації інформаційних систем. Побудовано програмний прототип системи персоналізації (з використанням інструментальних засобів Microsoft Visual C 2005 Express Edition), а також програмні засоби для розповсюдженого середовища системи дистанційного навчання Moodle.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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