Katta muhandislik tizimlarida hamma narsani to'g'ridan-to'g'ri o'lchash ko'pincha mumkin emas. Elektr tarmog'ida barcha ichki dinamikani, turbina ichidagi har bir tebranish xatti-harakatini yoki infratuzilma tizimidagi barcha yashirin shikast holatlarini sensorlar bilan to'liq ko'ra olmaymiz.

Shunga qaramay, tizim xavfsiz ishlayotgan-yo'qligini tushunishni xohlaymiz. Buning uchun quyidagi savollar muhim:

• Tizim ichida o'lchay olmaydigan holatlar nima bo'lishi mumkin?
• Noma'lum parametrlar vaqt o'tishi bilan qanday o'zgaradi?
• Bir quyi tizimdagi noaniqlik boshqa quyi tizimga ta'sir qiladimi?
• Cheklangan va shovqinli sensor ma'lumotlari bilan ishonchli bashorat qilish mumkinmi?
• Katta tizimlarda bu hisob-kitob maqul vaqt ichida amalga oshiriladimi?

Bunday savollar «teskari muammo» deb ataladi. Odatda to'g'ri muammoda tizim holatini bilib, natijani hisoblaymiz. Teskari muammoda esa natijadan kelib chiqib, tizimning ichki holatini tushunishga harakat qilamiz.

Masalan, turbina bo'yicha ba'zi tebranish o'lchovlari qo'limizda bo'lishi mumkin. Ammo ichkaridagi eskirish, qattiqlik o'zgarishi yoki ulanish ta'sirlari to'g'ridan-to'g'ri o'lchanmasligi mumkin. Tadqiqotning asosiy qiziqish nuqtasi — bu ko'rinmas ma'lumotlarni yanada ishonchli va kengaytiriladigan tarzda bashorat qilishdir.

Klassik yondashuv: hamma narsani bitta katta modelda jamlash

Muhandislikda keng tarqalgan yondashuvlardan biri butun tizimni bitta katta model sifatida ko'rishdir. Buni markaziy yoki monolitik modellashtirish deb atash mumkin.

Bu usulda tizimning barcha holatlari, parametrlari va noaniqliklari bitta ulkan tuzilmada jamlanadi. Nazariy jihatdan bu kuchli yondashuv; chunki barcha qismlar bir tom ostida birgalikda baholanadi.

Biroq katta tizimlarda jiddiy muammolar paydo bo'lishi mumkin:

• Model hajmi tez o'sadi.
• Hisob-kitob narxi ortadi.
• Turli fizika sohalarini bitta modelda birlashtirish qiyinlashadi.
• Har bir quyi tizim uchun bir xil matematik tuzilma talab qilinishi mumkin.
• Butun tizim uchun katta kovariatsiya/noaniqlik matritsasini saqlash qimmatga tushadi.

Ayniqsa zamonaviy infratuzilmalar yuzlab yoki minglab komponentlardan iborat bo'lishi mumkin. Elektr, mexanik, gidravlik va boshqaruv tizimlari bir tarmoq ichida o'zaro ta'sir qilishi mumkin. Bu holatda hamma narsani bitta ulkan tenglamalar to'plamiga siqish ham qiyin, ham qimmat bo'lishi mumkin.

Yangi g'oya: tizimni quyi tizimlar sifatida ko'rish

Ushbu tadqiqotning asosiy g'oyasi tizimni tabiiy tuzilishiga ko'ra qismlarga ajratishdir.

Tadqiqotchilar muhandislik tizimini grafik kabi ifodalashadi. Grafikda har bir tugun bir quyi tizimni, har bir bog'lanish ikki quyi tizim o'rtasidagi o'zaro ta'sirni ko'rsatadi.

Buni elektr tarmog'i uchun tasavvur qilaylik. Har bir mintaqa, generator guruhi yoki bog'langan kichik tarmoq quyi tizim bo'lishi mumkin. Turbinada gidravlik qism, boshqaruvchi, aylanuvchi qism, generator tebranishi va rotor/runner dinamikasi alohida quyi tizimlar bo'lishi mumkin.

