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

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

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

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

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

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

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

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

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

گنتزن قواعد سیستم منطقی را به دو دستة «قواعد عمل‌گری» و «قواعد ساختاری» تقسیم می‌کند. مقصود وی از قواعد عمل‌گری، قواعد معرفی و حذف یک ثابت منطقی است. قواعد ساختاری بیان‌کنندة ویژگی‌های مبنایی یک استدلال است به‌‌ گونه‌ای که هر تغییری در آن‌ها سبب تغییر کل سیستم می‌شود. وی در آثار خود به این نکته اشاره داشته است که معنای ثوابت منطقی صرفاً از طریق قواعد عمل‌گری قابل حصول است این نکته زیربنای رویکرد...