أنواع المحاكاة الحاسوبية: اختر نموذجًا لسؤالك

الخلاصة السريعة

اختر طريقة التمثيل المناسبة لسؤالك، ثم افصل فحص تنفيذ النموذج عن فحص صلاحيته لذلك الاستخدام. [5]

• المستمرة تمثل متغيرات ومعادلات؛ في مثالنا المؤلف س = 2 × الزمن، فتكون س = 3 عند الزمن 1.5. [1]
• الأحداث المنفصلة: تتابع اللحظات المهمة، وقد يظهر تحريك مستمر رغم منطق النموذج المنفصل. [2]
• الوكلاء: تحدد سلوك الأفراد وتفاعلاتهم، ثم ينشأ منها السلوك الكلي. [3]
• يمكن دمج مناهج؛ لكن التبسيط والافتراضات يظلان جزءًا من النموذج. [3][4]
• مثال الطابور مؤلف: وصول ثانٍ عند 2، وانتهاء الخدمة الأولى عند 3، فينتظر وحدة زمن واحدة.
• Verification يفحص التنفيذ وفق التصميم، وValidation يفحص تمثيل الواقع للاستخدام المقصود؛ النجاح لأحد الأسئلة لا يكفي لغيره. [5]

المحاكاة المستمرة: متغيرات مع الزمن

تصف وثائق النمذجة الديناميكية متغيرات حالة ومعادلات تفاضلية وجبرية؛ تحمل المتغيرات معاني مثل الموضع أو السرعة أو التركيز، وتتعامل معها باعتبارها مستمرة. هذا وصف طريقة التمثيل، وليس مجرد نعومة الحركة الظاهرة على الشاشة. [1]

لتأليف تمرين، نختار مقدارًا نسميه س ونفترض س = 2 × الزمن بين صفر وخمس وحدات زمن. يتيح الافتراض حساب قيمة عند 1.5، فتكون 3. لا ندعي أن المعادلة تصف جهازًا حقيقيًا؛ علينا أولًا تعريف المقدار وسبب اختيار المعادلة إذا أردنا دراسة حالة فعلية.

الأحداث المنفصلة: حين يحدث ما يغير الحالة

تنتقي محاكاة الأحداث المنفصلة لحظات مهمة من العملية، مثل الوصول أو اكتمال عمل. ينتقل المنطق بين الأحداث؛ ومع ذلك قد تعرض الواجهة حركة مرئية مستمرة. شكل العرض لا يكفي لتسمية نوع النموذج. [2]

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

الوكلاء: ابدأ بسلوك كل فرد

في النمذجة القائمة على الوكلاء، تحدد الكيانات الفاعلة وسلوكها وصلاتها، ثم ينشأ سلوك النظام من تفاعلات الأفراد. ليس الوكيل إنسانًا بالضرورة؛ قد يمثل مركبة أو آلة أو كيانًا آخر بحسب النموذج. [3]

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

دمج المناهج: لا حاجة إلى حشر كل شيء في قالب واحد

تتيح أدوات النمذجة دمج الوكلاء مع مناهج أخرى. وتبقى عملية النمذجة قائمة على التجريد والتبسيط والافتراضات. وجود أكثر من طريقة في ملف واحد لا يجعل النموذج أقرب إلى الواقع تلقائيًا. [3][4]

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

حساب طابور صغير لاختبار القواعد

نفترض مكتبًا واحدًا، وخدمة تستغرق ثلاث وحدات زمن لكل زائر، بلا انقطاع. يصل أ عند الزمن صفر؛ يبدأ فورًا وينتهي عند 3. يصل ب عند الزمن 2؛ يبدأ عند 3 وينتهي عند 6، فيكون انتظاره 3 − 2 = 1.

هذه أحداث وقواعد من تأليفنا. استخرج منها الجدول قبل كتابة أي برنامج، ثم قارنه بما ينفذه برنامج المثال إن بنيته. لو أعطى البرنامج بدء خدمة ب عند 2 مع بقاء أ في الخدمة، فسيخالف شرط المكتب الواحد في تمريننا. أما قرب النموذج من مكتب فعلي فله سؤال آخر.

التحقق والصلاحية: سؤالان مختلفان

يفحص Verification مدى مطابقة التنفيذ للتصميم والمواصفات، ولا يثبت دقة التنبؤ. أما Validation فيقيم تمثيل الظاهرة الواقعية وفق الاستخدام المقصود. قد يصح نموذج للإجابة عن سؤال ويفشل في سؤال آخر؛ لذلك لا تكفي عبارة «البرنامج يعمل» لتزكية النتائج. [5]

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