اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدالتمثيل الجبري لشبكات بتري
Algebraic representation of Petri nets
1286
0 19
0
(
0
)
تمت اﻹضافة من قبل
Shamra Editor
اسأل ChatGPT حول البحث
تقدم هذه الورقة البحثية تمثيلا جبريا لنموذج شبكات بتري بالاستفادة من أن مبدأ الإطلق في شبكات بتري يعتمد على عملية اختزال من مونوئيد الأعداد الطبيعية التبديلي. قدمنا في نهاية البحث مبرهنة توضح كيفية الاستفادة من الخواص الجبرية للتمكن من محاكاة شبكات بتري جبريا و التعرف على النتائج التي سنحصل عليها بعد إطلاق سلسلة من انتقالات الشكبة.
This paper provides algebraic representation of Petri Nets model, taking advantage that the releasing principle of Petri Nets depends on reduction process of Monoiad of the commutative natural numbers. (In conclusion) Finally, we provided a theorem that explains how to make use of algebraic properties, to simulate Petri Nets algebraically and identify the results we will get after releasing a series of Petri Nets' transitions.
مراجعة الذكاء الصنعي:
ملخص البحث
تقدم هذه الورقة البحثية تمثيلاً جبرياً لنموذج شبكات بتري، مستفيدة من أن مبدأ الإطلاق في شبكات بتري يعتمد على عملية اختزال من مونوئيد الأعداد الطبيعية التبديلي. تهدف الورقة إلى تعريف جبر بتري وفئة بتري Rpv، التي تتألف من صفين: صف الأشياء وصف المورفيزمات. في نهاية البحث، قدمت مبرهنة توضح كيفية الاستفادة من الخواص الجبرية لمحاكاة شبكات بتري جبرياً والتعرف على النتائج التي سنحصل عليها بعد إطلاق سلسلة من انتقالات الشبكة. تم تقديم مفهوم جديد وهو فئة بتري بالاعتماد على تعريف الفئة في الجبر المجرد، مما يساعد في إسقاط جميع مبرهنات وبديهيات ونتائج الفئة على شبكات بتري. كما تم تقديم تعريف للدالي موافق ومخالف التغيير بين فئتي بتري. النتائج التي توصلت إليها الورقة تسهل العمل بنموذج التمثيل البياني لشبكات بتري وتوضح الشرط الجبري الواجب توفره لانتقال حالة نموذج شبكة بتري من حالة إلى أخرى وفق سلسلة من إطلاق الانتقالات المتتالية.
قراءة نقدية
دراسة نقدية: تعتبر الورقة البحثية مساهمة قيمة في مجال تمثيل شبكات بتري جبرياً، حيث تقدم مفاهيم جديدة مثل جبر بتري وفئة بتري. ومع ذلك، يمكن أن يكون العرض أكثر وضوحاً وتبسيطاً، خاصة في الأجزاء التي تتناول التعريفات الرياضية والمبرهنات. قد يجد القراء غير المتخصصين صعوبة في متابعة التفاصيل الرياضية الدقيقة. بالإضافة إلى ذلك، كان من الممكن تقديم أمثلة تطبيقية أكثر توضيحاً لكيفية استخدام هذه المفاهيم في حل مشاكل عملية. على الرغم من ذلك، تظل الورقة إضافة مهمة للأدبيات العلمية في هذا المجال.
أسئلة حول البحث
-
ما هو الهدف الرئيسي من الورقة البحثية؟
الهدف الرئيسي هو تقديم تمثيل جبري لشبكات بتري وتحديد جبر بتري وفئة بتري لمحاكاة حركة الكائنات جبرياً والتعرف على سلوكها العام في الشبكة عند إطلاق الانتقالات.
-
ما هي المكونات الرئيسية لفئة بتري كما تم تعريفها في الورقة؟
فئة بتري تتألف من صفين: صف الأشياء الذي يشمل قيم الحالات القابلة للوصول لشبكة بتري، وصف المورفيزمات الذي يشمل أسهم الوصول من حالة إلى أخرى في الشبكة.
-
ما هي المبرهنة الرئيسية التي قدمتها الورقة؟
المبرهنة الرئيسية توضح كيفية الاستفادة من الخواص الجبرية لمحاكاة شبكات بتري جبرياً وتحديد النتائج التي سنحصل عليها بعد إطلاق سلسلة من انتقالات الشبكة.
-
ما هي التحديات التي يمكن أن تواجه القراء عند قراءة هذه الورقة؟
قد يجد القراء غير المتخصصين صعوبة في متابعة التفاصيل الرياضية الدقيقة والتعريفات المعقدة، كما أن العرض قد يكون بحاجة إلى مزيد من التبسيط والتوضيح.
المراجع المستخدمة
ANTSAKLIS, P., IORDACHE, M., 2006 - A Petri Net Structural Approach , Birkhäuser Boston, University of Illinois, USA, 1-28
BAHLS, P., COLE, J., GALATOS, N., JIPSEN, P., TSINAKIS, C.,2003 - Cancellative residuated lattices, Algebra Universalis 50(1), 83– 106
GOOS, G., HARTMANIS, J., LEENWEN, J., 2014 - Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Springer International Publishing, Tunis, Tunisia, 233-252
قيم البحث
اقرأ أيضاً
في هذا البحث تمت دراسة خط إنتاج مكون من آلات خاضعة لكلا النوعين من الأعطال, و من مخازن وسطية محددة السعة.
يهدف هذا البحث إلى تحديد مؤشر الموثوقية لأنظمة الطاقة الكهربائية بشكل دقيق و بدون استخدام الكثير من المدخلات و عمليات المعالجة, و ذلك للاستفادة من النتائج في مرحلة تخطيط و تصميم الشبكات الكهربائية لما لها من أهمية فنية و اقتصادية كبيرة في الاختيار ال
أمثل لعناصر الشبكة و طرق توصيلها. و قد اعتمدنا في هذا البحث على استخدام مفهوم شبكات بتري لتمثيل الشبكات الكهربائية المدروسة و من ثم محاكاة المخطط المكافئ باستخدام برنامج GRIF لحساب درجة موثوقية عمل النظام و عناصره. يتضمن هذا البحث مقارنة منهجية الطريقة المقترحة المعتمدة على مفهوم بتري مع شبكة مرجعية عالمية و من ثم تطبيقها على شبكة كهربائية محلية و مناقشة نتائجها حيث تبين بالنتائج فعالية شبكات بتري في حساب الموثوقية بأفضل طرق المحاكاة.
يعرض هذا البحث طريقة مقترحة لتصميم نموذج متحكم إشرافي ضبابي للمتحكم
التناسبي التكاملي التفاضلي (PID: Proportional, Integral, Differential) من
خلال شبكات بتري الضبابية المنطقية، و تتميز الطريقة بإظهار قيمة التضبيب لكل
خاصية من خاصيات تابع الانتماء
الممثل لكل مدخل من مداخل المتحكم الإشرافي
الضبابي و تحديد العدد الإجمالي للقواعد المطلوبة في تصميم المتحكم قبل البدء بإدخال
القواعد المناسبة في مرحمة تصميم القواعد و تحديد القيمة الرقمية لمدخلي القاعدة التي تم
تفعيلها و تجميع المتغيرات التي لها نفس الخاصية و اظهار القيمة الرقمية لكل منها برمجياً
و تحديد قيمة فك الضبابية باستخدام طرق فك الضبابية.
سنقوم في هذا البحث بتصميم متنبئ سميث العائم، و من ثم نمذجته، محاكاته
و تحليله باستخدام شبكات بتري العائمة الملونة و مقارنته مع متحكم تناسبي تكاملي تقليدي،
و ذلك بهدف تخفيض التأخير الزمني لنظام التوربينات الريحية و زيادة موثوقيتها، و تحسين
الاستجاب
ة، و تأمين استقرار نقطة العمل المثلى للقدرة الميكانيكية، و خفض الاهتزازات التي
يسببها التأخير الزمني في الجملة من جهة أخرى.
سنقوم في هذا البحث بعرض طريقة رسومية جديدة لنمذجة المتحكمات التتابعية باستخدام
شابكات بيتري الملونة عالية المستوى. و سنعرض كيفية بناء متحكم تتابعي باستخدام هذه
الطريقة و نحمل فضاء حالته. بينت النتائج المعروضة في هذا البحث أفضلية الطريقة
الجديدة عن
د تطبيقها في الأنظمة المعقدة مقارنة مع المتحكم المصمم جبرياً بواسطة
شابكات بيتري العادية، حيث بسطت الطريقة الجديدة شابكة المتحكم التتابعي و زادت من
سرعة الأداء و حسنت الوثوقيه.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
