ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ ДЛЯ ВИЗНАЧЕННЯ ЕНЕРГЕТИЧНИХ ХАРАКТЕРИСТИК ПОВЕРХНЕВИХ ШАРIВ МЕТАЛІВ : ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ ДЛЯ ОПРЕДЕЛЕНИЯ ЭНЕРГЕТИЧЕСКИХ ХАРАКТЕРИСТИК ПОВЕРХНОСТНЫХ СЛОЕВ МЕТАЛЛОВ

Краткое описание

Міністерство освіти і науки України

Українська академія друкарства

На правах рукопису

Огірко

Ольга Ігорівна

УДК 004.03:624.15

ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ ДЛЯ ВИЗНАЧЕННЯ ЕНЕРГЕТИЧНИХ ХАРАКТЕРИСТИК ПОВЕРХНЕВИХ ШАРIВ МЕТАЛІВ

Спеціальність 05.13.06 – інформаційні технології

Дисертація

на здобуття наукового ступеня

кандидата технічних наук

Науковий керівник

Юзевич Володимир Миколайович,

доктор фізико-математичних наук, професор

Львів– 2013

ЗМІСТ

Перелік умовних позначень, символів, скорочень і термінів ………… 4

ВСТУП ........................................................................................................ 10

Розділ І. Огляд і аналіз основ інформаційних технологій для визначення енергетичних характеристик поверхневих шарiв металів з використанням алгебри алгоритмів ………………………………………………………………. 22

1.1. Співвідношення термодинамічної моделі поверхневого шару матеріалу як основа ІТ ………………………………………………………….. 22

1.2. Методи подання алгоритмів................................................................. 27

1.3. Подання алгоритмів засобами теорії секвенційних алгоритмів.….. 35

1.4. Методи верифікації програм ................................................................ 38

1.5. Висновки  до першого розділу ............................................................. 45

Розділ ІІ. ІТ СИНТЕЗУ І МІНІМІЗАЦІЇ СИСТЕМИ ГЕНЕРАЦІЇ ПРОГРАМ З ФОРМУЛ ТЕОРІЇ СЕКВЕНЦІЙНИХ АЛГОРИТМІВ ......... 46

2.1. Принцип побудови системи генерації програм з операцій теорії секвенційних алгоритмів ………………………………………………………… 47

2.2. Синтез і мінімізація загальної структури системи …………………. 51

2.3. Структура генерування програм з операції елімінування …………. 57

2.4. Структура синтаксису алгоритму ....................................................... 59

2.5. Висновки до другого розділу................................................................ 61

Розділ ІІІ. МОДЕЛЮВАННЯ СИСТЕМИ ГЕНЕРАЦІЇ ПРОГРАМ З ФОРМУЛ ТЕОРІЇ СЕКВЕНЦІЙНИХ АЛГОРИТМІВ ……………………. 62

3.1. Побудова і дослідження моделі генерації програм з операцій секвентування ......................................................................................................... 65

3.2. Блок-схема системи генерації програм з формул теорії секвенційних алгоритмів ………………………………………………………………………… 72

3.3. Методика роботи з системою ................................................................ 76

3.4. Висновки до третього розділу .............................................................. 79

Розділ IV РЕАЛІЗАЦІЯ ІТ ВИЗНАЧЕННЯ ЕНЕРГЕТИЧНИХ

ХАРАКТЕРИСТИК ПОВЕРХНЕВИХ ШАРIВ МЕТАЛІВ ………………. 80

4.1. Фізико-математична модель визначення енергетичних характеристик міжфазних шарів металів для аналізу корозійних процесів – приклад реалізації ІТ …………………………………………………………………………………. 80

4.2. Фізико-математична модель aктивації деформованого металу поблизу вершини корозійної тріщини ………………………………………… 88

4.3. Застосування алгоритму інформаційної технології для

антикорозійного захисту ………………………………………………… 96

4.4. Висновки до четвертого розділу ………………………………….. 108

ОСНОВНІ РЕЗУЛЬТАТИ ТА ВИСНОВКИ ……………………………….. 110

СПИСОК ВИКОРИСТАНИХ ЛІТЕРАТУРНИХ ДЖЕРЕЛ ……………... 114

ДОДАТКИ ………………………………………………………………………. 127

АІС – автоматизована інформаційна система;

СУБД – система управління базами даних;

ISO – система міжнародних стандартів

СА – системний аналіз

ЕОМ – електронно-обчислювальна машина

ПЗ – програмне забезпечення

ПН – показники надійності

СКВ – Середнє квадратичне відхилення

ТЗ – Технічний засіб

КС – комп’ютерна система.

АС –автоматизована система

ТЗІ – технічний захист інформації

ЦКС – цифрова керуюча система

СОД – система оброблення даних

ІТ – інформаційна технологія

ІТН – інформаційні технології навчання

ПК – персональний комп’ютер

КС – комп’ютерна система

ІКТ – інформаційно-комунікаційні технології

ОП – оперативна пам’ять

СОО – система оперативної обробки

ЦКС – цифрова керуюча система

САА – система алгоритмічних алгебр

ПЕ – поверхнева енергія

s_h – поверхневий натяг

g – поверхнева енергія (ПЕ)

g₁ –  складова ПЕ, яка відповідає вільним (зв’язаним) електричних зарядам

(так названа електрична складова)

g₂ – механічна складова ПЕ

