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

This article has no abstract.

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

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

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

از جدید ترین روشهای بهبود راندمان ماشین کاری تخلیه الکتریکی(edm)، افزودن پودر به دی الکتریک در این فرآیند است. در این مقاله، با افزودن پودر آلومینیم با اندازه کوچکتر از 25 میکرون به دی الکتریک به بررسی تغییر پارامترهای ماشین کاری، مانند اندازه گپ، نرخ براده برداری و زبری سطح، پرداخته و پارامترهای ماشین کاری در شرایط پرداخت و نیمه پرداخت در دو حالت با پودر و بدون پودر مقایسه شده است. نتایج نشان ...

چکیده: هدف از انتخاب مدل یافتن مدل بهینه است. در حالت کلی، مدل مناسب نتایج خوبی به‌دست می‌دهد و لذا بررسی معیارهای ارزیابی یک مدل‌ ذهنی برای بررسی نیکویی مدل مناسب از اهمیت ویژه‌ای برخوردار است. در این مقاله هدف پاسخ به این سؤال است که چگونه می‌توان مجموعه‌ای نامتناهی از همه‌ی مدل‌های مناسب برای داده‌ها را به مجموعه‌ای کوچک‌تر تبدیل کرد. در این مقاله، ترکیبی متناهی از معیاری شناخته‌شده در مسأله...

Brushless doubly fed machine (BDFM) is indeed an induction machine which has two windings in the stator and a cage rotor with a special design. Due to absence of brushes and slip rings, this machine is considered for the applications needs high reliability, such as wind turbines. In this paper, stead state performance of BDFM in synchronous mode of operation, the most interesting mode of operat...

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

چکیده ندارد.