التجزئة

حل لمعادلة تفاضلية جزئية منفصلة، ​​تم الحصول عليها باستخدام طريقة العناصر المحدودة .

في الرياضيات التطبيقية ، يُعرف التقطيع بأنه عملية تحويل الدوال والنماذج والمتغيرات والمعادلات المتصلة إلى نظائر منفصلة . تُجرى هذه العملية عادةً كخطوة أولى لجعلها مناسبة للتقييم العددي والتنفيذ على الحواسيب الرقمية. أما التقطيع الثنائي فهو حالة خاصة من التقطيع، حيث يكون عدد الفئات المنفصلة 2، مما يسمح بتقريب المتغير المتصل كمتغير ثنائي (مما يُنشئ ثنائية لأغراض النمذجة ، كما هو الحال في التصنيف الثنائي ).

يرتبط التقطيع أيضًا بالرياضيات المتقطعة ، وهو عنصر مهم في الحوسبة الحبيبية . في هذا السياق، قد يشير التقطيع أيضًا إلى تعديل حبيبية المتغير أو الفئة ، كما هو الحال عند تجميع متغيرات منفصلة متعددة أو دمج فئات منفصلة متعددة.

عند تحويل البيانات المستمرة إلى بيانات منفصلة ، ​​ينتج دائمًا قدرٌ من خطأ التحويل . والهدف هو تقليل هذا القدر إلى مستوى يُعتبر ضئيلاً لأغراض النمذجة الحالية.

غالباً ما يحمل مصطلحا التقطيع والتكميم نفس الدلالة، لكنهما لا يحملان نفس المعنى الضمني دائماً . (على وجه التحديد، يشترك المصطلحان في حقل دلالي واحد ). وينطبق الأمر نفسه على خطأ التقطيع وخطأ التكميم .

تشمل الطرق الرياضية المتعلقة بالتقطيع طريقة أويلر-ماروياما وطريقة التثبيت من الرتبة الصفرية .

تجزئة نماذج فضاء الحالة الخطية

يهتم التقطيع أيضًا بتحويل المعادلات التفاضلية المستمرة إلى معادلات فرقية منفصلة ، ​​وهي مناسبة للحساب العددي .

نموذج فضاء الحالة المستمر التالي

x˙(ت)=أx(ت)+بu(ت)+w(ت)y(ت)=جx(ت)+دu(ت)+v(ت){\displaystyle {\begin{aligned}{\dot {\mathbf {x} }}(t)&=\mathbf {Ax} (t)+\mathbf {Bu} (t)+\mathbf {w} (t)\\[2pt]\mathbf {y} (t)&=\mathbf {Cx} (t)+\mathbf {Du} (ر)+\mathbf {v} (ر)\end{محاذاة}}}

حيث أن v و w مصدران مستمران للضوضاء البيضاء ذات متوسط ​​صفري وكثافات طيفية للقدرة

w(ت)شمال(0،سؤال)v(ت)شمال(0،R){\displaystyle {\begin{align}\mathbf {w} (t)&\sim N(0,\mathbf {Q} )\\[2pt]\mathbf {v} (t)&\sim N(0,\mathbf {R} )\end{محاذاة}}}

يمكن تقسيمها إلى أجزاء منفصلة، ​​بافتراض ثبات الرتبة الصفرية للمدخل u والتكامل المستمر للضوضاء v ، إلى

x[ك+1]=أدx[ك]+بدu[ك]+w[ك]y[ك]=جدx[ك]+ددu[ك]+v[ك]// {D_{d}u} [ك]+\mathbf {v} [ك]\end{محاذاة}}}

مع التغايرات

w[ك]شمال(0،سؤالد)v[ك]شمال(0،Rد){\displaystyle {\begin{align}\mathbf {w} [k]&\sim N(0,\mathbf {Q_{d}} )\\[2pt]\mathbf {v} [k]&\sim N(0,\mathbf {R_{d}} )\end{محاذاة}}}

أين