g_e – електрична складова мiжфазної енергії

g_p – механічна складова мiжфазної енергії

w₁, w₂ – густини густини електричної та механічної складових ПЕ

h – ефективна товщина поверхневого шару

2H – ефективна товщина міжфазного шару

d_x » 2H– ефективна товщина подвійного електричного шару

Z_b – ширина (зміщення) подвійного електричного шару на поверхні металу

Ef – енергія Фермі

E_V – робота виходу електрона з поверхні металу

M_at, – атомна маса металу

M_mol – молярна маса речовини (металу)

pH – водневий показник розчину електроліту

kf – хвильовий вектор Фермі

s_ij , e_ij – компоненти тензорів напружень  і деформацій  (i, j = 1, 2, 3)

s₁₁ = s_x; s₂₂ = s_y – компоненти тензора механічних напружень

s_qq – компонента тензора механічних напружень у циліндричних координатах

D=2R_t, H_t – діаметр і товщина труби відповідно

d=2a, b – діаметр та глибина заглибини (поверхневої тріщини)

m_c, c – хімічний потенціал і концентрація домішки

x, x_m, k, a_t, b, b_с, C_j, g_t, h_с, d_с, d_t , z_m – фізичні характеристики матеріалу (металу)

d_ij – символи Кронекера

e – перший інваріант тензора деформацій

r – питома густина матеріалу (металу)

w_v, w – просторова і масова густини зв’язаних електричних зарядів відповідно

j = F – F₀ – відхилення модифікованого потенціалу F  зв’язаних електричних зарядів від його рівноважного значення F₀ в об’ємі тіла далеко від поверхні

Y – скалярний потенціал напруженості електричного поля

y = Y – Y₀ – відхилення потенціалу Y від його рівноважного значення Y₀

 – напруженість електричного поля

e₀ – електрична постійна (e₀ = 8,85´10^–12 Ф/м)

 – зміна температури

K, G – модулі всестороннього стиску і зсуву відповідно

,  

E – модуль Юнга

n – коефіцієнт Пуассона

x, k, a_t, b, b_с, C_j, g_t, h_с, d_с, d_t  – фізичні характеристики матеріалу

s_m – мiжфазний натяг

g_m – мiжфазна енергія

r_m – усереднена густина матеріалу (металу) в області подвійного електричного шару

A_ad – робота адгезії

g_ad – енергія адгезійних зв’язків

I_kg – швидкість корозії металу (густина електричного струму)

I_k – густина корозійного струму

 – корозійний потенціал

 – поляризаційний потенціал

N_+, N_– – число частинок (атомів, молекул) в одиниці об’єму речовини

b_at – тафелевський нахил поляризаційної кривої

DY_m – стрибок електричного потенціалу в подвійному електричному шарі (електричний бар’єр на границі «метал – розчин електроліту»)

E_k , E_a – електродні потенціали відповідно катодної й анодної ділянок

R_k, R_a – поляризаційні опори катодної і анодної ділянок

R_C – електричний опір середовища (зовнішній)

R_M – електричний опір металу (внутрішній опір корозійної пари)

С_m – ємність міжфазного електричного конденсатора

С_jm – питома електроємність подвійного електричного шару (в околі межі «метал–покриття»)

 – рівноважний потенціал утворення окислу на поверхні металу

P_PL – робота пластичної деформації при утворенні нової поверхні поблизу вершини тріщини

W_zp – зміна початкового запасу енергії в околі вершини тріщини

W_ec – виділення енергії в процесі електрохімічної реакції в околі вершини тріщини

К₁ — коефіцієнт інтенсивності напружень

К_1SCC – мінімальне значення К₁, що відповідає початку поширення корозійної тріщини

z_si – формальний заряд сольватованих іонів

F = 96500 C/gr-mol – постійна Фарадея

δ – висота фронту тріщини, що насувається

М – молекулярна маса металу

z – перенапруження анодної реакції

J_d – густина потоку дислокацій (дислокаційний струм)

I_С – густина електричного струму при корозії в околі вершини тріщини

А – узагальнена сила (хімічна спорідненість процесів cтворення і руху дислокацій)

L_A – феноменологічний коефіцієнт, що характеризує провідність електроду

L_d – феноменологічний коефіцієнт, що характеризує поляризованість електроду

s – перший інваріант тензора механічних напружень

P_j(s) – множина параметрів, що характеризують напружено-деформований стан матеріалу і є функціями прикладених до тіла зовнішніх зусиль, яким відповідають напруження s

L_n(t) – множина параметрів, які визначають у часі t  фізико-хімічні процеси, що проходять між деформованим металом і корозійним середовищем

B_m(s) – множина параметрів, що характеризують стан поверхонь матеріалу «s», які є до руйнування і утворюються під час руйнування металу в процесі корозії

a_t – характерний лінійний розмір тріщини в напрямку її поширення

С_i – множина констант (фізичних характеристик), які відповідають системі «матеріал (метал) – корозійне середовище»

s_* , s_** – критичні механічні напруження

s_Т – границя текучості матеріалу (металу)

d_* і d_** – характерні розміри пластичних зон для плоскої деформації і плоского напруженого стану відповідно в околі вершини тріщини

s_i – інтенсивність механічних напружень

s_t = t_max – максимальне дотичне механічн напруження

k – постійна Больцмана

