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

چکیده ندارد.

در این پایان نامه به طور خاص به الگوریتم های گوناگون برای جداسازی و تشخیص فیلدهای مبلغ و تاریخ عددی در چک های بانکی دست نویس فارسی اشاره شده است. الگوریتم هایی نظیر بازسازی تصویر و اصلاح شیب اعداد در مرحله ی پیش پردازش استفاده گردیده که برای اولین بار روی اعداد فارسی به کار گرفته شده است. در مرحله ی استخراج ویژگی نیز الگوریتم هایی مانند استخراج chain code، outer profile، intersection و غیره تست...

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

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

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

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

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

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

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