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

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

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

در تحقیق حاضر شبکه های موثر مغزی مرتبط با احساسات شادی و غم در حین گوش کردن به موسیقی مورد مطالعه قرار می گیرند. الگوی ارتباط بین نواحی مختلف کانالهای eeg با استفاده از مدلسازی خودبازگشتی چند متغیره و کوهرنس جهت دار جزئی در حالی که داوطلبین به موسیقی گوش فرا داده اند استخراج شد. به عنوان محرک از موسیقی کلاسیک و سنتی ایرانی استفاده شد. داوطلبین در حین گوش دادن به موسیقی با استفاده از یک نرم افزا...

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

در این پایان نامه دو اثبات از قضیه شارکوفسکی ارائه می دهیم. اثبات اول بر مبنای گراف مارکوف علامت دار و همچنین ماتریس نظیر آن است. اثبات دوم بر مبنای ساختار دوبرابر ساز از ترتیب شارکوفسکی است. همچنین اثباتی از عکس قضیه شارکوفسکی ارائه می دهیم.

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

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

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