U₀ характеризує енергію активації розриву міжатомних зв'язків і практично співпадає з енергією дисоціації речовини (металу)

g_d = q×V_a, де V_a – активаційний об'єм у елементарному акті дисоціації

q – коефіцієнт (безрозмірний), характеризує локальні механічні перенапруження

W_subl – енергія сублімації металу

k₁ , k₂ – константи швидкостей анодної та катодної реакцій

С – концентрація (активність) іонів металу (окислювача) в приелектродному шарі електроліту

w_a , w_k – енергії активації анодної та катодної реакцій

R = 8,31 J/(g-mol×K) – універсальна газова стала

a , (1–a) – коефіцієнти переносу частинок через подвійний електричний шар

z – валентність іона

i_p – густина катодного поляризуючого струму

g – коефіцієнта гальмування корозії

P – ступінь захисту металу від корозії

Pz – набір параметрів, які характеризують міжфазні (поверхневі) шари

Nz – набір параметрів, які характеризують фізико-хімічні процеси в дефектах (тріщинах, пітингах)

T – температура

gradT – градієнт температури

A(L,G,S) – корозійні втрати (L, G, S – символічне позначення рідини (liquid L), газу (gas G), твердого тіла (solid S))

Rz – набір параметрів, які характеризують корозійні струми

Ks – символічне позначення корозійної стійкості

g_mо – міжфазна енергія ненавантаженого зразка

W – коефіцієнт конкордації

D_f – фактична дисперсія (середньоквадратичне відхилення) підсумкових (впорядкованих, проранжованих) оцінок, які надані експертами

D_max – дисперсія підсумкових (впорядкованих) оцінок за умови, що думки експертів повністю збігаються

а_і – сумарна експертна оцінка, одержана для і-го об'єкту

m – кількість коефіцієнтів вагомості

n – кількість досліджуваних об'єктів (експертів досліджуваних об'єктів

c² – вираз для критерію Пірсона (хі-квадрат)

W_K – коефіцієнт конкордації Кендела

m_k – число аналізованих змінних (коефіцієнтів вагомості)

S – cума квадратів рангів для обчислення коефіцієнта конкордації Кендела

В С Т У П

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

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

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

Недостатньо розроблені інформаційні технології для електрохімічного захисту від корозії поверхонь конструктивних елементів деталей, в тому числі це стосується неізольованих частин поліграфічних устаткувань, що експлуатуються в корозійно-агресивних електролітах. В рамках господарської проблеми відомо, що відсутня кореляція між корозійною тривкістю металу в ненапруженому стані та границею корозійної втоми в різних середовищах. Фізичними і електрохімічними методами коректно усунути такі невідповідності проблематично і складно, бо система (метал – електроліт) є в умовах невизначеності та неповноти даних про стан сиcтеми. Система змінюється в часі і потоки інформації про стан системи (метал – електроліт) змінюються також. Такими потоками інформації про стан системи потрібно управляти, щоб захистити елементи конструкцій від корозії. Традиційні математичні моделі недостатньо адаптовані до такого управління, бо не враховують стан параметрів на границі розділу (метал – електроліт). Шляхи (алгоритми) – як впорядкувати потоки інформації про стан міжфазних шарів в елементах конструкцій є невідомими, оскільки стан системи «метал – електроліт» постійно змінюється, і на основі вивчення взаємозв’язку потоків інформації потрібно з'ясувати і дати рекомендації про протикорозійний захист.

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

Зв'язок роботи з науковими програмами, планами, темами. Дисертаційна робота виконувалась в рамках держбюджетної теми "Модель і програма комп'ютерної системи генерування програм з формул алгоритмів" за номером державної реєстрації 0109Ш01214 на кафедрі АКТ Української академії друкарства (м. Львів) з січня 2009 року до грудня 2011 року. Робота виконана згідно плану науково-технічних робіт, де здобувач працювала як виконавець і розробила функціональну структуру інформаційної технології, математичну модель і програму системи генерації програм з операцій теорії секвенційних алгоритмів.

Мета роботи – розробка інформаційної технології впорядкування потоків інформації про стан міжфазних шарів в елементах металевих конструкцій поліграфічних машин для забезпечення ефективності протикорозійного захисту.

Для досягнення поставленої мети в дисертаційній роботі вирішуються такі задачі:

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

2. Розробити функціональну структуру інформаційноі технології і інформаційно-аналітичну модель технологічного комплексу протикорозійного захисту.

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

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

Список литературы

ОСНОВНІ РЕЗУЛЬТАТИ ТА ВИСНОВКИ

У дисертаційній роботі розв’язано науково-практичне завдання удосконалення інформаційної технології для визначення енергетичних характеристик поверхневих шарiв металів з використанням алгебри алгоритмів. Інформаційна технологія призначена для розроблення рекомендацій щодо підвищення ефективності функціонування системи протикорозійного захисту.

При цьому отримано такі результати:

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

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

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

4. На конкретних прикладах (сталь – алюміній, різні марки сталі – електроліт) репрезентативно проведено дослідження адекватності розроблених математичних моделей та відповідного інформаційного забезпечення і встановлено межі зміни параметрів та інваріантних співвідношень, які характеризують інформаційні потоки і забезпечують фільтрацію даних.

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

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

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

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

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

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

