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

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

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

در این مقاله، شیوه جدیدی از روش گراف سیگنال جریان برای مدل‌سازی مبدل کاهنده - افزاینده دوسویه و استخراج توابع تبدیل مورد نیاز استفاده شده است. روش گراف سیگنال جریان ضمن دستیابی به توابع تبدیل مورد نیاز مبدل، فرآیند ساده‌تری نسبت به سایر روش‌های مدل‌سازی دارد. مبدل مدل‌شده در سیستم مدیریت انرژی یک خودروی برقی به‌کار گرفته می‌شود. سیستم انرژی خودروی برقی مورد نظر از دو منبع فراخازن و بانک باتری ت...

در این پژوهش ابتدا رابطه ای پارامتری برای سنجش مقدار درهم تنیدگی بین هر جفت کیوبیت برای گراف هایی با بیش از چهار کیوبیت به دست می آوریم. سپس مقدار درهم تنیدگی بین هر جفت کیوبیت را در گراف های پنج کیوبیتی محاسبه می کنیم. در ادامه ثابت می کنیم که تعداد 1024 گراف سیستم پنج کیوبیتی بر اساس بیشینه ی درهم تنیدگیِ بین هر جفت کیوبیت به 31 دسته و بر اساس تعداد یال های گراف و درجات رئوس به 40 دسته تقسیم م...