24 квітня 2013 року на базі факультету комп’ютерно-інформаційних систем і програмної інженерії пройшла Ⅲ науково-технічна конференція „Інформаційні моделі, системи та технології“.

Робота конференції проводилася за секціями:

1. Математичне моделювання
   Головуючі: д.ф-м.н., проф. Шаблій О.М., д.ф-м.н., проф. Кривень В.А.
   Секретар: асистент кафедри інформатики та математичного моделювання Головатий Б.З.
2. Інформаційні системи
   Головуючий: д.т.н., проф. Приймак М.В.
   Секретар: асистент кафедри комп’ютерних наук Прошин С.Ю.
3. Комп’ютерні системи та мережі
   Головуючий: д.т.н., проф. Лупенко С.А.
   Секретар: аспірант кафедри комп’ютерних систем та мереж Стадник Н.Б.
4. Програмна інженерія та моделювання складних розподілених систем
   Головуючі: д.ф.-м.н., проф. Недашковський М.О.,к.т.н., доц. Петрик М.Р.
   Секретар: асистент кафедри програмної інженерії Рогатинська Л.Р.
5. Безпека інфокомунікацій
   Головуючий: д.т.н., проф. Карпінський М.П.
   Секретар: аспірант кафедри комп’ютерних наук Пйонтко Н.В.
6. Новітні фізико-технічні та освітні технології
   Головуючі: д.ф.-м.н., проф. Дідух Л.Д., к.ф.-м.н., доц. Скоренький Ю.Л.
   Секретар: асистент кафедри фізики, к.т.н., Сіткар О.А.

Детальніше про конференцію та вимоги щодо тез див. у новинах університету.

Інформаційні моделі, системи та технології: матеріали Ⅲ науково-технічної конференції, (Тернопіль, 24 квітня 2013 року) / Міністерство освіти і науки, молоді та спорту, Тернопільський національний технічний університет імені Івана Пулюя. – Тернопіль. : Видавництво ТНТУ імені Івана Пулюя, 2013. – 72 с.

Зміст

