النمذجة الرسمية والتحقق من نهج التفاوض متعدد الوكلاء لمراقبة عمليات شركات الطيران
| العنوان | النمذجة الرسمية والتحقق من نهج التفاوض متعدد الوكلاء لمراقبة عمليات شركات الطيران |
|---|---|
| المؤلف | Bouarfa, S., Aydoğan, Reyhan, Sharpanskykh, A. |
| تاريخ النشر: | 2021-02-12 |
| مكان النشر | - سبرينغر |
| الموضوع | مراقبة عمليات شركات الطيران، النمذجة الرسمية، التحقق من النماذج، التفاوض متعدد الوكلاء، النمذجة القائمة على القواعد، نمذجة سير العمل |
| النوع | دورية |
| اللغة | الإنجليزية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| معرف أصل المكتبة | 2199-4668 |
| رقم السجل | 19be39a9-c5f5-472e-93b2-c5be766a7dd2 |
| موقع المكتبة | علوم الكمبيوتر |
| التاريخ | 2021-02-12 |
| نص عينة | تقترح هذه الورقة وتقيم استراتيجية جديدة لإدارة اضطرابات شركات الطيران باستخدام نمذجة النظام متعدد الوكلاء والمحاكاة والتحقق. تعتمد هذه الإستراتيجية الجديدة على بروتوكول تفاوض متعدد الوكلاء، وتتم مقارنتها بثلاث إستراتيجيات لشركات الطيران تعتمد على ممارسات الصناعة المعمول بها. يتعلق التطبيق بمراقبة عمليات الطيران التي تتمثل وظيفتها الأساسية في إدارة الاضطرابات. لتقييم الإستراتيجية الجديدة، تم تطوير نموذج نظام متعدد الوكلاء قائم على القواعد لعمليات AOC والطاقم. يُستخدم هذا النموذج لتقييم تأثيرات المفاوضات المتعددة الوكلاء على أداء شركات الطيران في سياق سيناريو التعطيل الصعب. بالنسبة للسيناريو المحدد الذي تم النظر فيه، تتفوق استراتيجية التفاوض متعدد الوكلاء على الاستراتيجيات المحددة عندما يكون الوكلاء المشاركون في التفاوض خبراء. مساهمة مهمة أخرى هي أن الورقة تقدم علم الوجود القائم على المنطق المستخدم في النمذجة والتحليل الرسمي لسير عمل AOC. |
| DOI | 10.1007/s40860-020-00123-0 |
| Cilt | 7 |
