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

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

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

چکیده ندارد.

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

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

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

با توجه به نقش اساسی مقررات ملی ساختمان مبحث 19 در کاهش مصرف انرژی، شناسایی عوامل مؤثر بر آن می‌تواند در مدیریت مصرف انرژی مفید باشد. هدف این پژوهش شناخت مقررات ملی ساختمان مبحث 19 و عوامل تعیین کننده آن در مجموعه‌های ورزشی وابسته به آموزش و پرورش شهر تهران با استفاده از مدل معادلات ساختاری تفسیری می‌باشد که به بررسی تعاملات میان عناصر سیستم‌ها می‌پردازد. به‌منظور دستیابی به هدف تحقیق از دو روش...

چکیده ندارد.

چگالی درختی یک گراف‏، ‎‎ماکسیمم تعداد درخت های فراگیر یال مجزای مشمول در گراف است. در این پایان نامه‏‏، ابتدا ‎‎با استفاده از همبندی یالی‏، ‏‏ کران هایی برای‎‎ چگالی درختی معرفی کرده و ‎‎سپس ‎‎چگالی درختی چند خانواده از گراف ها را به دست ‎‎می آوریم‎. سرانجام به شمارش تعداد درخت های متمایز و جنگل های ‎n‎ ‎ رأسی خواهیم پرداخت. ‎