1. Редакційні сторінки	1
МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ
2. Шаблій О. М., Король О. І., Цимбалюк Л., Береженко Б. М., Базар М. С. Дослідження питомої потужності в колесі, яка затрачається для його нагрівання	5
3. Шаблій О. М., Михайлишин М. С., Гащин Н. Б., Хоміцький Б. Знаходження заданого температурного поля при тепловій посадці циліндричних оболонок	6
4. Базар М. С., Шаблій О. М., Пулька Ч. В., Цимбалюк Л., Король О. І. Модель енергії магнітного поля індукційних нагрівальних приладів	7
5. Боднар Д., Бубняк М., Ковальчук О. Умови збіжності 1-періодичного гіллястого ланцюгового дробу спеціального вигляду	8
6. Дуда О. Формування вектора вхідних даних нейромережі	9
7. Кміть П., Лупенко С. А. Використання прихованої марковської моделі в системах детектування емотиконів	10
8. Луцик Н., Лупенко С. А. Лінійний циклічний випадковий процес як конструктивна математична модель сигналів серця	11
9. Михайлишин В., Семенишин Г. М. Нестаціонарне температурне поле циліндричної оболонки при її локальному поверхневому нагріві	12
10. Михайлишин М., Головатий Б. З. Дослідження впливу додаткового підігріву після зварювання на розподіл залишкових зварювальних напружень і деформацій	13
11. Млинко Б., Фриз М. Є., Яскілка В. Умовні лінійні процеси в задачах математичного моделювання періодичних випадкових сигналів	14
12. Прошин С., Шимчук Г. В., Маєвський О. Оцінка математичного сподівання інтенсивності водоспоживання холодної води упродовж доби	15
13. Стадник М. Лінійний випадковий процес як математична модель зорового викликаного потенціалу	16
14. Стадник Н. Застосування процесів авторегресії та ковзного середнього в задачах економетрики	17
ІНФОРМАЦІЙНІ СИСТЕМИ
15. Приймак М. В., Прошин С. Ю. Визначення станів енергонавантажень для їх аналізу на основі періодичного ланцюга Маркова	18
16. Готович В. А. Інформаційна системи дослідження якості електроенергії	19
17. Гладьо Ю. Б., Дуда О., Мацюк О. В. Інтеграція нейромережі в систему контролю й обліку телеметричних показників	20
18. Жаровський Р. О. Інформаційна система моделювання і обробки сейсмічних сигналів	21
19. Загородна Н. В., Назаревич О. Б., Фриз М. Реалізація регресійного аналізу газоспоживання з використанням пакету Matlab	22
20. Назаревич О. Б. Інформаційна технологія моніторингу газоспоживання міста	23
21. Пйонтко Н. В., Карпінський М. Автоматична ідентифікація змазаних зображень	24
22. Чихіра І. В., Золотий Р. З., Микитишин А. Аналіз семантичних мереж та їх зв’язок з реляційними базами даних	25
23. Николайчук Я. М., Шаряк В. Дослідження ієрархічно-реляційної моделі бази даних в теоретико-числовому базисі Галуа	26
КОМП’ЮТЕРНІ СИСТЕМИ ТА МЕРЕЖІ
24. Вишневський В., Поліщук Г. Є. Метод аналізу ієрархій в задачах проектування та модернізації телемедичних систем	27
25. Литвиненко Я. В., Яскілка В. Я. Програмне забезпечення для сегментації детермінованих циклічних функцій в задачах цифрової обробки даних	28
26. Лупенко С. А., Хомів Б. А., Забурко М. Обґрунтування вибору API для інформаційної системи обчислення вагових коефіцієнтів та інтегральної оцінки опінії об’єктів	29
27. Поліщук Г. Є., Лупенко С. А. Застосування методів машинного навчання у кардіодіагностиці	30
28. Снігур І., Михалик Д. Система управління комп’ютером на основі жестів	31
29. Трембач Р. Б., Паздрій І. Р. Використання мікроконтролера для побудови широтно-імпульсного модулятора із змінним коефіцієнтом заповнення	32
30. Штундер О. Оптимізація вибору коефіцієнтів апроксимаційної функції багатьох аргументів із застосуванням інтервального аналізу даних	33
31. Кубів Р. В., Осухівська Г. М. Адаптивна диференціальна імпульсно-кодова модуляція голосового сигналу в комп’ютерних мережах	34
ПРОГРАМНА ІНЖЕНЕРІЯ ТА МОДЕЛЮВАННЯ СКЛАДНИХ РОЗПОДІЛЕНИХ СИСТЕМ
32. Бакалець В. В., Кінах Я. І. Порівняльний аналіз технологій веб-дизайну SASS та LESS	35
33. Петрик М., Петрик О. Ю. Математичне моделювання фільтраційної консолідації в багатокомпонентних неоднорідних циліндричних середовищах вологомістких пористих частинок	36
34. Бревус В. М., Кіфер В. М., Ільчишин Р. Робота з USSD запитами в ОС Android	37
35. Власюк В. В., Яцишин В., Ладика Р. Б. Проблеми забезпечення якості архітектури програмних систем і підхід до їх вирішення	38
36. Головатий А. Розробка алгоритму роботи та програмного забезпечення пристрою економного управління нагрівачем з захистом від перенапруги і замерзання	39
37. Грод І. М. Сіткові моделі в практиці управлінської діяльності	40
38. Каширець В., Кінах Я. І. Переваги функціональної парадигми при розробці програмного забезпечення	41
39. Колач А., Михалик Д. Responsive Web Design – кожному пристрою своє представлення	42
40. Луцків А. М., Кравець О. Розробка веб-порталу грід-орієнтованої віртуальної лабораторії	43
41. Луцків А. М., Мороз Р. Аспекти створення національної програмної платформи в україні	44
42. Орлов Б., Рогатинська Л. Р. Геолокаційний веб-сервіс та мобільний клієнт для іOS для анонсів та інформаційних повідомлень	45
43. Яцишин В., Дерень А. Забезпечення якості вимог до програмних систем	46
БЕЗПЕКА ІНФОКОМУНІКАЦІЙ
44. Галушка О., Лупенко С. А. Система аутентифікації людини за її динамічним підписом	47
45. Козак Р. Керовані операції підстановки блокових шифрів	48
46. Козак Р. Системи управління безпекою	49
47. Луцків А. М., Новак Н. О. Програмна система криптоаналізу методом неможливих диференціалів	50
48. Шаблій Н. Методи та засоби біометричної аутентифікації людини за клавіатурним почерком	51
49. Чиж В. М. Геометрична модель ідентифікації атак на бездротові сенсорні мережі	52
50. Яциковська У. О. Метод аунтентифікації маршрутизатора за допомогою схеми словника	53
НОВІТНІ ФІЗИКО-ТЕХНІЧНІ ТА ОСВІТНІ ТЕХНОЛОГІЇ
51. Бойчук В., Білинський І., Сокольник О. Математичні моделі дослідження квантових точок із врахуванням реальної зонної структури кристалу	54
52. Василенко Я. П. Про вибір мови для вивчення програмування в навчальних закладах	55
53. Вознюк С., Мацюк В., Федачківський В. Д. Апроксимація даних навчального фізичного експерименту як альтернатива неавтоматизованим методам обробки результатів вимірювань	56
54. Гуль Р. В. Можливість використання у якості газових сенсорів гетероструктур SnO2-SI виготовлених методом піролізу	57
55. Довгоп’ятий Ю. М. Використання лекційних демонстрацій в курсі загальної фізики	58
56. Дрогобицький Ю. В., Федачківський В. Апроксимація осциляцій франца–келдиша спектрів модуляційного фотовідбивання епітаксійних плівок LT–GaAs, LT–(Ga,Mn)As	59
57. Крамар О. І., Скоренький Ю. Л., Дідух Л. Д. Особливості реалізації спонтанного феромагнітного впорядкування в системах з андерсон-габбардівськими центрами	60
58. Кульчицький В. Формування фундаментальних фізичних понять у процесі вивчення електромагнітної індукції та вихрового електричного поля у студентів технічних спеціальностей вузів	61
59. Мохун С. В., Дідора Т. Д., Бачинський Ю. Реалізація дистанційної форми навчання в педагогічних вузах на прикладі енмк «механіка» для студентів спеціальності «Фізика»	62
60. Нікіфоров Ю., Ковалюк Б. П., Мочарський В. С. Особливості мікротвердості зворотної поверхні мідної фольги після наносекундної імпульсної лазерної обробки	63
61. Рокіцький О. М. Перший президент української Академії наук	64
62. Сіткар О., Нікіфоров Ю. Вплив сферичності поверхні прозорого конденсованого середовища на тиск лазерних ударних хвиль	65
63. Скоренький Ю. Л. Перспективні шляхи використання ресурсів MOOC у курсі фізики для технічних спеціальностей	66
64. Алфавітний покажчик	67
65. Зміст	68

