автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.09, диссертация на тему:Аналитические методы и способы повышения эффективности разработки и функционирования специального программного обеспечения систем контроля

НАЦЮНАЛЬНИЙ ТЕХН1ЧНИЙ УШБЕРОИТЕТ УКРА1НИ "КИ1ВСЬКЙЙ П0Л1ТЕХШЧНИЙ 1ВСТИТУТ"

м

' " В ОА 1 1 СЕН 1395

На правах рукопису УДК 681.3.06

КРИЛОВ еВГЕН ВОЖДОМИРОВИЧ

АНАЛ1ТИЧН1 НЕТОДИ ТА ЗАСОПИ ШДВИДЕНКЯ ШЖТИШЮСТ1 РОЗРШШ ТА ФУНКЦ10НУВАШШ (ЖЦ1АЛЫЮГ0 ПРОГРАМНОГО ЗАБЕЗЛЕЧЕННЯ СИСТЕМ КОНТРОЛЮ

Спец1альн1сть: 05.13.09. - Математичне та програмне забвзпе-чення обчислювальних машин, комплекс!в та мереж.

АВТОРЕФЕРАТ дисертацН на здобуття наукового ступеню кандидата техн!чних наук

Кшв - 1995 р.

Дисертащя е рукописом.

Работа виконана на кафедр! техШчнсп юбернетики Национального техничного ун1верситету У крайни

Науковий керхвник - кандидат техшчних наук, доцент С'авицький Артем Йосипович •

0ф1щйн1 опоненти :

доктор техшчних наук, професор Зайченко Юр1й Петрович,, кандидат ф i з ико-мат е мат ичних наук, Кривой Сергей Лук'янович

Пров1дна установа - ¡нститут проблем математичних машин i систем HAH Укра! ни.

Захист дисертаци в1дбудеться " /_ 1995р.

/<fi0 годин на эас1данн1 спеШал13овано1 Ради Д 01.02. 06 у НаЩональному техничному университет! Украпш.

Biдгуки на автореферат в двох прюлрниках, як1 з'ав1рен1 печаткою установи, просимо подавати за адресов: 252056 knib-056, проспект Перемоги, 37, НТУУ КП1. Вченому секретарю.

3 дисертащею можна ознайомитись у 61бл10теЩ Нащонального техничного университету Укради.

Автореферат роз!слано " 1995р.

АН0ТАЦ1Я

Мета дисертащйно! роботи - розробка анал1тичних метод!в та aacodlB Шдвищвння ефективносИ розробки та функц!онування спец!ально-го програмного забезпечёння (СПЗ) систем контролю (CK).

Практична мета роботи полягае у реал1зац11 та експериыанталь-ному досд!дженн1 засоб1в Шдвищення ефеетивност1 розробки та функц1онування СПЗ.

Науков! положения, що захищаються:

1. СП0С1Б розробки програм контролю з використанням типових структур.

2. МЕТОДИКА п!двишэння ефективност1 функц1онування програм контролю.

3. МАТКМАТИЧШШ ЗАПИС ЗАДАЧ1 оптимального добору бажаних показ-ник1в ефективност1 функцЮнування СПЗ.

4. МЕТОД розрахунку локазншив ефективност1 функц1онування фрагмент^ програм контролю (ФПК).

5. ЗАДАЧА багатокритер1ааьнс1 оптимгзацП програм контролю.

6. МОВА запису алгоритм 1 в контролю.

ЭАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ

Актуальн1сть теми. Впровадження систем автоматизованого контролю функционального обладнання, а також значне Шдвищення 1нтересу до Кх як1сних характеристик обумовлюе необх1дн1сть створення засобхв, мо-дел1 та програмно! системи, як1 забезпечують молишв1сть проектування ефективних програм контролю.

По оцшкам фах!вд1в життевий цикл СПЗ складам десь 10-12 poKiB, з якого 70-90 в!дсотк1в припадае на етап експлуатацМ та супроводжен-ня. Ношти, яю в1дводяться на п1дтримку СПЗ у працездатному стан1 значно перевищують витрати на його анализ та розробку. Таким чином, мае м1сце тенденц1я пост1йного зросту витрат на етапi екепдуатац!1 та супроводження СПЗ. Тому перенесейня на промислову основу процессе створення СПЗ потребуе вир1шення комплексно! проблема ш двщення ефек-тивност! розробки та фунюЦонування СЦЗ Щ всього жщгевего

циклу.

Метода доел1джень. При вдоиаенш поставлених задач були вико-ристан! методи теорП мате матичного програмувавня, теорП неч1тких множин та теория структур алгоритм!в.

Наукова тавизна вебети полягае у тому, щр вперще:

■ V .

1. Роэроблено СП0С1Б проектування прОграм контролю а вико-ристанням типових структур.

2. Розройлено МЕТОДИКУ Шдвишэння ефективност! функц1онування програм контролю.

а Поданий МАТЕМАТИЧНИЯ 3АПИС ЗАДАЧI оптимального добору бажа-них показкик! в ефективност 1 функцюнування СШ.

4. Роэроблено МЕТОД розрахунку показник1в ефективност1 функШонування фрагмент!в програм контролю.

5. Виршено ЗАДАЧУ багатокритер!ально1 оптим1зац11 програм контролю. ■ ' ' .......

6. Роэроблено МОВУ запису алгоритм] в контролю.

