نام پژوهشگر: دارا معظمی

وارسی سیستم های واکنشی بلادرنگ با استفاده از منطق زمانی مبتنی بر دیاگرام مورد مطالعه: پروتکل فیشر
thesis وزارت علوم، تحقیقات و فناوری - دانشگاه تهران - دانشکده فنی 1387
  محمد حاتمی رشیدی   علی معینی

چکیده ندارد.

وارسی مبتنی بر دیاگرام سیستم های واکنشی ترکیبی و پارامتریک با استفاده از منطق زمانی
thesis وزارت علوم، تحقیقات و فناوری - دانشگاه تهران 1387
  فرید علاقمند   علی معینی

چکیده ندارد.

پارامتر همبستگی و طیفی از گراف ها در طراحی شبکه ها
thesis موزه جانورشناسی دانشگاه تهران 1388
  بهزاد صالحیان متی کلایی   دارا معظمی

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

روش درخت موفقیت و مجموعه فازی برای ارزیابی منابع اورانیوم (مثال موردی در منطقه ای از استان آذربایجان شرقی)
thesis وزارت علوم، تحقیقات و فناوری - دانشگاه تهران 1379
  محمدرضا نیک گفتار   دارا معظمی

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

اتوماسیون و بهینه سازی سیستم توزیع به منظور کاهش تلفات با استفاده از نظریه گراف
thesis وزارت علوم، تحقیقات و فناوری - دانشگاه تهران 1380
  حمیدرضا زارع   حمید لسانی

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