Kvantlangan davlat tizimlari usuli - Quantized state systems method

The kvantlangan davlat tizimlari (QSS) usullari davlatni kvantlash g'oyasiga asoslangan raqamli integral echuvchilar oilasi, ikkilamchi an'anaviy diskretizatsiya g'oyasiga raqamli echim usullari, muammoga yaqinlashadigan diskretlashtiruvchi vaqt va har bir ketma-ket vaqt qadamida keyingi (haqiqiy baholangan) holat uchun echim, QSS usullari vaqtni doimiy mavjudot sifatida saqlaydi va buning o'rniga kvantlash Buning o'rniga tizimning holati vaqt bunda davlat o'z kvantlangan qiymatidan a ga chetga chiqadi kvant.

Ular klassik algoritmlarga nisbatan juda ko'p afzalliklarga ega bo'lishlari mumkin.^[1]Ular o'zlarining diskret hodisalari va asinxron tabiati tufayli tizimdagi uzilishlarni modellashtirishga imkon beradi. Ular, shuningdek, aniq ildiz topishga va noldan foydalanishni aniqlashga imkon beradi aniq algoritmlar, takrorlash zaruriyatidan qochish --- haqiqat, qattiq tizimlar uchun juda muhimdir, bu erda an'anaviy vaqtni qadamlash usullari keyingi tizim holati uchun aniq echimini topish talabidan kelib chiqqan holda og'ir hisoblash jazosini talab qiladi. Va nihoyat, QSS usullari quyida tavsiflangan global barqarorlik va xatolar chegaralarini qondiradi, ular klassik echim texnikasi tomonidan qoniqtirilmaydi.

Shuning uchun QSS usullari o'zlarining tabiatiga ko'ra yaxshilab modellashtirilgan DEVS rasmiyatchilik, a diskret voqea hisoblash modeli, shakllanadigan an'anaviy usullardan farqli o'laroq diskret vaqt modellari doimiy vaqt tizim. Shuning uchun ular amalga oshirildi [PowerDEVS], bunday diskret voqea tizimlari uchun simulyatsiya dvigateli.

Nazariy xususiyatlar

2001 yilda Ernesto Kofman isbotladi^[2] kvantlangan holatni simulyatsiya qilish uslubining ajoyib xususiyati: ya'ni texnikani echishda foydalanilganda barqaror chiziqli vaqt o'zgarmas (LTI) tizimi, global xato kvantga mutanosib, ammo (juda muhim) simulyatsiya davomiyligidan mustaqil bo'lgan doimiy bilan chegaralanadi. Aniqrog'i, bilan barqaror ko'p o'lchovli LTI tizimi uchun holatga o'tish matritsasi ${ displaystyle A}$ va kirish matritsasi ${ displaystyle B}$, [CK06] da mutlaq xato vektori ko'rsatilgan ${ displaystyle { vec {e}} (t)}$ bilan chegaralangan