Har bir quyi tizim o'zining mahalliy modeli va bashorat usulini saqlab qoladi. Bir quyi tizim mexanik tenglamalar bilan ishlashi, boshqasi mashina o'rganishiga asoslangan modeldan foydalanishi, yana biri deterministik boshqaruvchi bo'lishi mumkin. Muhimi — bu qismlar bir-biri bilan ma'noli xabarlar orqali muloqot qila olishidir.

«Xabar» nima degani?

Maqoladagi eng muhim tushunchalardan biri «interface message», ya'ni interfeys xabaridir.

Quyi tizimlar bir-biridan butunlay mustaqil emas. Mexanik qismning kuchi boshqa qismga ta'sir qilishi mumkin. Elektr tarmog'idagi quvvat oqimi qo'shni mintaqaga ta'sir qilishi mumkin. Turbinaning gidravlik xatti-harakati aylanish dinamikasiga, u esa generator tomoniga ta'sir qilishi mumkin.

Bu o'zaro ta'sirlar interfeys o'zgaruvchilari orqali uzatiladi. Interfeys o'zgaruvchilari fizik ma'noga ega kattaliklardir:

• Kuch
• Oqim
• Tok
• Moment
• Quvvat almashinuvi
• Tebranish ta'siri
• Bosim yoki gidravlik o'zgarish

Ushbu tadqiqotda quyi tizimlar faqat bitta son yubormaydi. Muhimiroq jihati — ba'zi hollarda bu ma'lumotning noaniqligini ham yuborishidir.

Ya'ni xabar quyidagicha bo'lishi mumkin:

«Mening bashoratimga ko'ra senga keladigan kuch shuncha; lekin bu bashoratning noaniqligi ham shu darajada.»

Bu farq juda muhim. Chunki muhandislik tizimlarida faqat bashorat qiymati emas, balki o'sha bashoratga qanchalik ishonish ham muhim bo'lishi mumkin.

Formulaning sodda ma'nosi: quyi tizim o'z modelini ishga tushiradi

Maqoladagi asosiy model quyidagi g'oyani ifodalaydi:

Bir quyi tizimning chiqishi = o'z holati + o'z kirishi + o'z parametrlari + qo'shnilardan kelgan xabarlar

Texnik yozuvda bu mantiq quyidagicha ifoda bilan ko'rsatiladi:

yi = Mi(xi, ui; θi, min_i)

Buni soddalashtiraylik:

yi, quyi tizimning o'lchanadigan chiqishidir.
Mi, o'sha quyi tizimning modelidir.
xi, quyi tizimning ichki holatidir.
ui, tashqaridan keladigan kirishlardir.
θi, noma'lum yoki bashorat qilinadigan parametrlardir.
min_i, qo'shni quyi tizimlardan kelgan xabarlardir.

Bu formulaning o'quvchiga beradigan asosiy xabari shudir:

Quyi tizim faqat o'z ma'lumotiga qaramaydi. Qo'shnilardan keladigan fizik ta'sirlarni ham hisobga oladi. Lekin buni butun tizimni bitta ulkan modelda jamlash o'rniga, mahalliy model + xabar almashish tartibi bilan amalga oshiradi.

Noaniqlik nima uchun xabar ichida uzatilishi kerak?

Tadqiqotning eng o'rgatuvchi qismi shu yerda boshlanadi.

Quyi tizim qo'shnisiga faqat «kuch shuncha» desa, qabul qiluvchi tizim bu qiymatni aniq deb ishlatishi mumkin. O'zi esa bu kuch bashorat qilingan bo'lishi va ichida noaniqlik bo'lishi mumkin.

Agar noaniqlik xabar bilan birga uzatilmasa, tizim o'zidan ortiqcha ishonchli bo'lib qolishi mumkin. Bu, ayniqsa xavfsizlik va infratuzilma monitoringi nuqtai nazaridan xavfli holatdir. Chunki bashorat haqiqatga yaqin ko'rinsa ham, tizim noaniqlik past deb o'ylashi mumkin.

