هدف از معرفی توابع ana,از ویژگی زیر دیفرانسیل ناشی میشود زیرا زیر دیفرانسیل تابع سره محدب lscاز نوع anaاست تابع یکنوای ماکسیمال که از نوع ana نباشد فضای دامنه ان باید غیر انعکاسی باشدعلاوه بر این چنین تابعی باید غیر کراندار باشد.

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

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

لاین‌های خالص جهش‌یافته (1) زودرس سویا که حاصل جهش زایی در اثر پرتودهی گاما به وسیلهء 60Co با دزهای جذبی 100، 150، 200 و 250 گری بودند, به منظور ارزیابی صفات زراعی و مقایسهء عملکرد آنها با دو رقم تجارتی کلارک و ویلیامز, در دو منطقه کرج و الشتر (خرم آباد) در قالب طرح آزمایشی شبکه‌ای ساده 7*7 متر در دو تکرار کاشته شدند. در کرج, بین عملکرد لاین‌های جهش‌یافته و عملک...

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

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

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

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

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

آب‏نمودی که در خروجیِ حوضة آبخیز شکل می‏گیرد می‏تواند مبین واکنش هیدرولوژیکی حوضه در برابر رفتار ژئومورفولوژیکی آن باشد. در این تحقیق سعی شده است با استفاده از سامانة اطلاعات جغرافیایی و مفهوم آب‏نمود واحد لحظه‏ای، پاسخ‏گوییِ حوضة آبخیز شبیه‏سازی شود. در روش فیزیکی حاضر آب‏نمود واحد لحظه‏ای کلارک بر اساس سه پارامترـ زمان تمرکز، ضریب ذخیره، و منحنی زمان- مساحت ـ استخراج شد. بنابراین، ارزیابی دقت ک...