11. Для розглянутих в роботі марок сталі (сталь 20, 12 Х1МФ, 20ЮЧ, 17ГС, 14ГБ (основний метал), 14ГБ (зварне з’єднання), 02Х20Н6М3) отримано результати оцінювання енергетичних характеристик поверхневих шарів і встановлено, що в процесі дії зовнішнього навантаження міжфазна енергія g_m зростає і цьому зростанню відповідає діапазон відповідних їй приростів від 4 % до 11,8 %. Розраховані при цьому максимальні значення міжфазної енергії g_m можна вважати критеріальними щодо міцності елемента конструкції. Такого типу результати дозволяють вибрати для практичного застосування марку сталі, якій відповідає максимальна міцність, мінімальна ціна і максимальний бар’єр захисного потенціалу на границі «метал – електроліт».

СПИСОК ВИКОРИСТАНИХ ЛІТЕРАТУРНИХ ДЖЕРЕЛ

1. Автоматизація математичних обчислень для оцінки параметрів поверхневих шарів / П. М. Сопрунюк, В. М. Юзевич, О. І. Огірко, П. В. Луговий // Відбір і обробка інформації. – 2000. – №14 (90). – С. 151–156.

2. Афанасьєва О. Ю. Інформаційна технологія формування стеганографічних систем для цифрових графічних середовищ на основі використання багатопараметричної адаптації: автореф. дис. на здобуття наук. ступеня доктора техн. наук: спец. 05.13.06 “Інформаційні технології” / О. Ю. Афанасьєва. – Львів, 2011. – 36 с.

3. Афанасьєва О. Ю. Метод комп'ютерної візуалізації результатів експериментальних досліджень з використанням принципів когнітивної графіки: автореф. дис. на здобуття наук. ступеня канд. техн. наук: спец. 05.13.06 “ Автоматизовані системи управління і прогресивні інформаційні технології” / О. Ю. Афанасьєва. – К. 2003. – 22 с.

4. Афанасьєва О. Ю. Методи утаємлення інформації, що укривається в цифровому середовищі / О. Ю. Афанасьєва, Ю. М. Коростіль // Науково-методична конференція «Сучасні проблеми телекомунікації і підготовки фахівців в галузі телекомунікацій» (Національний університет «Львівська політехніка»). – Львів, 2008. – С. 23–24.

5. Антропов Л. И. Теоретическая электрохимия / Л. И. Антропов. – М.: Высшая школа, 1975. – 560 с.

6. Бешелев С. Интенсификация науки: пути и особенности / C. Бешелев, Ф. Гурвич // Наука и жизнь. – 1986. – №10. – С. 62–66.

7. Бритковський В. М. Редактор формул алгоритмів і аналіз синтаксису і семантики алгебри  алгоритмів-секвенцій / В. М. Бритковський // Матеріали 7 Всеукраїнської наукової конференції “Сучасні проблеми прикладної математики та інформатики”. – Львів: НУ ім. І. Франка, 2000. – С. 17–18.

8. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на C++ / Г. Буч: 2-е изд. – М.: Изд–во Бином, 1998. – 560 с.

9. Возна М. Аналіз і синтез алгоритмів системи керування електропроводом друкарської машини / М. Возна, В. Овсяк // Палітра друку. – 1999. –  №6. – С. 31–32.

10. Возна М. Математична модель алгоритму "поштовх вперед - поштовх назад" / М. Возна // Поліграфія і видавнича справа. – Львів: УАД, 1999. – № 34. – С. 212–216.

11. Гавенко С. Ф. Логістика в поліграфічному виробництві: Навч. посіб. / С. Ф. Гавенко, Б. В. Дурняк, Р. С. Зацерковна. – Л.: Укр. акад. друкарства, 2006. — 144 с.

12. Гавенко С.Ф., Мельников О. В. Оцінка якості поліграфічної продукції: Навч. посіб. / С. Ф. Гавенко, О. В. Мельников, Ред.: Е.Т. Лазаренко; Укр. акад. друкарства. – Л.: Афіша, 2000. – 120 с.

13. Глушков В. М. Алгебра. Языки. Программирование / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. – К.: Наук. Думка, 1978. – 320 с.

14. Глущак Ю. І. Використання прогресивних інформаційних технологій в державному управлінні / Ю. І. Глущак, О. І. Огірко // Ефективність державного управління в контексті становлення громадянського суспільства. – Львів: УАДУ при Президенті України. – Львів, 2002. – С. 64 – 67.

15. Гофман В. Работа с базами данных в Delphi / В. Гофман, А. Хоменко. – СПб.: БХВ – Петербург, 2000. – 281 с.

16. Грис Д. Наука программирования / Д. Грис: пер. с англ. под ред. А. П. Ершова. – М.: Мир, 1984. – 416 с.

17. Грицык В. В. Распараллеливание алгоритмов обработки информации в системах реального времени / В. В Грицык. – К.: Наук. думка, 1981. – 261 с.

18. Грищенко В. Н. Методы и средства компонентного программирования / В. Н. Грищенко, Е. М. Лаврищева // Кибернетика и системный анализ. – 2003. – № 1. – С. 39–55.

19. Гуревич Р. С. Інформаційно-телекомунікаційні технології в навчальному процесі та наукових дослідженнях : навчальний посібник для студентів педагогічних ВНЗ і слухачів інститутів післядипломної педагогічної освіти / Р. С. Гуревич, М. Ю. Кадемія. – Київ: Освіта України, 2006. – 366 с.