Maqoladagi yay-massa misolida bu aniq ko'rsatilgan. Deterministik xabar almashish, ya'ni faqat o'rtacha qiymat yuborish, yashirin holatlarni bashorat qilishda foydali bo'lishi mumkin. Ammo noaniqlik kalibratsiyasi zaiflashadi. Ehtimoliy xabar almashish esa ham o'rtacha bashoratni, ham noaniqlikni uzatgani uchun ishonchliroq noaniqlik diapazonini ta'minlaydi.

Kuch noaniqligi formulasi nima deydi?

Maqolada yay-so'ndirgich ulanishi uchun ishlatiladigan muhim formulalardan biri quyidagidir:

var(Fb) = aᵀ(Ps1 + Ps2)a

Bu formula birinchi qaraganda texnik ko'rinishi mumkin. Lekin ma'nosi aniq.

Fb, ikki quyi tizim o'rtasidagi ulanish kuchidir.
var(Fb), bu kuch bashoratining noaniqligidir.
Ps1 va Ps2, ikki quyi tizimning interfeys holatlariga tegishli noaniqliklarni ko'rsatadi.
a, yay va so'ndirish koeffitsientlarini ifodalovchi koeffitsient vektoridir.

Sodda ma'nosi shudir:

«Ikki quyi tizimning ulanish nuqtasidagi noaniqliklar qanchalik katta bo'lsa, ular orasidagi kuch bashoratining noaniqligi ham shunchalik ortadi.»

Bu muhim yondashuv. Chunki noaniqlik tasodifiy qo'shilmaydi. Fizik ulanish qonunidan hisoblab, boshqa tizimga uzatiladi. Ya'ni tizim «ishonchim yo'q» ma'lumotini matematik tarzda qo'shnisiga yetkazadi.

1-rasm nima deydi?

Maqoladagi birinchi katta rasm tadqiqotning asosiy arxitekturasini umumlashtiradi.

Rasmda avval klassik monolitik model ko'rsatiladi: butun tizim bitta katta blok kabi o'ylab olinadi. Keyin tizimning kichik qismlarga bo'lingani va bu qismlarning grafik orqali xabar almashishi ko'rsatiladi.

Bu tasvirning eng muhim xabari shudir:

Katta muhandislik tizimi bitta ulkan model bo'lishi shart emas. Tizimning tabiiy quyi tuzilmalari saqlanishi mumkin. Har bir quyi tizim o'z modelini ishga tushiradi, qo'shnilari bilan interfeys xabarlari orqali aloqa qiladi.

Rasm uch xil xabar turini ham ko'rsatadi:

• Deterministik xabar: faqat qiymat yuboriladi.
• Ehtimoliy xabar: qiymat bilan birga noaniqlik ham yuboriladi.
• O'rganilgan xabar: ulanish qonuni noma'lum bo'lsa, ma'lumotdan o'rganilishi mumkin.

Bu tadqiqotning asosiy g'oyasini bitta tasvirda umumlashtiradi: bo'lingan tizim, mahalliy bashorat, xabar almashish va noaniqlik uzatish.

Birinchi tajriba: yay-massa tizimi

Tadqiqotchilar avval sodda, lekin o'rgatuvchi mexanik tizimdan foydalanadi. To'rtta massadan iborat yay-so'ndirgich zanjir ikki quyi tizimga bo'linadi. Har bir quyi tizim faqat chegaradagi tezlanish o'lchovini ko'radi. Ichki holatlar yashirin qoladi. Bundan tashqari, bir qattiqlik parametri noma'lum va bashorat qilinmoqda.

Bu tajribaning maqsadi «quyi tizimlar bir-biriga qanday ma'lumot uzatishi kerak?» savolini ajratib o'rganishdir.

Uch usul solishtiriladi:

• Markaziy UKF: butun tizim bitta modelda yechiladi.
• Deterministik Jacobi: quyi tizimlar faqat o'rtacha xabar yuboradi.
• Ehtimoliy Jacobi: quyi tizimlar o'rtacha bilan birga noaniqlik ham yuboradi.

