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

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

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

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

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

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

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

در این مقاله سعی خواهد شد که یک مدل جامع از یک سیستم انعطاف پذیر (F.M.S) به کمک شبکه پتری ارائه گردد و در ادامه به کمک الگوریتم های ژنتیکی روشی سریع برای یافتن یک فهرست بندی مناسب و بهینه ارایه گردد. در این تحقیق سعی میشود اولاً تمام نکات عملی موجود در FMS نظیر ماشین های CNC ، ربات ها،حامل های بار نظیر AGV ، نگهدارنده ها و همچنین مسایلی نظیر تداخل مسیر حرکت حاملها و یا تداخل حرکت ربات ها همگی د...

هدف این پایان نامه، تشخیص خطا برای سیستم های گسسته پیشامد توسط شبکه های پتری- عصبی ( (npnsمی باشد. در ابتدا سیستم گسسته پیشامد توسط شبکه پتری مدلسازی می شود. بافرض اینکه مهره گذاری اولیه در دسترس باشد، خطاها توسط گذرهای رویت ناپذیر مدلسازی می شود. در این پایان نامه مهره گذاری g-marking معرفی شده است که در آن محل ها می تواند تعداد مهره منفی داشته باشد و هنگامی که این واقعه رخ می دهد، نمایانگر ای...

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