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

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

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

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

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

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

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

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

رفتار نوری و رنگی الیاف معمول در نساجی که دارای خواص بازتاب سطحی و انتشارهای درونی قابل توجهی هستند، به طور تقریبی با تقریب مناسبی طبق نظریه تک ثابتی munk -kubelka  قابل پیش بینی است. عوامل مختلفی از بازتاب سطحی و بازتاب نمونه خودرنگ نتایج به دست آمده را تحت تأثیر قرار می دهند. در پژوهش حاضر، اثر بازتاب سطح و بازتاب بستر خودرنگ مجموعه ای رنگی شامل الیاف نایلون 6 رنگرزی شده با مواد رنگزای اسیدی ...

تأثیرات کاهش ارزش پول بر تراز تجاری را می توان در دو حا لت کوتاه مدت و بلندمدت مطالعه کرد. حالت کوتاه مدت دربرگیرنده پدیده منحنی جی می باشد و در بلندمدت شرط مارشال لرنر مطرح می گردد. در این مطالعه تأثیرات کاهش ارزش پول بر تراز تجاری ایران با دنیا و با یازده کشوری که درحدود 76/65 درصد از کل مبادلات تجاری با ایران را تشکیل می دهند در دو حالت کوتاه مدت و بلندمدت طی سال های (1385-1358) مورد بررسی ق...