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

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

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

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

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

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

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

سیستم های تولید و انتقال سه فاز متناوب ac به دلیل مزیت اصلی آنها بر سیستم های dc ، یعنی انتقال توان در سطوح ولتاژ مختلف در فواصل طولانی بیش از صد سال است که در حال استفاده هستند با این حال در سال های اخیر برای کاهش تلفات انتقال انرژی الکتریکی و همچنین به دلایل زیست محیطی و کاهش تولید حجم گازهای گلخانه ای، منابع انرژی تجدیدپذیر (res ) در سطح ولتاژ فشار ضعیف و به صورت تولید محلی مطرح شده اند[1]. ...

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

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