⚡ electrical engineering

Functional requirements decomposition in set-based design

تعالج هذه الورقة نقص التوجيه الرسمي في التصميم القائم على المجموعات من خلال تقديم منهجية هرمية مكونة من أربع خطوات لتفكيك المتطلبات الوظيفية، مما يتيح التجريد المتوازي والحد المنهجي من عدم اليقين لتصميم الأنظمة المعقدة.

المؤلفون الأصليون: Minghui Sun, Zhaoyang Chen, Georgios Bakirtzis, Hassan Jafarzadeh, Cody Fleming

نُشر 2026-05-19

📖 5 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Minghui Sun, Zhaoyang Chen, Georgios Bakirtzis, Hassan Jafarzadeh, Cody Fleming

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل أنك مهندس معماري لمدينة ضخمة ومعقدة. لديك رؤية عظيمة: "يجب أن تستوعب المدينة مليون نسمة، وتظل باردة في الصيف، ولا تغرق أبدًا". هذه هي متطلبات المستوى الأعلى (Top-Level Requirement).

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

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

إليك تفصيل طريقتهم، باستخدام تشبيهات بسيطة:

1. المشكلة: فخ "التخمين والتحقق"

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

التصميم القائم على المجموعات (Set-Based Design - SBD) هو البديل. بدلاً من اختيار تصميم واحد فورًا، أنت تبقي مجموعة كاملة من التصاميم الممكنة مفتوحة. أنت تستكشف العديد من الخيارات في وقت واحد، وتقوم تدريجيًا باستبعاد الخيارات التي لا تعمل مع اكتساب المزيد من المعلومات. الأمر يشبه إبقاء قائمة طعام مفتة تحتوي على 50 طبقًا حتى تعرف بالضبط ما يريده الزبون، بدلًا من طلب أول شيء تراه.

2. التحدي الجوهي: تفكيك المهمة الكبيرة

تسأل الورقة البحثية: كيف تأخذ متطلبًا ضخمًا وغامضًا وتفككه إلى تعليمات أصغر وأكثر تحديدًا لفرق مختلفة دون التسبب في الفوضى؟

يقترح المؤلفون وصفة من 4 خطوات للقيام بذلك بشكل رياضي ورسمي.

الخطوة 1: رسم الخريطة (الهندسة الوظيفية - Functional Architecture)

أولاً، ترسم خريطة لكيفية اتصال أنظمة المدينة ببعضها. من يتواصل مع من؟

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

الخطوة 2: استكشاف "مساحة المناورة" (المساحات الممكنة الأولية - Initial Feasible Spaces)

بعد ذلك، تسأل كل فريق: "ما هو أوسع نطاق للأشياء التي يمكنكم بناؤها فعليًا؟"

التشبيه: تسأل بنائي الطرق: "هل يمكنك بناء طريق يتحمل سيارات تسير بسرعة 20 ميلًا في الساعة؟ 100 ميل؟ 200 ميل؟" فيقولون: "يمكننا التعامل مع أي شيء بين 20 و200".
حركة الورقة البحثية: هم يحددون "المساحة الممكنة" (نطاق من الأرقام) لكل جزء من النظام بناءً على ما هو ممكن فيزيائيًا في الوقت الحالي.

الخطوة 3: تقليص الصندوق (تضييق المساحات - Narrowing the Spaces)

الآن، تنظر في كيفية اتصال الأجزاء ببعضها. إذا قال بناؤ الطرق إنهم يمكنهم التعامل مع سرعة 200 ميل، لكن محرك السيارة لا يمكنه تجاوز 150 ميلًا، فإن متطلب "الطريق" فضفاض للغاية. يجب عليك تقليص السرعة المسموح بها للطريق لتتناسب مع المحرك.

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

الخطوة 4: "هامش الأمان" (تحديد المتطلبات الفرعية - Determining Sub-Requirements)

هذا هو الجزء الأكثر ذكاءً. أنت لا تعطي الفرق الأرقام الدقيقة التي حسبتها فحسب، بل تعطيهم نطاقًا أوسع قليلاً للسماو بوجود المفاجآت.

التشبيه: تخيل أنك تريد إدخال أريكة عبر باب. تحسب أن الباب عرضه 30 بوصة. لكنك لا تخبر الناقلين "يجب أن يكون عرض الأريكة 29.9 بوصة بالضبط". بل تقول لهم: "يجب أن يكون عرض الأريكة بين 28 و30 بوصة".
- "المنطقة العازلة" (Buffer): هذه المساحة الإضافية تحميك إذا كانت قياساتك الأولية خاطئة قليلاً (عدم اليقين).
- "الفائض" (Excess): هذه هي المساحة الإضافية التي تمنحهم إياها حتى لا يضطروا للعمل بجهد كبير للوصول إلى رقم مثالي.
حركة الورقة البحثية: يستخدمون "مقايضة" رياضية (مثل ميزان ذو كفتين) لتحديد مقدار المساحة الإضافية التي يجب منحها. مساحة قليلة جدًا، وقد يفشل الفرق إذا تغيرت الأمور. مساحة كبيرة جدًا، وقد يكون المنتج النهائي ضعيفًا أو مكلفًا. هم يجدون منطقة "الاعتدال المثالية" (Goldilocks zone).

