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

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

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

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

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

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

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

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