أد=هـأتي=ل-1{(sأنا-أ)-1}ت=تيبد=(τ=0تيهـأτدτ)بجد=جدد=دسؤالد=τ=0تيهـأτسؤالهـأτدτRد=R1تي// {B_{d}} &=\left(\int _{\tau =0}^{T}e^{\mathbf {A} \tau }d\tau \right)\mathbf {B} \\[4pt]\mathbf {C_{d}} &=\mathbf {C} \\[8pt]\mathbf {D_{d}} &=\mathbf {D} \\[2pt]\mathbf {Q_{d}} &=\int _ {\tau =0}^{T} e^{\mathbf {A} \tau}\mathbf {Q} e^{\mathbf {A} ^{\top }\tau }d\tau \\[2pt]\mathbf {R_{d}} &=\mathbf {R} {\frac {1}{T}}\end{محاذاة}}}

و T هو زمن أخذ العينات . إذا كانت المصفوفة A غير منفردة ،بد=أ-1(أد-أنا)ب.{\displaystyle \mathbf {B_{d}} =\mathbf {A} ^{-1}(\mathbf {A_{d}} -\mathbf {I} )\mathbf {B} .}

إن معادلة ضوضاء القياس المتقطعة هي نتيجة لتعريف ضوضاء القياس المستمرة بكثافة طيفية للقدرة. [ 1 ]

تتمثل إحدى الحيل الذكية لحساب A d و B d في خطوة واحدة في استخدام الخاصية التالية: [ 2 ] : ص 215

هـ[أب00]تي=[أدبد0أنا]{\displaystyle e^{{\begin{bmatrix}\mathbf {A} &\mathbf {B} \\\mathbf {0} &\mathbf {0} \end{bmatrix}}T}={\begin{bmatrix}\mathbf {A_{d}} &\mathbf {B_{d}} \\\mathbf {0} &\mathbf {I} \end{bmatrix}}}

حيث أن A d و B d هما مصفوفات فضاء الحالة المتقطعة.

تجزئة ضوضاء العملية

يُعدّ التقييم العددي لـ Q d أكثر تعقيدًا بعض الشيء نظرًا لتكامل المصفوفة الأسي. ومع ذلك، يمكن حسابه عن طريق إنشاء مصفوفة أولًا، ثم حساب أسّها [ 3 ].F=[-أسؤال0أ]تيجي=هـF=[...أد-1سؤالد0أد]{\displaystyle {\begin{aligned}\mathbf {F} &={\begin{bmatrix}-\mathbf {A} &\mathbf {Q} \\\mathbf {0} &\mathbf {A} ^{\top }\end{bmatrix}}T\\[2pt]\mathbf {G} &=e^{\mathbf {F} }={\begin{bmatrix}\dots &\mathbf {A_{d}} ^{-1}\mathbf {Q_{d}} \\\mathbf {0} &\mathbf {A_{d}} ^{\top }\end{bmatrix}}\end{aligned}}} ثم يتم تقييم ضوضاء العملية المتقطعة عن طريق ضرب منقولة الجزء السفلي الأيمن من G بالجزء العلوي الأيمن من G : سؤالد=(أد)(أد-1سؤالد)=أد(أد-1سؤالد).{\displaystyle \mathbf {Q_{d}} =(\mathbf {A_{d}} ^{\top })^{\top }(\mathbf {A_{d}} ^{-1}\mathbf {Q_{d}} )=\mathbf {A_{d}} (\mathbf {A_{d}} ^{-1}\mathbf {Q_{d}} ).}

الاشتقاق

