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

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

در این پایان نامه شرایطی کافی برای مستقل بودن نفاط هیگنر وابسته به طبفه های با هادی مساوی در میدانهای مربعی موهومی متمایز روی یک خم بیضوی بدون cm ارائه می شود. در واقع قضیه سیلورمن و روزن از حالت طبفه های ماکسیمال به طبفه های غیرماکسیمال با هادی مساوی تعمیم می یابد.

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

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

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

هدف اصلی این رساله بررسی وجود جواب برای معادله های بیضوی غیر موضعی زیرمی باشد: {?(-l_k u??(?j(x,u)+??k(x,u)) in ? ,&@ u=0 in ?? ,) ? (1) {?(?(-?)?^s u=f(x,u) in ? , @ u=0 in r^n ?? , )? (2)

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

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

در این تحقیق با استفاده از روش المان مرزی، نرم­افزاری جهت شبیه­سازی جریان کاویتاسیون جزئی حول هندسه­های با مقاطع دایروی (متقارن محوری) و بیضوی (شبه­سه­بعدی) ارائه می­شود. با توجه به سرعت بالای همگرایی تحلیل متقارن محوری در روش المان مرزی، ابتدا جریان کاویتاسیون حول هندسه­های با مقطع دایروی شبیه­سازی شده و سپس از نتایج این تحلیل جهت شبیه­سازی جریان حول هندسه­های با ...