Natijalarning asosiy xabari shudir:
Uch usul ham nuqtaviy bashoratlarda o'xshash natijalar berishi mumkin. Lekin noaniqlik kalibratsiyasida farq paydo bo'ladi. Deterministik xabar almashish interfeysdan kelgan noaniqlikni uzatmagani uchun ishonch intervali haqiqiy noaniqlikni yetarlicha aks ettirmasligi mumkin. Ehtimoliy xabar almashish esa markaziy usulga yaqinroq va yaxshiroq kalibrlangan noaniqlik xatti-harakatini ko'rsatadi.

Bu natija faqat muhandislar uchun emas, umumiy o'quvchi uchun ham muhim dars beradi:

Bashoratning to'g'ri bo'lishi qadar, unga qanchalik ishonish kerakligini bilish ham muhimdir.

Ikkinchi tajriba: elektr tarmoqlarida kengaytirish

Ikkinchi tajribada usul IEEE quvvat tarmog'i sinov tizimlarida sinovdan o'tkaziladi. Tarmoq hajmi 9 baradan 300 baragacha kattalashtiriladi. Bu yerda maqsad — usulning katta infratuzilma tizimlarida hisob-kitob jihatidan afzallik berish-yo'qligini ko'rish.

Markaziy yondashuvda butun tarmoq bitta katta bashorat muammosiga aylanadi. Bu tizim kattalashgan sari narxni tez oshiradi. Tadqiqotda markaziy UKF taxminan kubik miqyoslashgani, ya'ni tizim kattalashgan sari hisob-kitob narxi juda tez oshgani qayd etilgan.

Taqsimlangan yondashuvda tarmoq quyi tizimlarga bo'linadi. Har bir quyi tizim cheklangan hajmda qoladi va o'zining mahalliy UKF filtrini ishga tushiradi. Shuning uchun umumiy ish tizimning kubi bilan emas, quyi tizimlar soni bilan yaqinroq bog'liq bo'ladi.

Maqoladagi natijalarga ko'ra 300 barali holatda taqsimlangan usul bitta yadroli ketma-ket ishlashda markaziy usulga nisbatan taxminan 16 baravar tezroq. Har bir quyi tizim uchun parallel yadro faraz qilinganda bu tezlashtirish taxminan 160 baravarigacha yetishi mumkin.

Bu topilma usulning asosiy kuchini ko'rsatadi:
Maqsad faqat to'g'ri bashorat qilish emas. Katta infratuzilma tizimlarida bu bashoratni maqul hisob-kitob narxi bilan amalga oshirish ham muhim.

Uchinchi tajriba: turbina va elektr tarmog'i birgalikda

Uchinchi tajriba murakkabroq misoldan foydalanadi. Tadqiqotchilar gidroelektr turbina-generator birligini beshta quyi tizimga bo'ladilar:

• Gidravlik quyi tizim
• Governor/PID boshqaruvchi
• Aylanma dinamikasi quyi tizimi
• Generator tebranishi quyi tizimi
• Runner dinamikasi

Bu quyi tizimlar bir xil turdagi model emas. Ba'zilari mexanik fizika modeli, ba'zilari deterministik boshqaruvchi, ba'zilari Kalman filtri, ba'zilari esa ma'lumotga asoslangan NARX surrogate modelidan foydalanadi.

Bu muhim, chunki haqiqiy muhandislik tizimlari ham shunday. Barcha qismlar bir xil matematik tuzilmaga mos kelmaydi. Ba'zi bo'limlar fizik tenglamalar bilan yaxshi tavsiflanadi, ba'zilari ma'lumotdan o'rganilgan modellar bilan ifodalanadi, ba'zilari boshqaruv algoritmlari bilan boshqariladi.

Keyin bu turbina modeli IEEE 9 barali elektr tarmog'iga joylashtiriladi. Uch generator barasi to'liq turbina quyi tizimlari bilan ifodalanadi. Shunday qilib kichik quyi tizimlardan iborat turbina kattaroq tarmoq grafikining ichiga joylashtiriladi.

Bu tajribaning asosiy xabari shudir:

Quyi tizim tuzilmasi faqat gorizontal emas, balki ierarxik tarzda ham ishlay oladi. Ya'ni bir tizim ichidagi quyi tizimlar kattaroq tizimning tuguniga aylanishi mumkin.

Grafiklar nima ko'rsatadi?

