TY - JOUR ID - 34291 TI - مدلسازی منطقی کامپیوتر پرواز برای تشخیص عملکرد ناصحیح عملگرهای برقی – مکانیکی پرنده‌های بدون سرنشین با استفاده از شبکه‌های پتری JO - دانش و فناوری هوافضا JA - ASSTJ LA - fa SN - 2322-1070 AU - آهنگرانی فراهانی, علیرضا AU - دیدبان, عباس AD - دانشجوی دکتری / دانشکدة برق و کامپیوتر، دانشگاه سمنان، سمنان AD - عضو هیات علمی / دانشکدة برق و کامپیوتر، دانشگاه سمنان، سمنان Y1 - 2019 PY - 2019 VL - 8 IS - 1 SP - 95 EP - 107 KW - شبکه‌های پتری KW - کنترل نظارتی KW - هواپیمای بدون سرنشین KW - عملگرهای برقی - مکانیکی KW - تشخیص خطا DO - N2 - در این مقاله با استفاده از ابزار شبکه‌های پتری روشی برای مدلسازی عملیات منطقی، کشف خطا، طراحی کنترل‌کنندة نظارتی و در نتیجه افزایش قابلیت اطمینان برای زیرسیستم عملگر برقی - مکانیکی پرنده‌های بدون سرنشین ارائه شده ‌است. در پرنده‌های بدون سرنشین عملگرها برای کنترل سطوح کنترلی استفاده می‌شود، لذا ایجاد روشی که بتواند رفتار منطقی و خطاهای زیرسیستم­ها را مدل کند و رفتار مناسبی در مقابل خطاهای احتمالی سیستم داشته باشد، بسیار مفید خواهد بود. در روش ارائه‌شده در این مقاله، جهت طراحی کنترل‌کنندة نظارتی برمبنای شبکه‌های پتری سه گام اصلی برداشته شده است: در اولین گام، ضوابط و خصوصیات اصلی بخش‌های مختلف با استفاده از شبکة پتری به‌صورت جداگانه مدل شده ‌است، در گام دوم سنکرون‌سازی بین مدل‌ها انجام شده و در گام آخر با استفاده از کنترل نظارتی، کل رویة کنترل جهت حصول اطمینان از بروز وضعیت ناامن در سیستم ضمانت می‌گردد. در این پژوهش جهت جلوگیری از ورود در شرایط ناامن و همچنین کنترل فرایند از روش افزونگی تحلیلی استفاده شده ‌است. نتایج نشان می‌دهد که با استفاده از این روش احتمال خرابی کاهش و قابلیت اطمینان سیستم افزایش خواهد یافت. UR - https://www.astjournal.ir/article_34291.html L1 - https://www.astjournal.ir/article_34291_a65b1160bc543928f063170fa238124a.pdf ER -