Ирастнчка ц1нк1сть.

1. Створено систему складання ефективних програм контролю (ССЕПК), яка реал1зуе запрспоноваШ засоби.

2. Роэроблено мову запису алгоритмов контролю, яка дозволяв швидко 1 без значних зусиль спец1алисту, який не мае навкчок програму- " вання, створювати складн1 программ контролю. Це значно розширюе коло фах1вц1в, як1 можуть складати программ контролю функцЮнапьного облад-нання (¡50).

3. Проведено експериментаяьне досл1,джвняя використання запропо-нованих засобхв для р1зномаштних категор!й користуваШв. -

Вправадаення результата Результата до6д1джень знайшли впро-вадмэння у роэробках, як! були виконаш при безпосередн1й участ! автора: п1демстема автоматизованого формування -амовленъ у виробництв1 та обл!к Кх виконання (головне Шдприемство ВО "Зоря")"; програмне забез-печення автоматизовано5 контрольно-вим1рювальноГаларатури виробу А580 (Ки5вський завод виьирювадьнсп автоматики 1м. Г. I. Петровського); ав-тсматязована система, програмуванкя та керуваккя д1лякков складаль-но-монталиого виробницгва (ПНВО "Лен1нець" (доеданий завод)); автома-тизована система керування техн1чним л!цеем (Техн1чний л1цеЯ Ки!всько-го пол1техн1чного 1нет¡туту).

Апробтц1я роботк Науков1 результати та основн1 положения робо-ти допов 1'дались на конференцП "Актуальна проблема- в галузх радюе-лектрон1ки, автоматики, обчислювально! техники, енергетики, машинобу-дування.та промислових технолог!й" (м. Ки1в,, 1988р.); мгжнародно5 кон-ференцИ "}Азлод1 вчен! у вир1шенн! комплексно! программ НТБ краЗн НЕВ" (м. Ки1в, 1989р.) ; конференцп "Використання засоб^в ОТ.як! виробля-ються КВО "Електронмаш" в р 1 зних галузях НТ" (м.Ки1в) 1991р.); науко-вих семинарах кафедр КП1 ТК, АС01, ОТ; а також ЦЦ1 "Спектр".

Дубли кацП. Матер1али дисергацп буш викмадеи! у 8 роботах, аокрема опубл 1 ковано 3 наукових статт1, 3 тёзиси допов!дей. Кр1м того де-як1 результати роботи викладен! у эв1тах ВДР (автор е сп!ввиконав-цем).