Content

1. Redaktsiini storinky	1
MATEMATICHNE MODELIUVANNIA
2. Shablii O. M., Korol O. I., Tsymbaliuk L., Berezhenko B. M., Bazar M. S. Doslidzhennia pytomoi potuzhnosti v kolesi, yaka zatrachaietsia dlia yoho nahrivannia	5
3. Shablii O. M., Mykhailyshyn M. S., Hashchyn N. B., Khomitskyi B. Znakhodzhennia zadanoho temperaturnoho polia pry teplovii posadtsi tsylindrychnykh obolonok	6
4. Bazar M. S., Shablii O. M., Pulka Ch. V., Tsymbaliuk L., Korol O. I. Model enerhii mahnitnoho polia induktsiinykh nahrivalnykh pryladiv	7
5. Bodnar D., Bubniak M., Kovalchuk O. Umovy zbizhnosti 1-periodychnoho hilliastoho lantsiuhovoho drobu spetsialnoho vyhliadu	8
6. Duda O. Formuvannia vektora vkhidnykh danykh neiromerezhi	9
7. Kmit P., Lupenko S. A. Vykorystannia prykhovanoi markovskoi modeli v systemakh detektuvannia emotykoniv	10
8. Lutsik N., Lupenko S. A. Liniinyi tsyklichnyi vypadkovyi protses yak konstruktyvna matematychna model syhnaliv sertsia	11
9. Mikhailishin V., Semenishin H. M. Nestatsionarne temperaturne pole tsylindrychnoi obolonky pry yii lokalnomu poverkhnevomu nahrivi	12
10. Mikhailishin M., Holovatii B. Z. Doslidzhennia vplyvu dodatkovoho pidihrivu pislia zvariuvannia na rozpodil zalyshkovykh zvariuvalnykh napruzhen i deformatsii	13
11. Mlynko B., Fryz M. Ye., Yaskilka V. Umovni liniini protsesy v zadachakh matematychnoho modeliuvannia periodychnykh vypadkovykh syhnaliv	14
12. Proshyn S., Shymchuk H. V., Maievskyi O. Otsinka matematychnoho spodivannia intensyvnosti vodospozhyvannia kholodnoi vody uprodovzh doby	15
13. Stadnik M. Liniinyi vypadkovyi protses yak matematychna model zorovoho vyklykanoho potentsialu	16
14. Stadnik N. Zastosuvannia protsesiv avtorehresii ta kovznoho serednoho v zadachakh ekonometryky	17
INFORMATSIINI SYSTEMY
15. Priimak M. V., Proshin S. Iu. Vyznachennia staniv enerhonavantazhen dlia yikh analizu na osnovi periodychnoho lantsiuha Markova	18
16. Hotovich V. A. Informatsiina systemy doslidzhennia yakosti elektroenerhii	19
17. Hlado Iu. B., Duda O., Matsiuk O. V. Intehratsiia neiromerezhi v systemu kontroliu y obliku telemetrychnykh pokaznykiv	20
18. Zharovskii R. O. Informatsiina systema modeliuvannia i obrobky seismichnykh syhnaliv	21
19. Zahorodna N. V., Nazarevich O. B., Friz M. Realizatsiia rehresiinoho analizu hazospozhyvannia z vykorystanniam paketu Matlab	22
20. Nazarevich O. B. Informatsiina tekhnolohiia monitorynhu hazospozhyvannia mista	23
21. Piontko N. V., Karpinskyi M. Avtomatychna identyfikatsiia zmazanykh zobrazhen	24
22. Chykhira I. V., Zolotyi R. Z., Mykytyshyn A. Analiz semantychnykh merezh ta yikh zviazok z reliatsiinymy bazamy danykh	25
23. Nikolaichuk Ia. M., Shariak V. Doslidzhennia iierarkhichno-reliatsiinoi modeli bazy danykh v teoretyko-chyslovomu bazysi Halua	26
KOMPIUTERNI SYSTEMY TA MEREZHI
24. Vyshnevskyi V., Polishchuk H. Ye. Metod analizu iierarkhii v zadachakh proektuvannia ta modernizatsii telemedychnykh system	27
25. Lytvynenko Ya. V., Yaskilka V. Ya. Prohramne zabezpechennia dlia sehmentatsii determinovanykh tsyklichnykh funktsii v zadachakh tsyfrovoi obrobky danykh	28
26. Lupenko S. A., Khomiv B. A., Zaburko M. Obgruntuvannia vyboru API dlia informatsiinoi systemy obchyslennia vahovykh koefitsiientiv ta intehralnoi otsinky opinii obiektiv	29
27. Polishchuk H. Ye., Lupenko S. A. Zastosuvannia metodiv mashynnoho navchannia u kardiodiahnostytsi	30
28. Snihur I., Mykhalyk D. Systema upravlinnia kompiuterom na osnovi zhestiv	31
29. Trembach R. B., Pazdrii I. R. Vykorystannia mikrokontrolera dlia pobudovy shyrotno-impulsnoho moduliatora iz zminnym koefitsiientom zapovnennia	32
30. Shtunder O. Optymizatsiia vyboru koefitsiientiv aproksymatsiinoi funktsii bahatokh arhumentiv iz zastosuvanniam intervalnoho analizu danykh	33
31. Kubiv R. V., Osukhivska H. M. Adaptyvna dyferentsialna impulsno-kodova moduliatsiia holosovoho syhnalu v kompiuternykh merezhakh	34
PROHRAMNA INZHENERIIA TA MODELIUVANNIA SKLADNYKH ROZPODILENYKH SYSTEM
32. Bakalets V. V., Kinakh Ya. I. Porivnialnyi analiz tekhnolohii veb-dyzainu SASS ta LESS	35
33. Petrik M., Petrik O. Iu. Matematychne modeliuvannia filtratsiinoi konsolidatsii v bahatokomponentnykh neodnoridnykh tsylindrychnykh seredovyshchakh volohomistkykh porystykh chastynok	36
34. Brevus V. M., Kifer V. M., Ilchyshyn R. Robota z USSD zapitami v OS Android	37
35. Vlasiuk V. V., Iatsishin V., Ladika R. B. Problemy zabezpechennia yakosti arkhitektury prohramnykh system i pidkhid do yikh vyrishennia	38
36. Holovatii A. Rozrobka alhorytmu roboty ta prohramnoho zabezpechennia prystroiu ekonomnoho upravlinnia nahrivachem z zakhystom vid perenapruhy i zamerzannia	39
37. Hrod I. M. Sitkovi modeli v praktytsi upravlinskoi diialnosti	40
38. Kashyrets V., Kinakh Ya. I. Perevahy funktsionalnoi paradyhmy pry rozrobtsi prohramnoho zabezpechennia	41
39. Kolach A., Mikhalik D. Responsive Web Design – kozhnomu prystroiu svoie predstavlennia	42
40. Lutskiv A. M., Kravets O. Rozrobka veb-portalu hrid-oriientovanoi virtualnoi laboratorii	43
41. Lutskiv A. M., Moroz R. Aspekty stvorennia natsionalnoi prohramnoi platformy v ukraini	44
42. Orlov B., Rohatinska L. R. Heolokatsiinyi veb-servis ta mobilnyi kliient dlia iOS dlia anonsiv ta informatsiinykh povidomlen	45
43. Iatsishin V., Deren A. Zabezpechennia yakosti vymoh do prohramnykh system	46
BEZPEKA INFOKOMUNIKATSII
44. Halushka O., Lupenko S. A. Systema autentyfikatsii liudyny za yii dynamichnym pidpysom	47
45. Kozak R. Kerovani operatsii pidstanovky blokovykh shyfriv	48
46. Kozak R. Systemy upravlinnia bezpekoiu	49
47. Lutskiv A. M., Novak N. O. Prohramna systema kryptoanalizu metodom nemozhlyvykh dyferentsialiv	50
48. Shablii N. Metody ta zasoby biometrychnoi autentyfikatsii liudyny za klaviaturnym pocherkom	51
49. Chizh V. M. Heometrychna model identyfikatsii atak na bezdrotovi sensorni merezhi	52
50. Iatsikovska U. O. Metod auntentyfikatsii marshrutyzatora za dopomohoiu skhemy slovnyka	53
NOVITNI FIZYKO-TEKHNICHNI TA OSVITNI TEKHNOLOHII
51. Boichuk V., Bilynskyi I., Sokolnyk O. Matematychni modeli doslidzhennia kvantovykh tochok iz vrakhuvanniam realnoi zonnoi struktury krystalu	54
52. Vasilenko Ia. P. Pro vybir movy dlia vyvchennia prohramuvannia v navchalnykh zakladakh	55
53. Vozniuk S., Matsiuk V., Fedachkivskyi V. D. Aproksymatsiia danykh navchalnoho fizychnoho eksperymentu yak alternatyva neavtomatyzovanym metodam obrobky rezultativ vymiriuvan	56
54. Hul R. V. Mozhlyvist vykorystannia u yakosti hazovykh sensoriv heterostruktur SnO2-SI vyhotovlenykh metodom pirolizu	57
55. Dovhop’iatii Iu. M. Vykorystannia lektsiinykh demonstratsii v kursi zahalnoi fizyky	58
56. Drohobytskyi Yu. V., Fedachkivskyi V. Aproksymatsiia ostsyliatsii frantsa–keldysha spektriv moduliatsiinoho fotovidbyvannia epitaksiinykh plivok LT–GaAs, LT–(Ga,Mn)As	59
57. Kramar O. I., Skorenkyi Yu. L., Didukh L. D. Osoblyvosti realizatsii spontannoho feromahnitnoho vporiadkuvannia v systemakh z anderson-habbardivskymy tsentramy	60
58. Kulchitskii V. Formuvannia fundamentalnykh fizychnykh poniat u protsesi vyvchennia elektromahnitnoi induktsii ta vykhrovoho elektrychnoho polia u studentiv tekhnichnykh spetsialnostei vuziv	61
59. Mokhun S. V., Didora T. D., Bachynskyi Yu. Realizatsiia dystantsiinoi formy navchannia v pedahohichnykh vuzakh na prykladi enmk "mekhanika" dlia studentiv spetsialnosti "Fizyka"	62
60. Nikiforov Yu., Kovaliuk B. P., Mocharskyi V. S. Osoblyvosti mikrotverdosti zvorotnoi poverkhni midnoi folhy pislia nanosekundnoi impulsnoi lazernoi obrobky	63
61. Rokitskyi O. M. Pershyi prezydent ukrainskoi Akademii nauk	64
62. Sitkar O., Nikiforov Yu. Vplyv sferychnosti poverkhni prozoroho kondensovanoho seredovyshcha na tysk lazernykh udarnykh khvyl	65
63. Skorenkii Iu. L. Perspektyvni shliakhy vykorystannia resursiv MOOC u kursi fizyky dlia tekhnichnykh spetsialnostei	66
64. Alfavitnyi pokazhchyk	67
65. Zmist	68