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

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

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

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

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

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