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

چکیده ندارد.

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

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

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

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

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

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

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

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