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

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

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

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

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

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

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