Об'ем та структура роботи. Дисертац1йна робота мае ветуп, 4 глави, загальн! висновки, додатки. Повний об'ем роботи 162 стор1нок, ¡21 малюнк1в, 16 таблиць, список використано! л!тератури, в якому приведен! 49 джерел, додатки 30 с.

Вступ мае сформульовану наукову проблему, яка вир1шуеться у дисертац!йн!й робот 1.

У перш!й глав1 подано огляд опубл1кованих праць в област1 ство-рення програмного забезпечення. Сформульована в загальному вигляд1 голодна мета та задача досл1дшння.

У другiй глав! виконаний анал1з СЩ. Створено модель ор-гаШзац!!" процесу розробки СПЗ. Наведено опис динам!ки роботи модел1. Визначен! оптим1зац1йн1 та розрахунков1 задачу як1 необх1дно вир!шу-вати на р!эних стадиях рог робки СПЗ.

У трет!й глав! наведен1 формал1зован1 постановки оптим!зац1йних та розрахункових задач. Вибран! методи, розроблен1 алгоритми та визна-чен1 к1ндев1 формули вир1шэкня задач. ~

У четвертой глав1 роэроСлено структуру та алгоритми функцшну-вання головних Ш ССЕПК. Наведен! результат» . експериментального досл1д)кення ефективност1 використання розроблених засоб!в для р!зних категорий; користувач!в.

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

3MICT POBOTJL

Система контролю складними об'ектами являе собою програмно-апа-ратний комплекс, функцП контролю яного реалазутоться в!диов1дно прог-рамною та апаратною складовими (див. рис. 1).

Рис. 1. Структура техн1чних эасоб!в контролю ОК.

S

де, С - стимули (в закодовному виглядО;

¥ - параметр», що контралюються (в закодовакому вигляд1);

5с- сигнали на ОК;

Бк- сигнали реакцП з ОК;

| 113 СК |

~г г

Виконавче

середовшце -)

Г_1-

его

г

-1

I I

0перац1йна| система ! ' I

| Система |контролю |ЕОМ та |зовн1шних |абонент!в

1 г

|1нструментальне| | середовище | 1-- I-'

г

I Зас.о8и ав-1 |томатизова| |кого лроек| |тування. | ! систем |

|Шдвищення |ефективно-|ст1 розроб-|ки та функ-|ц1он. СПЗ

Рис. 2. Фукцюнальна схема ГО систем контролю.

Модель ОХ надана у вигляд1 таблиць характеристик стимул!в та параметр!в, щр контролюються.

Для п1двищэння ефективност! розробки та функцЮнування СПЗ до складу ¡нструментальнаго середовиша ПЗ систем контролю були додатково включена засоби тдвгацення ефективност! розробки та функц1онування СГО (див. рис.2).

Дня п1двищення ефективност1 розробки СПЗ був розроблений спос1б проектування програм контролю з використанням тишвих структур.

Проведений анал!э алгоритм!в контролю та обгрунтований виб1р перел1ка типових структур. В цьому випадку процес проектування ФПК ви-конуеться в три етапи:

1. Виб!р типово 1 структура

2. Заповнення блок1в, як1 входять до' складу типово! структури.

; - 3. Автоматичне перетворення заповненоГ типово! структури в ФПК.

На рисунках 3-6 прийнят! наступи1 позначення: 6 ■

А- блок видач1 стимул!в; Б- блок контролю параметр!в ОК. С- блок анал1зу прич!н несправност!; Д- блок встановлекня початкового стану;

И- коефщ;ент цикл!чност1-Т- час затримки; РБ-оэнака в1дпов1дност1.

ТС1 (N,1) ТС2 (N,1)

рис. 3 рис.4

ТСЗ (N,1) ' . . ТС4 (Т)

Введена та обгрунтована система показник1в ефективносИ ; функц1онування СПЗ. . >