Maqoladagi grafiklar uch asosiy g'oyani qo'llab-quvvatlaydi.

Birinchi grafik guruhi yay-massa tizimida markaziy bashorat, deterministik taqsimlangan bashorat va ehtimoliy taqsimlangan bashoratni solishtiradi. Chiziqlar nuqtaviy bashoratlarda bir-biriga yaqin ko'rinsa, noaniqlik diapazonlari farqlanadi. Bu «o'rtacha bashoratni to'g'ri qilish» bilan «noaniqlikni to'g'ri uzatish» o'rtasidagi farqni ko'rsatadi.

Ikkinchi grafik guruhi quvvat tarmoqlarida aniqlik va hisob-kitob vaqtini ko'rsatadi. Taqsimlangan usul markaziy UKFga yaqin aniqlik berib, ish vaqti jihatidan ancha yaxshi miqyoslanadi. 300 barali misolda markaziy usul tez qimmatlashib ketadi, taqsimlangan usul esa taxminan chiziqli o'sish ko'rsatgani xabar qilinadi.

Uchinchi grafik guruhi ko'p fizikali turbinning tarmoqqa joylashtirilgan holatda ishlashini ko'rsatadi. Tarmoqdagi yuk o'zgarishi turbina tomoniga aks etadi; turbinaning tezlik og'ishi, igna pozitsiyasi va oqim tezligi kabi o'zgaruvchilarga ta'sir qiladi. Shunga qaramay, joylashtirilgan bashorat bilan mustaqil referens bashorat bir-biriga yaqin qolgani qayd etilgan.

Bu grafiklarning umumiy xabari shudir:
Tizim qismlarga bo'lib yechilganda, to'g'ri xabar almashish va noaniqlik uzatish bo'lsa, ham mahalliy bashoratlar saqlanishi, ham katta tizim miqyosida hisob-kitob boshqariladigan bo'lishi mumkin.

Tadqiqot nima deydi?

Tadqiqot quyi tizim tuzilmasining faqat modellashtirish qulayligi emas; shu bilan birga xulosa chiqarish uchun ishlatiladigan kuchli manba ekanligini ta'kidlaydi.

Boshqacha aytganda tadqiqotchilar shuni aytishadi:

Katta tizimlarni yaxshiroq tushunish uchun ularni bitta ulkan modelga aylantirish shart emas. Tizimning tabiiy quyi qismlarini saqlab, har bir qism o'z modelini ishga tushirishi va noaniqlikni interfeyslar orqali uzatishi mumkin.

Uchta holat tadqiqi bu da'voni qo'llab-quvvatlash uchun ishlatiladi:

Birinchi misol seyrek sensor ma'lumotlari sharoitida noaniqlik uzatadigan xabarlar ishonchliroq kalibratsiya berishini ko'rsatadi.

Ikkinchi misol katta quvvat tarmoqlarida taqsimlangan tuzilmaning markaziy usulga yaqin aniqlik bilan ancha yaxshi miqyoslanishini ko'rsatadi.

Uchinchi misol turli fizika modellari va turli bashorat usullarining bir tom ostida ierarxik tarzda birlashtirilishini ko'rsatadi.

Bu nima uchun muhim?

Zamonaviy infratuzilma tizimlari tobora murakkablashmoqda. Elektr tarmoqlari, qayta tiklanadigan energiya manbalari, gidroelektr turbinalar, transport tizimlari, sanoat obyektlari va aqlli shahar infratuzilmalari endi bitta sodda model bilan kuzatib bo'lmaydigan darajada ko'p qavatli.

Bu tizimlarning xavfsiz ishlashi uchun faqat o'lchov olish yetarli emas. O'lchanmaydigan ichki holatlar, noma'lum parametrlar va noaniq o'zaro ta'sirlarni bashorat qilish kerak.

Ushbu tadqiqot raqamli ikizlar nuqtai nazaridan ham muhim. Raqamli ikiz — jismoniy tizimning kompyuter muhitidagi dinamik nusxasi. Lekin haqiqiy raqamli ikizning foydali bo'lishi uchun faqat tizimning o'rtacha xatti-harakatini emas, noaniqliklarini ham kuzatishi kerak.

