Вісник Національного університету “Львівська політехніка”

Вісник Національного університету «Львівська політехніка»

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

Вісник Національного університету «Львівська політехніка» : [збірник наукових праць] / Міністерство освіти і науки України, Національний університет «Львівська політехніка». – Львів : Видавництво Національного університету «Львівська політехніка», 2000. – № 406 : Інформаційні системи та мережі / відповідальний редактор В. В. Пасічник. – 250 с. : іл.

Зміст

1. Титульний аркуш до Вісника “Інформаційні системи та мережі”	1
2. Батюк А. Є., Кравчук Г. Т., Кісь Я. П. Експертні системи в управлінні охороною праці на підприємстві	3
3. Бобало І. Ю., Катренко А. В. Представлення оцінок у слабоструктурованій системі переваг ОПР	8
4. Бобало І. Ю., Катренко А. В. Алгебра оцінок у слабоструктурованій системі переваг ОПР	21
5. Буров Є. В. Автоматизація аналізу функціональної структури розподіленої інформаційної системи	39
6. Буров Є. В. Система формальних специфікацій для проектування розподілених інформаційних систем	50
7. Верес О. М. Побудова множини критеріїв оптимізації укладання розкладу навчальних занять у ВЗО	59
8. Галайко В. М., Пелещишин А. М. Інтелектуальна пошуково-інформаційна система Athéna	66
9. Демидович О. В., Цегелик Г. Г. Критерій для визначення максимального числа копій кожного файла в розподіленій базі даних з копіями	78
10. Жежнич П. І. Функціональні залежності в часовій реляційній моделі	84
11. Жежнич П. І., Пелещишин А. М. Історична інформаційна система “Електронний музей”	91
12. Захарія Л. М. Алгебро-граматичні формалізми автоматизації проектування алгоритмічних знань предметних областей	101
13. Івашків А. М., Литвин В. В. Проблема класифікації інтелектуальних інформаційних систем	112
14. Кардаш Я. А. Методика видобування знань для однієї базованої на знаннях системі	117
15. Катренко А. В. Стандарти у проектуванні та експлуатації інформаційних систем	135
16. Катренко С. А., Буров Є. В. Застосування формальних моделей та методів у видобуванні та виявленні знань зі сховищ даних	156
17. Кісь Я. П., Голощук Р. О. Використання інструментальних засобів автоматизованого проектування та розробки прикладних застосувань	164
18. Кульчицький І. М. Використання абстрактних моделей для укладання словників на комп’ютерах	170
19. Литвин В. В., Назаров О. Ю., Чумачєнко С. В. Інтелектуальна інформаційна система планування навчального процесу	179
20. Марунчак Д. Є., Марков М. О. Дослідження характеристик надійності комп’ютерної мережі на структурному рівні	184
21. Муравський Л. І., Фітьо В. М. Оцінка інтерференційного шуму при кореляційному аналізі випадкових бінарних фазових масок в оптичній інформаційній системі	192
22. Пелещишин А. М. Методи та алгоритми оптимізації Web-систем	199
23. Пелещишин О. П. Особливості компоненти підтримки прийняття рішень комплексної інформаційної системи	211
24. Тарасов Д. О. Основні задачі захисту баз даних	216
25. Щербина М. Ю. Деякі методології моделювання інформаційних систем для internet/intranet	221
26. Філяк М. І., Цегелик Г. Г., Дороцька Х. С. Порівняльний аналіз ефективності методу послідовного перегляду для різних законів розподілу ймовірностей звертання до записів	226
27. Якушев В. С., Чепурний Д. А. Перетворення й опрацювання інформації з використанням алгоритму Кантора і ТЧП	231
28. Яцишин Ю. В., Шаховська Н. Б. Модель управління містом на основі термодинамічних законів	239
29. Зміст до Вісника “Інформаційні системи та мережі”	248

Content

