قضیۀ اول مقالۀ دهم اصول اقلیدس، اساس «روش افنا» است. اقلیدس این قضیه را برای نسبت متغیر ثابت می‌کند. ابن هیثم (سدۀ 4 هجری) بنا بر ادعای خود در فی حل شکوک، پی برده بود که حکمی که اقلیدس مطرح می‌کند جزئی است و حکم کلی را برای نسبت ثابت برای اولین بار در این کتاب مطرح و اثبات کرده است. خواجه نصیر الدین طوسی (597-672ق) در تحریر اصول اقلیدس، همان نظر ابن هیثم را تکرار می‌کند. ابن صلاح همدانی (درگذشت...

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

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

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

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

از موضوعات مهم فیزیک گرانش بررسی دینامیک فضا-زمان است که خود دارای گستره ای از مسائل است. یکی از آن ها به دست آوردن دینامیک و تقارن های یک سیستم توسط روش های دینامیک قیدی (لاگرانژی و هامیلتونی) است که مورد توجّه این پایان نامه قرار گرفته است. ما به طور خاص از دو روش دیراک و روش ماتریس همتافته (معروف به روش فدیف-جکیو‎) که از روش های دینامیک قیدی هستند برای حل دینامیک مورد نظر استفاده کرده ایم. ن...

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

در این پایان نامه که بر اساس مرجع [11] تنظیم شده است یک معیار جدید برای عملگر‎k‎ ‎-هیپونرمال ‎‎‎از طریق عملگر زیر‎نرمال ضعیف به دست خواهیم آورد. با استفاده ازمعیار به دست آمده، نوع‎ ‎قوی تری‎ از معیار زیرنرمال اسپیکووسکی‎‎‎ ‎‎را ارائه می دهیم و یک اثبات ساده از نتیجه ی اصلی مرجع [18] که یک فاصله ی بین ‎-‎k‎‎هیپونرمال و ‎‎-‎k‎+1‎هیپونرمال برای عملگرهای توپلیتز ‎‎‎‎را شرح می دهد، به دست می آوریم....

تعریف سنتی مفهوم معرفت عبارت است از «باور صادق ‎موجه». مفهوم «تصدیق یقینی» که در عبارات ابن‎سینا معادل علم تصدیقی دانسته شده است، مؤلفه‎های تقریباً مشابهی با مفهوم معرفت گزاره‎ای دارد. از نظر ابن‎سینا تصدیق یقینی یا همان علم تصدیقی عبارت است از تصدیق یک قضیه به سبب علم به علت موجبه صدق آن قضیه. علت صدق قضایای یقینی بدیهی درون این قضایا، و علت صدق قضایای یقینی نظری بیرون از این قضایا است. همچنین ...