در این مقاله دورهای برداشتنی بدین معنی تعریف می شوند: اگر f یک کلاس از گراف ها (دی گراف ها) باشد که در خاصیت معینی صدق کند ، g in f دور c در g با گره برداشتنی است هرگاه g-v(c) in f دورهای با گره برداشتنی از گراف ها ی اویلری مطالعه می گردند. ما دورهای با اضلاع برداشتنی از گراف های منظم (دی گرافها) را نیز مطالعه می کنیم.

تابع  یک تابع احاطه گر 2-رنگین کمانی  برای گراف  نامیده می­شود هرگاه برای هر راس  با شرط  داشته باشیم . وزن یک 2rdf  برابر است با . عدد احاطه گر 2-رنگین کمانی گراف  را که با نماد  نمایش می­دهیم کمترین وزن یک 2rdf در گراف  است. تابع احاطه­گر ماکسیمال 2-رنگین کمانی (m2rdf) برای گراف  یک تابع احاطه­گر 2-رنگین کمانی  می­باشد به­طوری که مجموعه­ی  یک مجموعه­ی احاطه­گر برای گراف  نباشد. وزن یک m2rdf  ...

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

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

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

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

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

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