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

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

یک مسئلۀ مهم در نظریۀ گراف، علوم کامپیوتر و شبکه های اجتماعی، مشخص کردن اهمیت رأس های یک گراف (یا گره های یک شبکه) است. بدین منظور، معیارها و روش های گوناگونی پیشنهاد شده است. یکی از این روش ها، رتبه بندی است که بر پایۀ گا م برداریِ تصادفی بنا شده است. هدف ما در این مقاله، توضیح الگوریتم رتبه بندی به دو شکل متمرکز و توزیع شده است. به این منظور، نخست مفهوم رتبه بندی و الگوریتم محاسبۀ آن را به صور...

در این مقاله وارون‎‏سازی سه‏ بعدی داده‏های گرانی‏ سنجی براساس تئوری گراف مورد استفاده قرار گرفته است. توده همگن زیر‏سطحی با استفاده از مجموعه‏ای از جرم‏های نقطه‏ای یکسان مدل می‏شود. با تطبیق این مجموعه جرم‏های نقطه‏ای با یک گراف کامل و با استفاده از الگوریتم کروسکال، درخت فراگیر کمینه (minimum spanning tree) برای این گراف محاسبه شده و سپس یک تابع پایدار‏کننده تحت عنوان تابع هم‏فاصله به‌دست می‏آ...

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

آکاتا همه مترویدهای پرداخت شده دودویی را تعیین کرده است. این پایان نامه همه مترویدهای پرداخت شده سه سه یی را تعیین می کند. دقیقا چهار مینور ماکسیمال 3-همبند از چنین مترویدهایی وجود دارد:s(5,6,12), pg(2,3) , مکعب آفینی حقیقی و دیگری یک متروید خود دوگان 8 عضوی است.

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

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

یکی از راهکارهای کاهش تلفات در شبکه​های توزیع استفاده از تجدید آرایش فیدرهای فشار متوسط متناسب با سطوح بار مختلف سیستم است. تعداد آرایش​های ممکن یک شبکه­ی توزیع بسیار زیاد است و امکان بررسی تمام آرایش​ها (مخصوصاً در شبکه​های با مقیاس بزرگ) برای یافتن آرایش بهینه به راحتی میسر نیست. در این مقاله یک الگوریتم جدید مبتنی بر نظریه­ی گراف و الگوریتم­های توسعه یافته­ی آن برای تجدید آرایش شبکه​های توزیع...