Часава ефективн1сть (ЧЕ) - це зд!бн1сть программ виконувати. функцП контролю без додаткових витрат «асу.

Ст1(Шсть (СТ) - це зд1бн1сть программ виконувати функцП

контролю в умовах 1нформац1йних та ергатичних в!дмов.

Достов1рн1сть (ДС) - це зд1бн!сть программ викоиувати функцП контролю в умовах появи недостов!рних результат1з пор!вняння параметр^, щр контролюються, з етаяонними значениями.

Демостративч1сть (ДП - це пристосован!сть программ до визуального в!добракення результат!в контролю.

Для кожного з показник!в наведен! формули розрахунку фактичних значень (вим1рюються в процес! тестування), та побудоваш модел1 л!нгв1отичних оц!нок ( для використання к1 льк1сних оц1нок показник! в на стаД1ях анал1зу та проектування),

Наприклад, ПОКАЗНИК: ЧАСОВА ЕФЕКТИБШСТЬ. Иазва л!нгв!стично! змгнноК (ЛЗ): швидк1сть виконаяня. Терм - множина ЛЗ : <швидк1сть виконання>:- сдуже висока> +< достатньо висока> +<середня> +<низька> +<дуже низька>.

Семантика ЛЗ Значения показника (Р)

<дуже висока> 0.8-1.0

«достатньо висока> 0.6-0.8

<середня> 0.4-0.6

<низька> ' ; - . 0.2-0.4

; <ду«е низька> 0.0-0.2 . •

Наведений формализований опис процес1в проектування ефективного СПЗ та обгрунтований перел^к задач, як1 необх!дно вир!шувати на р1зних стад!ях його'розробки.(див. табл.1).

Таблиод 1

.......................-......— г СТАД1Я | ФОРМАН130ВАНИЙ ОПИС I

/. 1АЛ13 | ОаСг^Ра (РЖ) - Ра (Рэ) (1) 1

ПРОЕКТУВАННЯ | БП(2П)5 РП (Рз) " РП (Р*) (2) 1

ПРОГРАЫУВАННЯ | Опр(гк):Рк (Р£) - Рк (Рп) (3) 1

Д0СЛ1ДНА | Оде: Рде (Рп) - Рде (Рф) (4) |

ШШЛУАТАЦ1Я |

На стад!! анал!зу необх!дно виконувати перетворення (1). Ф5зич-не розум!ння перетворення: виконати погодмування бажаних показниюв. Для цього на стадП анал!зу необХ1дно вир1шувати задачу га: ОПТШАЛЬ-

НОГО ДОБОРУ БАЖАШХ ЗНАЧБНЬ ЛОКАЗГОШВ СГО.

На стад!i проектування необх!дно виконувати перетворення (2). (Маичне роэум!ння: визначити задан1 значения покаэник!в СЮ для кожного фрагменту программ контролю (ФПК). Для цього на стадП проектування необх1дно вир1шувати задачу zn: РОЗГАХУНКУ ЗНАЧЕНЬ БАЖАНИХ П0КАЗНИК1В ПРОГРАШИХ КОШЮННШТ СПЗ.

На стадП програмування необх1дно виконувати перетворення (3). Ф1зичне розум1ння: необх1дно виконувати 6птим1зуюч1 перетворення (ОД) ФПК, як1 максимально задовольняють показникам, up були визначен!. на попередн1й стадН. Для цього необх1дно виршувати задачу zK: ЕАГАТО-КРИТЕР1АЛЬН01 0ПТИМ13АЦ11 ФПК.

На стадП дослддноК експлуатацИ необх1дно виконувати перетворення (4). ¡Мзичне розум!ння: довести, що досягнений ревень ефективяост! не нижче заданого.

Виконаш формализован i постановки задач, як! необх!дно вир1шувати в процес1 розробки СПЗ.

Задача za. Виршуетьоя на стадП анал1зу з використанням методов математичного програмування.

Необх1дно знайти значения показник1в г= 1,2. ..ni) та кошти на забезпечення достатньо ефектявного функц]онування СПЗ (С), як! забез-печують м1н1мальн! значения 'ЩдьовоК функцП (5), •

azcr-a^i+o (5)

та задовольняють обмеженням (6) т

С* Со - CS ■ (6)

де, О - кошти на забезпечення ефективностн Ко - коеф1щент окупност!; Со - загальн! кошти на розробку СПЗ; CS - базов! кошти; '

1с- сучасн! витрати на утримання СПЗ, як1 пов'язани з низьким р1внем г-го показника.

Щльова функц!я (5) надана в вигляд! л1н1йного згортання

■ . 9 ■ . - , ■. •

часткових критерПв.

(Мзичне розум1ння обмеяень.

Перше обмеження : кошт1в повинно бути достатньо для эайезпечення заданого р1вня ефегегивносИ.

Друге обмеження: кошт1в на забезпечення ефективност1 не моле бути б1лыое н1ж вид!лено Замовником.

Трете обмеження: бажаний р!вень ефективност1 повинен бути аабеэ-лечений.

Задача гп : ВирЛшуеться на стадИ проектування.

Вув розглянутий де-який вузол СПЗ, який складаеться з к ПК (див. рис.7).

Запропонована формула розрахунку заданих значень показниЮв ПК вузла (7).

вузол СПЗ

■ .,—,—--,--—

•■::■..■ I ' V I .-.'.'. I ■ 1 ■ г ... '■ 'к '■■

рис.7 Вузол СПЗ.

8е '

де з-Г7к, к- к1льк!сть ПК у вувл1; -

!«£7т, ш- к1льк!сть показник1в у БП ПСПЗ; ;

. - задан! значения 1-го показника ПК вузла; К^ - коеф1ц!ент структури 3-1 ПК вузла; К^- - коефЩ!ент ваяливост! 1-го показника 3-1' ПК; В® - задан 1 значения 1-го показника вузла. Запропанован! формули розрахунк1в коеф1ц1снт1в структури, важли-вост! та цикл!чност1 (в1дпов1дно 8,9 та 10).

К*.- • в--(В)

^ Т к' р

де к- к1льк!сть ПК у вузл!.

/О

е

¿1

«Г- - V

де,р - к1льк1сть цикл1в вузла; " С - матриця цикл1чяост1;

1 - к1льк1сть ланцюжк1в алгоритму вузла;

S - матриця структури вузла;

В - к!л1 ;tiCTb умов.

Задача zK. Багатокритер1альна оптим1зац1я ФПК. Ця задача полягае в тому, що з ycieï множини перетворень, як1'оптим1зують ФПК, (ОП) R необх!дно вибрати т1, як1 найб]льш сприяють забезпеченню заданого р1вня ефективносИ СПЗ (характеризуемся значениями показник!в СПЗ). Для вир1шння uleï эадач1 множина ОП R надана у вигляд1 неч1тко1 множини з функц1ею приналежност 1, та сформована множина Парето, як Шдмноаина R р1вня 0.5.

Ro.5 jj^(J) > O.s} (")

m

(12)

/ ■

де, - залане значения 1-го показника в ненормованому вигляд!;

ßro. г Функц1я приналежност1, яка характеризуе потенц1йну w

виг1дн1сть використання j-ro ОП для 1-го показника;

m - к1льк!сть показншив. : '

к

Значения Р3. пов'язан! з величинами Р3 . сШввгдношенням

// у

1 i

На наступному приклад! покажемо використання 3aco6iB п1двищення. ефективност1 розробки та функц!онування СПЗ.:

ТСЗ (10,3)

НАЧ; А-1;

НЦ ПОКА А<10 02. б;

СН1.16-33(0.17);

ЗДР С 33;

К2.С>16;

КН10. 20-30-0;

ЕСЛИ Р3»0 ТО СНб.2-7;

КЦ;

КНЦ;

рис. 8.

рис. 9.

На початков1й стад 11' система проектування ФПК з використання ти-пових структур виконуе перетворення ФПК у вигляд1 типово! структури (див. рис. 8) в ФПК у виг ляд 1 оператор! в МЗАК (див. рис. 9).

На етапах анал1зу та проектування виривуються задач! г^ ! гп та визначаються значения ЛЗ показник!в ФПК.

В таблиц! 2 наведенз значения ЛЗ показник1в ФПК в двох вар¡антах, а на рисунках 10 та 11 результат» ОП ФПК в1дпов!дно. першму та другому вар!антам.

Таблиця 2.

ГОКАЗНИК 1 . 1 | ЗАДАН1 ЗНАЧЕНИЯ ЛЗ П0КАЗНИК1В |

1 В1 1 1 1 1 В2 | 1 1

1. ЧАСОВА ЕФЕКТИЕШСТЬ 1 | 0.8 1 1 I : 0.2 . |

2. ДЕЮНСТРАТИВШСТЬ | ' 0.2 . 1 0.8 |

а достов1РН1сть | 0.3 : | • 0.7 |

4. СТНШСТЬ | 0.7 ,, ,1 „■_ ' ..— , 1 0.3 |

I г

лв

■ЛЗ i

ЧЕ ДС ДТ CT

НАЧ; А=1;

Щ ПОКА А<10;

ЙПГ kvp; KVT Контроль вход, параметров;

ЛДГ .СН1.18-Ь(0.17);

1ЩГ С2.6;

ПУСК CHI. 18-Ь;

ЛУСЯСЕ.6;

ЗДР 133 ;

ЛПГ KVP; КМТ Контроль вход, параметров;

1ЩГ К2. о; 11ДГ ЮНО. 20-30; ЯРН К2. 015 ЛРН КН10.20-30~0;

ЕСЛИ PS=0 ТО СН6. 2-7; КЦ; КНЦ;

рис. 10.

ЧЕ ДС ДТ CT

НАЧ; А=1;

НЦ ПОКА А<10;

СШ. 18-Ь(0.17);ВМВ «ОН. ",Ь," (0.17)

С2.6; ВЫВ "G2. в"

ЗДР СЗЗ; ' .

RS=0;

Щ А ПОКА RS=0;

ПРИ КН. с; !

ItPH К2. С; 1

1ШГ СМР; КМТ Сравнение КП; КЦ А; СРВ И2.01Б; ВЫВ "К2. **, с, "PS»", PS; КЕМ); Щ А ПОКА RS=0; ПРН10. 20 30; ИРН10.20-30;

1ШГ Off; КМТ Сравнение КП; КЦ А; СРИО. 20-30=0; ВШ "ШО. 20-30, PS=", PS; ЕСЛИ PS=0 ТО СНб. 2-7; ГЛ;КЩ;

рис. 11.

Мета оптим1зац11 ааж за вар!антом 1 (див. рис. 10) забезпечити достатньо висок1 р|вн1 показник1в "ЧАСОВА ЕФЕКТИВШСТЬ" та "СТ1ЙК1СТЬ". В данному приклад 1 показано використання двох ОЕ- оптим!затор виконуе пошук ус 1х оператор!в "видач1 стимула" (С) та "контролю параметр!в ОК" (К), як1 використовують зм1нн1, та п!дставляе до них оператори виконання п1дпрограми еемантичного контроля) цих ЗМ1-ННИХ (КУР); :.'

- оптим1затор зн1нюе оператори С 1 К на посл!довн1сть опера/3 '.■■■•

торiв 1ДГ та ПУСК (ПРН - для К). Де дае можлив1Сть псевдопаралельного виконання опершая G 1 К, шр Шдвищуе ¡пбйдк1сть викананкя ©Ж. ;

Мета оптим!зац11 ШК за вар!антом 2 (див. рис. 11) забезпечити достатньо висок1 р!вн1 показник!в "ДЕМОНСТРАТИВШСТЬ" та "Д0еТ0В1РН1СТЬ". В данному приклад! показано використання двсх ОГЬ

- оптим1затор виконуе пошук yclx операторib С 1 К та додае до них оператори в1дображення результатов виконання цих операцгй (ВЫВ);

- оптим1 затор поставляв замють кожного оператора К трупу оператор! в, hkí п!двищують достов1рн!сть виконання операцП "контролю ОК". Для цього дв1ч! виконуеться операция "прийняти" параметри, др контролюються (ПРН). Якщр значения обох параметр!в, щр були отриман!, е одлаковими, то виконуеться зр!вняння значень параметрiв з еталонами. В протилежному випадку ф1ксуеться недостоа1рн1сть отриманних результатов. ■

Представлен! структура та алгоритма функШонування програмних компонент системи створення ефективних програм контролю. Розроблено мову та транслятор з мови запису а!агоритм!в контролю (МЗАК).

ГОЛОШН ШУКОВ1 РЕЗУЛЬТАТ«:

1. Розроблено СП0С1В проектування програм контролю з використан-ням типових структур. В1н дозволяв створювати фрагмента програм контролю шляхом вибору структур« та заповнення елементарних блок!в, як! входять до i i складу. Використання цього способу эначно л!двшцуе ефек-THBHicTb розробки СПЗ. !

2. Сформульовано МАТЕМАТИЧНУ ПОСТАНОВКУ ЗАДАЧ1 оптимального добору бажаних значень показтшв ефективносИ функщонування, з метою м!н!ШзацП сукупних витрат на розробку та супроводжекня СИЗ, яку ■вир!шено шляхом зведення до стандартно! форми задач! л!н!йного програ-мування 1 розв'язано симплекс-методом.

3. Розроблено МЕТОД роэрахунку показник!в ефективност1 функцЮну-вання окремих фрагмент ib програм контролю, з урахуванням 1х важли-вост!, ступени охоплення цикл1чними процедурами та навантаженост! в процес1 експлуатац1I СПЗ.

4. Виршено ЗАДАЧУ багатокритерi альноI оптим1зац11 програм контролю. Виб1р способ1в оптим!зацП виконано на основi визначення сукуп-ного впдиву перетворення, яке оптим1зуе ФПК, на значения показник!в ефективност1 функцЮнування СПЗ.

б. Розроблено МОВУ запису алгоритм1в контролю, для створення програм, як! реал1зуигь ochobhí операцП контролю функционального об-ладнання.

Вауков1 та практичн! результата дисертац1йно! роботи широко апро-бован1 та впроваджен1 у 4 науково--техн1чних розроОках.

ПУВЛ1КАЦП ЗА ТЕМОЮ ДИСВРТАЦП

1. Крилов б.а, Савицький А.Я. 1нструментальи1 засоби граф1чного проектування схем алгоритм 1 в.// У зб.! В1сник КиЧ'вського пол1техн!чного 1нституту. Техн1чна к1бернетика, вип 1.4. ,1990р. стор 52-56.

2. Горбатенко А. I., Крилов б. Е , Савицький А. Я. ]нструментальн1 засоби створення СИЗ контролю СТО. // У зб.: В1сник КиКвського пол1техн1чного 1нституту. Техн1чна к1бернетика, 1993р.

