اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدالتمثيل الجبري لشبكات بتري
Algebraic representation of Petri nets
1092
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.
المراجع المستخدمة
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) من
خلال شبكات بتري الضبابية المنطقية، و تتميز الطريقة بإظهار قيمة التضبيب لكل
خاصية من خاصيات تابع الانتماء
الممثل لكل مدخل من مداخل المتحكم الإشرافي
الضبابي و تحديد العدد الإجمالي للقواعد المطلوبة في تصميم المتحكم قبل البدء بإدخال
القواعد المناسبة في مرحمة تصميم القواعد و تحديد القيمة الرقمية لمدخلي القاعدة التي تم
تفعيلها و تجميع المتغيرات التي لها نفس الخاصية و اظهار القيمة الرقمية لكل منها برمجياً
و تحديد قيمة فك الضبابية باستخدام طرق فك الضبابية.
سنقوم في هذا البحث بتصميم متنبئ سميث العائم، و من ثم نمذجته، محاكاته
و تحليله باستخدام شبكات بتري العائمة الملونة و مقارنته مع متحكم تناسبي تكاملي تقليدي،
و ذلك بهدف تخفيض التأخير الزمني لنظام التوربينات الريحية و زيادة موثوقيتها، و تحسين
الاستجاب
ة، و تأمين استقرار نقطة العمل المثلى للقدرة الميكانيكية، و خفض الاهتزازات التي
يسببها التأخير الزمني في الجملة من جهة أخرى.
سنقوم في هذا البحث بعرض طريقة رسومية جديدة لنمذجة المتحكمات التتابعية باستخدام
شابكات بيتري الملونة عالية المستوى. و سنعرض كيفية بناء متحكم تتابعي باستخدام هذه
الطريقة و نحمل فضاء حالته. بينت النتائج المعروضة في هذا البحث أفضلية الطريقة
الجديدة عن
د تطبيقها في الأنظمة المعقدة مقارنة مع المتحكم المصمم جبرياً بواسطة
شابكات بيتري العادية، حيث بسطت الطريقة الجديدة شابكة المتحكم التتابعي و زادت من
سرعة الأداء و حسنت الوثوقيه.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