بدءاً من النموذج المستمر x˙(ت)=أx(ت)+بu(ت){\displaystyle \mathbf {\dot {x}} (t)=\mathbf {Ax} (t)+\mathbf {Bu} (t)} نعلم أن الدالة الأسية للمصفوفة هي ددتهـأت=أهـأت=هـأتأ{\displaystyle {\frac {d}{dt}}e^{\mathbf {A} t}=\mathbf {A} e^{\mathbf {A} t}=e^{\mathbf {A} t}\mathbf {A} } وبضرب النموذج من اليسار نحصل على هـ-أتx˙(ت)=هـ-أتأx(ت)+هـ-أتبu(ت){\displaystyle e^{-\mathbf {A} t}\mathbf {\dot {x}} (t)=e^{-\mathbf {A} t}\mathbf {Ax} (t)+e^{-\mathbf {A} t}\mathbf {Bu} (t)} وهو ما ندركه على أنه ددت[هـ-أتx(ت)]=هـ-أتبu(ت){\displaystyle {\frac {d}{dt}}{\Bigl [}e^{-\mathbf {A} t}\mathbf {x} (t){\Bigr ]}=e^{-\mathbf {A} t}\mathbf {Bu} (t)} ومن خلال التكامل، هـ-أتx(ت)-هـ0x(0)=0تهـ-أτبu(τ)دτx(ت)=هـأتx(0)+0تهـأ(ت-τ)بu(τ)دτ{\displaystyle {\begin{aligned}e^{-\mathbf {A} t}\mathbf {x} (t)-e^{0}\mathbf {x} (0)&=\int _{0}^{t}e^{-\mathbf {A} \tau }\mathbf {Bu} (\tau )d\tau \\[2pt]\mathbf {x} (t)&=e^{\mathbf {A} t}\mathbf {x} (0)+\int _{0}^{t}e^{\mathbf {A} (t-\tau )}\mathbf {Bu} (\tau )d\tau \end{aligned}}} وهو حل تحليلي للنموذج المستمر.

الآن نريد تقسيم التعبير أعلاه إلى أجزاء منفصلة. نفترض أن u ثابت خلال كل خطوة زمنية. x[ك]=دهـو x(كتي)x[ك]=هـأكتيx(0)+0كتيهـأ(كتي-τ)بu(τ)دτx[ك+1]=هـأ(ك+1)تيx(0)+0(ك+1)تيهـأ[(ك+1)تي-τ]بu(τ)دτx[ك+1]=هـأتي[هـأكتيx(0)+0كتيهـأ(كتي-τ)بu(τ)دτ]+كتي(ك+1)تيهـأ(كتي+تي-τ)بu(τ)دτ{\displaystyle {\begin{aligned}\mathbf {x} [k]&\,{\stackrel {\mathrm {def} }{=}}\ \mathbf {x} (kT)\\[6pt]\mathbf {x} [k]&=e^{\mathbf {A} kT}\mathbf {x} (0)+\int _{0}^{kT}e^{\mathbf {A} (kT-\tau )}\mathbf {Bu} (\tau )d\tau \\[4pt]\mathbf {x} [k+1]&=e^{\mathbf {A} (k+1)T}\mathbf {x} (0)+\int _{0}^{(k+1)T}e^{\mathbf {A} [(k+1)T-\tau ]}\mathbf {Bu} (\tau )d\tau \\[2pt]\mathbf {x} [k+1]&=e^{\mathbf {A} T}\left[e^{\mathbf {A} kT}\mathbf {x} (0)+\int _{0}^{kT}e^{\mathbf {A} (kT-\tau )}\mathbf {Bu} (\tau )d\tau \right]+\int _{kT}^{(k+1)T}e^{\mathbf {A} (kT+T-\tau )}\mathbf {B} \mathbf {u} (\tau )d\tau \end{aligned}}} نتعرف على التعبير بين قوسين على أنهx[ك]{\displaystyle \mathbf {x} [k]}ويمكن تبسيط الحد الثاني بالاستبدال بالدالةv(τ)=كتي+تي-τ{\displaystyle v(\tau )=kT+T-\tau }. لاحظ أندτ=-دv{\displaystyle d\tau =-dv}نفترض أيضًا أن u ثابتة أثناء التكامل ، وهو ما ينتج عنه

