Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.
Предоплата всего
Подписываем
НАЦІОНАЛЬНИЙ ТЕХНІЧНИЙ УНІВЕРСИТЕТ УКРАЇНИ
“Київський політехнічний інститут”
АЙМАН ІССА
(Сірія)
УДК 681.3.06
МЕТОДИ І ЗАСОБИ РОЗРОБКИ СПЕЦІАЛЬНОГО
ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ДЛЯ СИСТЕМ РОЗПОДІЛУ РЕСУРСІВ
спеціальність: 01.05.03 –Математичне та програмне забезпечення
обчислювальних машин і систем
Автореферат
дисертації на здобуття ученого ступеня кандидата
технічних наук
Київ – 2003
Дисертацією є рукопис.
Роботу виконано на кафедрі обчислювальної техніки Національного технічного університету України "Київський політехнічний інститут"
|
Науковий керівник: |
кандидат технічних наук, доцент Пустоваров Володимир Ілліч, Національний технічний університет України "Київський політехнічний інститут", доцент |
|
Офіційні опоненти: |
доктор технічних наук, професор Зайцев Володимир Григорович, ДНВП ”Комета” НВК “Київський інститут автоматики”, директор |
|
кандидат технічних наук, доцент Коломієць Валерій Федорович, Інститут міжнародних відносин Київського національного університету України імені Тараса Шевченка, доцент кафедри міжнародної інформації |
|
|
Провідна установа: |
Інститут проблем моделювання в енергетиці НАН України, м. Київ, відділ спеціалізованих засобів моделювання. |
Відзиви на автореферат у двох примірниках, завірені печаткою установи, просимо надсилати за адресою: 03056, м. Київ, пр. Перемоги, 37, Вченому секретарю НТУУ “КПІ”.
кандидат технічних наук, доцент М.М. Орлова
ЗАГАЛЬНА ХАРАКТЕРИСТИКА ДОСЛІДЖЕННЯ
Актуальність теми дослідження обумовлена різким підвищенням складності інформаційних систем (ІС) з функціями підтримки прийняття рішень (ППР), що вимагають створення програмного забезпечення (ПЗ) обробки величезних обсягів інформації в режимі реального часу і мінімальної затримки в одержанні результату узагальнення ПЗ для розв’язання типових задач, властивих для різних проблемних галузей досліджень (ПГД). Існує багато варіантів спеціальних програмних систем оперативного аналізу та прогнозування стану об’єктів обліку, але практично відсутні методи і технологічні комплекси програмних компонентів для швидкого настроювання, реконфігурації та модифікації вже існуючого аналітичного та інформаційного ПЗ з врахуванням особливостей та динаміки зміни поточних ситуацій. До того ж, сучасні інструментальні засоби для побудови розподілених агентських програм та SQL-сервери ще не мають вбудованих машин логічного доведення для аналітичної обробки даних. Головна сучасна проблема швидкої генерації та оперативного настроювання таких систем полягає в забезпеченні їх комплексом ефективних типових програм, в тому числі для розробки машин логічного доведення та на їх основі спеціального ПЗ (СПЗ). Крім того, СПЗ інформаційно-аналітичних систем (ІАС) не включає засобів автоматизації, узагальнених для розв’язання схожих задач, і потребує значних доробок і модифікацій при його впровадженні в нових галузях.
Таким чином, розробка і дослідження методів і засобів побудови гнучких компонент СПЗ підготовки рішень з розподілу є актуальною в різних галузях господарства і має неабияке практичне значення.
Зв’язок роботи з науковими програмами, планами, темами. Дисертаційна робота виконувалась у розвиток робіт за державною науково-технічною програмою “Сучасні інформаційні технології в створенні інтегрованих виробничих комплексів” тема “Розробка, дослідження та застосування засобів інтелектуалізації в процесі проектування баз даних та прикладних програм в автоматизованих системах на базі ПЕОМ” (№ держреєстрації 0195u008180, 1994-96 рр.) та в рамках робіт напрямку “Перспективні інформаційні технології, прилади, системи зв’язку”, що виконувались кафедрою обчислювальної техніки НТУУ “КПІ” в 1997-99 рр.
Мета і задачі дослідження. Метою дисертаційної роботи є скорочення часу розробки та настроювання компонентів машини логічного доведення та інформаційно-аналітичного СПЗ на її базі з використанням моделей та методів інженерії знань для розширення області застосування наявної інформаційної бази (ІБ) та підвищення ефективності систем ППР з ефективного розподілу багатокомпонентних ресурсів.
Об’єктом дослідження є СПЗ ІАС обліку та формування проектів рішень щодо прирощень ресурсів, а також засоби інженерії знань для вибору правил, критеріїв і шаблонів моделей рішень.
Предметом дослідження є ефективна організація дій з побудови та обробки внутрішнього подання моделей та ефективних програмних механізмів побудови еталонів для швидкого аналізу та прогнозу ситуацій, генерації та прийняття проектів ефективних рішень.
Основні задачі дослідження у відповідності з поставленою метою сформульовано наступним чином:
Розв’язання цього комплексу проблем призводить до побудови методичних основ та інструментів створення гнучкого аналітичного СПЗ ІАС для підвищення ефективності діяльності осіб, що приймають рішення.
Методи дослідження спираються на традиції побудови інформаційних систем з використанням реляційних БД і їх застосування для побудови БЗ. Теоретичною основою дослідження є аналіз існуючих систем обробки інформації, що використовують концепцію БД і БЗ.
Наукова новизна одержаних результатів. Для досягнення поставленої мети запропоновано оригінальні підходи до побудови СПЗ ІАС об’єктів обліку і розподілу ресурсів та вбудованої машини логічного доведення, що входить до його складу:
Практичне значення одержаних результатів полягає в тому, що результати досліджень доповнюють традиційні технології побудови СПЗ:
Впровадження результатів. Практичні результати роботи були використані для побудови СПЗ в навчальному процесі на кафедрі обчислювальної техніки НТУУ ”КПІ” в циклах лабораторних робіт за курсами “Проектування інтелектуальних систем” та “Технології системного програмування”.
Особистий внесок здобувача. Усі наукові результати, подані в дисертації, одержані здобувачем особисто. У роботах, опублікованих у співавторстві, здобувачу належить: [2] - методика прогнозування ефективності роботи підприємства за прецедентами та шаблонами при розв’язанні задач розподілу ресурсів, [3] - пропозиції механізмів визначення інформативності властивостей і даних та методику настроювання критеріїв ефективності за шаблонами розв’язання задач, [4] - застосування узагальнених структур аналітичних даних для подання семантичних шаблонів і критеріїв, а також моделей подій і ситуацій для узагальнення семантико-критеріального методу побудови та настроювання програм підтримки прийняття рішень з розподілу ресурсів, [5] - визначення ізоморфності задач розподілу ресурсів та структур даних для шаблонно-ієрархічної організації задач в базі даних, [6] - механізми побудови шаблонів і організації баз знань, [7] - методики включення шаблонів до складу програмних компонентів, [8] - пропозиції реалізації шаблонів аналітичних типів через спрямований ациклічний граф.
Апробація результатів дисертації. Основні положення дослідження обговорено на міжнародній науково-практичній конференції “Сучасні інформаційні та електронні технології” в м. Одеса в 2001 році, на 7-й та 8-й Міжнародних конференціях “Теорія і техніка передачі, приймання та обробки інформації” в м. Туапсе в 2001 році і в м. Харкові в 2002 році та на семінарах кафедри обчислювальної техніки НТУУ КПІ.
Публікації: за матеріалами дослідження опубліковано матеріали доповідей та п’ять статей у фахових виданнях, затверджених ВАК України, чотири з яких відповідають вимогам обліку для захисту дисертацій. Одна робота без співавторів.
Структура та обсяг дисертації. Дисертаційна робота складається з вступу, чотирьох розділів, заключної частини та додатків, що складає 163 сторінок друкованого тексту, включає 17 малюнків, 22 таблиць, список використаної літератури на 189 назв і додатки.
ОСНОВНИЙ ЗМІСТ РОБОТИ
У вступі визначено актуальність теми, спрямованість досліджень та визначено задачі, що розв’язуються в роботі.
В першому розділі розглянуто відомі підходи та методи розв’язання задач аналізу та прогнозування стану та ситуацій на об’єктах систем обліку та розподілу ресурсів і визначені перспективні напрямки розвитку засобів програмування цих задач. На основі аналізу визначено основні задачі розробки методів та методик в дослідженні.
СПЗ сучасних інформаційних систем традиційно будується на засадах узагальнення понять суті або семантики даних, методів їх обробки та структур даних. Найбільш широкою областю застосування ПЗ ІС стали економіка, наука і техніка експериментів та наука про управління.
Ідея побудови потужних інформаційних систем для підтримки прийняття рішень особами, що приймають рішення, пройшла етапи розвитку від АРМ керівника до потужних технологій типу CASE для проектування програм та аналітичних технологій OLAP. Слід відзначити, що різноманіття форм власності та нестабільність економічних законів в регіонах світу, що розвиваються, призводить до постановки специфічних задач при побудові систем оперативного та довгострокового управління фірмами з різними варіантами організації управління. Серед сучасних розробок методів інженерії знань та алгоритмів підготовки та аналізу проектів рішень слід відзначити роботи українських вчених В.І.Скурихіна, В.Г.Тоценка, О.Г.Додонова, В.В.Хаджинова та інших провідних вчених НАН України Інституту кібернетики, Інституту проблем реєстрації інформації, Інституту проблем моделювання в енергетиці, Інституту програмних систем і наукових організацій промисловості України.
Математична сторона питання традиційно спирається на методи оптимізації за критеріями, побудованими на характеристиках об’єктів обліку та розподілу. При побудові СПЗ систем підтримки прийняття рішень (ППР) головною метою є автоматизація найбільш трудомістких і відповідальних аспектів комп’ютеризації об’єктів, тобто автоматизація підготовки або генерації рішень та аналіз можливих наслідків рішень. Однак програмна реалізація сучасних методів ППР сповільнюється відсутністю єдиного комплексу засобів автоматизації програмування промислових БД і віртуальних аналітичних машин для задач ППР.
Весь комплекс задач J = {Jsgh}, що стоять перед службами обліку, аналізу та прогнозування стану динамічних об’єктів, систематизовано за трьома впорядкованими напрямками. До двох традиційних напрямків, які визначаються індексом s для основних груп джерел даних в межах ПГД та індексом g –для цільових змінних та критеріїв розв’язання задач, додано напрямок технології програмування задач зіндексом h.
У відповідності зі структурою моделі ресурсів ІБ DІАС доцільно поділити на зв’язані таблиці задач обліку: D = {Ds}. Тут індекс s, як і для задачJsgh, визначається з множини {a, c, e, r, f, p, d} груп результатів задач оперативної обробки:a –про підсистеми обліку і накопичення інформації про внутрішній стан ресурсів;c –про стан зовнішніх об’єктів джерел і споживачів ресурсів; e –про поточні події і ситуації; r –результати розподілу ресурсів; f –таблиці рішень та правила перспективного планування;p –критерії ранжування варіантів рішень; d –контракти, звіти та інші документи. ІБ зовнішньої Dext=Dc та власної інформації об’єкта розподілу Dreg=Da De Dr Dd традиційно являє собою реляційну БД, структура якої включає зв’язані таблиці з інформацією про фінанси, бухгалтерію, матеріальні цінності, людські ресурси підприємства, тощо, або облікові таблиці технічної системи автоматизації. Дані, які використовуються в правилах Drule = Dp Df традиційно зберігаються в БД, а самі бізнес-правила Prule являють собою процедури, що зберігаються в SQL-сервері. Дані про оточення та взаємодію з ним (в економічних системах –маркетингу) Dmrkt = De Df поєднують зовнішні дані та елементи правил або шаблони і правила Pmrkt, пов’язані з зовнішніми даними.
Щоб полегшити використання елементів правил в бізнес-правилах, згрупуємо ці елементи в множини P = Pn Paшаблонів значень Pnта аналітичних Paшаблонів типового застосування в правилах та критеріях БЗ. Такі дані та шаблони в свою чергу розглядаються як інформаційні та аналітичні або інтелектуальні ресурси для перевірки, побудови, настроювання або навчання елементів СПЗ. Правила та критерії визначають напрямки покращення ефективності, сталості та надійності систем розподілу ресурсів на основі традицій підходу розпізнавання образів.
В другому розділі запропоновано моделі контролю за створенням та споживанням ресурсів, стабільності об’єктів обліку та оцінки стану ресурсних об’єктів на основі систематизації і структуризації підтримання сталості та позитивного розвитку інформаційного об’єкта.
Формальна постановка задачі розробки, настройки та використання СПЗ з підготовки та прийняття комплексу рішень з управління та розподілу ресурсів в межах об’єкту обліку подана наступним чином:
Вхідні дані для розробки такого СПЗ на основі реляційної БД ІАС визначаються табличними відношеннями атрибутів локальних ресурсів об’єкта обліку rl(R), де R = {Rm}, m = 1.. mmax –колекція записів про ресурси, Rm = {xi} {yj}, i = 1.. imax, j = 1.. jmax, а xi та yj –синтаксичні та семантичні атрибути ресурсів; прирощеннями зайнятих Rbта вільних Rf ресурсів, що динамічно перерозподіляються, прирощеннями Rt на момент часу t; відношеннями глобальних ресурсів rg(R); відношеннями rd(G) рішень з розподілу ресурсів та їх проектів G = {Gn}, що заповнюються записами Gn = {ygj, ygj, k} про цільові змінні рішень ygj та критерії k для напрямків зміни або обробки даних за допомогою СПЗ.
Результатом розв’язання поставленої задачі має стати організаційне СПЗ аналізу ситуацій і впливу на ІАС розподілу ресурсів для підтримки послідовності позитивних подій та ситуацій на базі механізмів автоматизованого та автоматичного настроювання програм. Настроювання повинно відбуватися шляхом навчання БЗ ІАС через створення та реконфігурацію шаблонів, правил та критеріїв розпізнавання ситуацій та послідовностей подій при її проектуванні та експлуатації. Таке СПЗ повинно генерувати шаблони послідовностей ефективних рішень і дій, що підтримують роботу системи з прийнятною ефективністю розподілу. Проходження послідовності запланованих подій і ситуацій дозволяє визначити поточні події і ситуації та одержати інформацію для навчання.
Фундаментальний шар БЗ зберігає ресурси зображувальних засобів довільної мови Ll = {Dsl, Dcl}, яка визначаються довідниками синтаксичного контролю (ДСК) Dl = {Xl, l} та довідниками семантичної відповідності (ДСВ) Dl= {Yl, } елементів мови. Дані довідників Dsl і Dcl про синтаксичні Xl та семантичні Yl ознаки складають БД мови, а синтаксичні l та семантичні l множини правил розширюють БД до БЗ.
Ефективна реалізація семантичних частин СПЗ ІАС (див. рис.1) використовує мовно-незалежне подання бібліотек шаблонів ПГД у ДСК або ДСВ з довільним впорядкованим алфавітом внутрішнього кодування, а також використання ДСК або ДСВ для трансляції у внутрішню форму та реконструкції шаблонів на конкретній зовнішній мові Ll. Механізм логічного доведення коректності, ефективності та сталості рішення на основі шаблонів ДСВ для моделей об’єктів, подій та ситуацій являє собою набір функцій або методів, що обробляють уніфіковані внутрішні подання шаблонів, правил, формул та критеріїв.
Семантична обробка, аналогічно синтаксичній обробці, регламентується аналізом позитивних шаблонів або шаблонів включення за k-м правилом або критерієм +k = +k({yj}), та додаткових шаблонів виключення за правилом або критерієм –k = –k(+k{yi}), {yi}). Задачі семантичної обробки виконують крім цього й вибірку та реконфігурацію інформації за правилами скорочень та перетворень. Корегуючі ДСВ зберігають множину відповідностей *lk = {lk({xlj}, {ycj, yqj})} впорядкованих семантичних шаблонів k наборам синтаксичних ознак xli задачі і мовно-незалежних семантичних ознак {ycj, yqj} та множині правил семантичних обмежень та відповідностей = {k} і правил ранжування поточних, очікуваних та можливих ситуацій, подій та керуючих впливів. Використання впорядкованих кодів для квантифікаторів yqj спрощує побудову методів діяльності, взаємодій і кооперації в рамках класів мов моделювання і програмування [3], а класифікаторів ycj –полегшує впорядкування типів об’єктів.
СПЗ ІАС будується на засадах узагальнення понять, методів і структур даних, пов’язаних з узагальненою структурою ІАС розподілу ресурсів з застосуванням засобів штучного інтелекту, і подана на рис. 1.
Рівень
Рівень загальності ПЗ |
|
подання |
1 |
2 |
3 |
4 |
Суб’єкти системи
|
Оператори збору зовнішньої інформації |
Оператори збору внутрішньої інформації |
Інженер знань (системний аналітик) |
Особа, що приймає рішення |
|
Поточна інформація |
Настройка |
Проекти |
|||||||||
|
Зовнішня (потоки) |
Внутрішня (таблиці) |
шаблонів і критеріїв |
контрактів і реквізити |
||||||||
|
Архіви |
Архіви |
Архіви |
Архіви |
||||||||
|
СПЗ ІС та СУБД |
Засоби роботи з довідниками (ДСК і ДСВ) |
Засоби ведення облікової БД |
Засоби роботи з шаблонами і критеріями |
Засоби генерації нових рішень |
|||||||
|
СПЗ системи |
Засоби ведення архівів |
Засоби розпізнавання ситуацій |
Засоби запуску реакцій |
Засоби вибору рішень |
|||||||
|
Елементи СПЗ |
Порогові детектори подій |
Логічні детектори подій |
Детектори подій запуску реакцій |
Детектори подій зміни рішень |
|||||||
|
Елементи динаміки |
Елементи змін характеристик джерел |
Елементи динамічних змін |
Елементи поточних реакцій |
Зміни поточних рішень |
|||||||
|
БД і БЗ |
Довідники зовнішніх джерел |
БД обліку та прогнозування |
БЗ цілей і нормативів |
БЗ прогнозів та прецедентів |
Рис. 1
При побудові аналітичного СПЗ програмні компоненти розробляються для кожного блоку рисунку за всіма рівнями подання даних та всіма рівнями узагальнення. Сфера застосування, в свою чергу, визначає набір цільових змінних, шаблонів і критеріїв результатів та проміжних даних програм та їх використання для одержання результатів програм.
Кожна істотна зміна характеристик визначає істотну подію E(St-, St), що змінює ситуацію в аналітичній моделі з St-на St. При розв’язанні задач підтримки прийняття рішень, як і при розпізнаванні образів [3], для побудови шаблонів подій простір станів розбивається на класифікуючі області або кластери. Фактична інформація про послідовності ситуацій і подій разом з їх характеристиками накопичуються в таблицях БД і сховищах БЗ для наступного аналізу за допомогою уніфікованих шаблонів.
Для управління обчисленнями в ІАС необхідно визначити ситуацію Snt на об’єкті розподілу ресурсів, як об’єднання всіх критичних ситуацій s+ntта s–nt, що ініціюють розв’язання n-ї задачі аналізу та прогнозування Jnрозвитку поточного стану об’єкта обліку та розподілу в момент t:
kmaxkmax
Sn={s+n=+nk({yj}, {yj}), s–n=–nk({yj}, {yj})}, j=1.. jmax, n=1.. nmax. (1)
k=1 k=1
Вона визначається вірністю шаблонів для всіх позитивних подій +nk, та невірністю –для всіх негативних подій –nk, де k –номери елементарних шаблонів. Результатами задач визначення ситуацій є двійкові ознаки запуску задач, що перевіряються спеціальними тригерними процедурами сучасних СУБД. В більш загальному випадку булеві критерії замінюються обмежувальними зведеними числовими шаблонами wnk, що формують позитивні значення для позитивних шаблонів та від’ємні –для негативних. При розв’язанні задач розпізнавання подій конкретні вирази +nk, –nk і wnkвідрізняються між собою і включають обмежувальні відношення типу, через що важливо зберігати адитивність складових шаблонів. Найчастіше рішення про розподіл ресурсів приймаються у формі:
Моделі ПГД ефективного розподілу та використання різних типів ресурсів подаються комплексами численних рівнянь та нерівностей для ресурсів, які не можна зіставити або звести до єдиної системи:
i+yij = i–yij, i = 1.. imax, j = 1.. jmax; (2)
v(iwiyij) y'j, v(iwiyij) y'j, i = 1.. imax, j = 1.. jmax. (3)
Ефективним розподілом ресурсів вважається такий, що максимізує з заданою точністю позитивні підсумкові характеристики аналізу стану об’єкта обліку у відповідності з шаблонами ситуації. Балансні рівняння (2) та нерівності (3) разом з теоретико-множинними відношеннями та реляційними зв’язками БД утворюють поточні критерії (1) і шаблони подій та ситуацій для визначення зміни поточної ситуації на об’єкті обліку. На множинах ресурсів постачальників і споживачів rg та наявних власних ресурсів rl об’єкта обліку регулярно генерується та обирається варіант розподілу або для наявних запитів з попиту та пропозиції ресурсів, або для послідовностей запитів до технічної системи.
Модель аналітичної частини системи обліку реалізується реляційними таблицями БД для обліку ra(R), подій, прогнозів та планів ситуацій, проектів рішень, простих і групових впливів rd(R, P, A't, E't) та прецедентів rr(R*, P*, A*t, E*t). Ці таблиці разом з шаблонами, правилами і критеріями подій та ситуацій об’єктів розподілу та системи управління ресурсами складають шаблонно-ієрархічну модель ПГД розподілу ресурсів та її задач. Ці таблиці складають виміри зірки кубу OLAP, що використовується для зберігання характеристик ефективності, надійності, сталості наслідків та складності виконання розподілу ресурсів.
В третьому розділі подано розроблені методи та методики заповнення інтелектуальних компонент СПЗ на основі узагальненої віртуальної машини (ВМ) та комплексу шаблонів для розпізнавання подій і ситуацій та перевірки критеріїв. СПЗ включає узагальнені числові і логічні методи розпізнавання образів за шаблонами. Ієрархія задач виконується в регулярному режимі з гори до низу і перезапускається за шаблонами подій та ситуацій від нижчих рівнів до вищих (див. рис.2).
|
Рівні задач та шаблонів: |
|||||||||
|
Комплексів об’єктів |
Задачі Ji Шаблони ik |
|
… |
|
Базових об’єктів |
Задачі Ji Шаблони ik |
Задачі Ji' Шаблони i'k |
… |
Задачі Ji'' Шаблони i''k |
|
… |
… |
|
Підрозділів об’єктів |
Задачі Jli Шаблони lik |
Задачі Jli' Шаблони li'k |
Задачі Jli'' Шаблони li''k |
… |
Задачі Jli''' Шаблони li'''k |
|
… |
Рис. 2 |
Конкретні шаблони та цілі і критерії задач визначаються та настроюються відповідно призначенню системи на етапах підготовки та перестроювання. Методи та механізми, запропоновані для реалізації компонентами різних типів, в тому числі типу клієнт-сервер, повинні використовувати узагальнене внутрішнє подання аналітичних шаблонів та узагальнену схему обробки всіх задач. При проектуванні підбирається достатня кількість інформативних даних для формування внутрішнього подання аналітичних шаблонів. Інформативність характеристик визначається за напрямками видобування інформації функціоналами обмежень множин значень fc = {inf, '<', '', lim, '', '>', sup} та цільовими функціоналами критеріїв інформативності та ефективності fc = {extr, min, max}, що використовують характеристики об’єкта yci, yqi і ys, оцінки y = {yh, yp, y} характеристик інформативності yh, достовірності yp, сталості даних y, а також шаблони подій та ситуацій:
fc(ra({xli}, {yci}, {yqi}), ra({xli}, {yci}, {yqi}), , , p, p), (4)
де p та p –вектори шаблонів параметрів для характеристик об’єктів та ситуацій yci, yqi і ys, які змінюються залежно від ситуації в системі.
На етапах проектування та настроювання в процесі циклічного аналізу шаблонів інформативності (4) будуються структурно ідентичні шаблони і критерії розпізнавання подій та ситуацій, а також шаблони для оцінок цільових та вторинних показників системи: складності, ефективності, коефіцієнтами сталості, мірами відповідності послідовностей подій і ситуацій та своєчасності рішень зі зміни правил. На етапі експлуатації ці шаблони використовуються для перетворень, підготовки та прийняття рішень. Наслідком схожості формалізмів всього комплексу розв’язуваних задач, стало визначення семантико-критеріального метода, реалізованого уніфікованими процедурами співставлення, модифікації та виконання послідовності правил, шаблонів і критеріїв. В його основу покладено уніфіковане внутрішнє подання семантичних характеристик, їх аналітичних зв’язків і базових механізмів реалізації у вигляді спрямованих ациклічних графів (САГ) з можливостями параметризації та реконфігурації і наведено відповідні приклади.
Шаблони рішень, попередньо підготовлені за таблицями рішень або прецедентами, формують таблиці прогнозів для оперативного аналізу подій та ситуацій. Прогнози та їх фактичні реалізації інтерпретуються за шаблонами або машинними кодами, згенерованими за їх внутрішнім поданням за допомогою ВМ логічного доведення, яка показана на рис. 3, і працює в інкрементних режимах на етапах виконання, перебудови, навчання та самонавчання за єдиною схемою обробки.
Для таких співставлень визначено набір операцій, шаблонів та правил корекції в форматі рядків таблиць рішень rd(r, P, At), де At визначає корекції для підвищення адекватності, відміни використання, заміни та зміни спрямованості шаблонів. Шаблони подаються в форматі САГ для правил та критеріїв будь-якої складності. Варіанти розвитку СПЗ визначають необхідні компоненти і включають шаблони вільного розвитку стану e(E(St-, St)), шаблони дій a(At), а також керованого розвитку об’єкта за шаблонами сценаріїв типа “еталон-дія” e(E(St-, St), a(At)), і правилами корекції елементів сценаріїв r(a(E(St-, St), a(At)), a(A't)).
|
Типи елементів |
ВМ |
Об’єкти ВМ |
Зовнішні |
||
|
Пам’ять ВМ |
Стеки |
Запам’ятовуючий компонент |
БД |
об’єкти |
|
Управляюча пам’ять |
Пам’ять даних |
Куби, СУБД |
Канали |
Internet |
Діалоги |
Повернення
|
Команди |
Сервер |
Інтерфейси |
Програмно-структурні зв’язки
|
Дані |
Комунікаційний компонент (машина доступу) |
|
Управляючий компонент |
Ініціюючі сигнали Дані |
Процесор ВМ
|
Вказівники стеків і потоків даних, подій, команд та сценаріїв |
Операційний компонент і Спрямованість операцій |
|
Проектування; настройка; експлуатація |
Елементарні; групові; комплексні |
Обчислення; співставлення; реконфігурації |
Рис. 3
Ефективне СПЗ, основане на використанні правил, реалізовано через вбудований механізм оперативного збереження правил, їх компіляції і інтерпретації. Для цих цілей використовується будь-яка компілююча система, що випускається промислово разом з діалоговою оболонкою для накопичення та корекції інформації. Ефективними методами розподілу ресурсів вважаються такі методи, які дозволяють в обмежений час одержати результати, що дозволяють підтримувати позитивний баланс в системі ресурсів, обліку. Розрахунки ефективності СПЗ виконує в режимі уточнення результатів для одержання потрібної ефективності та точності рішень.
Визначено набори типових елементарних та композиційних формалізмів для подання шаблонів подій, ситуацій, правил та критеріїв і наборів типових функцій, функціоналів та операцій, що реалізують обробку правил та критеріїв за базовими алгоритмами основних режимів. Частина найбільш характерних з них подана на рис. 4.
Рішення про навчання та зміни в БЗ приймається за результатами співставлень послідовних ситуацій, прецедентів, прогнозів і фактів, та їх варіантів за схемою етапів проектування, настроювання та обробки, наведеною на рис. 5. Спрямованість функцій та функціоналів шаблонів, занесених до БЗ, визначається відносно окремих груп аргументів та вхідних даних.
Шаблони правил та критеріїв і ситуацій в ІАС
|
Шаблони ситуацій |
Для аналізу груп подій: is|yi; is|y; s i+1 s|y i |
|
Для аналізу послідовностей подій:(s|y t,…, s|y t+t’) |
||||
|
Для аналізу ієрархії подій і ситуацій: (iy li) … |
||||
|
Шаблони аналізу прогнозів |
Прогнозів критичних подій: yii, - операція оцінки |
|||
|
Прогнозів послідовностей ситуацій:s'|y t,…, s'|y t+t' |
||||
|
Співставлення прогнозів і фактів: y't yt |
||||
|
Критерії реалізації |
Критерії інформативності: +h (R) +i, –h(R) +i |
|||
|
Критерії схожості: minj(d(yi, ij)), d –міра відстані |
||||
|
Критерії ефективності: V(f(n), Am) P+v; O(f(n)) P+o |
||||
|
Виконавчі шаблони (вибору рішень) |
За ситуацією: rp(R, yp,(y'i)) minj(d(yi, y ij)) |
|||
|
За таблицями і функціями рішень: rd(y, y, At). |
||||
|
За сценаріями і скриптами: +ak = Apk,…, Ap,k+k', |
||||
|
Рис. 4 |
|
Початок |
Корекція моделей рішень для впливу на ситуацію або |
|
Підготовка або корекція моделей ПГД та задач системи розподілу |
|
Моделювання контрольних прикладів на моделях ресурсів |
|
Настроювання БД та БЗ для збору даних та ППР |
|
Чи адекватні цілі та критерії моделей? |
Ні |
|
Чи достатня інформативність даних? |
Ні |
Так |
|
Експлуатація СПЗ з адаптацією шаблонів та критеріїв |
|
Так |
|
Формування правил і критеріїв ситуацій та підсистем ППР |
|
Чи задовільні результати експлуатації? |
Так |
Ні
|
Чи інформативні критерії ситуацій? |
Так |
Ні |
|
Ні |
Чи вичерпані можливості версії СПЗ? |
|
Так |
|
Рис. 5 |
Кінець |
Необхідні обсяги пам’яті V для збереження критеріїв і шаблонів та витрати часу T обраного метода перевірки шаблонів в формі критеріїв визначаються за формулами V = iV(i, yi), T = kT(jk), де –оцінка витрат на одноразовий розрахунок критерію, а T(jk) –витрати часу на проходження jk-го маршруту доведення k-го критерію або відповідності шаблону; –оцінка витрат пам’яті на зберігання кодів програми розрахунку критерію, а V(i, yi) –витрати пам’яті для керуючих та інформаційних даних розрахунку i-го компонента критерію або шаблону.
Для реалізації алгоритмів СПЗ визначені п’ять рівнів компонентів СПЗ, що включають виконавчі примітиви, виконавчі модулі, пояснювальні, генеруючі та організаційні компоненти. На базі оцінок компонентів СПЗ запропонований узагальнений сценарій настроювання поведінки підсистеми розподілу ресурсів з семи етапів та сценарій виконання з трьох етапів. Запропонована методика вибору та настроювання шаблонів, критеріїв та правил включає пункти, що передбачають побудову загального механізму у вигляді реалізації ВМ з наступним аналізом вторинних характеристик для математичного або експериментального обґрунтування коректності та ефективності правил та шаблонів.
В четвертому розділі розглянуто питання практичної реалізації ВМ для управління сценаріями та алгоритмами і визначення області її ефективного застосування та результати експериментів, що довели достовірність розроблених методик та оцінок.
При реалізації проблемних функцій для кожної з задач використано спеціальні механізми подання стану та ситуацій, на базі єдиної внутрішньої форми подання та множин форм відтворення, орієнтованих на різні варіанти семантичної інтерпретації. Окрім базових цільових підсистем підтримки прийняття рішення для полегшення сприйняття процесу автоматизованої підготовки прийняття рішень створюються підсистеми пояснень, імітаційного та аналітичного моделювання, а також для других видів семантичної інтерпретації моделей. Аналітичне дослідження дозволило на базі питомої ваги окремих операцій в системах обліку і розподілу, оцінити їх ефективність, а також області ефективного застосування аналітичних компонентів СПЗ.
Експериментальна реалізація компонентів підтвердила ефективність методів та методик побудови програмних засобів та ефективність запропонованих процесів проектування аналітичних компонентів. Показано, що обсяги часової складності включають пропорційні та логарифмічні складові оцінок O(k(wNk + wslog Nk)). Аналітичні дослідження та моделювання визначили область ефективного використання при кількості елементарних операційних компонентів та шаблонів, що перевищує тисячі одиниць. Оцінки витрат на розробку та перенастроювання шаблонів СПЗ порівняно з варіантами використання різних технологій.
Автором проведено експерименти з розробленим СПЗ з корекцією шаблонів та використанням традиційних засобів автоматизації і виконано планування та оцінки витрат різноманітних ресурсів на розробку та настроювання програмного забезпечення з аналітичними компонентами, які показали достатньо високу ефективність розроблених методик.
В заключній частині роботи сформульовано висновки та результати дослідження.
ОСНОВНІ ВИСНОВКИ І РЕЗУЛЬТАТИ
В результаті теоретичних і експериментальних досліджень і розробки компонентів ефективного СПЗ одержані наступні результати:
Список опублікованих праць за темою дисертації
АНОТАЦІЇ
Ісса Айман Сарем. Методи та засоби розробки спеціального програмного забезпечення для систем розподілу ресурсів –рукопис.
Дисертація присвячена розробці ефективного спеціального програмного забезпечення (СПЗ) для задач обліку, планування, прогнозування стану та підтримки прийняття оперативних рішень з розподілу ресурсів на об’єктах обліку. На базі комплексної класифікації структур даних, елементів задач і методів розподілу ресурсів узагальнено інформаційно-аналітичну модель ресурсів об’єктів обліку. Удосконалено спосіб шаблонно-ієрархічного управління задачами аналізу стану і вибору оперативних рішень з розподілу і планування ресурсів. Узагальнено семантико-критеріальний метод підготовки ефективного СПЗ для зіставлення поточних моделей за статичними та динамічними шаблонами критеріїв, подій та ситуацій для визначення стану споживачів і постачальників ресурсів засобами логічного доведення. Удосконалено методики автоматизованого оперативного настроювання задач підтримки прийняття рішень на базі традиційних технологій побудови компонентів СПЗ.
Ключові слова: спеціальне програмне забезпечення, системи прогнозування та прийняття рішень, планування ресурсів, шаблони подій, ситуацій, правил та критеріїв.
Диссертация на соискание ученой степени кандидата технических наук по специальности 01.05.03. –Математическое и программное обеспечение вычислительных машин и систем. Национальный технический университет Украины “Киевский политехнический институт”, Киев, 2003.
Диссертация посвящена разработке эффективного специализированного программного обеспечения (СПО) для задач учета, планирования и прогнозирования состояния процессов распределения ресурсов при принятии оперативных решений на базе методов построения и настройки компонентов ядра СПО с использованием шаблонов событий, ситуаций, правил и критериев в форме объектов системы программирования.
В первой главе предложена новая комплексная классификация структур данных, элементов задач и методов для распределения ресурсов. Эта классификация позволила определить актуальные задачи и направление исследования.
Во второй главе обобщена информационно-аналитическая модель ресурсов объектов учета для задач их распределения. На основе представления таблиц модели формализована постановка задачи исследования и определена структура информационно-аналитической системы. База знаний системы организована как объединение фактической информации и шаблонов, определяющих правила и критерии семантической обработки и распознавания позитивных, негативных и комплексных событий и ситуаций. С учетом использования специальных структур шаблонов для данных и аналитических формализмов определены модели и механизмы эффективного семантического анализа событий и ситуаций. Определены пути реализации модели проблемной области исследования в рамках систем учета на основе традиционных СУБД и систем аналитической обработки, использующих многомерные хранилища данных.
В третей главе представлен усовершенствованный способ шаблонно-иерархического управления задачами анализа состояния и выбора оперативных решений по распределению и планированию ресурсов объекта учета процедурами, упорядоченными по позитивным и негативным показателям относительно оперативных и стратегических целей, прогнозов и прецедентов ситуаций в системах, использующих данные и знания, сохраненные в реляционных СУБД. Обобщен семантико-критериальный метод настройки и генерации эффективного СПО для сравнения текущих моделей со статическими и динамическими шаблонами критериев, событий и ситуаций для определения состояния потребителей и поставщиков ресурсов виртуальной машиной логического вывода со встроенными возможностями реконфигурации и упорядочения элементов ресурсных моделей объектов учета.
В четвертой главе представлена реализация обобщенной методики настройки и генерации СПО и результаты экспериментальных исследований предложенных методов поддержки принятия решений по распределению ресурсов, показавшие рост эффективности функционирования и настройки СПО и определившие области эффективного использования предложенного СПО. Практическая ценность работы состоит в дополнении традиционных технологий построения СПО обобщенными методиками автоматизированной оперативной настройки задач анализа ситуаций по шаблонам и усовершенствованными формализованными методиками обучения БЗ машины логического вывода на основе поиска и предварительной оценки перспективных решений программами СПО.
Ключевые слова: специальное программное обеспечение, системы прогнозирования и принятия решений, планирование ресурсов, шаблоны событий, ситуаций, правил и критериев.
Issa Aiman Sarem. The methods and technique for special software design for resource managing. –Manuscript.
Thesis for a Ph.D. degree by the specialty 01.05.03. - Mathematical both software of computers and systems. National Technical University of Ukraine "Kiev Polytechnic Institute ", Kiev, 2003.
The thesis is devoted to development of effective software for tasks of resource accounting, planning, managing, and forecasting in decision support systems for account objects. Informational analytic model of account object recourse is generalized on base of complex classification for data structures, task elements, and resource distribution methods. Template hierarchical task control for situation analysis and decision support systems is advanced for resource distribution and planning. The method of semantic criterion for software component development based on logical deduction is generalized for provider, vendor, or consumer state recognition with object templates for events, situations, rules, and criterions. Advanced automated techniques for special software component adjustment are proposed for analytical decision support systems.
Key words: special software, forecasting and decision support systems, resource planning, templates of events, situations, rules and criterions.