Quyi tizimga asoslangan ehtimoliy xulosa chiqarish yondashuvi kelajakda yanada kengaytiriladigan, modulli va ishonchliroq raqamli ikizlar yaratish uchun tadqiqot yo'nalishi bo'lishi mumkin.

E'tibor berish kerak bo'lgan nuqtalar

Ushbu tadqiqot kuchli arxitektura g'oyasini taqdim etsa ham, ba'zi cheklovlari bor.

Birinchidan, tadqiqot preprint va hakamlar bahosidan o'tmagan. Shuning uchun topilmalar mustaqil baho va turli qo'llanmalar bilan qo'llab-quvvatlanishi kerak.

Ikkinchidan, usul quyi tizim chegaralarining fizik jihatdan ma'noli tarzda aniqlanishini faraz qiladi. Ba'zi tizimlarda quyi tizim chegaralari aniq bo'lmasligi yoki vaqt o'tishi bilan o'zgarishi mumkin.

Uchinchidan, noaniqlik uzatish mahalliy bashoratchilarning sifati bilan bog'liq. Mahalliy modellar yomon kalibrlangan bo'lsa, xabar almashish tuzilmasi o'zi ishonchlilik yaratmaydi.

To'rtinchidan, elektr tarmog'i va turbina misollari muhim bo'lsa ham, haqiqiy maydondagi qo'llanmalarda sensor xatolari, aloqa kechikishlari, kiberxavfsizlik, texnik xizmat sharoitlari, apparat cheklovlari va regulyatsiya kabi qo'shimcha omillar hisobga olinishi kerak.

Nihoyat, usul yangi filtr yoki mustaqil yangi sun'iy intellekt modeli emas. Asosiy hissa — mavjud modellarni quyi tizim grafigi ichida birlashtiradigan arxitektura tartibidir.

Xulosa

Ushbu tadqiqot katta muhandislik tizimlarini tushunish uchun muhim nuqtai nazarni taqdim etadi: tizimni bitta ulkan modelga aylantirish o'rniga tabiiy quyi tizim tuzilishini saqlab bashorat qilish mumkin.

Har bir quyi tizim o'zining mahalliy modelidan foydalanadi. Qo'shni quyi tizimlar bilan fizik ma'noga ega xabarlarni almashadi. Agar bu xabarlar noaniqlik ma'lumotini ham uzatsa, bashoratlar faqat raqamiy emas, ishonchlilik jihatidan ham ma'noliroq bo'lishi mumkin.

Tadqiqot topilmalari ushbu yondashuvning seyrek sensorli mexanik tizimlarda kalibratsiyani yaxshilashi, katta quvvat tarmoqlarida markaziy usulga yaqin aniqlik bilan yaxshiroq miqyoslanishi va ko'p fizikali turbina tizimlarini ierarxik tarzda tarmoqqa bog'lashi mumkinligini ko'rsatadi.

Bu natijalar haqiqiy dunyoda to'g'ridan-to'g'ri kafolat degani emas. Ammo infratuzilma monitoringi, raqamli ikiz, energiya tizimlari va muhandislik ishonchliligi nuqtai nazaridan muhim tadqiqot yo'nalishini ko'rsatadi:

Katta tizimlarni tushunish yo'li ba'zan ularni bitta qism qilish emas; to'g'ri joylardan bo'lib, qismlarning bir-biriga nima deyayotganini diqqat bilan tinglashdir.

Manba va usul eslatmasi

Bu kontent Esmaeil Ghorbani va Jürgen Hackl tomonidan tayyorlangan «Subsystem Structure as an Inferential Resource for Coupled Engineered Systems» nomli akademik ish asosida Verianla tahririy formatida mustaqil tayyorlangan.

Bu tadqiqot preprint hisoblanadi va hakamlar bahosidan o'tmagan. Kontent ma'lumot va ta'lim maqsadida tayyorlangan. Energiya infratuzilmasi, muhandislik xavfsizligi, raqamli ikiz dizayni, texnik xizmat rejalashtirish yoki maydondagi operatsiyalar uchun professional maslahat o'rnini bosmaydi.