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

در این پایان نامه ابتدا اثبات کلی برای گنگ بودن اعداد pi و ln2 و zeta 3 و zeta 2 که توسط بیکرز و هایلبروک به کمک خواص چند جمله ای لژاندار بدست آمده است ارائه می شود. سپس با به دست آوردن اندازه استقلال خطی اعداد 1، ln2 و ln3 بر روی میدان اعداد گویا و کاربردقضیه لاپلاس، بهترین اندازه گنگ بودن عدد ln3 تا به امروز که توسط سالی خوف در سال 2007 به دست آمده است محاسبه می شود. در پایان بهترین اندازه ...

فرض کنیم دامنه d زیرمجموعه ای از صفحه مختلط باشد و fn دنباله ای از توابع مرومورفیک بر d باشد. دنباله fn را بر d همگرای نرمال به تابع f گوییم هرگاه fn روی زیر مجموعه های فشرده d همگرای یکنواخت به f باشد. خانواده f از توابع مرومورفیک بر دامنه d یک خانواده نرمال است هرگاه هر دنباله در f دارای زیر دنباله ای به طور نرمال همگرا بر d باشد.هدف ما در این پایان نامه بررسی نرمال بودن یک خانواده از توابع م...

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

به‌­منظور تعیین آستانۀ خسارت اقتصادی چهار رقم گندم در تراکم­های مختلف خردل ­وحشی، آزمایش به‌صورت فاکتوریل در قالب طرح پایة بلوک­های کامل تصادفی در چهار تکرار و در دو سال زراعی (90-1389 و 91-1390) در مزرعة تحقیقاتی ایستگاه تحقیقات کشاورزی گرگان وابسته به مرکز تحقیقات کشاورزی و منابع طبیعی استان گلستان اجرا شد. فاکتورهای آزمایش شامل ارقام گندم (‘آرتا’، ‘تجن’، ‘مغان’ و ‘مروارید’) و تراکم خردل ­وحش...

لزومِ پیشبینى بده رودخانه در کارهاى عمرانى، برنامهریزى براى استفادة بهینه از مخازن سدها، ساماندهىِ رودخانهو هشدار سیل، کاملاً احساس مىشود. در این راستا مسئلۀ بارش- رواناب بیشترین توجه مدلسازهای شبکههای عصبی2 برای پیشبینی بارش- MLP مصنوعی 1 را به خود معطوف کرده است. در این تحقیق از شبکههای عصبی چند لایهرواناب حوضه آبریز برفگیر لیقوانچای واقع در استان آذربایجان شرقی استفاده شده است. اطلاعات این حوضه...

پایش زمانی و دقیق تغییر عوارض سطح زمین برای درک روابط و کنش های متقابل بین انسان و پدیده های طبیعی به منظور تصمیم گیری بهتر خیلی مهم است. داده های سنجش از دور منابع اولیه ای هستند که به طور گسترده برای پایش تغییر در دهه های اخیر مورد استفاده واقع شده اند. در این مطالعه، تصاویر لندست 4(tm) سال 1364 و لندست 7(etm+) سال 1386 با استفاده از شش تکنیک پایش تغییر در منطقۀ بیابانی دهلران استان ایلام با ...