20. Дантеманн Дж. Программирование в среде Delphi / Дж. Дантеманн, Дж. Мишел, Д. Тейлор: пер. с англ. – К.: НИПФ “Диа Софт Лтд.”, 1995. – 608 с.

21. Денисенко В. В. Інформаційно-комунікаційні технології і навчально-виховний процес / В. В. Денисенко // Інформатика в школі. – Харків: ТОВ «Видавнича група «Основа»», 2009. – №4. – С. 2-4.

22. Джала Р. Визначення параметрів подвійного електричного шару для моделювання корозії на межі метал-електроліт / Р. Джала, В. Юзевич, М. Мельник, О. Чабан // Комп’ютерні науки та інформаційні технології. Вісник Національного університету “Львівська політехніка”. – Львів: Вид. НУ “Львівська політехніка”. – 2011. – № 694. – C. 370-376.

23. Джала Р. М. Основи обстеження і контролю корозійного стану підземних трубопроводів. Механіка руйнування та міцність матеріалів: Довідн. посібник: Під ред. В. В. Панасюка. Том 11: Міцність і довговічність нафтогазових трубопроводів і резервуарів / Р. М. Джала. – Львів: Сполом, 2009. – С. 143–184.

24. Джеймс Д. Мюррей. Энциклопедия форматов графических файлов / Джеймс Д. Мюррей, Уильям ван Райнер. – Киев: BHV, 1997. – 672 с.

25. Дмитрах І. М. Вплив корозійних середовищ на локальне руйнування металів біля концентраторів напружень / І. М. Дмитрах, В. В. Панасюк. – Львів: Ред. журналу «Фізико-хімічна механіка матеріалів», 1999. – 342 с.

26. Дорошенко А. Ю. Алгеброалгоритмічні основи програмування / А. Ю. Дорошенко, Г. С. Фінін, Г. О. Цейтлін. – К.: Наук.думка, 2004. – 457с.

27. Дурняк, Б. В. Системний аналіз та оптимізація параметрів книжкових видань: Моногр. / Б. В. Дурняк, І. В. Піх, В. М. Сеньківський. — Л.: Укр. акад. друкарства, 2006. — 197 с.

28. Дьяконов В. П. Математическая система  Марle V R3/R4 /R-5 / В. П. Дьяконов. – М.: Солон, 1998. – 400с.

29. Дьяконов В. П.  МАТLАВ 5.0/5.3. Система символьной математики / В. П. Дьяконов, И. В. Абраменкова. – М.: Полидж, 1999. – 640с.

30. Дьяконов В. П. Системы символьной математики Mathematica 2 и Mathematica 3. — М.: «СК-ПРЕСС», 1998. — С. 320.

31. Дьяконов В. П. Справочник по системе символьной математики Derіve / В. П. Дьяконов. – М.: СК Пресе, 1998. – 256 с.

32. Дьяконов В. П. Техника визуализации учебных й научных задач с применением системы класса МаthСАD. Информационные технологии / В. П. Дьяконов, И. В. Абраменкова. – М.: Нолидж, 1998. – 39 с.

33. Енергія активації деформованого металу поблизу вершини корозійної каверни / Джала Р. М., Юзевич В. М., Мельник М. І., Семенюк О. М. // Міжвузівський збірник «Наукові нотатки». Луцький Національний технічний університет. – Луцьк: Вид. ЛНТУ. – 2011. – № 31. – C. 114-119.

34. Захарова И. Г. Информационные технологии в образовании: Учеб. пособие для студ. высш. учеб. заведений / Ирина Гелиевна Захарова. – 2-е изд., стер. – М.: Издательский центр «Академия», 2005. – 192 с.

35. Кучеров Д. П. Алгоритм адаптивного термінального управління потрійним інтегратором / Кучеров Д.П., Василенко О.В., Іванов Б.П. // Вісник Вінницького політехнічного інституту. – 2009. – № 2. – С. 22-27.

36. Кучеров Д. П. Синтез адаптивных систем терминального управления: монография / Д. П. Кучеров, В. В. Камишин // АПН Украины, Центр. НИИ вооружения и воен. техники Вооруж. Сил Украины. – К.: Інфосистем, 2010. – 232 с.

37. Кнут Д. Э. Искусство программирования. Основные алгоритмы / Д. Э. Кнут. – М.: Вильямс, 2000.  – Том 1. – 720 с.

38. Кормен Т. Алгоритмы: построение и анализ / Т. Кормен, Ч. Лейзерсон, Р. Ривест. – М.: МЦНМО, 2000. – 960 с.

39. Корн Г. Справочник по математике / Г. Корн,  Т. Корн. –  М.: Наука, 1972. – 831 с.

40. Лаврищева Е. М. Методы программирования. Теория, инженерия, практика / Е. М. Лаврищева. – Киев: Наукова думка, 2006. – 451с.

41. Лукович В. В. Розрахунок параметрів катодного захисту магістрального трубопроводу / В. В. Лукович. – Київ, 2011. – 47 с. – (Препр. / НАН України, Ін-т проблем матеріалознавства ім. І. М. Францевича).

42. Мальцев А. И. Алгоритмы и рекурсивные функции. 2-е Изд. / А. И. Мальцев. – М.: Наука, 1986. – 368с.

