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

اندازه بلوک (بین (Bin)) از جمله پارامترهای تعیین‌کننده‌ای است که باید برای یک عملیات لرزه‌ای سه‌بُعدی به‌طور دقیق تعیین شود، لذا بهینه‌سازی این پارامتر بسیار پراهمیت است. روش جدیدی برای بهینه‌سازی پارامتر بلوک پیشنهاد شده است. الگوریتم روش بهینه‌ساز، خطی و براساس مدل ریاضی است. با توجه به روابط اندازه بلوک، با متغیرهای مدل زمین‌شناسی، تابع هدف مدل ریاضی برای بهینه‌سازی اندازه بلوک طراحی و روی یک...

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

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

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

بهینه‌سازی محدوده نهایی معادن روباز یکی از مهم‌ترین بخش‌های طراحی در این معادن است. مرسوم است که محدوده نهایی را با بیشینه‌سازی سود تنزیل نشده تعیین می‌کنند. برای تعیین محدوده نهایی بر این مبنا الگوریتم-های مختلف ریاضی، ابتکاری و فراابتکاری ارائه شده است که مهم‌ترین آن‌ها الگوریتم لرچ و گروسمن است. با این وجود هدف مناسب‌تر تعیین محدوده نهایی، بیشینه‌سازی ارزش خالص فعلی (NPV) است. به عبارت دیگر،...

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

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

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