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

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

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

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

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

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

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