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

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

نوشته حاضر ترجمه مقاله زیر است:‎Peter Sarnak‎, ‎What is an Expander?‎, ‎Notices of The American Mathematical Society‎, ‎51 No‎. 7 (2004) 762-763‎پراکندگی یک گراف همراه با همبندی بسیار قوی، ویژگی است که ساختار باسط‌ها را مورد توجه قرار داد. این ساختار تناقض‌گونه موجودیت آن‌ها را نیز تا مدت‌ها انکار می‌کرد. پس از مدتی اگرچه پینسکر(‎‎(pinsker) توانست با یک بحث شمارشی وجود آن‌ها را اثبات کند، اما ه...

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

This article has no abstract.

در این پایان نامه با استفاده از نتیجه قضیه درهم بافتن نشان می دهیم که جداساز یک فولرن با n رأس حداکثر 1-3/n می باشد و فولرن دوازده وجهی بزرگترین جداساز و ماکزیمم کوچکترین مقدار ویژه را در کلاس فولرن ها دارد. همچنین با استفاده از نمایش مسطح گراف ها (نمایش هندسی گراف ها) نشان می دهیم که جداساز فولرن ها حداکثر 24/n می باشد. از نتایج دیگر این پایان نامه این است که تعداد گراف فولرن های رامانوجان محد...

در این مقاله یک طبقه­بندی از تمام حلقه­های جابه­جایی یکداری که گراف­های مقسم صفرشان بدون دور به طول 4  باشند، ارائه می­دهیم.

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

این تحقیق به ­منظور بررسی جایگزینی گلوتن ذرت به­جای پودر ماهی در جیره غذایی کپور ماهی و تأثیر این جایگزینی بر شاخص ­های بیوشیمیایی و خون­شناسی خون کپور ماهی معمولی جوان انجام شد. ماهیان جوان با وزن متوسط 5/0 ± 5/11 گرم و طول متوسط 1 ± 9 سانتیمتر به مدت 8 هفته با تیمارهای آزمایشی تغذیه شدند. جیره­های غذایی با پروتئین خام 31%، انرژی خام 3100 کیلوکالری بر کیلوگرم در سه سطح جایگزینی 150، 270 و490 (...

این تحقیق به ­منظور بررسی جایگزینی گلوتن ذرت به­جای پودر ماهی در جیره غذایی کپور ماهی و تأثیر این جایگزینی بر شاخص ­های بیوشیمیایی و خون­شناسی خون کپور ماهی معمولی جوان انجام شد. ماهیان جوان با وزن متوسط 5/0 ± 5/11 گرم و طول متوسط 1 ± 9 سانتیمتر به مدت 8 هفته با تیمارهای آزمایشی تغذیه شدند. جیره­های غذایی با پروتئین خام 31%، انرژی خام 3100 کیلوکالری بر کیلوگرم در سه سطح جایگزینی 150، 270 و490 (...