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

از جمله مهم‏ترین عوامل ایجاد صدای ماشین های لباسشویی، ارتعاشات بدنة خارجی آنهاست. وظیفة سیستم تعلیق ماشین لباسشویی، که اتصال‏دهندة ماشین لباسشویی (مخزن ثابت در لباسشویی) به بدنه می‏باشد، تلاش برای عدم انتقال ارتعاشات مخزن به بدنه است. به طور کلی سه نوع طراحی برای سیستم تعلیق ماشین لباسشویی وجود دارد: سسیتم تعلیق در بالای مخزن، سسیتم تعلیق در پایین مخزن و نهایتاً سیستم تعلیق ترکیبی از دو مورد پیش...

در این پایان نامه ابتدا به بررسی گرامر آزاد از متن، اتوماتای پشته ای و ارتباط بین این دو می پردازیم. سپس مفهوم گرامر آزاد از متن را به گرامر آزاد از متن فازی و مفهوم اتوماتای پشته ای را به اتوماتای پشته ای فازی گسترش می دهیم. همچنین روش هایی مناسب برای به دست آوردن زبان آن ها ارائه می دهیم. پس از آن به بررسی ارتباط بین گرامر آزاد از متن فازی و اتوماتای پشته ای فازی می پردازیم. به ویژه نشان می د...

از جمله مهم‏ترین عوامل ایجاد صدای ماشین‌های لباسشویی، ارتعاشات بدنة خارجی آنهاست. وظیفة سیستم تعلیق ماشین لباسشویی، که اتصال‏دهندة ماشین لباسشویی (مخزن ثابت در لباسشویی) به بدنه می‏باشد، تلاش برای عدم انتقال ارتعاشات مخزن به بدنه است. به‌طور کلی سه نوع طراحی برای سیستم تعلیق ماشین لباسشویی وجود دارد: سسیتم تعلیق در بالای مخزن، سسیتم تعلیق در پایین مخزن و نهایتاً سیستم تعلیق ترکیبی از دو مورد پیش...

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

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

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