Дйсертантом розроблено мову запису алгоритм1в контролю. Лоданий опис алфав1ту та синтаксису мови.

3. Крилов е. а, Савицький А. Й. Мэдель управл1ння як1стю СГО ситем управл1ння та контролю складними об'ектами.// У зб.: В1сник КиКвсько-го пол!техн1чного 1нституту. Техн1чна к1бернетика, 1993р.

Дйсертантом запропонована модель управл1ння. якЮтю СПЗ, обгрунто-ван1 загальн1 функц1оиальн1 елементи модел1.

4. Крилов е. а , Савицький А. Я. Задача проектування як1сного лрог-рамного вибору.// Актуальн1 проблеми в галуз1 рад1оелектрон1ки, автоматики, обчислювально* техн1ки, енергетики, мапшнобудуваяня та про-мислових технолог1й: Тезиси допов1дей науково-те хн 1 чно'1 конференцП.-К.:КП1,1988.-с. 53.

I Дисертант виступив э допов1дю на пауков 1й конференцП та запропо-йував методолог1ю проектування як!сного програмного забезпечення.

5. Крилов 6. а , Савицький А. Я. - Задача проектування як!сного СПЗ СУ дискретного типу.//Мэлод1 вчен! у вир1шенн! комплексно! програми науково-тёхн1чного прогресу кра1н-члешв КЕ& Тезиси допов1дей науко-во-техн1чно! конференцП. К: КП1,1989р. -с.242-243.

