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

یکی از راهکارهای کاهش تلفات در شبکه​های توزیع استفاده از تجدید آرایش فیدرهای فشار متوسط متناسب با سطوح بار مختلف سیستم است. تعداد آرایش​های ممکن یک شبکه­ی توزیع بسیار زیاد است و امکان بررسی تمام آرایش​ها (مخصوصاً در شبکه​های با مقیاس بزرگ) برای یافتن آرایش بهینه به راحتی میسر نیست. در این مقاله یک الگوریتم جدید مبتنی بر نظریه­ی گراف و الگوریتم­های توسعه یافته­ی آن برای تجدید آرایش شبکه​های توزیع...

متناظر با هر زوج از اعداد صحیح مثبت ‎ $n‎$‎‎ و‎ $k‎‎geqslant2$ ‎ یک گراف جهت دار مکر‎ر ‎$ ‎gamma(n,k)‎ $‎‎ وجود دارد که مجموعه رئوس آن اعضای مجموعه $ h=‎lbrace0,1,‎‎ldots‎,n-1‎ brace‎‎‎ $ است به طوری که بین دو رأس‎‎ $ a $‎ و $ b $ در ‎$ h $‎ یک یال جهت دار وجود دارد هرگاه $ a‎^{k}‎equiv ‎b‎‏ ‎‎(‎operatorname{mod}:n) $. در ابتدا دو زیرگراف جهت دار $‎gamma‎_{1}‎‎(n,k)$ و $‎g...

در این پایان نامه ما یک نمایشی از یک ابرعمل ‎""o‎ و شکل ماتریسی آن روی یک مجموعه متناهی ‎ h را معرفی می کنیم و شرط لازم و کافی برای اینکه ماتریس وابسته مربوط به یک (نیم)ابرگروه شود را مورد مطالعه قرار می دهیم، علاوه براین ما شرایط لازم و کافی برای اینکه ابرگروه وابسته به ماتریس، منظم، کامل، الحاقی و هندسی شود را ارائه می دهیم. در فصل ‎3‎، گراف ها یا ‎ n-‎گراف های تعمیم داده شده، ابرعمل برگرفته...

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

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

فرض کنید گراف g یک گراف ساده غیرجهت دار و متناهی باشد. انرژی گراف g به صورت مجموع قدرمطلق مقادیرویژه گراف g تعریف می شود. در این رساله به تعریف و بررسی انرژی لاپلاسین انرژی وقوع و شبه انرژی لاپلاسین ناوردای یک گراف می پردازیم. به علاوه چندین کران برای انرژی های مختلف از یک گراف از جمله گراف خطی را مطالعه می کنیم و بعضی روابط مربوط به گراف های هم انرژی از گراف های هم مرتبه و غیرهم طیف را مورد تو...

مدل سازی متابولیسم تولید شیر مبتنی بر بازسازی شبکه متابولیکی دخیل در تولید شیر، احتمالا می تواند  منجر به دیدگاهی سیستمی به این فرآیند پیچیده و درک بهتر آن گردد. این بازسازی با استفاده از اطلاعات ژنومی قابل دسترس گاو امکان پذیر است. در این پژوهش، شبکه متابولیتی درگیر در تولید شیر در گاو، بازسازی و آنالیز شده است. بدین منظور، ابتدا اطلاعات موجود در پایگاه داده­های ncbi ، uniprot ، kegg  و brenda...

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

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