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

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

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

مسائل بهینه‌سازی که با ساختارهای مبتنی بر گراف سر و کار دارند بخش بزرگی از مسائل بهینه‌سازی در فیلدهای مختلف را به خود اختصاص می‌دهند. امروزه برای مواجهه با چنین مسائلی، الگوریتم‌های جستجو از بهترین گزینه‌ها محسوب می‌شوند. بدین منظور، عملیاتی که اغلب مورد نیاز هستند عبارتند از تعویض پی در پی برچسب گره‌های یک گراف با یکدیگر با استفاده از یک استراتژی مناسب و سپس ارزیابی اثر هر تعویض روی کمیت تحت ...

1)فرض کنید g=(v,e) یک گراف ساده باشد.همسا یگی بسته رأس v?v را بصورت زیر نشان می دهیم : n[v]={u:uv?e}?{v} 2)تابعf:v?{-1,1} را تابع غالب علامت دار(signed dominating function یا به اختصار s.d.f) نامیم هرگاه به ازای هر v?v داشته باشیم f[v]=?_(u?n[v])?f(u) ?1:. 3)وزنfکه یکsdfمی باشد به صورت مقابل تعریف می شود: f(g)=?_(v?v)?f(v) . 4)می نیمم وزن تابع غالب علامتدار تعریف شده روی گراف g را با نماد?_s ...

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

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