1. Tytulnyi arkush do Visnyka "Informatsiini systemy ta merezhi"	1
2. Batiuk A. Ye., Kravchuk H. T., Kis Ya. P. Ekspertni systemy v upravlinni okhoronoiu pratsi na pidpryiemstvi	3
3. Bobalo I. Yu., Katrenko A. V. Predstavlennia otsinok u slabostrukturovanii systemi perevah OPR	8
4. Bobalo I. Yu., Katrenko A. V. Alhebra otsinok u slabostrukturovanii systemi perevah OPR	21
5. Burov Ye. V. Avtomatyzatsiia analizu funktsionalnoi struktury rozpodilenoi informatsiinoi systemy	39
6. Burov Ye. V. Systema formalnykh spetsyfikatsii dlia proektuvannia rozpodilenykh informatsiinykh system	50
7. Veres O. M. Pobudova mnozhyny kryteriiv optymizatsii ukladannia rozkladu navchalnykh zaniat u VZO	59
8. Halaiko V. M., Peleshchishin A. M. Intelektualna poshukovo-informatsiina systema Athéna	66
9. Demidovich O. V., Tsehelik H. H. Kryterii dlia vyznachennia maksymalnoho chysla kopii kozhnoho faila v rozpodilenii bazi danykh z kopiiamy	78
10. Zhezhnych P. I. Funktsionalni zalezhnosti v chasovii reliatsiinii modeli	84
11. Zhezhnych P. I., Peleshchyshyn A. M. Istorychna informatsiina systema "Elektronnyi muzei"	91
12. Zakhariia L. M. Alhebro-hramatychni formalizmy avtomatyzatsii proektuvannia alhorytmichnykh znan predmetnykh oblastei	101
13. Ivashkiv A. M., Lytvyn V. V. Problema klasyfikatsii intelektualnykh informatsiinykh system	112
14. Kardash Ia. A. Metodyka vydobuvannia znan dlia odniiei bazovanoi na znanniakh systemi	117
15. Katrenko A. V. Standarty u proektuvanni ta ekspluatatsii informatsiinykh system	135
16. Katrenko S. A., Burov Ye. V. Zastosuvannia formalnykh modelei ta metodiv u vydobuvanni ta vyiavlenni znan zi skhovyshch danykh	156
17. Kis Ya. P., Holoshchuk R. O. Vykorystannia instrumentalnykh zasobiv avtomatyzovanoho proektuvannia ta rozrobky prykladnykh zastosuvan	164
18. Kulchytskyi I. M. Vykorystannia abstraktnykh modelei dlia ukladannia slovnykiv na kompiuterakh	170
19. Lytvyn V. V., Nazarov O. Yu., Chumachienko S. V. Intelektualna informatsiina systema planuvannia navchalnoho protsesu	179
20. Marunchak D. Ye., Markov M. O. Doslidzhennia kharakterystyk nadiinosti kompiuternoi merezhi na strukturnomu rivni	184
21. Muravskyi L. I., Fito V. M. Otsinka interferentsiinoho shumu pry koreliatsiinomu analizi vypadkovykh binarnykh fazovykh masok v optychnii informatsiinii systemi	192
22. Peleshchishin A. M. Metody ta alhorytmy optymizatsii Web-system	199
23. Peleshchishin O. P. Osoblyvosti komponenty pidtrymky pryiniattia rishen kompleksnoi informatsiinoi systemy	211
24. Tarasov D. O. Osnovni zadachi zakhystu baz danykh	216
25. Shcherbina M. Iu. Deiaki metodolohii modeliuvannia informatsiinykh system dlia internet/intranet	221
26. Filiak M. I., Tsehelyk H. H., Dorotska Kh. S. Porivnialnyi analiz efektyvnosti metodu poslidovnoho perehliadu dlia riznykh zakoniv rozpodilu ymovirnostei zvertannia do zapysiv	226
27. Iakushev V. S., Chepurnii D. A. Peretvorennia y opratsiuvannia informatsii z vykorystanniam alhorytmu Kantora i TChP	231
28. Iatsishin Iu. V., Shakhovska N. B. Model upravlinnia mistom na osnovi termodynamichnykh zakoniv	239
29. Zmist do Visnyka "Informatsiini systemy ta merezhi"	248

	views
August 2024	0
September 2024	0
October 2024	0
November 2024	0
December 2024	0
January 2025	0
February 2025	0

	views
2000n406_Burov_Ie_V-Systema_formalnykh_spetsyfikatsii_50-59.pdf	2
2000n406_Burov_Ie_V-Systema_formalnykh_spetsyfikatsii_50-59__COVER.png	1

Statistics for Система формальних специфікацій для проектування розподілених інформаційних систем

Total visits

Total visits per month

File Visits