Дисертант виступив з допов!дю на науков!й конференцП. . Розпов1в зро загадьн1 особливосП СПЗ СК дискретного типу.

6. Крилов б.а, Савицький А.Я. Засоби створення та програмування задач контролю та управл1ння складними об'ектами в середовищГ ДОС 1810 I ОС СШ.//Використання засоб!в ОТ, шр виробляються КЮ "Електронмаш", в р1яних галузях НГ. Тезиси допов!дей науково-техн!чно'1 конференцП.-

Дисертант виступив э допов!дю на науков1й конференцП. Розпов1в про загальн1 особливост! побудови систем проектування програм контролю, як1 .повинн! виконуватися в середовищ1 ОС СФП.

7. Крилов е. а, Савицький А. Я. Управл1ння як!стю СПЗ систем управ л шня та контролю.// У зб.: В1сник Кшвеького пол1техн1чного 1нсти-

туту. Техн1чна к1бернетика, вил 14. ,1993р.

Дисертаятом виконаний анал1э СПЗ, наведений опис постановки специф1чно! задач1 управления як1стю СПЗ.

: ' Аннотация

Крылов Евгений Владимирович. , -

. "Аналитические методы и средства повышения еффективности разработки и функционирования специального программного обеспечения систем контроля".

Рукопись.

