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

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

یکی از مهم ترین بخش ها در تصاویر شبکیه چشم، دیسک نوری است. با بررسی دیسک نوری، می توان به وجود برخی بیماری های شبکیه پی برد. همچنین، در تصاویر شبکیه، برای شناسایی بخش های دیگر، ابتدا باید دیسک نوری را تشخیص داد. بنابراین، یکی از اعمال ضروری در پردازش تصاویر شبکیه ی چشم، تشخیص و جداسازی دیسک نوری است که برای تولید و توسعه ی برنامه های تصویربرداری از شبکیه استفاده می شود. در این پایان نامه، فراین...

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

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

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

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

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

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

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