This paper introduces a novel partial differential equation (PDE) framework for single-image dehazing. We embed the atmospheric scattering model into a PDE featuring edge-preserving diffusion and a nonlocal operator to maintain both local details and global structures. A key innovation is an adaptive regularization mechanism guided by the dark channel prior, which adjusts smoothing strength based on haze density. The framework's mathematical well-posedness is rigorously established by proving the existence and uniqueness of its weak solution in $H_0^1(Ω)$. An efficient, GPU-accelerated fixed-point solver is used for implementation. Experiments confirm our method achieves effective haze removal while preserving high image fidelity, offering a principled alternative to purely data-driven techniques.
معرّف الورقة : 2506.08793العنوان : A PDE-Based Image Dehazing Method via Atmospheric Scattering Theoryالمؤلفون : Liubing Hu, Pu Wang, Guangwei Gao, Chunyan Wang, Zhuoran Zhengالتصنيف : cs.CV (رؤية الحاسوب)، eess.IV (معالجة الصور والفيديو)وقت النشر : 2025 (نسخة أولية من arXiv)رابط الورقة : https://arxiv.org/abs/2506.08793 تقترح هذه الورقة إطار عمل جديد لإزالة الضباب من صورة واحدة قائم على معادلات تفاضلية جزئية (PDE). تدمج الطريقة نموذج التشتت الجوي في معادلة تفاضلية جزئية تتضمن انتشاراً يحافظ على الحواف وعوامل غير محلية، للحفاظ على التفاصيل المحلية والبنية العامة. الابتكار الرئيسي هو آلية تنظيم تكيفية قائمة على الأولوية للقنوات المظلمة، تعدل قوة التمويه وفقاً لكثافة الضباب. من خلال إثبات وجود وتفرد الحل الضعيف في فضاء H₀¹(Ω)، يتم إنشاء الصحة الرياضية للإطار بشكل صارم. يتم التنفيذ باستخدام محلل نقطة ثابتة معجل بوحدة معالجة الرسومات (GPU). تؤكد التجارب أن الطريقة تزيل الضباب بفعالية مع الحفاظ على درجة عالية من دقة الصورة، مما يوفر بديلاً منهجياً للتقنيات القائمة على البيانات بحتة.
إزالة الضباب من الصور هي تحدٍ رئيسي في رؤية الحاسوب، يتعامل بشكل أساسي مع تدهور الصور الناجم عن التشتت الجوي. تتبع صور الضباب نموذج التشتت الجوي: I(x) = J(x)t(x) + A(1-t(x))، حيث I(x) هي صورة الضباب المرصودة، J(x) هي الصورة الواضحة، t(x) هي خريطة الإرسال، و A هي قيمة الضوء الجوي.
احتياجات التطبيق العملي : يؤثر الطقس الضبابي بشكل كبير على أداء الأنظمة البصرية الخارجية، مثل القيادة الذاتية وأنظمة المراقبةتحسين جودة الصورة : يمكن لإزالة الضباب أن تحسن بشكل كبير من تباين الصورة والرؤيةأساس المعالجة اللاحقة : توفير مدخلات عالية الجودة للمهام البصرية المتقدمة مثل كشف الأجسام وفهم المشهدالطرق القائمة على النماذج الفيزيائية التقليدية :تفشل الأولوية للقنوات المظلمة (DCP) في مناطق السماء والمشاهد الموحدة تؤدي إلى تقدير غير دقيق لخريطة الإرسال الطرق القائمة على البيانات :تتطلب كميات كبيرة من البيانات المعنونة تفتقر إلى القابلية للتفسير تؤدي أداء سيئة في ظروف الضباب خارج التوزيع الجمع بين النمذجة الفيزيائية والصرامة الرياضية، لتوفير إطار عمل يتمتع بضمانات نظرية وفعالية عملية، لسد الفجوة بين الطرق التقليدية وطرق التعلم العميق.
إطار عمل PDE مبتكر : أول من يدمج نموذج التشتت الجوي في معادلة تفاضلية جزئية تتضمن انتشاراً يحافظ على الحواف وعوامل غير محليةآلية تنظيم تكيفية : معاملات تنظيم تكيفية قائمة على الأولوية للقنوات المظلمة، تعدل قوة التمويه ديناميكياً وفقاً لكثافة الضبابضمانات نظرية رياضية : إثبات صارم لوجود وتفرد الحل الضعيف في فضاء H₀¹(Ω)تنفيذ فعال : محلل تكراري للنقطة الثابتة معجل بوحدة معالجة الرسومات، يحقق المعالجة في الوقت الفعليأداء متفوقة : تحقيق أداء متقدمة على عدة مقاييس تقييم جودة الصور بدون مرجعالإدخال : صورة ضبابية I(x) ∈ ℝᴴˣᵂˣ³
الإخراج : صورة خالية من الضباب u(x) ∈ ℝᴴˣᵂˣ³
القيود : الامتثال لنموذج التشتت الجوي الفيزيائي، الحفاظ على بنية الصورة والتفاصيل
يتم تعريف عامل إعادة البناء على النحو التالي:
Φ(I, t, A) = (I - A(1-t)) / max(t, t₀)
حيث t₀ > 0 هي عتبة صغيرة لتجنب عدم الاستقرار العددي.
-div(D(∇u)∇u) + λ(t)G(u) = Φ(I, t, A)
المكونات :
حد الانتشار الذي يحافظ على الحواف : -div(D(∇u)∇u)حد التنظيم غير المحلي : λ(t)G(u)حد الولاء للبيانات : Φ(I, t, A)يتم تصميم معامل الانتشار على النحو التالي:
حيث ε = 10⁻³. يضمن هذا التصميم:
قمع الانتشار عند الحواف القوية (التدرجات الكبيرة) تعزيز الانتشار في المناطق الملساء (التدرجات الصغيرة) عامل الالتفاف الغاوسي:
G(u)(x) = ∫_Ω K(x,y)u(y)dy
النواة الغاوسية:
K(x,y) = (1/2πσ²)exp(-‖x-y‖²/2σ²)
معامل تكيفي قائم على الأولوية للقنوات المظلمة:
حيث λ₀ = 0.5، β = 3.0. يضمن هذا التصميم:
مناطق الضباب الكثيفة (قيم t صغيرة): تنظيم قوي المناطق الواضحة (قيم t كبيرة): تنظيم ضعيف، الحفاظ على التفاصيل الاتساق الفيزيائي : دمج نموذج التشتت الجوي مباشرة في قيود PDE، مما يضمن المعقولية الفيزيائيةالتكيفية : تعديل قوة التنظيم ديناميكياً وفقاً لتركيز الضباب المحليالمعالجة متعددة الأوجه : الجمع بين الانتشار المحلي والعوامل غير المحلية، معالجة التفاصيل المحلية والبنية العامة في نفس الوقتالصرامة الرياضية : توفير تحليل نظري شامل، إثبات وجود وتفرد الحلمجموعات البيانات من العالم الحقيقي : تحتوي على صور ضبابية متنوعةأنواع المشاهد : شوارع المدينة، المناظر الطبيعية، المبانيتركيز الضباب : من خفيف إلى شديدطريقة التقييم : نظراً لعدم وجود صور واضحة حقيقية مقابلة، يتم استخدام تقييم جودة الصور بدون مرجعاستخدام 6 مقاييس تقييم جودة صور بدون مرجع (NR-IQA) معترف بها على نطاق واسع:
NIQE ، BRISQUE ، PIQE ، FADE : كلما كانت أصغر كان أفضلDHQI ، NRBP : كلما كانت أكبر كان أفضلالطرق التقليدية : DCP، CAP، Color-Lines، ICAP، BCCRطرق الدمج : VarFusionطرق التعلم العميق : CORUN، DiffDehazeالمنصة : Python + PyTorch، وحدة معالجة الرسومات NVIDIA RTX 4090إعدادات المعاملات :
حجم كتلة القناة المظلمة: 15×15 حد استقرار الانتشار: ε = 10⁻³ النواة الغاوسية: 5×5، σ = 2.0 معامل الاسترخاء: τ = 0.2 المعاملات التكيفية: λ₀ = 0.5، β = 3.0 من بين 6 مقاييس NR-IQA، تحقق هذه الطريقة أفضل أداء على 5 مقاييس:
الطريقة NIQE↓ BRISQUE↓ PIQE↓ FADE↓ DHQI↑ NRBP↑ DCP 5.34 32.97 48.09 48.81 55.73 24.08 DiffDehaze 4.85 30.15 39.50 43.55 56.20 74.32 طريقتنا 4.51 28.46 35.68 50.66 57.85 76.82
إزالة منهجية لكل مكون للتحقق من مساهمته:
متغير النموذج NIQE↓ BRISQUE↓ PIQE↓ NRBP↑ بدون تحسين PDE 5.032 31.71 37.64 41.49 بدون تنظيم غير محلي 8.25 43.58 36.92 39.87 بدون تنظيم تكيفي 8.41 33.43 36.67 40.15 النموذج الكامل 4.51 28.46 35.68 76.82
النتائج الرئيسية:
إزالة تحسين PDE تؤدي إلى انخفاض NRBP من 76.82 إلى 41.49 التنظيم غير المحلي والحد الذي يحافظ على الحواف حاسمان لطبيعية الصورة المشاركون : 5 خبراء + 16 مراقباً عادياًأبعاد التقييم : درجة إزالة الضباب، وضوح التفاصيل، طبيعية الألوانالنتائج : حصلت طريقتنا على 62% من أصوات "أفضل جودة بصرية"، متفوقة بشكل كبير على الطرق الأخرىتظهر النتائج النوعية:
الطرق التقليدية (DCP، CAP) تميل إلى إنتاج انحرافات لونية وتشويهات طرق التعلم العميق قد تفشل أحياناً في الحفاظ على التفاصيل طريقتنا تنتج باستمرار نتائج بصرية متفوقة، مع إزالة فعالة للضباب والحفاظ على الألوان الطبيعية الطرق القائمة على النماذج الفيزيائية : الاستفادة من نموذج التشتت الجوي والأولويات المختلفة (القنوات المظلمة، تحلل الألوان، إلخ)الطرق القائمة على البيانات : الشبكات العصبية الالتفافية، آليات الانتباه، الشبكات التوليدية المتنافسةالطرق المختلطة : الجمع بين القيود الفيزيائية والتمثيلات المتعلمةمقارنة بالأعمال الموجودة:
توفير ضمانات نظرية رياضية لإطار عمل PDE آلية التنظيم التكيفية متفوقة على طرق المعاملات الثابتة الاتساق الفيزيائي أقوى من الطرق القائمة على البيانات بحتة الكفاءة الحسابية أعلى من الشبكات العميقة المعقدة دمج نظرية التشتت الجوي بنجاح في إطار عمل PDE رياضي صارم آلية التنظيم التكيفية تحسن بشكل كبير من فعالية إزالة الضباب تحقيق أداء متقدمة في عدة تقييمات موضوعية وذاتية توفير بديل منهجي للطرق القائمة على البيانات التعقيد الحسابي : يتطلب حل PDE تحسيناً تكرارياً، قد يكون أبطأ من استدلال CNN المباشرحساسية المعاملات : معاملات فائقة متعددة تتطلب تعديلاً، قد تؤثر على القدرة على التعميمالظروف القصوى : قد تفشل في حالات الضباب الشديد جداً أو المشاهد الخاصةافتراض القناة المظلمة : لا تزال تعتمد على فعالية افتراض الأولوية للقنوات المظلمةالمعمارية المختلطة : الجمع بين إطار عمل PDE والتعلم العميق للتدريب من طرف إلى طرفالتحسين في الوقت الفعلي : تطوير خوارزميات حل أكثر كفاءةدمج متعدد الأنماط : دمج معلومات المستشعرات الأخرى (مثل العمق والاستقطاب)التوسع النظري : تعميم الإطار على مهام استرجاع الصور الأخرىالابتكار النظري : أول من يوفر تحليلاً رياضياً صارماً لـ PDE إزالة الضباب، بما في ذلك إثبات الوجود والتفردتصميم الطريقة : الجمع الماهر بين النموذج الفيزيائي والنظرية الرياضية والتنفيذ الحسابيالتجارب الشاملة : تتضمن مقارنات كمية، دراسات استئصال، تقييمات المستخدمين وغيرها من الأبعاد المتعددةالقيمة العملية : التنفيذ المعجل بوحدة معالجة الرسومات له إمكانات تطبيق عمليالكفاءة الحسابية : قد تكون أبطأ من الشبكات العميقة من طرف إلى طرف في الحل التكراريالقدرة على التعميم : تحتاج إلى التحقق الإضافي من الثبات في المشاهد المتنوعة في العالم الحقيقيتعديل المعاملات : قد تتطلب معاملات فائقة متعددة تحسيناً لسيناريوهات مختلفةخطوط المقارنة الأساسية : تفتقر إلى مقارنة كافية مع أحدث طرق التعلم العميقالمساهمة الأكاديمية : توفير إطار عمل رياضي جديد لإزالة الضباب من الصور، قد يلهم الأبحاث ذات الصلةالقيمة المنهجية : توضيح كيفية دمج النماذج الفيزيائية بصرامة في إطار عمل PDEالآفاق العملية : لها مزايا في سيناريوهات التطبيق التي تتطلب قابلية تفسير عاليةالقابلية للتكرار : توفير تفاصيل تنفيذ شاملة وإعدادات معاملاتالتطبيقات البحثية : سيناريوهات البحث التي تتطلب ضمانات نظرية وقابلية تفسيرالأنظمة في الوقت الفعلي : الأنظمة التي لها متطلبات معينة لكفاءة الحساب لكن تحتاج إلى أداء مستقرةالبيئات الخاصة : السيناريوهات حيث بيانات التدريب نادرة لكن النموذج الفيزيائي قابل للتطبيقالأنظمة المختلطة : كمكمل أو تهيئة لطرق التعلم العميقتستشهد الورقة بـ 25 مرجعاً ذا صلة، تغطي إزالة الضباب من الصور وطرق PDE والتعلم العميق وجوانب أخرى متعددة من الأعمال المهمة، مما يوفر أساساً نظرياً قوياً ومعايير مقارنة.
التقييم الشامل : هذه ورقة عالية الجودة ذات مساهمات مهمة من الناحية النظرية والعملية. نجح المؤلفون في دمج النموذج الفيزيائي والنظرية الرياضية والتنفيذ الحسابي بشكل عضوي، مما يوفر حلاً جديداً وصارماً لمشكلة إزالة الضباب من الصور. على الرغم من وجود مجال للتحسن في الكفاءة الحسابية والقدرة على التعميم، فإن الابتكار النظري والتحقق التجريبي يصلان إلى معايير عالية جداً.