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

فرض کنید r یک حلقه بوده و??i(r)?^* مجموعه ی تمام ایده آل های چپ غیربدیهی از r? باشد. گراف اشتراکی ایده آل های? rکه با??g(r)نشان داده می شود، گرافی است با مجموعه ی رئوس ??i(r)?^*و دو رأس i و ? jمجاور هستند اگر و تنها اگرi?j? و?i?j?? . هدف از این مطالعه، بررسی روابط بین خواص گرافی گراف اشتراکی و برخی خواص جبری حلقه ها می باشد. در این پایان نامه همه ی حلقه هایی را مشخص می کنیم که گراف اشتراکی آن ...

مفهوم مجموعه فازی در سال 1965 توسط لطفی زاده در [17] بعنوان تابعی از مجموعه دلخواه x به فاصله [0,1] مطرح شد. سپس زاده در سال 1971 مفهوم فوق را به مفهوم روابط فازی در [18] توسعه داد. نخستین مقاله مربوط به نظریه گراف توسط لئونارد اویلر [2] (1707-1783) ریاضیدان سویسی نوشته شد که جزء مجموعه انتشارات آکادمی علوم سن پترزبورگ (لنینگراد) در سال 1736 به چاپ رسید. روزنفلد در سال 1975 [14] مفهوم گراف فازی...

گراف توان یک ‎$p(g)$‎‎ گروه ‎$g$‎ گرافی است که مجموعه رئوس آن اعضای گروه است و دو عضوش مجاور هم هستند اگر و تنها اگر یکی از آن ها توان دیگری باشد. چاکرابارتی و گوش و سن در ‎cite{5}‎ خواص اساسی گراف توان گروه های متناهی را بررسی کرده اند. هدف این پایان نامه تعمیم و بررسی نتایجی از مقاله ی فوق و ارائه ی برخی مثال های نقض برای یکی از مسائل مطرح شده توسط این نویسندگان است. همچنین گراف توان یک ‎$p$-...

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

این نوشته برگردان مقاله زیر است: ‎‎Richard Hoshino and Ken-ichi Kawarabayashi‎, ‎Graph Theory and Sports Scheduling‎, ‎Notices of the AMS‎, 60 (2013) 726-731‎.

تاکنون روش های سراسری متعددی برای حل مسئله طراحی مسیر پیشنهاد شده است که از آن میان روش های گراف پدیداری، دیاگرام ورونویی، درخت چهاروجهی و جبهه موج جایگاه ویژه ای دارند. در این مقاله با ترکیب این چهار روش در یک ساختار واحد، یک الگوریتم طراحی مسیر جدید به نام (hybrid-vqvw) hybrid-visibility-quadtree-voronoi-wavefront ارائه می شود. در این روش در هر فاصلة نمونه برداری پس از ساخت چهار مسیر سراسری ر...

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

تکنیک persistent scatterer interferometry (psi) برای اولین بار بر مبنای انتخاب پیکسل های پراکنش کننده ی دائمی با رفتار پراکنشی ثابت در زمان و با استفاده از مدل جابه جایی از پیش تعیین شده، جهت از بین بردن محدودیت های روش سنتی ارائه شد. این تکنیک در سال 2006 تحت عنوان stamps ، بهبود پیدا کرد به صورتی که بر خلاف تمام الگوریتم های psiارائه شده تا قبل از آن، قابلیت انتخاب پراکنش کننده های دائمی را ب...