یکی از ارکان اساسی هر سیستم قدرت خطوط انتقال آن است. بروز هر گونه اختلال و خطایی در خطوط انتقال علاوه بر وارد آوردن خسارت به تولید¬کننده برای مصرف¬کننده نیز زیان¬آور خواهد بود. از طرفی تعیین دقیق مکان خطا در خطوط انتقال در حداقل زمان ممکن می¬تواند نقش بسزایی درمدیریت بحران و جلوگیری از خاموشی¬های اساسی داشته باشد. نظر به اهمیت موضوع، تشخیص مکان خطا از دیرباز مورد توجه شرکت¬های برق و پژوهشگران ص...

این پایان نامه در ابتدا انواع اندازه های کارایی شعاعی و غیرشعاعی در تحلیل پوششی داده ها را بررسی می کند. سپس یک مدل غیر شعاعی معرفی و نمایش داده می شود. در این مدل با متغیرهای کمکی به طور مستقل و جداگانه سروکار داریم و آنها را در یک اندازه کارایی جای می دهیم که اندازه بر پایه متغیرهای کمکی یا sbm نامیده می شود. در ادامه نقاط ضعف این اندازه کارایی را مد نظر قرار داده و چهار تغییر یا اصلاح بر روی...

برآورد مشخصه‌های کمی جنگل در سطوح وسیع بااستفاده از داده‌های ماهواره‌ای اهمیت فراوانی در مدیریت پایدار جنگل دارد. هدف از این پژوهش، بررسی امکان برآورد برخی مشخصه‌های کمی جنگل بااستفاده از تصاویر سنجنده ASTER در جنگل شصت‌کلاته گرگان است. برای این منظور تعداد 112 قطعه‌نمونه زمینی مربعی به‌مساحت 09/0 هکتار به‌روش خوشه‏ای تصادفی در واحدهای همگن ازنظر تیپ درختی و جهت دامنه پیاده شد و مشخصه‌های حجم، ...

یکی از فرض‌های بهینه‌سازی کلاسیک، قطعی بودن داده‌هاست در حالی که وجود پارامتر غیرقطعی در مسائل واقعی غیر قابل اجتناب است. بهینه‌سازی استوار ازجمله تکنیک‌های توسعه‌یافته برای مواجهه با شرایط غیرقطعی است. در رویکردهای استواری ارائه‌شده تاکنون فرض بر آن بوده که پارامتر غیرقطعی عضو مجموعه‌یی محدب است، در حالیکه در بسیاری از مسائل واقعی با جمع‌آوری داده‌ها و سوابق گذشته‌ی پارامترها، فضای غیرقطعی به...

‏‎‎‎با افزایش سرعت ‏انتشار پیوند فیزیکی و بزرگ شدن جداول مسیریابی، سرعت جستجوی آدرس های آی پی در مسیریاب ها مهم ترین مساله ‏‏ای است که برای داشتن شبکه ای با بازدهی بالا مطرح می شود. ‏در حال حاضر‏، تلاش های بسیاری برای گسترش مسیریاب های نرم افزاری با استفاده از کامپیوترهای شخصی شده است. ساختار درختی از جمله روش هایی است که در مسیریاب های نرم افزاری استفاده می شود. از آنجا که تطبیق طولانی ترین پی...

در این رساله‏، مسائل ‎‎قطعی سازی‏، کاهش و کامل بودن‏ را در یک اتوماتای درختی فازی مورد بحث قرار داده و نشان می دهیم که کمینه سازی‏ نیازمند بررسی همزمان از دیدگاه زبانی و دیدگاه رفتاری در یک اتوماتای درختی فازی می باشد. برای افزایش قابلیت انعطاف در این زمینه‏ و همچنین برآورده سازی برخی نیازهای کاربردی‏، مسأله جدیدی به نام کمینه سازی تقریبی تعریف گردیده که دیدگاه های زبانی و رفتاری را هم در نظر م...

لینکیج مجموعه ای از پاره خط هایی است که از دو انتهایشان قابل اتصال به یکدیگر میباشند. لینکیج هایی که دارای حلقه نباشند لینکیج های درختی نامیده می شوند. یک لینکیج درختی که دنباله خطی از پاره خط های متصل به یکدیگر است زنجیره باز نام دارد. لینکیج ها کاربردهای فراوانی در مدل کردن بازوهای یک روبات دارند و به دلیل np-hard بودن بیشتر مسایل مرتبط با آنها، الگوریتم هایی تقریبی و نزدیک به بهینه برای تا ک...

ابطال‌گرایی پوپر نظریه‌ای درباره روش‌شناسی علمی ‌و معیاری برای جداسازی گزاره‌های علمی ‌از غیر‌علمی است که برخلاف روش استقرایی با تکیه بر بداهت روان‌شناختی گزاره‌های مشاهدتی و به اصطلاح پایه در پی اثبات صدق قطعی یا حتی غیرقطعی و احتمالاتی نظریه‌های علمی نیست. از این‌رو نظریه‌ها همواره در حد حدس و گمان باقی می‌مانند. اما اگرچه آنها حدس‌هایی قطعاً صادق یا احتمالاً صادق نیستند، می‌توانند گمان‌هایی تق...

جهت تخمین احتمال خرابی سازه ها رویه اولین مرتبه قابلیت اعتماد، کاربرد وسیعی دارد که بر اساس رویه تکرار ریاضی با هدف تعیین شاخص قابلیت اعتماد سازه ها و یا نقطه حداکثر محتمل پایه­گذاری شده است. روش معمول اولین مرتبه قابلیت اعتماد (هاسوفر-لیند و رکویتز-فسلر) در مسائل غیر خطی با توابع عملکرد پیچیده برای یک سازه ممکن است موجب ناپایداری حل به صورت نوسانی و حل مغشوش گردد. در مقاله حاضر یک رویه تکرار ر...