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

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

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

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

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

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

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

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

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

تکنولوژی نوین به طور فزاینده ای سیستمهای دینامیکی ساخت بشر را پدید آورده که به راحتی قابل توصیف توسط معادلات ریاضی نیستند. نمونه هایی از این دسته سیستمها عبارتند از سیستمهای تولید و شبکه های مخابراتی / کامپیوتری. فعالیتها در این سیستمها توسط فرمانهایی که از سوی انسان صادر میشود کنترل و هدایت میشوند. بنابراین رفتار و دینامیک این سیستمها مبتنی بر وقوع رخدادهای گسسته غیر همزمان میباشد. این گونه سی...