43. Марка Д. А. Методология структурного анализа и проектирования / Д. А. Марка, К. МакГруэн. – М.: МетаТехнология, 1997. – 346 с.

44. Марков А. А. Теория алгоритмов /  А. А. Марков. – Тр. матем. ин-та АН СССР им. В. А. Стеклова, 38. – М.: Изд. АН СССР, 1951. – С. 176–189.

45. Морзе Н. В. Основи інформаційно-комунікаційних технологій / Н. В. Морзе. – К.: Видавнича група ВНV, 2006. – 298 с.

46. Назаркевич М. А. Методи підвищення ефективності поліграфічного захисту засобами Ateb-функцій / М. А. Назаркевич. – Львів: Вид-во НУ "Львів. політехніка", 2011. – 186 с.

47. Назаркевич М. А. Автоматизовані видавничо-поліграфічні процеси: навч. посіб. / М. А. Назаркевич. – Львів. 2010. – 98 с.

48. Овсяк В. К. Синтез, оптимізація і дослідження математичних моделей алгоритмів керування електроприводом друкарської машини / В. К. Овсяк А. М. Назаркевич // Вісник Державного університету “Львівська політехніка”. Прикладна математика. –  1999.– № 364. – С. 105 – 110.

49. Овсяк В. К. Засоби еквівалентних перетворень алгоритмів інформаційно-технологічних систем / В. К. Овсяк // Доповіді національної Академії наук України. –  1996. – № 9. – С. 83–89.

50. Овсяк В. К. Модели и моделирование алгоритмов / В. К. Овсяк, Я. П. Драган, Л. С. Сикора // Материалы 2-ой международной конференции “Теория и техника передачи, приема и обработки информации. Часть 2”. – Харьков-Туапсе: 1996. – С. 303–304.

51. Овсяк В. Алгебра алгоритмів-секвенцій / В. Овсяк // Збірник наукових праць «Компютерні технології друкарства». – 1999. – №3. – С. 3–13.

52. Овсяк В. Алгоритми: методи побудови, оптимізації, дослідження вірогідності / В. Овсяк. – Львів: Світ, 2001. – 160 с.

53. Овсяк В. Теорія секвенційних алгоритмів і проектування комп’ютерних систем: Навчальний посібник / В. Овсяк, В. Бритковський, О. Овсяк, Ю. Овсяк. – Львів: УАД, 2001. – 141 с.

54. Огірко О. І. Автоматизація математичних обчислень для оцінки параметрів поверхневих шарів / П. М. Сопрунюк, В. М. Юзевич, О. І. Огірко, П. В. Луговий // Відбір і обробка інформації. – 2000. – Вип. 14(90) – С. 151-156.

55. Огірко О. Автоматизовані способи розпізнавання для алгебри алгоритмів /  О. Огірко // Автоматика. – 2000. – Т.6. – Львів: Державний НДІ інформаційної інфраструктури, 2000. – С. 138 – 140.

56. Огірко О. І. Алгебра алгоритмів та інформаційні технології / О. І. Огірко. – [Електронний ресурс]. – Режим доступу:  http://www.ohirko2008.narod.ru/  C.7. навч. посіб. для студ. вузів. – 80 Min / 700 МВ. –Львів. УАД. 2012

57. Огірко О. І. Інформаційна технологія корозіометрії оцінювання об’єктів із сталі / О. І. Огірко // Поліграфія і видавнича справа . – 2012. – № 4 (60). – С. 140–152.

58. Огірко О. І. Інформаційні системи в оперативній поліграфії : навчальний посібник / Т. Й. Гаранько, О. І. Огірко. – Львів: Університет «Львівський Ставропігіон». – 2011. – 174 с.

59. Огірко О. І. Інформаційні технології: [Електронний ресурс]. – Режим  доступу: https://sites.google.com/site/inftechnolog/home Навч. посіб. для студентів вузів.– 80 Min / 700 МВ. –Львів. УАД. 2012.

60. Огірко О. Комп’ютерна реалізація алгебри алгоритмів / О. Огірко // Комп'ютерні технології друкарства. – 2000. –  № 5. – С. 200–205.

61. Огірко О. І. Свідоцтво про реєстрацію авторського права на твір №.48276. Україна.Інформаційна технологія визначення енергетичних характеристик поверхневих шарiв металів з використанням алгебри алгоритмів.-17 C. Авторське майнове право належить Огірко О. І. Зареєстровано в м. Київ, 14. 03. 2013.

62. Огірко О. І. Корозіометрія:  [Електронний ресурс]. – Режим доступу: http://www.youtube.com/watch?v=cprWSweLEiA   Навч. посіб. для студ. вузів.–  80 Min / 700 МВ. –Львів. УАД. 2012.

63. Огірко О. Модель комп’ютерної системи генерації програм з формул алгоритмів / О. Огірко // Комп'ютерні технології друкарства. – 2001. – № 6. – С.  93–97.

64. Огірко О. Модель системи генерації програм СКАНЕР / О. Огірко // Комп'ютерні технології друкарства. – 2001. – № 6. – С. 42–48.

65. Огірко О. Оцінка поверхневої енергії сталей у сірководневих середовищах / П. Сопрунюк, В. Юзевич, О. Огірко // Фіз.-хім. механіка матеріалів. Проблеми корозії та протикорозійного захисту матеріалів. – 2000. – Т. 2, № 1. – C. 726-730.