x[ك+1]=هـأتيx[ك]-(v(كتي)v((ك+1)تي)هـأvدv)بu[ك]=هـأتيx[ك]-(تي0هـأvدv)بu[ك]=هـأتيx[ك]+(0تيهـأvدv)بu[ك]=هـأتيx[ك]+أ-1(هـأتي-أنا)بu[ك]{\displaystyle {\begin{aligned}\mathbf {x} [k+1]&=e^{\mathbf {A} T}\mathbf {x} [k]-\left(\int _{v(kT)}^{v((k+1)T)}e^{\mathbf {A} v}dv\right)\mathbf {Bu} [k]\\[2pt]&=e^{\mathbf {A} T}\mathbf {x} [k]-\left(\int _{T}^{0}e^{\mathbf {A} v}dv\right)\mathbf {Bu} [k]\\[2pt]&=e^{\mathbf {A} T}\mathbf {x} [k]+\left(\int _{0}^{T}e^{\mathbf {A} v}dv\right)\mathbf {Bu} [k]\\[4pt]&=e^{\mathbf {A} T}\mathbf {x} [k]+\mathbf {A} ^{-1}\left(e^{\mathbf {A} T}-\mathbf {I} \right)\mathbf {Bu} [k]\end{aligned}}}

وهو حل دقيق لمشكلة التقطيع.

عندما تكون A مفردة، لا يزال من الممكن استخدام التعبير الأخير عن طريق الاستبدالهـأتي{\displaystyle e^{\mathbf {A} T}}من خلال توسعة تايلور ، هـأتي=ك=01ك!(أتي)ك.{\displaystyle e^{\mathbf {A} T}=\sum _{k=0}^{\infty }{\frac {1}{k!}}(\mathbf {A} T)^{k}.} وهذا ينتج عنه x[ك+1]=هـأتيx[ك]+(0تيهـأvدv)بu[ك]=(ك=01ك!(أتي)ك)x[ك]+(ك=11ك!أك-1تيك)بu[ك]،{\displaystyle {\begin{aligned}\mathbf {x} [k+1]&=e^{\mathbf {A} T}\mathbf {x} [k]+\left(\int _{0}^{T}e^{\mathbf {A} v}dv\right)\mathbf {Bu} [k]\\[2pt]&=\left(\sum _{k=0}^{\infty }{\frac {1}{k!}}(\mathbf {A} T)^{k}\right)\mathbf {x} [k]+\left(\sum _{k=1}^{\infty }{\frac {1}{k!}}\mathbf {A} ^{k-1}T^{k}\right)\mathbf {Bu} [k],\end{aligned}}} وهو الشكل المستخدم عملياً.

التقريبات

قد يكون التقطيع الدقيق أحيانًا غير عملي نظرًا لكثرة العمليات الأسية والتكاملية على المصفوفات. من الأسهل بكثير حساب نموذج متقطع تقريبي، بناءً على ذلك المستخدم في الخطوات الزمنية الصغيرة.هـأتيأنا+أتي{\displaystyle e^{\mathbf {A} T}\approx \mathbf {I} +\mathbf {A} T}يصبح الحل التقريبي إذن: x[ك+1](أنا+أتي)x[ك]+تيبu[ك]{\displaystyle \mathbf {x} [k+1]\approx (\mathbf {I} +\mathbf {A} T)\mathbf {x} [k]+T\mathbf {Bu} [k]}

يُعرف هذا أيضًا باسم طريقة أويلر ، والتي تُعرف أيضًا باسم طريقة أويلر الأمامية. ومن التقريبات الأخرى الممكنة ما يلي:هـأتي(أنا-أتي)-1{\displaystyle e^{\mathbf {A} T}\approx (\mathbf {I} -\mathbf {A} T)^{-1}}، والمعروفة أيضًا باسم طريقة أويلر العكسية وهـأتي(أنا+12أتي)(أنا-12أتي)-1{\displaystyle e^{\mathbf {A} T}\approx (\mathbf {I} +{\tfrac {1}{2}}\mathbf {A} T)(\mathbf {I} -{\tfrac {1}{2}}\mathbf {A} T)^{-1}}يُعرف هذا بالتحويل الثنائي الخطي ، أو تحويل توستين. لكل من هذه التقريبات خصائص استقرار مختلفة. يحافظ التحويل الثنائي الخطي على عدم استقرار النظام ذي الزمن المستمر.

تجزئة الميزات المستمرة