3. الضمان السحري: لماذا يمكن للفرق العمل بمفردها

تثبت الورقة حقيقة رياضية مهمة للغاية: إذا اتبع كل فريق هذه القواعد، فيمكنهم العمل في عزلة تامة.

القاعدة 1 (القابلية للتركيب - Composability): يجب أن يتناسب مخرج الفريق (أ) تمامًا مع مدخل الفريق (ب).
القاعدة 2 (التنقيح/التحسين - Refinement): يجب أن تكون القواعد المحددة المعطاة للفرق نسخة "أكثر دقة" من القاعدة الكبيرة. (مثلاً: إذا كانت القاعدة الكبيرة تقول "السرعة < 100"، فقد تكون قاعدة الفريق "السرعة < 90").

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

ملخص "الخلطة السرية"

تقدم الورقة مفهومين رئيسيين للتعامل مع عدم اليقين:

المنطقة العازلة (Buffer): مساحة إضافية مدمجة في التصميم لاستيعاب "المجاهل المعروفة" (مثل "ربما تكون الرياح أقوى مما نعتقد").
الفائض (Excess): مساحة إضافية لاستيعاب "المجاهل غير المعروفة" (مثل "لم ندرك أن التربة كانت رخوة").

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

باخت-القول: توفر هذه الورقة "دليل تعليمات" رسمي لتفكيك المشكلات الهندسية المعقدة بحيث يمكن للفرق المختلفة العمل بشكل مستقل دون الاصطدام ببعضها البعض، مع ضمان أن المنتج النهائي سيعمل تمامًا كما هو مخطط له.

ملخص تقني: تفكيك المتطلبات الوظيفية في التصميم القائم على المجموعات

بيان المشكلة

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

المنهجية

يقترح البحث طريقة رسمية مكونة من أربع خطوات لتفكيك المتطلبات الوظيفية هرميًا باستخدام الاستدلال القائم على المجموعات. تتعامل هذه المنهجية مع وظائف النظام كتحويلات رياضية بين المدخلات والمخرجات ( $f: (x, u, c) \to y$ )، حيث تمثل $x$ المدخلات، و $y$ المخرجات، و $u$ المعلمات غير المسيطر عليها وغير المؤكدة، و $c$ المعلمات المسيطر عليها وغير المؤكدة.

تتكون المنهجية مما يلي:

تعريف وتحليل البنية الوظيفية:
- يتم تعريف البنية الوظيفية كمجموعة من الوظائف الفرعية المتصلة.
- تقوم الطريقة بتجميع المتغيرات من الوظائف الفرعية لتحديد المتغيرات المشتركة وفضاءات التصميم/الأداء المتميزة.
- تُصنف المتغيرات إلى ست مجموعات حصرية بناءً على سياق تعريفها (مثل المدخلات المعرفة فقط في المستوى الأعلى مقابل الوظائف الفرعية، المخرات المشتركة بين الوظائف الفرعية، إلخ).
- تحدد هذه الخطوة فضاء التصميم الأولي وفضاء الأداء للنظام.
استكشاف الفضاءات الممكنة الأولية:
- يتم توصيف فضاء ممكن أولي لكل وظيفة فرعية بناءً على التنفيذات الممكنة.
- تمثل هذه الفضاءات أوسع النطاقات الممكنة للمدخلات والمخرات والمعلمات قبل تطبيق قيود النظام.
تضييق الفضاءات الممكنة:
- التقاطع: يتم تقاطع نطاقات المتغيرات المعرفة عبر عدة وظائف فرعية لإنشاء فضاء تصميم موحد أولي ( $FDS_1$ ) وفضاء أداء موحد ( $FPS_1$ ).
- تحقيق القيود: تطبق الطريقة مسألة إرضاء قيود كمية لتضييق الفضاء بشكل أكبر. وتحديدًا، يتم تضييق المعلمات المسيطر عليها ( $c$ ) لتصبح ( $R^\downarrow_c$ ) بحيث تظل مخرجات النظام ضمن فضاء الأداء الممكن لـ جميع قيم المعلمات غير المسيتر عليها ( $u$ ) والمدخلات ( $x$ ).
- تحليل الوصول: يُستخدم تحليل الوصول لحساب تقريب علوي لفضاء الأداء الذي يمكن الوصول إليه ( $FPS_2$ ) بناءً على فضاء التصميم الضيق ( $FDS_2$ ). يضمن ذلك التقاط جميع سلوكيات النظام الممكنة تحت القيود الضيقة.
تحديد المتطلبات الفرعية:
- توسيع عدم اليقين: لاستيعاب احتمال التقدير المنخفض لعدم اليقين الأولي، يتم توسيع فضاء الأداء المطلوب ( $FPS^*$ ) من $FPS_2$ باتجاه $FPS_1$ . هذا التوسيع ليس عشوائيًا، بل تحكمه دراسة المقايضة.
- التحسين: يتم صياغة مسألة تحسين قائمة على دالة الحاجز (barrier function) لتحديد الحدود المثلى لـ $FPS^*$ . تهدف العملية إلى تقليل "المسافة" إلى حدود $FPS_1$ (للسماح بهامش عدم اليقين) و $FPS_2$ (لتجنب صعوبة التنفيذ)، مع ترجيحها حسب تفضيلات المصمم.
- التعيين النهائي: يتم تعيين فضاء التصميم الضيق الناتج ( $FDS_2$ ) وفضاء الأداء الموسع ( $FPS^*$ ) كمتطلبات فرعية رسمية ( $R^*_x, R^*_c, R^*_u, R^*_y$ ) لكل وظيفة فرعية.