66. Огірко О. І. Алгебра алгоритмів та інформаційні технології . : [Електронний ресурс]. – Режим доступу: http://ohirko.io.ua/ Львів. УАД.   2012.

67. Огірко О. Синтаксис оптимізації моделі та моделювання синтаксису механізму розпізнавання символіки алгебри алгоритмів секвенції / О. Огірко // Комп’ютерні технології друкарства. – 2000. – № 5. – С. 296–303.

68. Огірко О. І. Мультимедійно інформаційні технології корозіометрії / О. І. Огірко / Науково-практична конференція «Мультимедійні технології в освіті та інших сферах діяльності»: Тези доповідей. – К.: НАУ, 2012. – С. 57.

69. Огірко О. І. Комп’ютерне та програмне забезпечення математичного моделювання: навчальний посібник. / О. І. Огірко, Л. М. Ясінська, М. Ф. Ясінський. – Львів: Університет «Львівський Ставропігіон», 2004 – Т. 1. – С. 1-22.

70. Огірко О. І. Математичне моделювання та інформаційних технології електронних таблиць / О.І. Огірко, Л. М. Ясінська, М. Ф. Ясінський – Львів: Університет «Львівський Ставропігіон», 2004 – Т. 1. – С. 23-34.

71. Основи проектування цифрових логічних пристроїв: навч. посіб. / Б. В. Дурняк, І.Т. Стрепко, Г.Н. Тітов, О.В. Тимченко. – Л.: УАД, 2006. – 272 с.

72. Плескач В. Л. Агентные технологии / В. Л. Плескач, Ю. В. Рогушина. – К.: КНТЕУ, 2005. – 337с.

73. Поляков С. Г. Система корозійного моніторингу трубопроводів / С. Г. Поляков, А. В. Клименко, С. Ю. Коваленко // Наука та інновації. – 2010. – Т. 6. № 5. – С. 25-28.

74. Похмурський В. І. Aдсорбційно-електрохімічна теорія корозійної втоми металів / В. І. Похмурський // Фізико-хімічна механіка матеріалів. – 2010. – № 2. – С. 21-30.

75. Рамбо Дж. UML. Специальный справочник / Дж. Рамбо, А. Джекобсон, Г. Буч. – СПб.: Питер. – 2002. – 656 с.

76. Русин Б. П. Структурно-лингвистические методы распознавания изображений в реальном времени / Б. П. Русин. – К: Наук. думка, 1986. – 128 c.

77. Русын Б. П. Матричные пульсирующиеся информационные решетки / Б. П. Русын, В. И. Шмойлов, А. И. Адамацкий, М. Н. Кузьо. – Львов: Меркатор, 2003. – 338 с.

78. Русин Б. П. Системи синтезу, обробки та розпізнавання складноструктурованих зображень / Б. П. Русин. – Львів: Вертикаль, 1997. –264 с.

79. Сван Т. Delphi 4. Библия разработчика / Т. Сван; пер. с англ. – К.; СПб.: Диалектика, 1998. – 672 с.

80. Седжвик Р. Фундаментальние алгоритмы на С++. Анализ. Структури данных. Сортировка. Поиск / Р. Седжвик. – К.: ДиаСорт, 2001. – 688 с.

81. Сікора Л. С. Перспективні інформаційні технології в системах автоматичного управління енергоактивними об'єктами виробничих структур: монографія / Л. С. Сікора, М. О. Медиковський, В. В. Грицик; НАН України. Держком зв'язку та інформ. України. Держ. НДІ інформ. інфраструктури. – Львів, 2002. – 416 с.

82. Скляров С. А. Алгоритм оптимизации режимов работы системы противокоррозионной защиты магистральных трубопроводов / С. А. Скляров // АСУ и приборы автоматики – 1999 г. – № 110. – С. 45 – 50.

83. Скляров С. А. Математическая модель идентификации распределения защитного потенциала вдоль магистрального трубопровода при заданных режимах работы установок катодной защиты / С. А. Скляров // АСУ и приборы автоматики 1998. – №108 – С. 77 – 85.

84. Скляров С. А. Математическая модель распределения разности потенциалов труба – земля с учетом влияния электрических полей анодных заземлителей / С. А. Скляров, З. В. Дударь // Новые решения в современных технологиях. – 2000. – № 80 – С. 30 – 33.

85. Скляров С. О. Математичні моделі та інформаційні технології автоматизованого управління системами протикорозійного захисту магістральних трубопроводів: автореф. дис. на здобуття наук. ступеня канд. техн. наук: спец. 05.13.06 “Автоматизовані системи управління та прогресивні інформаційні технології” / С. О. Скляров. – Харків, 2002. – 19 с.

86. Скляров С. А. Передумови побудови АСУ системи електрохiмзахисту магiстральних трубопроводiв / С. А. Скляров // Радиоэлектроника и информатика – 1998. – №4 – С. 41 – 43.

87.    Стaщук М. Розрахунок зміщення електродного потенціалу, зініційованого пружним полем, на межі еліптичного отвору із середовищем / М. Стaщук, Л. Журавчак, М. Дорош // Проблеми корозії та протикорозійного захисту матеріалів: в 2-х т. / Спецвипуск журналу «Фізико-хімічна механіка матеріалів». – Львів: Фізико-механічний інститут НАН України, 2010. – Т. 1, № 8. – C. 49-54.