في الإحصاء والتعلم الآلي، يشير مصطلح "التقطيع" إلى عملية تحويل السمات أو المتغيرات المستمرة إلى سمات متقطعة أو اسمية. ويمكن أن يكون هذا مفيدًا عند إنشاء دوال الكتلة الاحتمالية.

تجزئة الدوال الملساء

في نظرية الدوال المعممة ، ينشأ التقطيع كحالة خاصة من نظرية الالتفاف على التوزيعات المعتدلة.

F{و*3}=F{و}3{\displaystyle {\mathcal {F}}\{f*\operatorname {III} \}={\mathcal {F}}\{f\}\cdot \operatorname {III} }
F{α3}=F{α}*3{\displaystyle {\mathcal {F}}\{\alpha \cdot \operatorname {III} \}={\mathcal {F}}\{\alpha \}*\operatorname {III} }

أين3{\displaystyle \operatorname {III} }هو مشط ديراك ، 3{\displaystyle \cdot \operatorname {III} }هو التقطيع،*3{\displaystyle *\operatorname {III} }هل التقسيم الدوري هوو{\displaystyle f}هو توزيع معتدل متناقص بسرعة (مثل دالة ديراك دلتا)دلتا{\displaystyle \delta }أو أي وظيفة أخرى مدعومة بشكل مضغوط )،α{\displaystyle \alpha }هي دالة عادية سلسة وبطيئة النمو (مثل الدالة التي تكون باستمرار1{\displaystyle 1} أو أي وظيفة أخرى محدودة النطاق ) وF{\displaystyle {\mathcal {F}}}هي تحويل فورييه (الوحدوي، التردد العادي) . الدوالα{\displaystyle \alpha }يمكن جعل الأسطح غير الملساء ناعمة باستخدام أداة التنعيم قبل عملية التقطيع.

على سبيل المثال، تجزئة الدالة التي تكون باستمرار1{\displaystyle 1}ينتج عنه التسلسل[..،1،1،1،..]{\displaystyle [..,1,1,1,..]}والتي، عند تفسيرها على أنها معاملات توليفة خطية من دوال ديراك دلتا ، تُشكل مشط ديراك . وإذا طُبقت عملية اقتطاع إضافية، نحصل على متواليات منتهية، على سبيل المثال[1،1،1،1]{\displaystyle [1,1,1,1]}. إنها منفصلة في كل من الوقت والتردد.

انظر أيضاً

مراجع

  1. شركة العلوم التحليلية. الطاقم الفني. (1974). التقدير الأمثل التطبيقي . جيلب ، آرثر، 1937-. كامبريدج، ماساتشوستس: مطبعة معهد ماساتشوستس للتكنولوجيا. ص 121. ISBN  0-262-20027-9. OCLC 960061 . 
  2. ريموند ديكارلو: الأنظمة الخطية: منهج متغيرات الحالة مع التنفيذ العددي ، برنتيس هول، نيوجيرسي، 1989
  3. تشارلز فان لون: حساب التكاملات التي تتضمن الدالة الأسية للمصفوفة ، معاملات IEEE في التحكم الآلي. 23 (3): 395-404، 1978

للمزيد من القراءة

  • روبرت جروفر براون وباتريك واي سي هوانغ (1997). مقدمة في الإشارات العشوائية وتطبيقات ترشيح كالمان (  الطبعة الثالثة). ISBN 978-0471128397.
  • تشي تسونغ تشين (1984). نظرية وتصميم الأنظمة الخطية . فيلادلفيا، بنسلفانيا، الولايات المتحدة الأمريكية: دار نشر ساوندرز كوليدج. رقم ISBN 978-0030716911.
  • سي. فان لون (يونيو 1978). "حساب التكاملات التي تتضمن الدالة الأسية للمصفوفة" (ملف PDF) . معاملات IEEE في التحكم الآلي . 23 (3): 395-404 . doi : 10.1109/TAC.1978.1101743 . hdl : 1813/7095 .
  • آر إتش ميدلتون وجي سي جودوين (1990). التحكم الرقمي والتقدير: منهج موحد . برنتيس هول. ص  33 وما يليها. ISBN 978-0132116657.