المساهمات الرئيسية

يقدم البحث مساهمتين رئيسيتين في أدبيات التصميم القائم على المجموعات (SBD):

منهجية تفكيك رسمية للأنظمة المعقدة:
- على عكس مناهج SBD الحالية التي تُعرف المتطلبات كنطاقات فضاء الأداء (المناسبة للمكونات الميكانيكية)، تُعرف هذه الطريقة المتطلبات كـ عمليات ربط بين نطاقات المدخلات والمخرجات. هذه الصياغة مصممة خصيصًا للأنظمة المعقدة التي تتضمن مكونات متنوعة (ميكانيكية، برمجية، إلخ).
- توفر الطريقة إجراءً صارمًا وقابلًا للتكرار لتفكيك هذه الروابط إلى متطلبات فرعية.
إثبات رسمي للتطوير المتوازي (الاستقلالية):
- يقدم البحث ويثبت خاصيتين مهمتين: التحسين (تقليل عدم اليقين من المستويات العليا إلى المستويات الأدنى) والقابلية للتركيب (توافق الواجهات بين المتطلبات الفرعية).
- مبرهنة: إذا كانت المتطلبات الفرعية في كل مستوى قابلة للتركيب وكان تركيبها يحسن المتطلبات الوظيفية في المستوى الأعلى، فإن النظام المركب الناتج عن تنفيذ هذه المتطلبات الفرعية بشكل مستقل سيحقق المتطلبات الوظيفية العليا.
- يوفر هذا أول تبرير رسمي للادعاء بأن التصميم القائم على المجموعات يتيح التطوير المتوازي والمستقل لفرق التصميم الموزعة.
التمييز بين "الهامش" (Buffer) و"الفائض" (Excess):
- تميز الطريقة صراحة بين "الهامش" (قيم المعلمات التي تعوض حالات عدم اليقين المسيطر عليها) و"الفائض" (الزيادة التي تستوعب حالات عدم اليقين الأولية التي تم تقديرها بأقل من قيمتها). ويتم دمج هذا التمييز في خطوات التضييق والتوسيع.

النتائج

تم تطبيق المنهجم المقترح من خلال دراسة حالة تتضمن تصميم نظام التحكم في السرعة (Cruise Control).

المتطلب العلوي: يجب أن يقوم النظام بربط السرعة الأولية ( $v_0$ ) والسرعة المرجعية ( $v_r$ ) بمسار سرعة حقيقي ( $v(t)$ ) يظل محدودًا ويتقارب نحو نطاق مستهدف خلال زمن محدد.
التفكيك: تم تفكيك الوظيفة العليا إلى ثماني وظائف فرعية تمثل الديناميكيات الفيزيائية (القوى، الاحتكاك، الديناميكا الهوائية) ومنطق التحكم (متحكم PID).
تنفيذ العملية:
- نجحت الطريقة في تحديد فضاء التصميم (المدخلات والمعلمات المسيطر عليها مثل السرعة الزاوية القصوى للمحرك $\omega_m$ ) وفضاء الأداء (القوى والتروس والسرعات المتوسطة).
- من خلال التقاطع وتحليل الوصول (باستخدام أداة CORA)، تم تضييق فضاء التصميم الممكن، وتحديدًا تقليص المعلم المسيطر عليه $\omega_m$ من $[350, 480]$ إلى $[365, 450]$ راديان/ثانية لضمان الاستقرار.
- حددت خطوة التحسين المتطلبات الفرعية النهائية، مما ضمن أن الوظائف الفرعية قابلة للتركيب (المتغيرات المشتركة لها نطاقات متسقة) وأن النظام المركب يحسن المتطلبات الوظيفية العليا.
النتيجة: سمحت المتطلبات الفرية الناتجة بالتنفيذ المستقل للأنظمة الفرعية (مثل المحرك، الإطارات، المتحكم) مع ضمان رياضي بأن النظام المتكامل سيلبي معايير الاستقرار والتقارب العليا.

الأهمية والادعاءات

يدعي البحث أهميته في سد الفجوة بين الفوائد النظرية للتصميم القائم على المجموعات والحاجة العملية إلى توجيه رسمي وعملي في هندسة المتطلبات.

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

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