88. Терендій О. До проблеми розробки інтерфейсних систем / О.Терендій // Комп’ютерні технології друкарства. Збірник наукових праць. – Львів: УАД. – 1998. – С. 182-183.

89. Тимченко О. В. Дослідження особливостей функціонування сенсорних мереж / М. Ю. Зеляновський, О. В. Тимченко // Моделювання та інформаційні технології: Зб. наук. пр. – К.: ІПМЕ ім. Г.Є.Пухова НАН України, 2010. – Вип. 58. – С. 172-180.

90. Тимченко О. В. Дослідження якості багатоадресної передачі мультимедійного трафіку / Тимченко О.В., Верхола Б.М., Кирик М.І., Самі Аскар // Зб. наук. пр. ІПМЕ НАН України. –К.: 2008. – Вип. 48. – С. 161-169.

91. Тимченко О. В. Ефективність передачі відеотрафіку MPEG в мережі MPLS / О. В. Тимченко, Б. М. Верхола, А. Т. Ратич // Моделювання та інформаційні технології: Зб. наук. пр. — К.: ІПМЕ ім. Г. Є. Пухова НАН України, 2010. – Вип. 55. – С. 206-213.

92. Тимченко О. В. Математичне моделювання і реалізація систем керування стрічкопровідними системами / О. В. Тимченко, Б. В. Дурняк. – К., Видавн. центр "Просвіта",  2003. – 232с.

93. Туфанов Д. Г. Коррозионная стойкость нержавеющих сталей, сплавов и чистых металлов (справочник) // Д. Г. Туфанов. – М.: Металлургия, 1982. – 352 с.

94. Урский В. Методология программирования / В. Урский; пер. с англ. под ред. А. П. Ершова. – М.: Мир, 1981. – 264 с.

95. Успенский В. А. Теория алгоритмов: Основные открытия и приложения / В. А Успенский, Л. Семенов. – М.: Наука, Гл. ред. физ. - мат. лит., 1987. – 288 с.

96. Устройство для натяжения декеля на офсетном цилиндре печатной машины / (В. Н. Юзевич, В. Т. Сенкусь, Я. И. Чехман, В. Е. Босак, И. Н. Кравчук ) // А.с. № 1730794. От 03.01.1992 г. По заявке № 4221233. Гос. Реестр Изобретений СССР. – 4 с.

97. Цейтлин Г. Е. Введение в алгоритмику / Г. Е. Цейтлин. – К.: Сфера, 1998. – 310 с.

98. Чвірук В. П. Електрохімічний моніторинг техногенних середовищ / В. П. Чвірук, С. Г. Поляков, Ю. С. Герасименко. – Київ: Академперіодика, 2007. – 223 с.

99. Чернецки К. Порождающее программирование. Методы, инструменты, применение / К. Чернецки, У. Айзенекер. – Издательский дом Питер. – М.: СПб. – Харьков. – Минск,  2005. – 730 с.

100. Юзевич В. М. Діагностика матеріалів і середовищ. Енергетичні характеристики поверхневих шарів / В. М. Юзевич, П. М. Сопрунюк. – Львів: ФМІ ім. Г. В. Карпенка НАН України, вид-во “СПОЛОМ”. – 2005. – 292 с.

101. Юзевич В. М. Енергія адгезійних зв’язків у системі мідь – тверде тіло / В. М. Юзевич, П. М. Cопрунюк, Б. П. Коман, П. В. Луговий // Український фізичний журнал. – Київ, 2005. –  Т. 50, № 6. – С. 575 – 581.

102. Юзевич В. М. Iнформаційна технологія оцінювання станів об’єктів із сталі в морському середовищі із сірководнем з використанням алгебри алгоритмів / В. М. Юзевич, О. І. Огірко // Наукові записки. – 2012. – № 4 (41). – С. 160–172.

103. Юзевич В. М. Критерії міцності твердого тіла з урахуванням розмірного ефекту і впливу середовища / В. М. Юзевич // Фіз.-хім. механіка матеріалів. – 1999. –  № 2. – C. 80–85.

104. Юзевич В. Моделювання туристичних потоків з використанням мурашиних алгоритмів / В. Юзевич, Н. Крап // Комп’ютерні науки та інформаційні технології. Вісник Національного університету “Львівська політехніка”. – Львів: Вид. НУ “Львівська політехніка”. – 2011. – № 710. – P. 98-105.

105. Юзевич В. Моделювання корозійних процесів у системі «метал-електроліт» з урахуванням дифузійного імпедансу / В. Юзевич, І. Огірко, Р. Джала // Фізико-математичне моделювання та інформаційні технології. – 2011. – Вип. № 13. – C. 173-181.

106. Юзевич В. М. Роль масштабного фактора при випробуваннi полiуретанового зразка рiзної твердостi / В. М. Юзевич, Я. І. Чехман // Вища школа. Полiграфiя i видавнича справа. – Львiв, 1988. – № 24. – С. 47-49.

107. Юзевич В. М. Розрахунок впливу кiлькiсного фактора на деформацiйну характеристику полiуретанового зразка / В. М. Юзевич, Я. І. Чехман // Вища школа. Полiграфiя i видавнича справа. – Львiв, 1987. – № 23. – С. 46–50.

108. Юзевич В. М. Tермодинамічний підхід до контролю корозії підземних трубопроводів / Р. М. Джала, В. М. Юз