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