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

داشتن مدل‌های دقیق و در عین حال ساده برای پیش‌بینی سیلاب، قابلیت‌های زیادی به سیستم‌های هشدار سیل اضافه می نماید. در این تحقیق سعی بر آن شد تا با استفاده از داده های دبی روزانه به مدت پانزده سال (سال‌های 2001 تا 2015) در شش ایستگاه هیدرومتری که در قالب سه بازه مطالعاتی بر روی رودخانه‌های زرینه‌رود و سیمینه‌رود قرار گرفته بودند و همچنین با استفاده از مدل تحلیلی ADZ و فرم گسسته زمانی آن که تحت عن...

در تحقیق حاضر از الگوریتم DREAM(ZS) (از الگوریتم‌های مبتنی بر مونت کارلو زنجیره مارکوف) به‌منظور بررسی عدم قطعیت پارامترهای مدل-هیدرولوژیکی HEC-HMS در حوزه‌آبخیز تمر به مساحت 1530کیلومتر‌مربع واقع در استان گلستان استفاده شد. از سه رویداد برای واسنجی و یک رویداد در اعتباریابی استفاده گردید و تعداد 24 پارامتر واسنجی برای کل حوزه درنظر گرفته شد. همچنین تأثیر 5 تابع درستنمایی بر روی نتایج روش DREAM...

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

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

برای ارزیابی کارایی و عملکرد محصول چغندرقند در واحد سطح با استفاده از داده های 56 کشور در سال 2005 میلادی، یک مدل اقتصادسنجی به روش COLS ارائه شده است. با این مدل بیشترین کارایی تولید چغندرقند براساس سطح زیرکشت و میزان بارندگی سالانه و سطح مکانیزاسیون مشخص شده است. نتایج نشان داد که کشور ایران با کارایی تولید 43/0 در رتبه 22 جهان قرار دارد. کشور فرانسه با کارایی تولید یک بیشترین کارایی تولید چغ...