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

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

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

در این پایان نامه‏، مسأله ی جستجوی گرافی مخفی از یک خانواده از گراف ها روی ‎‎n‎‏ رأس‏‏، بررسی می شود. در مدلی که از آن استفاده می کنیم‏، تنها عمل مجاز عبارت است از این پرسش که: ”آیا یک زیرمجموعه از رئوس‏، دارای یالی از این گراف مخفی است؟“. هدفی که در این راستا مطرح می شود‏، تخمین کم ترین تعداد پرسشی است که ‎‏برای شناسایی گراف مخفی مورد نیاز است‎. برای رسیدن به این هدف عموماً از الگوریتم های غیرا...

یکی از زمینه های فعال در عرصه علوم رباتیک، برنامه ریزی حرکت برای ربات های متحرک می باشد. احتراز از برخورد با موانع موجود در فضای کاری، اساس تحقیقات در زمینه برنامه ریزی حرکت ربات می باشد. بطور کلی مسائل برنامه ریزی حرکت از نوع pspace-hard و np-hard هستند. سیستم های چند رباتی نیز در واقع تعمیم یافته سیستم های تک رباتی می باشند که در آن ربات ها در یک محیط مشترک در کنار هم قرار دارند و با یکدیگر ب...

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

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

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

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

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