Работа на соискание ученой степени кандидата технических наук.

Специальность: 05.13.09.- ^тематическое и программное обеспечение вычислительных машин, комплексов, систем и сетей.

Основная цель работы - создание методов и средств повышения еф-фективности разработки и функционирования специального программного обеспечения (СГО) систем контроля. В результате разработан способ проектирования программ контроля с использованием типовых структур,формализована и решена задача оптимального выбора желаемых показателей СПО, разработан метод расчета значений желаемых показателей программных компонент (ПК) Clio, решена задача многокритериальной оптимизации фрагментов программ контроля , разработан язык записи алгоритмов контроля.

Annotation

Krllov Yevgeny Vladlmlrovlch.

" Analytic methods and facilities to improve effectiveness of special software of control systems".

Manuscript.

The work is put forward for obtaining candidate's degree of technical science.

Specialities: 06.13.09 - Mathematical support and software of computers, complexes and networks.

The main task of this Work is to create analytic methods and facilities to improve program development of special software (SS) of control systems. The result Is that the model of organization of design process of SS quantitative indice is created, the task of optimum option of desired values of SS quantitative Indices is formalized and accomplished, the method of quantitative distlbutlon of the values of desired SS quantitative indlced - on program components (PC) is developed, the high-level language of control algorithms' record is designed.

Ключов1 слова: ефективн1сть, програмна система, контроль, мова.

Шдп. до друку Формат 60х84'/ц.

Пап)р друк. Л} 3. Споаб друку офсетний. Умовн. друк. арк. а . Умовн. фарбо-виб. 1&<~г . Обл.-вид. арк. _ Тираж (СО . Лам. Л ¡Г-Ц>ЬО. _

Ф(рма <В(ПОЛ» 252151, КиТв, вул. Волинська, ЙО.