مطاردة متطابقة

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

خوارزمية البحث عن التطابق ( MP ) هي خوارزمية تقريبية متفرقة تجد أفضل إسقاطات "مطابقة" للبيانات متعددة الأبعاد على نطاق قاموس مكتمل بشكل زائد (أي زائد عن الحاجة).د{\displaystyle D}الفكرة الأساسية هي تمثيل الإشارة تقريبًاو{\displaystyle f}من فضاء هيلبرتح{\displaystyle H}كمجموع مرجح لعدد محدود من الدوالزγن{\displaystyle g_{\gamma _{n}}}(تسمى الذرات) مأخوذة مند{\displaystyle D}تقريب معشمال{\displaystyle N}الذرات لها الشكل

و(ت)و^شمال(ت):=ن=1شمالأنزγن(ت){\displaystyle f(t)\approx {\hat {f}}_{N}(t):=\sum _{n=1}^{N}a_{n}g_{\gamma _{n}}(t)}

أينزγن{\displaystyle g_{\gamma _{n}}}هوγن{\displaystyle \gamma _{n}}العمود رقم 1 من المصفوفةد{\displaystyle D}وأن{\displaystyle a_{n}}يمثل عامل الترجيح القياسي (السعة) للذرةزγن{\displaystyle g_{\gamma _{n}}}عادةً، ليس كل ذرة فيد{\displaystyle D}سيتم استخدام هذه القيمة في هذا المجموع. بدلاً من ذلك، تختار خوارزمية البحث المطابق الذرات واحدة تلو الأخرى لتقليل خطأ التقريب إلى أقصى حد (بشكل جشع) . ويتحقق ذلك من خلال إيجاد الذرة التي لها أعلى حاصل ضرب داخلي مع الإشارة (بافتراض أن الذرات مُعَيَّرة)، وطرح تقريب من الإشارة يستخدم تلك الذرة فقط، وتكرار العملية حتى يتم تحليل الإشارة بشكل مُرضٍ، أي أن معيار الباقي صغير، حيث يكون الباقي بعد الحسابγشمال{\displaystyle \gamma _{N}}وأشمال{\displaystyle a_{N}}يُرمز إليه بـ

Rشمال+1=و-و^شمال{\displaystyle R_{N+1}=f-{\hat {f}}_{N}}.

لوRن{\displaystyle R_{n}}إذا تقاربت بسرعة إلى الصفر، فلن نحتاج إلا إلى عدد قليل من الذرات للحصول على تقريب جيد لـو{\displaystyle f}تُعدّ هذه التمثيلات المتفرقة مرغوبة لترميز الإشارات وضغطها. وبشكل أدق، فإن مشكلة التفرق التي يهدف البحث المطابق إلى حلها تقريبًا هي

مينxو-دx22  رهناً بـ  x0شمال،{\displaystyle \min _{x}\|f-Dx\|_{2}^{2}\ {\text{ بشرط }}\ \|x\|_{0}\leq N,}