${ displaystyle chap | { vec {e}} (t) o'ng | leq chap | V o'ng | chap | Re chap ( Lambda o'ng) ^ {- 1} Lambda o'ng | chap | V ^ {- 1} o'ng | Delta { vec {Q}} + chap | V o'ng | chap | Re chap ( Lambda o'ng) ^ {- 1} V ^ {- 1} B o'ng | Delta { vec {u}}}$

qayerda ${ displaystyle Delta { vec {Q}}}$ holat kvantining vektori, ${ displaystyle Delta { vec {u}}}$ kirish signallarida qabul qilingan kvantli vektor, ${ displaystyle V Lambda V ^ {- 1} = A}$ bo'ladi o'ziga xos kompozitsiya yoki Iordaniya kanonik shakli ning ${ displaystyle A}$va ${ displaystyle left | , cdot , right |}$ element-donolikni bildiradi mutlaq qiymat operatori (bilan aralashtirmaslik kerak aniqlovchi yoki norma ).

Shunisi e'tiborga loyiqki, ushbu ajoyib xato narxga to'g'ri keladi: barqaror LTI tizimi uchun global xato ham ma'lum ma'noda cheklangan quyida kvantning o'zi tomonidan, hech bo'lmaganda birinchi darajali QSS1 usuli uchun. Buning sababi, agar taxminiylik bir-biriga to'g'ri kelmasa aniq to'g'ri qiymat bilan (voqea sodir bo'ladi deyarli aniq sodir bo'lmaydi), u muvozanat atrofida tebranishni davom ettiradi, chunki holat har doim (ta'rifi bo'yicha) muvozanatdan tashqarida aniq bir kvant bilan o'zgarishiga kafolat beradi. Ushbu holatdan qochish kvantni shunga o'xshash tarzda dinamik ravishda pasaytirish uchun ishonchli texnikani topishni talab qiladi moslashuvchan qadam o'lchovi an'anaviy diskret vaqt simulyatsiya algoritmlarida usullar.

Birinchi darajali QSS usuli - QSS1

Qilsin boshlang'ich qiymat muammosi quyidagicha ko'rsatilishi kerak.

${ displaystyle { nuqta {x}} (t) = f (x (t), t), quad x (t_ {0}) = x_ {0}.}$

QSS1 deb nomlanuvchi birinchi tartibli QSS usuli yuqoridagi tizimga taxminan yaqinlashadi

${ displaystyle { nuqta {x}} (t) = f (q (t), t), quad q (t_ {0}) = x_ {0}.}$

qayerda ${ displaystyle x}$ va ${ displaystyle q}$ a bilan bog'liq histeretik kvantlash funktsiyasi

${ displaystyle q (t) = { begin {case} x (t) & { text {if}} left | x (t) -q (t ^ {-}) right | geq Delta Q q (t ^ {-}) & { text {aks holda}} end {case}}}$

qayerda ${ displaystyle Delta Q}$ deyiladi a kvant. Ushbu kvantlash funktsiyasi ekanligiga e'tibor bering histeretik chunki u bor xotira: uning chiqishi nafaqat joriy holatning funktsiyasi ${ displaystyle x (t)}$, lekin bu uning eski qiymatiga ham bog'liq, ${ displaystyle q (t ^ {-})}$.

Shuning uchun ushbu formulatsiya holatni qismli doimiy funktsiya bilan yaqinlashtiradi, ${ displaystyle q (t)}$, bu holat uning holatini bir kvantga yaqinlashishi bilanoq yangilaydi.

The ko'p o'lchovli ushbu tizimning formulasi yuqoridagi bir o'lchovli formuladan deyarli bir xil: the ${ displaystyle k ^ { text {th}}}$ kvantlangan holat ${ displaystyle q_ {k} (t)}$ tegishli holatning funktsiyasi, ${ displaystyle x_ {k} (t)}$va holat vektori ${ displaystyle { vec {x}} (t)}$ bu butun kvantlangan davlat vektorining funktsiyasi, ${ displaystyle { vec {q}} (t)}$:

${ displaystyle { vec {x}} (t) = f ({ vec {q}} (t), t)}$

Yuqori darajadagi QSS usullari - QSS2 va QSS3

Ikkinchi tartibli QSS usuli QSS2 QSS1 bilan bir xil printsipga amal qiladi, faqat u belgilaydi ${ displaystyle q (t)}$ kabi qismli chiziqli traektoriyaning yaqinlashishi ${ displaystyle x (t)}$ Ikkala bir-biridan bir kvant bilan farq qilishi bilanoq, u o'z traektoriyasini yangilaydi, naqsh kvantlangan holatni aniqlaydigan yuqori darajadagi taxminlar uchun davom etadi ${ displaystyle q (t)}$ tizim holatining ketma-ket yuqori tartibli polinom yaqinlashuvi sifatida.

Shuni ta'kidlash kerakki, doimiy ravishda tizimni modellashtirish uchun o'zboshimchalik bilan buyurtma berishning QSS usulidan foydalanish mumkin bo'lsa ham, to'rtdan yuqori tartib usullarini ishlatish kamdan-kam hollarda maqsadga muvofiqdir. Abel-Ruffini teoremasi keyingi kvantlash vaqti, ${ displaystyle t}$, (umuman) bo'lishi mumkin emas aniq hal qilindi uchun algebraik tarzda polinom yaqinlashishi to'rtdan katta darajaga ega bo'lganda va shuning uchun a yordamida takroriy ravishda yaqinlashtirilishi kerak ildiz topish algoritmi. Amalda, QSS2 yoki QSS3 ko'plab muammolar uchun etarli ekanligini isbotlaydi va yuqori darajadagi usullardan foydalanish qo'shimcha foyda keltirmaydi, agar mavjud bo'lsa.

Orqaga QSS usuli - BQSS

Ushbu bo'lim bo'sh. Siz yordam berishingiz mumkin unga qo'shilish. (2013 yil may)

Lineer ravishda yopiq QSS usuli - LIQSS

Ushbu bo'lim bo'sh. Siz yordam berishingiz mumkin unga qo'shilish. (2013 yil may)

Dasturiy ta'minotni amalga oshirish

QSS Metodlari diskret hodisalar tizimi sifatida amalga oshirilishi va har qandayida taqlid qilinishi mumkin DEVS simulyator.

QSS usullari asosiy raqamli echimni tashkil qiladi PowerDEVS[BK011] dasturiy ta'minot Shuningdek, ular mustaqil versiya sifatida amalga oshirildi.

Adabiyotlar

• [CK06] Francois E. Cellier & Ernesto Kofman (2006). Uzluksiz tizim simulyatsiyasi (birinchi nashr). Springer. ISBN  978-0-387-26102-7.
• [BK11] Bergero, Federiko va Kofman, Ernesto (2011). "PowerDEVS: gibrid tizimni modellashtirish va real vaqtda simulyatsiya qilish vositasi" (birinchi tahrir). Xalqaro kompyuter simulyatsiyasi jamiyati, San-Diego.

Tashqi havolalar

• QSS metodlarini mustaqil ravishda amalga oshirish
• SourceForge-dagi PowerDEVS