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

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

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

برخی از براهین ابطال تسلسل در فلسفه¬ی اسلامی، مانند برهان تطبیق یا برهان آحاد و الوف، مبتنی بر مبانی و مقدّمات ریاضیّاتی‌اند. تحلیل و استخراج این مقدّمات پرده از ماهیّت ریاضیّاتی این برهان‌ها برمی‌دارد و نشان می‌دهد که در کنار روی‌کرد فلسفی به این براهین می‌باید از منظر ریاضیّات نیز به آن‌ها نگریست. با اتّخاذ این منظر، روشن می‌شود که شأن این براهین هم‌سنگ برخی پارادوکس‌هایی است که در ریاضیّات فراروی مف...

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