أينx0{\displaystyle \|x\|_{0}}هول0{\displaystyle L_{0}}المعيار الزائف (أي عدد العناصر غير الصفرية منx{\displaystyle x}في الترميز السابق، المدخلات غير الصفرية لـx{\displaystyle x}نكونxγن=أن{\displaystyle x_{\gamma _{n}}=a_{n}}إن حل مشكلة التباعد بدقة هو أمر صعب من نوع NP ، ولهذا السبب يتم استخدام طرق التقريب مثل MP.

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

الخوارزمية

مثال على استرجاع إشارة غير معروفة (الخط الرمادي) من قياسات قليلة (النقاط السوداء) باستخدام خوارزمية البحث المطابق المتعامد (النقاط الأرجوانية توضح المعاملات المسترجعة).

لود{\displaystyle D}يحتوي على عدد كبير من المتجهات، يبحث عن التمثيل الأكثر تباعدًا لـو{\displaystyle f}غير مقبول حسابيًا للتطبيقات العملية. في عام 1993، اقترح مالات وتشانغ [ 1 ] حلاً جشعًا أطلقوا عليه اسم "المطاردة المطابقة". لأي إشارةو{\displaystyle f}وأي قاموسد{\displaystyle D}، تقوم الخوارزمية بشكل متكرر بإنشاء قائمة مرتبة من مؤشرات الذرات ومعاملات الترجيح، والتي تشكل الحل الأمثل لمشكلة تمثيل الإشارة المتفرقة.

خوارزمية البحث عن المطابقة المدخلات: الإشارة:و(ت){\displaystyle f(t)}قاموسد{\displaystyle D}مع أعمدة مُعَيَّرةزأنا{\displaystyle g_{i}}. الناتج: قائمة المعاملات(أن)ن=1شمال{\displaystyle (a_{n})_{n=1}^{N}}ومؤشرات الذرات المقابلة(γن)ن=1شمال{\displaystyle (\gamma _{n})_{n=1}^{N}}. التهيئة: R1و(ت){\displaystyle R_{1}\,\leftarrow \,f(t)}؛ ن1{\displaystyle n\,\leftarrow \,1}؛ يكرر: يجدزγند{\displaystyle g_{\gamma _{n}}\in D}مع أقصى قدر من المنتج الداخلي|Rن،زγن|{\displaystyle |\langle R_{n},g_{\gamma _{n}}\rangle |}؛ أنRن،زγن{\displaystyle a_{n}\,\leftarrow \,\langle R_{n},g_{\gamma _{n}}\rangle }؛ Rن+1Rن-أنزγن{\displaystyle R_{n+1}\,\leftarrow \,R_{n}-a_{n}g_{\gamma _{n}}}؛ نن+1{\displaystyle n\,\leftarrow \,n+1}؛ حتى الوصول إلى شرط التوقف (على سبيل المثال:Rن<تحرهـsحoلد{\displaystyle \|R_{n}\|<\mathrm {العتبة} }) يعود
  • يشير الرمز " " إلى عملية التخصيص . على سبيل المثال، " الأكبر عنصر " يعني أن قيمة الأكبر تتغير إلى قيمة العنصر .
  • " return " ينهي الخوارزمية ويخرج القيمة التالية.

في معالجة الإشارات، يرتبط مفهوم البحث المطابق بالبحث عن الإسقاط الإحصائي ، حيث يتم العثور على الإسقاطات "المثيرة للاهتمام"؛ وتعتبر تلك التي تنحرف أكثر عن التوزيع الطبيعي أكثر إثارة للاهتمام.

ملكيات

  • تتقارب الخوارزمية (أيRن0{\displaystyle R_{n}\to 0}) لأيو{\displaystyle f}هذا يقع ضمن المساحة التي يغطيها القاموس.
  • الخطأRن{\displaystyle \|R_{n}\|}يتناقص بشكل رتيب.
  • بما أن الباقي في كل خطوة يكون متعامدًا مع المرشح المحدد، فإن معادلة حفظ الطاقة تتحقق لكلشمال{\displaystyle N}:
و2=Rشمال+12+ن=1شمال|أن|2{\displaystyle \|f\|^{2}=\|R_{N+1}\|^{2}+\sum _{n=1}^{N}{|a_{n}|^{2}}}.

التطبيقات

طُبقت خوارزمية البحث المطابق على ترميز الإشارات والصور [ 2 ] والفيديو، [ 3 ] [ 4 ] وتمثيل الأشكال والتعرف عليها، [ 5 ] وترميز الأجسام ثلاثية الأبعاد، [ 6 ] وفي تطبيقات متعددة التخصصات مثل مراقبة سلامة الهياكل. [ 7 ] وقد ثبت أنها تتفوق على الترميز القائم على تحويل جيب التمام المنفصل (DCT) عند معدلات بت منخفضة، وذلك من حيث كفاءة الترميز وجودة الصورة. [ 8 ] تكمن المشكلة الرئيسية في خوارزمية البحث المطابق في التعقيد الحسابي للمُشفِّر. ففي النسخة الأساسية من الخوارزمية، يلزم البحث في قاموس كبير في كل تكرار. وتشمل التحسينات استخدام تمثيلات تقريبية للقاموس وطرقًا شبه مثالية لاختيار أفضل تطابق في كل تكرار (استخراج الذرات). [ 9 ] تُستخدم خوارزمية البحث المطابق في MP/SOFT، وهي طريقة لمحاكاة الديناميكيات الكمومية . [ 10 ]

يُستخدم MP أيضًا في تعلم القاموس . [ 11 ] [ 12 ] في هذه الخوارزمية، يتم تعلم الذرات من قاعدة بيانات (بشكل عام، مشاهد طبيعية مثل الصور المعتادة) ولا يتم اختيارها من قواميس عامة.

أحد التطبيقات الحديثة جدًا لـ MP هو استخدامه في ترميز الحساب الخطي [ 13 ] لتسريع حساب حاصل ضرب المصفوفة في المتجه.

الإضافات

يُعدّ امتداد خوارزمية المطابقة المتعامدة (OMP) أحد أشهر امتدادات هذه الخوارزمية [ 14 ] [ 15 ] . ويكمن الاختلاف الرئيسي بينها وبين خوارزمية المطابقة المتعامدة في أنه بعد كل خطوة، يتم تحديث جميع المعاملات المستخرجة حتى الآن، وذلك بحساب الإسقاط المتعامد للإشارة على الفضاء الفرعي الذي تشكله مجموعة الذرات المختارة. قد يؤدي هذا إلى نتائج أفضل من خوارزمية المطابقة المتعامدة القياسية، ولكنه يتطلب حسابات أكثر. وقد ثبت أن خوارزمية المطابقة المتعامدة تتمتع بضمانات للاستقرار والأداء في ظل شروط قياس متساوية محددة . [ 16 ] وتعمل خوارزمية المعاملات المتعددة التزايدية (IMP)، التي نُشرت قبل ثلاث سنوات من خوارزمية المطابقة المتعامدة، بنفس طريقة خوارزمية المطابقة المتعامدة. [ 17 ]

تتيح امتدادات مثل Multichannel MP [ 18 ] وMultichannel OMP [ 19 ] معالجة الإشارات متعددة المكونات. ومن الامتدادات الواضحة لخوارزمية المطابقة التتبعية (Matching Pursuit) معالجة الإشارات عبر مواضع ومقاييس متعددة، وذلك بتوسيع القاموس ليصبح أساسًا موجيًا. ويمكن تحقيق ذلك بكفاءة باستخدام عامل الالتفاف دون تغيير الخوارزمية الأساسية. [ 20 ]

يرتبط البحث المطابق بمجال الاستشعار المضغوط ، وقد طوّره باحثون في هذا المجال. ومن أبرز هذه التطويرات: البحث المطابق المتعامد (OMP) [ 21 ] ، والبحث المطابق المتدرج (StOMP) [ 22 ] ، والبحث المطابق باستخدام أخذ العينات المضغوطة (CoSaMP) [ 23 ] ، والبحث المطابق المعمم (gOMP) [ 24 ] ، والبحث المطابق متعدد المسارات (MMP) [ 25 ] .

انظر أيضاً

مراجع

  1. مالات، إس جي؛ تشانغ، زد. (1993). "ملاحقة المطابقة باستخدام قواميس الزمن والتردد". معاملات IEEE في معالجة الإشارات . 1993 (12): 3397-3415 . Bibcode : 1993ITSP...41.3397M . doi : 10.1109/78.258082 . S2CID 14427335 . 
  2. بيرينيه، ل. (2015). "نماذج متفرقة لرؤية الحاسوب" . رؤية الحاسوب المستوحاة بيولوجيًا . المجلد 14. الصفحات 319-346 . arXiv : 1701.06859 . doi : 10.1002/9783527680863.ch14 . ISBN   9783527680863. S2CID 2085413 . 
  3. بيرجو، ف.؛ مالات، س. (1995). "ملاحقة الصور المتطابقة". وقائع المؤتمر الدولي لمعالجة الصور . المجلد 1. الصفحات 53-56 . doi : 10.1109/ICIP.1995.529037 . ISBN   978-0-7803-3122-8. S2CID 721789 . 
  4. نيف، ر.؛ زاخور، أ. (1997). "ترميز فيديو بمعدل بت منخفض جدًا قائم على عمليات المطابقة". معاملات IEEE في الدوائر والأنظمة لتكنولوجيا الفيديو . 7 (1): 158-171 . doi : 10.1109/76.554427 . S2CID 15317511 . 
  5. ميندلز، ف.؛ فاندرغينست، ب.؛ ثيران، ج. ب. (2006). "تمثيل الأشكال والتعرف عليها باستخدام فضاء المقياس من خلال مطابقة التتبع" . المجلة الدولية لأنظمة وتقنيات التصوير . 16 (5): 162-180 . doi : 10.1002/ima.20078 . S2CID 5132416 . 
  6. توسيك، آي.؛ فروسارد، ب.؛ فانديرغينست، ب. (2005). "الترميز التدريجي للأجسام ثلاثية الأبعاد بناءً على التفكيكات الزائدة" . معاملات IEEE في الدوائر والأنظمة لتكنولوجيا الفيديو . 16 (11): 1338-1349 . doi : 10.1109/tcsvt.2006.883502 . S2CID 3031513 . 
  7. تشاكرابورتي، ديبيجيو؛ كوفالي، نارايان؛ وي، جون؛ باباندريو-سوبابولا، أنطونيا؛ كوكران، دوغلاس؛ تشاتوبادياي، أديتي (2009). "تصنيف الأضرار ومراقبة السلامة الهيكلية في الهياكل المثبتة بمسامير باستخدام تقنيات التردد الزمني". مجلة أنظمة ومواد الهياكل الذكية . 20 (11): 1289-1305 . doi : 10.1177/1045389X08100044 . S2CID 109511712 . 
  8. بيرينيه، لو؛ سامويليدس، م؛ ثورب، س. (2002). "ترميز النبضات المتفرقة في شبكة عصبية متعددة الطبقات ذات تغذية أمامية غير متزامنة باستخدام خوارزمية المطاردة المطابقة" . الحوسبة العصبية . 57C : 125-134 . doi : 10.1016/j.neucom.2004.01.010 .
  9. لين، جيان ليانغ؛ هوانغ، وين ليانغ؛ باي، سو تشانغ (2007). "ترميز فيديو سريع المطابقة باستخدام تقريب القاموس واستخراج الذرات". معاملات IEEE للدوائر والأنظمة لتكنولوجيا الفيديو . 17 (12): 1679-1689 . Bibcode : 2007ITCSV..17.1679L . CiteSeerX 10.1.1.671.9670 . doi : 10.1109/tcsvt.2007.903120 . S2CID 8315216 .  
  10. وو، يينغهوا؛ باتيستا، فيكتور س. (2003). "المطابقة والمطاردة لمحاكاة العمليات الكمومية". مجلة الفيزياء الكيميائية . 118 (15): 6720-6724 . Bibcode : 2003JChPh.118.6720W . doi : 10.1063/1.1560636 . S2CID 37544146 . 
  11. بيرينيه، إل بي (2010). " دور التوازن الداخلي في تعلم التمثيلات المتفرقة" . الحوسبة العصبية . 22 (7): 1812-1836 . arXiv : 0706.3177 . doi : 10.1162/neco.2010.05-08-795 . PMC 2929690. PMID 20235818 .  
  12. أهارون، م .؛ إيلاد، م.؛ بروكشتاين، أ.م. (2006). "خوارزمية K-SVD: خوارزمية لتصميم قواميس مكتملة للتمثيل المتفرق". معاملات IEEE في معالجة الإشارات . 54 (11): 4311-4322 . رمز Bibcode : 2006ITSP...54.4311A . doi : 10.1109/tsp.2006.881199 . S2CID 7477309 . 
  13. مولر، رالف ر.؛ غادي، برنارد؛ بريحي، علي (2021). "الترميز الحسابي الخطي". arXiv : 2102.00398 .{{cite journal}}يتطلب الاستشهاد بالمجلة ( مساعدة )|journal=
  14. باتي، ي.؛ رضائي فر، ر.؛ كريشنا براساد، ب. (1993). "البحث المطابق المتعامد: تقريب الدالة التكرارية مع تطبيقات على تحليل الموجات الصغيرة". وقائع المؤتمر السابع والعشرين لأسيلومار حول الإشارات والأنظمة والحواسيب . ص 40-44 . CiteSeerX 10.1.1.348.5735 . doi : 10.1109/acssc.1993.342465 . ISBN   978-0-8186-4120-6. S2CID 16513805 . 
  15. ديفيس، ج.؛ مالات، س.؛ تشانغ، ز. (1994). "تحليلات التردد الزمني التكيفية مع عمليات المطابقة". الهندسة البصرية . 33 (7): 2183. Bibcode : 1994OptEn..33.2183D . doi : 10.1117/12.173207 .
  16. دينغ، ج.؛ تشين، ل.؛ غو، ي. (2013). "تحليل الاضطراب لخوارزمية المطابقة المتعامدة". معاملات IEEE في معالجة الإشارات . 61 (2): 398-410 . arXiv : 1106.3373 . Bibcode : 2013ITSP...61..398D . doi : 10.1109/TSP.2012.2222377 . ISSN 1941-0476 . S2CID 17166658 .  
  17. ماثر، جون (1990). "خوارزمية المعاملات المتعددة التزايدية". وقائع مؤتمر أسيلومار الرابع والعشرين للإشارات والأنظمة والحواسيب، 1990. المجلد 1. ص 368. doi : 10.1109/ACSSC.1990.523362 . ISBN   0-8186-2180-XISSN 1058-6393 . S2CID 61327933 .​  
  18. "فصل المصادر الخطية القطعية"، ر. غريبونفال، وقائع مؤتمر SPIE '03، 2003
  19. تروب، جويل ؛ جيلبرت، أ .؛ شتراوس، م. (2006). "خوارزميات للتقريبات المتفرقة المتزامنة؛ الجزء الأول : البحث الجشع". معالجة الإشارات - التقريبات المتفرقة في معالجة الإشارات والصور . 86 (3): 572-588 . Bibcode : 2006SigPr..86..572T . doi : 10.1016/j.sigpro.2005.05.030 . 
  20. بيرينيه، لوران يو. (2015). "نماذج متفرقة لرؤية الحاسوب". رؤية الحاسوب المستوحاة بيولوجيًا . ص 319-346 . arXiv : 1701.06859 . doi : 10.1002/9783527680863.ch14 . ISBN  9783527680863. S2CID 2085413 . 
  21. تروب، جويل أ.؛ جيلبرت، آنا س. (2007). "استعادة الإشارة من القياسات العشوائية عبر البحث المطابق المتعامد" (ملف PDF) . معاملات IEEE في نظرية المعلومات . 53 (12): 4655-4666 . Bibcode : 2007ITIT...53.4655T . doi : 10.1109/tit.2007.909108 . S2CID 6261304 . 
  22. دونوهو، ديفيد ل.؛ تسايغ، يعقوب؛ دروري، إيدو؛ جان لوك، ستارك (2006). "حلول متفرقة للمعادلات الخطية غير المحددة باستخدام خوارزمية المطابقة المتعامدة المرحلية". معاملات IEEE في نظرية المعلومات . 58 (2): 1094-1121 . doi : 10.1109/tit.2011.2173241 . S2CID 7923170 . 
  23. نيدل، د.؛ تروب، ج. أ. (2009). "CoSaMP: استعادة الإشارة التكرارية من عينات غير مكتملة وغير دقيقة". التحليل التوافقي التطبيقي والحسابي . 26 (3): 301-321 . arXiv : 0803.2392 . doi : 10.1016/j.acha.2008.07.002 . S2CID 1642637 . 
  24. وانغ، ج.؛ كوون، س.؛ شيم، ب. (2012). "البحث المطابق المتعامد المعمم". معاملات IEEE في معالجة الإشارات . 60 (12): 6202-6216 . arXiv : 1111.6664 . Bibcode : 2012ITSP...60.6202J . doi : 10.1109/TSP.2012.2218810 . S2CID 2585677 . 
  25. ↑ كوون، س.؛ وانغ، ج.؛ شيم، ب . (2014). "البحث عن المطابقة متعددة المسارات". معاملات IEEE في نظرية المعلومات . 60 (5): 2986-3001 . arXiv : 1308.4791 . Bibcode : 2014ITIT...60.2986K . doi : 10.1109/TIT.2014.2310482 . S2CID 15134308 .