چکیده ندارد.

تعریف سنتی مفهوم معرفت عبارت است از «باور صادق ‎موجه». مفهوم «تصدیق یقینی» که در عبارات ابن‎سینا معادل علم تصدیقی دانسته شده است، مؤلفه‎های تقریباً مشابهی با مفهوم معرفت گزاره‎ای دارد. از نظر ابن‎سینا تصدیق یقینی یا همان علم تصدیقی عبارت است از تصدیق یک قضیه به سبب علم به علت موجبه صدق آن قضیه. علت صدق قضایای یقینی بدیهی درون این قضایا، و علت صدق قضایای یقینی نظری بیرون از این قضایا است. همچنین ...

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

آبخیز زیارت با مساحت 81/95 کیلومترمربع در استان گلستان واقع شده است. نقشه های رقومی شامل مدل ارتفاع رقومی، پوشش اراضی و بافت خاک (با اندازه سلولی 30 متر) و سری های زمانی پیوسته بارش، تبخیر و دمای هوا در گام زمانی ساعتی 4 سال آماری (1390-1386) ورودی های اصلی مدل wetspa می باشند. داده های دبی جریان و رسوب معلق برای واسنجی مدل مورد استفاده قرار می گیرد. واسنجی 13 پارامتر با دو روش دستی و خودکار بر...

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

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

1)مطالعه همگرایی خم ها و دنباله های تقریبا انبساطی در چارچوب فضای هیلبرت و فضای های گسترده تر 2)تعمیم خم ها و دنباله های تقریبا انبساطی به حالت نیم گروهی . 3)بررسی کاربردهای نظریه در معادلات تحولی و سایر کاربردهای احتمالی

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

قانونگذار قانون مجازات اسلامی سال 1370 برابر ماده 231 اقرار و شهادت (بینه) را از راه­های ثبوت قتل در دادگاه به حساب آورده و مواد 232 الی 236 را به احکام اقرار و مادتین 237 و 238 را به احکام شهادت اختصاص داده است. در فرضی که بر ارتکاب قتل از سوی «الف» با گواهان حائز شرایط اقامه بینه می­شود و در عین حال فرد دیگری با شرایطی که مقنن در جهت پذیرش اقرار لازم می­داند، اقرار می­کند که قاتل نه مشهود عل...

قضیۀ اول مقالۀ دهم اصول اقلیدس، اساس «روش افنا» است. اقلیدس این قضیه را برای نسبت متغیر ثابت می‌کند. ابن هیثم (سدۀ 4 هجری) بنا بر ادعای خود در فی حل شکوک، پی برده بود که حکمی که اقلیدس مطرح می‌کند جزئی است و حکم کلی را برای نسبت ثابت برای اولین بار در این کتاب مطرح و اثبات کرده است. خواجه نصیر الدین طوسی (597-672ق) در تحریر اصول اقلیدس، همان نظر ابن هیثم را تکرار می‌کند. ابن صلاح همدانی (درگذشت...