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

تاکنون روش‌های سراسری متعددی برای حل مسئله طراحی مسیر پیشنهاد شده است که از آن میان روش‌های گراف پدیداری، دیاگرام ورونویی، درخت چهاروجهی و جبهه موج جایگاه ویژه‌ای دارند. در این مقاله با ترکیب این چهار روش در یک ساختار واحد، یک الگوریتم طراحی مسیر جدید به نام (HYBRID-VQVW) HYBRID-Visibility-QuadTree-Voronoi-WaveFront ارائه می‌شود. در این روش در هر فاصلة نمونه‌برداری پس از ساخت چهار مسیر سراسری ر...

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

گرافg قطبی است اگر مجموعه رئوس آن به a و b تقسیم شوند به طوری که:زیر گراف تولید شده توسط a یک گراف چند بخشی کامل و زیر گراف تولید شده توسط b اجتماع گسسته ای از خوشه ها باشد.گراف های قطبی تعمیمی مشترک از گراف های دو بخشی و گراف های دو نیم شده (جدا) است. بنابراین در حالت کلی، مساله تشخیص گراف های قطبی شناخته شده یک مساله np- کامل است. در این پایان نامه، قطبیت در گراف های خطی را مطالعه می کنیم و م...

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

گراف تسلط کلمات دودویی، گرافی است جهت‌دار با مجموعه رئوس تمام کلمات دودویی به طول n که با نماد (Γ_n ) ⃗ نشان داده می‌شود، برای هر رأس دلخواه w=w_1 w_2⋯w_n از آن قرار می‌دهیم B_1 (w)={1≤i≤n|w_i=1} و دو رأس v و w را با پیکان جهت‌دار v→w به هم وصل می‌کنیم هرگاه داشته باشیم B_1 (w)⊆B_1 (v). در این مقاله، به مطالعه و محاسبه برخی پارامترهای این گراف می‌پردازیم؛ به عنوان مثال، پس از محاسبه فاصله هر دو ...

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

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

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

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