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

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

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

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

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

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

هدف از اجرای این تحقیق، شناسایی فرآیندهای معیوب در بخش رسیدگی به عملکرد شرکت‌ها در سازمان امور مالیاتی کشور است. بدین منظور به صورت موردی امور مالیاتی استان سمنان بخش شرکت­ها مورد بررسی قرار گرفت. در این راستا به تجزیه و تحلیل و مهندسی مجدد[1] فرآیند تدوین شده در حوزه شرکت­ها اقدام شده و برای شناخت فعالیت‌ها و نحوه‌ انجام کارها در سازمان طی چند مرحله با 35 نفر از مدیران و کارکنان به عنوان خبرگا...

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